0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4449618-1721403114.opb>
0.20/0.27 c original problem has 924 variables (924 bin, 0 int, 0 impl, 0 cont) and 152976 constraints
0.20/0.27 c problem read in 0.27
0.40/0.48 c presolving:
0.60/0.61 c (round 1, fast) 24 del vars, 24 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24 clqs
0.79/0.81 c (0.8s) running MILP presolver
0.88/0.96 c (1.0s) MILP presolver found nothing
1.18/1.23 c (round 2, exhaustive) 24 del vars, 24 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 152952 upgd conss, 0 impls, 24 clqs
1.58/1.69 c (1.7s) probing: 51/900 (5.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.58/1.69 c (1.7s) probing aborted: 50/50 successive totally useless probings
2.09/2.19 c (2.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.48/3.52 c (3.5s) symmetry computation finished: 46 generators found (max: 1500, log10 of symmetry group size: 40.0) (symcode time: 1.21)
3.48/3.52 c dynamic symmetry handling statistics:
3.48/3.52 c orbitopal reduction: no components
3.48/3.52 c orbital reduction: 1 components of sizes 46
3.48/3.52 c lexicographic reduction: 46 permutations with support sizes 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50, 94, 50
3.48/3.52 c handled 1 out of 1 symmetry components
3.58/3.66 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
3.58/3.66 c 24 deleted vars, 24 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.58/3.66 c 0 implications, 24 cliques
3.58/3.66 c presolved problem has 900 variables (900 bin, 0 int, 0 impl, 0 cont) and 152952 constraints
3.58/3.66 c 24 constraints of type <setppc>
3.58/3.66 c 152928 constraints of type <logicor>
3.58/3.66 c transformed objective value is always integral (scale: 1)
3.58/3.66 c Presolving Time: 3.19
3.58/3.66 c - non default parameters ----------------------------------------------------------------------
3.58/3.66 c # SCIP version 10.0.0
3.58/3.66 c
3.58/3.66 c # maximal time in seconds to run
3.58/3.66 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.58/3.66 c limits/time = 3596.997036
3.58/3.66 c
3.58/3.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.58/3.66 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.58/3.66 c limits/memory = 27900
3.58/3.66 c
3.58/3.66 c # belongs reading time to solving time?
3.58/3.66 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.58/3.66 c timing/reading = TRUE
3.58/3.66 c
3.58/3.66 c -----------------------------------------------------------------------------------------------
3.58/3.66 c start solving
3.58/3.66 c
3.78/3.89 o 23
3.78/3.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.78/3.89 c p 3.9s| 1 | 0 | 0 | - | clique| 0 | 900 | 152k| 152k| 0 | 0 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf | unknown
3.99/4.03 o 22
3.99/4.03 c p 4.0s| 1 | 0 | 2 | - | vbounds| 0 | 900 | 152k| 152k| 0 | 0 | 16 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
5.98/6.08 c 6.1s| 1 | 0 | 2112 | - | 575M | 0 | 900 | 152k| 152k| 0 | 0 | 16 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
12.56/12.67 c 12.7s| 1 | 0 | 2250 | - | 594M | 0 | 900 | 152k| 152k| 5 | 1 | 18 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
19.74/19.82 c 19.8s| 1 | 0 | 3040 | - | 613M | 0 | 900 | 152k| 152k| 14 | 2 | 21 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
21.13/21.23 c 21.2s| 1 | 0 | 3185 | - | 628M | 0 | 900 | 152k| 152k| 23 | 3 | 23 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
26.42/26.52 c 26.5s| 1 | 0 | 3296 | - | 644M | 0 | 900 | 152k| 152k| 30 | 4 | 25 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
30.02/30.18 c 30.2s| 1 | 0 | 3603 | - | 664M | 0 | 900 | 152k| 152k| 40 | 5 | 27 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
33.49/33.60 c 33.6s| 1 | 0 | 3712 | - | 681M | 0 | 900 | 152k| 152k| 47 | 6 | 29 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
36.28/36.43 c 36.4s| 1 | 0 | 3761 | - | 703M | 0 | 900 | 152k| 153k| 53 | 7 | 31 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
40.08/40.22 c 40.2s| 1 | 0 | 3802 | - | 729M | 0 | 900 | 152k| 153k| 57 | 8 | 32 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
41.88/42.07 c 42.1s| 1 | 0 | 3837 | - | 752M | 0 | 900 | 152k| 153k| 62 | 9 | 34 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
48.34/48.50 c 48.5s| 1 | 0 | 3924 | - | 776M | 0 | 900 | 152k| 153k| 68 | 10 | 36 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
48.44/48.69 c 48.7s| 1 | 0 | 3963 | - | 792M | 0 | 900 | 152k| 153k| 73 | 11 | 38 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
69.79/70.07 c 70.1s| 1 | 2 | 15422 | - | 797M | 0 | 900 | 152k| 153k| 73 | 11 | 44 | 23 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
136.58/137.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
136.58/137.07 c r 137s| 79 | 34 | 25897 | 281.2 |shifting| 32 | 900 | 153k| 152k| 83 | 2 | 399 | 807 | 0.000000e+00 | 2.200000e+01 | Inf | 50.16%
151.64/152.15 c 152s| 100 | 35 | 27207 | 234.8 | 860M | 32 | 900 | 153k| 152k| 83 | 1 | 463 |1034 | 0.000000e+00 | 2.200000e+01 | Inf | 50.16%
200.40/201.08 c 201s| 200 | 43 | 36323 | 162.6 | 865M | 32 | 900 | 153k| 152k| 93 | 1 | 651 |1692 | 1.000000e+00 | 2.200000e+01 |2100.00%| 51.65%
221.24/221.95 c 222s| 300 | 51 | 39848 | 120.0 | 866M | 34 | 900 | 153k| 152k| 95 | 1 | 804 |1980 | 1.000000e+00 | 2.200000e+01 |2100.00%| 52.22%
239.59/240.35 c r 240s| 363 | 60 | 43735 | 109.9 |shifting| 35 | 900 | 153k| 152k| 102 | 1 | 895 |2138 | 1.000000e+00 | 2.200000e+01 |2100.00%| 53.29%
258.35/259.14 c 259s| 400 | 69 | 45719 | 104.7 | 918M | 35 | 900 | 153k| 0 | 116 | 0 | 929 |2230 | 1.000000e+00 | 2.200000e+01 |2100.00%| 53.46%
268.32/269.11 c 269s| 500 | 91 | 49526 | 91.3 | 920M | 37 | 900 | 153k| 0 | 116 | 0 | 980 |2302 | 1.000000e+00 | 2.200000e+01 |2100.00%| 53.46%
287.47/288.37 c 288s| 600 | 108 | 52924 | 81.7 | 938M | 40 | 900 | 153k| 152k| 125 | 1 |1045 |2383 | 3.000000e+00 | 2.200000e+01 | 633.33%| 56.54%
318.59/319.57 c 320s| 700 | 117 | 56300 | 74.9 | 939M | 40 | 900 | 153k| 0 | 156 | 0 |1139 |2462 | 3.000000e+00 | 2.200000e+01 | 633.33%| 56.96%
334.75/335.71 c 336s| 800 | 136 | 59880 | 70.0 | 940M | 40 | 900 | 153k| 152k| 161 | 1 |1189 |2510 | 4.000000e+00 | 2.200000e+01 | 450.00%| 58.63%
338.44/339.48 c 339s| 900 | 143 | 61351 | 63.8 | 941M | 40 | 900 | 153k| 152k| 161 | 1 |1246 |2519 | 4.000000e+00 | 2.200000e+01 | 450.00%| 59.21%
356.80/357.87 c 358s| 1000 | 159 | 63431 | 59.5 | 941M | 40 | 900 | 153k| 152k| 177 | 1 |1307 |2555 | 5.000000e+00 | 2.200000e+01 | 340.00%| 60.77%
379.94/381.02 c 381s| 1100 | 171 | 65495 | 56.0 | 944M | 40 | 900 | 153k| 0 | 209 | 0 |1371 |2602 | 6.000000e+00 | 2.200000e+01 | 266.67%| 62.58%
395.70/396.85 c 397s| 1200 | 193 | 67577 | 53.1 | 945M | 40 | 900 | 153k| 152k| 217 | 1 |1419 |2622 | 7.000000e+00 | 2.200000e+01 | 214.29%| 64.06%
399.89/401.10 c 401s| 1300 | 209 | 68663 | 49.8 | 947M | 40 | 900 | 153k| 0 | 222 | 0 |1472 |2634 | 7.000000e+00 | 2.200000e+01 | 214.29%| 64.07%
403.48/404.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
403.48/404.66 c 405s| 1400 | 220 | 70154 | 47.3 | 948M | 40 | 900 | 153k| 0 | 223 | 0 |1530 |2639 | 8.000000e+00 | 2.200000e+01 | 175.00%| 65.52%
409.06/410.23 c 410s| 1500 | 230 | 70795 | 44.6 | 978M | 43 | 900 | 153k| 0 | 227 | 0 |1583 |2642 | 8.000000e+00 | 2.200000e+01 | 175.00%| 65.53%
426.12/427.36 c 427s| 1600 | 241 | 71887 | 42.5 | 979M | 43 | 900 | 153k| 0 | 242 | 0 |1635 |2661 | 8.000000e+00 | 2.200000e+01 | 175.00%| 66.35%
437.80/439.09 c 439s| 1700 | 256 | 72701 | 40.5 | 995M | 52 | 900 | 153k| 152k| 247 | 1 |1682 |2673 | 8.000000e+00 | 2.200000e+01 | 175.00%| 68.65%
452.65/453.95 c 454s| 1800 | 269 | 73349 | 38.6 | 996M | 52 | 900 | 153k| 152k| 262 | 1 |1742 |2673 | 8.000000e+00 | 2.200000e+01 | 175.00%| 68.71%
460.74/462.08 c 462s| 1900 | 288 | 75031 | 37.4 | 996M | 52 | 900 | 153k| 152k| 270 | 1 |1796 |2696 | 8.000000e+00 | 2.200000e+01 | 175.00%| 68.95%
465.62/466.94 c 467s| 2000 | 305 | 75953 | 36.0 | 998M | 52 | 900 | 153k| 152k| 270 | 1 |1862 |2716 | 8.000000e+00 | 2.200000e+01 | 175.00%| 69.52%
483.48/484.82 c 485s| 2100 | 314 | 77081 | 34.8 | 999M | 52 | 900 | 153k| 152k| 281 | 1 |1919 |2716 | 8.000000e+00 | 2.200000e+01 | 175.00%| 69.70%
539.14/540.63 c 541s| 2200 | 339 | 78987 | 34.1 | 1029M | 52 | 900 | 153k| 152k| 340 | 1 |1978 |2740 | 8.000000e+00 | 2.200000e+01 | 175.00%| 73.97%
554.50/556.08 c 556s| 2300 | 368 | 80727 | 33.4 | 1031M | 52 | 900 | 153k| 152k| 361 | 1 |2066 |2751 | 8.000000e+00 | 2.200000e+01 | 175.00%| 74.62%
570.75/572.34 c 572s| 2400 | 399 | 83177 | 33.0 | 1072M | 52 | 900 | 153k| 0 | 378 | 0 |2185 |2787 | 8.000000e+00 | 2.200000e+01 | 175.00%| 74.63%
575.54/577.17 c 577s| 2500 | 399 | 83866 | 32.0 | 1072M | 52 | 900 | 153k| 152k| 381 | 1 |2310 |2791 | 8.000000e+00 | 2.200000e+01 | 175.00%| 74.95%
606.47/608.12 c 608s| 2600 | 414 | 85005 | 31.2 | 1072M | 52 | 900 | 153k| 152k| 398 | 1 |2379 |2792 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.01%
617.34/619.06 c 619s| 2700 | 412 | 85733 | 30.3 | 1072M | 52 | 900 | 153k| 0 | 408 | 0 |2463 |2794 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.01%
636.99/638.79 c 639s| 2800 | 425 | 86552 | 29.5 | 1093M | 57 | 900 | 153k| 152k| 429 | 1 |2547 |2796 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.02%
654.55/656.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
654.55/656.33 c 656s| 2900 | 439 | 87462 | 28.8 | 1117M | 62 | 900 | 154k| 152k| 448 | 1 |2641 |2798 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.03%
666.62/668.45 c 668s| 3000 | 443 | 87884 | 28.0 | 1117M | 62 | 900 | 154k| 152k| 463 | 2 |2697 |2803 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.03%
699.34/701.24 c 701s| 3100 | 456 | 88803 | 27.4 | 1118M | 62 | 900 | 154k| 152k| 482 | 1 |2752 |2805 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.03%
705.52/707.40 c 707s| 3200 | 463 | 89573 | 26.8 | 1119M | 62 | 900 | 154k| 0 | 488 | 0 |2833 |2811 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.04%
729.95/731.94 c 732s| 3300 | 479 | 90246 | 26.2 | 1123M | 62 | 900 | 154k| 152k| 508 | 2 |2889 |2818 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.04%
743.02/745.08 c 745s| 3400 | 487 | 90960 | 25.6 | 1124M | 62 | 900 | 154k| 152k| 521 | 1 |2965 |2821 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.04%
753.29/755.36 c 755s| 3500 | 492 | 91403 | 25.0 | 1124M | 71 | 900 | 154k| 152k| 530 | 1 |3029 |2825 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.04%
755.78/757.82 c 758s| 3600 | 493 | 91836 | 24.4 | 1124M | 71 | 900 | 154k| 152k| 531 | 1 |3110 |2826 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.04%
763.46/765.54 c 766s| 3700 | 507 | 92383 | 23.9 | 1133M | 71 | 900 | 154k| 152k| 536 | 1 |3265 |2827 | 8.000000e+00 | 2.200000e+01 | 175.00%| 75.04%
770.54/772.62 c 773s| 3800 | 512 | 93740 | 23.6 | 1134M | 71 | 900 | 154k| 152k| 541 | 0 |3315 |2833 | 9.000000e+00 | 2.200000e+01 | 144.44%| 76.48%
795.38/797.53 c 798s| 3900 | 526 | 94520 | 23.2 | 1135M | 71 | 900 | 154k| 152k| 563 | 0 |3381 |2836 | 9.000000e+00 | 2.200000e+01 | 144.44%| 76.69%
797.87/800.07 c 800s| 4000 | 538 | 95031 | 22.8 | 1135M | 71 | 900 | 154k| 152k| 563 | 1 |3440 |2837 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.13%
805.95/808.17 c 808s| 4100 | 536 | 95625 | 22.4 | 1135M | 71 | 900 | 154k| 152k| 566 | 1 |3559 |2839 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.14%
811.33/813.57 c 814s| 4200 | 544 | 96175 | 22.0 | 1136M | 71 | 900 | 154k| 152k| 569 | 1 |3631 |2846 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.15%
825.89/828.11 c 828s| 4300 | 542 | 96685 | 21.6 | 1136M | 71 | 900 | 154k| 152k| 583 | 1 |3709 |2849 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.15%
831.37/833.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
831.37/833.65 c 834s| 4400 | 555 | 97970 | 21.4 | 1138M | 71 | 900 | 154k| 152k| 589 | 1 |3800 |2877 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.17%
837.65/839.91 c 840s| 4500 | 554 | 99386 | 21.2 | 1138M | 71 | 900 | 154k| 152k| 589 | 0 |3913 |2929 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.19%
840.84/843.12 c 843s| 4600 | 558 | 99910 | 20.9 | 1138M | 71 | 900 | 154k| 152k| 589 | 0 |3988 |2937 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.19%
844.62/846.99 c 847s| 4700 | 576 |101307 | 20.7 | 1138M | 71 | 900 | 154k| 152k| 589 | 1 |4062 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.20%
856.79/859.13 c 859s| 4800 | 593 |102486 | 20.5 | 1140M | 71 | 900 | 154k| 152k| 600 | 1 |4133 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| 78.20%
857.38/859.77 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
857.38/859.78 c (run 1, node 4833) performing user restart
857.38/859.78 c
857.48/859.80 c (restart) converted 33 cuts from the global cut pool into linear constraints
857.48/859.80 c
857.58/859.95 c presolving:
857.58/859.98 c (round 1, fast) 1 del vars, 83 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 45 chg coeffs, 0 upgd conss, 0 impls, 47 clqs
859.57/861.94 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
859.57/861.94 c 1 deleted vars, 120 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 25 changed sides, 368 changed coefficients
859.57/861.94 c 0 implications, 48 cliques
859.57/861.94 c presolved problem has 899 variables (899 bin, 0 int, 0 impl, 0 cont) and 154134 constraints
859.57/861.94 c 51 constraints of type <knapsack>
859.57/861.94 c 24 constraints of type <setppc>
859.57/861.94 c 3 constraints of type <linear>
859.57/861.94 c 154056 constraints of type <logicor>
859.57/861.94 c transformed objective value is always integral (scale: 1)
859.57/861.94 c Presolving Time: 5.25
859.57/861.95 c transformed 1/100 original solutions to the transformed problem space
859.57/861.95 c
862.16/864.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
862.16/864.59 c 865s| 1 | 0 |104810 | - | 1136M | 0 | 899 | 154k| 152k| 0 | 0 |4163 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
870.65/873.00 c 873s| 1 | 0 |104942 | - | 1153M | 0 | 899 | 154k| 152k| 5 | 1 |4164 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
876.73/879.15 c 879s| 1 | 0 |105051 | - | 1155M | 0 | 899 | 154k| 152k| 10 | 2 |4166 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
882.80/885.29 c 885s| 1 | 0 |105641 | - | 1169M | 0 | 899 | 154k| 152k| 22 | 3 |4168 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
887.60/890.08 c 890s| 1 | 0 |105939 | - | 1185M | 0 | 899 | 154k| 152k| 36 | 4 |4169 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
891.28/893.71 c 894s| 1 | 0 |106083 | - | 1185M | 0 | 899 | 154k| 153k| 44 | 5 |4171 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
894.67/897.16 c 897s| 1 | 0 |106188 | - | 1186M | 0 | 899 | 154k| 153k| 53 | 6 |4173 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
896.36/898.86 c 899s| 1 | 0 |106266 | - | 1189M | 0 | 899 | 154k| 153k| 62 | 7 |4175 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
897.46/899.92 c 900s| 1 | 0 |106310 | - | 1207M | 0 | 899 | 154k| 153k| 69 | 8 |4177 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
898.56/901.10 c 901s| 1 | 0 |106362 | - | 1223M | 0 | 899 | 154k| 153k| 75 | 9 |4178 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
900.66/903.14 c 903s| 1 | 0 |106435 | - | 1240M | 0 | 899 | 154k| 153k| 81 | 10 |4181 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
900.85/903.30 c 903s| 1 | 0 |106465 | - | 1256M | 0 | 899 | 154k| 153k| 84 | 11 |4182 |2946 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
908.53/911.03 c 911s| 1 | 2 |109061 | - | 1256M | 0 | 899 | 154k| 153k| 84 | 11 |4186 |2968 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
974.20/976.90 c 977s| 100 | 79 |124788 | 23.7 | 1355M | 41 | 899 | 154k| 152k| 117 | 1 |4686 |3661 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1044.98/1047.96 c 1048s| 200 | 126 |133093 | 24.9 | 1415M | 60 | 899 | 154k| 152k| 156 | 1 |4916 |3877 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1060.03/1063.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1060.03/1063.05 c 1063s| 300 | 129 |134664 | 24.7 | 1415M | 108 | 899 | 154k| 0 | 156 | 0 |5225 |4134 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1081.07/1084.13 c 1084s| 400 | 134 |136730 | 24.6 | 1423M | 113 | 899 | 155k| 152k| 169 | 1 |6081 |4391 | 1.000000e+01 | 2.200000e+01 | 120.00%| 2.29%
1083.96/1087.04 c 1087s| 500 | 134 |137066 | 24.2 | 1423M | 143 | 899 | 155k| 152k| 169 | 1 |6149 |4410 | 1.000000e+01 | 2.200000e+01 | 120.00%| 2.29%
1097.81/1100.95 c 1101s| 600 | 142 |138006 | 24.0 | 1423M | 144 | 899 | 155k| 0 | 169 | 0 |6388 |4588 | 1.000000e+01 | 2.200000e+01 | 120.00%| 2.29%
1115.16/1118.37 c 1118s| 700 | 151 |138926 | 23.7 | 1438M | 144 | 899 | 155k| 0 | 184 | 0 |6541 |4675 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.44%
1127.72/1130.97 c 1131s| 800 | 159 |139844 | 23.4 | 1454M | 144 | 899 | 155k| 152k| 198 | 1 |6763 |4761 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.46%
1138.28/1141.54 c 1142s| 900 | 161 |140863 | 23.2 | 1455M | 144 | 899 | 155k| 0 | 198 | 0 |7129 |4929 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.46%
1144.66/1147.90 c 1148s| 1000 | 167 |141828 | 23.0 | 1455M | 144 | 899 | 155k| 0 | 202 | 0 |7332 |4991 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.46%
1158.62/1161.95 c r1162s| 1038 | 171 |143022 | 23.0 |randroun| 144 | 899 | 155k| 152k| 224 | 1 |7396 |5020 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1164.50/1167.89 c 1168s| 1100 | 173 |143766 | 22.9 | 1470M | 144 | 899 | 155k| 0 | 224 | 0 |7541 |5085 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1171.88/1175.23 c 1175s| 1200 | 177 |144252 | 22.6 | 1470M | 144 | 899 | 155k| 152k| 224 | 0 |7859 |5198 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1186.03/1189.45 c 1189s| 1300 | 185 |145613 | 22.5 | 1470M | 144 | 899 | 155k| 152k| 224 | 1 |8508 |5401 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1200.98/1204.48 c 1204s| 1400 | 187 |150193 | 22.8 | 1470M | 144 | 899 | 155k| 0 | 224 | 0 |8795 |5579 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1206.56/1210.02 c 1210s| 1500 | 193 |150739 | 22.6 | 1483M | 145 | 899 | 155k| 152k| 224 | 1 |8952 |5639 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1210.65/1214.13 c 1214s| 1600 | 188 |151112 | 22.3 | 1483M | 148 | 899 | 155k| 152k| 224 | 1 |9163 |5669 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1217.12/1220.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1217.12/1220.62 c 1221s| 1700 | 187 |152071 | 22.1 | 1484M | 148 | 899 | 155k| 0 | 224 | 0 |9456 |5760 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1228.38/1232.00 c 1232s| 1800 | 187 |153266 | 21.9 | 1484M | 148 | 899 | 155k| 0 | 224 | 0 |9710 |5932 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.53%
1240.94/1244.57 c 1245s| 1900 | 188 |154007 | 21.7 | 1484M | 148 | 899 | 155k| 152k| 224 | 1 | 10k|6127 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1245.72/1249.35 c 1249s| 2000 | 188 |154503 | 21.5 | 1484M | 148 | 899 | 155k| 152k| 224 | 1 | 10k|6184 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1253.60/1257.29 c 1257s| 2100 | 188 |155362 | 21.3 | 1484M | 148 | 899 | 155k| 152k| 224 | 6 | 10k|6301 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1256.79/1260.48 c 1260s| 2200 | 188 |155759 | 21.0 | 1484M | 148 | 899 | 155k| 152k| 224 | 1 | 10k|6325 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1264.37/1268.01 c 1268s| 2300 | 185 |156324 | 20.8 | 1485M | 148 | 899 | 155k| 0 | 224 | 0 | 11k|6431 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1270.35/1274.08 c 1274s| 2400 | 186 |156880 | 20.6 | 1485M | 148 | 899 | 155k| 152k| 224 | 2 | 11k|6503 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1279.22/1282.97 c 1283s| 2500 | 186 |158028 | 20.5 | 1485M | 148 | 899 | 156k| 0 | 224 | 0 | 11k|6672 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1290.48/1294.28 c 1294s| 2600 | 186 |158701 | 20.3 | 1485M | 148 | 899 | 156k| 152k| 224 | 1 | 12k|6848 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1313.42/1317.24 c 1317s| 2700 | 188 |159202 | 20.1 | 1531M | 163 | 899 | 156k| 0 | 244 | 0 | 12k|6875 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1320.20/1324.06 c 1324s| 2800 | 188 |159904 | 19.9 | 1531M | 163 | 899 | 156k| 0 | 246 | 0 | 12k|6981 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1326.18/1330.01 c 1330s| 2900 | 190 |160894 | 19.8 | 1532M | 163 | 899 | 156k| 0 | 252 | 0 | 12k|7082 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1328.86/1332.77 c 1333s| 3000 | 190 |161263 | 19.6 | 1532M | 163 | 899 | 156k| 0 | 255 | 0 | 12k|7096 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1333.85/1337.78 c 1338s| 3100 | 197 |162541 | 19.5 | 1532M | 163 | 899 | 156k| 152k| 269 | 1 | 12k|7136 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1341.52/1345.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1341.52/1345.47 c 1345s| 3200 | 194 |163024 | 19.3 | 1533M | 163 | 899 | 155k| 152k| 270 | 2 | 13k|7241 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1347.21/1351.15 c 1351s| 3300 | 195 |163858 | 19.2 | 1533M | 163 | 899 | 155k| 0 | 272 | 0 | 13k|7304 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1363.55/1367.52 c 1368s| 3400 | 203 |164758 | 19.1 | 1533M | 163 | 899 | 155k| 152k| 279 | 3 | 13k|7376 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1372.32/1376.34 c 1376s| 3500 | 202 |165433 | 18.9 | 1533M | 163 | 899 | 155k| 0 | 280 | 0 | 13k|7510 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1382.89/1386.93 c 1387s| 3600 | 204 |166661 | 18.8 | 1533M | 163 | 899 | 155k| 152k| 281 | 2 | 14k|7647 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1387.87/1391.96 c 1392s| 3700 | 205 |167346 | 18.7 | 1533M | 163 | 899 | 156k| 152k| 283 | 1 | 14k|7709 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1393.25/1397.37 c 1397s| 3800 | 204 |167837 | 18.5 | 1533M | 163 | 899 | 155k| 0 | 283 | 0 | 14k|7760 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1402.93/1407.01 c 1407s| 3900 | 204 |168441 | 18.4 | 1534M | 163 | 899 | 155k| 0 | 284 | 0 | 14k|7910 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1407.61/1411.74 c 1412s| 4000 | 205 |168929 | 18.2 | 1534M | 163 | 899 | 155k| 152k| 286 | 1 | 14k|7967 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1412.99/1417.15 c 1417s| 4100 | 205 |169671 | 18.1 | 1534M | 163 | 899 | 155k| 152k| 288 | 1 | 15k|8030 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1423.75/1427.93 c 1428s| 4200 | 204 |170709 | 18.0 | 1534M | 163 | 899 | 155k| 0 | 288 | 0 | 15k|8157 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1429.03/1433.28 c 1433s| 4300 | 205 |170981 | 17.9 | 1534M | 163 | 899 | 155k| 0 | 289 | 0 | 15k|8207 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1434.21/1438.49 c 1438s| 4400 | 206 |171429 | 17.7 | 1534M | 163 | 899 | 155k| 152k| 289 | 1 | 15k|8263 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1442.79/1447.07 c 1447s| 4500 | 206 |172162 | 17.6 | 1534M | 163 | 899 | 155k| 0 | 290 | 0 | 15k|8367 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1451.25/1455.58 c 1456s| 4600 | 205 |172688 | 17.5 | 1534M | 163 | 899 | 155k| 152k| 290 | 1 | 16k|8468 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1468.30/1472.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1468.30/1472.66 c 1473s| 4700 | 212 |173746 | 17.4 | 1534M | 163 | 899 | 155k| 152k| 298 | 1 | 16k|8622 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1471.08/1475.47 c 1475s| 4800 | 211 |174427 | 17.3 | 1534M | 163 | 899 | 155k| 152k| 298 | 1 | 16k|8631 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1478.46/1482.88 c 1483s| 4900 | 208 |175119 | 17.2 | 1535M | 163 | 899 | 155k| 0 | 298 | 0 | 16k|8727 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1488.92/1493.34 c 1493s| 5000 | 214 |177155 | 17.2 | 1536M | 163 | 899 | 155k| 0 | 298 | 0 | 17k|8849 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1498.69/1503.19 c 1503s| 5100 | 218 |178260 | 17.2 | 1536M | 163 | 899 | 155k| 0 | 298 | 0 | 17k|8959 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1505.46/1509.92 c 1510s| 5200 | 219 |178887 | 17.0 | 1536M | 163 | 899 | 155k| 152k| 298 | 3 | 18k|9028 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1538.36/1542.93 c 1543s| 5300 | 219 |179590 | 17.0 | 1537M | 173 | 899 | 156k| 152k| 314 | 1 | 18k|9066 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1542.45/1547.10 c 1547s| 5400 | 220 |180361 | 16.9 | 1537M | 178 | 899 | 156k| 152k| 314 | 1 | 18k|9117 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1551.91/1556.51 c 1557s| 5500 | 229 |181771 | 16.8 | 1537M | 178 | 899 | 155k| 0 | 315 | 0 | 19k|9239 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1560.39/1565.03 c 1565s| 5600 | 235 |183052 | 16.8 | 1538M | 178 | 899 | 155k| 0 | 315 | 0 | 19k|9346 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1563.87/1568.56 c 1569s| 5700 | 250 |183502 | 16.7 | 1538M | 178 | 899 | 155k| 152k| 315 | 1 | 19k|9358 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.54%
1574.34/1579.06 c 1579s| 5800 | 249 |184470 | 16.6 | 1539M | 178 | 899 | 155k| 152k| 327 | 1 | 19k|9391 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1578.13/1582.87 c 1583s| 5900 | 251 |185387 | 16.5 | 1546M | 178 | 899 | 155k| 152k| 327 | 2 | 19k|9398 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1582.01/1586.70 c 1587s| 6000 | 240 |185858 | 16.4 | 1546M | 178 | 899 | 155k| 152k| 328 | 1 | 19k|9413 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1585.50/1590.21 c 1590s| 6100 | 237 |186134 | 16.3 | 1546M | 178 | 899 | 155k| 0 | 328 | 0 | 20k|9425 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1589.58/1594.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1589.58/1594.36 c 1594s| 6200 | 238 |186468 | 16.2 | 1546M | 178 | 899 | 155k| 0 | 328 | 0 | 20k|9441 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1612.81/1617.63 c 1618s| 6300 | 240 |187250 | 16.1 | 1546M | 178 | 899 | 155k| 0 | 345 | 0 | 20k|9452 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1621.48/1626.36 c 1626s| 6400 | 253 |188987 | 16.1 | 1547M | 184 | 899 | 154k| 152k| 345 | 1 | 20k|9524 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.55%
1635.53/1640.48 c 1640s| 6500 | 254 |190612 | 16.1 | 1547M | 184 | 899 | 155k| 0 | 345 | 0 | 21k|9691 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1644.80/1649.71 c 1650s| 6600 | 254 |191069 | 16.0 | 1547M | 184 | 899 | 155k| 152k| 346 | 1 | 22k|9799 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1649.09/1654.09 c 1654s| 6700 | 258 |191537 | 15.9 | 1547M | 184 | 899 | 155k| 152k| 346 | 1 | 22k|9832 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1658.86/1663.81 c 1664s| 6800 | 252 |192713 | 15.9 | 1547M | 184 | 899 | 155k| 0 | 356 | 0 | 22k|9888 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1669.03/1674.02 c 1674s| 6900 | 255 |193076 | 15.8 | 1547M | 184 | 899 | 155k| 152k| 367 | 2 | 22k|9890 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1694.66/1699.77 c 1700s| 7000 | 258 |194199 | 15.7 | 1547M | 184 | 899 | 155k| 0 | 386 | 0 | 23k|9942 | 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1702.13/1707.29 c 1707s| 7100 | 261 |194750 | 15.7 | 1547M | 184 | 899 | 155k| 0 | 386 | 0 | 23k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1707.71/1712.88 c 1713s| 7200 | 269 |195441 | 15.6 | 1548M | 184 | 899 | 155k| 152k| 388 | 6 | 23k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1712.39/1717.52 c 1718s| 7300 | 272 |196004 | 15.5 | 1548M | 184 | 899 | 155k| 152k| 389 | 1 | 23k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1717.58/1722.73 c 1723s| 7400 | 261 |196672 | 15.4 | 1548M | 184 | 899 | 155k| 0 | 390 | 0 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1748.57/1753.89 c 1754s| 7500 | 271 |197276 | 15.4 | 1548M | 184 | 899 | 155k| 0 | 411 | 0 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1795.93/1801.34 c 1801s| 7600 | 287 |198990 | 15.4 | 1564M | 184 | 899 | 155k| 152k| 641 | 1 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1807.89/1813.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1807.89/1813.37 c 1813s| 7700 | 284 |199726 | 15.3 | 1566M | 184 | 899 | 155k| 152k| 669 | 1 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1829.33/1834.84 c 1835s| 7800 | 296 |200630 | 15.3 | 1567M | 184 | 899 | 155k| 152k| 709 | 3 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1846.08/1851.67 c 1852s| 7900 | 289 |201291 | 15.2 | 1567M | 184 | 899 | 155k| 0 | 734 | 0 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1852.86/1858.43 c 1858s| 8000 | 294 |202205 | 15.1 | 1567M | 184 | 899 | 155k| 0 | 734 | 0 | 24k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1859.13/1864.77 c 1865s| 8100 | 302 |202475 | 15.0 | 1567M | 184 | 899 | 155k| 152k| 734 | 1 | 25k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1866.61/1872.20 c 1872s| 8200 | 311 |203564 | 15.0 | 1567M | 184 | 899 | 155k| 152k| 737 | 3 | 25k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1874.78/1880.41 c 1880s| 8300 | 299 |204997 | 15.0 | 1582M | 184 | 899 | 155k| 0 | 738 | 0 | 25k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1904.98/1910.79 c 1911s| 8400 | 303 |207245 | 15.1 | 1583M | 184 | 899 | 154k| 0 | 763 | 0 | 25k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1914.85/1920.66 c 1921s| 8500 | 320 |209896 | 15.2 | 1583M | 184 | 899 | 154k| 152k| 765 | 3 | 26k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1923.42/1929.28 c 1929s| 8600 | 337 |211967 | 15.2 | 1584M | 184 | 899 | 154k| 152k| 765 | 1 | 26k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1931.99/1937.81 c 1938s| 8700 | 344 |213387 | 15.2 | 1584M | 184 | 899 | 154k| 0 | 765 | 0 | 26k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1939.46/1945.38 c 1945s| 8800 | 343 |213682 | 15.1 | 1584M | 184 | 899 | 154k| 0 | 766 | 0 | 26k| 10k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1947.83/1953.74 c 1954s| 8900 | 351 |214473 | 15.0 | 1585M | 184 | 899 | 154k| 152k| 767 | 1 | 26k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1972.66/1978.61 c 1979s| 9000 | 351 |215539 | 15.0 | 1587M | 184 | 899 | 155k| 152k| 854 | 1 | 26k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1976.05/1982.07 c 1982s| 9100 | 352 |216170 | 15.0 | 1587M | 195 | 899 | 155k| 152k| 855 | 1 | 27k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1978.73/1984.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1978.73/1984.76 c 1985s| 9200 | 351 |216499 | 14.9 | 1587M | 205 | 899 | 155k| 0 | 855 | 0 | 27k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
1985.41/1991.45 c 1991s| 9300 | 354 |217178 | 14.8 | 1587M | 212 | 899 | 155k| 152k| 855 | 1 | 27k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2006.54/2012.68 c 2013s| 9400 | 354 |217780 | 14.8 | 1587M | 212 | 899 | 155k| 152k| 880 | 1 | 27k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2016.61/2022.79 c 2023s| 9500 | 348 |218388 | 14.7 | 1587M | 212 | 899 | 155k| 152k| 888 | 1 | 27k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2018.91/2025.09 c 2025s| 9600 | 348 |218758 | 14.6 | 1587M | 222 | 899 | 155k| 152k| 888 | 1 | 27k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2021.79/2027.96 c 2028s| 9700 | 342 |219003 | 14.5 | 1587M | 229 | 899 | 155k| 152k| 888 | 1 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2040.63/2046.86 c 2047s| 9800 | 350 |220455 | 14.5 | 1587M | 229 | 899 | 154k| 0 | 902 | 0 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2047.91/2054.12 c 2054s| 9900 | 352 |220926 | 14.5 | 1587M | 229 | 899 | 155k| 152k| 902 | 2 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2053.99/2060.24 c 2060s| 10000 | 353 |221328 | 14.4 | 1587M | 229 | 899 | 155k| 0 | 903 | 0 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2063.36/2069.65 c 2070s| 10100 | 350 |222290 | 14.4 | 1588M | 229 | 899 | 155k| 0 | 903 | 0 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2068.34/2074.62 c 2075s| 10200 | 351 |222645 | 14.3 | 1588M | 229 | 899 | 155k| 152k| 905 | 1 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2079.21/2085.52 c 2086s| 10300 | 353 |223135 | 14.2 | 1617M | 229 | 899 | 155k| 0 | 978 | 0 | 28k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2086.59/2092.97 c 2093s| 10400 | 356 |223743 | 14.2 | 1617M | 229 | 899 | 155k| 0 |1003 | 0 | 29k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2094.37/2100.71 c 2101s| 10500 | 357 |224631 | 14.1 | 1618M | 229 | 899 | 155k| 0 |1032 | 0 | 29k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2106.43/2112.84 c 2113s| 10600 | 355 |225288 | 14.1 | 1618M | 229 | 899 | 155k| 0 |1042 | 0 | 29k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2110.12/2116.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2110.12/2116.50 c 2116s| 10700 | 353 |225615 | 14.0 | 1618M | 229 | 899 | 155k| 0 |1042 | 0 | 29k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2119.69/2126.19 c 2126s| 10800 | 354 |226025 | 14.0 | 1618M | 229 | 899 | 155k| 0 |1042 | 0 | 29k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2126.16/2132.64 c 2133s| 10900 | 357 |226488 | 13.9 | 1618M | 229 | 899 | 155k| 152k|1042 | 1 | 29k| 11k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2142.41/2148.95 c 2149s| 11000 | 360 |228673 | 13.9 | 1619M | 229 | 899 | 155k| 152k|1042 | 1 | 30k| 12k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2165.44/2172.09 c 2172s| 11100 | 366 |230686 | 14.0 | 1619M | 229 | 899 | 155k| 0 |1042 | 0 | 31k| 12k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2192.45/2199.10 c 2199s| 11200 | 365 |232110 | 14.0 | 1619M | 229 | 899 | 155k| 0 |1042 | 0 | 32k| 12k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2202.21/2208.92 c 2209s| 11300 | 368 |232889 | 13.9 | 1620M | 229 | 899 | 155k| 0 |1043 | 0 | 32k| 12k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2207.58/2214.32 c 2214s| 11400 | 363 |233438 | 13.9 | 1620M | 229 | 899 | 155k| 152k|1043 | 1 | 33k| 12k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2213.46/2220.29 c 2220s| 11500 | 361 |233919 | 13.8 | 1620M | 229 | 899 | 156k| 0 |1045 | 0 | 33k| 12k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2229.41/2236.21 c 2236s| 11600 | 359 |236270 | 13.9 | 1620M | 229 | 899 | 155k| 152k|1046 | 1 | 33k| 13k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2232.89/2239.75 c 2240s| 11700 | 360 |236759 | 13.8 | 1620M | 229 | 899 | 155k| 0 |1047 | 0 | 34k| 13k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2237.37/2244.26 c 2244s| 11800 | 361 |237655 | 13.8 | 1620M | 229 | 899 | 155k| 152k|1047 | 0 | 34k| 13k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2247.34/2254.21 c 2254s| 11900 | 363 |238449 | 13.8 | 1620M | 229 | 899 | 156k| 152k|1049 | 1 | 34k| 13k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2260.99/2267.98 c 2268s| 12000 | 361 |240718 | 13.8 | 1620M | 229 | 899 | 155k| 0 |1051 | 0 | 35k| 13k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.56%
2270.07/2277.04 c 2277s| 12100 | 368 |241738 | 13.8 | 1621M | 229 | 899 | 155k| 0 |1066 | 0 | 35k| 13k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2284.91/2291.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2284.91/2291.99 c 2292s| 12200 | 367 |243709 | 13.8 | 1621M | 229 | 899 | 156k| 0 |1066 | 0 | 35k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2287.70/2294.73 c 2295s| 12300 | 367 |244003 | 13.8 | 1622M | 229 | 899 | 156k| 0 |1066 | 0 | 35k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2302.85/2309.94 c 2310s| 12400 | 380 |245755 | 13.8 | 1624M | 229 | 899 | 156k| 152k|1087 | 1 | 36k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2311.12/2318.29 c 2318s| 12500 | 379 |246698 | 13.8 | 1624M | 229 | 899 | 156k| 152k|1088 | 3 | 36k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2316.40/2323.57 c 2324s| 12600 | 379 |247532 | 13.7 | 1624M | 229 | 899 | 156k| 152k|1088 | 1 | 36k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2323.48/2330.63 c 2331s| 12700 | 377 |248139 | 13.7 | 1624M | 229 | 899 | 156k| 152k|1088 | 1 | 36k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2327.87/2335.06 c 2335s| 12800 | 382 |248552 | 13.7 | 1624M | 229 | 899 | 156k| 0 |1088 | 0 | 36k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2333.44/2340.68 c 2341s| 12900 | 382 |248992 | 13.6 | 1624M | 229 | 899 | 156k| 0 |1088 | 0 | 37k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2362.25/2369.52 c 2370s| 13000 | 404 |251395 | 13.7 | 1625M | 229 | 899 | 154k| 152k|1104 | 1 | 37k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2374.21/2381.57 c 2382s| 13100 | 408 |252652 | 13.7 | 1626M | 229 | 899 | 154k| 0 |1105 | 0 | 37k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2381.88/2389.29 c 2389s| 13200 | 408 |253686 | 13.6 | 1626M | 229 | 899 | 155k| 0 |1105 | 0 | 38k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2385.17/2392.50 c 2392s| 13300 | 408 |254137 | 13.6 | 1626M | 229 | 899 | 155k| 0 |1106 | 0 | 38k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2389.45/2396.83 c 2397s| 13400 | 415 |254566 | 13.5 | 1626M | 229 | 899 | 155k| 152k|1106 | 3 | 38k| 14k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2397.52/2404.94 c 2405s| 13500 | 413 |255229 | 13.5 | 1626M | 229 | 899 | 155k| 0 |1109 | 0 | 38k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2404.70/2412.15 c 2412s| 13600 | 413 |255808 | 13.5 | 1626M | 229 | 899 | 155k| 152k|1110 | 1 | 38k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2410.77/2418.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2410.77/2418.22 c 2418s| 13700 | 413 |256357 | 13.4 | 1626M | 229 | 899 | 155k| 152k|1110 | 2 | 38k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.57%
2419.14/2426.63 c 2427s| 13800 | 417 |257095 | 13.4 | 1626M | 229 | 899 | 155k| 152k|1113 | 1 | 38k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2422.64/2430.19 c 2430s| 13900 | 423 |257550 | 13.3 | 1626M | 229 | 899 | 155k| 0 |1114 | 0 | 39k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2448.16/2455.71 c 2456s| 14000 | 424 |258349 | 13.3 | 1627M | 229 | 899 | 156k| 0 |1144 | 0 | 39k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2472.59/2480.29 c 2480s| 14100 | 431 |259616 | 13.3 | 1645M | 229 | 899 | 156k| 152k|1177 | 1 | 39k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2507.39/2515.17 c 2515s| 14200 | 432 |260053 | 13.3 | 1659M | 229 | 899 | 155k| 152k|1219 | 2 | 39k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2516.95/2524.79 c 2525s| 14300 | 433 |260635 | 13.2 | 1659M | 229 | 899 | 155k| 152k|1227 | 1 | 39k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2523.13/2530.93 c 2531s| 14400 | 443 |261605 | 13.2 | 1659M | 229 | 899 | 155k| 0 |1230 | 0 | 40k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2527.12/2534.96 c 2535s| 14500 | 443 |262195 | 13.2 | 1659M | 229 | 899 | 155k| 0 |1240 | 0 | 40k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2561.00/2568.93 c 2569s| 14600 | 452 |263171 | 13.1 | 1674M | 229 | 899 | 155k| 152k|1258 | 1 | 40k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2563.99/2571.91 c 2572s| 14700 | 446 |263794 | 13.1 | 1674M | 229 | 899 | 155k| 152k|1268 | 2 | 40k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2571.37/2579.38 c 2579s| 14800 | 455 |265225 | 13.1 | 1674M | 229 | 899 | 155k| 0 |1274 | 0 | 41k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2578.94/2586.98 c 2587s| 14900 | 466 |265876 | 13.1 | 1675M | 229 | 899 | 155k| 0 |1283 | 0 | 41k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2585.82/2593.88 c 2594s| 15000 | 463 |266686 | 13.1 | 1675M | 229 | 899 | 155k| 0 |1291 | 0 | 41k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2590.20/2598.26 c 2598s| 15100 | 462 |267319 | 13.0 | 1676M | 229 | 899 | 155k| 0 |1294 | 0 | 42k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2595.28/2603.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2595.28/2603.35 c 2603s| 15200 | 464 |267983 | 13.0 | 1676M | 229 | 899 | 156k| 0 |1304 | 0 | 42k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2597.87/2605.95 c 2606s| 15300 | 465 |268422 | 12.9 | 1676M | 229 | 899 | 156k| 0 |1305 | 0 | 42k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2602.76/2610.87 c 2611s| 15400 | 469 |269384 | 12.9 | 1676M | 229 | 899 | 155k| 0 |1306 | 0 | 42k| 15k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2613.02/2621.12 c 2621s| 15500 | 469 |270977 | 12.9 | 1676M | 229 | 899 | 156k| 152k|1307 | 7 | 43k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2616.61/2624.76 c 2625s| 15600 | 477 |271292 | 12.9 | 1676M | 229 | 899 | 156k| 152k|1308 | 1 | 43k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2621.49/2629.60 c 2630s| 15700 | 471 |271979 | 12.9 | 1676M | 229 | 899 | 156k| 152k|1313 | 1 | 43k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2625.17/2633.33 c 2633s| 15800 | 485 |272772 | 12.8 | 1676M | 229 | 899 | 156k| 152k|1315 | 1 | 43k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2628.06/2636.28 c 2636s| 15900 | 482 |273169 | 12.8 | 1676M | 229 | 899 | 156k| 0 |1316 | 0 | 43k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2631.75/2639.90 c 2640s| 16000 | 478 |273711 | 12.8 | 1676M | 229 | 899 | 156k| 152k|1318 | 1 | 43k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2638.23/2646.40 c 2646s| 16100 | 478 |274414 | 12.7 | 1676M | 229 | 899 | 156k| 152k|1322 | 1 | 44k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2644.01/2652.26 c 2652s| 16200 | 484 |275788 | 12.7 | 1676M | 229 | 899 | 156k| 152k|1323 | 1 | 44k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2647.29/2655.54 c 2656s| 16300 | 478 |276213 | 12.7 | 1676M | 229 | 899 | 156k| 152k|1324 | 1 | 44k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2649.58/2657.88 c 2658s| 16400 | 481 |276384 | 12.6 | 1676M | 229 | 899 | 156k| 152k|1324 | 1 | 44k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2665.63/2673.98 c 2674s| 16500 | 500 |276971 | 12.6 | 1737M | 229 | 899 | 157k| 152k|1336 | 1 | 44k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2684.17/2692.54 c 2693s| 16600 | 529 |278633 | 12.6 | 1738M | 229 | 899 | 156k| 0 |1353 | 0 | 45k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2707.80/2716.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2707.80/2716.23 c 2716s| 16700 | 540 |279943 | 12.6 | 1738M | 229 | 899 | 155k| 152k|1376 | 1 | 45k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2720.96/2729.40 c 2729s| 16800 | 562 |282731 | 12.7 | 1741M | 229 | 899 | 154k| 152k|1404 | 3 | 45k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2726.65/2735.12 c 2735s| 16900 | 563 |282983 | 12.7 | 1741M | 229 | 899 | 154k| 152k|1404 | 1 | 45k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2732.43/2740.90 c 2741s| 17000 | 573 |283564 | 12.6 | 1741M | 229 | 899 | 155k| 152k|1404 | 2 | 45k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2738.90/2747.43 c 2747s| 17100 | 576 |284447 | 12.6 | 1741M | 229 | 899 | 155k| 152k|1405 | 1 | 46k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2745.28/2753.88 c 2754s| 17200 | 585 |285524 | 12.6 | 1741M | 229 | 899 | 155k| 152k|1405 | 1 | 46k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.59%
2754.75/2763.37 c 2763s| 17300 | 582 |286397 | 12.6 | 1742M | 229 | 899 | 155k| 0 |1424 | 0 | 46k| 16k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.74%
2766.22/2774.87 c 2775s| 17400 | 592 |287537 | 12.6 | 1742M | 229 | 899 | 155k| 0 |1442 | 0 | 46k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.77%
2805.80/2814.57 c 2815s| 17500 | 602 |289205 | 12.6 | 1746M | 229 | 899 | 155k| 0 |1542 | 0 | 46k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.77%
2809.59/2818.39 c 2818s| 17600 | 609 |289729 | 12.6 | 1746M | 229 | 899 | 155k| 0 |1552 | 0 | 47k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.77%
2822.05/2830.89 c 2831s| 17700 | 632 |291143 | 12.6 | 1747M | 229 | 899 | 155k| 0 |1586 | 0 | 47k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2829.02/2837.80 c 2838s| 17800 | 642 |291615 | 12.5 | 1747M | 229 | 899 | 155k| 0 |1586 | 0 | 47k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2836.00/2844.85 c 2845s| 17900 | 647 |292186 | 12.5 | 1747M | 229 | 899 | 155k| 152k|1586 | 3 | 47k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2841.48/2850.33 c 2850s| 18000 | 652 |293065 | 12.5 | 1748M | 229 | 899 | 155k| 152k|1589 | 1 | 48k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2854.94/2863.81 c 2864s| 18100 | 656 |294203 | 12.5 | 1748M | 229 | 899 | 155k| 152k|1598 | 1 | 48k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2860.92/2869.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2860.92/2869.89 c 2870s| 18200 | 665 |294834 | 12.5 | 1749M | 229 | 899 | 155k| 152k|1599 | 3 | 48k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2866.80/2875.73 c 2876s| 18300 | 660 |295542 | 12.4 | 1749M | 229 | 899 | 155k| 152k|1602 | 1 | 48k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2873.37/2882.39 c 2882s| 18400 | 647 |296591 | 12.4 | 1749M | 229 | 899 | 156k| 152k|1602 | 1 | 49k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2878.66/2887.60 c 2888s| 18500 | 642 |297252 | 12.4 | 1749M | 229 | 899 | 156k| 0 |1602 | 0 | 50k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2892.41/2901.45 c 2901s| 18600 | 647 |297722 | 12.4 | 1749M | 229 | 899 | 156k| 0 |1617 | 0 | 50k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2907.07/2916.16 c 2916s| 18700 | 653 |298457 | 12.3 | 1749M | 229 | 899 | 156k| 0 |1634 | 0 | 50k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2911.15/2920.21 c 2920s| 18800 | 649 |298946 | 12.3 | 1749M | 229 | 899 | 156k| 152k|1642 | 1 | 50k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2914.44/2923.51 c 2924s| 18900 | 649 |299686 | 12.3 | 1749M | 229 | 899 | 156k| 0 |1657 | 0 | 50k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2917.83/2926.93 c 2927s| 19000 | 651 |300260 | 12.3 | 1749M | 229 | 899 | 157k| 0 |1666 | 0 | 50k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2925.91/2935.01 c 2935s| 19100 | 683 |301877 | 12.3 | 1750M | 229 | 899 | 156k| 152k|1673 | 2 | 51k| 17k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2933.77/2942.95 c 2943s| 19200 | 696 |303098 | 12.3 | 1751M | 229 | 899 | 156k| 152k|1680 | 2 | 51k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2936.56/2945.73 c 2946s| 19300 | 697 |303443 | 12.2 | 1751M | 229 | 899 | 156k| 0 |1683 | 0 | 51k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2944.53/2953.77 c 2954s| 19400 | 722 |305361 | 12.3 | 1752M | 229 | 899 | 154k| 0 |1683 | 0 | 51k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2949.92/2959.15 c 2959s| 19500 | 728 |305634 | 12.2 | 1752M | 229 | 899 | 154k| 0 |1683 | 0 | 51k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2954.80/2964.07 c 2964s| 19600 | 731 |305931 | 12.2 | 1752M | 229 | 899 | 155k| 152k|1685 | 1 | 51k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2982.32/2991.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2982.32/2991.67 c 2992s| 19700 | 734 |306699 | 12.2 | 1769M | 229 | 899 | 155k| 152k|1788 | 2 | 52k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2988.29/2997.67 c 2998s| 19800 | 734 |307308 | 12.2 | 1769M | 229 | 899 | 155k| 152k|1793 | 1 | 52k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2990.98/3000.30 c 3000s| 19900 | 733 |307844 | 12.1 | 1769M | 229 | 899 | 155k| 0 |1794 | 0 | 52k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2995.57/3004.96 c 3005s| 20000 | 736 |308481 | 12.1 | 1769M | 229 | 899 | 155k| 0 |1796 | 0 | 52k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.78%
2999.76/3009.19 c 3009s| 20100 | 746 |309298 | 12.1 | 1769M | 229 | 899 | 155k| 152k|1814 | 1 | 53k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.85%
3004.93/3014.36 c 3014s| 20200 | 750 |309551 | 12.1 | 1770M | 229 | 899 | 155k| 152k|1814 | 1 | 53k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.85%
3019.39/3028.83 c 3029s| 20300 | 763 |311104 | 12.1 | 1770M | 229 | 899 | 155k| 0 |1835 | 0 | 53k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.97%
3023.08/3032.50 c 3032s| 20400 | 773 |311368 | 12.0 | 1770M | 229 | 899 | 155k| 0 |1835 | 0 | 53k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.97%
3027.26/3036.74 c 3037s| 20500 | 771 |311668 | 12.0 | 1770M | 229 | 899 | 155k| 152k|1835 | 1 | 53k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.97%
3032.85/3042.31 c 3042s| 20600 | 771 |312098 | 12.0 | 1770M | 229 | 899 | 155k| 152k|1835 | 4 | 53k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.97%
3038.33/3047.84 c 3048s| 20700 | 770 |312800 | 11.9 | 1770M | 229 | 899 | 155k| 0 |1835 | 0 | 54k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.97%
3049.09/3058.63 c 3059s| 20800 | 782 |313729 | 11.9 | 1773M | 229 | 899 | 155k| 152k|1871 | 1 | 54k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3054.37/3063.94 c 3064s| 20900 | 790 |314139 | 11.9 | 1773M | 229 | 899 | 155k| 0 |1873 | 0 | 54k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3060.46/3070.03 c 3070s| 21000 | 788 |314960 | 11.9 | 1773M | 229 | 899 | 155k| 0 |1873 | 0 | 54k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3064.84/3074.44 c 3074s| 21100 | 789 |315320 | 11.9 | 1773M | 229 | 899 | 155k| 0 |1873 | 0 | 55k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3093.85/3103.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3093.85/3103.58 c 3104s| 21200 | 791 |315800 | 11.8 | 1773M | 229 | 899 | 155k| 0 |1890 | 0 | 55k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3111.30/3121.04 c 3121s| 21300 | 814 |317199 | 11.8 | 1811M | 229 | 899 | 155k| 152k|2023 | 2 | 55k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3116.97/3126.78 c 3127s| 21400 | 817 |317423 | 11.8 | 1811M | 229 | 899 | 155k| 0 |2023 | 0 | 55k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3122.36/3132.16 c 3132s| 21500 | 840 |317960 | 11.8 | 1812M | 229 | 899 | 155k| 152k|2023 | 1 | 55k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3128.43/3138.25 c 3138s| 21600 | 847 |318944 | 11.8 | 1825M | 229 | 899 | 155k| 152k|2025 | 1 | 56k| 18k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3135.51/3145.34 c 3145s| 21700 | 848 |319385 | 11.7 | 1825M | 229 | 899 | 155k| 152k|2025 | 2 | 56k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3140.79/3150.62 c 3151s| 21800 | 846 |320180 | 11.7 | 1825M | 229 | 899 | 155k| 152k|2025 | 4 | 56k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3144.37/3154.27 c 3154s| 21900 | 845 |320580 | 11.7 | 1825M | 229 | 899 | 155k| 0 |2025 | 0 | 56k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3149.76/3159.64 c 3160s| 22000 | 847 |320905 | 11.7 | 1825M | 229 | 899 | 155k| 152k|2026 | 1 | 56k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3155.03/3164.93 c 3165s| 22100 | 848 |321202 | 11.6 | 1825M | 229 | 899 | 155k| 152k|2026 | 1 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3160.71/3170.64 c 3171s| 22200 | 847 |321595 | 11.6 | 1825M | 229 | 899 | 155k| 0 |2026 | 0 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3172.68/3182.64 c 3183s| 22300 | 845 |322110 | 11.6 | 1826M | 229 | 899 | 156k| 0 |2034 | 0 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3191.82/3201.88 c 3202s| 22400 | 847 |322999 | 11.6 | 1826M | 229 | 899 | 156k| 152k|2059 | 1 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3194.90/3204.90 c 3205s| 22500 | 844 |323577 | 11.6 | 1826M | 229 | 899 | 156k| 152k|2061 | 1 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3206.46/3216.51 c 3217s| 22600 | 866 |324988 | 11.6 | 1827M | 229 | 899 | 155k| 152k|2072 | 1 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3214.63/3224.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3214.63/3224.75 c 3225s| 22700 | 878 |325898 | 11.6 | 1828M | 229 | 899 | 154k| 0 |2072 | 0 | 57k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3221.71/3231.87 c 3232s| 22800 | 878 |326387 | 11.5 | 1828M | 229 | 899 | 154k| 0 |2072 | 0 | 58k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3226.69/3236.87 c 3237s| 22900 | 882 |326731 | 11.5 | 1828M | 229 | 899 | 155k| 152k|2072 | 2 | 58k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3241.94/3252.12 c 3252s| 23000 | 893 |327338 | 11.5 | 1829M | 229 | 899 | 155k| 0 |2103 | 0 | 58k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3248.12/3258.36 c 3258s| 23100 | 895 |327965 | 11.5 | 1829M | 229 | 899 | 155k| 0 |2103 | 0 | 58k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3253.00/3263.23 c 3263s| 23200 | 898 |328694 | 11.4 | 1829M | 229 | 899 | 155k| 152k|2103 | 1 | 59k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 3.98%
3271.54/3281.81 c 3282s| 23300 | 895 |329611 | 11.4 | 1829M | 229 | 899 | 155k| 0 |2210 | 0 | 59k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.05%
3291.68/3302.00 c 3302s| 23400 | 904 |330269 | 11.4 | 1829M | 229 | 899 | 155k| 0 |2275 | 0 | 59k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.05%
3309.52/3319.94 c 3320s| 23500 | 913 |330881 | 11.4 | 1829M | 229 | 899 | 155k| 0 |2293 | 0 | 59k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.05%
3327.57/3338.04 c 3338s| 23600 | 910 |331929 | 11.4 | 1830M | 229 | 899 | 155k| 152k|2314 | 1 | 59k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.05%
3366.15/3376.76 c 3377s| 23700 | 938 |333309 | 11.4 | 1857M | 229 | 899 | 155k| 152k|2373 | 2 | 59k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3381.00/3391.65 c 3392s| 23800 | 960 |334355 | 11.4 | 1858M | 229 | 899 | 155k| 152k|2417 | 2 | 60k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3420.17/3431.00 c 3431s| 23900 | 981 |335454 | 11.4 | 1859M | 229 | 899 | 155k| 0 |2438 | 0 | 60k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3453.57/3464.45 c 3464s| 24000 | 988 |336165 | 11.4 | 1859M | 229 | 899 | 155k| 152k|2475 | 1 | 60k| 19k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3476.80/3487.76 c 3488s| 24100 | 1002 |337022 | 11.4 | 1859M | 229 | 899 | 155k| 152k|2543 | 1 | 60k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3486.97/3497.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3486.97/3497.95 c 3498s| 24200 | 1004 |337567 | 11.4 | 1859M | 229 | 899 | 155k| 152k|2565 | 1 | 60k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3504.32/3515.32 c 3515s| 24300 | 1008 |338432 | 11.3 | 1890M | 229 | 899 | 155k| 0 |2722 | 0 | 60k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3551.00/3562.19 c 3562s| 24400 | 1011 |339292 | 11.3 | 1905M | 229 | 899 | 155k| 152k|2776 | 1 | 60k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3556.17/3567.35 c 3567s| 24500 | 1011 |339624 | 11.3 | 1905M | 229 | 899 | 155k| 0 |2779 | 0 | 61k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3566.14/3577.37 c 3577s| 24600 | 1026 |340474 | 11.3 | 1905M | 229 | 899 | 155k| 152k|2794 | 1 | 61k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3570.62/3581.85 c 3582s| 24700 | 1024 |341194 | 11.3 | 1905M | 229 | 899 | 155k| 0 |2794 | 0 | 61k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3575.01/3586.26 c 3586s| 24800 | 1023 |341845 | 11.3 | 1905M | 229 | 899 | 155k| 152k|2801 | 1 | 61k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3578.99/3590.23 c 3590s| 24900 | 1020 |342482 | 11.3 | 1905M | 229 | 899 | 155k| 0 |2801 | 0 | 61k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3583.98/3595.23 c 3595s| 25000 | 1024 |342903 | 11.2 | 1905M | 229 | 899 | 155k| 0 |2801 | 0 | 62k| 20k| 1.000000e+01 | 2.200000e+01 | 120.00%| 4.09%
3585.67/3597.00 c
3585.67/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.67/3597.00 c Solving Time (sec) : 3597.00
3585.67/3597.00 c Solving Nodes : 25045 (total of 29878 nodes in 2 runs)
3585.67/3597.00 c Primal Bound : +2.20000000000000e+01 (136 solutions)
3585.67/3597.00 c Dual Bound : +1.00000000000000e+01
3585.67/3597.00 c Gap : 120.00 %
3585.77/3597.03 s SATISFIABLE
3585.77/3597.03 v -x924 x923 -x922 x921 x920 -x919 -x918 x917 -x916 x915 -x914 x913 -x912 x911 x910 -x909 x908 -x907 -x906 x905 -x904 x903 x902 -x901
3585.77/3597.03 v -x900 x899 x898 -x897 -x896 x895 -x894 x893 -x892 x891 -x890 x889 x888 -x887 x886 -x885 -x884 x883 -x882 x881 -x880 x879
3585.77/3597.03 v -x878 x877 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
3585.77/3597.03 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
3585.77/3597.03 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
3585.77/3597.03 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
3585.77/3597.03 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
3585.77/3597.03 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
3585.77/3597.03 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
3585.77/3597.03 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
3585.77/3597.03 v -x111 -x110 -x109 -x108 -x107 -x106 x105 x104 -x103 x102 x101 x100 x99 -x98 -x97 x96 x95 -x94 x93 -x92 x91 x90 x89 x88 -x87
3585.77/3597.03 v -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
3585.77/3597.03 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
3585.77/3597.03 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11
3585.77/3597.03 v -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 -x876 -x852 -x828 -x804 -x780 -x756 -x732 -x708 -x684 -x660 -x636 -x612 -x588 -x564
3585.77/3597.03 v -x540 -x516 -x492 -x468 -x444 -x420 -x396 -x372 -x348 -x324 -x875 -x851 -x827 -x803 -x779 -x755 -x731 -x707 -x683 -x659 -x635
3585.77/3597.03 v -x611 -x587 -x563 -x539 -x515 -x491 -x467 -x443 -x419 -x395 -x371 -x347 -x323 -x874 -x850 -x826 -x802 -x778 -x754 -x730 -x706
3585.77/3597.03 v -x682 -x658 -x634 -x610 -x586 -x562 -x538 -x514 -x490 -x466 -x442 -x418 -x394 -x370 -x346 -x322 -x873 -x849 -x825 -x801 -x777
3585.77/3597.03 v -x753 -x729 -x705 -x681 -x657 -x633 -x609 -x585 -x561 -x537 -x513 -x489 -x465 -x441 x417 -x393 -x369 -x345 -x321 -x872 -x848
3585.77/3597.03 v -x824 -x800 -x776 -x752 -x728 -x704 -x680 -x656 -x632 -x608 -x584 -x560 -x536 -x512 -x488 -x464 -x440 -x416 -x392 -x368 -x344
3585.77/3597.03 v -x320 -x871 -x847 -x823 -x799 -x775 -x751 -x727 -x703 -x679 -x655 -x631 -x607 -x583 -x559 -x535 -x511 -x487 -x463 -x439
3585.77/3597.03 v -x415 -x391 -x367 -x343 -x319 -x870 -x846 -x822 -x798 -x774 -x750 -x726 -x702 -x678 -x654 -x630 -x606 -x582 -x558 -x534 -x510
3585.77/3597.03 v -x486 -x462 -x438 -x414 -x390 -x366 -x342 -x318 -x869 -x845 -x821 -x797 -x773 -x749 -x725 -x701 -x677 -x653 -x629 -x605 -x581
3585.77/3597.03 v -x557 -x533 -x509 -x485 -x461 -x437 -x413 -x389 -x365 -x341 -x317 -x868 -x844 -x820 -x796 -x772 -x748 -x724 -x700 -x676 -x652
3585.77/3597.03 v -x628 -x604 -x580 -x556 -x532 -x508 -x484 -x460 -x436 -x412 -x388 -x364 -x340 -x316 -x867 -x843 -x819 -x795 -x771 -x747 -x723
3585.77/3597.03 v -x699 -x675 -x651 -x627 -x603 -x579 -x555 -x531 -x507 -x483 -x459 -x435 -x411 -x387 -x363 -x339 -x315 -x866 -x842 -x818 -x794
3585.77/3597.03 v -x770 -x746 -x722 -x698 -x674 -x650 -x626 -x602 -x578 -x554 -x530 -x506 -x482 -x458 -x434 -x410 -x386 -x362 -x338 -x314
3585.77/3597.03 v -x865 -x841 -x817 -x793 -x769 -x745 -x721 -x697 -x673 -x649 -x625 -x601 -x577 -x553 -x529 -x505 -x481 -x457 -x433 -x409 -x385
3585.77/3597.03 v -x361 -x337 -x313 -x864 -x840 -x816 -x792 -x768 -x744 -x720 -x696 -x672 -x648 -x624 -x600 -x576 -x552 -x528 -x504 -x480 -x456
3585.77/3597.03 v -x432 -x408 -x384 -x360 -x336 -x312 -x863 -x839 -x815 -x791 -x767 -x743 -x719 -x695 -x671 -x647 -x623 -x599 -x575 -x551 -x527
3585.77/3597.03 v -x503 -x479 -x455 -x431 -x407 -x383 -x359 -x335 -x311 -x862 -x838 -x814 -x790 -x766 -x742 -x718 -x694 -x670 -x646 -x622 -x598
3585.77/3597.03 v -x574 -x550 -x526 -x502 -x478 -x454 -x430 -x406 -x382 -x358 -x334 -x310 -x861 -x837 -x813 -x789 -x765 -x741 -x717 -x693 -x669
3585.77/3597.03 v -x645 -x621 -x597 -x573 -x549 -x525 -x501 -x477 -x453 -x429 -x405 -x381 -x357 -x333 -x309 -x860 -x836 -x812 -x788 -x764
3585.77/3597.03 v -x740 -x716 -x692 -x668 -x644 -x620 -x596 -x572 -x548 -x524 -x500 -x476 -x452 -x428 -x404 -x380 -x356 -x332 -x308 -x859 -x835
3585.77/3597.03 v -x811 -x787 -x763 -x739 -x715 -x691 -x667 -x643 -x619 -x595 -x571 -x547 -x523 -x499 -x475 -x451 -x427 -x403 -x379 -x355 -x331
3585.77/3597.03 v -x307 -x858 -x834 -x810 -x786 -x762 -x738 -x714 -x690 -x666 -x642 -x618 -x594 -x570 -x546 -x522 -x498 -x474 -x450 -x426 -x402
3585.77/3597.03 v -x378 -x354 -x330 -x306 -x857 -x833 -x809 -x785 -x761 -x737 -x713 -x689 -x665 -x641 -x617 -x593 -x569 -x545 -x521 -x497 -x473
3585.77/3597.03 v -x449 -x425 -x401 -x377 -x353 -x329 -x305 -x856 -x832 -x808 -x784 -x760 -x736 -x712 -x688 -x664 -x640 -x616 -x592 -x568 -x544
3585.77/3597.03 v -x520 -x496 -x472 -x448 -x424 -x400 -x376 -x352 -x328 -x304 -x855 -x831 -x807 -x783 -x759 -x735 -x711 -x687 -x663 -x639
3585.77/3597.03 v -x615 -x591 -x567 -x543 -x519 -x495 -x471 -x447 -x423 -x399 -x375 -x351 -x327 -x303 x854 -x830 -x806 -x782 -x758 -x734 -x710
3585.77/3597.03 v -x686 -x662 -x638 -x614 -x590 -x566 -x542 -x518 -x494 -x470 -x446 -x422 -x398 -x374 -x350 x326 -x302 -x853 -x829 -x805 -x781
3585.77/3597.03 v -x757 -x733 -x709 -x685 -x661 -x637 -x613 -x589 -x565 -x541 -x517 -x493 -x469 -x445 -x421 -x397 -x373 -x349 -x325 -x301 x300
3585.77/3597.03 v x299 x298 -x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 x277
3585.77/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3585.77/3597.03 c Total Time : 3597.00
3585.77/3597.03 c solving : 3597.00
3585.77/3597.03 c presolving : 5.25 (included in solving)
3585.77/3597.03 c reading : 0.27 (included in solving)
3585.77/3597.03 c copying : 5.47 (30 #copies) (minimal 0.16, maximal 0.21, average 0.18)
3585.77/3597.03 c Original Problem :
3585.77/3597.03 c Problem name : HOME/instance-4449618-1721403114.opb
3585.77/3597.03 c Variables : 924 (924 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.77/3597.03 c Constraints : 152976 initial, 152976 maximal
3585.77/3597.03 c Objective : minimize, 24 non-zeros (abs.min = 1, abs.max = 1)
3585.77/3597.03 c Presolved Problem :
3585.77/3597.03 c Problem name : t_HOME/instance-4449618-1721403114.opb
3585.77/3597.03 c Variables : 899 (899 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.77/3597.03 c Constraints : 154134 initial, 157115 maximal
3585.77/3597.03 c Objective : minimize, 24 non-zeros (abs.min = 1, abs.max = 1)
3585.77/3597.03 c Nonzeros : 486183 constraint, 643 clique table
3585.77/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.77/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c domcol : 0.11 0.00 2 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c dualsparsify : 0.50 0.00 1 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c gateextraction : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c milp : 0.34 0.00 1 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c sparsify : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c trivial : 0.00 0.00 5 1 0 0 0 0 0 0 0 0
3585.77/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c symmetry : 1.33 0.00 1 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c knapsack : 0.00 0.00 4 0 0 0 0 0 1 3 25 67
3585.77/3597.03 c setppc : 0.00 0.00 7 0 0 0 0 0 2 0 0 0
3585.77/3597.03 c linear : 0.36 0.05 6 0 24 0 0 0 24 0 0 0
3585.77/3597.03 c logicor : 1.87 0.37 7 0 0 0 0 0 117 0 0 301
3585.77/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c root node : - - - 1 - - 1 - - - - -
3585.77/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.77/3597.03 c benderslp : 0 0 0 0 26079 0 0 2026 0 0 0 0 0 0 0
3585.77/3597.03 c integral : 0 0 0 0 26079 0 0 2026 0 0 26889 0 0 28670 32658
3585.77/3597.03 c knapsack : 51 51 11 420421 0 0 0 0 40883 5732 27320 0 0 0 0
3585.77/3597.03 c setppc : 24 24 22 415323 0 0 0 2019 278358 165 129818 0 0 0 0
3585.77/3597.03 c linear : 3+ 4 0 120143 0 0 0 3 70 5 357 0 0 0 0
3585.77/3597.03 c logicor : 154056+ 157047 22 119445 0 0 0 353 5202773 20811 1961404 0 0 0 0
3585.77/3597.03 c benders : 0 0 0 0 0 0 0 139 0 0 0 0 0 0 0
3585.77/3597.03 c fixedvar : 0 0 0 0 0 0 0 139 0 0 0 0 0 0 0
3585.77/3597.03 c countsols : 0 0 0 0 0 0 0 139 0 0 0 0 0 0 0
3585.77/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.77/3597.03 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c integral : 662.50 0.00 0.00 0.00 662.50 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c knapsack : 6.87 0.00 0.00 1.69 0.00 0.00 0.00 0.00 0.03 5.14
3585.77/3597.03 c setppc : 1.71 0.00 0.00 0.65 0.00 0.00 0.00 0.01 0.06 0.99
3585.77/3597.03 c linear : 0.14 0.05 0.00 0.05 0.00 0.00 0.00 0.01 0.00 0.03
3585.77/3597.03 c logicor : 305.35 0.37 0.43 212.43 0.00 0.00 0.00 0.57 4.42 87.13
3585.77/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.77/3597.03 c dualfix : 3 0 0 0
3585.77/3597.03 c genvbounds : 0 0 0 0
3585.77/3597.03 c nlobbt : 0 0 0 0
3585.77/3597.03 c obbt : 0 0 0 0
3585.77/3597.03 c probing : 0 0 0 0
3585.77/3597.03 c pseudoobj : 389825 56 3926 462
3585.77/3597.03 c redcost : 8200 0 0 2684
3585.77/3597.03 c rootredcost : 2 0 0 0
3585.77/3597.03 c symmetry : 26213 0 165 64652
3585.77/3597.03 c vbounds : 336131 0 0 0
3585.77/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.77/3597.03 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c genvbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3585.77/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.77/3597.03 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3585.77/3597.03 c pseudoobj : 3.16 0.00 0.00 3.15 0.00 0.01
3585.77/3597.03 c redcost : 0.19 0.00 0.00 0.18 0.00 0.00
3585.77/3597.03 c rootredcost : 0.05 0.00 0.00 0.04 0.00 0.01
3585.77/3597.03 c symmetry : 4.16 0.00 1.33 2.45 0.00 0.37
3585.77/3597.03 c vbounds : 1.29 0.00 0.00 1.26 0.00 0.03
3585.77/3597.03 c Symmetry :
3585.77/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.77/3597.03 c orbital reduction: 64368 reductions applied, 135 cutoffs
3585.77/3597.03 c lexicographic red: 438 reductions applied, 30 cutoffs
3585.77/3597.03 c shadow tree time : 0.05 s
3585.77/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.77/3597.03 c propagation : 10.57 30622 30532 - 466715 142.1 504 68.5 - - -
3585.77/3597.03 c infeasible LP : 0.58 610 440 - 4755 159.3 0 0.0 87 89.6 0
3585.77/3597.03 c bound exceed. LP : 0.26 215 81 - 1078 254.6 0 0.0 33 72.8 9
3585.77/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.77/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.77/3597.03 c applied globally : 0.79 - - 0 59732 49.5 - - 116 - -
3585.77/3597.03 c applied locally : - - - 0 2384 220.4 - - 4 - -
3585.77/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.77/3597.03 c cut pool : 0.77 - 3922 42 - - 14036 19066 - - - - - (maximal pool size: 2587)
3585.77/3597.03 c aggregation : 4.96 0.00 673 22 0 0 1 1 0 0 0 0 0
3585.77/3597.03 c > cmir : - - - - - - - 1 0 0 0 0 -
3585.77/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.77/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.77/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c gomory : 1419.93 0.00 599 20 0 0 18426 17203 5406 1701 1099 602 0
3585.77/3597.03 c > gomorymi : - - - - - - - 5971 2703 451 129 322 -
3585.77/3597.03 c > strongcg : - - - - - - - 11232 2703 1250 970 280 -
3585.77/3597.03 c impliedbounds : 0.02 0.00 673 22 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c multilinear : 0.00 0.00 443 22 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c rapidlearning : 1.55 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c rlt : 0.00 0.00 233 20 0 0 0 0 0 0 0 0 0
3585.77/3597.03 c zerohalf : 4.58 0.00 601 22 0 0 1580 1862 565 1598 1170 428 0
3585.77/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.77/3597.03 c hybrid : 0.04 0.00 954 22 2772 629 22265 157 0 4591
3585.77/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3585.77/3597.03 c problem variables: 0.00 - 0 0
3585.77/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.77/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c relpscost : 662.45 0.00 26079 0 0 0 26889 0 32279 32658
3585.77/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.77/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.77/3597.03 c LP solutions : 0.00 - - 0 0
3585.77/3597.03 c relax solutions : 0.00 - - 0 0
3585.77/3597.03 c pseudo solutions : 0.00 - - 0 0
3585.77/3597.03 c strong branching : 0.06 - - 0 0
3585.77/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3585.77/3597.03 c adaptivediving : 3.84 0.00 29 0 0
3585.77/3597.03 c alns : 2.18 0.00 5 0 0
3585.77/3597.03 c bound : 0.00 0.00 0 0 0
3585.77/3597.03 c clique : 0.22 0.00 1 1 1
3585.77/3597.03 c coefdiving : 0.00 0.00 0 0 0
3585.77/3597.03 c completesol : 0.00 0.00 0 0 0
3585.77/3597.03 c conflictdiving : 8.38 0.00 22 0 0
3585.77/3597.03 c crossover : 5.45 0.00 12 4 0
3585.77/3597.03 c dins : 0.00 0.00 0 0 0
3585.77/3597.03 c distributiondivin: 4.90 0.00 22 0 0
3585.77/3597.03 c dps : 0.00 0.00 0 0 0
3585.77/3597.03 c dualval : 0.00 0.00 0 0 0
3585.77/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3585.77/3597.03 c feasjump : 0.00 0.00 0 0 0
3585.77/3597.03 c feaspump : 13.67 0.00 1 0 0
3585.77/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3585.77/3597.03 c fracdiving : 1.82 0.00 22 0 0
3585.77/3597.03 c gins : 0.04 0.00 0 0 0
3585.77/3597.03 c guideddiving : 0.48 0.00 20 0 0
3585.77/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3585.77/3597.03 c indicator : 0.01 0.00 0 0 0
3585.77/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3585.77/3597.03 c indoneopt : 0.01 0.00 0 0 0
3585.77/3597.03 c indrounding : 0.00 0.00 0 0 0
3585.77/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3585.77/3597.03 c intdiving : 0.00 0.00 0 0 0
3585.77/3597.03 c intshifting : 0.00 0.00 0 0 0
3585.77/3597.03 c linesearchdiving : 0.64 0.00 22 0 0
3585.77/3597.03 c localbranching : 0.00 0.00 0 0 0
3585.77/3597.03 c locks : 0.03 0.00 1 0 0
3585.77/3597.03 c lpface : 89.51 0.00 4 0 0
3585.77/3597.03 c mpec : 0.00 0.00 0 0 0
3585.77/3597.03 c multistart : 0.00 0.00 0 0 0
3585.77/3597.03 c mutation : 0.00 0.00 0 0 0
3585.77/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3585.77/3597.03 c objpscostdiving : 1.91 0.00 12 1 0
3585.77/3597.03 c octane : 0.00 0.00 0 0 0
3585.77/3597.03 c ofins : 0.01 0.00 0 0 0
3585.77/3597.03 c oneopt : 0.04 0.00 4 0 0
3585.77/3597.03 c padm : 0.00 0.00 0 0 0
3585.77/3597.03 c proximity : 0.00 0.00 0 0 0
3585.77/3597.03 c pscostdiving : 9.01 0.00 22 0 0
3585.77/3597.03 c randrounding : 0.38 0.00 1908 2 0
3585.77/3597.03 c rens : 1.09 0.00 2 0 0
3585.77/3597.03 c reoptsols : 0.00 0.00 0 0 0
3585.77/3597.03 c repair : 0.00 0.00 0 0 0
3585.77/3597.03 c rins : 5.13 0.00 11 6 0
3585.77/3597.03 c rootsoldiving : 10.18 0.00 12 3 0
3585.77/3597.03 c rounding : 10.26 0.00 2198 0 0
3585.77/3597.03 c scheduler : 0.00 0.00 0 0 0
3585.77/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3585.77/3597.03 c shifting : 30.96 0.00 3714 44 0
3585.77/3597.03 c simplerounding : 0.07 0.00 27092 0 0
3585.77/3597.03 c smallcard : 0.00 0.00 0 0 0
3585.77/3597.03 c subnlp : 0.02 0.00 0 0 0
3585.77/3597.03 c trivial : 0.01 0.00 4 0 0
3585.77/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3585.77/3597.03 c trustregion : 0.00 0.00 0 0 0
3585.77/3597.03 c trysol : 0.01 0.00 0 0 0
3585.77/3597.03 c twoopt : 0.00 0.00 0 0 0
3585.77/3597.03 c undercover : 0.00 0.00 0 0 0
3585.77/3597.03 c vbounds : 0.13 0.00 2 1 1
3585.77/3597.03 c veclendiving : 1.16 0.00 22 0 0
3585.77/3597.03 c zeroobj : 0.00 0.00 0 0 0
3585.77/3597.03 c zirounding : 18.83 0.00 3701 74 0
3585.77/3597.03 c other solutions : - - - 0 -
3585.77/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 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
3585.77/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.77/3597.03 c primal LP : 3.91 334 0 0.00 0.00 3.91 334
3585.77/3597.03 c dual LP : 511.57 28318 288655 10.46 564.26 9.08 725
3585.77/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3585.77/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.77/3597.03 c resolve instable : 0.00 0 0 0.00 -
3585.77/3597.03 c diving/probing LP: 95.43 1949 54424 27.92 570.29
3585.77/3597.03 c strong branching : 154.23 20272 174988 8.63 1134.58 - - 1586
3585.77/3597.03 c (at root node) : - 45 5895 131.00 -
3585.77/3597.03 c conflict analysis: 0.05 3 9 3.00 165.42
3585.77/3597.03 c B&B Tree :
3585.77/3597.03 c number of runs : 2
3585.77/3597.03 c nodes : 25045 (13559 internal, 11486 leaves)
3585.77/3597.03 c feasible leaves : 0
3585.77/3597.03 c infeas. leaves : 11484
3585.77/3597.03 c objective leaves : 1
3585.77/3597.03 c nodes (total) : 29878 (16329 internal, 13549 leaves)
3585.77/3597.03 c nodes left : 1027
3585.77/3597.03 c max depth : 229
3585.77/3597.03 c max depth (total): 229
3585.77/3597.03 c backtracks : 982 (3.9%)
3585.77/3597.03 c early backtracks : 0 (0.0%)
3585.77/3597.03 c nodes exc. ref. : 0 (0.0%)
3585.77/3597.03 c delayed cutoffs : 1048
3585.77/3597.03 c repropagations : 280899 (100483 domain reductions, 743 cutoffs)
3585.77/3597.03 c avg switch length: 23.89
3585.77/3597.03 c switching time : 120.04
3585.77/3597.03 c Root Node :
3585.77/3597.03 c First LP value : +0.00000000000000e+00
3585.77/3597.03 c First LP Iters : 2110 (1044.33 Iter/sec)
3585.77/3597.03 c First LP Time : 2.02
3585.77/3597.03 c Final Dual Bound : +1.00000000000000e+01
3585.77/3597.03 c Final Root Iters : 7851
3585.77/3597.03 c Root LP Estimate : +3.78863146356040e+01
3585.77/3597.03 c Solution :
3585.77/3597.03 c Solutions found : 136 (2 improvements)
3585.77/3597.03 c First Solution : +2.30000000000000e+01 (in run 1, after 1 nodes, 3.88 seconds, depth 26, found by <clique>)
3585.77/3597.03 c Gap First Sol. : infinite
3585.77/3597.03 c Gap Last Sol. : 120.00 %
3585.77/3597.03 c Primal Bound : +2.20000000000000e+01 (in run 2, after 1038 nodes, 1161.94 seconds, depth 80, found by <randrounding>)
3585.77/3597.03 c Dual Bound : +1.00000000000000e+01
3585.77/3597.03 c Gap : 120.00 %
3585.77/3597.03 c Integrals : Total Avg%
3585.77/3597.03 c primal-dual : 215047.23 59.79
3585.77/3597.03 c primal-ref : - - (not evaluated)
3585.77/3597.03 c dual-ref : - - (not evaluated)
3586.06/3597.30 c Time complete: 3586.08.
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: 63968 MiB (62005 MiB free)
memory of node 1: 64473 MiB (61955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449618-1721403114/watcher-4449618-1721403114 -o /tmp/evaluation-result-4449618-1721403114/solver-4449618-1721403114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721403126-1020634 --watchdog 3760 pbscip -f HOME/instance-4449618-1721403114.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1020693, runsolver pid=1020687
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.11 1.20 1.61 7/259 1020697
/proc/meminfo: memFree=126856864/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=89132 memory=48208 CPUtime=0.1 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 9056 0 0 0 9 1 0 0 20 0 1 0 192482226 91271168 12052 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 22283 12052 3291 3540 0 10540 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 89132 KiB
Current children cumulated memory: 48208 KiB
[startup+0.205921 s]*
/proc/loadavg: 1.11 1.20 1.61 7/256 1020701
/proc/meminfo: memFree=126777488/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=118084 memory=76488 CPUtime=0.2 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 16138 0 0 0 18 2 0 0 20 0 1 0 192482226 120918016 19122 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 29521 19122 3291 3540 0 17778 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118084 KiB
Current children cumulated memory: 76488 KiB
[startup+0.305757 s]*
/proc/loadavg: 1.11 1.20 1.61 4/254 1020705
/proc/meminfo: memFree=126723476/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=154688 memory=115668 CPUtime=0.3 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 26443 0 0 0 27 3 0 0 20 0 1 0 192482226 158400512 28917 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 38672 28917 3594 3540 0 26929 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154688 KiB
Current children cumulated memory: 115668 KiB
[startup+0.700178 s]
/proc/loadavg: 1.11 1.20 1.61 4/256 1020711
/proc/meminfo: memFree=126583576/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=309240 memory=253432 CPUtime=0.68 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 59289 0 0 0 61 7 0 0 20 0 1 0 192482226 316661760 63358 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 77310 63358 3642 3540 0 65567 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 309240 KiB
Current children cumulated memory: 253432 KiB
[startup+1.50024 s]
/proc/loadavg: 1.11 1.20 1.61 6/259 1020743
/proc/meminfo: memFree=126418624/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=354864 memory=310864 CPUtime=1.48 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 84484 0 0 0 135 13 0 0 20 0 1 0 192482226 363380736 77716 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 88716 77716 3769 3540 0 76973 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 354864 KiB
Current children cumulated memory: 310864 KiB
[startup+3.10582 s]
/proc/loadavg: 1.34 1.25 1.63 6/259 1020743
/proc/meminfo: memFree=125978324/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=618372 memory=530472 CPUtime=3.09 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 105696 0 0 0 289 20 0 0 20 0 1 0 192482226 633212928 132618 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 154593 132618 3833 3540 0 142850 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 618372 KiB
Current children cumulated memory: 530472 KiB
[startup+6.3002 s]
/proc/loadavg: 1.34 1.25 1.63 6/259 1020745
/proc/meminfo: memFree=125847460/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=699520 memory=636064 CPUtime=6.27 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 126952 0 0 0 603 24 0 0 20 0 1 0 192482226 716308480 159016 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 174880 159016 3993 3540 0 163137 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 699520 KiB
Current children cumulated memory: 636064 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 1.30 1.64 5/259 1020746
/proc/meminfo: memFree=125803456/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=743864 memory=657260 CPUtime=12.66 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 129264 0 0 0 1241 25 0 0 20 0 1 0 192482226 761716736 164315 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 185966 164315 4009 3540 0 174223 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 743864 KiB
Current children cumulated memory: 657260 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.43 1.68 6/259 1020748
/proc/meminfo: memFree=125623760/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=788008 memory=675964 CPUtime=25.42 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 130905 0 0 0 2516 26 0 0 20 0 1 0 192482226 806920192 168991 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 197002 168991 4009 3540 0 185259 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 788008 KiB
Current children cumulated memory: 675964 KiB
[startup+51.1056 s]
/proc/loadavg: 2.81 1.65 1.75 5/259 1020891
/proc/meminfo: memFree=125695800/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=937984 memory=710068 CPUtime=50.95 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 138914 0 0 0 5067 28 0 0 20 0 1 0 192482226 960495616 177517 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 234496 177517 4009 3540 0 222753 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 937984 KiB
Current children cumulated memory: 710068 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.03 1.87 5/258 1020899
/proc/meminfo: memFree=125197028/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1110784 memory=886044 CPUtime=101.97 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 183244 0 0 0 10164 33 0 0 20 0 1 0 192482226 1137442816 221511 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 277696 221511 4040 3540 0 265953 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1110784 KiB
Current children cumulated memory: 886044 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.41 2.01 5/258 1021002
/proc/meminfo: memFree=125326500/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1162740 memory=939268 CPUtime=161.8 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 196412 0 0 0 16145 35 0 0 20 0 1 0 192482226 1190645760 234817 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 290685 234817 4040 3540 0 278942 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1162740 KiB
Current children cumulated memory: 939268 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.72 2.15 5/256 1021012
/proc/meminfo: memFree=125137340/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1166560 memory=943668 CPUtime=221.64 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 207878 0 0 0 22127 37 0 0 20 0 1 0 192482226 1194557440 235917 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 291640 235917 4040 3540 0 279897 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1166560 KiB
Current children cumulated memory: 943668 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.97 2.27 5/256 1021023
/proc/meminfo: memFree=124985820/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1188212 memory=945280 CPUtime=281.48 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 208060 0 0 0 28111 37 0 0 20 0 1 0 192482226 1216729088 236320 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 297053 236320 4040 3540 0 285310 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 1188212 KiB
Current children cumulated memory: 945280 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.19 2.39 5/254 1021035
/proc/meminfo: memFree=124788436/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1239900 memory=1012068 CPUtime=341.33 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 240114 0 0 0 34092 41 0 0 20 0 1 0 192482226 1269657600 253017 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 309975 253017 4040 3540 0 298232 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1239900 KiB
Current children cumulated memory: 1012068 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.50 5/254 1021045
/proc/meminfo: memFree=124567524/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1239900 memory=1022824 CPUtime=401.18 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 240346 0 0 0 40077 41 0 0 20 0 1 0 192482226 1269657600 255706 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 309975 255706 4056 3540 0 298232 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1239900 KiB
Current children cumulated memory: 1022824 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.60 5/254 1021055
/proc/meminfo: memFree=124370580/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=1254604 memory=1039688 CPUtime=461.03 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 252206 0 0 0 46060 43 0 0 20 0 1 0 192482226 1284714496 259922 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 313651 259922 4056 3540 0 301908 0
################
# More data... #
################
/proc/loadavg: 4.11 4.10 4.03 5/256 1022531
/proc/meminfo: memFree=119006204/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2222504 memory=1698276 CPUtime=3212.24 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 450125 0 0 0 321142 82 0 0 20 0 1 0 192482226 2275844096 424569 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 555626 424569 4202 3540 0 543883 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 2222504 KiB
Current children cumulated memory: 1698276 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/256 1022541
/proc/meminfo: memFree=118955812/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2222504 memory=1698276 CPUtime=3272.04 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 450416 0 0 0 327122 82 0 0 20 0 1 0 192482226 2275844096 424569 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 555626 424569 4202 3540 0 543883 0
Current children cumulated CPU time: 3272.04 s
Current children cumulated vsize: 2222504 KiB
Current children cumulated memory: 1698276 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/256 1022553
/proc/meminfo: memFree=118847432/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2222504 memory=1698276 CPUtime=3331.85 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 450710 0 0 0 333103 82 0 0 20 0 1 0 192482226 2275844096 424569 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 555626 424569 4202 3540 0 543883 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 2222504 KiB
Current children cumulated memory: 1698276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/258 1022733
/proc/meminfo: memFree=118703500/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2326800 memory=1774500 CPUtime=3391.66 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 460928 0 0 0 339082 84 0 0 20 0 1 0 192482226 2382643200 443625 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 581700 443625 4202 3540 0 569957 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 2326800 KiB
Current children cumulated memory: 1774500 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.14 4.05 5/258 1022743
/proc/meminfo: memFree=118615452/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3451.48 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 466811 0 0 0 345063 85 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.14 4.06 5/257 1022811
/proc/meminfo: memFree=118540620/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3511.3 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467128 0 0 0 351045 85 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 1022822
/proc/meminfo: memFree=118488296/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3571.12 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467458 0 0 0 357026 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3597.32 s]
# the end of solver process 1020693 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.21 s, system=0.886377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.13 4.06 5/257 1022822
/proc/meminfo: memFree=118488128/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3572.82 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467458 0 0 0 357196 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.06 5/257 1022823
/proc/meminfo: memFree=118484996/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3579.19 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467459 0 0 0 357833 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3579.19 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.06 5/257 1022823
/proc/meminfo: memFree=118472648/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3582.38 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467465 0 0 0 358152 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3582.38 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1022824
/proc/meminfo: memFree=118440528/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3583.98 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467465 0 0 0 358312 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.13 4.06 5/257 1022826
/proc/meminfo: memFree=118440328/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3584.78 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467465 0 0 0 358392 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3584.78 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1022826
/proc/meminfo: memFree=118440328/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3585.57 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467465 0 0 0 358471 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3597.2 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1022826
/proc/meminfo: memFree=118440360/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2291456 memory=1762304 CPUtime=3585.97 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467509 0 0 0 358511 86 0 0 20 0 1 0 192482226 2346450944 440576 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 572864 440576 4202 3540 0 561121 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 2291456 KiB
Current children cumulated memory: 1762304 KiB
[startup+3597.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1022826
/proc/meminfo: memFree=118440360/131524600 swapFree=131071996/131071996
[pid=1020693] ppid=1020687 vsize=2118888 memory=1600476 CPUtime=3586.06 cores=4,6
/proc/1020693/stat : 1020693 (pbscip) R 1020687 1020693 1018507 0 -1 4194304 467515 0 0 0 358520 86 0 0 20 0 1 0 192482226 2169741312 400127 134679101440 4194304 18693293 140723267948544 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41738240 140723267953666 140723267953765 140723267953765 140723267960782 0
/proc/1020693/statm: 528667 400119 4202 3540 0 516924 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 2118888 KiB
Current children cumulated memory: 1600476 KiB
Child status: 0
Real time (s): 3597.32
CPU time (s): 3586.1
CPU user time (s): 3585.21
CPU system time (s): 0.886377
CPU usage (%): 99.6879
Max. virtual memory (cumulated for all children) (KiB): 2350480
Max. memory (cumulated for all children) (KiB): 1796560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.21
system time used= 0.886377
maximum resident set size= 1796560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467551
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= 83
involuntary context switches= 1345
# summary of solver processes directly reported to runsolver:
# pid: 1020693
# total CPU time (s): 3586.1
# total CPU user time (s): 3585.21
# total CPU system time (s): 0.886377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24274 second user time and 16.7863 second system time
The end