0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4488964-1751348876.opb>
0.00/0.03 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.03 c problem read in 0.01
0.00/0.03 o 1968
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.968000e+03
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 183 del vars, 183 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3816 clqs
0.00/0.04 c (round 2, fast) 363 del vars, 828 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3171 clqs
0.00/0.04 c (round 3, fast) 428 del vars, 958 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3041 clqs
0.00/0.04 c (round 4, fast) 481 del vars, 1095 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2904 clqs
0.00/0.04 c (round 5, fast) 504 del vars, 1166 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2833 clqs
0.00/0.04 c (round 6, fast) 519 del vars, 1208 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2791 clqs
0.00/0.04 c (round 7, fast) 528 del vars, 1228 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2771 clqs
0.00/0.04 c (round 8, fast) 534 del vars, 1242 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2757 clqs
0.00/0.05 c (round 9, fast) 538 del vars, 1255 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2744 clqs
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.06 c (round 10, exhaustive) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2742 clqs
0.00/0.07 c (round 11, exhaustive) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2742 upgd conss, 0 impls, 2742 clqs
0.00/0.08 c (0.1s) probing: 51/1429 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.08 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.08 c presolving (12 rounds: 12 fast, 3 medium, 3 exhaustive):
0.00/0.08 c 539 deleted vars, 1258 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 2742 cliques
0.00/0.08 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 2742 constraints
0.00/0.08 c 2742 constraints of type <setppc>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.05
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.998007
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.09 o 1692
0.00/0.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.09 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1429 |2742 | 0 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.692000e+03 | 543.35%| unknown
0.08/0.10 o 1171
0.08/0.10 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.171000e+03 | 345.25%| unknown
0.08/0.11 o 1084
0.08/0.11 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.084000e+03 | 312.17%| unknown
0.08/0.13 o 1075
0.08/0.13 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.075000e+03 | 308.75%| unknown
0.08/0.16 c 0.1s| 1 | 0 | 1783 | - | 23M | 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 9.775000e+02 | 1.075000e+03 | 9.97%| unknown
0.28/0.38 c 0.4s| 1 | 0 | 2594 | - | 27M | 0 |1429 |2742 |2770 | 28 | 1 | 0 | 0 | 9.885000e+02 | 1.075000e+03 | 8.75%| unknown
0.57/0.61 c 0.6s| 1 | 0 | 3379 | - | 27M | 0 |1429 |2742 |2789 | 47 | 2 | 0 | 0 | 9.910000e+02 | 1.075000e+03 | 8.48%| unknown
0.86/0.91 c 0.9s| 1 | 0 | 4436 | - | 28M | 0 |1429 |2742 |2811 | 69 | 3 | 0 | 0 | 9.947500e+02 | 1.075000e+03 | 8.07%| unknown
1.47/1.50 c 1.5s| 1 | 0 | 5915 | - | 43M | 0 |1429 |2742 |2829 | 87 | 4 | 0 | 0 | 9.965744e+02 | 1.075000e+03 | 7.87%| unknown
2.26/2.39 c 2.4s| 1 | 0 | 7600 | - | 58M | 0 |1429 |2742 |2845 | 103 | 5 | 0 | 0 | 9.986119e+02 | 1.075000e+03 | 7.65%| unknown
3.26/3.37 c 3.4s| 1 | 0 | 8771 | - | 75M | 0 |1429 |2742 |2858 | 116 | 6 | 0 | 0 | 1.000464e+03 | 1.075000e+03 | 7.45%| unknown
4.66/4.74 c 4.7s| 1 | 0 | 9726 | - | 90M | 0 |1429 |2742 |2862 | 120 | 7 | 0 | 0 | 1.000979e+03 | 1.075000e+03 | 7.39%| unknown
5.75/5.90 c 5.9s| 1 | 0 | 10215 | - | 108M | 0 |1429 |2742 |2863 | 121 | 8 | 0 | 0 | 1.001257e+03 | 1.075000e+03 | 7.37%| unknown
6.86/6.90 c 6.9s| 1 | 0 | 11002 | - | 130M | 0 |1429 |2742 |2865 | 123 | 9 | 0 | 0 | 1.001441e+03 | 1.075000e+03 | 7.35%| unknown
8.05/8.12 c 8.1s| 1 | 0 | 11698 | - | 145M | 0 |1429 |2742 |2867 | 125 | 10 | 0 | 0 | 1.001607e+03 | 1.075000e+03 | 7.33%| unknown
8.25/8.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.25/8.35 c 8.3s| 1 | 0 | 12236 | - | 145M | 0 |1429 |2742 |2870 | 128 | 11 | 0 | 0 | 1.001699e+03 | 1.075000e+03 | 7.32%| unknown
8.44/8.57 c 8.6s| 1 | 0 | 12570 | - | 145M | 0 |1429 |2742 |2874 | 132 | 12 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
8.74/8.80 c 8.8s| 1 | 0 | 12577 | - | 146M | 0 |1429 |2742 |2875 | 133 | 13 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
8.95/9.02 c 9.0s| 1 | 0 | 12589 | - | 146M | 0 |1429 |2742 |2876 | 134 | 14 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
9.14/9.25 o 1058
9.14/9.25 c L 9.2s| 1 | 0 | 12589 | - | alns| 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.058000e+03 | 5.61%| unknown
9.14/9.25 c 9.2s| 1 | 0 | 12589 | - | 147M | 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.058000e+03 | 5.61%| unknown
9.14/9.25 o 1055
9.14/9.25 c i 9.2s| 1 | 0 | 12589 | - | oneopt| 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.055000e+03 | 5.31%| unknown
16.83/16.90 c 16.9s| 1 | 2 | 12593 | - | 147M | 0 |1429 |2742 |2876 | 134 | 16 | 0 | 59 | 1.002165e+03 | 1.055000e+03 | 5.27%| unknown
43.36/43.50 o 1054
43.36/43.50 c d43.5s| 39 | 40 | 54546 |1104.1 |adaptive| 14 |1429 |2766 |2887 | 0 | 1 | 24 | 226 | 1.002165e+03 | 1.054000e+03 | 5.17%| unknown
47.15/47.30 c 47.3s| 100 | 77 | 63093 | 510.1 | 207M | 54 |1429 |2766 |2911 | 221 | 0 | 24 | 226 | 1.002165e+03 | 1.054000e+03 | 5.17%| unknown
52.84/53.03 o 1053
52.84/53.03 c *53.0s| 137 | 95 | 80206 | 497.2 | LP | 57 |1429 |2769 |2912 | 269 | 1 | 27 | 235 | 1.002841e+03 | 1.053000e+03 | 5.00%| unknown
52.84/53.09 o 1052
52.84/53.09 c *53.1s| 159 | 92 | 80384 | 429.1 | LP | 57 |1429 |2769 |2912 | 269 | 1 | 27 | 235 | 1.002841e+03 | 1.052000e+03 | 4.90%| unknown
58.42/58.67 o 1050
58.42/58.67 c *58.7s| 193 | 109 | 97244 | 440.9 | LP | 57 |1429 |2770 |2912 | 319 | 1 | 28 | 246 | 1.002841e+03 | 1.050000e+03 | 4.70%| unknown
58.52/58.71 c 58.7s| 200 | 106 | 97441 | 426.4 | 240M | 57 |1429 |2770 |2913 | 319 | 1 | 28 | 246 | 1.002841e+03 | 1.050000e+03 | 4.70%| unknown
63.71/63.94 c 63.9s| 300 | 112 |114495 | 340.8 | 254M | 57 |1429 |2784 |2911 | 381 | 1 | 42 | 256 | 1.003404e+03 | 1.050000e+03 | 4.64%| unknown
63.71/63.97 o 1049
63.71/63.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.71/63.97 c *64.0s| 304 | 113 |114670 | 336.9 | LP | 57 |1429 |2784 |2911 | 381 | 1 | 42 | 256 | 1.003404e+03 | 1.049000e+03 | 4.54%| unknown
75.18/75.40 o 1047
75.18/75.40 c o75.4s| 356 | 121 |143311 | 368.2 |objpscos| 57 |1429 |2796 |2880 | 457 | 1 | 54 | 269 | 1.003872e+03 | 1.047000e+03 | 4.30%| unknown
80.66/81.00 o 1046
80.66/81.00 c *81.0s| 396 | 125 |156936 | 365.4 | LP | 57 |1429 |2796 |2920 | 570 | 3 | 54 | 282 | 1.004414e+03 | 1.046000e+03 | 4.14%| unknown
80.77/81.02 c 81.0s| 400 | 125 |157070 | 362.1 | 262M | 57 |1429 |2796 |2909 | 570 | 1 | 54 | 282 | 1.004414e+03 | 1.046000e+03 | 4.14%| unknown
82.76/83.08 o 1044
82.76/83.08 c *83.1s| 479 | 123 |165021 | 318.9 | LP | 57 |1429 |2819 |2909 | 615 | 1 | 77 | 282 | 1.004414e+03 | 1.044000e+03 | 3.94%| unknown
84.06/84.36 c 84.3s| 500 | 130 |177905 | 331.3 | 263M | 57 |1429 |2819 |2939 | 678 | 0 | 77 | 282 | 1.004870e+03 | 1.044000e+03 | 3.89%| unknown
94.23/94.58 c 94.6s| 600 | 160 |216618 | 340.6 | 264M | 57 |1429 |2870 |2916 | 839 | 1 | 128 | 313 | 1.005116e+03 | 1.044000e+03 | 3.87%| unknown
100.02/100.33 o 1043
100.02/100.33 c L 100s| 679 | 189 |243538 | 340.6 |crossove| 57 |1429 |2952 |2939 | 932 | 2 | 210 | 329 | 1.005364e+03 | 1.043000e+03 | 3.74%| unknown
102.51/102.88 c 103s| 700 | 204 |259729 | 353.6 | 265M | 57 |1429 |2986 |2925 |1033 | 1 | 244 | 345 | 1.005364e+03 | 1.043000e+03 | 3.74%| unknown
113.79/114.19 c 114s| 800 | 258 |317324 | 381.4 | 266M | 57 |1429 |3056 |2941 |1415 | 0 | 314 | 393 | 1.005744e+03 | 1.043000e+03 | 3.70%| unknown
123.45/123.81 c 124s| 900 | 284 |356134 | 382.1 | 267M | 57 |1429 |3082 |2923 |1555 | 1 | 340 | 425 | 1.006106e+03 | 1.043000e+03 | 3.67%| unknown
129.55/129.96 c 130s| 1000 | 304 |384273 | 372.1 | 267M | 57 |1429 |3128 |2944 |1630 | 2 | 386 | 454 | 1.006242e+03 | 1.043000e+03 | 3.65%| unknown
153.79/154.27 c 154s| 1100 | 350 |474124 | 420.0 | 271M | 57 |1429 |3186 |2951 |2020 | 1 | 444 | 497 | 1.006500e+03 | 1.043000e+03 | 3.63%| unknown
171.04/171.51 c 171s| 1200 | 410 |543849 | 443.1 | 292M | 57 |1429 |3254 |2961 |2323 | 1 | 517 | 525 | 1.006750e+03 | 1.043000e+03 | 3.60%| unknown
173.13/173.66 c 174s| 1300 | 412 |555887 | 418.2 | 292M | 57 |1429 |3254 |2964 |2338 | 0 | 517 | 538 | 1.006750e+03 | 1.043000e+03 | 3.60%| unknown
175.03/175.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
175.03/175.50 c 175s| 1400 | 410 |564957 | 394.8 | 292M | 57 |1429 |3254 |2966 |2352 | 0 | 517 | 553 | 1.006750e+03 | 1.043000e+03 | 3.60%| unknown
182.01/182.52 c 182s| 1500 | 414 |587620 | 383.6 | 292M | 57 |1429 |3290 |2967 |2476 | 0 | 564 | 587 | 1.007030e+03 | 1.043000e+03 | 3.57%| unknown
187.40/187.99 c 188s| 1600 | 428 |616660 | 377.8 | 292M | 57 |1429 |3310 |2961 |2577 | 0 | 587 | 600 | 1.007437e+03 | 1.043000e+03 | 3.53%| unknown
201.16/201.71 c 202s| 1700 | 446 |661439 | 381.9 | 296M | 57 |1429 |3385 |2966 |2917 | 1 | 675 | 638 | 1.007685e+03 | 1.043000e+03 | 3.50%| unknown
218.92/219.54 c 220s| 1800 | 462 |731105 | 399.4 | 299M | 57 |1429 |3385 |2972 |3284 | 0 | 675 | 679 | 1.007833e+03 | 1.043000e+03 | 3.49%| unknown
227.80/228.49 c 228s| 1900 | 478 |769497 | 398.6 | 300M | 57 |1429 |3405 |2968 |3549 | 2 | 697 | 691 | 1.008262e+03 | 1.043000e+03 | 3.45%| unknown
236.18/236.84 c 237s| 2000 | 490 |801138 | 394.5 | 304M | 57 |1429 |3422 |2973 |3788 | 1 | 718 | 703 | 1.008307e+03 | 1.043000e+03 | 3.44%| unknown
238.28/238.96 c 239s| 2100 | 490 |813379 | 381.5 | 304M | 57 |1429 |3422 |2973 |3817 | 0 | 718 | 716 | 1.008307e+03 | 1.043000e+03 | 3.44%| unknown
241.37/242.00 c 242s| 2200 | 488 |828338 | 371.0 | 304M | 57 |1429 |3482 |2966 |3872 | 1 | 797 | 754 | 1.008307e+03 | 1.043000e+03 | 3.44%| unknown
248.35/249.01 c 249s| 2300 | 490 |853685 | 365.9 | 305M | 57 |1429 |3505 |2968 |4010 | 0 | 825 | 785 | 1.008323e+03 | 1.043000e+03 | 3.44%| unknown
257.13/257.86 c 258s| 2400 | 502 |888834 | 365.3 | 306M | 57 |1429 |3515 |2972 |4258 | 2 | 837 | 798 | 1.008500e+03 | 1.043000e+03 | 3.42%| unknown
268.00/268.74 c 269s| 2500 | 526 |934781 | 369.0 | 307M | 57 |1429 |3531 |3028 |4541 | 3 | 855 | 823 | 1.008616e+03 | 1.043000e+03 | 3.41%| unknown
271.19/271.93 c 272s| 2600 | 526 |951772 | 361.4 | 307M | 57 |1429 |3555 |3027 |4591 | 0 | 884 | 855 | 1.008616e+03 | 1.043000e+03 | 3.41%| unknown
276.38/277.15 c 277s| 2700 | 530 |976923 | 357.3 | 307M | 57 |1429 |3603 |3030 |4710 | 1 | 940 | 874 | 1.008625e+03 | 1.043000e+03 | 3.41%| unknown
289.35/290.10 c 290s| 2800 | 548 | 1023k| 361.3 | 309M | 57 |1429 |3622 |3030 |5057 | 0 | 961 | 912 | 1.008878e+03 | 1.043000e+03 | 3.38%| unknown
303.22/304.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
303.22/304.07 c 304s| 2900 | 568 | 1077k| 367.3 | 311M | 57 |1429 |3643 |3031 |5414 | 0 | 989 | 937 | 1.008901e+03 | 1.043000e+03 | 3.38%| unknown
312.99/313.80 c 314s| 3000 | 582 | 1115k| 367.8 | 313M | 57 |1429 |3643 |3031 |5671 | 1 | 993 | 950 | 1.009085e+03 | 1.043000e+03 | 3.36%| unknown
318.77/319.65 c 320s| 3100 | 586 | 1138k| 363.3 | 313M | 57 |1429 |3653 |3032 |5801 | 0 |1005 | 976 | 1.009120e+03 | 1.043000e+03 | 3.36%| unknown
334.93/335.85 c 336s| 3200 | 606 | 1215k| 376.0 | 318M | 57 |1429 |3653 |3034 |6177 | 0 |1007 |1002 | 1.009500e+03 | 1.043000e+03 | 3.32%| unknown
340.91/341.85 c 342s| 3300 | 612 | 1239k| 371.8 | 321M | 57 |1429 |3661 |3035 |6294 | 0 |1019 |1015 | 1.009501e+03 | 1.043000e+03 | 3.32%| unknown
349.99/350.95 c 351s| 3400 | 622 | 1276k| 371.8 | 323M | 57 |1429 |3815 |3019 |6508 | 0 |1204 |1074 | 1.009601e+03 | 1.043000e+03 | 3.31%| unknown
360.17/361.17 c 361s| 3500 | 636 | 1316k| 372.5 | 324M | 57 |1429 |3850 |3026 |6771 | 0 |1250 |1103 | 1.009964e+03 | 1.043000e+03 | 3.27%| unknown
365.95/366.99 c 367s| 3600 | 642 | 1344k| 370.1 | 324M | 57 |1429 |3871 |3020 |6936 | 0 |1279 |1120 | 1.009975e+03 | 1.043000e+03 | 3.27%| unknown
374.33/375.38 c 375s| 3700 | 658 | 1383k| 370.7 | 326M | 57 |1429 |3890 |3031 |7190 | 0 |1303 |1142 | 1.010092e+03 | 1.043000e+03 | 3.26%| unknown
382.41/383.44 c 383s| 3800 | 662 | 1411k| 368.1 | 328M | 57 |1429 |3998 |3034 |7371 | 0 |1432 |1184 | 1.010099e+03 | 1.043000e+03 | 3.26%| unknown
384.80/385.84 c 386s| 3900 | 662 | 1429k| 363.4 | 328M | 57 |1429 |4049 |3034 |7388 | 1 |1497 |1203 | 1.010099e+03 | 1.043000e+03 | 3.26%| unknown
402.57/403.64 c 404s| 4000 | 682 | 1495k| 370.8 | 331M | 57 |1429 |4123 |3036 |7937 | 0 |1589 |1251 | 1.010205e+03 | 1.043000e+03 | 3.25%| unknown
407.25/408.32 c 408s| 4100 | 686 | 1513k| 366.1 | 335M | 57 |1429 |4143 |3041 |7982 | 3 |1617 |1276 | 1.010205e+03 | 1.043000e+03 | 3.25%| unknown
412.14/413.28 c 413s| 4200 | 684 | 1534k| 362.5 | 340M | 57 |1429 |4197 |3044 |8011 | 1 |1686 |1301 | 1.010205e+03 | 1.043000e+03 | 3.25%| unknown
421.61/422.78 c 423s| 4300 | 694 | 1568k| 362.0 | 344M | 57 |1429 |4270 |3047 |8209 | 1 |1778 |1348 | 1.010222e+03 | 1.043000e+03 | 3.24%| unknown
434.78/435.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
434.78/435.95 c 436s| 4400 | 704 | 1610k| 363.3 | 359M | 57 |1429 |4315 |3059 |8517 | 1 |1834 |1374 | 1.010250e+03 | 1.043000e+03 | 3.24%| unknown
447.55/448.73 c 449s| 4500 | 712 | 1656k| 365.5 | 392M | 57 |1429 |4385 |3048 |8892 | 0 |1922 |1414 | 1.010314e+03 | 1.043000e+03 | 3.24%| unknown
453.93/455.17 c 455s| 4600 | 712 | 1685k| 363.7 | 392M | 57 |1429 |4456 |3027 |9098 | 0 |2008 |1439 | 1.010352e+03 | 1.043000e+03 | 3.23%| unknown
468.69/469.92 c 470s| 4700 | 724 | 1752k| 370.4 | 384M | 57 |1429 |4510 |3051 |9471 | 1 |2074 |1473 | 1.010460e+03 | 1.043000e+03 | 3.22%| unknown
476.57/477.89 c 478s| 4800 | 730 | 1792k| 370.8 | 383M | 57 |1429 |4566 |3055 |9723 | 0 |2145 |1506 | 1.010500e+03 | 1.043000e+03 | 3.22%| unknown
480.56/481.80 c 482s| 4900 | 728 | 1817k| 368.4 | 382M | 57 |1429 |4596 |3026 |9835 | 1 |2191 |1540 | 1.010500e+03 | 1.043000e+03 | 3.22%| unknown
496.52/497.82 c 498s| 5000 | 750 | 1881k| 373.9 | 384M | 57 |1429 |4653 |3048 | 10k| 0 |2263 |1587 | 1.010657e+03 | 1.043000e+03 | 3.20%| unknown
499.82/501.19 c 501s| 5100 | 750 | 1904k| 371.1 | 384M | 57 |1429 |4740 |3059 | 10k| 0 |2362 |1614 | 1.010657e+03 | 1.043000e+03 | 3.20%| unknown
511.48/512.86 c 513s| 5200 | 762 | 1952k| 373.2 | 384M | 57 |1429 |4824 |3037 | 10k| 1 |2459 |1663 | 1.010739e+03 | 1.043000e+03 | 3.19%| unknown
520.16/521.54 c 522s| 5300 | 770 | 1992k| 373.6 | 385M | 57 |1429 |4876 |3037 | 11k| 1 |2525 |1698 | 1.010825e+03 | 1.043000e+03 | 3.18%| unknown
530.94/532.38 c 532s| 5400 | 782 | 2039k| 375.5 | 386M | 57 |1429 |5049 |3052 | 11k| 1 |2728 |1750 | 1.010914e+03 | 1.043000e+03 | 3.17%| unknown
540.51/541.92 c 542s| 5500 | 792 | 2081k| 376.2 | 386M | 57 |1429 |5160 |3055 | 11k| 0 |2860 |1799 | 1.010978e+03 | 1.043000e+03 | 3.17%| unknown
547.60/549.00 c 549s| 5600 | 798 | 2114k| 375.3 | 386M | 57 |1429 |5202 |3046 | 11k| 0 |2908 |1824 | 1.011000e+03 | 1.043000e+03 | 3.17%| unknown
565.66/567.17 c 567s| 5700 | 826 | 2186k| 381.4 | 389M | 57 |1429 |5296 |3066 | 12k| 0 |3029 |1889 | 1.011204e+03 | 1.043000e+03 | 3.14%| unknown
579.72/581.20 c 581s| 5800 | 830 | 2226k| 381.8 | 396M | 57 |1429 |5542 |3069 | 12k| 1 |3335 |1969 | 1.011273e+03 | 1.043000e+03 | 3.14%| unknown
595.38/596.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
595.38/596.96 c 597s| 5900 | 844 | 2288k| 385.8 | 400M | 57 |1429 |5779 |3043 | 13k| 0 |3632 |2041 | 1.011377e+03 | 1.043000e+03 | 3.13%| unknown
601.97/603.51 c 603s| 6000 | 850 | 2325k| 385.5 | 400M | 57 |1429 |5821 |3056 | 13k| 1 |3685 |2058 | 1.011409e+03 | 1.043000e+03 | 3.12%| unknown
614.04/615.62 c 616s| 6100 | 870 | 2375k| 387.4 | 400M | 57 |1429 |5889 |3078 | 13k| 1 |3771 |2114 | 1.011457e+03 | 1.043000e+03 | 3.12%| unknown
625.91/627.58 c 628s| 6200 | 884 | 2424k| 389.1 | 400M | 57 |1429 |6092 |3089 | 14k| 2 |4004 |2195 | 1.011513e+03 | 1.043000e+03 | 3.11%| unknown
634.68/636.38 c 636s| 6300 | 892 | 2463k| 389.1 | 401M | 57 |1429 |6127 |3081 | 14k| 0 |4049 |2213 | 1.011561e+03 | 1.043000e+03 | 3.11%| unknown
640.97/642.66 o 1039
640.97/642.66 c d 643s| 6386 | 872 | 2495k| 388.9 |pscostdi| 57 |1429 |6187 |3050 | 0 | 1 |4117 |2225 | 1.011583e+03 | 1.039000e+03 | 2.71%| unknown
641.07/642.70 o 1038
641.07/642.70 c i 643s| 6387 | 858 | 2495k| 388.9 | oneopt| 57 |1429 |6187 |3105 | 14k| 1 |4117 |2225 | 1.011583e+03 | 1.038000e+03 | 2.61%| unknown
642.67/644.30 c 644s| 6400 | 861 | 2500k| 388.8 | 402M | 57 |1429 |6187 |3059 | 14k| 1 |4117 |2239 | 1.011583e+03 | 1.038000e+03 | 2.61%| unknown
645.36/647.03 c 647s| 6500 | 861 | 2524k| 386.6 | 402M | 57 |1429 |6199 |3082 | 14k| 2 |4135 |2242 | 1.011583e+03 | 1.038000e+03 | 2.61%| unknown
650.75/652.47 c 652s| 6600 | 869 | 2561k| 386.2 | 402M | 57 |1429 |6235 |3080 | 15k| 1 |4184 |2248 | 1.011630e+03 | 1.038000e+03 | 2.61%| unknown
653.24/654.93 c 655s| 6700 | 867 | 2584k| 383.9 | 402M | 57 |1429 |6230 |3079 | 15k| 1 |4184 |2249 | 1.011630e+03 | 1.038000e+03 | 2.61%| unknown
657.53/659.26 c 659s| 6800 | 873 | 2616k| 383.0 | 402M | 57 |1429 |6359 |3087 | 15k| 1 |4343 |2285 | 1.011630e+03 | 1.038000e+03 | 2.61%| unknown
662.71/664.44 c 664s| 6900 | 877 | 2650k| 382.3 | 402M | 57 |1429 |6407 |3084 | 15k| 0 |4404 |2292 | 1.011661e+03 | 1.038000e+03 | 2.60%| unknown
668.40/670.11 c 670s| 7000 | 885 | 2685k| 381.9 | 402M | 57 |1429 |6415 |3086 | 15k| 1 |4417 |2294 | 1.011678e+03 | 1.038000e+03 | 2.60%| unknown
671.49/673.25 c 673s| 7100 | 885 | 2710k| 380.0 | 402M | 57 |1429 |6423 |3095 | 15k| 2 |4427 |2300 | 1.011678e+03 | 1.038000e+03 | 2.60%| unknown
673.68/675.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
673.68/675.49 c 675s| 7200 | 885 | 2731k| 377.7 | 402M | 57 |1429 |6438 |3097 | 15k| 1 |4446 |2303 | 1.011678e+03 | 1.038000e+03 | 2.60%| unknown
680.57/682.36 c 682s| 7300 | 887 | 2768k| 377.6 | 403M | 57 |1429 |6454 |3083 | 15k| 1 |4469 |2305 | 1.011727e+03 | 1.038000e+03 | 2.60%| unknown
686.75/688.51 c 688s| 7400 | 893 | 2803k| 377.2 | 404M | 57 |1429 |6461 |3100 | 16k| 1 |4481 |2306 | 1.011823e+03 | 1.038000e+03 | 2.59%| unknown
694.83/696.64 c 697s| 7500 | 895 | 2857k| 379.4 | 404M | 57 |1429 |6458 |3066 | 16k| 0 |4481 |2306 | 1.011863e+03 | 1.038000e+03 | 2.58%| unknown
708.31/710.14 c 710s| 7600 | 915 | 2925k| 383.3 | 404M | 57 |1429 |6452 |3085 | 16k| 0 |4493 |2308 | 1.011995e+03 | 1.038000e+03 | 2.57%| unknown
713.49/715.37 c 715s| 7700 | 923 | 2959k| 382.8 | 404M | 57 |1429 |6460 |3085 | 17k| 0 |4510 |2311 | 1.012000e+03 | 1.038000e+03 | 2.57%| unknown
715.78/717.67 c 718s| 7800 | 923 | 2981k| 380.7 | 404M | 57 |1429 |6467 |3082 | 17k| 1 |4519 |2312 | 1.012000e+03 | 1.038000e+03 | 2.57%| unknown
722.27/724.14 c 724s| 7900 | 925 | 3018k| 380.6 | 404M | 57 |1429 |6461 |3083 | 17k| 0 |4521 |2312 | 1.012000e+03 | 1.038000e+03 | 2.57%| unknown
731.15/733.08 c 733s| 8000 | 941 | 3069k| 382.2 | 405M | 57 |1429 |6472 |3091 | 17k| 0 |4542 |2313 | 1.012052e+03 | 1.038000e+03 | 2.56%| unknown
740.03/741.93 c 742s| 8100 | 953 | 3120k| 383.8 | 405M | 57 |1429 |6516 |3105 | 17k| 0 |4610 |2318 | 1.012062e+03 | 1.038000e+03 | 2.56%| unknown
751.30/753.28 c 753s| 8200 | 971 | 3184k| 386.8 | 405M | 57 |1429 |6520 |3104 | 18k| 0 |4628 |2319 | 1.012204e+03 | 1.038000e+03 | 2.55%| unknown
756.49/758.42 c 758s| 8300 | 973 | 3217k| 386.2 | 406M | 57 |1429 |6685 |3095 | 18k| 2 |4840 |2381 | 1.012204e+03 | 1.038000e+03 | 2.55%| unknown
766.76/768.70 c 769s| 8400 | 989 | 3273k| 388.2 | 406M | 57 |1429 |6704 |3100 | 18k| 1 |4884 |2400 | 1.012261e+03 | 1.038000e+03 | 2.54%| unknown
776.14/778.18 c 778s| 8500 | 1005 | 3321k| 389.3 | 407M | 57 |1429 |6749 |3110 | 19k| 0 |4952 |2433 | 1.012278e+03 | 1.038000e+03 | 2.54%| unknown
784.52/786.53 c 787s| 8600 | 1011 | 3359k| 389.2 | 408M | 57 |1429 |6805 |3111 | 19k| 1 |5035 |2471 | 1.012299e+03 | 1.038000e+03 | 2.54%| unknown
796.79/798.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
796.79/798.89 c 799s| 8700 | 1021 | 3413k| 391.0 | 410M | 57 |1429 |6819 |3109 | 19k| 1 |5070 |2496 | 1.012363e+03 | 1.038000e+03 | 2.53%| unknown
807.07/809.15 c 809s| 8800 | 1025 | 3474k| 393.5 | 410M | 57 |1429 |6823 |3099 | 19k| 1 |5079 |2507 | 1.012391e+03 | 1.038000e+03 | 2.53%| unknown
814.85/816.98 c 817s| 8900 | 1029 | 3523k| 394.6 | 410M | 57 |1429 |6912 |3110 | 19k| 0 |5194 |2543 | 1.012404e+03 | 1.038000e+03 | 2.53%| unknown
822.13/824.23 c 824s| 9000 | 1027 | 3562k| 394.5 | 410M | 57 |1429 |7035 |3089 | 20k| 0 |5353 |2592 | 1.012421e+03 | 1.038000e+03 | 2.53%| unknown
838.59/840.78 c 841s| 9100 | 1055 | 3640k| 398.7 | 410M | 57 |1429 |7072 |3058 | 20k| 0 |5437 |2636 | 1.012571e+03 | 1.038000e+03 | 2.51%| unknown
850.06/852.29 c 852s| 9200 | 1069 | 3688k| 399.6 | 411M | 57 |1429 |7149 |3052 | 21k| 1 |5540 |2682 | 1.012646e+03 | 1.038000e+03 | 2.50%| unknown
853.45/855.68 c 856s| 9300 | 1069 | 3714k| 398.1 | 411M | 57 |1429 |7248 |3059 | 21k| 0 |5655 |2699 | 1.012646e+03 | 1.038000e+03 | 2.50%| unknown
864.23/866.48 c 866s| 9400 | 1081 | 3764k| 399.1 | 416M | 57 |1429 |7268 |3058 | 21k| 2 |5692 |2728 | 1.012712e+03 | 1.038000e+03 | 2.50%| unknown
875.90/878.17 c 878s| 9500 | 1093 | 3816k| 400.5 | 418M | 57 |1429 |7409 |3061 | 21k| 0 |5881 |2776 | 1.012752e+03 | 1.038000e+03 | 2.49%| unknown
887.27/889.55 c 890s| 9600 | 1103 | 3869k| 401.8 | 418M | 57 |1429 |7475 |3073 | 22k| 1 |5983 |2815 | 1.012859e+03 | 1.038000e+03 | 2.48%| unknown
891.06/893.31 c 893s| 9700 | 1105 | 3899k| 400.8 | 418M | 57 |1429 |7532 |3068 | 22k| 1 |6057 |2831 | 1.012859e+03 | 1.038000e+03 | 2.48%| unknown
902.23/904.56 c 905s| 9800 | 1117 | 3948k| 401.7 | 418M | 57 |1429 |7525 |3065 | 22k| 0 |6080 |2854 | 1.012906e+03 | 1.038000e+03 | 2.48%| unknown
906.62/908.99 c 909s| 9900 | 1119 | 3978k| 400.6 | 418M | 57 |1429 |7701 |3075 | 22k| 2 |6292 |2893 | 1.012906e+03 | 1.038000e+03 | 2.48%| unknown
918.80/921.10 c 921s| 10000 | 1131 | 4029k| 401.7 | 417M | 57 |1429 |7788 |3070 | 22k| 1 |6434 |2928 | 1.012922e+03 | 1.038000e+03 | 2.48%| unknown
930.77/933.12 c 933s| 10100 | 1139 | 4080k| 402.8 | 417M | 57 |1429 |7820 |3070 | 23k| 1 |6514 |2979 | 1.012956e+03 | 1.038000e+03 | 2.47%| unknown
943.14/945.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
943.14/945.54 c 946s| 10200 | 1153 | 4134k| 404.1 | 417M | 57 |1429 |7842 |3062 | 23k| 0 |6565 |3029 | 1.013076e+03 | 1.038000e+03 | 2.46%| unknown
949.73/952.19 c 952s| 10300 | 1159 | 4170k| 403.8 | 417M | 57 |1429 |7856 |3067 | 23k| 1 |6591 |3037 | 1.013125e+03 | 1.038000e+03 | 2.46%| unknown
962.60/965.02 c 965s| 10400 | 1169 | 4220k| 404.6 | 418M | 57 |1429 |7864 |3066 | 24k| 0 |6633 |3086 | 1.013181e+03 | 1.038000e+03 | 2.45%| unknown
976.06/978.52 c 978s| 10500 | 1183 | 4299k| 408.3 | 418M | 57 |1429 |7922 |3068 | 24k| 0 |6723 |3100 | 1.013194e+03 | 1.038000e+03 | 2.45%| unknown
981.45/983.97 c 984s| 10600 | 1189 | 4337k| 408.0 | 418M | 57 |1429 |7930 |3083 | 24k| 0 |6738 |3107 | 1.013200e+03 | 1.038000e+03 | 2.45%| unknown
993.62/996.19 c 996s| 10700 | 1201 | 4394k| 409.6 | 419M | 57 |1429 |8042 |3074 | 25k| 0 |6909 |3177 | 1.013315e+03 | 1.038000e+03 | 2.44%| unknown
997.40/999.93 c 1000s| 10800 | 1203 | 4421k| 408.2 | 419M | 57 |1429 |8062 |3080 | 25k| 0 |6931 |3190 | 1.013315e+03 | 1.038000e+03 | 2.44%| unknown
1000.40/1003.00 c 1003s| 10900 | 1205 | 4445k| 406.7 | 419M | 57 |1429 |8147 |3084 | 25k| 1 |7030 |3210 | 1.013315e+03 | 1.038000e+03 | 2.44%| unknown
1005.09/1007.67 c 1008s| 11000 | 1211 | 4478k| 406.1 | 419M | 57 |1429 |8158 |3080 | 25k| 1 |7078 |3219 | 1.013318e+03 | 1.038000e+03 | 2.44%| unknown
1011.37/1014.00 c 1014s| 11100 | 1215 | 4518k| 406.0 | 419M | 57 |1429 |8148 |3070 | 25k| 0 |7088 |3220 | 1.013353e+03 | 1.038000e+03 | 2.43%| unknown
1020.75/1023.34 c 1023s| 11200 | 1231 | 4564k| 406.5 | 420M | 57 |1429 |8138 |3093 | 25k| 1 |7116 |3227 | 1.013424e+03 | 1.038000e+03 | 2.43%| unknown
1024.24/1026.85 c 1027s| 11300 | 1233 | 4591k| 405.2 | 420M | 57 |1429 |8165 |3083 | 25k| 1 |7151 |3239 | 1.013424e+03 | 1.038000e+03 | 2.43%| unknown
1030.62/1033.25 c 1033s| 11400 | 1237 | 4626k| 404.8 | 420M | 57 |1429 |8166 |3091 | 26k| 0 |7170 |3241 | 1.013466e+03 | 1.038000e+03 | 2.42%| unknown
1037.41/1040.07 c 1040s| 11500 | 1243 | 4666k| 404.7 | 420M | 57 |1429 |8171 |3083 | 26k| 0 |7193 |3245 | 1.013475e+03 | 1.038000e+03 | 2.42%| unknown
1046.29/1048.91 c 1049s| 11600 | 1251 | 4714k| 405.4 | 420M | 57 |1429 |8148 |3093 | 26k| 1 |7210 |3245 | 1.013500e+03 | 1.038000e+03 | 2.42%| unknown
1056.76/1059.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1056.76/1059.43 c 1059s| 11700 | 1265 | 4771k| 406.8 | 420M | 57 |1429 |8145 |3079 | 26k| 2 |7243 |3248 | 1.013586e+03 | 1.038000e+03 | 2.41%| unknown
1064.55/1067.22 c 1067s| 11800 | 1271 | 4819k| 407.4 | 420M | 57 |1429 |8118 |3071 | 27k| 0 |7249 |3248 | 1.013622e+03 | 1.038000e+03 | 2.41%| unknown
1074.02/1076.72 c 1077s| 11900 | 1285 | 4874k| 408.6 | 420M | 57 |1429 |8084 |3084 | 27k| 0 |7253 |3248 | 1.013645e+03 | 1.038000e+03 | 2.40%| unknown
1079.11/1081.85 c 1082s| 12000 | 1291 | 4910k| 408.2 | 420M | 57 |1429 |8067 |3080 | 27k| 0 |7270 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1083.70/1086.47 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1083.80/1086.51 c (run 1, node 12068) performing user restart
1083.80/1086.51 c
1083.80/1086.51 c (restart) converted 266 cuts from the global cut pool into linear constraints
1083.80/1086.51 c
1083.90/1086.69 c presolving:
1084.00/1086.71 c (round 1, fast) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 4166 chg coeffs, 0 upgd conss, 0 impls, 2743 clqs
1084.00/1086.75 c (round 2, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 4166 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1084.20/1086.91 c (round 3, exhaustive) 0 del vars, 251 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 5476 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1084.30/1087.05 c (round 4, exhaustive) 0 del vars, 327 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 5478 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1084.50/1087.22 c (round 5, exhaustive) 0 del vars, 327 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 5755 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1084.80/1087.52 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
1084.80/1087.52 c 0 deleted vars, 327 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3970 changed sides, 5759 changed coefficients
1084.80/1087.52 c 0 implications, 2743 cliques
1084.80/1087.52 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 7993 constraints
1084.80/1087.52 c 259 constraints of type <knapsack>
1084.80/1087.52 c 2743 constraints of type <setppc>
1084.80/1087.52 c 58 constraints of type <linear>
1084.80/1087.52 c 4933 constraints of type <logicor>
1084.80/1087.52 c transformed objective value is always integral (scale: 1)
1084.80/1087.52 c Presolving Time: 0.91
1084.80/1087.57 c transformed 100/100 original solutions to the transformed problem space
1084.80/1087.57 c
1085.79/1088.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1085.79/1088.52 c 1089s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3008 | 0 | 0 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1086.19/1089.00 c 1089s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3009 | 1 | 1 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1086.69/1089.48 c 1089s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3010 | 2 | 2 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1087.19/1089.95 c 1090s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3011 | 3 | 3 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1087.69/1090.44 c 1090s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3012 | 4 | 4 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1088.19/1090.91 c 1091s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3014 | 6 | 5 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1089.09/1091.81 c 1092s| 1 | 2 | 4951k| - | 364M | 0 |1429 |8005 |3014 | 6 | 6 |7284 |3252 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1112.53/1115.31 c 1115s| 100 | 29 | 5000k| 409.3 | 376M | 29 |1429 |8510 |2940 | 14 | 1 |7884 |3612 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1120.81/1123.66 c 1124s| 200 | 37 | 5038k| 409.0 | 376M | 32 |1429 |8994 |2940 | 14 | 0 |8482 |3774 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1128.69/1131.51 c 1131s| 300 | 51 | 5075k| 408.7 | 376M | 33 |1429 |9234 |2940 | 14 | 1 |8787 |3888 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1133.38/1136.28 c 1136s| 400 | 55 | 5103k| 407.7 | 376M | 37 |1429 |9465 |2940 | 14 | 1 |9077 |3966 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1136.47/1139.34 c 1139s| 500 | 55 | 5131k| 406.7 | 376M | 37 |1429 |9567 |2940 | 14 | 0 |9206 |3993 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1145.45/1148.32 c 1148s| 600 | 65 | 5200k| 408.9 | 376M | 37 |1429 |9750 |2940 | 16 | 0 |9440 |4059 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1152.33/1155.28 c 1155s| 700 | 83 | 5235k| 408.4 | 376M | 37 |1429 |9904 |2940 | 16 | 1 |9640 |4142 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1174.28/1177.21 c 1177s| 800 | 85 | 5268k| 407.8 | 376M | 37 |1429 | 10k|2940 | 16 | 1 | 10k|4588 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1180.86/1183.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1180.86/1183.82 c 1184s| 900 | 91 | 5294k| 406.7 | 376M | 37 |1429 | 10k|2940 | 16 | 1 | 10k|4717 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1185.85/1188.87 c 1189s| 1000 | 104 | 5328k| 406.2 | 384M | 37 |1429 | 10k|2940 | 19 | 0 | 10k|4750 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1193.43/1196.45 c 1196s| 1100 | 110 | 5348k| 404.6 | 388M | 37 |1429 | 10k|2940 | 22 | 1 | 10k|4840 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1199.62/1202.60 c 1203s| 1200 | 116 | 5373k| 403.4 | 394M | 40 |1429 | 10k|2940 | 32 | 0 | 10k|4870 | 1.013717e+03 | 1.038000e+03 | 2.40%| unknown
1204.20/1207.27 c 1207s| 1300 | 128 | 5400k| 402.4 | 400M | 40 |1429 | 10k|2942 | 51 | 1 | 10k|4877 | 1.013722e+03 | 1.038000e+03 | 2.39%| unknown
1208.69/1211.71 c 1212s| 1400 | 132 | 5426k| 401.3 | 403M | 40 |1429 | 10k|2942 | 66 | 1 | 11k|4917 | 1.013739e+03 | 1.038000e+03 | 2.39%| unknown
1213.09/1216.16 c 1216s| 1500 | 142 | 5456k| 400.7 | 409M | 40 |1429 | 10k|2942 | 87 | 1 | 11k|4927 | 1.013783e+03 | 1.038000e+03 | 2.39%| unknown
1216.87/1219.92 c 1220s| 1600 | 142 | 5482k| 399.6 | 425M | 40 |1429 | 10k|2943 | 115 | 0 | 11k|4930 | 1.013908e+03 | 1.038000e+03 | 2.38%| unknown
1218.87/1221.99 c 1222s| 1700 | 140 | 5499k| 398.0 | 425M | 40 |1429 | 10k|2943 | 120 | 1 | 11k|4937 | 1.013908e+03 | 1.038000e+03 | 2.38%| unknown
1223.26/1226.32 c 1226s| 1800 | 144 | 5528k| 397.1 | 425M | 40 |1429 | 10k|2944 | 152 | 1 | 11k|4937 | 1.013909e+03 | 1.038000e+03 | 2.38%| unknown
1227.15/1230.24 c 1230s| 1900 | 148 | 5558k| 396.5 | 425M | 40 |1429 | 10k|2943 | 178 | 2 | 11k|4939 | 1.013951e+03 | 1.038000e+03 | 2.37%| unknown
1231.44/1234.55 c 1235s| 2000 | 158 | 5587k| 395.7 | 425M | 40 |1429 | 10k|2943 | 197 | 0 | 11k|4944 | 1.013975e+03 | 1.038000e+03 | 2.37%| unknown
1238.82/1241.97 c 1242s| 2100 | 168 | 5642k| 396.8 | 425M | 40 |1429 | 10k|2944 | 238 | 0 | 11k|4948 | 1.014082e+03 | 1.038000e+03 | 2.36%| unknown
1240.51/1243.69 c 1244s| 2200 | 170 | 5659k| 395.2 | 425M | 40 |1429 | 10k|2944 | 241 | 1 | 11k|4950 | 1.014082e+03 | 1.038000e+03 | 2.36%| unknown
1243.11/1246.21 c 1246s| 2300 | 166 | 5678k| 393.8 | 425M | 40 |1429 | 10k|2944 | 243 | 1 | 11k|4978 | 1.014082e+03 | 1.038000e+03 | 2.36%| unknown
1249.00/1252.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1249.00/1252.16 c 1252s| 2400 | 180 | 5717k| 393.8 | 425M | 40 |1429 | 10k|2945 | 314 | 1 | 11k|4979 | 1.014097e+03 | 1.038000e+03 | 2.36%| unknown
1251.19/1254.31 c 1254s| 2500 | 180 | 5738k| 392.5 | 425M | 40 |1429 | 10k|2947 | 321 | 1 | 11k|4984 | 1.014097e+03 | 1.038000e+03 | 2.36%| unknown
1256.67/1259.84 c 1260s| 2600 | 198 | 5773k| 392.2 | 425M | 40 |1429 |9910 |2948 | 392 | 1 | 11k|4991 | 1.014188e+03 | 1.038000e+03 | 2.35%| unknown
1261.46/1264.68 c 1265s| 2700 | 202 | 5797k| 391.2 | 425M | 40 |1429 |9830 |2949 | 454 | 0 | 11k|5019 | 1.014363e+03 | 1.038000e+03 | 2.33%| unknown
1263.56/1266.78 c 1267s| 2800 | 202 | 5813k| 389.6 | 425M | 40 |1429 |9838 |2948 | 459 | 1 | 11k|5036 | 1.014363e+03 | 1.038000e+03 | 2.33%| unknown
1269.44/1272.67 c 1273s| 2900 | 212 | 5843k| 389.0 | 425M | 40 |1429 |9469 |2949 | 546 | 0 | 11k|5061 | 1.014438e+03 | 1.038000e+03 | 2.32%| unknown
1276.52/1279.74 c 1280s| 3000 | 224 | 5877k| 388.7 | 425M | 40 |1429 |9222 |2952 | 663 | 1 | 11k|5075 | 1.014487e+03 | 1.038000e+03 | 2.32%| unknown
1282.81/1286.00 c 1286s| 3100 | 226 | 5904k| 387.9 | 425M | 40 |1429 |9178 |2954 | 742 | 0 | 11k|5117 | 1.014512e+03 | 1.038000e+03 | 2.32%| unknown
1287.60/1290.83 c 1291s| 3200 | 230 | 5934k| 387.3 | 425M | 40 |1429 |8996 |2959 | 824 | 0 | 11k|5121 | 1.014578e+03 | 1.038000e+03 | 2.31%| unknown
1291.89/1295.11 c 1295s| 3300 | 242 | 5971k| 387.2 | 425M | 40 |1429 |8342 |2954 | 883 | 1 | 11k|5126 | 1.014623e+03 | 1.038000e+03 | 2.30%| unknown
1293.79/1297.09 c 1297s| 3400 | 240 | 5991k| 386.0 | 425M | 40 |1429 |8334 |2956 | 910 | 2 | 11k|5128 | 1.014623e+03 | 1.038000e+03 | 2.30%| unknown
1298.27/1301.57 c 1302s| 3500 | 244 | 6018k| 385.3 | 425M | 40 |1429 |8207 |2955 | 973 | 1 | 11k|5133 | 1.014665e+03 | 1.038000e+03 | 2.30%| unknown
1300.37/1303.62 c 1304s| 3600 | 242 | 6039k| 384.2 | 425M | 40 |1429 |8180 |2954 |1010 | 0 | 11k|5134 | 1.014665e+03 | 1.038000e+03 | 2.30%| unknown
1308.25/1311.59 c 1312s| 3700 | 262 | 6085k| 384.6 | 425M | 40 |1429 |7679 |2956 |1171 | 0 | 11k|5136 | 1.014821e+03 | 1.038000e+03 | 2.28%| unknown
1311.04/1314.35 c 1314s| 3800 | 270 | 6113k| 384.0 | 425M | 40 |1429 |7571 |2956 |1185 | 0 | 11k|5136 | 1.014821e+03 | 1.038000e+03 | 2.28%| unknown
1314.23/1317.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1314.23/1317.52 c 1318s| 3900 | 282 | 6143k| 383.4 | 425M | 40 |1429 |7316 |2956 |1187 | 1 | 11k|5140 | 1.014837e+03 | 1.038000e+03 | 2.28%| unknown
1319.22/1322.55 c 1323s| 4000 | 292 | 6174k| 383.0 | 426M | 40 |1429 |7026 |2958 |1253 | 1 | 11k|5145 | 1.014857e+03 | 1.038000e+03 | 2.28%| unknown
1320.82/1324.13 c 1324s| 4100 | 288 | 6191k| 381.7 | 426M | 40 |1429 |7031 |2958 |1259 | 0 | 11k|5147 | 1.014857e+03 | 1.038000e+03 | 2.28%| unknown
1330.29/1333.62 c 1334s| 4200 | 304 | 6253k| 383.1 | 426M | 40 |1429 |6578 |2960 |1378 | 1 | 11k|5149 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1332.49/1335.85 c 1336s| 4300 | 304 | 6275k| 382.1 | 426M | 40 |1429 |6600 |2956 |1380 | 0 | 11k|5156 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1334.98/1338.37 c 1338s| 4400 | 312 | 6300k| 381.3 | 425M | 40 |1429 |6583 |2957 |1402 | 1 | 11k|5156 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1336.88/1340.29 c 1340s| 4500 | 310 | 6320k| 380.3 | 425M | 40 |1429 |6578 |2959 |1409 | 0 | 11k|5156 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1339.27/1342.67 c 1343s| 4600 | 316 | 6342k| 379.3 | 425M | 40 |1429 |6574 |2958 |1422 | 0 | 11k|5158 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1345.66/1349.03 c 1349s| 4700 | 324 | 6375k| 379.0 | 425M | 40 |1429 |6383 |2960 |1523 | 1 | 12k|5165 | 1.015077e+03 | 1.038000e+03 | 2.26%| unknown
1348.45/1351.80 c 1352s| 4800 | 328 | 6398k| 378.1 | 426M | 40 |1429 |6292 |2964 |1535 | 0 | 12k|5172 | 1.015092e+03 | 1.038000e+03 | 2.26%| unknown
1350.54/1353.90 c 1354s| 4900 | 330 | 6417k| 377.0 | 426M | 40 |1429 |6305 |2957 |1550 | 1 | 12k|5178 | 1.015092e+03 | 1.038000e+03 | 2.26%| unknown
1352.54/1355.93 c 1356s| 5000 | 334 | 6439k| 376.0 | 426M | 40 |1429 |6315 |2963 |1572 | 1 | 12k|5180 | 1.015092e+03 | 1.038000e+03 | 2.26%| unknown
1355.13/1358.58 c 1359s| 5100 | 334 | 6460k| 375.1 | 426M | 40 |1429 |6136 |2958 |1610 | 1 | 12k|5189 | 1.015161e+03 | 1.038000e+03 | 2.25%| unknown
1360.92/1364.32 c 1364s| 5200 | 346 | 6497k| 375.1 | 426M | 40 |1429 |5900 |2963 |1708 | 0 | 12k|5190 | 1.015182e+03 | 1.038000e+03 | 2.25%| unknown
1366.40/1369.87 c 1370s| 5300 | 356 | 6530k| 374.8 | 426M | 40 |1429 |5766 |2963 |1797 | 0 | 12k|5200 | 1.015193e+03 | 1.038000e+03 | 2.25%| unknown
1368.50/1371.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1368.50/1371.93 c 1372s| 5400 | 356 | 6551k| 373.9 | 426M | 40 |1429 |5823 |2963 |1813 | 2 | 12k|5212 | 1.015193e+03 | 1.038000e+03 | 2.25%| unknown
1377.48/1380.92 c 1381s| 5500 | 366 | 6590k| 373.9 | 426M | 42 |1429 |5630 |2963 |1952 | 1 | 12k|5252 | 1.015249e+03 | 1.038000e+03 | 2.24%| unknown
1381.57/1385.09 c 1385s| 5600 | 364 | 6614k| 373.2 | 426M | 42 |1429 |5734 |2960 |1958 | 0 | 12k|5306 | 1.015249e+03 | 1.038000e+03 | 2.24%| unknown
1385.06/1388.53 c 1389s| 5700 | 360 | 6639k| 372.5 | 426M | 42 |1429 |5787 |2958 |1979 | 0 | 12k|5339 | 1.015249e+03 | 1.038000e+03 | 2.24%| unknown
1389.85/1393.32 c 1393s| 5800 | 366 | 6671k| 372.2 | 426M | 42 |1429 |5581 |2967 |2046 | 2 | 12k|5364 | 1.015259e+03 | 1.038000e+03 | 2.24%| unknown
1392.94/1396.43 c 1396s| 5900 | 366 | 6693k| 371.4 | 426M | 42 |1429 |5589 |2961 |2075 | 0 | 12k|5380 | 1.015259e+03 | 1.038000e+03 | 2.24%| unknown
1399.12/1402.67 c 1403s| 6000 | 370 | 6725k| 371.1 | 426M | 42 |1429 |5473 |2958 |2162 | 0 | 13k|5417 | 1.015302e+03 | 1.038000e+03 | 2.24%| unknown
1405.41/1408.93 c 1409s| 6100 | 392 | 6768k| 371.4 | 426M | 42 |1429 |5356 |2963 |2178 | 0 | 13k|5460 | 1.015356e+03 | 1.038000e+03 | 2.23%| unknown
1408.40/1411.96 c 1412s| 6200 | 390 | 6793k| 370.7 | 426M | 42 |1429 |5431 |2961 |2199 | 1 | 13k|5487 | 1.015356e+03 | 1.038000e+03 | 2.23%| unknown
1417.38/1420.93 c 1421s| 6300 | 400 | 6839k| 371.2 | 426M | 42 |1429 |5231 |2961 |2329 | 1 | 13k|5506 | 1.015427e+03 | 1.038000e+03 | 2.22%| unknown
1421.47/1425.06 c 1425s| 6400 | 400 | 6869k| 370.8 | 426M | 42 |1429 |5160 |2957 |2397 | 2 | 13k|5509 | 1.015439e+03 | 1.038000e+03 | 2.22%| unknown
1423.47/1427.06 c 1427s| 6500 | 394 | 6889k| 369.9 | 426M | 42 |1429 |5143 |2957 |2407 | 1 | 13k|5512 | 1.015439e+03 | 1.038000e+03 | 2.22%| unknown
1429.25/1432.85 c 1433s| 6600 | 400 | 6922k| 369.7 | 427M | 42 |1429 |5129 |2967 |2488 | 0 | 13k|5526 | 1.015448e+03 | 1.038000e+03 | 2.22%| unknown
1431.45/1435.04 c 1435s| 6700 | 398 | 6944k| 368.9 | 427M | 42 |1429 |5137 |2957 |2504 | 1 | 13k|5531 | 1.015448e+03 | 1.038000e+03 | 2.22%| unknown
1435.54/1439.19 c 1439s| 6800 | 398 | 6970k| 368.3 | 427M | 42 |1429 |5088 |2958 |2561 | 0 | 13k|5540 | 1.015452e+03 | 1.038000e+03 | 2.22%| unknown
1441.62/1445.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1441.62/1445.26 c 1445s| 6900 | 398 | 7001k| 368.0 | 427M | 42 |1429 |5063 |2959 |2650 | 0 | 13k|5565 | 1.015464e+03 | 1.038000e+03 | 2.22%| unknown
1444.52/1448.18 c 1448s| 7000 | 398 | 7029k| 367.6 | 427M | 42 |1429 |5089 |2959 |2716 | 2 | 13k|5581 | 1.015464e+03 | 1.038000e+03 | 2.22%| unknown
1447.51/1451.17 c 1451s| 7100 | 400 | 7052k| 366.8 | 427M | 42 |1429 |5114 |2953 |2753 | 1 | 13k|5597 | 1.015464e+03 | 1.038000e+03 | 2.22%| unknown
1457.88/1461.50 c 1461s| 7200 | 412 | 7119k| 368.4 | 427M | 42 |1429 |5003 |2957 |2866 | 0 | 13k|5599 | 1.015504e+03 | 1.038000e+03 | 2.22%| unknown
1463.37/1467.04 c 1467s| 7300 | 422 | 7157k| 368.5 | 427M | 42 |1429 |4932 |2961 |2997 | 1 | 13k|5603 | 1.015547e+03 | 1.038000e+03 | 2.21%| unknown
1473.64/1477.38 c 1477s| 7400 | 440 | 7206k| 369.1 | 427M | 42 |1429 |4810 |2962 |3197 | 1 | 13k|5623 | 1.015617e+03 | 1.038000e+03 | 2.20%| unknown
1476.34/1480.04 c 1480s| 7500 | 436 | 7230k| 368.5 | 427M | 42 |1429 |4864 |2962 |3207 | 0 | 13k|5636 | 1.015617e+03 | 1.038000e+03 | 2.20%| unknown
1483.62/1487.31 c 1487s| 7600 | 458 | 7280k| 369.1 | 428M | 42 |1429 |4787 |2970 |3341 | 0 | 14k|5645 | 1.015647e+03 | 1.038000e+03 | 2.20%| unknown
1488.81/1492.52 c 1493s| 7700 | 470 | 7314k| 369.0 | 428M | 42 |1429 |4742 |2974 |3428 | 2 | 14k|5649 | 1.015660e+03 | 1.038000e+03 | 2.20%| unknown
1496.09/1499.84 c 1500s| 7800 | 478 | 7353k| 369.0 | 428M | 42 |1429 |4685 |2970 |3569 | 0 | 14k|5656 | 1.015691e+03 | 1.038000e+03 | 2.20%| unknown
1504.67/1508.42 c 1508s| 7900 | 488 | 7397k| 369.4 | 428M | 42 |1429 |4632 |2966 |3750 | 0 | 14k|5658 | 1.015738e+03 | 1.038000e+03 | 2.19%| unknown
1507.57/1511.30 c 1511s| 8000 | 492 | 7423k| 368.9 | 428M | 42 |1429 |4620 |2963 |3773 | 0 | 14k|5662 | 1.015738e+03 | 1.038000e+03 | 2.19%| unknown
1512.26/1516.01 c 1516s| 8100 | 504 | 7458k| 368.8 | 428M | 42 |1429 |4582 |2964 |3841 | 1 | 14k|5669 | 1.015752e+03 | 1.038000e+03 | 2.19%| unknown
1516.35/1520.19 c 1520s| 8200 | 506 | 7487k| 368.4 | 428M | 42 |1429 |4557 |2964 |3919 | 1 | 14k|5670 | 1.015760e+03 | 1.038000e+03 | 2.19%| unknown
1520.63/1524.43 c 1524s| 8300 | 510 | 7517k| 368.1 | 428M | 42 |1429 |4508 |2966 |4015 | 2 | 14k|5675 | 1.015808e+03 | 1.038000e+03 | 2.18%| unknown
1522.93/1526.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1522.93/1526.72 c 1527s| 8400 | 512 | 7541k| 367.5 | 428M | 42 |1429 |4515 |2966 |4042 | 1 | 14k|5676 | 1.015808e+03 | 1.038000e+03 | 2.18%| unknown
1532.41/1536.21 c 1536s| 8500 | 526 | 7591k| 368.1 | 428M | 42 |1429 |4496 |2970 |4244 | 0 | 14k|5681 | 1.015857e+03 | 1.038000e+03 | 2.18%| unknown
1540.29/1544.16 c 1544s| 8600 | 538 | 7646k| 369.0 | 428M | 42 |1429 |4467 |2970 |4312 | 0 | 14k|5686 | 1.015879e+03 | 1.038000e+03 | 2.18%| unknown
1542.38/1546.24 c 1546s| 8700 | 534 | 7668k| 368.2 | 428M | 42 |1429 |4501 |2963 |4326 | 1 | 14k|5697 | 1.015879e+03 | 1.038000e+03 | 2.18%| unknown
1546.97/1550.88 c 1551s| 8800 | 528 | 7701k| 368.0 | 428M | 42 |1429 |4441 |2959 |4427 | 0 | 14k|5699 | 1.015917e+03 | 1.038000e+03 | 2.17%| unknown
1550.56/1554.48 c 1554s| 8900 | 534 | 7732k| 367.8 | 428M | 42 |1429 |4369 |2965 |4503 | 1 | 14k|5702 | 1.015964e+03 | 1.038000e+03 | 2.17%| unknown
1557.54/1561.47 c 1561s| 9000 | 546 | 7766k| 367.7 | 428M | 42 |1429 |4321 |2966 |4602 | 0 | 14k|5707 | 1.015983e+03 | 1.038000e+03 | 2.17%| unknown
1559.24/1563.17 c 1563s| 9100 | 546 | 7784k| 366.8 | 428M | 42 |1429 |4320 |2965 |4616 | 0 | 14k|5707 | 1.015983e+03 | 1.038000e+03 | 2.17%| unknown
1566.42/1570.30 c 1570s| 9200 | 560 | 7826k| 367.0 | 429M | 42 |1429 |4222 |2969 |4813 | 0 | 14k|5708 | 1.015992e+03 | 1.038000e+03 | 2.17%| unknown
1568.61/1572.57 c 1573s| 9300 | 562 | 7849k| 366.4 | 429M | 42 |1429 |4229 |2963 |4832 | 0 | 14k|5711 | 1.015992e+03 | 1.038000e+03 | 2.17%| unknown
1572.90/1576.86 c 1577s| 9400 | 568 | 7878k| 366.0 | 429M | 42 |1429 |4221 |2965 |4900 | 1 | 14k|5715 | 1.016001e+03 | 1.038000e+03 | 2.17%| unknown
1576.29/1580.21 c 1580s| 9500 | 576 | 7907k| 365.7 | 429M | 42 |1429 |4253 |2964 |4986 | 1 | 14k|5728 | 1.016001e+03 | 1.038000e+03 | 2.17%| unknown
1580.48/1584.49 c 1584s| 9600 | 588 | 7940k| 365.5 | 429M | 42 |1429 |4244 |2965 |5087 | 1 | 14k|5737 | 1.016030e+03 | 1.038000e+03 | 2.16%| unknown
1583.08/1587.02 c 1587s| 9700 | 594 | 7965k| 365.0 | 429M | 42 |1429 |4233 |2966 |5097 | 1 | 14k|5746 | 1.016046e+03 | 1.038000e+03 | 2.16%| unknown
1588.86/1592.89 c 1593s| 9800 | 598 | 7997k| 364.8 | 429M | 42 |1429 |4205 |2962 |5212 | 0 | 14k|5764 | 1.016057e+03 | 1.038000e+03 | 2.16%| unknown
1592.16/1596.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1592.16/1596.11 c 1596s| 9900 | 612 | 8027k| 364.5 | 429M | 42 |1429 |4189 |2966 |5233 | 1 | 14k|5765 | 1.016088e+03 | 1.038000e+03 | 2.16%| unknown
1597.15/1601.12 c 1601s| 10000 | 618 | 8059k| 364.3 | 429M | 42 |1429 |4206 |2969 |5318 | 1 | 14k|5772 | 1.016111e+03 | 1.038000e+03 | 2.15%| unknown
1603.83/1607.85 c 1608s| 10100 | 634 | 8098k| 364.4 | 429M | 42 |1429 |4194 |2970 |5418 | 1 | 14k|5803 | 1.016186e+03 | 1.038000e+03 | 2.15%| unknown
1607.22/1611.26 c 1611s| 10200 | 634 | 8118k| 363.7 | 429M | 42 |1429 |4274 |2970 |5426 | 1 | 14k|5857 | 1.016186e+03 | 1.038000e+03 | 2.15%| unknown
1611.81/1615.86 c 1616s| 10300 | 640 | 8143k| 363.2 | 429M | 42 |1429 |4250 |2969 |5508 | 1 | 14k|5872 | 1.016217e+03 | 1.038000e+03 | 2.14%| unknown
1619.29/1623.35 c 1623s| 10400 | 638 | 8198k| 364.0 | 429M | 42 |1429 |4239 |2970 |5563 | 1 | 14k|5875 | 1.016220e+03 | 1.038000e+03 | 2.14%| unknown
1625.77/1629.88 c 1630s| 10500 | 646 | 8238k| 364.1 | 429M | 42 |1429 |4216 |2972 |5690 | 1 | 14k|5878 | 1.016229e+03 | 1.038000e+03 | 2.14%| unknown
1627.87/1631.90 c 1632s| 10600 | 644 | 8259k| 363.5 | 429M | 42 |1429 |4213 |2969 |5717 | 1 | 14k|5878 | 1.016229e+03 | 1.038000e+03 | 2.14%| unknown
1630.16/1634.26 c 1634s| 10700 | 644 | 8283k| 362.9 | 429M | 42 |1429 |4230 |2973 |5734 | 0 | 14k|5881 | 1.016229e+03 | 1.038000e+03 | 2.14%| unknown
1635.45/1639.60 c 1640s| 10800 | 644 | 8312k| 362.6 | 429M | 42 |1429 |4275 |2973 |5821 | 0 | 15k|5900 | 1.016231e+03 | 1.038000e+03 | 2.14%| unknown
1640.14/1644.28 c 1644s| 10900 | 656 | 8345k| 362.5 | 429M | 42 |1429 |4274 |2960 |5909 | 1 | 15k|5902 | 1.016245e+03 | 1.038000e+03 | 2.14%| unknown
1642.13/1646.22 c 1646s| 11000 | 654 | 8365k| 361.8 | 429M | 42 |1429 |4304 |2960 |5913 | 0 | 15k|5906 | 1.016245e+03 | 1.038000e+03 | 2.14%| unknown
1644.43/1648.56 c 1649s| 11100 | 660 | 8388k| 361.2 | 429M | 42 |1429 |4318 |2968 |5933 | 0 | 15k|5908 | 1.016245e+03 | 1.038000e+03 | 2.14%| unknown
1648.72/1652.81 c 1653s| 11200 | 664 | 8413k| 360.7 | 429M | 42 |1429 |4318 |2967 |6005 | 1 | 15k|5910 | 1.016303e+03 | 1.038000e+03 | 2.13%| unknown
1652.51/1656.65 c 1657s| 11300 | 670 | 8439k| 360.3 | 429M | 42 |1429 |4315 |2969 |6077 | 1 | 15k|5911 | 1.016324e+03 | 1.038000e+03 | 2.13%| unknown
1658.69/1662.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1658.69/1662.82 c 1663s| 11400 | 674 | 8474k| 360.2 | 429M | 42 |1429 |4292 |2970 |6202 | 0 | 15k|5911 | 1.016329e+03 | 1.038000e+03 | 2.13%| unknown
1663.89/1668.06 c 1668s| 11500 | 684 | 8507k| 360.1 | 429M | 42 |1429 |4282 |2966 |6318 | 1 | 15k|5913 | 1.016337e+03 | 1.038000e+03 | 2.13%| unknown
1671.46/1675.67 c 1676s| 11600 | 692 | 8546k| 360.2 | 429M | 42 |1429 |4269 |2970 |6487 | 0 | 15k|5921 | 1.016354e+03 | 1.038000e+03 | 2.13%| unknown
1675.75/1679.96 c 1680s| 11700 | 696 | 8576k| 359.9 | 429M | 42 |1429 |4256 |2970 |6574 | 0 | 15k|5923 | 1.016362e+03 | 1.038000e+03 | 2.13%| unknown
1683.43/1687.65 c 1688s| 11800 | 712 | 8619k| 360.2 | 429M | 42 |1429 |4211 |2974 |6743 | 1 | 15k|5925 | 1.016400e+03 | 1.038000e+03 | 2.13%| unknown
1685.63/1689.85 c 1690s| 11900 | 712 | 8641k| 359.7 | 429M | 42 |1429 |4215 |2974 |6778 | 1 | 15k|5926 | 1.016400e+03 | 1.038000e+03 | 2.13%| unknown
1691.62/1695.88 c 1696s| 12000 | 730 | 8679k| 359.8 | 431M | 42 |1429 |4174 |2971 |6894 | 2 | 15k|5927 | 1.016418e+03 | 1.038000e+03 | 2.12%| unknown
1702.29/1706.58 c 1707s| 12100 | 744 | 8727k| 360.3 | 431M | 42 |1429 |4140 |2970 |7154 | 1 | 15k|5945 | 1.016438e+03 | 1.038000e+03 | 2.12%| unknown
1705.08/1709.34 c 1709s| 12200 | 740 | 8750k| 359.7 | 431M | 42 |1429 |4179 |2971 |7157 | 1 | 15k|5961 | 1.016438e+03 | 1.038000e+03 | 2.12%| unknown
1711.77/1716.01 c 1716s| 12300 | 754 | 8786k| 359.7 | 431M | 42 |1429 |4180 |2981 |7269 | 0 | 15k|5975 | 1.016455e+03 | 1.038000e+03 | 2.12%| unknown
1715.16/1719.47 c 1719s| 12400 | 754 | 8811k| 359.3 | 431M | 42 |1429 |4280 |2977 |7284 | 0 | 15k|6012 | 1.016455e+03 | 1.038000e+03 | 2.12%| unknown
1719.45/1723.74 c 1724s| 12500 | 756 | 8842k| 359.1 | 431M | 42 |1429 |4428 |2985 |7308 | 1 | 15k|6056 | 1.016455e+03 | 1.038000e+03 | 2.12%| unknown
1728.33/1732.65 c 1733s| 12600 | 758 | 8897k| 359.9 | 431M | 43 |1429 |4393 |2985 |7396 | 0 | 15k|6074 | 1.016463e+03 | 1.038000e+03 | 2.12%| unknown
1735.11/1739.40 c 1739s| 12700 | 768 | 8939k| 360.1 | 431M | 43 |1429 |4369 |2979 |7499 | 1 | 15k|6089 | 1.016482e+03 | 1.038000e+03 | 2.12%| unknown
1741.49/1745.88 c 1746s| 12800 | 768 | 8975k| 360.1 | 431M | 43 |1429 |4417 |2981 |7599 | 1 | 15k|6125 | 1.016488e+03 | 1.038000e+03 | 2.12%| unknown
1744.69/1749.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1744.69/1749.08 c 1749s| 12900 | 762 | 9003k| 359.8 | 431M | 43 |1429 |4506 |2981 |7606 | 0 | 15k|6148 | 1.016488e+03 | 1.038000e+03 | 2.12%| unknown
1750.68/1755.07 c 1755s| 13000 | 776 | 9041k| 359.9 | 431M | 43 |1429 |4472 |2980 |7639 | 2 | 16k|6180 | 1.016497e+03 | 1.038000e+03 | 2.12%| unknown
1759.25/1763.67 c 1764s| 13100 | 788 | 9085k| 360.2 | 431M | 43 |1429 |4458 |2972 |7854 | 0 | 16k|6191 | 1.016518e+03 | 1.038000e+03 | 2.11%| unknown
1765.44/1769.82 c 1770s| 13200 | 792 | 9119k| 360.1 | 431M | 43 |1429 |4494 |2977 |7951 | 0 | 16k|6223 | 1.016526e+03 | 1.038000e+03 | 2.11%| unknown
1768.93/1773.30 c 1773s| 13300 | 790 | 9146k| 359.7 | 431M | 43 |1429 |4611 |2974 |7988 | 0 | 16k|6260 | 1.016526e+03 | 1.038000e+03 | 2.11%| unknown
1772.62/1777.10 c 1777s| 13400 | 796 | 9175k| 359.5 | 431M | 43 |1429 |4647 |2980 |8020 | 2 | 16k|6282 | 1.016565e+03 | 1.038000e+03 | 2.11%| unknown
1777.71/1782.18 c 1782s| 13500 | 804 | 9209k| 359.4 | 431M | 43 |1429 |4639 |2982 |8113 | 1 | 16k|6299 | 1.016598e+03 | 1.038000e+03 | 2.11%| unknown
1780.10/1784.58 c 1785s| 13600 | 800 | 9232k| 358.9 | 431M | 43 |1429 |4654 |2982 |8138 | 2 | 16k|6305 | 1.016598e+03 | 1.038000e+03 | 2.11%| unknown
1785.99/1790.44 c 1790s| 13700 | 802 | 9267k| 358.8 | 431M | 43 |1429 |4659 |2972 |8252 | 0 | 16k|6318 | 1.016620e+03 | 1.038000e+03 | 2.10%| unknown
1795.46/1800.00 c 1800s| 13800 | 820 | 9321k| 359.5 | 431M | 43 |1429 |4625 |2976 |8470 | 1 | 16k|6334 | 1.016655e+03 | 1.038000e+03 | 2.10%| unknown
1797.96/1802.42 c 1802s| 13900 | 818 | 9343k| 359.0 | 431M | 43 |1429 |4637 |2977 |8506 | 1 | 16k|6338 | 1.016655e+03 | 1.038000e+03 | 2.10%| unknown
1800.66/1805.16 c 1805s| 14000 | 822 | 9370k| 358.6 | 431M | 43 |1429 |4638 |2974 |8532 | 1 | 16k|6343 | 1.016655e+03 | 1.038000e+03 | 2.10%| unknown
1806.74/1811.24 c 1811s| 14100 | 828 | 9405k| 358.6 | 430M | 43 |1429 |4610 |2980 |8643 | 1 | 16k|6360 | 1.016709e+03 | 1.038000e+03 | 2.09%| unknown
1810.53/1815.04 c 1815s| 14200 | 832 | 9432k| 358.3 | 430M | 43 |1429 |4659 |2980 |8670 | 1 | 16k|6385 | 1.016717e+03 | 1.038000e+03 | 2.09%| unknown
1812.72/1817.28 c 1817s| 14300 | 830 | 9454k| 357.8 | 430M | 43 |1429 |4662 |2975 |8691 | 1 | 16k|6388 | 1.016717e+03 | 1.038000e+03 | 2.09%| unknown
1815.91/1820.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1815.91/1820.49 c 1820s| 14400 | 834 | 9484k| 357.5 | 430M | 43 |1429 |4649 |2981 |8709 | 1 | 16k|6391 | 1.016729e+03 | 1.038000e+03 | 2.09%| unknown
1821.70/1826.20 c 1826s| 14500 | 834 | 9519k| 357.5 | 430M | 43 |1429 |4627 |2974 |8827 | 0 | 16k|6402 | 1.016750e+03 | 1.038000e+03 | 2.09%| unknown
1829.98/1834.58 c 1835s| 14600 | 842 | 9564k| 357.9 | 430M | 43 |1429 |4618 |2979 |8997 | 0 | 16k|6411 | 1.016755e+03 | 1.038000e+03 | 2.09%| unknown
1839.46/1844.09 c 1844s| 14700 | 886 | 9643k| 359.5 | 430M | 43 |1429 |4549 |3045 |9094 | 0 | 16k|6416 | 1.016758e+03 | 1.038000e+03 | 2.09%| unknown
1846.74/1851.30 c 1851s| 14800 | 898 | 9684k| 359.7 | 430M | 43 |1429 |4570 |3045 |9243 | 1 | 17k|6428 | 1.016779e+03 | 1.038000e+03 | 2.09%| unknown
1853.12/1857.76 c 1858s| 14900 | 904 | 9721k| 359.7 | 430M | 43 |1429 |4703 |3046 |9333 | 1 | 17k|6470 | 1.016788e+03 | 1.038000e+03 | 2.09%| unknown
1855.92/1860.56 c 1861s| 15000 | 908 | 9749k| 359.4 | 430M | 43 |1429 |4751 |3046 |9345 | 1 | 17k|6479 | 1.016788e+03 | 1.038000e+03 | 2.09%| unknown
1864.90/1869.53 c 1870s| 15100 | 932 | 9801k| 360.0 | 430M | 43 |1429 |4791 |3051 |9562 | 0 | 17k|6509 | 1.016828e+03 | 1.038000e+03 | 2.08%| unknown
1870.68/1875.38 c 1875s| 15200 | 942 | 9841k| 360.2 | 430M | 43 |1429 |4963 |3048 |9573 | 0 | 17k|6568 | 1.016842e+03 | 1.038000e+03 | 2.08%| unknown
1879.26/1883.95 c 1884s| 15300 | 948 | 9875k| 360.1 | 430M | 43 |1429 |5166 |3047 |9649 | 1 | 17k|6657 | 1.016859e+03 | 1.038000e+03 | 2.08%| unknown
1885.45/1890.14 c 1890s| 15400 | 952 | 9909k| 360.0 | 430M | 43 |1429 |5357 |3046 |9731 | 1 | 18k|6696 | 1.016865e+03 | 1.038000e+03 | 2.08%| unknown
1891.53/1896.22 c 1896s| 15500 | 954 | 9943k| 359.9 | 430M | 43 |1429 |5504 |3053 |9746 | 0 | 18k|6742 | 1.016879e+03 | 1.038000e+03 | 2.08%| unknown
1901.50/1906.28 c 1906s| 15600 | 978 | 9996k| 360.6 | 439M | 43 |1429 |5498 |3053 |9983 | 0 | 18k|6751 | 1.016915e+03 | 1.038000e+03 | 2.07%| unknown
1908.89/1913.62 c 1914s| 15700 | 988 | 10041k| 360.9 | 442M | 43 |1429 |5609 |3052 | 10k| 0 | 18k|6801 | 1.016918e+03 | 1.038000e+03 | 2.07%| unknown
1921.37/1926.18 c 1926s| 15800 | 1004 | 10098k| 361.6 | 464M | 44 |1429 |5746 |3064 | 10k| 1 | 18k|6859 | 1.016928e+03 | 1.038000e+03 | 2.07%| unknown
1926.35/1931.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1926.35/1931.13 c 1931s| 15900 | 1004 | 10137k| 361.7 | 474M | 46 |1429 |5754 |3061 | 10k| 0 | 18k|6867 | 1.016939e+03 | 1.038000e+03 | 2.07%| unknown
1939.12/1943.95 c 1944s| 16000 | 1020 | 10193k| 362.4 | 488M | 46 |1429 |5732 |3070 | 10k| 0 | 19k|6923 | 1.016958e+03 | 1.038000e+03 | 2.07%| unknown
1946.21/1951.10 c 1951s| 16100 | 1028 | 10232k| 362.5 | 542M | 46 |1429 |5680 |3064 | 10k| 1 | 19k|6926 | 1.016982e+03 | 1.038000e+03 | 2.07%| unknown
1950.59/1955.46 c 1955s| 16200 | 1030 | 10266k| 362.4 | 555M | 46 |1429 |5663 |3067 | 10k| 0 | 19k|6949 | 1.016987e+03 | 1.038000e+03 | 2.07%| unknown
1957.37/1962.22 c 1962s| 16300 | 1038 | 10310k| 362.7 | 554M | 46 |1429 |5517 |3059 | 11k| 0 | 19k|6950 | 1.017006e+03 | 1.038000e+03 | 2.06%| unknown
1961.06/1965.96 c 1966s| 16400 | 1042 | 10345k| 362.7 | 554M | 46 |1429 |5434 |3064 | 11k| 0 | 19k|6953 | 1.017008e+03 | 1.038000e+03 | 2.06%| unknown
1969.64/1974.55 c 1975s| 16500 | 1056 | 10398k| 363.3 | 552M | 46 |1429 |5165 |3072 | 11k| 2 | 19k|6954 | 1.017029e+03 | 1.038000e+03 | 2.06%| unknown
1972.24/1977.10 c 1977s| 16600 | 1052 | 10421k| 362.8 | 549M | 46 |1429 |5118 |3062 | 11k| 1 | 19k|6955 | 1.017029e+03 | 1.038000e+03 | 2.06%| unknown
1981.71/1986.64 c 1987s| 16700 | 1060 | 10472k| 363.3 | 531M | 46 |1429 |4800 |3074 | 11k| 0 | 19k|6955 | 1.017044e+03 | 1.038000e+03 | 2.06%| unknown
1985.11/1990.08 c 1990s| 16800 | 1062 | 10505k| 363.2 | 524M | 46 |1429 |4617 |3058 | 11k| 1 | 19k|6955 | 1.017044e+03 | 1.038000e+03 | 2.06%| unknown
1990.49/1995.46 c 1995s| 16900 | 1072 | 10547k| 363.4 | 523M | 46 |1429 |4485 |3073 | 11k| 1 | 19k|6955 | 1.017054e+03 | 1.038000e+03 | 2.06%| unknown
1997.67/2002.67 c 2003s| 17000 | 1082 | 10589k| 363.6 | 519M | 46 |1429 |4461 |3081 | 12k| 0 | 19k|6959 | 1.017074e+03 | 1.038000e+03 | 2.06%| unknown
2005.75/2010.76 c 2011s| 17100 | 1094 | 10659k| 364.7 | 519M | 46 |1429 |4447 |3078 | 12k| 1 | 19k|6960 | 1.017088e+03 | 1.038000e+03 | 2.06%| unknown
2009.94/2014.98 c 2015s| 17200 | 1098 | 10694k| 364.7 | 519M | 46 |1429 |4401 |3074 | 12k| 1 | 19k|6980 | 1.017094e+03 | 1.038000e+03 | 2.06%| unknown
2014.04/2019.06 c 2019s| 17300 | 1100 | 10728k| 364.6 | 519M | 46 |1429 |4359 |3079 | 12k| 0 | 19k|6980 | 1.017103e+03 | 1.038000e+03 | 2.05%| unknown
2018.42/2023.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2018.42/2023.41 c 2023s| 17400 | 1102 | 10761k| 364.5 | 519M | 46 |1429 |4346 |3072 | 12k| 1 | 19k|6989 | 1.017114e+03 | 1.038000e+03 | 2.05%| unknown
2021.61/2026.63 c 2027s| 17500 | 1102 | 10792k| 364.3 | 519M | 46 |1429 |4316 |3079 | 12k| 0 | 19k|6989 | 1.017131e+03 | 1.038000e+03 | 2.05%| unknown
2025.20/2030.27 c 2030s| 17600 | 1112 | 10825k| 364.2 | 518M | 46 |1429 |4295 |3068 | 12k| 1 | 19k|6989 | 1.017136e+03 | 1.038000e+03 | 2.05%| unknown
2033.28/2038.30 c 2038s| 17700 | 1120 | 10871k| 364.5 | 518M | 46 |1429 |4286 |3074 | 12k| 0 | 19k|6991 | 1.017169e+03 | 1.038000e+03 | 2.05%| unknown
2041.76/2046.86 c 2047s| 17800 | 1128 | 10918k| 364.9 | 518M | 46 |1429 |4274 |3067 | 12k| 1 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2044.56/2049.63 c 2050s| 17900 | 1128 | 10945k| 364.5 | 518M | 46 |1429 |4274 |3065 | 12k| 1 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2047.65/2052.74 c 2053s| 18000 | 1128 | 10974k| 364.3 | 518M | 46 |1429 |4270 |3065 | 13k| 0 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2051.04/2056.14 c 2056s| 18100 | 1136 | 11006k| 364.1 | 517M | 46 |1429 |4265 |3073 | 13k| 0 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2054.73/2059.86 c 2060s| 18200 | 1144 | 11041k| 364.1 | 517M | 46 |1429 |4261 |3081 | 13k| 1 | 19k|6991 | 1.017181e+03 | 1.038000e+03 | 2.05%| unknown
2060.72/2065.84 c 2066s| 18300 | 1154 | 11081k| 364.2 | 517M | 46 |1429 |4262 |3088 | 13k| 0 | 19k|6991 | 1.017190e+03 | 1.038000e+03 | 2.05%| unknown
2066.30/2071.46 c 2071s| 18400 | 1162 | 11116k| 364.2 | 517M | 46 |1429 |4259 |3087 | 13k| 1 | 19k|6991 | 1.017191e+03 | 1.038000e+03 | 2.05%| unknown
2071.69/2076.89 c 2077s| 18500 | 1162 | 11153k| 364.2 | 517M | 46 |1429 |4245 |3076 | 13k| 0 | 19k|6992 | 1.017247e+03 | 1.038000e+03 | 2.04%| unknown
2077.08/2082.25 c 2082s| 18600 | 1166 | 11188k| 364.2 | 517M | 46 |1429 |4237 |3085 | 13k| 0 | 19k|6992 | 1.017248e+03 | 1.038000e+03 | 2.04%| unknown
2079.88/2085.03 c 2085s| 18700 | 1160 | 11214k| 363.8 | 517M | 46 |1429 |4237 |3074 | 13k| 0 | 19k|6992 | 1.017248e+03 | 1.038000e+03 | 2.04%| unknown
2082.87/2088.07 c 2088s| 18800 | 1158 | 11242k| 363.5 | 517M | 46 |1429 |4237 |3076 | 13k| 1 | 19k|6992 | 1.017248e+03 | 1.038000e+03 | 2.04%| unknown
2086.65/2091.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2086.65/2091.81 c 2092s| 18900 | 1162 | 11277k| 363.5 | 517M | 46 |1429 |4230 |3073 | 13k| 1 | 19k|6992 | 1.017256e+03 | 1.038000e+03 | 2.04%| unknown
2094.64/2099.87 c 2100s| 19000 | 1188 | 11330k| 364.0 | 517M | 46 |1429 |4194 |3037 | 13k| 1 | 19k|6997 | 1.017259e+03 | 1.038000e+03 | 2.04%| unknown
2100.22/2105.48 c 2105s| 19100 | 1198 | 11369k| 364.1 | 517M | 46 |1429 |4182 |3046 | 14k| 1 | 19k|6997 | 1.017262e+03 | 1.038000e+03 | 2.04%| unknown
2102.72/2107.98 c 2108s| 19200 | 1194 | 11393k| 363.7 | 517M | 46 |1429 |4182 |3047 | 14k| 2 | 19k|6998 | 1.017262e+03 | 1.038000e+03 | 2.04%| unknown
2111.90/2117.10 c 2117s| 19300 | 1206 | 11458k| 364.6 | 517M | 46 |1429 |4175 |3046 | 14k| 0 | 19k|6998 | 1.017288e+03 | 1.038000e+03 | 2.04%| unknown
2117.38/2122.68 c 2123s| 19400 | 1210 | 11488k| 364.4 | 517M | 46 |1429 |4186 |3049 | 14k| 0 | 19k|7031 | 1.017293e+03 | 1.038000e+03 | 2.04%| unknown
2122.67/2127.94 c 2128s| 19500 | 1228 | 11527k| 364.5 | 517M | 46 |1429 |4168 |3051 | 14k| 1 | 19k|7031 | 1.017295e+03 | 1.038000e+03 | 2.04%| unknown
2124.56/2129.87 c 2130s| 19600 | 1228 | 11547k| 364.0 | 517M | 46 |1429 |4186 |3050 | 14k| 1 | 19k|7036 | 1.017295e+03 | 1.038000e+03 | 2.04%| unknown
2133.44/2138.70 c 2139s| 19700 | 1238 | 11595k| 364.3 | 517M | 46 |1429 |4232 |3049 | 14k| 1 | 19k|7067 | 1.017314e+03 | 1.038000e+03 | 2.03%| unknown
2135.74/2141.03 c 2141s| 19800 | 1238 | 11617k| 363.9 | 517M | 46 |1429 |4263 |3051 | 14k| 1 | 19k|7078 | 1.017314e+03 | 1.038000e+03 | 2.03%| unknown
2139.03/2144.38 c 2144s| 19900 | 1238 | 11639k| 363.4 | 517M | 46 |1429 |4337 |3051 | 14k| 1 | 19k|7123 | 1.017314e+03 | 1.038000e+03 | 2.03%| unknown
2146.01/2151.34 c 2151s| 20000 | 1240 | 11672k| 363.4 | 517M | 46 |1429 |4347 |3045 | 14k| 0 | 19k|7158 | 1.017324e+03 | 1.038000e+03 | 2.03%| unknown
2153.29/2158.66 c 2159s| 20100 | 1250 | 11713k| 363.5 | 517M | 46 |1429 |4328 |3045 | 14k| 1 | 20k|7158 | 1.017347e+03 | 1.038000e+03 | 2.03%| unknown
2161.17/2166.57 c 2167s| 20200 | 1254 | 11754k| 363.6 | 517M | 46 |1429 |4288 |3047 | 15k| 1 | 20k|7165 | 1.017356e+03 | 1.038000e+03 | 2.03%| unknown
2165.77/2171.18 c 2171s| 20300 | 1254 | 11785k| 363.5 | 517M | 46 |1429 |4310 |3049 | 15k| 1 | 20k|7190 | 1.017360e+03 | 1.038000e+03 | 2.03%| unknown
2170.76/2176.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2170.76/2176.14 c 2176s| 20400 | 1262 | 11822k| 363.5 | 517M | 46 |1429 |4313 |3052 | 15k| 1 | 20k|7198 | 1.017366e+03 | 1.038000e+03 | 2.03%| unknown
2183.22/2188.61 c 2189s| 20500 | 1280 | 11886k| 364.3 | 517M | 46 |1429 |4338 |3044 | 15k| 0 | 20k|7254 | 1.017412e+03 | 1.038000e+03 | 2.02%| unknown
2187.41/2192.85 c 2193s| 20600 | 1284 | 11917k| 364.2 | 517M | 46 |1429 |4287 |3047 | 15k| 0 | 20k|7268 | 1.017416e+03 | 1.038000e+03 | 2.02%| unknown
2196.39/2201.87 c 2202s| 20700 | 1300 | 11965k| 364.5 | 517M | 46 |1429 |4269 |3048 | 15k| 0 | 20k|7308 | 1.017445e+03 | 1.038000e+03 | 2.02%| unknown
2209.46/2214.95 c 2215s| 20800 | 1326 | 12052k| 366.1 | 517M | 46 |1429 |4236 |3055 | 15k| 0 | 20k|7311 | 1.017479e+03 | 1.038000e+03 | 2.02%| unknown
2220.23/2225.72 c 2226s| 20900 | 1346 | 12112k| 366.8 | 517M | 46 |1429 |4328 |3056 | 16k| 0 | 20k|7348 | 1.017521e+03 | 1.038000e+03 | 2.01%| unknown
2228.31/2233.88 c 2234s| 21000 | 1362 | 12165k| 367.3 | 517M | 46 |1429 |4414 |3057 | 16k| 1 | 20k|7388 | 1.017568e+03 | 1.038000e+03 | 2.01%| unknown
2239.88/2245.43 c 2245s| 21100 | 1366 | 12215k| 367.7 | 517M | 46 |1429 |4778 |3058 | 16k| 1 | 21k|7548 | 1.017575e+03 | 1.038000e+03 | 2.01%| unknown
2251.56/2257.11 c 2257s| 21200 | 1384 | 12274k| 368.3 | 517M | 46 |1429 |4838 |3060 | 16k| 2 | 21k|7590 | 1.017580e+03 | 1.038000e+03 | 2.01%| unknown
2259.74/2265.34 c 2265s| 21300 | 1392 | 12314k| 368.4 | 517M | 46 |1429 |4874 |3061 | 16k| 0 | 21k|7626 | 1.017592e+03 | 1.038000e+03 | 2.01%| unknown
2272.01/2277.61 c 2278s| 21400 | 1420 | 12380k| 369.3 | 518M | 46 |1429 |4824 |3062 | 17k| 1 | 21k|7638 | 1.017667e+03 | 1.038000e+03 | 2.00%| unknown
2282.78/2288.40 c 2288s| 21500 | 1428 | 12452k| 370.3 | 518M | 46 |1429 |4803 |3065 | 17k| 1 | 21k|7654 | 1.017693e+03 | 1.038000e+03 | 2.00%| unknown
2286.97/2292.61 c 2293s| 21600 | 1436 | 12488k| 370.3 | 515M | 46 |1429 |4752 |3058 | 17k| 1 | 21k|7663 | 1.017698e+03 | 1.038000e+03 | 1.99%| unknown
2290.37/2296.08 c 2296s| 21700 | 1436 | 12514k| 370.0 | 515M | 46 |1429 |4858 |3063 | 17k| 0 | 22k|7697 | 1.017698e+03 | 1.038000e+03 | 1.99%| unknown
2297.94/2303.65 c 2304s| 21800 | 1436 | 12540k| 369.7 | 515M | 46 |1429 |5138 |3063 | 17k| 0 | 22k|7846 | 1.017698e+03 | 1.038000e+03 | 1.99%| unknown
2304.93/2310.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2304.93/2310.62 c 2311s| 21900 | 1442 | 12571k| 369.5 | 515M | 46 |1429 |5143 |3065 | 17k| 0 | 22k|7902 | 1.017703e+03 | 1.038000e+03 | 1.99%| unknown
2314.60/2320.39 c 2320s| 22000 | 1458 | 12622k| 369.9 | 516M | 46 |1429 |5187 |3070 | 17k| 1 | 22k|7969 | 1.017714e+03 | 1.038000e+03 | 1.99%| unknown
2320.59/2326.33 c 2326s| 22100 | 1460 | 12656k| 369.8 | 516M | 46 |1429 |5176 |3077 | 17k| 0 | 22k|7986 | 1.017748e+03 | 1.038000e+03 | 1.99%| unknown
2324.88/2330.63 c 2331s| 22200 | 1466 | 12688k| 369.7 | 516M | 46 |1429 |5246 |3072 | 17k| 2 | 22k|8029 | 1.017758e+03 | 1.038000e+03 | 1.99%| unknown
2335.36/2341.19 c 2341s| 22300 | 1478 | 12736k| 370.0 | 516M | 46 |1429 |5130 |3071 | 18k| 0 | 23k|8039 | 1.017806e+03 | 1.038000e+03 | 1.98%| unknown
2346.83/2352.61 c 2353s| 22400 | 1496 | 12792k| 370.5 | 516M | 46 |1429 |4858 |3061 | 18k| 0 | 23k|8046 | 1.017869e+03 | 1.038000e+03 | 1.98%| unknown
2352.22/2358.10 c 2358s| 22500 | 1500 | 12825k| 370.4 | 516M | 46 |1429 |4649 |3075 | 18k| 1 | 23k|8047 | 1.017871e+03 | 1.038000e+03 | 1.98%| unknown
2358.90/2364.75 c 2365s| 22600 | 1510 | 12868k| 370.6 | 515M | 46 |1429 |4463 |3071 | 18k| 0 | 23k|8067 | 1.017880e+03 | 1.038000e+03 | 1.98%| unknown
2361.89/2367.72 c 2368s| 22700 | 1508 | 12896k| 370.3 | 515M | 46 |1429 |4459 |3073 | 18k| 3 | 23k|8082 | 1.017880e+03 | 1.038000e+03 | 1.98%| unknown
2365.08/2370.91 c 2371s| 22800 | 1506 | 12924k| 370.1 | 515M | 46 |1429 |4470 |3063 | 19k| 1 | 23k|8090 | 1.017880e+03 | 1.038000e+03 | 1.98%| unknown
2368.47/2374.39 c 2374s| 22900 | 1510 | 12957k| 370.0 | 514M | 46 |1429 |4421 |3074 | 19k| 0 | 23k|8096 | 1.017901e+03 | 1.038000e+03 | 1.97%| unknown
2375.76/2381.60 c 2382s| 23000 | 1516 | 12998k| 370.1 | 514M | 46 |1429 |4466 |3063 | 19k| 0 | 23k|8133 | 1.017907e+03 | 1.038000e+03 | 1.97%| unknown
2385.73/2391.64 c 2392s| 23100 | 1528 | 13071k| 371.1 | 514M | 46 |1429 |4413 |3078 | 19k| 1 | 23k|8138 | 1.017919e+03 | 1.038000e+03 | 1.97%| unknown
2390.13/2396.05 c 2396s| 23200 | 1526 | 13097k| 370.8 | 514M | 46 |1429 |4426 |3063 | 19k| 1 | 23k|8170 | 1.017919e+03 | 1.038000e+03 | 1.97%| unknown
2398.80/2404.71 c 2405s| 23300 | 1540 | 13153k| 371.3 | 514M | 46 |1429 |4305 |3052 | 19k| 0 | 23k|8176 | 1.017954e+03 | 1.038000e+03 | 1.97%| unknown
2405.58/2411.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2405.58/2411.55 c 2412s| 23400 | 1564 | 13199k| 371.6 | 514M | 46 |1429 |4242 |3051 | 19k| 1 | 23k|8176 | 1.017966e+03 | 1.038000e+03 | 1.97%| unknown
2414.46/2420.41 c 2420s| 23500 | 1580 | 13243k| 371.8 | 514M | 46 |1429 |4296 |3052 | 19k| 2 | 23k|8197 | 1.017987e+03 | 1.038000e+03 | 1.97%| unknown
2421.85/2427.81 c 2428s| 23600 | 1590 | 13284k| 371.9 | 514M | 46 |1429 |4317 |3058 | 20k| 0 | 23k|8200 | 1.018007e+03 | 1.038000e+03 | 1.96%| unknown
2424.94/2430.90 c 2431s| 23700 | 1586 | 13312k| 371.6 | 514M | 46 |1429 |4330 |3051 | 20k| 0 | 23k|8203 | 1.018007e+03 | 1.038000e+03 | 1.96%| unknown
2431.13/2437.19 c 2437s| 23800 | 1608 | 13355k| 371.8 | 514M | 46 |1429 |4331 |3057 | 20k| 2 | 23k|8203 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2433.72/2439.74 c 2440s| 23900 | 1608 | 13376k| 371.3 | 514M | 46 |1429 |4361 |3057 | 20k| 1 | 23k|8206 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2436.02/2442.00 c 2442s| 24000 | 1610 | 13400k| 370.9 | 514M | 46 |1429 |4361 |3058 | 20k| 1 | 23k|8206 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2439.40/2445.41 c 2445s| 24100 | 1606 | 13426k| 370.6 | 514M | 46 |1429 |4378 |3056 | 20k| 1 | 23k|8213 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2444.59/2450.64 c 2451s| 24200 | 1612 | 13461k| 370.6 | 514M | 46 |1429 |4384 |3058 | 20k| 1 | 23k|8215 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2446.89/2452.97 c 2453s| 24300 | 1608 | 13484k| 370.2 | 514M | 46 |1429 |4393 |3061 | 20k| 0 | 23k|8216 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2452.17/2458.21 c 2458s| 24400 | 1602 | 13518k| 370.1 | 514M | 46 |1429 |4401 |3051 | 20k| 1 | 23k|8218 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2454.77/2460.84 c 2461s| 24500 | 1600 | 13545k| 369.9 | 514M | 46 |1429 |4397 |3052 | 20k| 0 | 23k|8218 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2457.46/2463.53 c 2464s| 24600 | 1604 | 13572k| 369.6 | 514M | 46 |1429 |4406 |3059 | 20k| 1 | 23k|8219 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2460.15/2466.23 c 2466s| 24700 | 1602 | 13599k| 369.3 | 512M | 46 |1429 |4414 |3051 | 20k| 1 | 23k|8222 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2465.44/2471.58 c 2472s| 24800 | 1608 | 13639k| 369.4 | 512M | 46 |1429 |4390 |3055 | 20k| 1 | 23k|8224 | 1.018025e+03 | 1.038000e+03 | 1.96%| unknown
2472.72/2478.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2472.72/2478.80 c 2479s| 24900 | 1628 | 13688k| 369.7 | 512M | 46 |1429 |4408 |3058 | 20k| 0 | 23k|8227 | 1.018041e+03 | 1.038000e+03 | 1.96%| unknown
2480.30/2486.42 c 2486s| 25000 | 1640 | 13756k| 370.6 | 512M | 46 |1429 |4424 |3063 | 20k| 0 | 23k|8232 | 1.018057e+03 | 1.038000e+03 | 1.96%| unknown
2487.39/2493.53 c 2494s| 25100 | 1654 | 13802k| 370.8 | 512M | 46 |1429 |4434 |3060 | 21k| 1 | 24k|8255 | 1.018085e+03 | 1.038000e+03 | 1.96%| unknown
2489.58/2495.71 c 2496s| 25200 | 1650 | 13824k| 370.4 | 512M | 46 |1429 |4434 |3059 | 21k| 1 | 24k|8255 | 1.018085e+03 | 1.038000e+03 | 1.96%| unknown
2493.88/2500.06 c 2500s| 25300 | 1666 | 13865k| 370.5 | 512M | 46 |1429 |4434 |3059 | 21k| 0 | 24k|8255 | 1.018089e+03 | 1.038000e+03 | 1.96%| unknown
2499.56/2505.78 c 2506s| 25400 | 1678 | 13902k| 370.5 | 512M | 46 |1429 |4420 |3060 | 21k| 1 | 24k|8255 | 1.018107e+03 | 1.038000e+03 | 1.95%| unknown
2502.05/2508.23 c 2508s| 25500 | 1682 | 13926k| 370.2 | 512M | 46 |1429 |4416 |3061 | 21k| 1 | 24k|8255 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2504.35/2510.57 c 2511s| 25600 | 1688 | 13951k| 369.8 | 512M | 46 |1429 |4415 |3062 | 21k| 0 | 24k|8255 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2507.44/2513.64 c 2514s| 25700 | 1690 | 13975k| 369.5 | 512M | 46 |1429 |4413 |3063 | 21k| 1 | 24k|8256 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2511.53/2517.73 c 2518s| 25800 | 1684 | 13996k| 369.1 | 512M | 46 |1429 |4492 |3060 | 21k| 0 | 24k|8286 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2513.52/2519.73 c 2520s| 25900 | 1682 | 14017k| 368.6 | 512M | 46 |1429 |4501 |3061 | 21k| 1 | 24k|8287 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2518.82/2525.03 c 2525s| 26000 | 1700 | 14063k| 368.9 | 512M | 46 |1429 |4458 |3066 | 21k| 0 | 24k|8296 | 1.018121e+03 | 1.038000e+03 | 1.95%| unknown
2521.50/2527.72 c 2528s| 26100 | 1702 | 14091k| 368.7 | 512M | 46 |1429 |4473 |3060 | 21k| 1 | 24k|8298 | 1.018121e+03 | 1.038000e+03 | 1.95%| unknown
2528.09/2534.37 c 2534s| 26200 | 1726 | 14139k| 368.9 | 515M | 46 |1429 |4454 |3065 | 21k| 1 | 24k|8298 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2530.28/2536.51 c 2536s| 26300 | 1722 | 14161k| 368.6 | 515M | 46 |1429 |4450 |3064 | 21k| 0 | 24k|8298 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2532.58/2538.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2532.58/2538.80 c 2539s| 26400 | 1724 | 14184k| 368.2 | 515M | 46 |1429 |4450 |3066 | 21k| 0 | 24k|8298 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2536.97/2543.20 c 2543s| 26500 | 1732 | 14214k| 368.0 | 515M | 46 |1429 |4417 |3065 | 21k| 1 | 24k|8299 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2541.06/2547.30 c 2547s| 26600 | 1736 | 14246k| 367.9 | 515M | 46 |1429 |4432 |3067 | 21k| 0 | 24k|8299 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2548.44/2554.77 c 2555s| 26700 | 1740 | 14302k| 368.4 | 515M | 46 |1429 |4413 |3064 | 21k| 1 | 24k|8300 | 1.018140e+03 | 1.038000e+03 | 1.95%| unknown
2550.74/2557.03 c 2557s| 26800 | 1742 | 14323k| 368.0 | 515M | 46 |1429 |4413 |3069 | 21k| 1 | 24k|8300 | 1.018140e+03 | 1.038000e+03 | 1.95%| unknown
2556.32/2562.69 c 2563s| 26900 | 1744 | 14356k| 367.9 | 515M | 46 |1429 |4393 |3064 | 21k| 0 | 24k|8300 | 1.018144e+03 | 1.038000e+03 | 1.95%| unknown
2562.21/2568.51 c 2568s| 27000 | 1764 | 14402k| 368.1 | 515M | 46 |1429 |4308 |3068 | 21k| 0 | 24k|8300 | 1.018172e+03 | 1.038000e+03 | 1.95%| unknown
2570.59/2576.90 c 2577s| 27100 | 1780 | 14451k| 368.4 | 515M | 46 |1429 |4250 |3070 | 22k| 0 | 24k|8300 | 1.018175e+03 | 1.038000e+03 | 1.95%| unknown
2576.47/2582.81 c 2583s| 27200 | 1790 | 14486k| 368.4 | 515M | 46 |1429 |4258 |3071 | 22k| 0 | 24k|8306 | 1.018178e+03 | 1.038000e+03 | 1.95%| unknown
2585.25/2591.60 c 2592s| 27300 | 1800 | 14525k| 368.4 | 515M | 47 |1429 |4268 |3070 | 22k| 1 | 24k|8318 | 1.018188e+03 | 1.038000e+03 | 1.95%| unknown
2587.84/2594.26 c 2594s| 27400 | 1800 | 14545k| 368.0 | 516M | 47 |1429 |4268 |3072 | 22k| 1 | 24k|8318 | 1.018188e+03 | 1.038000e+03 | 1.95%| unknown
2593.73/2600.17 c 2600s| 27500 | 1804 | 14580k| 368.0 | 521M | 47 |1429 |4242 |3084 | 22k| 1 | 24k|8319 | 1.018190e+03 | 1.038000e+03 | 1.95%| unknown
2602.51/2608.91 c 2609s| 27600 | 1820 | 14633k| 368.4 | 520M | 47 |1429 |4187 |3079 | 22k| 0 | 24k|8320 | 1.018217e+03 | 1.038000e+03 | 1.94%| unknown
2609.19/2615.64 c 2616s| 27700 | 1830 | 14670k| 368.4 | 520M | 47 |1429 |4157 |3083 | 22k| 0 | 24k|8320 | 1.018233e+03 | 1.038000e+03 | 1.94%| unknown
2616.28/2622.70 c 2623s| 27800 | 1832 | 14728k| 368.9 | 520M | 47 |1429 |4135 |3077 | 22k| 0 | 24k|8321 | 1.018245e+03 | 1.038000e+03 | 1.94%| unknown
2622.06/2628.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2622.06/2628.52 c 2629s| 27900 | 1836 | 14771k| 369.1 | 520M | 47 |1429 |4112 |3080 | 22k| 1 | 24k|8321 | 1.018245e+03 | 1.038000e+03 | 1.94%| unknown
2627.55/2634.05 c 2634s| 28000 | 1842 | 14806k| 369.0 | 520M | 47 |1429 |4085 |3072 | 23k| 1 | 24k|8321 | 1.018259e+03 | 1.038000e+03 | 1.94%| unknown
2630.14/2636.69 c 2637s| 28100 | 1842 | 14831k| 368.7 | 517M | 47 |1429 |4085 |3084 | 23k| 0 | 24k|8321 | 1.018259e+03 | 1.038000e+03 | 1.94%| unknown
2644.01/2650.57 c 2651s| 28200 | 1868 | 14900k| 369.5 | 517M | 47 |1429 |4027 |3088 | 23k| 0 | 24k|8321 | 1.018272e+03 | 1.038000e+03 | 1.94%| unknown
2652.29/2658.83 c 2659s| 28300 | 1878 | 14949k| 369.8 | 517M | 47 |1429 |3984 |3071 | 23k| 0 | 24k|8321 | 1.018283e+03 | 1.038000e+03 | 1.94%| unknown
2659.17/2665.77 c 2666s| 28400 | 1890 | 14996k| 370.1 | 517M | 47 |1429 |3978 |3054 | 23k| 0 | 24k|8321 | 1.018295e+03 | 1.038000e+03 | 1.94%| unknown
2665.67/2672.22 c 2672s| 28500 | 1906 | 15050k| 370.5 | 517M | 47 |1429 |3974 |3064 | 24k| 1 | 24k|8321 | 1.018308e+03 | 1.038000e+03 | 1.93%| unknown
2671.35/2677.90 c 2678s| 28600 | 1916 | 15089k| 370.5 | 517M | 47 |1429 |3982 |3077 | 24k| 1 | 24k|8321 | 1.018328e+03 | 1.038000e+03 | 1.93%| unknown
2673.95/2680.56 c 2681s| 28700 | 1914 | 15115k| 370.3 | 517M | 47 |1429 |3982 |3066 | 24k| 0 | 24k|8322 | 1.018328e+03 | 1.038000e+03 | 1.93%| unknown
2677.44/2684.04 c 2684s| 28800 | 1922 | 15150k| 370.2 | 517M | 47 |1429 |3987 |3068 | 24k| 1 | 24k|8322 | 1.018332e+03 | 1.038000e+03 | 1.93%| unknown
2687.21/2693.88 c 2694s| 28900 | 1934 | 15225k| 371.1 | 517M | 47 |1429 |3983 |3076 | 24k| 0 | 24k|8322 | 1.018365e+03 | 1.038000e+03 | 1.93%| unknown
2692.20/2698.88 c 2699s| 29000 | 1952 | 15274k| 371.4 | 517M | 47 |1429 |4001 |3074 | 24k| 1 | 24k|8322 | 1.018371e+03 | 1.038000e+03 | 1.93%| unknown
2698.28/2704.90 c 2705s| 29100 | 1962 | 15319k| 371.6 | 517M | 47 |1429 |4003 |3079 | 24k| 0 | 24k|8323 | 1.018376e+03 | 1.038000e+03 | 1.93%| unknown
2705.36/2712.08 c 2712s| 29200 | 1984 | 15373k| 372.0 | 517M | 47 |1429 |4041 |3080 | 24k| 0 | 24k|8325 | 1.018390e+03 | 1.038000e+03 | 1.93%| unknown
2709.54/2716.23 c 2716s| 29300 | 1990 | 15402k| 371.8 | 517M | 47 |1429 |4043 |3080 | 24k| 1 | 24k|8325 | 1.018390e+03 | 1.038000e+03 | 1.93%| unknown
2716.22/2722.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2716.22/2722.94 c 2723s| 29400 | 1998 | 15442k| 371.9 | 517M | 47 |1429 |4036 |3084 | 24k| 0 | 24k|8331 | 1.018395e+03 | 1.038000e+03 | 1.93%| unknown
2722.31/2729.05 c 2729s| 29500 | 2006 | 15484k| 372.0 | 517M | 47 |1429 |4059 |3081 | 25k| 0 | 24k|8336 | 1.018397e+03 | 1.038000e+03 | 1.92%| unknown
2725.40/2732.15 c 2732s| 29600 | 2004 | 15514k| 371.8 | 517M | 47 |1429 |4120 |3084 | 25k| 0 | 24k|8348 | 1.018397e+03 | 1.038000e+03 | 1.92%| unknown
2730.58/2737.36 c 2737s| 29700 | 2018 | 15558k| 372.0 | 517M | 47 |1429 |4139 |3081 | 25k| 0 | 24k|8360 | 1.018443e+03 | 1.038000e+03 | 1.92%| unknown
2734.86/2741.62 c 2742s| 29800 | 2026 | 15590k| 371.9 | 517M | 47 |1429 |4252 |3081 | 25k| 1 | 25k|8392 | 1.018450e+03 | 1.038000e+03 | 1.92%| unknown
2745.83/2752.64 c 2753s| 29900 | 2034 | 15637k| 372.1 | 518M | 47 |1429 |4426 |3089 | 25k| 0 | 25k|8433 | 1.018461e+03 | 1.038000e+03 | 1.92%| unknown
2758.29/2765.14 c 2765s| 30000 | 2042 | 15682k| 372.3 | 524M | 47 |1429 |4653 |3085 | 25k| 1 | 25k|8522 | 1.018468e+03 | 1.038000e+03 | 1.92%| unknown
2764.07/2770.96 c 2771s| 30100 | 2052 | 15722k| 372.4 | 525M | 47 |1429 |4648 |3087 | 25k| 1 | 25k|8522 | 1.018473e+03 | 1.038000e+03 | 1.92%| unknown
2773.54/2780.43 c 2780s| 30200 | 2054 | 15785k| 373.0 | 526M | 47 |1429 |4665 |3076 | 25k| 1 | 25k|8531 | 1.018474e+03 | 1.038000e+03 | 1.92%| unknown
2782.81/2789.72 c 2790s| 30300 | 2068 | 15840k| 373.4 | 526M | 47 |1429 |4618 |3089 | 25k| 2 | 25k|8532 | 1.018483e+03 | 1.038000e+03 | 1.92%| unknown
2787.00/2793.99 c 2794s| 30400 | 2068 | 15873k| 373.3 | 524M | 47 |1429 |4537 |3079 | 26k| 0 | 25k|8534 | 1.018483e+03 | 1.038000e+03 | 1.92%| unknown
2790.59/2797.52 c 2798s| 30500 | 2074 | 15908k| 373.2 | 522M | 47 |1429 |4486 |3082 | 26k| 2 | 25k|8537 | 1.018483e+03 | 1.038000e+03 | 1.92%| unknown
2794.78/2801.74 c 2802s| 30600 | 2082 | 15946k| 373.2 | 519M | 47 |1429 |4427 |3085 | 26k| 0 | 25k|8538 | 1.018487e+03 | 1.038000e+03 | 1.92%| unknown
2803.35/2810.34 c 2810s| 30700 | 2098 | 15999k| 373.6 | 518M | 47 |1429 |4324 |3088 | 26k| 0 | 25k|8541 | 1.018517e+03 | 1.038000e+03 | 1.91%| unknown
2809.04/2816.06 c 2816s| 30800 | 2108 | 16038k| 373.6 | 518M | 47 |1429 |4298 |3091 | 26k| 0 | 25k|8545 | 1.018543e+03 | 1.038000e+03 | 1.91%| unknown
2813.22/2820.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2813.22/2820.27 c 2820s| 30900 | 2120 | 16077k| 373.7 | 518M | 47 |1429 |4283 |3091 | 26k| 1 | 25k|8548 | 1.018570e+03 | 1.038000e+03 | 1.91%| unknown
2820.20/2827.21 c 2827s| 31000 | 2124 | 16117k| 373.8 | 518M | 47 |1429 |4473 |3097 | 26k| 1 | 26k|8577 | 1.018571e+03 | 1.038000e+03 | 1.91%| unknown
2827.37/2834.46 c 2834s| 31100 | 2126 | 16154k| 373.8 | 519M | 47 |1429 |4626 |3092 | 26k| 1 | 26k|8609 | 1.018571e+03 | 1.038000e+03 | 1.91%| unknown
2833.35/2840.42 c 2840s| 31200 | 2138 | 16205k| 374.1 | 521M | 47 |1429 |4687 |3092 | 26k| 0 | 26k|8621 | 1.018574e+03 | 1.038000e+03 | 1.91%| unknown
2838.74/2845.84 c 2846s| 31300 | 2156 | 16253k| 374.3 | 521M | 47 |1429 |4666 |3093 | 27k| 0 | 26k|8623 | 1.018590e+03 | 1.038000e+03 | 1.91%| unknown
2845.42/2852.54 c 2853s| 31400 | 2166 | 16298k| 374.5 | 523M | 47 |1429 |4724 |3101 | 27k| 0 | 26k|8637 | 1.018595e+03 | 1.038000e+03 | 1.91%| unknown
2856.38/2863.56 c 2864s| 31500 | 2180 | 16365k| 375.1 | 523M | 47 |1429 |4889 |3101 | 27k| 1 | 26k|8697 | 1.018595e+03 | 1.038000e+03 | 1.91%| unknown
2868.95/2876.17 c 2876s| 31600 | 2194 | 16422k| 375.6 | 523M | 47 |1429 |4942 |3103 | 27k| 0 | 26k|8722 | 1.018600e+03 | 1.038000e+03 | 1.90%| unknown
2879.61/2886.83 c 2887s| 31700 | 2212 | 16480k| 376.1 | 535M | 47 |1429 |4930 |3103 | 27k| 2 | 27k|8753 | 1.018611e+03 | 1.038000e+03 | 1.90%| unknown
2891.87/2899.11 c 2899s| 31800 | 2208 | 16518k| 376.1 | 584M | 47 |1429 |5152 |3105 | 27k| 0 | 27k|8840 | 1.018611e+03 | 1.038000e+03 | 1.90%| unknown
2901.23/2908.58 c 2909s| 31900 | 2220 | 16558k| 376.1 | 585M | 50 |1429 |5232 |3106 | 28k| 1 | 27k|8897 | 1.018618e+03 | 1.038000e+03 | 1.90%| unknown
2913.19/2920.53 c 2921s| 32000 | 2236 | 16613k| 376.5 | 588M | 50 |1429 |5091 |3112 | 28k| 0 | 27k|8929 | 1.018631e+03 | 1.038000e+03 | 1.90%| unknown
2920.98/2928.30 c 2928s| 32100 | 2248 | 16657k| 376.7 | 594M | 50 |1429 |4990 |3108 | 28k| 0 | 27k|8938 | 1.018639e+03 | 1.038000e+03 | 1.90%| unknown
2927.66/2935.03 c 2935s| 32200 | 2250 | 16695k| 376.7 | 594M | 50 |1429 |4953 |3101 | 28k| 0 | 27k|8974 | 1.018640e+03 | 1.038000e+03 | 1.90%| unknown
2930.85/2938.27 c 2938s| 32300 | 2248 | 16724k| 376.5 | 594M | 50 |1429 |4969 |3100 | 28k| 0 | 28k|8983 | 1.018640e+03 | 1.038000e+03 | 1.90%| unknown
2937.52/2944.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2937.52/2944.96 c 2945s| 32400 | 2254 | 16764k| 376.5 | 587M | 50 |1429 |4951 |3107 | 28k| 1 | 28k|8998 | 1.018647e+03 | 1.038000e+03 | 1.90%| unknown
2945.70/2953.16 c 2953s| 32500 | 2264 | 16810k| 376.7 | 587M | 50 |1429 |4860 |3111 | 28k| 0 | 28k|9005 | 1.018667e+03 | 1.038000e+03 | 1.90%| unknown
2949.98/2957.47 c 2957s| 32600 | 2262 | 16848k| 376.7 | 587M | 50 |1429 |4813 |3119 | 28k| 0 | 28k|9009 | 1.018667e+03 | 1.038000e+03 | 1.90%| unknown
2954.27/2961.72 c 2962s| 32700 | 2264 | 16885k| 376.7 | 586M | 50 |1429 |4867 |3114 | 29k| 1 | 28k|9025 | 1.018667e+03 | 1.038000e+03 | 1.90%| unknown
2958.96/2966.49 c 2966s| 32800 | 2266 | 16924k| 376.7 | 586M | 50 |1429 |4772 |3091 | 29k| 1 | 28k|9034 | 1.018676e+03 | 1.038000e+03 | 1.90%| unknown
2962.65/2970.18 c 2970s| 32900 | 2268 | 16959k| 376.7 | 585M | 50 |1429 |4699 |3110 | 29k| 1 | 28k|9034 | 1.018676e+03 | 1.038000e+03 | 1.90%| unknown
2975.11/2982.61 c 2983s| 33000 | 2278 | 17040k| 377.6 | 579M | 50 |1429 |4520 |3110 | 29k| 1 | 28k|9035 | 1.018689e+03 | 1.038000e+03 | 1.90%| unknown
2981.69/2989.27 c 2989s| 33100 | 2286 | 17087k| 377.9 | 576M | 50 |1429 |4379 |3102 | 29k| 1 | 28k|9040 | 1.018693e+03 | 1.038000e+03 | 1.90%| unknown
2985.58/2993.12 c 2993s| 33200 | 2290 | 17125k| 377.8 | 571M | 50 |1429 |4287 |3113 | 29k| 0 | 28k|9042 | 1.018694e+03 | 1.038000e+03 | 1.90%| unknown
2993.15/3000.74 c 3001s| 33300 | 2306 | 17179k| 378.2 | 574M | 50 |1429 |4102 |3054 | 29k| 1 | 28k|9042 | 1.018709e+03 | 1.038000e+03 | 1.89%| unknown
2997.93/3005.55 c 3006s| 33400 | 2322 | 17225k| 378.4 | 574M | 50 |1429 |4100 |3068 | 30k| 1 | 28k|9042 | 1.018720e+03 | 1.038000e+03 | 1.89%| unknown
3004.31/3011.93 c 3012s| 33500 | 2334 | 17268k| 378.5 | 567M | 50 |1429 |4092 |3072 | 30k| 1 | 28k|9045 | 1.018736e+03 | 1.038000e+03 | 1.89%| unknown
3007.80/3015.47 c 3015s| 33600 | 2340 | 17303k| 378.4 | 567M | 50 |1429 |4125 |3073 | 30k| 0 | 28k|9048 | 1.018736e+03 | 1.038000e+03 | 1.89%| unknown
3013.09/3020.71 c 3021s| 33700 | 2358 | 17350k| 378.6 | 567M | 50 |1429 |4161 |3071 | 30k| 0 | 28k|9058 | 1.018761e+03 | 1.038000e+03 | 1.89%| unknown
3022.26/3029.96 c 3030s| 33800 | 2374 | 17403k| 379.0 | 559M | 50 |1429 |4187 |3085 | 30k| 1 | 28k|9062 | 1.018771e+03 | 1.038000e+03 | 1.89%| unknown
3024.75/3032.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3024.75/3032.44 c 3032s| 33900 | 2372 | 17426k| 378.7 | 559M | 50 |1429 |4223 |3090 | 30k| 1 | 28k|9068 | 1.018771e+03 | 1.038000e+03 | 1.89%| unknown
3032.13/3039.85 c 3040s| 34000 | 2380 | 17467k| 378.7 | 559M | 50 |1429 |4327 |3091 | 30k| 1 | 28k|9099 | 1.018773e+03 | 1.038000e+03 | 1.89%| unknown
3035.71/3043.41 c 3043s| 34100 | 2376 | 17495k| 378.5 | 559M | 50 |1429 |4407 |3081 | 30k| 1 | 28k|9112 | 1.018773e+03 | 1.038000e+03 | 1.89%| unknown
3039.10/3046.87 c 3047s| 34200 | 2376 | 17528k| 378.4 | 559M | 50 |1429 |4406 |3068 | 30k| 0 | 29k|9112 | 1.018777e+03 | 1.038000e+03 | 1.89%| unknown
3048.67/3056.47 c 3056s| 34300 | 2400 | 17585k| 378.8 | 559M | 50 |1429 |4392 |3079 | 31k| 1 | 29k|9113 | 1.018803e+03 | 1.038000e+03 | 1.88%| unknown
3057.15/3064.91 c 3065s| 34400 | 2408 | 17633k| 379.0 | 559M | 50 |1429 |4386 |3070 | 31k| 1 | 29k|9114 | 1.018810e+03 | 1.038000e+03 | 1.88%| unknown
3060.04/3067.89 c 3068s| 34500 | 2402 | 17662k| 378.8 | 559M | 50 |1429 |4398 |3072 | 31k| 0 | 29k|9118 | 1.018810e+03 | 1.038000e+03 | 1.88%| unknown
3068.41/3076.20 c 3076s| 34600 | 2410 | 17723k| 379.3 | 559M | 50 |1429 |4358 |3078 | 31k| 1 | 29k|9118 | 1.018813e+03 | 1.038000e+03 | 1.88%| unknown
3071.80/3079.69 c 3080s| 34700 | 2410 | 17759k| 379.3 | 559M | 50 |1429 |4343 |3065 | 31k| 0 | 29k|9118 | 1.018813e+03 | 1.038000e+03 | 1.88%| unknown
3077.59/3085.40 c 3085s| 34800 | 2416 | 17797k| 379.3 | 559M | 50 |1429 |4305 |3054 | 31k| 1 | 29k|9118 | 1.018815e+03 | 1.038000e+03 | 1.88%| unknown
3081.87/3089.73 c 3090s| 34900 | 2422 | 17837k| 379.3 | 559M | 50 |1429 |4275 |3069 | 31k| 1 | 29k|9118 | 1.018822e+03 | 1.038000e+03 | 1.88%| unknown
3089.05/3096.93 c 3097s| 35000 | 2438 | 17886k| 379.6 | 559M | 50 |1429 |4216 |3078 | 32k| 1 | 29k|9119 | 1.018865e+03 | 1.038000e+03 | 1.88%| unknown
3095.03/3102.97 c 3103s| 35100 | 2448 | 17927k| 379.6 | 559M | 50 |1429 |4264 |3085 | 32k| 0 | 29k|9132 | 1.018871e+03 | 1.038000e+03 | 1.88%| unknown
3098.13/3106.07 c 3106s| 35200 | 2450 | 17954k| 379.4 | 559M | 50 |1429 |4235 |3035 | 32k| 0 | 29k|9132 | 1.018871e+03 | 1.038000e+03 | 1.88%| unknown
3100.61/3108.55 c 3109s| 35300 | 2450 | 17979k| 379.1 | 559M | 50 |1429 |4244 |3037 | 32k| 0 | 29k|9132 | 1.018871e+03 | 1.038000e+03 | 1.88%| unknown
3103.90/3111.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3103.90/3111.83 c 3112s| 35400 | 2456 | 18010k| 379.0 | 559M | 50 |1429 |4258 |3038 | 32k| 1 | 29k|9136 | 1.018872e+03 | 1.038000e+03 | 1.88%| unknown
3108.10/3116.04 c 3116s| 35500 | 2470 | 18049k| 379.0 | 559M | 50 |1429 |4246 |3034 | 32k| 0 | 29k|9137 | 1.018877e+03 | 1.038000e+03 | 1.88%| unknown
3110.28/3118.29 c 3118s| 35600 | 2470 | 18070k| 378.7 | 559M | 50 |1429 |4246 |3036 | 32k| 1 | 29k|9137 | 1.018877e+03 | 1.038000e+03 | 1.88%| unknown
3116.66/3124.62 c 3125s| 35700 | 2484 | 18111k| 378.7 | 559M | 50 |1429 |4222 |3037 | 32k| 1 | 29k|9146 | 1.018888e+03 | 1.038000e+03 | 1.88%| unknown
3123.64/3131.68 c 3132s| 35800 | 2496 | 18150k| 378.7 | 559M | 50 |1429 |4193 |3036 | 32k| 1 | 29k|9149 | 1.018899e+03 | 1.038000e+03 | 1.87%| unknown
3127.33/3135.34 c 3135s| 35900 | 2502 | 18184k| 378.7 | 559M | 50 |1429 |4234 |3042 | 32k| 0 | 29k|9154 | 1.018903e+03 | 1.038000e+03 | 1.87%| unknown
3132.41/3140.47 c 3140s| 36000 | 2510 | 18216k| 378.6 | 559M | 50 |1429 |4246 |3050 | 33k| 0 | 29k|9158 | 1.018905e+03 | 1.038000e+03 | 1.87%| unknown
3136.60/3144.65 c 3145s| 36100 | 2512 | 18244k| 378.3 | 559M | 50 |1429 |4255 |3052 | 33k| 0 | 29k|9161 | 1.018905e+03 | 1.038000e+03 | 1.87%| unknown
3140.49/3148.52 c 3148s| 36200 | 2518 | 18274k| 378.2 | 559M | 50 |1429 |4236 |3025 | 33k| 1 | 29k|9165 | 1.018907e+03 | 1.038000e+03 | 1.87%| unknown
3143.68/3151.79 c 3152s| 36300 | 2522 | 18306k| 378.1 | 559M | 50 |1429 |4260 |3035 | 33k| 0 | 29k|9169 | 1.018907e+03 | 1.038000e+03 | 1.87%| unknown
3147.57/3155.62 c 3156s| 36400 | 2524 | 18340k| 378.0 | 559M | 50 |1429 |4344 |3038 | 33k| 0 | 29k|9184 | 1.018909e+03 | 1.038000e+03 | 1.87%| unknown
3157.74/3165.89 c 3166s| 36500 | 2542 | 18412k| 378.7 | 559M | 50 |1429 |4243 |3037 | 33k| 1 | 29k|9188 | 1.018910e+03 | 1.038000e+03 | 1.87%| unknown
3161.72/3169.85 c 3170s| 36600 | 2554 | 18449k| 378.7 | 559M | 50 |1429 |4238 |3037 | 33k| 1 | 29k|9189 | 1.018914e+03 | 1.038000e+03 | 1.87%| unknown
3164.51/3172.64 c 3173s| 36700 | 2560 | 18478k| 378.5 | 559M | 50 |1429 |4253 |3034 | 33k| 0 | 29k|9192 | 1.018914e+03 | 1.038000e+03 | 1.87%| unknown
3170.20/3178.30 c 3178s| 36800 | 2578 | 18522k| 378.6 | 559M | 50 |1429 |4313 |3035 | 33k| 1 | 29k|9214 | 1.018938e+03 | 1.038000e+03 | 1.87%| unknown
3175.78/3183.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3175.78/3183.97 c 3184s| 36900 | 2580 | 18558k| 378.6 | 559M | 50 |1429 |4462 |3035 | 33k| 0 | 30k|9260 | 1.018938e+03 | 1.038000e+03 | 1.87%| unknown
3178.97/3187.14 c 3187s| 37000 | 2576 | 18586k| 378.4 | 559M | 50 |1429 |4654 |3039 | 33k| 2 | 30k|9295 | 1.018938e+03 | 1.038000e+03 | 1.87%| unknown
3187.04/3195.24 c 3195s| 37100 | 2584 | 18634k| 378.6 | 560M | 50 |1429 |4686 |3037 | 34k| 0 | 30k|9307 | 1.018941e+03 | 1.038000e+03 | 1.87%| unknown
3193.83/3202.01 c 3202s| 37200 | 2596 | 18681k| 378.8 | 560M | 50 |1429 |4755 |3035 | 34k| 0 | 30k|9329 | 1.018942e+03 | 1.038000e+03 | 1.87%| unknown
3199.91/3208.12 c 3208s| 37300 | 2614 | 18734k| 379.1 | 560M | 50 |1429 |4735 |3037 | 34k| 0 | 30k|9349 | 1.018956e+03 | 1.038000e+03 | 1.87%| unknown
3203.09/3211.38 c 3211s| 37400 | 2614 | 18763k| 378.9 | 561M | 50 |1429 |4792 |3040 | 34k| 1 | 30k|9372 | 1.018956e+03 | 1.038000e+03 | 1.87%| unknown
3210.77/3219.02 c 3219s| 37500 | 2622 | 18806k| 379.0 | 561M | 50 |1429 |4786 |3034 | 34k| 0 | 30k|9386 | 1.018960e+03 | 1.038000e+03 | 1.87%| unknown
3216.45/3224.74 c 3225s| 37600 | 2638 | 18848k| 379.1 | 561M | 50 |1429 |4616 |3037 | 34k| 1 | 30k|9387 | 1.018986e+03 | 1.038000e+03 | 1.87%| unknown
3222.33/3230.65 c 3231s| 37700 | 2654 | 18890k| 379.2 | 561M | 50 |1429 |4524 |3038 | 34k| 0 | 31k|9392 | 1.018992e+03 | 1.038000e+03 | 1.87%| unknown
3231.51/3239.81 c 3240s| 37800 | 2662 | 18952k| 379.6 | 561M | 50 |1429 |4495 |3040 | 35k| 1 | 31k|9398 | 1.018993e+03 | 1.038000e+03 | 1.87%| unknown
3236.49/3244.81 c 3245s| 37900 | 2680 | 19000k| 379.8 | 561M | 50 |1429 |4419 |3040 | 35k| 0 | 31k|9409 | 1.019009e+03 | 1.038000e+03 | 1.86%| unknown
3243.37/3251.79 c 3252s| 38000 | 2698 | 19048k| 380.0 | 561M | 50 |1429 |4534 |3044 | 35k| 2 | 31k|9456 | 1.019017e+03 | 1.038000e+03 | 1.86%| unknown
3245.77/3254.18 c 3254s| 38100 | 2694 | 19071k| 379.7 | 561M | 50 |1429 |4557 |3031 | 35k| 1 | 31k|9463 | 1.019017e+03 | 1.038000e+03 | 1.86%| unknown
3250.35/3258.77 c 3259s| 38200 | 2708 | 19114k| 379.8 | 561M | 50 |1429 |4526 |3038 | 35k| 0 | 31k|9470 | 1.019038e+03 | 1.038000e+03 | 1.86%| unknown
3258.22/3266.69 c 3267s| 38300 | 2736 | 19168k| 380.2 | 561M | 50 |1429 |4440 |3043 | 35k| 1 | 31k|9489 | 1.019050e+03 | 1.038000e+03 | 1.86%| unknown
3266.20/3274.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3266.20/3274.62 c 3275s| 38400 | 2746 | 19211k| 380.2 | 561M | 50 |1429 |4450 |3048 | 35k| 0 | 31k|9511 | 1.019068e+03 | 1.038000e+03 | 1.86%| unknown
3269.59/3278.03 c 3278s| 38500 | 2752 | 19243k| 380.1 | 561M | 50 |1429 |4432 |3049 | 35k| 2 | 31k|9521 | 1.019075e+03 | 1.038000e+03 | 1.86%| unknown
3272.28/3280.76 c 3281s| 38600 | 2754 | 19269k| 379.9 | 561M | 50 |1429 |4524 |3050 | 35k| 0 | 31k|9540 | 1.019075e+03 | 1.038000e+03 | 1.86%| unknown
3278.66/3287.15 c 3287s| 38700 | 2772 | 19313k| 380.0 | 561M | 50 |1429 |4542 |3051 | 35k| 1 | 31k|9551 | 1.019083e+03 | 1.038000e+03 | 1.86%| unknown
3289.53/3298.06 c 3298s| 38800 | 2792 | 19392k| 380.8 | 561M | 50 |1429 |4565 |3050 | 36k| 1 | 32k|9572 | 1.019101e+03 | 1.038000e+03 | 1.85%| unknown
3294.71/3303.28 c 3303s| 38900 | 2806 | 19430k| 380.8 | 561M | 50 |1429 |4571 |3053 | 36k| 1 | 32k|9584 | 1.019114e+03 | 1.038000e+03 | 1.85%| unknown
3297.60/3306.15 c 3306s| 39000 | 2806 | 19455k| 380.6 | 561M | 50 |1429 |4619 |3054 | 36k| 0 | 32k|9593 | 1.019114e+03 | 1.038000e+03 | 1.85%| unknown
3307.07/3315.65 c 3316s| 39100 | 2824 | 19505k| 380.8 | 561M | 50 |1429 |4622 |3052 | 36k| 0 | 32k|9614 | 1.019117e+03 | 1.038000e+03 | 1.85%| unknown
3309.16/3317.73 c 3318s| 39200 | 2824 | 19527k| 380.5 | 561M | 50 |1429 |4634 |3056 | 36k| 0 | 32k|9617 | 1.019117e+03 | 1.038000e+03 | 1.85%| unknown
3312.75/3321.35 c 3321s| 39300 | 2824 | 19552k| 380.2 | 561M | 50 |1429 |4664 |3058 | 36k| 2 | 32k|9640 | 1.019117e+03 | 1.038000e+03 | 1.85%| unknown
3321.43/3330.02 c 3330s| 39400 | 2844 | 19603k| 380.5 | 561M | 50 |1429 |4556 |3048 | 36k| 1 | 32k|9645 | 1.019128e+03 | 1.038000e+03 | 1.85%| unknown
3329.20/3337.83 c 3338s| 39500 | 2864 | 19651k| 380.7 | 561M | 50 |1429 |4397 |3052 | 36k| 2 | 32k|9648 | 1.019164e+03 | 1.038000e+03 | 1.85%| unknown
3331.59/3340.28 c 3340s| 39600 | 2856 | 19674k| 380.4 | 561M | 50 |1429 |4402 |3051 | 36k| 1 | 32k|9656 | 1.019164e+03 | 1.038000e+03 | 1.85%| unknown
3335.28/3343.97 c 3344s| 39700 | 2866 | 19708k| 380.3 | 561M | 50 |1429 |4268 |3052 | 36k| 1 | 32k|9657 | 1.019166e+03 | 1.038000e+03 | 1.85%| unknown
3344.75/3353.49 c 3353s| 39800 | 2890 | 19772k| 380.8 | 561M | 50 |1429 |4025 |3050 | 37k| 1 | 32k|9660 | 1.019181e+03 | 1.038000e+03 | 1.85%| unknown
3351.63/3360.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3351.63/3360.34 c 3360s| 39900 | 2900 | 19829k| 381.2 | 561M | 50 |1429 |3921 |3043 | 37k| 1 | 32k|9662 | 1.019184e+03 | 1.038000e+03 | 1.85%| unknown
3355.52/3364.23 c 3364s| 40000 | 2912 | 19867k| 381.2 | 561M | 50 |1429 |3881 |3046 | 37k| 0 | 32k|9663 | 1.019191e+03 | 1.038000e+03 | 1.85%| unknown
3358.91/3367.60 c 3368s| 40100 | 2922 | 19900k| 381.1 | 561M | 50 |1429 |3842 |3057 | 37k| 1 | 32k|9663 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3364.09/3372.81 c 3373s| 40200 | 2930 | 19936k| 381.0 | 561M | 50 |1429 |3843 |3055 | 37k| 0 | 32k|9669 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3366.88/3375.61 c 3376s| 40300 | 2926 | 19959k| 380.8 | 561M | 50 |1429 |3904 |3048 | 37k| 0 | 32k|9687 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3369.28/3378.08 c 3378s| 40400 | 2926 | 19984k| 380.5 | 561M | 50 |1429 |3923 |3052 | 37k| 1 | 32k|9689 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3376.55/3385.33 c 3385s| 40500 | 2934 | 20029k| 380.6 | 561M | 50 |1429 |3893 |3046 | 37k| 1 | 32k|9692 | 1.019197e+03 | 1.038000e+03 | 1.84%| unknown
3381.04/3389.85 c 3390s| 40600 | 2944 | 20070k| 380.7 | 561M | 50 |1429 |3882 |3043 | 37k| 0 | 32k|9694 | 1.019207e+03 | 1.038000e+03 | 1.84%| unknown
3384.43/3393.29 c 3393s| 40700 | 2954 | 20102k| 380.6 | 561M | 50 |1429 |3866 |3050 | 37k| 0 | 32k|9694 | 1.019210e+03 | 1.038000e+03 | 1.84%| unknown
3386.72/3395.58 c 3396s| 40800 | 2950 | 20123k| 380.3 | 561M | 50 |1429 |3897 |3034 | 37k| 1 | 32k|9698 | 1.019210e+03 | 1.038000e+03 | 1.84%| unknown
3391.00/3399.84 c 3400s| 40900 | 2968 | 20165k| 380.3 | 561M | 50 |1429 |3906 |3049 | 38k| 1 | 32k|9698 | 1.019228e+03 | 1.038000e+03 | 1.84%| unknown
3394.10/3402.92 c 3403s| 41000 | 2976 | 20194k| 380.2 | 561M | 50 |1429 |3905 |3057 | 38k| 1 | 32k|9702 | 1.019230e+03 | 1.038000e+03 | 1.84%| unknown
3397.39/3406.25 c 3406s| 41100 | 2984 | 20227k| 380.0 | 561M | 50 |1429 |3916 |3057 | 38k| 2 | 32k|9704 | 1.019249e+03 | 1.038000e+03 | 1.84%| unknown
3401.57/3410.42 c 3410s| 41200 | 2996 | 20262k| 380.0 | 561M | 50 |1429 |3951 |3051 | 38k| 0 | 33k|9722 | 1.019256e+03 | 1.038000e+03 | 1.84%| unknown
3409.45/3418.31 c 3418s| 41300 | 3008 | 20308k| 380.2 | 561M | 50 |1429 |3958 |3052 | 38k| 0 | 33k|9728 | 1.019267e+03 | 1.038000e+03 | 1.84%| unknown
3412.94/3421.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3412.94/3421.84 c 3422s| 41400 | 3018 | 20342k| 380.1 | 561M | 50 |1429 |3960 |3052 | 38k| 1 | 33k|9729 | 1.019269e+03 | 1.038000e+03 | 1.84%| unknown
3420.12/3429.04 c 3429s| 41500 | 3028 | 20406k| 380.6 | 561M | 50 |1429 |3998 |3046 | 38k| 1 | 33k|9736 | 1.019278e+03 | 1.038000e+03 | 1.84%| unknown
3428.89/3437.82 c 3438s| 41600 | 3046 | 20459k| 380.8 | 561M | 50 |1429 |3979 |3056 | 38k| 0 | 33k|9740 | 1.019302e+03 | 1.038000e+03 | 1.83%| unknown
3431.48/3440.48 c 3440s| 41700 | 3052 | 20485k| 380.6 | 561M | 50 |1429 |4039 |3056 | 38k| 0 | 33k|9753 | 1.019302e+03 | 1.038000e+03 | 1.83%| unknown
3435.17/3444.19 c 3444s| 41800 | 3068 | 20520k| 380.5 | 561M | 50 |1429 |4036 |3056 | 38k| 2 | 33k|9756 | 1.019312e+03 | 1.038000e+03 | 1.83%| unknown
3439.06/3448.00 c 3448s| 41900 | 3082 | 20556k| 380.5 | 561M | 50 |1429 |4022 |3058 | 39k| 1 | 33k|9758 | 1.019315e+03 | 1.038000e+03 | 1.83%| unknown
3445.44/3454.44 c 3454s| 42000 | 3084 | 20590k| 380.4 | 561M | 50 |1429 |4114 |3060 | 39k| 3 | 33k|9793 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3448.13/3457.19 c 3457s| 42100 | 3082 | 20618k| 380.3 | 561M | 50 |1429 |4179 |3061 | 39k| 1 | 33k|9801 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3450.92/3459.95 c 3460s| 42200 | 3082 | 20646k| 380.1 | 561M | 50 |1429 |4216 |3057 | 39k| 0 | 33k|9807 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3455.11/3464.13 c 3464s| 42300 | 3088 | 20680k| 380.0 | 561M | 50 |1429 |4231 |3053 | 39k| 0 | 33k|9812 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3459.69/3468.76 c 3469s| 42400 | 3098 | 20715k| 379.9 | 561M | 50 |1429 |4238 |3053 | 39k| 0 | 33k|9814 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3463.28/3472.35 c 3472s| 42500 | 3098 | 20745k| 379.8 | 561M | 50 |1429 |4214 |3049 | 39k| 0 | 33k|9816 | 1.019321e+03 | 1.038000e+03 | 1.83%| unknown
3468.46/3477.56 c 3478s| 42600 | 3102 | 20782k| 379.8 | 561M | 50 |1429 |4199 |3053 | 39k| 1 | 33k|9821 | 1.019323e+03 | 1.038000e+03 | 1.83%| unknown
3474.24/3483.34 c 3483s| 42700 | 3118 | 20830k| 380.0 | 561M | 50 |1429 |4078 |3054 | 39k| 1 | 33k|9821 | 1.019333e+03 | 1.038000e+03 | 1.83%| unknown
3479.13/3488.26 c 3488s| 42800 | 3124 | 20865k| 379.9 | 561M | 50 |1429 |4053 |3056 | 39k| 1 | 33k|9822 | 1.019345e+03 | 1.038000e+03 | 1.83%| unknown
3482.42/3491.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3482.42/3491.59 c 3492s| 42900 | 3132 | 20897k| 379.8 | 561M | 50 |1429 |4030 |3060 | 39k| 1 | 33k|9822 | 1.019351e+03 | 1.038000e+03 | 1.83%| unknown
3487.60/3496.71 c 3497s| 43000 | 3136 | 20936k| 379.8 | 561M | 50 |1429 |4059 |3063 | 39k| 0 | 33k|9839 | 1.019362e+03 | 1.038000e+03 | 1.83%| unknown
3495.58/3504.73 c 3505s| 43100 | 3144 | 20994k| 380.2 | 561M | 50 |1429 |4003 |3051 | 39k| 0 | 33k|9840 | 1.019374e+03 | 1.038000e+03 | 1.83%| unknown
3499.17/3508.30 c 3508s| 43200 | 3148 | 21030k| 380.1 | 561M | 50 |1429 |3974 |3050 | 39k| 1 | 33k|9840 | 1.019386e+03 | 1.038000e+03 | 1.83%| unknown
3503.75/3512.92 c 3513s| 43300 | 3154 | 21071k| 380.2 | 561M | 50 |1429 |3925 |3056 | 39k| 0 | 33k|9840 | 1.019393e+03 | 1.038000e+03 | 1.83%| unknown
3509.94/3519.15 c 3519s| 43400 | 3166 | 21114k| 380.3 | 561M | 50 |1429 |3870 |3055 | 40k| 1 | 33k|9843 | 1.019398e+03 | 1.038000e+03 | 1.82%| unknown
3515.32/3524.50 c 3524s| 43500 | 3178 | 21161k| 380.5 | 562M | 50 |1429 |3920 |3025 | 40k| 1 | 34k|9869 | 1.019417e+03 | 1.038000e+03 | 1.82%| unknown
3518.61/3527.82 c 3528s| 43600 | 3178 | 21192k| 380.3 | 562M | 50 |1429 |3937 |3032 | 40k| 0 | 34k|9874 | 1.019417e+03 | 1.038000e+03 | 1.82%| unknown
3526.08/3535.30 c 3535s| 43700 | 3204 | 21254k| 380.7 | 562M | 50 |1429 |3941 |3053 | 40k| 1 | 34k|9880 | 1.019459e+03 | 1.038000e+03 | 1.82%| unknown
3530.77/3540.04 c 3540s| 43800 | 3212 | 21291k| 380.7 | 562M | 50 |1429 |3948 |3043 | 40k| 0 | 34k|9887 | 1.019470e+03 | 1.038000e+03 | 1.82%| unknown
3534.86/3544.15 c 3544s| 43900 | 3224 | 21327k| 380.7 | 562M | 50 |1429 |3983 |3050 | 40k| 0 | 34k|9902 | 1.019474e+03 | 1.038000e+03 | 1.82%| unknown
3542.33/3551.67 c 3552s| 44000 | 3234 | 21368k| 380.7 | 562M | 50 |1429 |3991 |3051 | 40k| 1 | 34k|9921 | 1.019483e+03 | 1.038000e+03 | 1.82%| unknown
3546.82/3556.13 c 3556s| 44100 | 3236 | 21399k| 380.6 | 562M | 50 |1429 |4027 |3051 | 40k| 1 | 34k|9929 | 1.019489e+03 | 1.038000e+03 | 1.82%| unknown
3550.81/3560.14 c 3560s| 44200 | 3252 | 21438k| 380.6 | 562M | 50 |1429 |4026 |3051 | 40k| 0 | 34k|9933 | 1.019489e+03 | 1.038000e+03 | 1.82%| unknown
3555.49/3564.89 c 3565s| 44300 | 3262 | 21474k| 380.6 | 562M | 50 |1429 |4112 |3056 | 40k| 1 | 34k|9961 | 1.019494e+03 | 1.038000e+03 | 1.82%| unknown
3565.46/3574.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3565.46/3574.88 c 3575s| 44400 | 3276 | 21548k| 381.2 | 562M | 50 |1429 |4182 |3051 | 40k| 0 | 34k|9979 | 1.019509e+03 | 1.038000e+03 | 1.81%| unknown
3570.04/3579.41 c 3579s| 44500 | 3288 | 21592k| 381.3 | 562M | 50 |1429 |4193 |3057 | 41k| 0 | 34k|9981 | 1.019524e+03 | 1.038000e+03 | 1.81%| unknown
3577.32/3586.70 c 3587s| 44600 | 3312 | 21644k| 381.6 | 562M | 50 |1429 |4170 |3053 | 41k| 1 | 34k|9986 | 1.019534e+03 | 1.038000e+03 | 1.81%| unknown
3580.31/3589.70 c 3590s| 44700 | 3314 | 21673k| 381.4 | 562M | 50 |1429 |4163 |3053 | 41k| 0 | 34k|9989 | 1.019540e+03 | 1.038000e+03 | 1.81%| unknown
3585.30/3594.73 c 3595s| 44800 | 3336 | 21720k| 381.6 | 562M | 50 |1429 |4144 |3054 | 41k| 1 | 34k|9995 | 1.019546e+03 | 1.038000e+03 | 1.81%| unknown
3587.59/3597.02 c
3587.59/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.59/3597.02 c Solving Time (sec) : 3597.00
3587.59/3597.02 c Solving Nodes : 44871 (total of 56939 nodes in 2 runs)
3587.59/3597.02 c Primal Bound : +1.03800000000000e+03 (575 solutions)
3587.59/3597.02 c Dual Bound : +1.01955780668391e+03
3587.59/3597.02 c Gap : 1.81 %
3587.59/3597.02 s SATISFIABLE
3587.59/3597.02 v -x1968 x1967 x1966 x1965 x1964 x1963 x1962 -x1961 -x1960 x1959 -x1958 x1957 -x1956 -x1955 x1954 -x1953 x1952 x1951 -x1950 -x1949
3587.59/3597.02 v -x1948 -x1947 -x1946 -x1945 x1944 -x1943 x1942 -x1941 x1940 x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 -x1931 x1930
3587.59/3597.02 v -x1929 -x1928 x1927 x1926 x1925 x1924 -x1923 x1922 x1921 x1920 -x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 x1911 -x1910
3587.59/3597.02 v -x1909 -x1908 -x1907 x1906 x1905 x1904 -x1903 -x1902 x1901 -x1900 -x1899 x1898 x1897 x1896 x1895 x1894 -x1893 x1892 x1891
3587.59/3597.02 v -x1890 x1889 -x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 -x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872
3587.59/3597.02 v x1871 -x1870 x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 x1857 -x1856 -x1855 x1854 -x1853 -x1852
3587.59/3597.02 v -x1851 x1850 x1849 x1848 x1847 x1846 x1845 x1844 -x1843 -x1842 x1841 x1840 x1839 -x1838 x1837 -x1836 -x1835 x1834 x1833 x1832
3587.59/3597.02 v x1831 -x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 x1816 -x1815 -x1814 -x1813
3587.59/3597.02 v -x1812 x1811 x1810 -x1809 x1808 -x1807 x1806 x1805 -x1804 x1803 -x1802 x1801 -x1800 x1799 x1798 -x1797 -x1796 -x1795 x1794
3587.59/3597.02 v -x1793 x1792 x1791 x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775 x1774
3587.59/3597.02 v -x1773 x1772 x1771 -x1770 -x1769 -x1768 x1767 x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 -x1759 -x1758 -x1757 -x1756 x1755
3587.59/3597.02 v -x1754 -x1753 x1752 x1751 x1750 -x1749 x1748 -x1747 x1746 x1745 x1744 -x1743 x1742 -x1741 x1740 -x1739 -x1738 x1737 -x1736
3587.59/3597.02 v -x1735 -x1734 -x1733 -x1732 x1731 -x1730 x1729 -x1728 x1727 x1726 -x1725 x1724 x1723 x1722 -x1721 x1720 x1719 -x1718 -x1717
3587.59/3597.02 v x1716 x1715 -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 -x1698 -x1697
3587.59/3597.02 v x1696 -x1695 x1694 x1693 x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 x1683 -x1682 x1681 x1680 -x1679 x1678 x1677
3587.59/3597.02 v -x1676 x1675 -x1674 x1673 -x1672 x1671 x1670 x1669 x1668 x1667 -x1666 -x1665 x1664 x1663 x1662 x1661 x1660 -x1659 x1658 x1657
3587.59/3597.02 v -x1656 x1655 -x1654 x1653 x1652 -x1651 x1650 -x1649 x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 -x1639 -x1638
3587.59/3597.02 v x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 x1628 -x1627 -x1626 x1625 x1624 -x1623 x1622 x1621 -x1620 -x1619
3587.59/3597.02 v x1618 -x1617 -x1616 x1615 x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 -x1603 x1602 x1601 x1600
3587.59/3597.02 v x1599 x1598 x1597 x1596 x1595 -x1594 -x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 -x1585 x1584 x1583 x1582 -x1581 x1580
3587.59/3597.02 v -x1579 -x1578 -x1577 -x1576 -x1575 x1574 x1573 x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 x1565 x1564 x1563 x1562 -x1561
3587.59/3597.02 v x1560 x1559 -x1558 -x1557 x1556 x1555 x1554 -x1553 x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 x1543 x1542
3587.59/3597.02 v x1541 -x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 x1532 x1531 -x1530 x1529 x1528 -x1527 x1526 x1525 -x1524 x1523 x1522 x1521
3587.59/3597.02 v -x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 x1508 x1507 -x1506 -x1505 x1504 x1503 x1502
3587.59/3597.02 v x1501 x1500 -x1499 x1498 x1497 -x1496 -x1495 x1494 -x1493 -x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484 x1483
3587.59/3597.02 v x1482 x1481 -x1480 -x1479 -x1478 x1477 -x1476 -x1475 x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464
3587.59/3597.02 v -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445
3587.59/3597.02 v -x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 x1432 -x1431 -x1430 -x1429 x1428 -x1427 x1426
3587.59/3597.02 v -x1425 -x1424 -x1423 x1422 x1421 -x1420 x1419 -x1418 -x1417 x1416 -x1415 -x1414 x1413 -x1412 x1411 x1410 -x1409 -x1408 x1407
3587.59/3597.02 v x1406 x1405 x1404 x1403 x1402 x1401 -x1400 x1399 -x1398 x1397 x1396 x1395 -x1394 x1393 x1392 x1391 -x1390 x1389 -x1388 -x1387
3587.59/3597.02 v -x1386 x1385 -x1384 -x1383 x1382 -x1381 -x1380 x1379 -x1378 x1377 -x1376 -x1375 -x1374 x1373 x1372 -x1371 x1370 -x1369 -x1368
3587.59/3597.02 v x1367 x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 x1358 -x1357 x1356 x1355 -x1354 x1353 x1352 x1351 x1350 -x1349
3587.59/3597.02 v x1348 -x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 -x1340 x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 x1331 x1330
3587.59/3597.02 v -x1329 -x1328 x1327 -x1326 x1325 x1324 x1323 x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 x1315 x1314 x1313 -x1312 -x1311
3587.59/3597.02 v -x1310 -x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 x1301 -x1300 x1299 x1298 -x1297 -x1296 -x1295 x1294 x1293 -x1292 -x1291
3587.59/3597.02 v -x1290 -x1289 -x1288 -x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273 x1272
3587.59/3597.02 v -x1271 -x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 x1260 x1259 -x1258 -x1257 x1256 x1255 x1254 x1253
3587.59/3597.02 v -x1252 x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 x1244 x1243 x1242 -x1241 x1240 -x1239 x1238 -x1237 x1236 x1235 x1234
3587.59/3597.02 v x1233 -x1232 x1231 x1230 x1229 x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215
3587.59/3597.02 v -x1214 -x1213 -x1212 x1211 -x1210 x1209 x1208 x1207 x1206 x1205 -x1204 -x1203 x1202 x1201 x1200 -x1199 x1198 x1197 x1196 x1195
3587.59/3597.02 v x1194 -x1193 x1192 -x1191 x1190 x1189 x1188 -x1187 x1186 x1185 -x1184 x1183 x1182 x1181 -x1180 x1179 x1178 -x1177 x1176 -x1175
3587.59/3597.02 v -x1174 x1173 x1172 -x1171 -x1170 x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 x1158 x1157 -x1156
3587.59/3597.02 v -x1155 -x1154 x1153 x1152 -x1151 x1150 -x1149 -x1148 -x1147 x1146 x1145 -x1144 -x1143 -x1142 x1141 -x1140 x1139 x1138 x1137
3587.59/3597.02 v -x1136 -x1135 -x1134 x1133 x1132 x1131 -x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 -x1120 -x1119 -x1118
3587.59/3597.02 v -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 x1109 x1108 -x1107 -x1106 x1105 x1104 x1103 x1102 x1101 x1100 x1099 x1098
3587.59/3597.02 v -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 x1083 x1082 x1081 -x1080
3587.59/3597.02 v -x1079 x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 -x1065 -x1064 -x1063 x1062 x1061 x1060
3587.59/3597.02 v x1059 x1058 -x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 x1042 x1041 x1040
3587.59/3597.02 v x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 x1024 x1023 -x1022 x1021
3587.59/3597.02 v -x1020 x1019 -x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003
3587.59/3597.02 v x1002 -x1001 -x1000 -x999 x998 -x997 x996 -x995 -x994 x993 x992 -x991 x990 x989 x988 -x987 -x986 x985 x984 -x983 -x982 x981 -x980
3587.59/3597.02 v x979 -x978 x977 x976 x975 x974 -x973 x972 -x971 x970 x969 x968 x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3587.59/3597.02 v -x957 -x956 -x955 -x954 -x953 x952 -x951 x950 x949 -x948 x947 -x946 x945 -x944 -x943 x942 x941 -x940 -x939 -x938 x937 x936 -x935
3587.59/3597.02 v x934 -x933 x932 x931 -x930 x929 -x928 -x927 x926 x925 x924 x923 -x922 -x921 x920 -x919 -x918 -x917 x916 -x915 -x914 x913
3587.59/3597.02 v x912 -x911 x910 x909 x908 x907 x906 -x905 -x904 x903 -x902 x901 x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 x890
3587.59/3597.02 v x889 x888 -x887 -x886 -x885 x884 x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 x872 x871 -x870 x869 x868 -x867
3587.59/3597.02 v -x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 x857 x856 -x855 -x854 x853 -x852 x851 x850 x849 -x848 -x847 x846 -x845
3587.59/3597.02 v -x844 -x843 -x842 -x841 -x840 x839 x838 -x837 x836 x835 x834 -x833 -x832 x831 x830 x829 -x828 x827 x826 -x825 x824 x823 -x822
3587.59/3597.02 v -x821 x820 x819 x818 x817 -x816 x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 x807 -x806 x805 x804 -x803 x802 x801 -x800 x799
3587.59/3597.02 v x798 -x797 -x796 -x795 x794 x793 -x792 -x791 -x790 x789 x788 x787 -x786 x785 -x784 x783 x782 -x781 -x780 x779 x778 -x777 -x776
3587.59/3597.02 v x775 x774 x773 x772 x771 -x770 x769 x768 x767 x766 x765 -x764 -x763 x762 -x761 -x760 x759 -x758 x757 -x756 -x755 x754 -x753
3587.59/3597.02 v -x752 -x751 -x750 x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 x740 x739 x738 x737 x736 -x735 -x734 -x733 x732 x731
3587.59/3597.02 v x730 -x729 x728 -x727 x726 x725 x724 x723 -x722 -x721 x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 x710 x709 x708
3587.59/3597.02 v -x707 x706 x705 -x704 x703 x702 x701 -x700 x699 -x698 x697 x696 x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686
3587.59/3597.02 v -x685 x684 -x683 x682 -x681 x680 x679 x678 x677 -x676 x675 -x674 -x673 x672 x671 -x670 -x669 -x668 -x667 x666 -x665 x664 -x663
3587.59/3597.02 v x662 -x661 -x660 -x659 -x658 x657 x656 x655 x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 x642 x641
3587.59/3597.02 v x640 x639 x638 x637 -x636 -x635 -x634 -x633 x632 x631 -x630 -x629 x628 -x627 x626 x625 x624 -x623 x622 x621 x620 -x619 x618 -x617
3587.59/3597.02 v x616 -x615 -x614 x613 -x612 -x611 x610 -x609 x608 x607 -x606 -x605 -x604 x603 -x602 x601 -x600 -x599 x598 x597 -x596 x595
3587.59/3597.02 v -x594 x593 x592 x591 x590 x589 -x588 -x587 x586 x585 x584 x583 x582 x581 x580 x579 -x578 x577 x576 x575 x574 -x573 -x572 x571
3587.59/3597.02 v x570 x569 x568 x567 x566 -x565 x564 x563 x562 -x561 -x560 x559 x558 x557 x556 x555 x554 -x553 x552 -x551 -x550 -x549 x548
3587.59/3597.02 v x547 x546 x545 x544 -x543 x542 x541 x540 -x539 x538 -x537 x536 -x535 -x534 x533 -x532 x531 x530 -x529 -x528 x527 -x526 -x525
3587.59/3597.02 v x524 x523 x522 x521 x520 x519 -x518 x517 x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 x508 -x507 x506 x505 -x504 x503 x502 -x501
3587.59/3597.02 v x500 x499 -x498 -x497 x496 x495 x494 x493 x492 x491 -x490 -x489 x488 -x487 x486 -x485 x484 x483 x482 x481 x480 -x479 x478
3587.59/3597.02 v -x477 x476 x475 x474 x473 -x472 -x471 -x470 x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 -x460 x459 x458 -x457 -x456 -x455
3587.59/3597.02 v -x454 -x453 -x452 -x451 x450 x449 x448 -x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 -x437 x436 -x435 x434 x433 -x432
3587.59/3597.02 v -x431 x430 x429 x428 -x427 -x426 x425 -x424 -x423 x422 -x421 x420 x419 -x418 x417 -x416 x415 x414 -x413 x412 -x411 x410 x409
3587.59/3597.02 v -x408 x407 x406 -x405 -x404 x403 x402 x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 x389 x388 x387 -x386
3587.59/3597.02 v x385 x384 x383 x382 -x381 -x380 -x379 -x378 x377 -x376 x375 x374 x373 -x372 -x371 -x370 -x369 x368 x367 x366 x365 x364 x363
3587.59/3597.02 v -x362 -x361 x360 -x359 x358 -x357 -x356 x355 -x354 x353 x352 -x351 x350 x349 -x348 -x347 -x346 x345 -x344 x343 -x342 x341
3587.59/3597.02 v -x340 x339 -x338 x337 -x336 -x335 x334 x333 x332 x331 x330 x329 -x328 x327 x326 -x325 x324 x323 x322 x321 x320 -x319 x318 -x317
3587.59/3597.02 v -x316 -x315 x314 -x313 -x312 -x311 x310 x309 x308 -x307 x306 x305 x304 x303 x302 x301 -x300 x299 -x298 x297 x296 -x295 -x294
3587.59/3597.02 v x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 x284 -x283 -x282 -x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 -x271
3587.59/3597.02 v -x270 x269 -x268 -x267 x266 x265 -x264 -x263 x262 x261 -x260 x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249
3587.59/3597.02 v x248 x247 x246 -x245 -x244 x243 -x242 x241 -x240 -x239 -x238 -x237 x236 x235 x234 -x233 -x232 x231 x230 -x229 x228 -x227 -x226
3587.59/3597.02 v -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 x216 -x215 -x214 -x213 x212 x211 -x210 x209 x208 -x207 -x206 -x205 x204
3587.59/3597.02 v x203 x202 x201 -x200 -x199 -x198 x197 x196 x195 x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 x184 -x183 -x182
3587.59/3597.02 v -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 -x167 -x166 x165 x164 -x163 x162 -x161 x160 -x159
3587.59/3597.02 v x158 x157 x156 -x155 x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 x138 x137
3587.59/3597.02 v x136 -x135 x134 -x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 x114
3587.59/3597.02 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 -x89
3587.59/3597.02 v 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 x63 -x62 -x61
3587.59/3597.02 v x60 x59 -x58 -x57 x56 x55 x54 x53 x52 x51 -x50 x49 x48 x47 -x46 x45 x44 x43 x42 -x41 x40 x39 -x38 x37 x36 x35 x34 x33 x32
3587.59/3597.02 v -x31 x30 x29 -x28 x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 x4 x3 x2
3587.59/3597.02 v x1
3587.59/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.59/3597.02 c Total Time : 3597.00
3587.59/3597.02 c solving : 3597.00
3587.59/3597.02 c presolving : 0.91 (included in solving)
3587.59/3597.02 c reading : 0.01 (included in solving)
3587.59/3597.02 c copying : 0.23 (19 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3587.59/3597.02 c Original Problem :
3587.59/3597.02 c Problem name : HOME/instance-4488964-1751348876.opb
3587.59/3597.02 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.59/3597.02 c Constraints : 4000 initial, 4000 maximal
3587.59/3597.02 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3587.59/3597.02 c Presolved Problem :
3587.59/3597.02 c Problem name : t_HOME/instance-4488964-1751348876.opb
3587.59/3597.02 c Variables : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.59/3597.02 c Constraints : 7993 initial, 10857 maximal
3587.59/3597.02 c Objective : minimize, 1429 non-zeros (abs.min = 1, abs.max = 1)
3587.59/3597.02 c Nonzeros : 260970 constraint, 5487 clique table
3587.59/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.59/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c gateextraction : 0.02 0.00 5 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c trivial : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c dualfix : 0.00 0.00 18 251 0 0 0 0 0 0 0 0
3587.59/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c pseudoobj : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c knapsack : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c setppc : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c linear : 0.03 0.00 24 0 288 0 0 0 1258 0 3970 4166
3587.59/3597.02 c logicor : 0.61 0.15 15 0 0 0 0 0 327 0 0 1593
3587.59/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.59/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.59/3597.02 c benderslp : 0 0 0 0 32712 0 0 3016 0 0 0 0 0 0 0
3587.59/3597.02 c integral : 0 0 0 0 32712 0 0 3016 0 0 4968 0 0 23591 61628
3587.59/3597.02 c knapsack : 259+ 262 6 194298 0 0 0 0 51 23 6 0 0 0 0
3587.59/3597.02 c setppc : 2743 2743 21 254713 6 0 0 3010 284839 21 195461 0 0 0 0
3587.59/3597.02 c linear : 58+ 81 6 218884 0 0 0 2 673 480 1101 0 0 0 0
3587.59/3597.02 c logicor : 4933+ 7774 6 48473 0 0 0 0 2526 157 317 0 0 0 0
3587.59/3597.02 c benders : 0 0 0 0 6 0 0 675 0 0 0 0 0 0 0
3587.59/3597.02 c fixedvar : 0 0 0 0 6 0 0 675 0 0 0 0 0 0 0
3587.59/3597.02 c countsols : 0 0 0 0 6 0 0 675 0 0 0 0 0 0 0
3587.59/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.59/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c integral : 423.93 0.00 0.00 0.00 423.92 0.00 0.00 0.02 0.00 0.00
3587.59/3597.02 c knapsack : 0.29 0.00 0.01 0.25 0.00 0.00 0.00 0.00 0.00 0.03
3587.59/3597.02 c setppc : 1.65 0.00 0.00 1.35 0.00 0.00 0.00 0.06 0.05 0.18
3587.59/3597.02 c linear : 0.39 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.00 0.09
3587.59/3597.02 c logicor : 0.86 0.15 0.00 0.65 0.00 0.00 0.00 0.00 0.01 0.05
3587.59/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.59/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.59/3597.02 c dualfix : 4 0 0 0
3587.59/3597.02 c genvbounds : 0 0 0 0
3587.59/3597.02 c nlobbt : 0 0 0 0
3587.59/3597.02 c obbt : 0 0 0 0
3587.59/3597.02 c probing : 0 0 0 0
3587.59/3597.02 c pseudoobj : 124220 0 0 0
3587.59/3597.02 c redcost : 10436 0 0 1400
3587.59/3597.02 c rootredcost : 12 0 0 0
3587.59/3597.02 c symmetry : 0 0 0 0
3587.59/3597.02 c vbounds : 95705 0 0 0
3587.59/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.59/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.59/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.59/3597.02 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.59/3597.02 c pseudoobj : 0.13 0.00 0.00 0.12 0.00 0.00
3587.59/3597.02 c redcost : 0.25 0.00 0.00 0.25 0.00 0.00
3587.59/3597.02 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.00
3587.59/3597.02 c symmetry : 0.06 0.00 0.00 0.05 0.00 0.01
3587.59/3597.02 c vbounds : 0.07 0.00 0.00 0.06 0.00 0.01
3587.59/3597.02 c Symmetry :
3587.59/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.59/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.59/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.59/3597.02 c shadow tree time : 0.00 s
3587.59/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.59/3597.02 c propagation : 0.01 253 143 - 1471 72.2 0 0.0 - - -
3587.59/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.59/3597.02 c bound exceed. LP : 4.57 6766 6763 - 64326 61.9 0 0.0 6763 88.8 16729
3587.59/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.59/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.59/3597.02 c applied globally : 0.27 - - 0 28024 49.6 - - 6763 - -
3587.59/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.59/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.59/3597.02 c cut pool : 26.95 - 10787 38 - - 96680 326494 - - - - - (maximal pool size: 4104)
3587.59/3597.02 c aggregation : 130.10 0.00 3226 22 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.59/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.59/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.59/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c clique : 0.26 0.00 22 22 0 0 1 1 0 1 1 0 0
3587.59/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c gomory : 664.00 0.00 2994 16 0 0 92905 138333 0 9251 9251 0 0
3587.59/3597.02 c > gomorymi : - - - - - - - 51901 0 536 536 0 -
3587.59/3597.02 c > strongcg : - - - - - - - 86432 0 8715 8715 0 -
3587.59/3597.02 c impliedbounds : 0.53 0.00 3227 22 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c multilinear : 0.00 0.00 278 22 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c rapidlearning : 0.07 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c rlt : 0.01 0.00 813 16 0 0 0 0 0 0 0 0 0
3587.59/3597.02 c zerohalf : 51.03 0.00 2999 22 0 0 3774 188160 0 60101 60101 0 0
3587.59/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.59/3597.02 c hybrid : 1.98 0.00 7208 19 69353 0 257141 140 0 1489
3587.59/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.59/3597.02 c problem variables: 0.00 - 0 0
3587.59/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.59/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c relpscost : 423.89 0.00 32706 0 0 0 4968 0 28318 61628
3587.59/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.59/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.59/3597.02 c LP solutions : 0.00 - - 6 6
3587.59/3597.02 c relax solutions : 0.00 - - 0 0
3587.59/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.59/3597.02 c strong branching : 0.97 - - 116 0
3587.59/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.59/3597.02 c adaptivediving : 21.63 0.00 150 2 1
3587.59/3597.02 c alns : 0.24 0.00 10 1 1
3587.59/3597.02 c bound : 0.00 0.00 0 0 0
3587.59/3597.02 c clique : 0.02 0.00 1 1 1
3587.59/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.59/3597.02 c completesol : 0.00 0.00 0 0 0
3587.59/3597.02 c conflictdiving : 5.41 0.00 76 0 0
3587.59/3597.02 c crossover : 0.18 0.00 6 2 1
3587.59/3597.02 c dins : 0.00 0.00 0 0 0
3587.59/3597.02 c distributiondivin: 12.60 0.00 75 0 0
3587.59/3597.02 c dps : 0.00 0.00 0 0 0
3587.59/3597.02 c dualval : 0.00 0.00 0 0 0
3587.59/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.59/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.59/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.59/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.59/3597.02 c fracdiving : 6.43 0.00 75 0 0
3587.59/3597.02 c gins : 0.01 0.00 0 0 0
3587.59/3597.02 c guideddiving : 10.07 0.00 75 0 0
3587.59/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.59/3597.02 c indicator : 0.01 0.00 0 0 0
3587.59/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.59/3597.02 c indoneopt : 0.01 0.00 0 0 0
3587.59/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.59/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.59/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.59/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.59/3597.02 c linesearchdiving : 14.18 0.00 75 0 0
3587.59/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.59/3597.02 c locks : 0.00 0.00 1 1 1
3587.59/3597.02 c lpface : 0.01 0.00 0 0 0
3587.59/3597.02 c mpec : 0.00 0.00 0 0 0
3587.59/3597.02 c multistart : 0.00 0.00 0 0 0
3587.59/3597.02 c mutation : 0.00 0.00 0 0 0
3587.59/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.59/3597.02 c objpscostdiving : 120.66 0.00 38 103 1
3587.59/3597.02 c octane : 0.00 0.00 0 0 0
3587.59/3597.02 c ofins : 0.01 0.00 0 0 0
3587.59/3597.02 c oneopt : 0.02 0.00 12 3 3
3587.59/3597.02 c padm : 0.00 0.00 0 0 0
3587.59/3597.02 c proximity : 0.00 0.00 0 0 0
3587.59/3597.02 c pscostdiving : 14.79 0.00 75 3 1
3587.59/3597.02 c randrounding : 0.46 0.00 2356 15 0
3587.59/3597.02 c rens : 0.00 0.00 0 0 0
3587.59/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.59/3597.02 c repair : 0.00 0.00 0 0 0
3587.59/3597.02 c rins : 5.25 0.00 4 4 0
3587.59/3597.02 c rootsoldiving : 12.89 0.00 38 17 0
3587.59/3597.02 c rounding : 49.56 0.00 2771 0 0
3587.59/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.59/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.59/3597.02 c shifting : 24.84 0.00 1349 0 0
3587.59/3597.02 c simplerounding : 2.90 0.00 39920 122 0
3587.59/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.59/3597.02 c subnlp : 0.02 0.00 0 0 0
3587.59/3597.02 c trivial : 0.00 0.00 4 2 2
3587.59/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.59/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.59/3597.02 c trysol : 0.01 0.00 0 0 0
3587.59/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.59/3597.02 c undercover : 0.00 0.00 0 0 0
3587.59/3597.02 c vbounds : 0.02 0.00 2 0 0
3587.59/3597.02 c veclendiving : 7.90 0.00 75 0 0
3587.59/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.59/3597.02 c zirounding : 4.23 0.00 8851 177 0
3587.59/3597.02 c other solutions : - - - 0 -
3587.59/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.59/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.59/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.59/3597.02 c primal LP : 3.23 4248 0 0.00 0.00 3.22 4248
3587.59/3597.02 c dual LP : 1949.70 67362 19957466 302.95 10236.19 1.32 1485
3587.59/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.59/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.59/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.59/3597.02 c diving/probing LP: 235.63 7739 1782816 230.37 7566.20
3587.59/3597.02 c strong branching : 380.37 9998 3912745 391.35 10286.65 - - 2940
3587.59/3597.02 c (at root node) : - 61 59081 968.54 -
3587.59/3597.02 c conflict analysis: 1.98 1679 16729 9.96 8457.15
3587.59/3597.02 c B&B Tree :
3587.59/3597.02 c number of runs : 2
3587.59/3597.02 c nodes : 44871 (24101 internal, 20770 leaves)
3587.59/3597.02 c feasible leaves : 0
3587.59/3597.02 c infeas. leaves : 98
3587.59/3597.02 c objective leaves : 20671
3587.59/3597.02 c nodes (total) : 56939 (30814 internal, 26125 leaves)
3587.59/3597.02 c nodes left : 3332
3587.59/3597.02 c max depth : 50
3587.59/3597.02 c max depth (total): 57
3587.59/3597.02 c backtracks : 5943 (13.2%)
3587.59/3597.02 c early backtracks : 0 (0.0%)
3587.59/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.59/3597.02 c delayed cutoffs : 1
3587.59/3597.02 c repropagations : 39 (31 domain reductions, 1 cutoffs)
3587.59/3597.02 c avg switch length: 3.03
3587.59/3597.02 c switching time : 7.51
3587.59/3597.02 c Root Node :
3587.59/3597.02 c First LP value : +9.77500000000000e+02
3587.59/3597.02 c First LP Iters : 1783 (63240.41 Iter/sec)
3587.59/3597.02 c First LP Time : 0.03
3587.59/3597.02 c Final Dual Bound : +1.01364925251205e+03
3587.59/3597.02 c Final Root Iters : 21153
3587.59/3597.02 c Root LP Estimate : +1.25373918846339e+03
3587.59/3597.02 c Solution :
3587.59/3597.02 c Solutions found : 575 (18 improvements)
3587.59/3597.02 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3587.59/3597.02 c Gap First Sol. : infinite
3587.59/3597.02 c Gap Last Sol. : 2.61 %
3587.59/3597.02 c Primal Bound : +1.03800000000000e+03 (in run 1, after 6387 nodes, 642.68 seconds, depth 22, found by <oneopt>)
3587.59/3597.02 c Dual Bound : +1.01955780668391e+03
3587.59/3597.02 c Gap : 1.81 %
3587.59/3597.02 c Integrals : Total Avg%
3587.59/3597.02 c primal-dual : 8304.03 2.31
3587.59/3597.02 c primal-ref : - - (not evaluated)
3587.59/3597.02 c dual-ref : - - (not evaluated)
3587.59/3597.08 c Time complete: 3587.68.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62932 MiB free)
memory of node 1: 64507 MiB (62485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488964-1751348876/watcher-4488964-1751348876 -o /tmp/evaluation-result-4488964-1751348876/solver-4488964-1751348876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53998 --watchdog 3760 pbscip -f HOME/instance-4488964-1751348876.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54050, runsolver pid=54039
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 0.76 2.73 3.57 5/265 54055
/proc/meminfo: memFree=128361688/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=64512 memory=36520 CPUtime=0.08 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 5722 0 0 0 7 1 0 0 20 0 1 0 50565515 66060288 9130 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 16128 9130 3840 3530 0 7579 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64512 KiB
Current children cumulated memory: 36520 KiB
[startup+0.2055 s]*
/proc/loadavg: 0.76 2.73 3.57 5/265 54055
/proc/meminfo: memFree=128354128/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=68076 memory=40360 CPUtime=0.18 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 6611 0 0 0 17 1 0 0 20 0 1 0 50565515 69709824 10090 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 17019 10090 3936 3530 0 8470 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68076 KiB
Current children cumulated memory: 40360 KiB
[startup+0.305465 s]*
/proc/loadavg: 0.76 2.73 3.57 5/265 54055
/proc/meminfo: memFree=128354128/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=69812 memory=41768 CPUtime=0.28 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 6926 0 0 0 27 1 0 0 20 0 1 0 50565515 71487488 10442 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 17453 10442 3968 3530 0 8904 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69812 KiB
Current children cumulated memory: 41768 KiB
[startup+0.700126 s]
/proc/loadavg: 0.76 2.73 3.57 5/265 54055
/proc/meminfo: memFree=128342032/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=72924 memory=44712 CPUtime=0.67 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 7689 0 0 0 66 1 0 0 20 0 1 0 50565515 74674176 11178 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 18231 11178 3968 3530 0 9682 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72924 KiB
Current children cumulated memory: 44712 KiB
[startup+1.50015 s]
/proc/loadavg: 0.76 2.73 3.57 5/265 54055
/proc/meminfo: memFree=128334220/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=88840 memory=59944 CPUtime=1.47 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 11474 0 0 0 145 2 0 0 20 0 1 0 50565515 90972160 14986 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 22210 14986 3968 3530 0 13661 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 88840 KiB
Current children cumulated memory: 59944 KiB
[startup+3.10531 s]
/proc/loadavg: 1.02 2.75 3.58 5/265 54055
/proc/meminfo: memFree=128213800/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=112688 memory=82984 CPUtime=3.07 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 17256 0 0 0 304 3 0 0 20 0 1 0 50565515 115392512 20746 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 28172 20746 3968 3530 0 19623 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 112688 KiB
Current children cumulated memory: 82984 KiB
[startup+6.30011 s]
/proc/loadavg: 1.02 2.75 3.58 5/265 54055
/proc/meminfo: memFree=128061376/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=155948 memory=125060 CPUtime=6.26 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 28027 0 0 0 621 5 0 0 20 0 1 0 50565515 159690752 31265 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 38987 31265 3968 3530 0 30438 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 155948 KiB
Current children cumulated memory: 125060 KiB
[startup+12.7001 s]
/proc/loadavg: 1.56 2.81 3.59 5/265 54055
/proc/meminfo: memFree=127859312/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=199092 memory=167964 CPUtime=12.64 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 39131 0 0 0 1257 7 0 0 20 0 1 0 50565515 203870208 41991 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 49773 41991 3968 3530 0 41224 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 199092 KiB
Current children cumulated memory: 167964 KiB
[startup+25.5001 s]
/proc/loadavg: 2.01 2.86 3.60 5/266 54057
/proc/meminfo: memFree=127859144/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=199092 memory=168348 CPUtime=25.41 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 39237 0 0 0 2534 7 0 0 20 0 1 0 50565515 203870208 42087 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 49773 42087 3968 3530 0 41224 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 199092 KiB
Current children cumulated memory: 168348 KiB
[startup+51.1053 s]
/proc/loadavg: 2.69 2.96 3.61 5/265 54057
/proc/meminfo: memFree=127684260/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=261088 memory=226352 CPUtime=50.95 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 54115 0 0 0 5085 10 0 0 20 0 1 0 50565515 267354112 56588 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 65272 56588 3968 3530 0 56723 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 261088 KiB
Current children cumulated memory: 226352 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 3.15 3.64 5/265 54059
/proc/meminfo: memFree=127410712/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=326716 memory=286996 CPUtime=102.01 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 72091 0 0 0 10188 13 0 0 20 0 1 0 50565515 334557184 71749 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 81679 71749 3968 3530 0 73130 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 326716 KiB
Current children cumulated memory: 286996 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.35 3.68 5/265 54062
/proc/meminfo: memFree=127286404/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=330336 memory=291932 CPUtime=161.87 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 74708 0 0 0 16173 14 0 0 20 0 1 0 50565515 338264064 72983 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 82584 72983 3968 3530 0 74035 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 330336 KiB
Current children cumulated memory: 291932 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.49 3.71 5/266 54065
/proc/meminfo: memFree=127087160/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=348116 memory=305772 CPUtime=221.72 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 79518 0 0 0 22157 15 0 0 20 0 1 0 50565515 356470784 76443 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 87029 76443 3968 3530 0 78480 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 348116 KiB
Current children cumulated memory: 305772 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.61 3.74 5/266 54067
/proc/meminfo: memFree=127036696/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=356044 memory=311404 CPUtime=281.56 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 81002 0 0 0 28141 15 0 0 20 0 1 0 50565515 364589056 77851 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 89011 77851 3968 3530 0 80462 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 356044 KiB
Current children cumulated memory: 311404 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.70 3.76 5/266 54071
/proc/meminfo: memFree=126994784/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=367756 memory=318444 CPUtime=341.41 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 82744 0 0 0 34126 15 0 0 20 0 1 0 50565515 376582144 79611 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 91939 79611 3968 3530 0 83390 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 367756 KiB
Current children cumulated memory: 318444 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.79 3.79 5/267 54080
/proc/meminfo: memFree=126976648/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=375948 memory=321772 CPUtime=401.27 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 83590 0 0 0 40111 16 0 0 20 0 1 0 50565515 384970752 80443 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 93987 80443 3968 3530 0 85438 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 375948 KiB
Current children cumulated memory: 321772 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.85 3.81 5/266 54082
/proc/meminfo: memFree=126878236/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=435384 memory=375020 CPUtime=461.11 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 96495 0 0 0 46093 18 0 0 20 0 1 0 50565515 445833216 93755 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 108846 93755 3968 3530 0 100297 0
################
# More data... #
################
/proc/loadavg: 4.15 4.10 4.04 5/264 54233
/proc/meminfo: memFree=126116760/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=602848 CPUtime=3154.25 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 149952 0 0 0 315397 28 0 0 20 0 1 0 50565515 646651904 150712 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 150712 3968 3530 0 149325 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 602848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 54236
/proc/meminfo: memFree=126113488/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=602848 CPUtime=3214.06 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 149952 0 0 0 321378 28 0 0 20 0 1 0 50565515 646651904 150712 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 150712 3968 3530 0 149325 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 602848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/265 54239
/proc/meminfo: memFree=126118800/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=602848 CPUtime=3273.87 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 149952 0 0 0 327359 28 0 0 20 0 1 0 50565515 646651904 150712 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 150712 3968 3530 0 149325 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 602848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/265 54241
/proc/meminfo: memFree=126119520/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=603488 CPUtime=3333.68 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150096 0 0 0 333340 28 0 0 20 0 1 0 50565515 646651904 150872 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 150872 3968 3530 0 149325 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 603488 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/265 54250
/proc/meminfo: memFree=126118212/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=603616 CPUtime=3393.5 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150134 0 0 0 339322 28 0 0 20 0 1 0 50565515 646651904 150904 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 150904 3968 3530 0 149325 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 603616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/266 54253
/proc/meminfo: memFree=126118316/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=603616 CPUtime=3453.31 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150134 0 0 0 345303 28 0 0 20 0 1 0 50565515 646651904 150904 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 150904 3968 3530 0 149325 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 603616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/265 54255
/proc/meminfo: memFree=126075144/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=604640 CPUtime=3513.12 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150141 0 0 0 351284 28 0 0 20 0 1 0 50565515 646651904 151160 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151160 3968 3530 0 149325 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 604640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 54259
/proc/meminfo: memFree=126089660/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3572.94 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 357266 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3597.08 s]
# the end of solver process 54050 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.39 s, system=0.290143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.05 5/266 54259
/proc/meminfo: memFree=126089660/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3574.64 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 357436 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3574.64 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 54259
/proc/meminfo: memFree=126089912/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3581.01 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 358073 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3581.01 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.10 4.06 5/266 54259
/proc/meminfo: memFree=126089912/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3584.2 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 358392 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.10 4.06 5/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3585.8 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 358552 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.10 4.06 5/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3586.6 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 358632 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.06 5/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3587.39 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 358711 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.10 4.06 5/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54050] ppid=54039 vsize=631496 memory=605024 CPUtime=3587.59 cores=1,3
/proc/54050/stat : 54050 (pbscip) R 54039 54050 53986 0 -1 4194304 150230 0 0 0 358731 28 0 0 20 0 1 0 50565515 646651904 151256 18446744073709551615 4235264 18693293 140723553380832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37711872 140723553384841 140723553384940 140723553384940 140723553390542 0
/proc/54050/statm: 157874 151256 3968 3530 0 149325 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 631496 KiB
Current children cumulated memory: 605024 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3587.68
CPU user time (s): 3587.39
CPU system time (s): 0.290143
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 640676
Max. memory (cumulated for all children) (KiB): 611724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.39
system time used= 0.290143
maximum resident set size= 611724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150236
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= 130
involuntary context switches= 2542
# summary of solver processes directly reported to runsolver:
# pid: 54050
# total CPU time (s): 3587.68
# total CPU user time (s): 3587.39
# total CPU system time (s): 0.290143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24339 second user time and 14.9141 second system time
The end