0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432646-1721076950.opb>
0.00/0.03 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.03 c problem read in 0.02
0.00/0.04 o 1968
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.968000e+03
0.00/0.04 c presolving:
0.00/0.06 c (round 1, fast) 183 del vars, 183 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3816 clqs
0.00/0.06 c (round 2, fast) 363 del vars, 828 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3171 clqs
0.00/0.06 c (round 3, fast) 428 del vars, 958 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3041 clqs
0.00/0.06 c (round 4, fast) 481 del vars, 1095 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2904 clqs
0.00/0.07 c (round 5, fast) 504 del vars, 1166 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2833 clqs
0.00/0.07 c (round 6, fast) 519 del vars, 1208 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2791 clqs
0.00/0.07 c (round 7, fast) 528 del vars, 1228 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2771 clqs
0.00/0.07 c (round 8, fast) 534 del vars, 1242 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2757 clqs
0.00/0.07 c (round 9, fast) 538 del vars, 1255 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2744 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.09/0.11 c (round 10, exhaustive) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2742 clqs
0.09/0.13 c (round 11, exhaustive) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2742 upgd conss, 0 impls, 2742 clqs
0.09/0.17 c (0.2s) probing: 51/1429 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.17 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.18 c (0.2s) no symmetry present (symcode time: 0.00)
0.09/0.18 c presolving (12 rounds: 12 fast, 3 medium, 3 exhaustive):
0.09/0.18 c 539 deleted vars, 1258 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 0 implications, 2742 cliques
0.09/0.18 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 2742 constraints
0.09/0.18 c 2742 constraints of type <setppc>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.14
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 10.0.0
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.18 c limits/time = 3596.994044
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.18 c limits/memory = 27900
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 o 1692
0.09/0.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.18 c t 0.2s| 1 | 0 | 0 | - | trivial| 0 |1429 |2742 | 0 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.692000e+03 | 543.35%| unknown
0.19/0.23 o 1171
0.19/0.23 c p 0.2s| 1 | 0 | 0 | - | clique| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.171000e+03 | 345.25%| unknown
0.19/0.23 o 1084
0.19/0.23 c p 0.2s| 1 | 0 | 0 | - | locks| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.084000e+03 | 312.17%| unknown
0.19/0.27 o 1075
0.19/0.27 c i 0.3s| 1 | 0 | 0 | - | oneopt| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.075000e+03 | 308.75%| unknown
0.28/0.34 c 0.3s| 1 | 0 | 1783 | - | 23M | 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 9.775000e+02 | 1.075000e+03 | 9.97%| unknown
0.76/0.88 c 0.9s| 1 | 0 | 2594 | - | 27M | 0 |1429 |2742 |2770 | 28 | 1 | 0 | 0 | 9.885000e+02 | 1.075000e+03 | 8.75%| unknown
1.26/1.32 c 1.3s| 1 | 0 | 3379 | - | 27M | 0 |1429 |2742 |2789 | 47 | 2 | 0 | 0 | 9.910000e+02 | 1.075000e+03 | 8.48%| unknown
1.66/1.78 c 1.8s| 1 | 0 | 4436 | - | 28M | 0 |1429 |2742 |2811 | 69 | 3 | 0 | 0 | 9.947500e+02 | 1.075000e+03 | 8.07%| unknown
2.35/2.47 c 2.5s| 1 | 0 | 5915 | - | 43M | 0 |1429 |2742 |2829 | 87 | 4 | 0 | 0 | 9.965744e+02 | 1.075000e+03 | 7.87%| unknown
3.36/3.40 c 3.4s| 1 | 0 | 7600 | - | 58M | 0 |1429 |2742 |2845 | 103 | 5 | 0 | 0 | 9.986119e+02 | 1.075000e+03 | 7.65%| unknown
4.25/4.38 c 4.4s| 1 | 0 | 8771 | - | 75M | 0 |1429 |2742 |2858 | 116 | 6 | 0 | 0 | 1.000464e+03 | 1.075000e+03 | 7.45%| unknown
5.65/5.74 c 5.7s| 1 | 0 | 9726 | - | 90M | 0 |1429 |2742 |2862 | 120 | 7 | 0 | 0 | 1.000979e+03 | 1.075000e+03 | 7.39%| unknown
6.74/6.89 c 6.9s| 1 | 0 | 10215 | - | 108M | 0 |1429 |2742 |2863 | 121 | 8 | 0 | 0 | 1.001257e+03 | 1.075000e+03 | 7.37%| unknown
7.84/7.90 c 7.9s| 1 | 0 | 11002 | - | 130M | 0 |1429 |2742 |2865 | 123 | 9 | 0 | 0 | 1.001441e+03 | 1.075000e+03 | 7.35%| unknown
9.05/9.11 c 9.1s| 1 | 0 | 11698 | - | 145M | 0 |1429 |2742 |2867 | 125 | 10 | 0 | 0 | 1.001607e+03 | 1.075000e+03 | 7.33%| unknown
9.23/9.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.23/9.34 c 9.3s| 1 | 0 | 12236 | - | 145M | 0 |1429 |2742 |2870 | 128 | 11 | 0 | 0 | 1.001699e+03 | 1.075000e+03 | 7.32%| unknown
9.43/9.55 c 9.5s| 1 | 0 | 12570 | - | 145M | 0 |1429 |2742 |2874 | 132 | 12 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
9.63/9.77 c 9.8s| 1 | 0 | 12577 | - | 146M | 0 |1429 |2742 |2875 | 133 | 13 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
9.83/10.00 c 10.0s| 1 | 0 | 12589 | - | 146M | 0 |1429 |2742 |2876 | 134 | 14 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
10.13/10.22 o 1058
10.13/10.22 c L10.2s| 1 | 0 | 12589 | - | alns| 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.058000e+03 | 5.61%| unknown
10.13/10.23 c 10.2s| 1 | 0 | 12589 | - | 147M | 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.058000e+03 | 5.61%| unknown
10.13/10.23 o 1055
10.13/10.23 c i10.2s| 1 | 0 | 12589 | - | oneopt| 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.055000e+03 | 5.31%| unknown
17.62/17.70 c 17.7s| 1 | 2 | 12593 | - | 147M | 0 |1429 |2742 |2876 | 134 | 16 | 0 | 59 | 1.002165e+03 | 1.055000e+03 | 5.27%| unknown
43.56/43.77 o 1054
43.56/43.77 c d43.8s| 39 | 40 | 54546 |1104.1 |adaptive| 14 |1429 |2766 |2887 | 0 | 1 | 24 | 226 | 1.002165e+03 | 1.054000e+03 | 5.17%| unknown
47.34/47.50 c 47.5s| 100 | 77 | 63093 | 510.1 | 207M | 54 |1429 |2766 |2911 | 221 | 0 | 24 | 226 | 1.002165e+03 | 1.054000e+03 | 5.17%| unknown
52.95/53.15 o 1053
52.95/53.15 c *53.1s| 137 | 95 | 80206 | 497.2 | LP | 57 |1429 |2769 |2912 | 269 | 1 | 27 | 235 | 1.002841e+03 | 1.053000e+03 | 5.00%| unknown
52.95/53.20 o 1052
52.95/53.20 c *53.2s| 159 | 92 | 80384 | 429.1 | LP | 57 |1429 |2769 |2912 | 269 | 1 | 27 | 235 | 1.002841e+03 | 1.052000e+03 | 4.90%| unknown
58.51/58.72 o 1050
58.51/58.72 c *58.7s| 193 | 109 | 97244 | 440.9 | LP | 57 |1429 |2770 |2912 | 319 | 1 | 28 | 246 | 1.002841e+03 | 1.050000e+03 | 4.70%| unknown
58.51/58.75 c 58.7s| 200 | 106 | 97441 | 426.4 | 240M | 57 |1429 |2770 |2913 | 319 | 1 | 28 | 246 | 1.002841e+03 | 1.050000e+03 | 4.70%| unknown
63.71/63.91 c 63.9s| 300 | 112 |114495 | 340.8 | 254M | 57 |1429 |2784 |2911 | 381 | 1 | 42 | 256 | 1.003404e+03 | 1.050000e+03 | 4.64%| unknown
63.71/63.93 o 1049
63.71/63.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.71/63.93 c *63.9s| 304 | 113 |114670 | 336.9 | LP | 57 |1429 |2784 |2911 | 381 | 1 | 42 | 256 | 1.003404e+03 | 1.049000e+03 | 4.54%| unknown
74.98/75.20 o 1047
74.98/75.20 c o75.2s| 356 | 121 |143311 | 368.2 |objpscos| 57 |1429 |2796 |2880 | 457 | 1 | 54 | 269 | 1.003872e+03 | 1.047000e+03 | 4.30%| unknown
80.46/80.74 o 1046
80.46/80.74 c *80.7s| 396 | 125 |156936 | 365.4 | LP | 57 |1429 |2796 |2920 | 570 | 3 | 54 | 282 | 1.004414e+03 | 1.046000e+03 | 4.14%| unknown
80.46/80.75 c 80.7s| 400 | 125 |157070 | 362.1 | 262M | 57 |1429 |2796 |2909 | 570 | 1 | 54 | 282 | 1.004414e+03 | 1.046000e+03 | 4.14%| unknown
82.45/82.78 o 1044
82.45/82.78 c *82.8s| 479 | 123 |165021 | 318.9 | LP | 57 |1429 |2819 |2909 | 615 | 1 | 77 | 282 | 1.004414e+03 | 1.044000e+03 | 3.94%| unknown
83.76/84.04 c 84.0s| 500 | 130 |177905 | 331.3 | 263M | 57 |1429 |2819 |2939 | 678 | 0 | 77 | 282 | 1.004870e+03 | 1.044000e+03 | 3.89%| unknown
93.84/94.11 c 94.1s| 600 | 160 |216618 | 340.6 | 264M | 57 |1429 |2870 |2916 | 839 | 1 | 128 | 313 | 1.005116e+03 | 1.044000e+03 | 3.87%| unknown
99.42/99.74 o 1043
99.42/99.74 c L99.7s| 679 | 189 |243538 | 340.6 |crossove| 57 |1429 |2952 |2939 | 932 | 2 | 210 | 329 | 1.005364e+03 | 1.043000e+03 | 3.74%| unknown
101.91/102.24 c 102s| 700 | 204 |259729 | 353.6 | 265M | 57 |1429 |2986 |2925 |1033 | 1 | 244 | 345 | 1.005364e+03 | 1.043000e+03 | 3.74%| unknown
112.98/113.35 c 113s| 800 | 258 |317324 | 381.4 | 266M | 57 |1429 |3056 |2941 |1415 | 0 | 314 | 393 | 1.005744e+03 | 1.043000e+03 | 3.70%| unknown
122.46/122.81 c 123s| 900 | 284 |356134 | 382.1 | 267M | 57 |1429 |3082 |2923 |1555 | 1 | 340 | 425 | 1.006106e+03 | 1.043000e+03 | 3.67%| unknown
128.44/128.85 c 129s| 1000 | 304 |384273 | 372.1 | 267M | 57 |1429 |3128 |2944 |1630 | 2 | 386 | 454 | 1.006242e+03 | 1.043000e+03 | 3.65%| unknown
152.39/152.83 c 153s| 1100 | 350 |474124 | 420.0 | 271M | 57 |1429 |3186 |2951 |2020 | 1 | 444 | 497 | 1.006500e+03 | 1.043000e+03 | 3.63%| unknown
169.34/169.81 c 170s| 1200 | 410 |543849 | 443.1 | 292M | 57 |1429 |3254 |2961 |2323 | 1 | 517 | 525 | 1.006750e+03 | 1.043000e+03 | 3.60%| unknown
171.45/171.91 c 172s| 1300 | 412 |555887 | 418.2 | 292M | 57 |1429 |3254 |2964 |2338 | 0 | 517 | 538 | 1.006750e+03 | 1.043000e+03 | 3.60%| unknown
173.24/173.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
173.24/173.71 c 174s| 1400 | 410 |564957 | 394.8 | 292M | 57 |1429 |3254 |2966 |2352 | 0 | 517 | 553 | 1.006750e+03 | 1.043000e+03 | 3.60%| unknown
180.12/180.65 c 181s| 1500 | 414 |587620 | 383.6 | 292M | 57 |1429 |3290 |2967 |2476 | 0 | 564 | 587 | 1.007030e+03 | 1.043000e+03 | 3.57%| unknown
185.52/186.01 c 186s| 1600 | 428 |616660 | 377.8 | 292M | 57 |1429 |3310 |2961 |2577 | 0 | 587 | 600 | 1.007437e+03 | 1.043000e+03 | 3.53%| unknown
198.97/199.54 c 200s| 1700 | 446 |661439 | 381.9 | 296M | 57 |1429 |3385 |2966 |2917 | 1 | 675 | 638 | 1.007685e+03 | 1.043000e+03 | 3.50%| unknown
216.45/217.08 c 217s| 1800 | 462 |731105 | 399.4 | 299M | 57 |1429 |3385 |2972 |3284 | 0 | 675 | 679 | 1.007833e+03 | 1.043000e+03 | 3.49%| unknown
225.22/225.89 c 226s| 1900 | 478 |769497 | 398.6 | 300M | 57 |1429 |3405 |2968 |3549 | 2 | 697 | 691 | 1.008262e+03 | 1.043000e+03 | 3.45%| unknown
233.51/234.11 c 234s| 2000 | 490 |801138 | 394.5 | 304M | 57 |1429 |3422 |2973 |3788 | 1 | 718 | 703 | 1.008307e+03 | 1.043000e+03 | 3.44%| unknown
235.50/236.18 c 236s| 2100 | 490 |813379 | 381.5 | 304M | 57 |1429 |3422 |2973 |3817 | 0 | 718 | 716 | 1.008307e+03 | 1.043000e+03 | 3.44%| unknown
238.49/239.16 c 239s| 2200 | 488 |828338 | 371.0 | 304M | 57 |1429 |3482 |2966 |3872 | 1 | 797 | 754 | 1.008307e+03 | 1.043000e+03 | 3.44%| unknown
245.37/246.06 c 246s| 2300 | 490 |853685 | 365.9 | 305M | 57 |1429 |3505 |2968 |4010 | 0 | 825 | 785 | 1.008323e+03 | 1.043000e+03 | 3.44%| unknown
254.04/254.78 c 255s| 2400 | 502 |888834 | 365.3 | 306M | 57 |1429 |3515 |2972 |4258 | 2 | 837 | 798 | 1.008500e+03 | 1.043000e+03 | 3.42%| unknown
264.72/265.47 c 265s| 2500 | 526 |934781 | 369.0 | 307M | 57 |1429 |3531 |3028 |4541 | 3 | 855 | 823 | 1.008616e+03 | 1.043000e+03 | 3.41%| unknown
267.82/268.58 c 269s| 2600 | 526 |951772 | 361.4 | 307M | 57 |1429 |3555 |3027 |4591 | 0 | 884 | 855 | 1.008616e+03 | 1.043000e+03 | 3.41%| unknown
273.00/273.71 c 274s| 2700 | 530 |976923 | 357.3 | 307M | 57 |1429 |3603 |3030 |4710 | 1 | 940 | 874 | 1.008625e+03 | 1.043000e+03 | 3.41%| unknown
285.67/286.46 c 286s| 2800 | 548 | 1023k| 361.3 | 309M | 57 |1429 |3622 |3030 |5057 | 0 | 961 | 912 | 1.008878e+03 | 1.043000e+03 | 3.38%| unknown
299.44/300.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
299.44/300.25 c 300s| 2900 | 568 | 1077k| 367.3 | 311M | 57 |1429 |3643 |3031 |5414 | 0 | 989 | 937 | 1.008901e+03 | 1.043000e+03 | 3.38%| unknown
309.02/309.82 c 310s| 3000 | 582 | 1115k| 367.8 | 313M | 57 |1429 |3643 |3031 |5671 | 1 | 993 | 950 | 1.009085e+03 | 1.043000e+03 | 3.36%| unknown
314.70/315.53 c 316s| 3100 | 586 | 1138k| 363.3 | 313M | 57 |1429 |3653 |3032 |5801 | 0 |1005 | 976 | 1.009120e+03 | 1.043000e+03 | 3.36%| unknown
330.56/331.45 c 331s| 3200 | 606 | 1215k| 376.0 | 318M | 57 |1429 |3653 |3034 |6177 | 0 |1007 |1002 | 1.009500e+03 | 1.043000e+03 | 3.32%| unknown
336.45/337.33 c 337s| 3300 | 612 | 1239k| 371.8 | 321M | 57 |1429 |3661 |3035 |6294 | 0 |1019 |1015 | 1.009501e+03 | 1.043000e+03 | 3.32%| unknown
345.32/346.26 c 346s| 3400 | 622 | 1276k| 371.8 | 323M | 57 |1429 |3815 |3019 |6508 | 0 |1204 |1074 | 1.009601e+03 | 1.043000e+03 | 3.31%| unknown
355.40/356.33 c 356s| 3500 | 636 | 1316k| 372.5 | 324M | 57 |1429 |3850 |3026 |6771 | 0 |1250 |1103 | 1.009964e+03 | 1.043000e+03 | 3.27%| unknown
361.10/362.06 c 362s| 3600 | 642 | 1344k| 370.1 | 324M | 57 |1429 |3871 |3020 |6936 | 0 |1279 |1120 | 1.009975e+03 | 1.043000e+03 | 3.27%| unknown
369.37/370.30 c 370s| 3700 | 658 | 1383k| 370.7 | 326M | 57 |1429 |3890 |3031 |7190 | 0 |1303 |1142 | 1.010092e+03 | 1.043000e+03 | 3.26%| unknown
377.25/378.20 c 378s| 3800 | 662 | 1411k| 368.1 | 328M | 57 |1429 |3998 |3034 |7371 | 0 |1432 |1184 | 1.010099e+03 | 1.043000e+03 | 3.26%| unknown
379.55/380.56 c 381s| 3900 | 662 | 1429k| 363.4 | 328M | 57 |1429 |4049 |3034 |7388 | 1 |1497 |1203 | 1.010099e+03 | 1.043000e+03 | 3.26%| unknown
397.02/398.07 c 398s| 4000 | 682 | 1495k| 370.8 | 331M | 57 |1429 |4123 |3036 |7937 | 0 |1589 |1251 | 1.010205e+03 | 1.043000e+03 | 3.25%| unknown
401.59/402.66 c 403s| 4100 | 686 | 1513k| 366.1 | 335M | 57 |1429 |4143 |3041 |7982 | 3 |1617 |1276 | 1.010205e+03 | 1.043000e+03 | 3.25%| unknown
406.48/407.51 c 408s| 4200 | 684 | 1534k| 362.5 | 340M | 57 |1429 |4197 |3044 |8011 | 1 |1686 |1301 | 1.010205e+03 | 1.043000e+03 | 3.25%| unknown
415.76/416.84 c 417s| 4300 | 694 | 1568k| 362.0 | 344M | 57 |1429 |4270 |3047 |8209 | 1 |1778 |1348 | 1.010222e+03 | 1.043000e+03 | 3.24%| unknown
428.73/429.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
428.73/429.82 c 430s| 4400 | 704 | 1610k| 363.3 | 359M | 57 |1429 |4315 |3059 |8517 | 1 |1834 |1374 | 1.010250e+03 | 1.043000e+03 | 3.24%| unknown
441.30/442.40 c 442s| 4500 | 712 | 1656k| 365.5 | 392M | 57 |1429 |4385 |3048 |8892 | 0 |1922 |1414 | 1.010314e+03 | 1.043000e+03 | 3.24%| unknown
447.58/448.79 c 449s| 4600 | 712 | 1685k| 363.7 | 392M | 57 |1429 |4456 |3027 |9098 | 0 |2008 |1439 | 1.010352e+03 | 1.043000e+03 | 3.23%| unknown
462.25/463.47 c 463s| 4700 | 724 | 1752k| 370.4 | 384M | 57 |1429 |4510 |3051 |9471 | 1 |2074 |1473 | 1.010460e+03 | 1.043000e+03 | 3.22%| unknown
470.13/471.37 c 471s| 4800 | 730 | 1792k| 370.8 | 383M | 57 |1429 |4566 |3055 |9723 | 0 |2145 |1506 | 1.010500e+03 | 1.043000e+03 | 3.22%| unknown
474.02/475.28 c 475s| 4900 | 728 | 1817k| 368.4 | 382M | 57 |1429 |4596 |3026 |9835 | 1 |2191 |1540 | 1.010500e+03 | 1.043000e+03 | 3.22%| unknown
490.08/491.31 c 491s| 5000 | 750 | 1881k| 373.9 | 384M | 57 |1429 |4653 |3048 | 10k| 0 |2263 |1587 | 1.010657e+03 | 1.043000e+03 | 3.20%| unknown
493.37/494.65 c 495s| 5100 | 750 | 1904k| 371.1 | 384M | 57 |1429 |4740 |3059 | 10k| 0 |2362 |1614 | 1.010657e+03 | 1.043000e+03 | 3.20%| unknown
504.94/506.23 c 506s| 5200 | 762 | 1952k| 373.2 | 384M | 57 |1429 |4824 |3037 | 10k| 1 |2459 |1663 | 1.010739e+03 | 1.043000e+03 | 3.19%| unknown
513.51/514.81 c 515s| 5300 | 770 | 1992k| 373.6 | 385M | 57 |1429 |4876 |3037 | 11k| 1 |2525 |1698 | 1.010825e+03 | 1.043000e+03 | 3.18%| unknown
524.18/525.55 c 526s| 5400 | 782 | 2039k| 375.5 | 386M | 57 |1429 |5049 |3052 | 11k| 1 |2728 |1750 | 1.010914e+03 | 1.043000e+03 | 3.17%| unknown
533.56/535.00 c 535s| 5500 | 792 | 2081k| 376.2 | 386M | 57 |1429 |5160 |3055 | 11k| 0 |2860 |1799 | 1.010978e+03 | 1.043000e+03 | 3.17%| unknown
540.66/542.01 c 542s| 5600 | 798 | 2114k| 375.3 | 386M | 57 |1429 |5202 |3046 | 11k| 0 |2908 |1824 | 1.011000e+03 | 1.043000e+03 | 3.17%| unknown
558.62/560.09 c 560s| 5700 | 826 | 2186k| 381.4 | 389M | 57 |1429 |5296 |3066 | 12k| 0 |3029 |1889 | 1.011204e+03 | 1.043000e+03 | 3.14%| unknown
572.76/574.20 c 574s| 5800 | 830 | 2226k| 381.8 | 396M | 57 |1429 |5542 |3069 | 12k| 1 |3335 |1969 | 1.011273e+03 | 1.043000e+03 | 3.14%| unknown
588.53/590.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
588.53/590.03 c 590s| 5900 | 844 | 2288k| 385.8 | 400M | 57 |1429 |5779 |3043 | 13k| 0 |3632 |2041 | 1.011377e+03 | 1.043000e+03 | 3.13%| unknown
595.11/596.61 c 597s| 6000 | 850 | 2325k| 385.5 | 400M | 57 |1429 |5821 |3056 | 13k| 1 |3685 |2058 | 1.011409e+03 | 1.043000e+03 | 3.12%| unknown
607.18/608.76 c 609s| 6100 | 870 | 2375k| 387.4 | 400M | 57 |1429 |5889 |3078 | 13k| 1 |3771 |2114 | 1.011457e+03 | 1.043000e+03 | 3.12%| unknown
619.05/620.65 c 621s| 6200 | 884 | 2424k| 389.1 | 400M | 57 |1429 |6092 |3089 | 14k| 2 |4004 |2195 | 1.011513e+03 | 1.043000e+03 | 3.11%| unknown
627.72/629.37 c 629s| 6300 | 892 | 2463k| 389.1 | 401M | 57 |1429 |6127 |3081 | 14k| 0 |4049 |2213 | 1.011561e+03 | 1.043000e+03 | 3.11%| unknown
633.90/635.58 o 1039
633.90/635.58 c d 636s| 6386 | 872 | 2495k| 388.9 |pscostdi| 57 |1429 |6187 |3050 | 0 | 1 |4117 |2225 | 1.011583e+03 | 1.039000e+03 | 2.71%| unknown
634.00/635.63 o 1038
634.00/635.63 c i 636s| 6387 | 858 | 2495k| 388.9 | oneopt| 57 |1429 |6187 |3105 | 14k| 1 |4117 |2225 | 1.011583e+03 | 1.038000e+03 | 2.61%| unknown
635.60/637.20 c 637s| 6400 | 861 | 2500k| 388.8 | 402M | 57 |1429 |6187 |3059 | 14k| 1 |4117 |2239 | 1.011583e+03 | 1.038000e+03 | 2.61%| unknown
638.29/639.91 c 640s| 6500 | 861 | 2524k| 386.6 | 402M | 57 |1429 |6199 |3082 | 14k| 2 |4135 |2242 | 1.011583e+03 | 1.038000e+03 | 2.61%| unknown
643.58/645.29 c 645s| 6600 | 869 | 2561k| 386.2 | 402M | 57 |1429 |6235 |3080 | 15k| 1 |4184 |2248 | 1.011630e+03 | 1.038000e+03 | 2.61%| unknown
646.07/647.72 c 648s| 6700 | 867 | 2584k| 383.9 | 402M | 57 |1429 |6230 |3079 | 15k| 1 |4184 |2249 | 1.011630e+03 | 1.038000e+03 | 2.61%| unknown
650.26/652.00 c 652s| 6800 | 873 | 2616k| 383.0 | 402M | 57 |1429 |6359 |3087 | 15k| 1 |4343 |2285 | 1.011630e+03 | 1.038000e+03 | 2.61%| unknown
655.46/657.11 c 657s| 6900 | 877 | 2650k| 382.3 | 402M | 57 |1429 |6407 |3084 | 15k| 0 |4404 |2292 | 1.011661e+03 | 1.038000e+03 | 2.60%| unknown
661.04/662.72 c 663s| 7000 | 885 | 2685k| 381.9 | 402M | 57 |1429 |6415 |3086 | 15k| 1 |4417 |2294 | 1.011678e+03 | 1.038000e+03 | 2.60%| unknown
664.13/665.81 c 666s| 7100 | 885 | 2710k| 380.0 | 402M | 57 |1429 |6423 |3095 | 15k| 2 |4427 |2300 | 1.011678e+03 | 1.038000e+03 | 2.60%| unknown
666.33/668.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
666.33/668.01 c 668s| 7200 | 885 | 2731k| 377.7 | 402M | 57 |1429 |6438 |3097 | 15k| 1 |4446 |2303 | 1.011678e+03 | 1.038000e+03 | 2.60%| unknown
673.11/674.82 c 675s| 7300 | 887 | 2768k| 377.6 | 403M | 57 |1429 |6454 |3083 | 15k| 1 |4469 |2305 | 1.011727e+03 | 1.038000e+03 | 2.60%| unknown
679.19/680.91 c 681s| 7400 | 893 | 2803k| 377.2 | 404M | 57 |1429 |6461 |3100 | 16k| 1 |4481 |2306 | 1.011823e+03 | 1.038000e+03 | 2.59%| unknown
687.17/688.93 c 689s| 7500 | 895 | 2857k| 379.4 | 404M | 57 |1429 |6458 |3066 | 16k| 0 |4481 |2306 | 1.011863e+03 | 1.038000e+03 | 2.58%| unknown
700.44/702.28 c 702s| 7600 | 915 | 2925k| 383.3 | 404M | 57 |1429 |6452 |3085 | 16k| 0 |4493 |2308 | 1.011995e+03 | 1.038000e+03 | 2.57%| unknown
705.63/707.43 c 707s| 7700 | 923 | 2959k| 382.8 | 404M | 57 |1429 |6460 |3085 | 17k| 0 |4510 |2311 | 1.012000e+03 | 1.038000e+03 | 2.57%| unknown
707.82/709.67 c 710s| 7800 | 923 | 2981k| 380.7 | 404M | 57 |1429 |6467 |3082 | 17k| 1 |4519 |2312 | 1.012000e+03 | 1.038000e+03 | 2.57%| unknown
714.22/716.06 c 716s| 7900 | 925 | 3018k| 380.6 | 404M | 57 |1429 |6461 |3083 | 17k| 0 |4521 |2312 | 1.012000e+03 | 1.038000e+03 | 2.57%| unknown
723.09/724.91 c 725s| 8000 | 941 | 3069k| 382.2 | 405M | 57 |1429 |6472 |3091 | 17k| 0 |4542 |2313 | 1.012052e+03 | 1.038000e+03 | 2.56%| unknown
731.77/733.68 c 734s| 8100 | 953 | 3120k| 383.8 | 405M | 57 |1429 |6516 |3105 | 17k| 0 |4610 |2318 | 1.012062e+03 | 1.038000e+03 | 2.56%| unknown
742.94/744.88 c 745s| 8200 | 971 | 3184k| 386.8 | 405M | 57 |1429 |6520 |3104 | 18k| 0 |4628 |2319 | 1.012204e+03 | 1.038000e+03 | 2.55%| unknown
748.03/749.93 c 750s| 8300 | 973 | 3217k| 386.2 | 406M | 57 |1429 |6685 |3095 | 18k| 2 |4840 |2381 | 1.012204e+03 | 1.038000e+03 | 2.55%| unknown
758.12/760.08 c 760s| 8400 | 989 | 3273k| 388.2 | 406M | 57 |1429 |6704 |3100 | 18k| 1 |4884 |2400 | 1.012261e+03 | 1.038000e+03 | 2.54%| unknown
767.48/769.44 c 769s| 8500 | 1005 | 3321k| 389.3 | 407M | 57 |1429 |6749 |3110 | 19k| 0 |4952 |2433 | 1.012278e+03 | 1.038000e+03 | 2.54%| unknown
775.66/777.69 c 778s| 8600 | 1011 | 3359k| 389.2 | 408M | 57 |1429 |6805 |3111 | 19k| 1 |5035 |2471 | 1.012299e+03 | 1.038000e+03 | 2.54%| unknown
787.93/789.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
787.93/789.92 c 790s| 8700 | 1021 | 3413k| 391.0 | 410M | 57 |1429 |6819 |3109 | 19k| 1 |5070 |2496 | 1.012363e+03 | 1.038000e+03 | 2.53%| unknown
798.02/800.06 c 800s| 8800 | 1025 | 3474k| 393.5 | 410M | 57 |1429 |6823 |3099 | 19k| 1 |5079 |2507 | 1.012391e+03 | 1.038000e+03 | 2.53%| unknown
805.69/807.79 c 808s| 8900 | 1029 | 3523k| 394.6 | 410M | 57 |1429 |6912 |3110 | 19k| 0 |5194 |2543 | 1.012404e+03 | 1.038000e+03 | 2.53%| unknown
812.88/814.95 c 815s| 9000 | 1027 | 3562k| 394.5 | 410M | 57 |1429 |7035 |3089 | 20k| 0 |5353 |2592 | 1.012421e+03 | 1.038000e+03 | 2.53%| unknown
829.14/831.24 c 831s| 9100 | 1055 | 3640k| 398.7 | 410M | 57 |1429 |7072 |3058 | 20k| 0 |5437 |2636 | 1.012571e+03 | 1.038000e+03 | 2.51%| unknown
840.51/842.60 c 843s| 9200 | 1069 | 3688k| 399.6 | 411M | 57 |1429 |7149 |3052 | 21k| 1 |5540 |2682 | 1.012646e+03 | 1.038000e+03 | 2.50%| unknown
843.81/845.92 c 846s| 9300 | 1069 | 3714k| 398.1 | 411M | 57 |1429 |7248 |3059 | 21k| 0 |5655 |2699 | 1.012646e+03 | 1.038000e+03 | 2.50%| unknown
854.38/856.59 c 857s| 9400 | 1081 | 3764k| 399.1 | 416M | 57 |1429 |7268 |3058 | 21k| 2 |5692 |2728 | 1.012712e+03 | 1.038000e+03 | 2.50%| unknown
865.97/868.15 c 868s| 9500 | 1093 | 3816k| 400.5 | 418M | 57 |1429 |7409 |3061 | 21k| 0 |5881 |2776 | 1.012752e+03 | 1.038000e+03 | 2.49%| unknown
877.23/879.40 c 879s| 9600 | 1103 | 3869k| 401.8 | 418M | 57 |1429 |7475 |3073 | 22k| 1 |5983 |2815 | 1.012859e+03 | 1.038000e+03 | 2.48%| unknown
880.93/883.13 c 883s| 9700 | 1105 | 3899k| 400.8 | 418M | 57 |1429 |7532 |3068 | 22k| 1 |6057 |2831 | 1.012859e+03 | 1.038000e+03 | 2.48%| unknown
891.99/894.25 c 894s| 9800 | 1117 | 3948k| 401.7 | 418M | 57 |1429 |7525 |3065 | 22k| 0 |6080 |2854 | 1.012906e+03 | 1.038000e+03 | 2.48%| unknown
896.38/898.62 c 899s| 9900 | 1119 | 3978k| 400.6 | 418M | 57 |1429 |7701 |3075 | 22k| 2 |6292 |2893 | 1.012906e+03 | 1.038000e+03 | 2.48%| unknown
908.26/910.59 c 911s| 10000 | 1131 | 4029k| 401.7 | 417M | 57 |1429 |7788 |3070 | 22k| 1 |6434 |2928 | 1.012922e+03 | 1.038000e+03 | 2.48%| unknown
920.13/922.46 c 922s| 10100 | 1139 | 4080k| 402.8 | 417M | 57 |1429 |7820 |3070 | 23k| 1 |6514 |2979 | 1.012956e+03 | 1.038000e+03 | 2.47%| unknown
932.40/934.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
932.40/934.71 c 935s| 10200 | 1153 | 4134k| 404.1 | 417M | 57 |1429 |7842 |3062 | 23k| 0 |6565 |3029 | 1.013076e+03 | 1.038000e+03 | 2.46%| unknown
938.88/941.24 c 941s| 10300 | 1159 | 4170k| 403.8 | 417M | 57 |1429 |7856 |3067 | 23k| 1 |6591 |3037 | 1.013125e+03 | 1.038000e+03 | 2.46%| unknown
951.56/953.92 c 954s| 10400 | 1169 | 4220k| 404.6 | 418M | 57 |1429 |7864 |3066 | 24k| 0 |6633 |3086 | 1.013181e+03 | 1.038000e+03 | 2.45%| unknown
964.83/967.27 c 967s| 10500 | 1183 | 4299k| 408.3 | 418M | 57 |1429 |7922 |3068 | 24k| 0 |6723 |3100 | 1.013194e+03 | 1.038000e+03 | 2.45%| unknown
970.21/972.66 c 973s| 10600 | 1189 | 4337k| 408.0 | 418M | 57 |1429 |7930 |3083 | 24k| 0 |6738 |3107 | 1.013200e+03 | 1.038000e+03 | 2.45%| unknown
982.29/984.73 c 985s| 10700 | 1201 | 4394k| 409.6 | 419M | 57 |1429 |8042 |3074 | 25k| 0 |6909 |3177 | 1.013315e+03 | 1.038000e+03 | 2.44%| unknown
985.98/988.41 c 988s| 10800 | 1203 | 4421k| 408.2 | 419M | 57 |1429 |8062 |3080 | 25k| 0 |6931 |3190 | 1.013315e+03 | 1.038000e+03 | 2.44%| unknown
988.97/991.43 c 991s| 10900 | 1205 | 4445k| 406.7 | 419M | 57 |1429 |8147 |3084 | 25k| 1 |7030 |3210 | 1.013315e+03 | 1.038000e+03 | 2.44%| unknown
993.57/996.05 c 996s| 11000 | 1211 | 4478k| 406.1 | 419M | 57 |1429 |8158 |3080 | 25k| 1 |7078 |3219 | 1.013318e+03 | 1.038000e+03 | 2.44%| unknown
999.85/1002.30 c 1002s| 11100 | 1215 | 4518k| 406.0 | 419M | 57 |1429 |8148 |3070 | 25k| 0 |7088 |3220 | 1.013353e+03 | 1.038000e+03 | 2.43%| unknown
1009.03/1011.52 c 1012s| 11200 | 1231 | 4564k| 406.5 | 420M | 57 |1429 |8138 |3093 | 25k| 1 |7116 |3227 | 1.013424e+03 | 1.038000e+03 | 2.43%| unknown
1012.42/1014.98 c 1015s| 11300 | 1233 | 4591k| 405.2 | 420M | 57 |1429 |8165 |3083 | 25k| 1 |7151 |3239 | 1.013424e+03 | 1.038000e+03 | 2.43%| unknown
1018.80/1021.31 c 1021s| 11400 | 1237 | 4626k| 404.8 | 420M | 57 |1429 |8166 |3091 | 26k| 0 |7170 |3241 | 1.013466e+03 | 1.038000e+03 | 2.42%| unknown
1025.50/1028.05 c 1028s| 11500 | 1243 | 4666k| 404.7 | 420M | 57 |1429 |8171 |3083 | 26k| 0 |7193 |3245 | 1.013475e+03 | 1.038000e+03 | 2.42%| unknown
1034.17/1036.77 c 1037s| 11600 | 1251 | 4714k| 405.4 | 420M | 57 |1429 |8148 |3093 | 26k| 1 |7210 |3245 | 1.013500e+03 | 1.038000e+03 | 2.42%| unknown
1044.56/1047.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1044.56/1047.12 c 1047s| 11700 | 1265 | 4771k| 406.8 | 420M | 57 |1429 |8145 |3079 | 26k| 2 |7243 |3248 | 1.013586e+03 | 1.038000e+03 | 2.41%| unknown
1052.23/1054.81 c 1055s| 11800 | 1271 | 4819k| 407.4 | 420M | 57 |1429 |8118 |3071 | 27k| 0 |7249 |3248 | 1.013622e+03 | 1.038000e+03 | 2.41%| unknown
1061.52/1064.19 c 1064s| 11900 | 1285 | 4874k| 408.6 | 420M | 57 |1429 |8084 |3084 | 27k| 0 |7253 |3248 | 1.013645e+03 | 1.038000e+03 | 2.40%| unknown
1066.59/1069.27 c 1069s| 12000 | 1291 | 4910k| 408.2 | 420M | 57 |1429 |8067 |3080 | 27k| 0 |7270 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1071.18/1073.82 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1071.18/1073.86 c (run 1, node 12068) performing user restart
1071.18/1073.86 c
1071.18/1073.86 c (restart) converted 266 cuts from the global cut pool into linear constraints
1071.18/1073.86 c
1071.40/1074.05 c presolving:
1071.40/1074.07 c (round 1, fast) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 4166 chg coeffs, 0 upgd conss, 0 impls, 2743 clqs
1071.40/1074.10 c (round 2, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 4166 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1071.58/1074.26 c (round 3, exhaustive) 0 del vars, 251 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 5476 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1071.78/1074.40 c (round 4, exhaustive) 0 del vars, 327 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 5478 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1071.88/1074.56 c (round 5, exhaustive) 0 del vars, 327 del conss, 0 add conss, 0 chg bounds, 3970 chg sides, 5755 chg coeffs, 283 upgd conss, 0 impls, 2743 clqs
1072.18/1074.86 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
1072.18/1074.86 c 0 deleted vars, 327 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3970 changed sides, 5759 changed coefficients
1072.18/1074.86 c 0 implications, 2743 cliques
1072.18/1074.86 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 7993 constraints
1072.18/1074.86 c 259 constraints of type <knapsack>
1072.18/1074.86 c 2743 constraints of type <setppc>
1072.18/1074.86 c 58 constraints of type <linear>
1072.18/1074.86 c 4933 constraints of type <logicor>
1072.18/1074.86 c transformed objective value is always integral (scale: 1)
1072.18/1074.86 c Presolving Time: 0.98
1072.28/1074.91 c transformed 100/100 original solutions to the transformed problem space
1072.28/1074.91 c
1073.18/1075.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1073.18/1075.85 c 1076s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3008 | 0 | 0 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1073.68/1076.31 c 1076s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3009 | 1 | 1 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1074.08/1076.77 c 1077s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3010 | 2 | 2 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1074.58/1077.23 c 1077s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3011 | 3 | 3 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1075.07/1077.71 c 1078s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3012 | 4 | 4 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1075.48/1078.16 c 1078s| 1 | 0 | 4949k| - | 364M | 0 |1429 |7993 |3014 | 6 | 5 |7272 |3250 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1076.38/1079.05 c 1079s| 1 | 2 | 4951k| - | 364M | 0 |1429 |8005 |3014 | 6 | 6 |7284 |3252 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1099.43/1102.19 c 1102s| 100 | 29 | 5000k| 409.3 | 376M | 29 |1429 |8510 |2940 | 14 | 1 |7884 |3612 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1107.69/1110.44 c 1110s| 200 | 37 | 5038k| 409.0 | 376M | 32 |1429 |8994 |2940 | 14 | 0 |8482 |3774 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1115.39/1118.19 c 1118s| 300 | 51 | 5075k| 408.7 | 376M | 33 |1429 |9234 |2940 | 14 | 1 |8787 |3888 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1120.06/1122.89 c 1123s| 400 | 55 | 5103k| 407.7 | 376M | 37 |1429 |9465 |2940 | 14 | 1 |9077 |3966 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1123.16/1125.90 c 1126s| 500 | 55 | 5131k| 406.7 | 376M | 37 |1429 |9567 |2940 | 14 | 0 |9206 |3993 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1131.94/1134.75 c 1135s| 600 | 65 | 5200k| 408.9 | 376M | 37 |1429 |9750 |2940 | 16 | 0 |9440 |4059 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1138.82/1141.60 c 1142s| 700 | 83 | 5235k| 408.4 | 376M | 37 |1429 |9904 |2940 | 16 | 1 |9640 |4142 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1160.37/1163.21 c 1163s| 800 | 85 | 5268k| 407.8 | 376M | 37 |1429 | 10k|2940 | 16 | 1 | 10k|4588 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1166.85/1169.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1166.85/1169.72 c 1170s| 900 | 91 | 5294k| 406.7 | 376M | 37 |1429 | 10k|2940 | 16 | 1 | 10k|4717 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1171.84/1174.71 c 1175s| 1000 | 104 | 5328k| 406.2 | 384M | 37 |1429 | 10k|2940 | 19 | 0 | 10k|4750 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1179.23/1182.19 c 1182s| 1100 | 110 | 5348k| 404.6 | 388M | 37 |1429 | 10k|2940 | 22 | 1 | 10k|4840 | 1.013649e+03 | 1.038000e+03 | 2.40%| unknown
1185.30/1188.28 c 1188s| 1200 | 116 | 5373k| 403.4 | 394M | 40 |1429 | 10k|2940 | 32 | 0 | 10k|4870 | 1.013717e+03 | 1.038000e+03 | 2.40%| unknown
1189.99/1192.91 c 1193s| 1300 | 128 | 5400k| 402.4 | 400M | 40 |1429 | 10k|2942 | 51 | 1 | 10k|4877 | 1.013722e+03 | 1.038000e+03 | 2.39%| unknown
1194.38/1197.30 c 1197s| 1400 | 132 | 5426k| 401.3 | 403M | 40 |1429 | 10k|2942 | 66 | 1 | 11k|4917 | 1.013739e+03 | 1.038000e+03 | 2.39%| unknown
1198.77/1201.70 c 1202s| 1500 | 142 | 5456k| 400.7 | 409M | 40 |1429 | 10k|2942 | 87 | 1 | 11k|4927 | 1.013783e+03 | 1.038000e+03 | 2.39%| unknown
1202.46/1205.42 c 1205s| 1600 | 142 | 5482k| 399.6 | 425M | 40 |1429 | 10k|2943 | 115 | 0 | 11k|4930 | 1.013908e+03 | 1.038000e+03 | 2.38%| unknown
1204.46/1207.47 c 1207s| 1700 | 140 | 5499k| 398.0 | 425M | 40 |1429 | 10k|2943 | 120 | 1 | 11k|4937 | 1.013908e+03 | 1.038000e+03 | 2.38%| unknown
1208.74/1211.75 c 1212s| 1800 | 144 | 5528k| 397.1 | 425M | 40 |1429 | 10k|2944 | 152 | 1 | 11k|4937 | 1.013909e+03 | 1.038000e+03 | 2.38%| unknown
1212.64/1215.63 c 1216s| 1900 | 148 | 5558k| 396.5 | 425M | 40 |1429 | 10k|2943 | 178 | 2 | 11k|4939 | 1.013951e+03 | 1.038000e+03 | 2.37%| unknown
1216.92/1219.91 c 1220s| 2000 | 158 | 5587k| 395.7 | 425M | 40 |1429 | 10k|2943 | 197 | 0 | 11k|4944 | 1.013975e+03 | 1.038000e+03 | 2.37%| unknown
1224.21/1227.23 c 1227s| 2100 | 168 | 5642k| 396.8 | 425M | 40 |1429 | 10k|2944 | 238 | 0 | 11k|4948 | 1.014082e+03 | 1.038000e+03 | 2.36%| unknown
1225.90/1228.94 c 1229s| 2200 | 170 | 5659k| 395.2 | 425M | 40 |1429 | 10k|2944 | 241 | 1 | 11k|4950 | 1.014082e+03 | 1.038000e+03 | 2.36%| unknown
1228.40/1231.41 c 1231s| 2300 | 166 | 5678k| 393.8 | 425M | 40 |1429 | 10k|2944 | 243 | 1 | 11k|4978 | 1.014082e+03 | 1.038000e+03 | 2.36%| unknown
1234.28/1237.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1234.28/1237.30 c 1237s| 2400 | 180 | 5717k| 393.8 | 425M | 40 |1429 | 10k|2945 | 314 | 1 | 11k|4979 | 1.014097e+03 | 1.038000e+03 | 2.36%| unknown
1236.38/1239.42 c 1239s| 2500 | 180 | 5738k| 392.5 | 425M | 40 |1429 | 10k|2947 | 321 | 1 | 11k|4984 | 1.014097e+03 | 1.038000e+03 | 2.36%| unknown
1241.86/1244.90 c 1245s| 2600 | 198 | 5773k| 392.2 | 425M | 40 |1429 |9910 |2948 | 392 | 1 | 11k|4991 | 1.014188e+03 | 1.038000e+03 | 2.35%| unknown
1246.65/1249.70 c 1250s| 2700 | 202 | 5797k| 391.2 | 425M | 40 |1429 |9830 |2949 | 454 | 0 | 11k|5019 | 1.014363e+03 | 1.038000e+03 | 2.33%| unknown
1248.65/1251.77 c 1252s| 2800 | 202 | 5813k| 389.6 | 425M | 40 |1429 |9838 |2948 | 459 | 1 | 11k|5036 | 1.014363e+03 | 1.038000e+03 | 2.33%| unknown
1254.53/1257.62 c 1258s| 2900 | 212 | 5843k| 389.0 | 425M | 40 |1429 |9469 |2949 | 546 | 0 | 11k|5061 | 1.014438e+03 | 1.038000e+03 | 2.32%| unknown
1261.52/1264.60 c 1265s| 3000 | 224 | 5877k| 388.7 | 425M | 40 |1429 |9222 |2952 | 663 | 1 | 11k|5075 | 1.014487e+03 | 1.038000e+03 | 2.32%| unknown
1267.70/1270.81 c 1271s| 3100 | 226 | 5904k| 387.9 | 425M | 40 |1429 |9178 |2954 | 742 | 0 | 11k|5117 | 1.014512e+03 | 1.038000e+03 | 2.32%| unknown
1272.39/1275.57 c 1276s| 3200 | 230 | 5934k| 387.3 | 425M | 40 |1429 |8996 |2959 | 824 | 0 | 11k|5121 | 1.014578e+03 | 1.038000e+03 | 2.31%| unknown
1276.68/1279.82 c 1280s| 3300 | 242 | 5971k| 387.2 | 425M | 40 |1429 |8342 |2954 | 883 | 1 | 11k|5126 | 1.014623e+03 | 1.038000e+03 | 2.30%| unknown
1278.58/1281.77 c 1282s| 3400 | 240 | 5991k| 386.0 | 425M | 40 |1429 |8334 |2956 | 910 | 2 | 11k|5128 | 1.014623e+03 | 1.038000e+03 | 2.30%| unknown
1282.98/1286.19 c 1286s| 3500 | 244 | 6018k| 385.3 | 425M | 40 |1429 |8207 |2955 | 973 | 1 | 11k|5133 | 1.014665e+03 | 1.038000e+03 | 2.30%| unknown
1285.06/1288.21 c 1288s| 3600 | 242 | 6039k| 384.2 | 425M | 40 |1429 |8180 |2954 |1010 | 0 | 11k|5134 | 1.014665e+03 | 1.038000e+03 | 2.30%| unknown
1292.85/1296.11 c 1296s| 3700 | 262 | 6085k| 384.6 | 425M | 40 |1429 |7679 |2956 |1171 | 0 | 11k|5136 | 1.014821e+03 | 1.038000e+03 | 2.28%| unknown
1295.64/1298.84 c 1299s| 3800 | 270 | 6113k| 384.0 | 425M | 40 |1429 |7571 |2956 |1185 | 0 | 11k|5136 | 1.014821e+03 | 1.038000e+03 | 2.28%| unknown
1298.73/1301.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1298.73/1301.99 c 1302s| 3900 | 282 | 6143k| 383.4 | 425M | 40 |1429 |7316 |2956 |1187 | 1 | 11k|5140 | 1.014837e+03 | 1.038000e+03 | 2.28%| unknown
1303.72/1306.97 c 1307s| 4000 | 292 | 6174k| 383.0 | 426M | 40 |1429 |7026 |2958 |1253 | 1 | 11k|5145 | 1.014857e+03 | 1.038000e+03 | 2.28%| unknown
1305.31/1308.52 c 1309s| 4100 | 288 | 6191k| 381.7 | 426M | 40 |1429 |7031 |2958 |1259 | 0 | 11k|5147 | 1.014857e+03 | 1.038000e+03 | 2.28%| unknown
1314.58/1317.89 c 1318s| 4200 | 304 | 6253k| 383.1 | 426M | 40 |1429 |6578 |2960 |1378 | 1 | 11k|5149 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1316.79/1320.09 c 1320s| 4300 | 304 | 6275k| 382.1 | 426M | 40 |1429 |6600 |2956 |1380 | 0 | 11k|5156 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1319.27/1322.58 c 1323s| 4400 | 312 | 6300k| 381.3 | 425M | 40 |1429 |6583 |2957 |1402 | 1 | 11k|5156 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1321.16/1324.46 c 1324s| 4500 | 310 | 6320k| 380.3 | 425M | 40 |1429 |6578 |2959 |1409 | 0 | 11k|5156 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1323.56/1326.80 c 1327s| 4600 | 316 | 6342k| 379.3 | 425M | 40 |1429 |6574 |2958 |1422 | 0 | 11k|5158 | 1.014981e+03 | 1.038000e+03 | 2.27%| unknown
1329.85/1333.12 c 1333s| 4700 | 324 | 6375k| 379.0 | 425M | 40 |1429 |6383 |2960 |1523 | 1 | 12k|5165 | 1.015077e+03 | 1.038000e+03 | 2.26%| unknown
1332.53/1335.86 c 1336s| 4800 | 328 | 6398k| 378.1 | 426M | 40 |1429 |6292 |2964 |1535 | 0 | 12k|5172 | 1.015092e+03 | 1.038000e+03 | 2.26%| unknown
1334.62/1337.94 c 1338s| 4900 | 330 | 6417k| 377.0 | 426M | 40 |1429 |6305 |2957 |1550 | 1 | 12k|5178 | 1.015092e+03 | 1.038000e+03 | 2.26%| unknown
1336.62/1339.93 c 1340s| 5000 | 334 | 6439k| 376.0 | 426M | 40 |1429 |6315 |2963 |1572 | 1 | 12k|5180 | 1.015092e+03 | 1.038000e+03 | 2.26%| unknown
1339.21/1342.55 c 1343s| 5100 | 334 | 6460k| 375.1 | 426M | 40 |1429 |6136 |2958 |1610 | 1 | 12k|5189 | 1.015161e+03 | 1.038000e+03 | 2.25%| unknown
1344.89/1348.25 c 1348s| 5200 | 346 | 6497k| 375.1 | 426M | 40 |1429 |5900 |2963 |1708 | 0 | 12k|5190 | 1.015182e+03 | 1.038000e+03 | 2.25%| unknown
1350.38/1353.76 c 1354s| 5300 | 356 | 6530k| 374.8 | 426M | 40 |1429 |5766 |2963 |1797 | 0 | 12k|5200 | 1.015193e+03 | 1.038000e+03 | 2.25%| unknown
1352.47/1355.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1352.47/1355.80 c 1356s| 5400 | 356 | 6551k| 373.9 | 426M | 40 |1429 |5823 |2963 |1813 | 2 | 12k|5212 | 1.015193e+03 | 1.038000e+03 | 2.25%| unknown
1361.24/1364.68 c 1365s| 5500 | 366 | 6590k| 373.9 | 426M | 42 |1429 |5630 |2963 |1952 | 1 | 12k|5252 | 1.015249e+03 | 1.038000e+03 | 2.24%| unknown
1365.33/1368.78 c 1369s| 5600 | 364 | 6614k| 373.2 | 426M | 42 |1429 |5734 |2960 |1958 | 0 | 12k|5306 | 1.015249e+03 | 1.038000e+03 | 2.24%| unknown
1368.73/1372.19 c 1372s| 5700 | 360 | 6639k| 372.5 | 426M | 42 |1429 |5787 |2958 |1979 | 0 | 12k|5339 | 1.015249e+03 | 1.038000e+03 | 2.24%| unknown
1373.51/1376.92 c 1377s| 5800 | 366 | 6671k| 372.2 | 426M | 42 |1429 |5581 |2967 |2046 | 2 | 12k|5364 | 1.015259e+03 | 1.038000e+03 | 2.24%| unknown
1376.50/1379.98 c 1380s| 5900 | 366 | 6693k| 371.4 | 426M | 42 |1429 |5589 |2961 |2075 | 0 | 12k|5380 | 1.015259e+03 | 1.038000e+03 | 2.24%| unknown
1382.69/1386.18 c 1386s| 6000 | 370 | 6725k| 371.1 | 426M | 42 |1429 |5473 |2958 |2162 | 0 | 13k|5417 | 1.015302e+03 | 1.038000e+03 | 2.24%| unknown
1388.87/1392.38 c 1392s| 6100 | 392 | 6768k| 371.4 | 426M | 42 |1429 |5356 |2963 |2178 | 0 | 13k|5460 | 1.015356e+03 | 1.038000e+03 | 2.23%| unknown
1391.86/1395.36 c 1395s| 6200 | 390 | 6793k| 370.7 | 426M | 42 |1429 |5431 |2961 |2199 | 1 | 13k|5487 | 1.015356e+03 | 1.038000e+03 | 2.23%| unknown
1400.74/1404.24 c 1404s| 6300 | 400 | 6839k| 371.2 | 426M | 42 |1429 |5231 |2961 |2329 | 1 | 13k|5506 | 1.015427e+03 | 1.038000e+03 | 2.22%| unknown
1404.82/1408.33 c 1408s| 6400 | 400 | 6869k| 370.8 | 426M | 42 |1429 |5160 |2957 |2397 | 2 | 13k|5509 | 1.015439e+03 | 1.038000e+03 | 2.22%| unknown
1406.82/1410.31 c 1410s| 6500 | 394 | 6889k| 369.9 | 426M | 42 |1429 |5143 |2957 |2407 | 1 | 13k|5512 | 1.015439e+03 | 1.038000e+03 | 2.22%| unknown
1412.51/1416.03 c 1416s| 6600 | 400 | 6922k| 369.7 | 427M | 42 |1429 |5129 |2967 |2488 | 0 | 13k|5526 | 1.015448e+03 | 1.038000e+03 | 2.22%| unknown
1414.60/1418.19 c 1418s| 6700 | 398 | 6944k| 368.9 | 427M | 42 |1429 |5137 |2957 |2504 | 1 | 13k|5531 | 1.015448e+03 | 1.038000e+03 | 2.22%| unknown
1418.68/1422.28 c 1422s| 6800 | 398 | 6970k| 368.3 | 427M | 42 |1429 |5088 |2958 |2561 | 0 | 13k|5540 | 1.015452e+03 | 1.038000e+03 | 2.22%| unknown
1424.66/1428.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1424.66/1428.29 c 1428s| 6900 | 398 | 7001k| 368.0 | 427M | 42 |1429 |5063 |2959 |2650 | 0 | 13k|5565 | 1.015464e+03 | 1.038000e+03 | 2.22%| unknown
1427.57/1431.17 c 1431s| 7000 | 398 | 7029k| 367.6 | 427M | 42 |1429 |5089 |2959 |2716 | 2 | 13k|5581 | 1.015464e+03 | 1.038000e+03 | 2.22%| unknown
1430.56/1434.12 c 1434s| 7100 | 400 | 7052k| 366.8 | 427M | 42 |1429 |5114 |2953 |2753 | 1 | 13k|5597 | 1.015464e+03 | 1.038000e+03 | 2.22%| unknown
1440.72/1444.34 c 1444s| 7200 | 412 | 7119k| 368.4 | 427M | 42 |1429 |5003 |2957 |2866 | 0 | 13k|5599 | 1.015504e+03 | 1.038000e+03 | 2.22%| unknown
1446.20/1449.83 c 1450s| 7300 | 422 | 7157k| 368.5 | 427M | 42 |1429 |4932 |2961 |2997 | 1 | 13k|5603 | 1.015547e+03 | 1.038000e+03 | 2.21%| unknown
1456.38/1460.04 c 1460s| 7400 | 440 | 7206k| 369.1 | 427M | 42 |1429 |4810 |2962 |3197 | 1 | 13k|5623 | 1.015617e+03 | 1.038000e+03 | 2.20%| unknown
1458.96/1462.68 c 1463s| 7500 | 436 | 7230k| 368.5 | 427M | 42 |1429 |4864 |2962 |3207 | 0 | 13k|5636 | 1.015617e+03 | 1.038000e+03 | 2.20%| unknown
1466.14/1469.86 c 1470s| 7600 | 458 | 7280k| 369.1 | 428M | 42 |1429 |4787 |2970 |3341 | 0 | 14k|5645 | 1.015647e+03 | 1.038000e+03 | 2.20%| unknown
1471.34/1475.03 c 1475s| 7700 | 470 | 7314k| 369.0 | 428M | 42 |1429 |4742 |2974 |3428 | 2 | 14k|5649 | 1.015660e+03 | 1.038000e+03 | 2.20%| unknown
1478.50/1482.29 c 1482s| 7800 | 478 | 7353k| 369.0 | 428M | 42 |1429 |4685 |2970 |3569 | 0 | 14k|5656 | 1.015691e+03 | 1.038000e+03 | 2.20%| unknown
1486.98/1490.79 c 1491s| 7900 | 488 | 7397k| 369.4 | 428M | 42 |1429 |4632 |2966 |3750 | 0 | 14k|5658 | 1.015738e+03 | 1.038000e+03 | 2.19%| unknown
1489.87/1493.64 c 1494s| 8000 | 492 | 7423k| 368.9 | 428M | 42 |1429 |4620 |2963 |3773 | 0 | 14k|5662 | 1.015738e+03 | 1.038000e+03 | 2.19%| unknown
1494.46/1498.29 c 1498s| 8100 | 504 | 7458k| 368.8 | 428M | 42 |1429 |4582 |2964 |3841 | 1 | 14k|5669 | 1.015752e+03 | 1.038000e+03 | 2.19%| unknown
1498.64/1502.42 c 1502s| 8200 | 506 | 7487k| 368.4 | 428M | 42 |1429 |4557 |2964 |3919 | 1 | 14k|5670 | 1.015760e+03 | 1.038000e+03 | 2.19%| unknown
1502.83/1506.61 c 1507s| 8300 | 510 | 7517k| 368.1 | 428M | 42 |1429 |4508 |2966 |4015 | 2 | 14k|5675 | 1.015808e+03 | 1.038000e+03 | 2.18%| unknown
1505.02/1508.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1505.02/1508.86 c 1509s| 8400 | 512 | 7541k| 367.5 | 428M | 42 |1429 |4515 |2966 |4042 | 1 | 14k|5676 | 1.015808e+03 | 1.038000e+03 | 2.18%| unknown
1514.40/1518.29 c 1518s| 8500 | 526 | 7591k| 368.1 | 428M | 42 |1429 |4496 |2970 |4244 | 0 | 14k|5681 | 1.015857e+03 | 1.038000e+03 | 2.18%| unknown
1522.29/1526.12 c 1526s| 8600 | 538 | 7646k| 369.0 | 428M | 42 |1429 |4467 |2970 |4312 | 0 | 14k|5686 | 1.015879e+03 | 1.038000e+03 | 2.18%| unknown
1524.28/1528.17 c 1528s| 8700 | 534 | 7668k| 368.2 | 428M | 42 |1429 |4501 |2963 |4326 | 1 | 14k|5697 | 1.015879e+03 | 1.038000e+03 | 2.18%| unknown
1528.86/1532.76 c 1533s| 8800 | 528 | 7701k| 368.0 | 428M | 42 |1429 |4441 |2959 |4427 | 0 | 14k|5699 | 1.015917e+03 | 1.038000e+03 | 2.17%| unknown
1532.44/1536.32 c 1536s| 8900 | 534 | 7732k| 367.8 | 428M | 42 |1429 |4369 |2965 |4503 | 1 | 14k|5702 | 1.015964e+03 | 1.038000e+03 | 2.17%| unknown
1539.32/1543.22 c 1543s| 9000 | 546 | 7766k| 367.7 | 428M | 42 |1429 |4321 |2966 |4602 | 0 | 14k|5707 | 1.015983e+03 | 1.038000e+03 | 2.17%| unknown
1541.02/1544.90 c 1545s| 9100 | 546 | 7784k| 366.8 | 428M | 42 |1429 |4320 |2965 |4616 | 0 | 14k|5707 | 1.015983e+03 | 1.038000e+03 | 2.17%| unknown
1548.00/1551.95 c 1552s| 9200 | 560 | 7826k| 367.0 | 429M | 42 |1429 |4222 |2969 |4813 | 0 | 14k|5708 | 1.015992e+03 | 1.038000e+03 | 2.17%| unknown
1550.20/1554.19 c 1554s| 9300 | 562 | 7849k| 366.4 | 429M | 42 |1429 |4229 |2963 |4832 | 0 | 14k|5711 | 1.015992e+03 | 1.038000e+03 | 2.17%| unknown
1554.48/1558.44 c 1558s| 9400 | 568 | 7878k| 366.0 | 429M | 42 |1429 |4221 |2965 |4900 | 1 | 14k|5715 | 1.016001e+03 | 1.038000e+03 | 2.17%| unknown
1557.77/1561.74 c 1562s| 9500 | 576 | 7907k| 365.7 | 429M | 42 |1429 |4253 |2964 |4986 | 1 | 14k|5728 | 1.016001e+03 | 1.038000e+03 | 2.17%| unknown
1561.96/1565.97 c 1566s| 9600 | 588 | 7940k| 365.5 | 429M | 42 |1429 |4244 |2965 |5087 | 1 | 14k|5737 | 1.016030e+03 | 1.038000e+03 | 2.16%| unknown
1564.45/1568.48 c 1568s| 9700 | 594 | 7965k| 365.0 | 429M | 42 |1429 |4233 |2966 |5097 | 1 | 14k|5746 | 1.016046e+03 | 1.038000e+03 | 2.16%| unknown
1570.33/1574.30 c 1574s| 9800 | 598 | 7997k| 364.8 | 429M | 42 |1429 |4205 |2962 |5212 | 0 | 14k|5764 | 1.016057e+03 | 1.038000e+03 | 2.16%| unknown
1573.42/1577.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1573.42/1577.49 c 1577s| 9900 | 612 | 8027k| 364.5 | 429M | 42 |1429 |4189 |2966 |5233 | 1 | 14k|5765 | 1.016088e+03 | 1.038000e+03 | 2.16%| unknown
1578.41/1582.44 c 1582s| 10000 | 618 | 8059k| 364.3 | 429M | 42 |1429 |4206 |2969 |5318 | 1 | 14k|5772 | 1.016111e+03 | 1.038000e+03 | 2.15%| unknown
1585.10/1589.13 c 1589s| 10100 | 634 | 8098k| 364.4 | 429M | 42 |1429 |4194 |2970 |5418 | 1 | 14k|5803 | 1.016186e+03 | 1.038000e+03 | 2.15%| unknown
1588.48/1592.50 c 1592s| 10200 | 634 | 8118k| 363.7 | 429M | 42 |1429 |4274 |2970 |5426 | 1 | 14k|5857 | 1.016186e+03 | 1.038000e+03 | 2.15%| unknown
1592.98/1597.06 c 1597s| 10300 | 640 | 8143k| 363.2 | 429M | 42 |1429 |4250 |2969 |5508 | 1 | 14k|5872 | 1.016217e+03 | 1.038000e+03 | 2.14%| unknown
1600.34/1604.46 c 1604s| 10400 | 638 | 8198k| 364.0 | 429M | 42 |1429 |4239 |2970 |5563 | 1 | 14k|5875 | 1.016220e+03 | 1.038000e+03 | 2.14%| unknown
1606.82/1610.93 c 1611s| 10500 | 646 | 8238k| 364.1 | 429M | 42 |1429 |4216 |2972 |5690 | 1 | 14k|5878 | 1.016229e+03 | 1.038000e+03 | 2.14%| unknown
1608.82/1612.93 c 1613s| 10600 | 644 | 8259k| 363.5 | 429M | 42 |1429 |4213 |2969 |5717 | 1 | 14k|5878 | 1.016229e+03 | 1.038000e+03 | 2.14%| unknown
1611.11/1615.26 c 1615s| 10700 | 644 | 8283k| 362.9 | 429M | 42 |1429 |4230 |2973 |5734 | 0 | 14k|5881 | 1.016229e+03 | 1.038000e+03 | 2.14%| unknown
1616.40/1620.55 c 1621s| 10800 | 644 | 8312k| 362.6 | 429M | 42 |1429 |4275 |2973 |5821 | 0 | 15k|5900 | 1.016231e+03 | 1.038000e+03 | 2.14%| unknown
1621.08/1625.20 c 1625s| 10900 | 656 | 8345k| 362.5 | 429M | 42 |1429 |4274 |2960 |5909 | 1 | 15k|5902 | 1.016245e+03 | 1.038000e+03 | 2.14%| unknown
1622.89/1627.10 c 1627s| 11000 | 654 | 8365k| 361.8 | 429M | 42 |1429 |4304 |2960 |5913 | 0 | 15k|5906 | 1.016245e+03 | 1.038000e+03 | 2.14%| unknown
1625.27/1629.41 c 1629s| 11100 | 660 | 8388k| 361.2 | 429M | 42 |1429 |4318 |2968 |5933 | 0 | 15k|5908 | 1.016245e+03 | 1.038000e+03 | 2.14%| unknown
1629.46/1633.63 c 1634s| 11200 | 664 | 8413k| 360.7 | 429M | 42 |1429 |4318 |2967 |6005 | 1 | 15k|5910 | 1.016303e+03 | 1.038000e+03 | 2.13%| unknown
1633.25/1637.43 c 1637s| 11300 | 670 | 8439k| 360.3 | 429M | 42 |1429 |4315 |2969 |6077 | 1 | 15k|5911 | 1.016324e+03 | 1.038000e+03 | 2.13%| unknown
1639.33/1643.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1639.33/1643.53 c 1644s| 11400 | 674 | 8474k| 360.2 | 429M | 42 |1429 |4292 |2970 |6202 | 0 | 15k|5911 | 1.016329e+03 | 1.038000e+03 | 2.13%| unknown
1644.51/1648.70 c 1649s| 11500 | 684 | 8507k| 360.1 | 429M | 42 |1429 |4282 |2966 |6318 | 1 | 15k|5913 | 1.016337e+03 | 1.038000e+03 | 2.13%| unknown
1651.99/1656.26 c 1656s| 11600 | 692 | 8546k| 360.2 | 429M | 42 |1429 |4269 |2970 |6487 | 0 | 15k|5921 | 1.016354e+03 | 1.038000e+03 | 2.13%| unknown
1656.28/1660.52 c 1661s| 11700 | 696 | 8576k| 359.9 | 429M | 42 |1429 |4256 |2970 |6574 | 0 | 15k|5923 | 1.016362e+03 | 1.038000e+03 | 2.13%| unknown
1663.87/1668.14 c 1668s| 11800 | 712 | 8619k| 360.2 | 429M | 42 |1429 |4211 |2974 |6743 | 1 | 15k|5925 | 1.016400e+03 | 1.038000e+03 | 2.13%| unknown
1666.05/1670.31 c 1670s| 11900 | 712 | 8641k| 359.7 | 429M | 42 |1429 |4215 |2974 |6778 | 1 | 15k|5926 | 1.016400e+03 | 1.038000e+03 | 2.13%| unknown
1671.93/1676.29 c 1676s| 12000 | 730 | 8679k| 359.8 | 431M | 42 |1429 |4174 |2971 |6894 | 2 | 15k|5927 | 1.016418e+03 | 1.038000e+03 | 2.12%| unknown
1682.60/1686.90 c 1687s| 12100 | 744 | 8727k| 360.3 | 431M | 42 |1429 |4140 |2970 |7154 | 1 | 15k|5945 | 1.016438e+03 | 1.038000e+03 | 2.12%| unknown
1685.29/1689.62 c 1690s| 12200 | 740 | 8750k| 359.7 | 431M | 42 |1429 |4179 |2971 |7157 | 1 | 15k|5961 | 1.016438e+03 | 1.038000e+03 | 2.12%| unknown
1691.87/1696.22 c 1696s| 12300 | 754 | 8786k| 359.7 | 431M | 42 |1429 |4180 |2981 |7269 | 0 | 15k|5975 | 1.016455e+03 | 1.038000e+03 | 2.12%| unknown
1695.26/1699.62 c 1700s| 12400 | 754 | 8811k| 359.3 | 431M | 42 |1429 |4280 |2977 |7284 | 0 | 15k|6012 | 1.016455e+03 | 1.038000e+03 | 2.12%| unknown
1699.45/1703.82 c 1704s| 12500 | 756 | 8842k| 359.1 | 431M | 42 |1429 |4428 |2985 |7308 | 1 | 15k|6056 | 1.016455e+03 | 1.038000e+03 | 2.12%| unknown
1708.22/1712.62 c 1713s| 12600 | 758 | 8897k| 359.9 | 431M | 43 |1429 |4393 |2985 |7396 | 0 | 15k|6074 | 1.016463e+03 | 1.038000e+03 | 2.12%| unknown
1714.90/1719.31 c 1719s| 12700 | 768 | 8939k| 360.1 | 431M | 43 |1429 |4369 |2979 |7499 | 1 | 15k|6089 | 1.016482e+03 | 1.038000e+03 | 2.12%| unknown
1721.29/1725.72 c 1726s| 12800 | 768 | 8975k| 360.1 | 431M | 43 |1429 |4417 |2981 |7599 | 1 | 15k|6125 | 1.016488e+03 | 1.038000e+03 | 2.12%| unknown
1724.38/1728.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1724.38/1728.88 c 1729s| 12900 | 762 | 9003k| 359.8 | 431M | 43 |1429 |4506 |2981 |7606 | 0 | 15k|6148 | 1.016488e+03 | 1.038000e+03 | 2.12%| unknown
1730.26/1734.79 c 1735s| 13000 | 776 | 9041k| 359.9 | 431M | 43 |1429 |4472 |2980 |7639 | 2 | 16k|6180 | 1.016497e+03 | 1.038000e+03 | 2.12%| unknown
1738.83/1743.35 c 1743s| 13100 | 788 | 9085k| 360.2 | 431M | 43 |1429 |4458 |2972 |7854 | 0 | 16k|6191 | 1.016518e+03 | 1.038000e+03 | 2.11%| unknown
1744.91/1749.43 c 1749s| 13200 | 792 | 9119k| 360.1 | 431M | 43 |1429 |4494 |2977 |7951 | 0 | 16k|6223 | 1.016526e+03 | 1.038000e+03 | 2.11%| unknown
1748.30/1752.86 c 1753s| 13300 | 790 | 9146k| 359.7 | 431M | 43 |1429 |4611 |2974 |7988 | 0 | 16k|6260 | 1.016526e+03 | 1.038000e+03 | 2.11%| unknown
1752.09/1756.60 c 1757s| 13400 | 796 | 9175k| 359.5 | 431M | 43 |1429 |4647 |2980 |8020 | 2 | 16k|6282 | 1.016565e+03 | 1.038000e+03 | 2.11%| unknown
1757.08/1761.62 c 1762s| 13500 | 804 | 9209k| 359.4 | 431M | 43 |1429 |4639 |2982 |8113 | 1 | 16k|6299 | 1.016598e+03 | 1.038000e+03 | 2.11%| unknown
1759.37/1763.98 c 1764s| 13600 | 800 | 9232k| 358.9 | 431M | 43 |1429 |4654 |2982 |8138 | 2 | 16k|6305 | 1.016598e+03 | 1.038000e+03 | 2.11%| unknown
1765.16/1769.78 c 1770s| 13700 | 802 | 9267k| 358.8 | 431M | 43 |1429 |4659 |2972 |8252 | 0 | 16k|6318 | 1.016620e+03 | 1.038000e+03 | 2.10%| unknown
1774.63/1779.24 c 1779s| 13800 | 820 | 9321k| 359.5 | 431M | 43 |1429 |4625 |2976 |8470 | 1 | 16k|6334 | 1.016655e+03 | 1.038000e+03 | 2.10%| unknown
1777.02/1781.62 c 1782s| 13900 | 818 | 9343k| 359.0 | 431M | 43 |1429 |4637 |2977 |8506 | 1 | 16k|6338 | 1.016655e+03 | 1.038000e+03 | 2.10%| unknown
1779.71/1784.33 c 1784s| 14000 | 822 | 9370k| 358.6 | 431M | 43 |1429 |4638 |2974 |8532 | 1 | 16k|6343 | 1.016655e+03 | 1.038000e+03 | 2.10%| unknown
1785.70/1790.34 c 1790s| 14100 | 828 | 9405k| 358.6 | 430M | 43 |1429 |4610 |2980 |8643 | 1 | 16k|6360 | 1.016709e+03 | 1.038000e+03 | 2.09%| unknown
1789.40/1794.09 c 1794s| 14200 | 832 | 9432k| 358.3 | 430M | 43 |1429 |4659 |2980 |8670 | 1 | 16k|6385 | 1.016717e+03 | 1.038000e+03 | 2.09%| unknown
1791.68/1796.30 c 1796s| 14300 | 830 | 9454k| 357.8 | 430M | 43 |1429 |4662 |2975 |8691 | 1 | 16k|6388 | 1.016717e+03 | 1.038000e+03 | 2.09%| unknown
1794.77/1799.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1794.77/1799.48 c 1799s| 14400 | 834 | 9484k| 357.5 | 430M | 43 |1429 |4649 |2981 |8709 | 1 | 16k|6391 | 1.016729e+03 | 1.038000e+03 | 2.09%| unknown
1800.46/1805.13 c 1805s| 14500 | 834 | 9519k| 357.5 | 430M | 43 |1429 |4627 |2974 |8827 | 0 | 16k|6402 | 1.016750e+03 | 1.038000e+03 | 2.09%| unknown
1808.73/1813.43 c 1813s| 14600 | 842 | 9564k| 357.9 | 430M | 43 |1429 |4618 |2979 |8997 | 0 | 16k|6411 | 1.016755e+03 | 1.038000e+03 | 2.09%| unknown
1818.10/1822.81 c 1823s| 14700 | 886 | 9643k| 359.5 | 430M | 43 |1429 |4549 |3045 |9094 | 0 | 16k|6416 | 1.016758e+03 | 1.038000e+03 | 2.09%| unknown
1825.18/1829.98 c 1830s| 14800 | 898 | 9684k| 359.7 | 430M | 43 |1429 |4570 |3045 |9243 | 1 | 17k|6428 | 1.016779e+03 | 1.038000e+03 | 2.09%| unknown
1831.56/1836.34 c 1836s| 14900 | 904 | 9721k| 359.7 | 430M | 43 |1429 |4703 |3046 |9333 | 1 | 17k|6470 | 1.016788e+03 | 1.038000e+03 | 2.09%| unknown
1834.26/1839.10 c 1839s| 15000 | 908 | 9749k| 359.4 | 430M | 43 |1429 |4751 |3046 |9345 | 1 | 17k|6479 | 1.016788e+03 | 1.038000e+03 | 2.09%| unknown
1843.12/1848.00 c 1848s| 15100 | 932 | 9801k| 360.0 | 430M | 43 |1429 |4791 |3051 |9562 | 0 | 17k|6509 | 1.016828e+03 | 1.038000e+03 | 2.08%| unknown
1848.91/1853.77 c 1854s| 15200 | 942 | 9841k| 360.2 | 430M | 43 |1429 |4963 |3048 |9573 | 0 | 17k|6568 | 1.016842e+03 | 1.038000e+03 | 2.08%| unknown
1857.38/1862.23 c 1862s| 15300 | 948 | 9875k| 360.1 | 430M | 43 |1429 |5166 |3047 |9649 | 1 | 17k|6657 | 1.016859e+03 | 1.038000e+03 | 2.08%| unknown
1863.46/1868.37 c 1868s| 15400 | 952 | 9909k| 360.0 | 430M | 43 |1429 |5357 |3046 |9731 | 1 | 18k|6696 | 1.016865e+03 | 1.038000e+03 | 2.08%| unknown
1869.45/1874.39 c 1874s| 15500 | 954 | 9943k| 359.9 | 430M | 43 |1429 |5504 |3053 |9746 | 0 | 18k|6742 | 1.016879e+03 | 1.038000e+03 | 2.08%| unknown
1879.42/1884.36 c 1884s| 15600 | 978 | 9996k| 360.6 | 439M | 43 |1429 |5498 |3053 |9983 | 0 | 18k|6751 | 1.016915e+03 | 1.038000e+03 | 2.07%| unknown
1886.70/1891.64 c 1892s| 15700 | 988 | 10041k| 360.9 | 442M | 43 |1429 |5609 |3052 | 10k| 0 | 18k|6801 | 1.016918e+03 | 1.038000e+03 | 2.07%| unknown
1899.07/1904.07 c 1904s| 15800 | 1004 | 10098k| 361.6 | 464M | 44 |1429 |5746 |3064 | 10k| 1 | 18k|6859 | 1.016928e+03 | 1.038000e+03 | 2.07%| unknown
1903.95/1908.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1903.95/1908.98 c 1909s| 15900 | 1004 | 10137k| 361.7 | 474M | 46 |1429 |5754 |3061 | 10k| 0 | 18k|6867 | 1.016939e+03 | 1.038000e+03 | 2.07%| unknown
1916.60/1921.68 c 1922s| 16000 | 1020 | 10193k| 362.4 | 488M | 46 |1429 |5732 |3070 | 10k| 0 | 19k|6923 | 1.016958e+03 | 1.038000e+03 | 2.07%| unknown
1923.68/1928.79 c 1929s| 16100 | 1028 | 10232k| 362.5 | 542M | 46 |1429 |5680 |3064 | 10k| 1 | 19k|6926 | 1.016982e+03 | 1.038000e+03 | 2.07%| unknown
1928.08/1933.12 c 1933s| 16200 | 1030 | 10266k| 362.4 | 555M | 46 |1429 |5663 |3067 | 10k| 0 | 19k|6949 | 1.016987e+03 | 1.038000e+03 | 2.07%| unknown
1934.75/1939.84 c 1940s| 16300 | 1038 | 10310k| 362.7 | 554M | 46 |1429 |5517 |3059 | 11k| 0 | 19k|6950 | 1.017006e+03 | 1.038000e+03 | 2.06%| unknown
1938.44/1943.55 c 1944s| 16400 | 1042 | 10345k| 362.7 | 554M | 46 |1429 |5434 |3064 | 11k| 0 | 19k|6953 | 1.017008e+03 | 1.038000e+03 | 2.06%| unknown
1946.93/1952.07 c 1952s| 16500 | 1056 | 10398k| 363.3 | 552M | 46 |1429 |5165 |3072 | 11k| 2 | 19k|6954 | 1.017029e+03 | 1.038000e+03 | 2.06%| unknown
1949.51/1954.61 c 1955s| 16600 | 1052 | 10421k| 362.8 | 549M | 46 |1429 |5118 |3062 | 11k| 1 | 19k|6955 | 1.017029e+03 | 1.038000e+03 | 2.06%| unknown
1958.89/1964.10 c 1964s| 16700 | 1060 | 10472k| 363.3 | 531M | 46 |1429 |4800 |3074 | 11k| 0 | 19k|6955 | 1.017044e+03 | 1.038000e+03 | 2.06%| unknown
1962.37/1967.51 c 1968s| 16800 | 1062 | 10505k| 363.2 | 524M | 46 |1429 |4617 |3058 | 11k| 1 | 19k|6955 | 1.017044e+03 | 1.038000e+03 | 2.06%| unknown
1967.65/1972.85 c 1973s| 16900 | 1072 | 10547k| 363.4 | 523M | 46 |1429 |4485 |3073 | 11k| 1 | 19k|6955 | 1.017054e+03 | 1.038000e+03 | 2.06%| unknown
1974.84/1980.01 c 1980s| 17000 | 1082 | 10589k| 363.6 | 519M | 46 |1429 |4461 |3081 | 12k| 0 | 19k|6959 | 1.017074e+03 | 1.038000e+03 | 2.06%| unknown
1982.71/1988.00 c 1988s| 17100 | 1094 | 10659k| 364.7 | 519M | 46 |1429 |4447 |3078 | 12k| 1 | 19k|6960 | 1.017088e+03 | 1.038000e+03 | 2.06%| unknown
1986.91/1992.18 c 1992s| 17200 | 1098 | 10694k| 364.7 | 519M | 46 |1429 |4401 |3074 | 12k| 1 | 19k|6980 | 1.017094e+03 | 1.038000e+03 | 2.06%| unknown
1990.98/1996.22 c 1996s| 17300 | 1100 | 10728k| 364.6 | 519M | 46 |1429 |4359 |3079 | 12k| 0 | 19k|6980 | 1.017103e+03 | 1.038000e+03 | 2.05%| unknown
1995.27/2000.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1995.27/2000.53 c 2001s| 17400 | 1102 | 10761k| 364.5 | 519M | 46 |1429 |4346 |3072 | 12k| 1 | 19k|6989 | 1.017114e+03 | 1.038000e+03 | 2.05%| unknown
1998.46/2003.72 c 2004s| 17500 | 1102 | 10792k| 364.3 | 519M | 46 |1429 |4316 |3079 | 12k| 0 | 19k|6989 | 1.017131e+03 | 1.038000e+03 | 2.05%| unknown
2002.05/2007.32 c 2007s| 17600 | 1112 | 10825k| 364.2 | 518M | 46 |1429 |4295 |3068 | 12k| 1 | 19k|6989 | 1.017136e+03 | 1.038000e+03 | 2.05%| unknown
2010.03/2015.30 c 2015s| 17700 | 1120 | 10871k| 364.5 | 518M | 46 |1429 |4286 |3074 | 12k| 0 | 19k|6991 | 1.017169e+03 | 1.038000e+03 | 2.05%| unknown
2018.40/2023.76 c 2024s| 17800 | 1128 | 10918k| 364.9 | 518M | 46 |1429 |4274 |3067 | 12k| 1 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2021.09/2026.49 c 2026s| 17900 | 1128 | 10945k| 364.5 | 518M | 46 |1429 |4274 |3065 | 12k| 1 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2024.18/2029.56 c 2030s| 18000 | 1128 | 10974k| 364.3 | 518M | 46 |1429 |4270 |3065 | 13k| 0 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2027.57/2032.93 c 2033s| 18100 | 1136 | 11006k| 364.1 | 517M | 46 |1429 |4265 |3073 | 13k| 0 | 19k|6991 | 1.017180e+03 | 1.038000e+03 | 2.05%| unknown
2031.16/2036.59 c 2037s| 18200 | 1144 | 11041k| 364.1 | 517M | 46 |1429 |4261 |3081 | 13k| 1 | 19k|6991 | 1.017181e+03 | 1.038000e+03 | 2.05%| unknown
2037.15/2042.52 c 2043s| 18300 | 1154 | 11081k| 364.2 | 517M | 46 |1429 |4262 |3088 | 13k| 0 | 19k|6991 | 1.017190e+03 | 1.038000e+03 | 2.05%| unknown
2042.64/2048.10 c 2048s| 18400 | 1162 | 11116k| 364.2 | 517M | 46 |1429 |4259 |3087 | 13k| 1 | 19k|6991 | 1.017191e+03 | 1.038000e+03 | 2.05%| unknown
2048.01/2053.47 c 2053s| 18500 | 1162 | 11153k| 364.2 | 517M | 46 |1429 |4245 |3076 | 13k| 0 | 19k|6992 | 1.017247e+03 | 1.038000e+03 | 2.04%| unknown
2053.29/2058.78 c 2059s| 18600 | 1166 | 11188k| 364.2 | 517M | 46 |1429 |4237 |3085 | 13k| 0 | 19k|6992 | 1.017248e+03 | 1.038000e+03 | 2.04%| unknown
2056.09/2061.54 c 2062s| 18700 | 1160 | 11214k| 363.8 | 517M | 46 |1429 |4237 |3074 | 13k| 0 | 19k|6992 | 1.017248e+03 | 1.038000e+03 | 2.04%| unknown
2059.08/2064.54 c 2065s| 18800 | 1158 | 11242k| 363.5 | 517M | 46 |1429 |4237 |3076 | 13k| 1 | 19k|6992 | 1.017248e+03 | 1.038000e+03 | 2.04%| unknown
2062.77/2068.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2062.77/2068.24 c 2068s| 18900 | 1162 | 11277k| 363.5 | 517M | 46 |1429 |4230 |3073 | 13k| 1 | 19k|6992 | 1.017256e+03 | 1.038000e+03 | 2.04%| unknown
2070.75/2076.20 c 2076s| 19000 | 1188 | 11330k| 364.0 | 517M | 46 |1429 |4194 |3037 | 13k| 1 | 19k|6997 | 1.017259e+03 | 1.038000e+03 | 2.04%| unknown
2076.24/2081.77 c 2082s| 19100 | 1198 | 11369k| 364.1 | 517M | 46 |1429 |4182 |3046 | 14k| 1 | 19k|6997 | 1.017262e+03 | 1.038000e+03 | 2.04%| unknown
2078.73/2084.24 c 2084s| 19200 | 1194 | 11393k| 363.7 | 517M | 46 |1429 |4182 |3047 | 14k| 2 | 19k|6998 | 1.017262e+03 | 1.038000e+03 | 2.04%| unknown
2087.71/2093.24 c 2093s| 19300 | 1206 | 11458k| 364.6 | 517M | 46 |1429 |4175 |3046 | 14k| 0 | 19k|6998 | 1.017288e+03 | 1.038000e+03 | 2.04%| unknown
2093.20/2098.75 c 2099s| 19400 | 1210 | 11488k| 364.4 | 517M | 46 |1429 |4186 |3049 | 14k| 0 | 19k|7031 | 1.017293e+03 | 1.038000e+03 | 2.04%| unknown
2098.39/2103.96 c 2104s| 19500 | 1228 | 11527k| 364.5 | 517M | 46 |1429 |4168 |3051 | 14k| 1 | 19k|7031 | 1.017295e+03 | 1.038000e+03 | 2.04%| unknown
2100.28/2105.86 c 2106s| 19600 | 1228 | 11547k| 364.0 | 517M | 46 |1429 |4186 |3050 | 14k| 1 | 19k|7036 | 1.017295e+03 | 1.038000e+03 | 2.04%| unknown
2109.05/2114.62 c 2115s| 19700 | 1238 | 11595k| 364.3 | 517M | 46 |1429 |4232 |3049 | 14k| 1 | 19k|7067 | 1.017314e+03 | 1.038000e+03 | 2.03%| unknown
2111.35/2116.92 c 2117s| 19800 | 1238 | 11617k| 363.9 | 517M | 46 |1429 |4263 |3051 | 14k| 1 | 19k|7078 | 1.017314e+03 | 1.038000e+03 | 2.03%| unknown
2114.64/2120.21 c 2120s| 19900 | 1238 | 11639k| 363.4 | 517M | 46 |1429 |4337 |3051 | 14k| 1 | 19k|7123 | 1.017314e+03 | 1.038000e+03 | 2.03%| unknown
2121.44/2127.10 c 2127s| 20000 | 1240 | 11672k| 363.4 | 517M | 46 |1429 |4347 |3045 | 14k| 0 | 19k|7158 | 1.017324e+03 | 1.038000e+03 | 2.03%| unknown
2128.71/2134.35 c 2134s| 20100 | 1250 | 11713k| 363.5 | 517M | 46 |1429 |4328 |3045 | 14k| 1 | 20k|7158 | 1.017347e+03 | 1.038000e+03 | 2.03%| unknown
2136.50/2142.18 c 2142s| 20200 | 1254 | 11754k| 363.6 | 517M | 46 |1429 |4288 |3047 | 15k| 1 | 20k|7165 | 1.017356e+03 | 1.038000e+03 | 2.03%| unknown
2141.08/2146.72 c 2147s| 20300 | 1254 | 11785k| 363.5 | 517M | 46 |1429 |4310 |3049 | 15k| 1 | 20k|7190 | 1.017360e+03 | 1.038000e+03 | 2.03%| unknown
2145.97/2151.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2145.97/2151.62 c 2152s| 20400 | 1262 | 11822k| 363.5 | 517M | 46 |1429 |4313 |3052 | 15k| 1 | 20k|7198 | 1.017366e+03 | 1.038000e+03 | 2.03%| unknown
2158.24/2163.98 c 2164s| 20500 | 1280 | 11886k| 364.3 | 517M | 46 |1429 |4338 |3044 | 15k| 0 | 20k|7254 | 1.017412e+03 | 1.038000e+03 | 2.02%| unknown
2162.44/2168.16 c 2168s| 20600 | 1284 | 11917k| 364.2 | 517M | 46 |1429 |4287 |3047 | 15k| 0 | 20k|7268 | 1.017416e+03 | 1.038000e+03 | 2.02%| unknown
2171.32/2177.08 c 2177s| 20700 | 1300 | 11965k| 364.5 | 517M | 46 |1429 |4269 |3048 | 15k| 0 | 20k|7308 | 1.017445e+03 | 1.038000e+03 | 2.02%| unknown
2184.18/2190.01 c 2190s| 20800 | 1326 | 12052k| 366.1 | 517M | 46 |1429 |4236 |3055 | 15k| 0 | 20k|7311 | 1.017479e+03 | 1.038000e+03 | 2.02%| unknown
2194.85/2200.68 c 2201s| 20900 | 1346 | 12112k| 366.8 | 517M | 46 |1429 |4328 |3056 | 16k| 0 | 20k|7348 | 1.017521e+03 | 1.038000e+03 | 2.01%| unknown
2202.93/2208.78 c 2209s| 21000 | 1362 | 12165k| 367.3 | 517M | 46 |1429 |4414 |3057 | 16k| 1 | 20k|7388 | 1.017568e+03 | 1.038000e+03 | 2.01%| unknown
2214.32/2220.18 c 2220s| 21100 | 1366 | 12215k| 367.7 | 517M | 46 |1429 |4778 |3058 | 16k| 1 | 21k|7548 | 1.017575e+03 | 1.038000e+03 | 2.01%| unknown
2225.88/2231.74 c 2232s| 21200 | 1384 | 12274k| 368.3 | 517M | 46 |1429 |4838 |3060 | 16k| 2 | 21k|7590 | 1.017580e+03 | 1.038000e+03 | 2.01%| unknown
2234.06/2239.91 c 2240s| 21300 | 1392 | 12314k| 368.4 | 517M | 46 |1429 |4874 |3061 | 16k| 0 | 21k|7626 | 1.017592e+03 | 1.038000e+03 | 2.01%| unknown
2246.14/2252.05 c 2252s| 21400 | 1420 | 12380k| 369.3 | 518M | 46 |1429 |4824 |3062 | 17k| 1 | 21k|7638 | 1.017667e+03 | 1.038000e+03 | 2.00%| unknown
2256.80/2262.71 c 2263s| 21500 | 1428 | 12452k| 370.3 | 518M | 46 |1429 |4803 |3065 | 17k| 1 | 21k|7654 | 1.017693e+03 | 1.038000e+03 | 2.00%| unknown
2260.89/2266.88 c 2267s| 21600 | 1436 | 12488k| 370.3 | 515M | 46 |1429 |4752 |3058 | 17k| 1 | 21k|7663 | 1.017698e+03 | 1.038000e+03 | 1.99%| unknown
2264.38/2270.30 c 2270s| 21700 | 1436 | 12514k| 370.0 | 515M | 46 |1429 |4858 |3063 | 17k| 0 | 22k|7697 | 1.017698e+03 | 1.038000e+03 | 1.99%| unknown
2271.77/2277.77 c 2278s| 21800 | 1436 | 12540k| 369.7 | 515M | 46 |1429 |5138 |3063 | 17k| 0 | 22k|7846 | 1.017698e+03 | 1.038000e+03 | 1.99%| unknown
2278.65/2284.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2278.65/2284.67 c 2285s| 21900 | 1442 | 12571k| 369.5 | 515M | 46 |1429 |5143 |3065 | 17k| 0 | 22k|7902 | 1.017703e+03 | 1.038000e+03 | 1.99%| unknown
2288.33/2294.34 c 2294s| 22000 | 1458 | 12622k| 369.9 | 516M | 46 |1429 |5187 |3070 | 17k| 1 | 22k|7969 | 1.017714e+03 | 1.038000e+03 | 1.99%| unknown
2294.21/2300.24 c 2300s| 22100 | 1460 | 12656k| 369.8 | 516M | 46 |1429 |5176 |3077 | 17k| 0 | 22k|7986 | 1.017748e+03 | 1.038000e+03 | 1.99%| unknown
2298.40/2304.48 c 2304s| 22200 | 1466 | 12688k| 369.7 | 516M | 46 |1429 |5246 |3072 | 17k| 2 | 22k|8029 | 1.017758e+03 | 1.038000e+03 | 1.99%| unknown
2308.88/2314.94 c 2315s| 22300 | 1478 | 12736k| 370.0 | 516M | 46 |1429 |5130 |3071 | 18k| 0 | 23k|8039 | 1.017806e+03 | 1.038000e+03 | 1.98%| unknown
2320.15/2326.23 c 2326s| 22400 | 1496 | 12792k| 370.5 | 516M | 46 |1429 |4858 |3061 | 18k| 0 | 23k|8046 | 1.017869e+03 | 1.038000e+03 | 1.98%| unknown
2325.54/2331.65 c 2332s| 22500 | 1500 | 12825k| 370.4 | 516M | 46 |1429 |4649 |3075 | 18k| 1 | 23k|8047 | 1.017871e+03 | 1.038000e+03 | 1.98%| unknown
2332.12/2338.24 c 2338s| 22600 | 1510 | 12868k| 370.6 | 515M | 46 |1429 |4463 |3071 | 18k| 0 | 23k|8067 | 1.017880e+03 | 1.038000e+03 | 1.98%| unknown
2335.03/2341.17 c 2341s| 22700 | 1508 | 12896k| 370.3 | 515M | 46 |1429 |4459 |3073 | 18k| 3 | 23k|8082 | 1.017880e+03 | 1.038000e+03 | 1.98%| unknown
2338.21/2344.33 c 2344s| 22800 | 1506 | 12924k| 370.1 | 515M | 46 |1429 |4470 |3063 | 19k| 1 | 23k|8090 | 1.017880e+03 | 1.038000e+03 | 1.98%| unknown
2341.60/2347.76 c 2348s| 22900 | 1510 | 12957k| 370.0 | 514M | 46 |1429 |4421 |3074 | 19k| 0 | 23k|8096 | 1.017901e+03 | 1.038000e+03 | 1.97%| unknown
2348.68/2354.87 c 2355s| 23000 | 1516 | 12998k| 370.1 | 514M | 46 |1429 |4466 |3063 | 19k| 0 | 23k|8133 | 1.017907e+03 | 1.038000e+03 | 1.97%| unknown
2358.56/2364.78 c 2365s| 23100 | 1528 | 13071k| 371.1 | 514M | 46 |1429 |4413 |3078 | 19k| 1 | 23k|8138 | 1.017919e+03 | 1.038000e+03 | 1.97%| unknown
2362.96/2369.15 c 2369s| 23200 | 1526 | 13097k| 370.8 | 514M | 46 |1429 |4426 |3063 | 19k| 1 | 23k|8170 | 1.017919e+03 | 1.038000e+03 | 1.97%| unknown
2371.53/2377.71 c 2378s| 23300 | 1540 | 13153k| 371.3 | 514M | 46 |1429 |4305 |3052 | 19k| 0 | 23k|8176 | 1.017954e+03 | 1.038000e+03 | 1.97%| unknown
2378.21/2384.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2378.21/2384.45 c 2384s| 23400 | 1564 | 13199k| 371.6 | 514M | 46 |1429 |4242 |3051 | 19k| 1 | 23k|8176 | 1.017966e+03 | 1.038000e+03 | 1.97%| unknown
2386.99/2393.22 c 2393s| 23500 | 1580 | 13243k| 371.8 | 514M | 46 |1429 |4296 |3052 | 19k| 2 | 23k|8197 | 1.017987e+03 | 1.038000e+03 | 1.97%| unknown
2394.27/2400.55 c 2401s| 23600 | 1590 | 13284k| 371.9 | 514M | 46 |1429 |4317 |3058 | 20k| 0 | 23k|8200 | 1.018007e+03 | 1.038000e+03 | 1.96%| unknown
2397.37/2403.62 c 2404s| 23700 | 1586 | 13312k| 371.6 | 514M | 46 |1429 |4330 |3051 | 20k| 0 | 23k|8203 | 1.018007e+03 | 1.038000e+03 | 1.96%| unknown
2403.55/2409.82 c 2410s| 23800 | 1608 | 13355k| 371.8 | 514M | 46 |1429 |4331 |3057 | 20k| 2 | 23k|8203 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2406.05/2412.35 c 2412s| 23900 | 1608 | 13376k| 371.3 | 514M | 46 |1429 |4361 |3057 | 20k| 1 | 23k|8206 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2408.24/2414.58 c 2415s| 24000 | 1610 | 13400k| 370.9 | 514M | 46 |1429 |4361 |3058 | 20k| 1 | 23k|8206 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2411.63/2417.95 c 2418s| 24100 | 1606 | 13426k| 370.6 | 514M | 46 |1429 |4378 |3056 | 20k| 1 | 23k|8213 | 1.018018e+03 | 1.038000e+03 | 1.96%| unknown
2416.83/2423.12 c 2423s| 24200 | 1612 | 13461k| 370.6 | 514M | 46 |1429 |4384 |3058 | 20k| 1 | 23k|8215 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2419.12/2425.42 c 2425s| 24300 | 1608 | 13484k| 370.2 | 514M | 46 |1429 |4393 |3061 | 20k| 0 | 23k|8216 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2424.30/2430.61 c 2431s| 24400 | 1602 | 13518k| 370.1 | 514M | 46 |1429 |4401 |3051 | 20k| 1 | 23k|8218 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2426.90/2433.21 c 2433s| 24500 | 1600 | 13545k| 369.9 | 514M | 46 |1429 |4397 |3052 | 20k| 0 | 23k|8218 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2429.49/2435.87 c 2436s| 24600 | 1604 | 13572k| 369.6 | 514M | 46 |1429 |4406 |3059 | 20k| 1 | 23k|8219 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2432.18/2438.53 c 2439s| 24700 | 1602 | 13599k| 369.3 | 512M | 46 |1429 |4414 |3051 | 20k| 1 | 23k|8222 | 1.018021e+03 | 1.038000e+03 | 1.96%| unknown
2437.47/2443.83 c 2444s| 24800 | 1608 | 13639k| 369.4 | 512M | 46 |1429 |4390 |3055 | 20k| 1 | 23k|8224 | 1.018025e+03 | 1.038000e+03 | 1.96%| unknown
2444.56/2450.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2444.56/2450.96 c 2451s| 24900 | 1628 | 13688k| 369.7 | 512M | 46 |1429 |4408 |3058 | 20k| 0 | 23k|8227 | 1.018041e+03 | 1.038000e+03 | 1.96%| unknown
2452.04/2458.47 c 2458s| 25000 | 1640 | 13756k| 370.6 | 512M | 46 |1429 |4424 |3063 | 20k| 0 | 23k|8232 | 1.018057e+03 | 1.038000e+03 | 1.96%| unknown
2459.12/2465.51 c 2466s| 25100 | 1654 | 13802k| 370.8 | 512M | 46 |1429 |4434 |3060 | 21k| 1 | 24k|8255 | 1.018085e+03 | 1.038000e+03 | 1.96%| unknown
2461.22/2467.67 c 2468s| 25200 | 1650 | 13824k| 370.4 | 512M | 46 |1429 |4434 |3059 | 21k| 1 | 24k|8255 | 1.018085e+03 | 1.038000e+03 | 1.96%| unknown
2465.51/2471.95 c 2472s| 25300 | 1666 | 13865k| 370.5 | 512M | 46 |1429 |4434 |3059 | 21k| 0 | 24k|8255 | 1.018089e+03 | 1.038000e+03 | 1.96%| unknown
2471.19/2477.61 c 2478s| 25400 | 1678 | 13902k| 370.5 | 512M | 46 |1429 |4420 |3060 | 21k| 1 | 24k|8255 | 1.018107e+03 | 1.038000e+03 | 1.95%| unknown
2473.60/2480.03 c 2480s| 25500 | 1682 | 13926k| 370.2 | 512M | 46 |1429 |4416 |3061 | 21k| 1 | 24k|8255 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2475.88/2482.33 c 2482s| 25600 | 1688 | 13951k| 369.8 | 512M | 46 |1429 |4415 |3062 | 21k| 0 | 24k|8255 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2478.87/2485.36 c 2485s| 25700 | 1690 | 13975k| 369.5 | 512M | 46 |1429 |4413 |3063 | 21k| 1 | 24k|8256 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2482.96/2489.42 c 2489s| 25800 | 1684 | 13996k| 369.1 | 512M | 46 |1429 |4492 |3060 | 21k| 0 | 24k|8286 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2484.96/2491.40 c 2491s| 25900 | 1682 | 14017k| 368.6 | 512M | 46 |1429 |4501 |3061 | 21k| 1 | 24k|8287 | 1.018108e+03 | 1.038000e+03 | 1.95%| unknown
2490.15/2496.63 c 2497s| 26000 | 1700 | 14063k| 368.9 | 512M | 46 |1429 |4458 |3066 | 21k| 0 | 24k|8296 | 1.018121e+03 | 1.038000e+03 | 1.95%| unknown
2492.74/2499.28 c 2499s| 26100 | 1702 | 14091k| 368.7 | 512M | 46 |1429 |4473 |3060 | 21k| 1 | 24k|8298 | 1.018121e+03 | 1.038000e+03 | 1.95%| unknown
2499.32/2505.88 c 2506s| 26200 | 1726 | 14139k| 368.9 | 515M | 46 |1429 |4454 |3065 | 21k| 1 | 24k|8298 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2501.42/2508.00 c 2508s| 26300 | 1722 | 14161k| 368.6 | 515M | 46 |1429 |4450 |3064 | 21k| 0 | 24k|8298 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2503.71/2510.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2503.71/2510.25 c 2510s| 26400 | 1724 | 14184k| 368.2 | 515M | 46 |1429 |4450 |3066 | 21k| 0 | 24k|8298 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2508.10/2514.60 c 2515s| 26500 | 1732 | 14214k| 368.0 | 515M | 46 |1429 |4417 |3065 | 21k| 1 | 24k|8299 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2512.09/2518.66 c 2519s| 26600 | 1736 | 14246k| 367.9 | 515M | 46 |1429 |4432 |3067 | 21k| 0 | 24k|8299 | 1.018134e+03 | 1.038000e+03 | 1.95%| unknown
2519.49/2526.03 c 2526s| 26700 | 1740 | 14302k| 368.4 | 515M | 46 |1429 |4413 |3064 | 21k| 1 | 24k|8300 | 1.018140e+03 | 1.038000e+03 | 1.95%| unknown
2521.67/2528.26 c 2528s| 26800 | 1742 | 14323k| 368.0 | 515M | 46 |1429 |4413 |3069 | 21k| 1 | 24k|8300 | 1.018140e+03 | 1.038000e+03 | 1.95%| unknown
2527.26/2533.86 c 2534s| 26900 | 1744 | 14356k| 367.9 | 515M | 46 |1429 |4393 |3064 | 21k| 0 | 24k|8300 | 1.018144e+03 | 1.038000e+03 | 1.95%| unknown
2533.04/2539.62 c 2540s| 27000 | 1764 | 14402k| 368.1 | 515M | 46 |1429 |4308 |3068 | 21k| 0 | 24k|8300 | 1.018172e+03 | 1.038000e+03 | 1.95%| unknown
2541.32/2547.92 c 2548s| 27100 | 1780 | 14451k| 368.4 | 515M | 46 |1429 |4250 |3070 | 22k| 0 | 24k|8300 | 1.018175e+03 | 1.038000e+03 | 1.95%| unknown
2547.11/2553.78 c 2554s| 27200 | 1790 | 14486k| 368.4 | 515M | 46 |1429 |4258 |3071 | 22k| 0 | 24k|8306 | 1.018178e+03 | 1.038000e+03 | 1.95%| unknown
2555.79/2562.49 c 2562s| 27300 | 1800 | 14525k| 368.4 | 515M | 47 |1429 |4268 |3070 | 22k| 1 | 24k|8318 | 1.018188e+03 | 1.038000e+03 | 1.95%| unknown
2558.50/2565.13 c 2565s| 27400 | 1800 | 14545k| 368.0 | 516M | 47 |1429 |4268 |3072 | 22k| 1 | 24k|8318 | 1.018188e+03 | 1.038000e+03 | 1.95%| unknown
2564.27/2571.00 c 2571s| 27500 | 1804 | 14580k| 368.0 | 521M | 47 |1429 |4242 |3084 | 22k| 1 | 24k|8319 | 1.018190e+03 | 1.038000e+03 | 1.95%| unknown
2572.95/2579.64 c 2580s| 27600 | 1820 | 14633k| 368.4 | 520M | 47 |1429 |4187 |3079 | 22k| 0 | 24k|8320 | 1.018217e+03 | 1.038000e+03 | 1.94%| unknown
2579.63/2586.32 c 2586s| 27700 | 1830 | 14670k| 368.4 | 520M | 47 |1429 |4157 |3083 | 22k| 0 | 24k|8320 | 1.018233e+03 | 1.038000e+03 | 1.94%| unknown
2586.52/2593.27 c 2593s| 27800 | 1832 | 14728k| 368.9 | 520M | 47 |1429 |4135 |3077 | 22k| 0 | 24k|8321 | 1.018245e+03 | 1.038000e+03 | 1.94%| unknown
2592.32/2599.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2592.32/2599.04 c 2599s| 27900 | 1836 | 14771k| 369.1 | 520M | 47 |1429 |4112 |3080 | 22k| 1 | 24k|8321 | 1.018245e+03 | 1.038000e+03 | 1.94%| unknown
2597.79/2604.50 c 2604s| 28000 | 1842 | 14806k| 369.0 | 520M | 47 |1429 |4085 |3072 | 23k| 1 | 24k|8321 | 1.018259e+03 | 1.038000e+03 | 1.94%| unknown
2600.40/2607.11 c 2607s| 28100 | 1842 | 14831k| 368.7 | 517M | 47 |1429 |4085 |3084 | 23k| 0 | 24k|8321 | 1.018259e+03 | 1.038000e+03 | 1.94%| unknown
2614.05/2620.87 c 2621s| 28200 | 1868 | 14900k| 369.5 | 517M | 47 |1429 |4027 |3088 | 23k| 0 | 24k|8321 | 1.018272e+03 | 1.038000e+03 | 1.94%| unknown
2622.25/2629.01 c 2629s| 28300 | 1878 | 14949k| 369.8 | 517M | 47 |1429 |3984 |3071 | 23k| 0 | 24k|8321 | 1.018283e+03 | 1.038000e+03 | 1.94%| unknown
2629.02/2635.86 c 2636s| 28400 | 1890 | 14996k| 370.1 | 517M | 47 |1429 |3978 |3054 | 23k| 0 | 24k|8321 | 1.018295e+03 | 1.038000e+03 | 1.94%| unknown
2635.40/2642.25 c 2642s| 28500 | 1906 | 15050k| 370.5 | 517M | 47 |1429 |3974 |3064 | 24k| 1 | 24k|8321 | 1.018308e+03 | 1.038000e+03 | 1.93%| unknown
2640.99/2647.88 c 2648s| 28600 | 1916 | 15089k| 370.5 | 517M | 47 |1429 |3982 |3077 | 24k| 1 | 24k|8321 | 1.018328e+03 | 1.038000e+03 | 1.93%| unknown
2643.68/2650.50 c 2650s| 28700 | 1914 | 15115k| 370.3 | 517M | 47 |1429 |3982 |3066 | 24k| 0 | 24k|8322 | 1.018328e+03 | 1.038000e+03 | 1.93%| unknown
2647.08/2653.93 c 2654s| 28800 | 1922 | 15150k| 370.2 | 517M | 47 |1429 |3987 |3068 | 24k| 1 | 24k|8322 | 1.018332e+03 | 1.038000e+03 | 1.93%| unknown
2656.75/2663.65 c 2664s| 28900 | 1934 | 15225k| 371.1 | 517M | 47 |1429 |3983 |3076 | 24k| 0 | 24k|8322 | 1.018365e+03 | 1.038000e+03 | 1.93%| unknown
2661.64/2668.58 c 2669s| 29000 | 1952 | 15274k| 371.4 | 517M | 47 |1429 |4001 |3074 | 24k| 1 | 24k|8322 | 1.018371e+03 | 1.038000e+03 | 1.93%| unknown
2667.63/2674.53 c 2675s| 29100 | 1962 | 15319k| 371.6 | 517M | 47 |1429 |4003 |3079 | 24k| 0 | 24k|8323 | 1.018376e+03 | 1.038000e+03 | 1.93%| unknown
2674.71/2681.64 c 2682s| 29200 | 1984 | 15373k| 372.0 | 517M | 47 |1429 |4041 |3080 | 24k| 0 | 24k|8325 | 1.018390e+03 | 1.038000e+03 | 1.93%| unknown
2678.80/2685.75 c 2686s| 29300 | 1990 | 15402k| 371.8 | 517M | 47 |1429 |4043 |3080 | 24k| 1 | 24k|8325 | 1.018390e+03 | 1.038000e+03 | 1.93%| unknown
2685.39/2692.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2685.39/2692.38 c 2692s| 29400 | 1998 | 15442k| 371.9 | 517M | 47 |1429 |4036 |3084 | 24k| 0 | 24k|8331 | 1.018395e+03 | 1.038000e+03 | 1.93%| unknown
2691.47/2698.42 c 2698s| 29500 | 2006 | 15484k| 372.0 | 517M | 47 |1429 |4059 |3081 | 25k| 0 | 24k|8336 | 1.018397e+03 | 1.038000e+03 | 1.92%| unknown
2694.46/2701.49 c 2701s| 29600 | 2004 | 15514k| 371.8 | 517M | 47 |1429 |4120 |3084 | 25k| 0 | 24k|8348 | 1.018397e+03 | 1.038000e+03 | 1.92%| unknown
2699.65/2706.62 c 2707s| 29700 | 2018 | 15558k| 372.0 | 517M | 47 |1429 |4139 |3081 | 25k| 0 | 24k|8360 | 1.018443e+03 | 1.038000e+03 | 1.92%| unknown
2703.84/2710.82 c 2711s| 29800 | 2026 | 15590k| 371.9 | 517M | 47 |1429 |4252 |3081 | 25k| 1 | 25k|8392 | 1.018450e+03 | 1.038000e+03 | 1.92%| unknown
2714.71/2721.75 c 2722s| 29900 | 2034 | 15637k| 372.1 | 518M | 47 |1429 |4426 |3089 | 25k| 0 | 25k|8433 | 1.018461e+03 | 1.038000e+03 | 1.92%| unknown
2727.10/2734.13 c 2734s| 30000 | 2042 | 15682k| 372.3 | 524M | 47 |1429 |4653 |3085 | 25k| 1 | 25k|8522 | 1.018468e+03 | 1.038000e+03 | 1.92%| unknown
2732.87/2739.90 c 2740s| 30100 | 2052 | 15722k| 372.4 | 525M | 47 |1429 |4648 |3087 | 25k| 1 | 25k|8522 | 1.018473e+03 | 1.038000e+03 | 1.92%| unknown
2742.15/2749.24 c 2749s| 30200 | 2054 | 15785k| 373.0 | 526M | 47 |1429 |4665 |3076 | 25k| 1 | 25k|8531 | 1.018474e+03 | 1.038000e+03 | 1.92%| unknown
2751.33/2758.44 c 2758s| 30300 | 2068 | 15840k| 373.4 | 526M | 47 |1429 |4618 |3089 | 25k| 2 | 25k|8532 | 1.018483e+03 | 1.038000e+03 | 1.92%| unknown
2755.52/2762.66 c 2763s| 30400 | 2068 | 15873k| 373.3 | 524M | 47 |1429 |4537 |3079 | 26k| 0 | 25k|8534 | 1.018483e+03 | 1.038000e+03 | 1.92%| unknown
2759.02/2766.15 c 2766s| 30500 | 2074 | 15908k| 373.2 | 522M | 47 |1429 |4486 |3082 | 26k| 2 | 25k|8537 | 1.018483e+03 | 1.038000e+03 | 1.92%| unknown
2763.20/2770.33 c 2770s| 30600 | 2082 | 15946k| 373.2 | 519M | 47 |1429 |4427 |3085 | 26k| 0 | 25k|8538 | 1.018487e+03 | 1.038000e+03 | 1.92%| unknown
2771.68/2778.83 c 2779s| 30700 | 2098 | 15999k| 373.6 | 518M | 47 |1429 |4324 |3088 | 26k| 0 | 25k|8541 | 1.018517e+03 | 1.038000e+03 | 1.91%| unknown
2777.27/2784.49 c 2784s| 30800 | 2108 | 16038k| 373.6 | 518M | 47 |1429 |4298 |3091 | 26k| 0 | 25k|8545 | 1.018543e+03 | 1.038000e+03 | 1.91%| unknown
2781.46/2788.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2781.46/2788.65 c 2789s| 30900 | 2120 | 16077k| 373.7 | 518M | 47 |1429 |4283 |3091 | 26k| 1 | 25k|8548 | 1.018570e+03 | 1.038000e+03 | 1.91%| unknown
2788.34/2795.51 c 2796s| 31000 | 2124 | 16117k| 373.8 | 518M | 47 |1429 |4473 |3097 | 26k| 1 | 26k|8577 | 1.018571e+03 | 1.038000e+03 | 1.91%| unknown
2795.42/2802.69 c 2803s| 31100 | 2126 | 16154k| 373.8 | 519M | 47 |1429 |4626 |3092 | 26k| 1 | 26k|8609 | 1.018571e+03 | 1.038000e+03 | 1.91%| unknown
2801.31/2808.58 c 2809s| 31200 | 2138 | 16205k| 374.1 | 521M | 47 |1429 |4687 |3092 | 26k| 0 | 26k|8621 | 1.018574e+03 | 1.038000e+03 | 1.91%| unknown
2806.70/2813.93 c 2814s| 31300 | 2156 | 16253k| 374.3 | 521M | 47 |1429 |4666 |3093 | 27k| 0 | 26k|8623 | 1.018590e+03 | 1.038000e+03 | 1.91%| unknown
2813.28/2820.54 c 2821s| 31400 | 2166 | 16298k| 374.5 | 523M | 47 |1429 |4724 |3101 | 27k| 0 | 26k|8637 | 1.018595e+03 | 1.038000e+03 | 1.91%| unknown
2824.16/2831.42 c 2831s| 31500 | 2180 | 16365k| 375.1 | 523M | 47 |1429 |4889 |3101 | 27k| 1 | 26k|8697 | 1.018595e+03 | 1.038000e+03 | 1.91%| unknown
2836.63/2843.97 c 2844s| 31600 | 2194 | 16422k| 375.6 | 523M | 47 |1429 |4942 |3103 | 27k| 0 | 26k|8722 | 1.018600e+03 | 1.038000e+03 | 1.90%| unknown
2847.20/2854.51 c 2855s| 31700 | 2212 | 16480k| 376.1 | 535M | 47 |1429 |4930 |3103 | 27k| 2 | 27k|8753 | 1.018611e+03 | 1.038000e+03 | 1.90%| unknown
2859.37/2866.70 c 2867s| 31800 | 2208 | 16518k| 376.1 | 584M | 47 |1429 |5152 |3105 | 27k| 0 | 27k|8840 | 1.018611e+03 | 1.038000e+03 | 1.90%| unknown
2868.66/2876.08 c 2876s| 31900 | 2220 | 16558k| 376.1 | 585M | 50 |1429 |5232 |3106 | 28k| 1 | 27k|8897 | 1.018618e+03 | 1.038000e+03 | 1.90%| unknown
2880.52/2887.93 c 2888s| 32000 | 2236 | 16613k| 376.5 | 588M | 50 |1429 |5091 |3112 | 28k| 0 | 27k|8929 | 1.018631e+03 | 1.038000e+03 | 1.90%| unknown
2888.21/2895.64 c 2896s| 32100 | 2248 | 16657k| 376.7 | 594M | 50 |1429 |4990 |3108 | 28k| 0 | 27k|8938 | 1.018639e+03 | 1.038000e+03 | 1.90%| unknown
2894.89/2902.32 c 2902s| 32200 | 2250 | 16695k| 376.7 | 594M | 50 |1429 |4953 |3101 | 28k| 0 | 27k|8974 | 1.018640e+03 | 1.038000e+03 | 1.90%| unknown
2898.08/2905.51 c 2906s| 32300 | 2248 | 16724k| 376.5 | 594M | 50 |1429 |4969 |3100 | 28k| 0 | 28k|8983 | 1.018640e+03 | 1.038000e+03 | 1.90%| unknown
2904.68/2912.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2904.68/2912.14 c 2912s| 32400 | 2254 | 16764k| 376.5 | 587M | 50 |1429 |4951 |3107 | 28k| 1 | 28k|8998 | 1.018647e+03 | 1.038000e+03 | 1.90%| unknown
2912.75/2920.25 c 2920s| 32500 | 2264 | 16810k| 376.7 | 587M | 50 |1429 |4860 |3111 | 28k| 0 | 28k|9005 | 1.018667e+03 | 1.038000e+03 | 1.90%| unknown
2917.04/2924.52 c 2925s| 32600 | 2262 | 16848k| 376.7 | 587M | 50 |1429 |4813 |3119 | 28k| 0 | 28k|9009 | 1.018667e+03 | 1.038000e+03 | 1.90%| unknown
2921.23/2928.71 c 2929s| 32700 | 2264 | 16885k| 376.7 | 586M | 50 |1429 |4867 |3114 | 29k| 1 | 28k|9025 | 1.018667e+03 | 1.038000e+03 | 1.90%| unknown
2925.92/2933.44 c 2933s| 32800 | 2266 | 16924k| 376.7 | 586M | 50 |1429 |4772 |3091 | 29k| 1 | 28k|9034 | 1.018676e+03 | 1.038000e+03 | 1.90%| unknown
2929.52/2937.09 c 2937s| 32900 | 2268 | 16959k| 376.7 | 585M | 50 |1429 |4699 |3110 | 29k| 1 | 28k|9034 | 1.018676e+03 | 1.038000e+03 | 1.90%| unknown
2941.78/2949.38 c 2949s| 33000 | 2278 | 17040k| 377.6 | 579M | 50 |1429 |4520 |3110 | 29k| 1 | 28k|9035 | 1.018689e+03 | 1.038000e+03 | 1.90%| unknown
2948.36/2955.96 c 2956s| 33100 | 2286 | 17087k| 377.9 | 576M | 50 |1429 |4379 |3102 | 29k| 1 | 28k|9040 | 1.018693e+03 | 1.038000e+03 | 1.90%| unknown
2952.15/2959.76 c 2960s| 33200 | 2290 | 17125k| 377.8 | 571M | 50 |1429 |4287 |3113 | 29k| 0 | 28k|9042 | 1.018694e+03 | 1.038000e+03 | 1.90%| unknown
2959.64/2967.28 c 2967s| 33300 | 2306 | 17179k| 378.2 | 574M | 50 |1429 |4102 |3054 | 29k| 1 | 28k|9042 | 1.018709e+03 | 1.038000e+03 | 1.89%| unknown
2964.44/2972.03 c 2972s| 33400 | 2322 | 17225k| 378.4 | 574M | 50 |1429 |4100 |3068 | 30k| 1 | 28k|9042 | 1.018720e+03 | 1.038000e+03 | 1.89%| unknown
2970.71/2978.32 c 2978s| 33500 | 2334 | 17268k| 378.5 | 567M | 50 |1429 |4092 |3072 | 30k| 1 | 28k|9045 | 1.018736e+03 | 1.038000e+03 | 1.89%| unknown
2974.20/2981.81 c 2982s| 33600 | 2340 | 17303k| 378.4 | 567M | 50 |1429 |4125 |3073 | 30k| 0 | 28k|9048 | 1.018736e+03 | 1.038000e+03 | 1.89%| unknown
2979.29/2986.97 c 2987s| 33700 | 2358 | 17350k| 378.6 | 567M | 50 |1429 |4161 |3071 | 30k| 0 | 28k|9058 | 1.018761e+03 | 1.038000e+03 | 1.89%| unknown
2988.48/2996.14 c 2996s| 33800 | 2374 | 17403k| 379.0 | 559M | 50 |1429 |4187 |3085 | 30k| 1 | 28k|9062 | 1.018771e+03 | 1.038000e+03 | 1.89%| unknown
2990.86/2998.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2990.86/2998.58 c 2999s| 33900 | 2372 | 17426k| 378.7 | 559M | 50 |1429 |4223 |3090 | 30k| 1 | 28k|9068 | 1.018771e+03 | 1.038000e+03 | 1.89%| unknown
2998.24/3005.90 c 3006s| 34000 | 2380 | 17467k| 378.7 | 559M | 50 |1429 |4327 |3091 | 30k| 1 | 28k|9099 | 1.018773e+03 | 1.038000e+03 | 1.89%| unknown
3001.74/3009.41 c 3009s| 34100 | 2376 | 17495k| 378.5 | 559M | 50 |1429 |4407 |3081 | 30k| 1 | 28k|9112 | 1.018773e+03 | 1.038000e+03 | 1.89%| unknown
3005.13/3012.83 c 3013s| 34200 | 2376 | 17528k| 378.4 | 559M | 50 |1429 |4406 |3068 | 30k| 0 | 29k|9112 | 1.018777e+03 | 1.038000e+03 | 1.89%| unknown
3014.61/3022.33 c 3022s| 34300 | 2400 | 17585k| 378.8 | 559M | 50 |1429 |4392 |3079 | 31k| 1 | 29k|9113 | 1.018803e+03 | 1.038000e+03 | 1.88%| unknown
3022.89/3030.67 c 3031s| 34400 | 2408 | 17633k| 379.0 | 559M | 50 |1429 |4386 |3070 | 31k| 1 | 29k|9114 | 1.018810e+03 | 1.038000e+03 | 1.88%| unknown
3025.88/3033.60 c 3034s| 34500 | 2402 | 17662k| 378.8 | 559M | 50 |1429 |4398 |3072 | 31k| 0 | 29k|9118 | 1.018810e+03 | 1.038000e+03 | 1.88%| unknown
3034.06/3041.80 c 3042s| 34600 | 2410 | 17723k| 379.3 | 559M | 50 |1429 |4358 |3078 | 31k| 1 | 29k|9118 | 1.018813e+03 | 1.038000e+03 | 1.88%| unknown
3037.45/3045.23 c 3045s| 34700 | 2410 | 17759k| 379.3 | 559M | 50 |1429 |4343 |3065 | 31k| 0 | 29k|9118 | 1.018813e+03 | 1.038000e+03 | 1.88%| unknown
3043.04/3050.88 c 3051s| 34800 | 2416 | 17797k| 379.3 | 559M | 50 |1429 |4305 |3054 | 31k| 1 | 29k|9118 | 1.018815e+03 | 1.038000e+03 | 1.88%| unknown
3047.34/3055.15 c 3055s| 34900 | 2422 | 17837k| 379.3 | 559M | 50 |1429 |4275 |3069 | 31k| 1 | 29k|9118 | 1.018822e+03 | 1.038000e+03 | 1.88%| unknown
3054.41/3062.28 c 3062s| 35000 | 2438 | 17886k| 379.6 | 559M | 50 |1429 |4216 |3078 | 32k| 1 | 29k|9119 | 1.018865e+03 | 1.038000e+03 | 1.88%| unknown
3060.40/3068.25 c 3068s| 35100 | 2448 | 17927k| 379.6 | 559M | 50 |1429 |4264 |3085 | 32k| 0 | 29k|9132 | 1.018871e+03 | 1.038000e+03 | 1.88%| unknown
3063.49/3071.30 c 3071s| 35200 | 2450 | 17954k| 379.4 | 559M | 50 |1429 |4235 |3035 | 32k| 0 | 29k|9132 | 1.018871e+03 | 1.038000e+03 | 1.88%| unknown
3065.89/3073.74 c 3074s| 35300 | 2450 | 17979k| 379.1 | 559M | 50 |1429 |4244 |3037 | 32k| 0 | 29k|9132 | 1.018871e+03 | 1.038000e+03 | 1.88%| unknown
3069.08/3076.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3069.08/3076.98 c 3077s| 35400 | 2456 | 18010k| 379.0 | 559M | 50 |1429 |4258 |3038 | 32k| 1 | 29k|9136 | 1.018872e+03 | 1.038000e+03 | 1.88%| unknown
3073.28/3081.12 c 3081s| 35500 | 2470 | 18049k| 379.0 | 559M | 50 |1429 |4246 |3034 | 32k| 0 | 29k|9137 | 1.018877e+03 | 1.038000e+03 | 1.88%| unknown
3075.46/3083.33 c 3083s| 35600 | 2470 | 18070k| 378.7 | 559M | 50 |1429 |4246 |3036 | 32k| 1 | 29k|9137 | 1.018877e+03 | 1.038000e+03 | 1.88%| unknown
3081.65/3089.59 c 3090s| 35700 | 2484 | 18111k| 378.7 | 559M | 50 |1429 |4222 |3037 | 32k| 1 | 29k|9146 | 1.018888e+03 | 1.038000e+03 | 1.88%| unknown
3088.63/3096.59 c 3097s| 35800 | 2496 | 18150k| 378.7 | 559M | 50 |1429 |4193 |3036 | 32k| 1 | 29k|9149 | 1.018899e+03 | 1.038000e+03 | 1.87%| unknown
3092.32/3100.21 c 3100s| 35900 | 2502 | 18184k| 378.7 | 559M | 50 |1429 |4234 |3042 | 32k| 0 | 29k|9154 | 1.018903e+03 | 1.038000e+03 | 1.87%| unknown
3097.31/3105.28 c 3105s| 36000 | 2510 | 18216k| 378.6 | 559M | 50 |1429 |4246 |3050 | 33k| 0 | 29k|9158 | 1.018905e+03 | 1.038000e+03 | 1.87%| unknown
3101.50/3109.40 c 3109s| 36100 | 2512 | 18244k| 378.3 | 559M | 50 |1429 |4255 |3052 | 33k| 0 | 29k|9161 | 1.018905e+03 | 1.038000e+03 | 1.87%| unknown
3105.29/3113.23 c 3113s| 36200 | 2518 | 18274k| 378.2 | 559M | 50 |1429 |4236 |3025 | 33k| 1 | 29k|9165 | 1.018907e+03 | 1.038000e+03 | 1.87%| unknown
3108.49/3116.46 c 3116s| 36300 | 2522 | 18306k| 378.1 | 559M | 50 |1429 |4260 |3035 | 33k| 0 | 29k|9169 | 1.018907e+03 | 1.038000e+03 | 1.87%| unknown
3112.28/3120.23 c 3120s| 36400 | 2524 | 18340k| 378.0 | 559M | 50 |1429 |4344 |3038 | 33k| 0 | 29k|9184 | 1.018909e+03 | 1.038000e+03 | 1.87%| unknown
3122.35/3130.38 c 3130s| 36500 | 2542 | 18412k| 378.7 | 559M | 50 |1429 |4243 |3037 | 33k| 1 | 29k|9188 | 1.018910e+03 | 1.038000e+03 | 1.87%| unknown
3126.24/3134.28 c 3134s| 36600 | 2554 | 18449k| 378.7 | 559M | 50 |1429 |4238 |3037 | 33k| 1 | 29k|9189 | 1.018914e+03 | 1.038000e+03 | 1.87%| unknown
3129.05/3137.03 c 3137s| 36700 | 2560 | 18478k| 378.5 | 559M | 50 |1429 |4253 |3034 | 33k| 0 | 29k|9192 | 1.018914e+03 | 1.038000e+03 | 1.87%| unknown
3134.62/3142.61 c 3143s| 36800 | 2578 | 18522k| 378.6 | 559M | 50 |1429 |4313 |3035 | 33k| 1 | 29k|9214 | 1.018938e+03 | 1.038000e+03 | 1.87%| unknown
3140.21/3148.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3140.21/3148.22 c 3148s| 36900 | 2580 | 18558k| 378.6 | 559M | 50 |1429 |4462 |3035 | 33k| 0 | 30k|9260 | 1.018938e+03 | 1.038000e+03 | 1.87%| unknown
3143.30/3151.36 c 3151s| 37000 | 2576 | 18586k| 378.4 | 559M | 50 |1429 |4654 |3039 | 33k| 2 | 30k|9295 | 1.018938e+03 | 1.038000e+03 | 1.87%| unknown
3151.29/3159.37 c 3159s| 37100 | 2584 | 18634k| 378.6 | 560M | 50 |1429 |4686 |3037 | 34k| 0 | 30k|9307 | 1.018941e+03 | 1.038000e+03 | 1.87%| unknown
3157.98/3166.06 c 3166s| 37200 | 2596 | 18681k| 378.8 | 560M | 50 |1429 |4755 |3035 | 34k| 0 | 30k|9329 | 1.018942e+03 | 1.038000e+03 | 1.87%| unknown
3163.97/3172.09 c 3172s| 37300 | 2614 | 18734k| 379.1 | 560M | 50 |1429 |4735 |3037 | 34k| 0 | 30k|9349 | 1.018956e+03 | 1.038000e+03 | 1.87%| unknown
3167.25/3175.31 c 3175s| 37400 | 2614 | 18763k| 378.9 | 561M | 50 |1429 |4792 |3040 | 34k| 1 | 30k|9372 | 1.018956e+03 | 1.038000e+03 | 1.87%| unknown
3174.73/3182.86 c 3183s| 37500 | 2622 | 18806k| 379.0 | 561M | 50 |1429 |4786 |3034 | 34k| 0 | 30k|9386 | 1.018960e+03 | 1.038000e+03 | 1.87%| unknown
3180.42/3188.51 c 3189s| 37600 | 2638 | 18848k| 379.1 | 561M | 50 |1429 |4616 |3037 | 34k| 1 | 30k|9387 | 1.018986e+03 | 1.038000e+03 | 1.87%| unknown
3186.20/3194.34 c 3194s| 37700 | 2654 | 18890k| 379.2 | 561M | 50 |1429 |4524 |3038 | 34k| 0 | 31k|9392 | 1.018992e+03 | 1.038000e+03 | 1.87%| unknown
3195.28/3203.40 c 3203s| 37800 | 2662 | 18952k| 379.6 | 561M | 50 |1429 |4495 |3040 | 35k| 1 | 31k|9398 | 1.018993e+03 | 1.038000e+03 | 1.87%| unknown
3200.17/3208.33 c 3208s| 37900 | 2680 | 19000k| 379.8 | 561M | 50 |1429 |4419 |3040 | 35k| 0 | 31k|9409 | 1.019009e+03 | 1.038000e+03 | 1.86%| unknown
3207.05/3215.22 c 3215s| 38000 | 2698 | 19048k| 380.0 | 561M | 50 |1429 |4534 |3044 | 35k| 2 | 31k|9456 | 1.019017e+03 | 1.038000e+03 | 1.86%| unknown
3209.35/3217.57 c 3218s| 38100 | 2694 | 19071k| 379.7 | 561M | 50 |1429 |4557 |3031 | 35k| 1 | 31k|9463 | 1.019017e+03 | 1.038000e+03 | 1.86%| unknown
3213.85/3222.09 c 3222s| 38200 | 2708 | 19114k| 379.8 | 561M | 50 |1429 |4526 |3038 | 35k| 0 | 31k|9470 | 1.019038e+03 | 1.038000e+03 | 1.86%| unknown
3221.72/3229.93 c 3230s| 38300 | 2736 | 19168k| 380.2 | 561M | 50 |1429 |4440 |3043 | 35k| 1 | 31k|9489 | 1.019050e+03 | 1.038000e+03 | 1.86%| unknown
3229.50/3237.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3229.50/3237.78 c 3238s| 38400 | 2746 | 19211k| 380.2 | 561M | 50 |1429 |4450 |3048 | 35k| 0 | 31k|9511 | 1.019068e+03 | 1.038000e+03 | 1.86%| unknown
3232.90/3241.15 c 3241s| 38500 | 2752 | 19243k| 380.1 | 561M | 50 |1429 |4432 |3049 | 35k| 2 | 31k|9521 | 1.019075e+03 | 1.038000e+03 | 1.86%| unknown
3235.58/3243.85 c 3244s| 38600 | 2754 | 19269k| 379.9 | 561M | 50 |1429 |4524 |3050 | 35k| 0 | 31k|9540 | 1.019075e+03 | 1.038000e+03 | 1.86%| unknown
3241.88/3250.16 c 3250s| 38700 | 2772 | 19313k| 380.0 | 561M | 50 |1429 |4542 |3051 | 35k| 1 | 31k|9551 | 1.019083e+03 | 1.038000e+03 | 1.86%| unknown
3252.64/3260.93 c 3261s| 38800 | 2792 | 19392k| 380.8 | 561M | 50 |1429 |4565 |3050 | 36k| 1 | 32k|9572 | 1.019101e+03 | 1.038000e+03 | 1.85%| unknown
3257.74/3266.10 c 3266s| 38900 | 2806 | 19430k| 380.8 | 561M | 50 |1429 |4571 |3053 | 36k| 1 | 32k|9584 | 1.019114e+03 | 1.038000e+03 | 1.85%| unknown
3260.62/3268.92 c 3269s| 39000 | 2806 | 19455k| 380.6 | 561M | 50 |1429 |4619 |3054 | 36k| 0 | 32k|9593 | 1.019114e+03 | 1.038000e+03 | 1.85%| unknown
3270.00/3278.30 c 3278s| 39100 | 2824 | 19505k| 380.8 | 561M | 50 |1429 |4622 |3052 | 36k| 0 | 32k|9614 | 1.019117e+03 | 1.038000e+03 | 1.85%| unknown
3272.00/3280.35 c 3280s| 39200 | 2824 | 19527k| 380.5 | 561M | 50 |1429 |4634 |3056 | 36k| 0 | 32k|9617 | 1.019117e+03 | 1.038000e+03 | 1.85%| unknown
3275.59/3283.93 c 3284s| 39300 | 2824 | 19552k| 380.2 | 561M | 50 |1429 |4664 |3058 | 36k| 2 | 32k|9640 | 1.019117e+03 | 1.038000e+03 | 1.85%| unknown
3284.17/3292.51 c 3293s| 39400 | 2844 | 19603k| 380.5 | 561M | 50 |1429 |4556 |3048 | 36k| 1 | 32k|9645 | 1.019128e+03 | 1.038000e+03 | 1.85%| unknown
3291.85/3300.23 c 3300s| 39500 | 2864 | 19651k| 380.7 | 561M | 50 |1429 |4397 |3052 | 36k| 2 | 32k|9648 | 1.019164e+03 | 1.038000e+03 | 1.85%| unknown
3294.24/3302.65 c 3303s| 39600 | 2856 | 19674k| 380.4 | 561M | 50 |1429 |4402 |3051 | 36k| 1 | 32k|9656 | 1.019164e+03 | 1.038000e+03 | 1.85%| unknown
3297.94/3306.31 c 3306s| 39700 | 2866 | 19708k| 380.3 | 561M | 50 |1429 |4268 |3052 | 36k| 1 | 32k|9657 | 1.019166e+03 | 1.038000e+03 | 1.85%| unknown
3307.31/3315.71 c 3316s| 39800 | 2890 | 19772k| 380.8 | 561M | 50 |1429 |4025 |3050 | 37k| 1 | 32k|9660 | 1.019181e+03 | 1.038000e+03 | 1.85%| unknown
3314.00/3322.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3314.00/3322.47 c 3322s| 39900 | 2900 | 19829k| 381.2 | 561M | 50 |1429 |3921 |3043 | 37k| 1 | 32k|9662 | 1.019184e+03 | 1.038000e+03 | 1.85%| unknown
3317.89/3326.30 c 3326s| 40000 | 2912 | 19867k| 381.2 | 561M | 50 |1429 |3881 |3046 | 37k| 0 | 32k|9663 | 1.019191e+03 | 1.038000e+03 | 1.85%| unknown
3321.18/3329.63 c 3330s| 40100 | 2922 | 19900k| 381.1 | 561M | 50 |1429 |3842 |3057 | 37k| 1 | 32k|9663 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3326.27/3334.77 c 3335s| 40200 | 2930 | 19936k| 381.0 | 561M | 50 |1429 |3843 |3055 | 37k| 0 | 32k|9669 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3329.06/3337.53 c 3338s| 40300 | 2926 | 19959k| 380.8 | 561M | 50 |1429 |3904 |3048 | 37k| 0 | 32k|9687 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3331.46/3339.96 c 3340s| 40400 | 2926 | 19984k| 380.5 | 561M | 50 |1429 |3923 |3052 | 37k| 1 | 32k|9689 | 1.019193e+03 | 1.038000e+03 | 1.85%| unknown
3338.65/3347.13 c 3347s| 40500 | 2934 | 20029k| 380.6 | 561M | 50 |1429 |3893 |3046 | 37k| 1 | 32k|9692 | 1.019197e+03 | 1.038000e+03 | 1.84%| unknown
3343.03/3351.59 c 3352s| 40600 | 2944 | 20070k| 380.7 | 561M | 50 |1429 |3882 |3043 | 37k| 0 | 32k|9694 | 1.019207e+03 | 1.038000e+03 | 1.84%| unknown
3346.42/3354.99 c 3355s| 40700 | 2954 | 20102k| 380.6 | 561M | 50 |1429 |3866 |3050 | 37k| 0 | 32k|9694 | 1.019210e+03 | 1.038000e+03 | 1.84%| unknown
3348.71/3357.24 c 3357s| 40800 | 2950 | 20123k| 380.3 | 561M | 50 |1429 |3897 |3034 | 37k| 1 | 32k|9698 | 1.019210e+03 | 1.038000e+03 | 1.84%| unknown
3352.90/3361.44 c 3361s| 40900 | 2968 | 20165k| 380.3 | 561M | 50 |1429 |3906 |3049 | 38k| 1 | 32k|9698 | 1.019228e+03 | 1.038000e+03 | 1.84%| unknown
3355.90/3364.47 c 3364s| 41000 | 2976 | 20194k| 380.2 | 561M | 50 |1429 |3905 |3057 | 38k| 1 | 32k|9702 | 1.019230e+03 | 1.038000e+03 | 1.84%| unknown
3359.19/3367.77 c 3368s| 41100 | 2984 | 20227k| 380.0 | 561M | 50 |1429 |3916 |3057 | 38k| 2 | 32k|9704 | 1.019249e+03 | 1.038000e+03 | 1.84%| unknown
3363.29/3371.88 c 3372s| 41200 | 2996 | 20262k| 380.0 | 561M | 50 |1429 |3951 |3051 | 38k| 0 | 33k|9722 | 1.019256e+03 | 1.038000e+03 | 1.84%| unknown
3371.07/3379.69 c 3380s| 41300 | 3008 | 20308k| 380.2 | 561M | 50 |1429 |3958 |3052 | 38k| 0 | 33k|9728 | 1.019267e+03 | 1.038000e+03 | 1.84%| unknown
3374.57/3383.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3374.57/3383.17 c 3383s| 41400 | 3018 | 20342k| 380.1 | 561M | 50 |1429 |3960 |3052 | 38k| 1 | 33k|9729 | 1.019269e+03 | 1.038000e+03 | 1.84%| unknown
3381.65/3390.26 c 3390s| 41500 | 3028 | 20406k| 380.6 | 561M | 50 |1429 |3998 |3046 | 38k| 1 | 33k|9736 | 1.019278e+03 | 1.038000e+03 | 1.84%| unknown
3390.33/3398.93 c 3399s| 41600 | 3046 | 20459k| 380.8 | 561M | 50 |1429 |3979 |3056 | 38k| 0 | 33k|9740 | 1.019302e+03 | 1.038000e+03 | 1.83%| unknown
3392.92/3401.56 c 3402s| 41700 | 3052 | 20485k| 380.6 | 561M | 50 |1429 |4039 |3056 | 38k| 0 | 33k|9753 | 1.019302e+03 | 1.038000e+03 | 1.83%| unknown
3396.61/3405.22 c 3405s| 41800 | 3068 | 20520k| 380.5 | 561M | 50 |1429 |4036 |3056 | 38k| 2 | 33k|9756 | 1.019312e+03 | 1.038000e+03 | 1.83%| unknown
3400.30/3408.98 c 3409s| 41900 | 3082 | 20556k| 380.5 | 561M | 50 |1429 |4022 |3058 | 39k| 1 | 33k|9758 | 1.019315e+03 | 1.038000e+03 | 1.83%| unknown
3406.69/3415.35 c 3415s| 42000 | 3084 | 20590k| 380.4 | 561M | 50 |1429 |4114 |3060 | 39k| 3 | 33k|9793 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3409.39/3418.07 c 3418s| 42100 | 3082 | 20618k| 380.3 | 561M | 50 |1429 |4179 |3061 | 39k| 1 | 33k|9801 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3412.17/3420.80 c 3421s| 42200 | 3082 | 20646k| 380.1 | 561M | 50 |1429 |4216 |3057 | 39k| 0 | 33k|9807 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3416.26/3424.91 c 3425s| 42300 | 3088 | 20680k| 380.0 | 561M | 50 |1429 |4231 |3053 | 39k| 0 | 33k|9812 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3420.85/3429.50 c 3429s| 42400 | 3098 | 20715k| 379.9 | 561M | 50 |1429 |4238 |3053 | 39k| 0 | 33k|9814 | 1.019316e+03 | 1.038000e+03 | 1.83%| unknown
3424.36/3433.05 c 3433s| 42500 | 3098 | 20745k| 379.8 | 561M | 50 |1429 |4214 |3049 | 39k| 0 | 33k|9816 | 1.019321e+03 | 1.038000e+03 | 1.83%| unknown
3429.53/3438.20 c 3438s| 42600 | 3102 | 20782k| 379.8 | 561M | 50 |1429 |4199 |3053 | 39k| 1 | 33k|9821 | 1.019323e+03 | 1.038000e+03 | 1.83%| unknown
3435.22/3443.90 c 3444s| 42700 | 3118 | 20830k| 380.0 | 561M | 50 |1429 |4078 |3054 | 39k| 1 | 33k|9821 | 1.019333e+03 | 1.038000e+03 | 1.83%| unknown
3440.01/3448.76 c 3449s| 42800 | 3124 | 20865k| 379.9 | 561M | 50 |1429 |4053 |3056 | 39k| 1 | 33k|9822 | 1.019345e+03 | 1.038000e+03 | 1.83%| unknown
3443.31/3452.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3443.31/3452.05 c 3452s| 42900 | 3132 | 20897k| 379.8 | 561M | 50 |1429 |4030 |3060 | 39k| 1 | 33k|9822 | 1.019351e+03 | 1.038000e+03 | 1.83%| unknown
3448.30/3457.10 c 3457s| 43000 | 3136 | 20936k| 379.8 | 561M | 50 |1429 |4059 |3063 | 39k| 0 | 33k|9839 | 1.019362e+03 | 1.038000e+03 | 1.83%| unknown
3456.28/3465.02 c 3465s| 43100 | 3144 | 20994k| 380.2 | 561M | 50 |1429 |4003 |3051 | 39k| 0 | 33k|9840 | 1.019374e+03 | 1.038000e+03 | 1.83%| unknown
3459.76/3468.53 c 3469s| 43200 | 3148 | 21030k| 380.1 | 561M | 50 |1429 |3974 |3050 | 39k| 1 | 33k|9840 | 1.019386e+03 | 1.038000e+03 | 1.83%| unknown
3464.26/3473.10 c 3473s| 43300 | 3154 | 21071k| 380.2 | 561M | 50 |1429 |3925 |3056 | 39k| 0 | 33k|9840 | 1.019393e+03 | 1.038000e+03 | 1.83%| unknown
3470.44/3479.26 c 3479s| 43400 | 3166 | 21114k| 380.3 | 561M | 50 |1429 |3870 |3055 | 40k| 1 | 33k|9843 | 1.019398e+03 | 1.038000e+03 | 1.82%| unknown
3475.72/3484.53 c 3485s| 43500 | 3178 | 21161k| 380.5 | 562M | 50 |1429 |3920 |3025 | 40k| 1 | 34k|9869 | 1.019417e+03 | 1.038000e+03 | 1.82%| unknown
3479.01/3487.82 c 3488s| 43600 | 3178 | 21192k| 380.3 | 562M | 50 |1429 |3937 |3032 | 40k| 0 | 34k|9874 | 1.019417e+03 | 1.038000e+03 | 1.82%| unknown
3486.40/3495.21 c 3495s| 43700 | 3204 | 21254k| 380.7 | 562M | 50 |1429 |3941 |3053 | 40k| 1 | 34k|9880 | 1.019459e+03 | 1.038000e+03 | 1.82%| unknown
3491.09/3499.90 c 3500s| 43800 | 3212 | 21291k| 380.7 | 562M | 50 |1429 |3948 |3043 | 40k| 0 | 34k|9887 | 1.019470e+03 | 1.038000e+03 | 1.82%| unknown
3495.08/3503.97 c 3504s| 43900 | 3224 | 21327k| 380.7 | 562M | 50 |1429 |3983 |3050 | 40k| 0 | 34k|9902 | 1.019474e+03 | 1.038000e+03 | 1.82%| unknown
3502.56/3511.41 c 3511s| 44000 | 3234 | 21368k| 380.7 | 562M | 50 |1429 |3991 |3051 | 40k| 1 | 34k|9921 | 1.019483e+03 | 1.038000e+03 | 1.82%| unknown
3506.95/3515.82 c 3516s| 44100 | 3236 | 21399k| 380.6 | 562M | 50 |1429 |4027 |3051 | 40k| 1 | 34k|9929 | 1.019489e+03 | 1.038000e+03 | 1.82%| unknown
3510.84/3519.78 c 3520s| 44200 | 3252 | 21438k| 380.6 | 562M | 50 |1429 |4026 |3051 | 40k| 0 | 34k|9933 | 1.019489e+03 | 1.038000e+03 | 1.82%| unknown
3515.53/3524.47 c 3524s| 44300 | 3262 | 21474k| 380.6 | 562M | 50 |1429 |4112 |3056 | 40k| 1 | 34k|9961 | 1.019494e+03 | 1.038000e+03 | 1.82%| unknown
3525.40/3534.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3525.40/3534.33 c 3534s| 44400 | 3276 | 21548k| 381.2 | 562M | 50 |1429 |4182 |3051 | 40k| 0 | 34k|9979 | 1.019509e+03 | 1.038000e+03 | 1.81%| unknown
3529.89/3538.81 c 3539s| 44500 | 3288 | 21592k| 381.3 | 562M | 50 |1429 |4193 |3057 | 41k| 0 | 34k|9981 | 1.019524e+03 | 1.038000e+03 | 1.81%| unknown
3537.09/3546.03 c 3546s| 44600 | 3312 | 21644k| 381.6 | 562M | 50 |1429 |4170 |3053 | 41k| 1 | 34k|9986 | 1.019534e+03 | 1.038000e+03 | 1.81%| unknown
3539.97/3548.98 c 3549s| 44700 | 3314 | 21673k| 381.4 | 562M | 50 |1429 |4163 |3053 | 41k| 0 | 34k|9989 | 1.019540e+03 | 1.038000e+03 | 1.81%| unknown
3544.96/3553.96 c 3554s| 44800 | 3336 | 21720k| 381.6 | 562M | 50 |1429 |4144 |3054 | 41k| 1 | 34k|9995 | 1.019546e+03 | 1.038000e+03 | 1.81%| unknown
3549.85/3558.89 c 3559s| 44900 | 3338 | 21754k| 381.5 | 562M | 50 |1429 |4139 |3054 | 41k| 0 | 34k| 10k| 1.019558e+03 | 1.038000e+03 | 1.81%| unknown
3552.24/3561.26 c 3561s| 45000 | 3332 | 21779k| 381.3 | 562M | 50 |1429 |4184 |3053 | 41k| 2 | 34k| 10k| 1.019558e+03 | 1.038000e+03 | 1.81%| unknown
3555.73/3564.79 c 3565s| 45100 | 3340 | 21812k| 381.2 | 562M | 50 |1429 |4162 |3047 | 41k| 0 | 34k| 10k| 1.019562e+03 | 1.038000e+03 | 1.81%| unknown
3560.13/3569.14 c 3569s| 45200 | 3352 | 21849k| 381.2 | 562M | 50 |1429 |4189 |3050 | 41k| 1 | 34k| 10k| 1.019572e+03 | 1.038000e+03 | 1.81%| unknown
3563.41/3572.46 c 3572s| 45300 | 3354 | 21878k| 381.0 | 562M | 50 |1429 |4285 |3050 | 41k| 1 | 35k| 10k| 1.019572e+03 | 1.038000e+03 | 1.81%| unknown
3569.40/3578.46 c 3578s| 45400 | 3364 | 21918k| 381.0 | 562M | 50 |1429 |4301 |3047 | 41k| 1 | 35k| 10k| 1.019579e+03 | 1.038000e+03 | 1.81%| unknown
3572.59/3581.61 c 3582s| 45500 | 3366 | 21947k| 380.9 | 562M | 50 |1429 |4328 |3048 | 41k| 0 | 35k| 10k| 1.019580e+03 | 1.038000e+03 | 1.81%| unknown
3578.47/3587.58 c 3588s| 45600 | 3374 | 21987k| 380.9 | 562M | 50 |1429 |4322 |3051 | 41k| 0 | 35k| 10k| 1.019590e+03 | 1.038000e+03 | 1.81%| unknown
3587.45/3596.54 c 3597s| 45700 | 3404 | 22063k| 381.6 | 562M | 50 |1429 |4292 |3055 | 41k| 0 | 35k| 10k| 1.019593e+03 | 1.038000e+03 | 1.81%| unknown
3587.85/3597.00 c
3587.85/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.85/3597.00 c Solving Time (sec) : 3596.99
3587.85/3597.00 c Solving Nodes : 45709 (total of 57777 nodes in 2 runs)
3587.85/3597.00 c Primal Bound : +1.03800000000000e+03 (577 solutions)
3587.85/3597.00 c Dual Bound : +1.01959253411247e+03
3587.85/3597.00 c Gap : 1.81 %
3587.96/3597.02 s SATISFIABLE
3587.96/3597.02 v -x1968 x1967 x1966 x1965 x1964 x1963 x1962 -x1961 -x1960 x1959 -x1958 x1957 -x1956 -x1955 x1954 -x1953 x1952 x1951 -x1950 -x1949
3587.96/3597.02 v -x1948 -x1947 -x1946 -x1945 x1944 -x1943 x1942 -x1941 x1940 x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 -x1931 x1930
3587.96/3597.02 v -x1929 -x1928 x1927 x1926 x1925 x1924 -x1923 x1922 x1921 x1920 -x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 x1911 -x1910
3587.96/3597.02 v -x1909 -x1908 -x1907 x1906 x1905 x1904 -x1903 -x1902 x1901 -x1900 -x1899 x1898 x1897 x1896 x1895 x1894 -x1893 x1892 x1891
3587.96/3597.02 v -x1890 x1889 -x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 -x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872
3587.96/3597.02 v x1871 -x1870 x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 x1857 -x1856 -x1855 x1854 -x1853 -x1852
3587.96/3597.02 v -x1851 x1850 x1849 x1848 x1847 x1846 x1845 x1844 -x1843 -x1842 x1841 x1840 x1839 -x1838 x1837 -x1836 -x1835 x1834 x1833 x1832
3587.96/3597.02 v x1831 -x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 x1816 -x1815 -x1814 -x1813
3587.96/3597.02 v -x1812 x1811 x1810 -x1809 x1808 -x1807 x1806 x1805 -x1804 x1803 -x1802 x1801 -x1800 x1799 x1798 -x1797 -x1796 -x1795 x1794
3587.96/3597.02 v -x1793 x1792 x1791 x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775 x1774
3587.96/3597.02 v -x1773 x1772 x1771 -x1770 -x1769 -x1768 x1767 x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 -x1759 -x1758 -x1757 -x1756 x1755
3587.96/3597.02 v -x1754 -x1753 x1752 x1751 x1750 -x1749 x1748 -x1747 x1746 x1745 x1744 -x1743 x1742 -x1741 x1740 -x1739 -x1738 x1737 -x1736
3587.96/3597.02 v -x1735 -x1734 -x1733 -x1732 x1731 -x1730 x1729 -x1728 x1727 x1726 -x1725 x1724 x1723 x1722 -x1721 x1720 x1719 -x1718 -x1717
3587.96/3597.02 v x1716 x1715 -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 -x1698 -x1697
3587.96/3597.02 v x1696 -x1695 x1694 x1693 x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 x1683 -x1682 x1681 x1680 -x1679 x1678 x1677
3587.96/3597.02 v -x1676 x1675 -x1674 x1673 -x1672 x1671 x1670 x1669 x1668 x1667 -x1666 -x1665 x1664 x1663 x1662 x1661 x1660 -x1659 x1658 x1657
3587.96/3597.02 v -x1656 x1655 -x1654 x1653 x1652 -x1651 x1650 -x1649 x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 -x1639 -x1638
3587.96/3597.02 v x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 x1628 -x1627 -x1626 x1625 x1624 -x1623 x1622 x1621 -x1620 -x1619
3587.96/3597.02 v x1618 -x1617 -x1616 x1615 x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 -x1603 x1602 x1601 x1600
3587.96/3597.02 v x1599 x1598 x1597 x1596 x1595 -x1594 -x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 -x1585 x1584 x1583 x1582 -x1581 x1580
3587.96/3597.02 v -x1579 -x1578 -x1577 -x1576 -x1575 x1574 x1573 x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 x1565 x1564 x1563 x1562 -x1561
3587.96/3597.02 v x1560 x1559 -x1558 -x1557 x1556 x1555 x1554 -x1553 x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 x1543 x1542
3587.96/3597.02 v x1541 -x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 x1532 x1531 -x1530 x1529 x1528 -x1527 x1526 x1525 -x1524 x1523 x1522 x1521
3587.96/3597.02 v -x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 x1508 x1507 -x1506 -x1505 x1504 x1503 x1502
3587.96/3597.02 v x1501 x1500 -x1499 x1498 x1497 -x1496 -x1495 x1494 -x1493 -x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484 x1483
3587.96/3597.02 v x1482 x1481 -x1480 -x1479 -x1478 x1477 -x1476 -x1475 x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464
3587.96/3597.02 v -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445
3587.96/3597.02 v -x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 x1432 -x1431 -x1430 -x1429 x1428 -x1427 x1426
3587.96/3597.02 v -x1425 -x1424 -x1423 x1422 x1421 -x1420 x1419 -x1418 -x1417 x1416 -x1415 -x1414 x1413 -x1412 x1411 x1410 -x1409 -x1408 x1407
3587.96/3597.02 v x1406 x1405 x1404 x1403 x1402 x1401 -x1400 x1399 -x1398 x1397 x1396 x1395 -x1394 x1393 x1392 x1391 -x1390 x1389 -x1388 -x1387
3587.96/3597.02 v -x1386 x1385 -x1384 -x1383 x1382 -x1381 -x1380 x1379 -x1378 x1377 -x1376 -x1375 -x1374 x1373 x1372 -x1371 x1370 -x1369 -x1368
3587.96/3597.02 v x1367 x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 x1358 -x1357 x1356 x1355 -x1354 x1353 x1352 x1351 x1350 -x1349
3587.96/3597.02 v x1348 -x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 -x1340 x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 x1331 x1330
3587.96/3597.02 v -x1329 -x1328 x1327 -x1326 x1325 x1324 x1323 x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 x1315 x1314 x1313 -x1312 -x1311
3587.96/3597.02 v -x1310 -x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 x1301 -x1300 x1299 x1298 -x1297 -x1296 -x1295 x1294 x1293 -x1292 -x1291
3587.96/3597.02 v -x1290 -x1289 -x1288 -x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273 x1272
3587.96/3597.02 v -x1271 -x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 x1260 x1259 -x1258 -x1257 x1256 x1255 x1254 x1253
3587.96/3597.02 v -x1252 x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 x1244 x1243 x1242 -x1241 x1240 -x1239 x1238 -x1237 x1236 x1235 x1234
3587.96/3597.02 v x1233 -x1232 x1231 x1230 x1229 x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215
3587.96/3597.02 v -x1214 -x1213 -x1212 x1211 -x1210 x1209 x1208 x1207 x1206 x1205 -x1204 -x1203 x1202 x1201 x1200 -x1199 x1198 x1197 x1196 x1195
3587.96/3597.02 v x1194 -x1193 x1192 -x1191 x1190 x1189 x1188 -x1187 x1186 x1185 -x1184 x1183 x1182 x1181 -x1180 x1179 x1178 -x1177 x1176 -x1175
3587.96/3597.02 v -x1174 x1173 x1172 -x1171 -x1170 x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 x1158 x1157 -x1156
3587.96/3597.02 v -x1155 -x1154 x1153 x1152 -x1151 x1150 -x1149 -x1148 -x1147 x1146 x1145 -x1144 -x1143 -x1142 x1141 -x1140 x1139 x1138 x1137
3587.96/3597.02 v -x1136 -x1135 -x1134 x1133 x1132 x1131 -x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 -x1120 -x1119 -x1118
3587.96/3597.02 v -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 x1109 x1108 -x1107 -x1106 x1105 x1104 x1103 x1102 x1101 x1100 x1099 x1098
3587.96/3597.02 v -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 x1083 x1082 x1081 -x1080
3587.96/3597.02 v -x1079 x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 -x1065 -x1064 -x1063 x1062 x1061 x1060
3587.96/3597.02 v x1059 x1058 -x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 x1042 x1041 x1040
3587.96/3597.02 v x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 x1024 x1023 -x1022 x1021
3587.96/3597.02 v -x1020 x1019 -x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003
3587.96/3597.02 v x1002 -x1001 -x1000 -x999 x998 -x997 x996 -x995 -x994 x993 x992 -x991 x990 x989 x988 -x987 -x986 x985 x984 -x983 -x982 x981 -x980
3587.96/3597.02 v x979 -x978 x977 x976 x975 x974 -x973 x972 -x971 x970 x969 x968 x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3587.96/3597.02 v -x957 -x956 -x955 -x954 -x953 x952 -x951 x950 x949 -x948 x947 -x946 x945 -x944 -x943 x942 x941 -x940 -x939 -x938 x937 x936 -x935
3587.96/3597.02 v x934 -x933 x932 x931 -x930 x929 -x928 -x927 x926 x925 x924 x923 -x922 -x921 x920 -x919 -x918 -x917 x916 -x915 -x914 x913
3587.96/3597.02 v x912 -x911 x910 x909 x908 x907 x906 -x905 -x904 x903 -x902 x901 x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 x890
3587.96/3597.02 v x889 x888 -x887 -x886 -x885 x884 x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 x872 x871 -x870 x869 x868 -x867
3587.96/3597.02 v -x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 x857 x856 -x855 -x854 x853 -x852 x851 x850 x849 -x848 -x847 x846 -x845
3587.96/3597.02 v -x844 -x843 -x842 -x841 -x840 x839 x838 -x837 x836 x835 x834 -x833 -x832 x831 x830 x829 -x828 x827 x826 -x825 x824 x823 -x822
3587.96/3597.02 v -x821 x820 x819 x818 x817 -x816 x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 x807 -x806 x805 x804 -x803 x802 x801 -x800 x799
3587.96/3597.02 v x798 -x797 -x796 -x795 x794 x793 -x792 -x791 -x790 x789 x788 x787 -x786 x785 -x784 x783 x782 -x781 -x780 x779 x778 -x777 -x776
3587.96/3597.02 v x775 x774 x773 x772 x771 -x770 x769 x768 x767 x766 x765 -x764 -x763 x762 -x761 -x760 x759 -x758 x757 -x756 -x755 x754 -x753
3587.96/3597.02 v -x752 -x751 -x750 x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 x740 x739 x738 x737 x736 -x735 -x734 -x733 x732 x731
3587.96/3597.02 v x730 -x729 x728 -x727 x726 x725 x724 x723 -x722 -x721 x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 x710 x709 x708
3587.96/3597.02 v -x707 x706 x705 -x704 x703 x702 x701 -x700 x699 -x698 x697 x696 x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686
3587.96/3597.02 v -x685 x684 -x683 x682 -x681 x680 x679 x678 x677 -x676 x675 -x674 -x673 x672 x671 -x670 -x669 -x668 -x667 x666 -x665 x664 -x663
3587.96/3597.02 v x662 -x661 -x660 -x659 -x658 x657 x656 x655 x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 x642 x641
3587.96/3597.02 v x640 x639 x638 x637 -x636 -x635 -x634 -x633 x632 x631 -x630 -x629 x628 -x627 x626 x625 x624 -x623 x622 x621 x620 -x619 x618 -x617
3587.96/3597.02 v x616 -x615 -x614 x613 -x612 -x611 x610 -x609 x608 x607 -x606 -x605 -x604 x603 -x602 x601 -x600 -x599 x598 x597 -x596 x595
3587.96/3597.02 v -x594 x593 x592 x591 x590 x589 -x588 -x587 x586 x585 x584 x583 x582 x581 x580 x579 -x578 x577 x576 x575 x574 -x573 -x572 x571
3587.96/3597.02 v x570 x569 x568 x567 x566 -x565 x564 x563 x562 -x561 -x560 x559 x558 x557 x556 x555 x554 -x553 x552 -x551 -x550 -x549 x548
3587.96/3597.02 v x547 x546 x545 x544 -x543 x542 x541 x540 -x539 x538 -x537 x536 -x535 -x534 x533 -x532 x531 x530 -x529 -x528 x527 -x526 -x525
3587.96/3597.02 v x524 x523 x522 x521 x520 x519 -x518 x517 x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 x508 -x507 x506 x505 -x504 x503 x502 -x501
3587.96/3597.02 v x500 x499 -x498 -x497 x496 x495 x494 x493 x492 x491 -x490 -x489 x488 -x487 x486 -x485 x484 x483 x482 x481 x480 -x479 x478
3587.96/3597.02 v -x477 x476 x475 x474 x473 -x472 -x471 -x470 x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 -x460 x459 x458 -x457 -x456 -x455
3587.96/3597.02 v -x454 -x453 -x452 -x451 x450 x449 x448 -x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 -x437 x436 -x435 x434 x433 -x432
3587.96/3597.02 v -x431 x430 x429 x428 -x427 -x426 x425 -x424 -x423 x422 -x421 x420 x419 -x418 x417 -x416 x415 x414 -x413 x412 -x411 x410 x409
3587.96/3597.02 v -x408 x407 x406 -x405 -x404 x403 x402 x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 x389 x388 x387 -x386
3587.96/3597.02 v x385 x384 x383 x382 -x381 -x380 -x379 -x378 x377 -x376 x375 x374 x373 -x372 -x371 -x370 -x369 x368 x367 x366 x365 x364 x363
3587.96/3597.02 v -x362 -x361 x360 -x359 x358 -x357 -x356 x355 -x354 x353 x352 -x351 x350 x349 -x348 -x347 -x346 x345 -x344 x343 -x342 x341
3587.96/3597.02 v -x340 x339 -x338 x337 -x336 -x335 x334 x333 x332 x331 x330 x329 -x328 x327 x326 -x325 x324 x323 x322 x321 x320 -x319 x318 -x317
3587.96/3597.02 v -x316 -x315 x314 -x313 -x312 -x311 x310 x309 x308 -x307 x306 x305 x304 x303 x302 x301 -x300 x299 -x298 x297 x296 -x295 -x294
3587.96/3597.02 v x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 x284 -x283 -x282 -x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 -x271
3587.96/3597.02 v -x270 x269 -x268 -x267 x266 x265 -x264 -x263 x262 x261 -x260 x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249
3587.96/3597.02 v x248 x247 x246 -x245 -x244 x243 -x242 x241 -x240 -x239 -x238 -x237 x236 x235 x234 -x233 -x232 x231 x230 -x229 x228 -x227 -x226
3587.96/3597.02 v -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 x216 -x215 -x214 -x213 x212 x211 -x210 x209 x208 -x207 -x206 -x205 x204
3587.96/3597.02 v x203 x202 x201 -x200 -x199 -x198 x197 x196 x195 x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 x184 -x183 -x182
3587.96/3597.02 v -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 -x167 -x166 x165 x164 -x163 x162 -x161 x160 -x159
3587.96/3597.02 v x158 x157 x156 -x155 x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 x138 x137
3587.96/3597.02 v x136 -x135 x134 -x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 x114
3587.96/3597.02 v x113 -x112 x111 x110 -x109 -x108 x107 x106 x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 x90 -x89
3587.96/3597.02 v x88 -x87 x86 x85 -x84 x83 -x82 -x81 x80 x79 x78 -x77 x76 x75 -x74 -x73 x72 x71 -x70 x69 x68 -x67 -x66 x65 x64 x63 -x62 -x61
3587.96/3597.02 v x60 x59 -x58 -x57 x56 x55 x54 x53 x52 x51 -x50 x49 x48 x47 -x46 x45 x44 x43 x42 -x41 x40 x39 -x38 x37 x36 x35 x34 x33 x32
3587.96/3597.02 v -x31 x30 x29 -x28 x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 x4 x3 x2
3587.96/3597.02 v x1
3587.96/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.96/3597.02 c Total Time : 3596.99
3587.96/3597.02 c solving : 3596.99
3587.96/3597.02 c presolving : 0.98 (included in solving)
3587.96/3597.02 c reading : 0.02 (included in solving)
3587.96/3597.02 c copying : 0.23 (19 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3587.96/3597.02 c Original Problem :
3587.96/3597.02 c Problem name : HOME/instance-4432646-1721076950.opb
3587.96/3597.02 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.96/3597.02 c Constraints : 4000 initial, 4000 maximal
3587.96/3597.02 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3587.96/3597.02 c Presolved Problem :
3587.96/3597.02 c Problem name : t_HOME/instance-4432646-1721076950.opb
3587.96/3597.02 c Variables : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.96/3597.02 c Constraints : 7993 initial, 10857 maximal
3587.96/3597.02 c Objective : minimize, 1429 non-zeros (abs.min = 1, abs.max = 1)
3587.96/3597.02 c Nonzeros : 260970 constraint, 5487 clique table
3587.96/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.96/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c gateextraction : 0.02 0.00 5 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c trivial : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c dualfix : 0.00 0.00 18 251 0 0 0 0 0 0 0 0
3587.96/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c pseudoobj : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c knapsack : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c setppc : 0.03 0.00 19 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c linear : 0.07 0.00 24 0 288 0 0 0 1258 0 3970 4166
3587.96/3597.02 c logicor : 0.60 0.14 15 0 0 0 0 0 327 0 0 1593
3587.96/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.96/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.96/3597.02 c benderslp : 0 0 0 0 33193 0 0 3082 0 0 0 0 0 0 0
3587.96/3597.02 c integral : 0 0 0 0 33193 0 0 3082 0 0 5032 0 0 23929 62538
3587.96/3597.02 c knapsack : 259+ 262 6 197173 0 0 0 0 51 23 6 0 0 0 0
3587.96/3597.02 c setppc : 2743 2743 21 257588 6 0 0 3076 288696 21 198419 0 0 0 0
3587.96/3597.02 c linear : 58+ 81 6 221759 0 0 0 2 685 485 1128 0 0 0 0
3587.96/3597.02 c logicor : 4933+ 7774 6 48890 0 0 0 0 2556 160 321 0 0 0 0
3587.96/3597.02 c benders : 0 0 0 0 6 0 0 677 0 0 0 0 0 0 0
3587.96/3597.02 c fixedvar : 0 0 0 0 6 0 0 677 0 0 0 0 0 0 0
3587.96/3597.02 c countsols : 0 0 0 0 6 0 0 677 0 0 0 0 0 0 0
3587.96/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.96/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c integral : 418.76 0.00 0.00 0.00 418.75 0.00 0.00 0.02 0.00 0.00
3587.96/3597.02 c knapsack : 0.29 0.00 0.01 0.25 0.00 0.00 0.00 0.00 0.00 0.03
3587.96/3597.02 c setppc : 1.77 0.00 0.01 1.45 0.00 0.00 0.00 0.06 0.06 0.19
3587.96/3597.02 c linear : 0.39 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.00 0.09
3587.96/3597.02 c logicor : 0.91 0.14 0.00 0.71 0.00 0.00 0.00 0.00 0.01 0.05
3587.96/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.96/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.96/3597.02 c dualfix : 4 0 0 0
3587.96/3597.02 c genvbounds : 0 0 0 0
3587.96/3597.02 c nlobbt : 0 0 0 0
3587.96/3597.02 c obbt : 0 0 0 0
3587.96/3597.02 c probing : 0 0 0 0
3587.96/3597.02 c pseudoobj : 126031 0 0 0
3587.96/3597.02 c redcost : 10436 0 0 1400
3587.96/3597.02 c rootredcost : 12 0 0 0
3587.96/3597.02 c symmetry : 0 0 0 0
3587.96/3597.02 c vbounds : 96797 0 0 0
3587.96/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.96/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.96/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.96/3597.02 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.96/3597.02 c pseudoobj : 0.12 0.00 0.00 0.11 0.00 0.00
3587.96/3597.02 c redcost : 0.24 0.00 0.00 0.24 0.00 0.00
3587.96/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.96/3597.02 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.01
3587.96/3597.02 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3587.96/3597.02 c Symmetry :
3587.96/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.96/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.96/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.96/3597.02 c shadow tree time : 0.00 s
3587.96/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.96/3597.02 c propagation : 0.01 257 145 - 1491 72.3 0 0.0 - - -
3587.96/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.96/3597.02 c bound exceed. LP : 4.67 6854 6851 - 65263 61.8 0 0.0 6851 88.7 16909
3587.96/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.96/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.96/3597.02 c applied globally : 0.28 - - 0 28474 49.5 - - 6851 - -
3587.96/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.96/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.96/3597.02 c cut pool : 28.20 - 10890 38 - - 96853 327782 - - - - - (maximal pool size: 4104)
3587.96/3597.02 c aggregation : 127.24 0.00 3243 22 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.96/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.96/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.96/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c clique : 0.31 0.00 22 22 0 0 1 1 0 1 1 0 0
3587.96/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c gomory : 667.91 0.00 3010 16 0 0 93062 138646 0 9334 9334 0 0
3587.96/3597.02 c > gomorymi : - - - - - - - 51966 0 537 537 0 -
3587.96/3597.02 c > strongcg : - - - - - - - 86680 0 8797 8797 0 -
3587.96/3597.02 c impliedbounds : 0.57 0.00 3243 22 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c multilinear : 0.00 0.00 285 22 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c rapidlearning : 0.07 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c rlt : 0.01 0.00 816 16 0 0 0 0 0 0 0 0 0
3587.96/3597.02 c zerohalf : 51.35 0.00 3016 22 0 0 3790 189135 0 60575 60575 0 0
3587.96/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.96/3597.02 c hybrid : 1.98 0.00 7289 19 69910 0 257872 140 0 1489
3587.96/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.96/3597.02 c problem variables: 0.00 - 0 0
3587.96/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.96/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c relpscost : 418.73 0.00 33187 0 0 0 5032 0 28719 62538
3587.96/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.96/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.96/3597.02 c LP solutions : 0.00 - - 6 6
3587.96/3597.02 c relax solutions : 0.00 - - 0 0
3587.96/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.96/3597.02 c strong branching : 1.01 - - 116 0
3587.96/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.96/3597.02 c adaptivediving : 21.64 0.00 152 2 1
3587.96/3597.02 c alns : 0.24 0.00 10 1 1
3587.96/3597.02 c bound : 0.00 0.00 0 0 0
3587.96/3597.02 c clique : 0.05 0.00 1 1 1
3587.96/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.96/3597.02 c completesol : 0.00 0.00 0 0 0
3587.96/3597.02 c conflictdiving : 5.35 0.00 76 0 0
3587.96/3597.02 c crossover : 0.18 0.00 6 2 1
3587.96/3597.02 c dins : 0.00 0.00 0 0 0
3587.96/3597.02 c distributiondivin: 12.66 0.00 76 0 0
3587.96/3597.02 c dps : 0.00 0.00 0 0 0
3587.96/3597.02 c dualval : 0.00 0.00 0 0 0
3587.96/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.96/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.96/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.96/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.96/3597.02 c fracdiving : 6.40 0.00 76 0 0
3587.96/3597.02 c gins : 0.01 0.00 0 0 0
3587.96/3597.02 c guideddiving : 10.02 0.00 76 0 0
3587.96/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.96/3597.02 c indicator : 0.01 0.00 0 0 0
3587.96/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.96/3597.02 c indoneopt : 0.01 0.00 0 0 0
3587.96/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.96/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.96/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.96/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.96/3597.02 c linesearchdiving : 14.09 0.00 76 0 0
3587.96/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.96/3597.02 c locks : 0.01 0.00 1 1 1
3587.96/3597.02 c lpface : 0.01 0.00 0 0 0
3587.96/3597.02 c mpec : 0.00 0.00 0 0 0
3587.96/3597.02 c multistart : 0.00 0.00 0 0 0
3587.96/3597.02 c mutation : 0.00 0.00 0 0 0
3587.96/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.96/3597.02 c objpscostdiving : 121.02 0.00 39 105 1
3587.96/3597.02 c octane : 0.00 0.00 0 0 0
3587.96/3597.02 c ofins : 0.01 0.00 0 0 0
3587.96/3597.02 c oneopt : 0.02 0.00 12 3 3
3587.96/3597.02 c padm : 0.00 0.00 0 0 0
3587.96/3597.02 c proximity : 0.00 0.00 0 0 0
3587.96/3597.02 c pscostdiving : 14.73 0.00 76 3 1
3587.96/3597.02 c randrounding : 0.48 0.00 2420 15 0
3587.96/3597.02 c rens : 0.00 0.00 0 0 0
3587.96/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.96/3597.02 c repair : 0.00 0.00 0 0 0
3587.96/3597.02 c rins : 5.15 0.00 4 4 0
3587.96/3597.02 c rootsoldiving : 12.94 0.00 39 17 0
3587.96/3597.02 c rounding : 48.63 0.00 2800 0 0
3587.96/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.96/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.96/3597.02 c shifting : 25.23 0.00 1368 0 0
3587.96/3597.02 c simplerounding : 2.93 0.00 40482 122 0
3587.96/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.96/3597.02 c subnlp : 0.02 0.00 0 0 0
3587.96/3597.02 c trivial : 0.00 0.00 4 2 2
3587.96/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.96/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.96/3597.02 c trysol : 0.01 0.00 0 0 0
3587.96/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.96/3597.02 c undercover : 0.00 0.00 0 0 0
3587.96/3597.02 c vbounds : 0.03 0.00 2 0 0
3587.96/3597.02 c veclendiving : 7.86 0.00 76 0 0
3587.96/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.96/3597.02 c zirounding : 4.36 0.00 8851 177 0
3587.96/3597.02 c other solutions : - - - 0 -
3587.96/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.96/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.96/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.96/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.96/3597.02 c primal LP : 3.23 4304 0 0.00 0.00 3.23 4304
3587.96/3597.02 c dual LP : 1951.12 68307 20256244 303.14 10381.87 1.28 1485
3587.96/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.96/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.96/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.96/3597.02 c diving/probing LP: 235.21 7865 1810208 230.16 7696.29
3587.96/3597.02 c strong branching : 375.17 10072 3924428 389.64 10460.42 - - 2947
3587.96/3597.02 c (at root node) : - 61 59081 968.54 -
3587.96/3597.02 c conflict analysis: 1.97 1697 16909 9.96 8593.74
3587.96/3597.02 c B&B Tree :
3587.96/3597.02 c number of runs : 2
3587.96/3597.02 c nodes : 45709 (24556 internal, 21153 leaves)
3587.96/3597.02 c feasible leaves : 0
3587.96/3597.02 c infeas. leaves : 99
3587.96/3597.02 c objective leaves : 21053
3587.96/3597.02 c nodes (total) : 57777 (31269 internal, 26508 leaves)
3587.96/3597.02 c nodes left : 3404
3587.96/3597.02 c max depth : 50
3587.96/3597.02 c max depth (total): 57
3587.96/3597.02 c backtracks : 6051 (13.2%)
3587.96/3597.02 c early backtracks : 0 (0.0%)
3587.96/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.96/3597.02 c delayed cutoffs : 1
3587.96/3597.02 c repropagations : 39 (31 domain reductions, 1 cutoffs)
3587.96/3597.02 c avg switch length: 3.03
3587.96/3597.02 c switching time : 7.74
3587.96/3597.02 c Root Node :
3587.96/3597.02 c First LP value : +9.77500000000000e+02
3587.96/3597.02 c First LP Iters : 1783 (24723.03 Iter/sec)
3587.96/3597.02 c First LP Time : 0.07
3587.96/3597.02 c Final Dual Bound : +1.01364925251205e+03
3587.96/3597.02 c Final Root Iters : 21153
3587.96/3597.02 c Root LP Estimate : +1.25366834371020e+03
3587.96/3597.02 c Solution :
3587.96/3597.02 c Solutions found : 577 (18 improvements)
3587.96/3597.02 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
3587.96/3597.02 c Gap First Sol. : infinite
3587.96/3597.02 c Gap Last Sol. : 2.61 %
3587.96/3597.02 c Primal Bound : +1.03800000000000e+03 (in run 1, after 6387 nodes, 635.62 seconds, depth 22, found by <oneopt>)
3587.96/3597.02 c Dual Bound : +1.01959253411247e+03
3587.96/3597.02 c Gap : 1.81 %
3587.96/3597.02 c Integrals : Total Avg%
3587.96/3597.02 c primal-dual : 8302.93 2.31
3587.96/3597.02 c primal-ref : - - (not evaluated)
3587.96/3597.02 c dual-ref : - - (not evaluated)
3587.96/3597.06 c Time complete: 3588.02.
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: 64096 MiB (62452 MiB free)
memory of node 1: 64473 MiB (63366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432646-1721076950/watcher-4432646-1721076950 -o /tmp/evaluation-result-4432646-1721076950/solver-4432646-1721076950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810250 --watchdog 3760 pbscip -f HOME/instance-4432646-1721076950.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=814328, runsolver pid=814325
[startup+0.100902 s]*
/proc/loadavg: 4.11 4.15 4.13 5/242 814329
/proc/meminfo: memFree=128823332/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=68572 memory=29576 CPUtime=0.09 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 4046 0 0 0 8 1 0 0 20 0 1 0 159850854 70217728 7394 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 17143 7394 3677 3540 0 5400 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68572 KiB
Current children cumulated memory: 29576 KiB
[startup+0.213891 s]*
/proc/loadavg: 4.11 4.15 4.13 5/242 814329
/proc/meminfo: memFree=128816612/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=77328 memory=36680 CPUtime=0.19 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 5716 0 0 0 17 2 0 0 20 0 1 0 159850854 79183872 9170 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 19332 9170 3869 3540 0 7589 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77328 KiB
Current children cumulated memory: 36680 KiB
[startup+0.310902 s]*
/proc/loadavg: 4.11 4.15 4.13 5/242 814329
/proc/meminfo: memFree=128813448/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=80544 memory=40180 CPUtime=0.28 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 6527 0 0 0 26 2 0 0 20 0 1 0 159850854 82477056 10045 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 20136 10045 3965 3540 0 8393 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80544 KiB
Current children cumulated memory: 40180 KiB
[startup+0.700242 s]
/proc/loadavg: 4.11 4.15 4.13 5/242 814329
/proc/meminfo: memFree=128805024/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=81420 memory=40768 CPUtime=0.66 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 6689 0 0 0 64 2 0 0 20 0 1 0 159850854 83374080 10192 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 20355 10192 3981 3540 0 8612 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 81420 KiB
Current children cumulated memory: 40768 KiB
[startup+1.50028 s]
/proc/loadavg: 4.11 4.15 4.13 5/242 814329
/proc/meminfo: memFree=128801284/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=85688 memory=44696 CPUtime=1.46 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 7682 0 0 0 143 3 0 0 20 0 1 0 159850854 87744512 11174 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 21422 11174 3981 3540 0 9679 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 85688 KiB
Current children cumulated memory: 44696 KiB
[startup+3.11259 s]
/proc/loadavg: 4.19 4.17 4.14 5/242 814329
/proc/meminfo: memFree=128778784/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=114336 memory=71888 CPUtime=3.07 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 14484 0 0 0 303 4 0 0 20 0 1 0 159850854 117080064 17972 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 28584 17972 3981 3540 0 16841 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 114336 KiB
Current children cumulated memory: 71888 KiB
[startup+6.30025 s]
/proc/loadavg: 4.19 4.17 4.14 5/242 814329
/proc/meminfo: memFree=128726844/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=150176 memory=106788 CPUtime=6.24 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 23440 0 0 0 619 5 0 0 20 0 1 0 159850854 153780224 26697 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 37544 26697 3981 3540 0 25801 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 150176 KiB
Current children cumulated memory: 106788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.16 4.14 5/242 814330
/proc/meminfo: memFree=128647084/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=212008 memory=168148 CPUtime=12.63 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 39113 0 0 0 1255 8 0 0 20 0 1 0 159850854 217096192 42037 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 53002 42037 3997 3540 0 41259 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 212008 KiB
Current children cumulated memory: 168148 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.17 4.14 5/242 814332
/proc/meminfo: memFree=128600140/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=212008 memory=168408 CPUtime=25.4 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 39222 0 0 0 2532 8 0 0 20 0 1 0 159850854 217096192 42102 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 53002 42102 3997 3540 0 41259 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 212008 KiB
Current children cumulated memory: 168408 KiB
[startup+51.1125 s]
/proc/loadavg: 4.13 4.16 4.14 5/242 814336
/proc/meminfo: memFree=128477208/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=275464 memory=227776 CPUtime=50.94 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 54230 0 0 0 5084 10 0 0 20 0 1 0 159850854 282075136 56944 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 68866 56944 4019 3540 0 57123 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 275464 KiB
Current children cumulated memory: 227776 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/242 814345
/proc/meminfo: memFree=128355580/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=339472 memory=287168 CPUtime=102.01 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 72076 0 0 0 10183 18 0 0 20 0 1 0 159850854 347619328 71792 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 84868 71792 4019 3540 0 73125 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 339472 KiB
Current children cumulated memory: 287168 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/244 814525
/proc/meminfo: memFree=128328960/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=342700 memory=291456 CPUtime=161.87 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 74353 0 0 0 16162 25 0 0 20 0 1 0 159850854 350924800 72864 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 85675 72864 4019 3540 0 73932 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 342700 KiB
Current children cumulated memory: 291456 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/244 814536
/proc/meminfo: memFree=128203532/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=360780 memory=306932 CPUtime=221.72 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 80410 0 0 0 22143 29 0 0 20 0 1 0 159850854 369438720 76733 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 90195 76733 4019 3540 0 78452 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 360780 KiB
Current children cumulated memory: 306932 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/245 814549
/proc/meminfo: memFree=128160584/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=368716 memory=312508 CPUtime=281.58 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 81962 0 0 0 28128 30 0 0 20 0 1 0 159850854 377565184 78127 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 92179 78127 4019 3540 0 80436 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 368716 KiB
Current children cumulated memory: 312508 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/245 814570
/proc/meminfo: memFree=128141004/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=381000 memory=319536 CPUtime=341.43 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 83709 0 0 0 34113 30 0 0 20 0 1 0 159850854 390144000 79884 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 95250 79884 4019 3540 0 83507 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 381000 KiB
Current children cumulated memory: 319536 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/245 814582
/proc/meminfo: memFree=128091816/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=391404 memory=326120 CPUtime=401.29 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 85356 0 0 0 40098 31 0 0 20 0 1 0 159850854 400797696 81530 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 97851 81530 4019 3540 0 86108 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 391404 KiB
Current children cumulated memory: 326120 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/243 814592
/proc/meminfo: memFree=128028188/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=448300 memory=374856 CPUtime=461.15 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 97583 0 0 0 46082 33 0 0 20 0 1 0 159850854 459059200 93714 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 112075 93714 4019 3540 0 100332 0
################
# More data... #
################
/proc/loadavg: 4.43 4.28 4.16 5/241 815685
/proc/meminfo: memFree=127229936/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=605440 CPUtime=3154.28 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 158561 0 0 0 315384 44 0 0 20 0 1 0 159850854 661913600 151360 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151360 4019 3540 0 149857 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 605440 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.25 4.15 5/241 815696
/proc/meminfo: memFree=127229220/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=605440 CPUtime=3214.13 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 158821 0 0 0 321369 44 0 0 20 0 1 0 159850854 661913600 151360 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151360 4019 3540 0 149857 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 605440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.20 4.14 5/243 815710
/proc/meminfo: memFree=127225036/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=605908 CPUtime=3273.99 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 159224 0 0 0 327355 44 0 0 20 0 1 0 159850854 661913600 151477 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151477 4019 3540 0 149857 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 605908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.76 4.38 4.21 5/243 815720
/proc/meminfo: memFree=127223432/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=606016 CPUtime=3333.85 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 159483 0 0 0 333341 44 0 0 20 0 1 0 159850854 661913600 151504 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151504 4019 3540 0 149857 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 606016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.32 4.20 5/243 815731
/proc/meminfo: memFree=127169000/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=606168 CPUtime=3393.72 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 159779 0 0 0 339327 45 0 0 20 0 1 0 159850854 661913600 151542 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151542 4019 3540 0 149857 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 606168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.28 4.19 5/243 815741
/proc/meminfo: memFree=127146144/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=606188 CPUtime=3453.58 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160044 0 0 0 345313 45 0 0 20 0 1 0 159850854 661913600 151547 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151547 4019 3540 0 149857 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 606188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.34 4.21 5/243 815752
/proc/meminfo: memFree=127136184/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=606524 CPUtime=3513.43 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160388 0 0 0 351298 45 0 0 20 0 1 0 159850854 661913600 151631 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151631 4019 3540 0 149857 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 606524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.41 4.36 4.23 5/244 816284
/proc/meminfo: memFree=128098968/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3573.29 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160651 0 0 0 357284 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3597.07 s]
# the end of solver process 814328 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.57 s, system=0.456525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.41 4.36 4.23 5/244 816285
/proc/meminfo: memFree=128093536/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3574.99 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160651 0 0 0 357454 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3574.99 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3590.4 s]
/proc/loadavg: 4.38 4.35 4.22 5/244 816286
/proc/meminfo: memFree=128085760/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3581.37 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160651 0 0 0 358092 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3581.37 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3593.6 s]
/proc/loadavg: 4.43 4.36 4.23 5/244 816286
/proc/meminfo: memFree=128080320/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3584.56 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160663 0 0 0 358411 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3595.2 s]
/proc/loadavg: 4.43 4.36 4.23 5/244 816286
/proc/meminfo: memFree=128076792/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3586.16 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160663 0 0 0 358571 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3596 s]*
/proc/loadavg: 4.43 4.36 4.23 5/244 816286
/proc/meminfo: memFree=128052600/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3586.97 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160664 0 0 0 358652 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3596.8 s]
/proc/loadavg: 4.43 4.36 4.23 5/244 816286
/proc/meminfo: memFree=128052600/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3587.75 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160664 0 0 0 358730 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
[startup+3597 s]*
/proc/loadavg: 4.40 4.36 4.23 5/244 816286
/proc/meminfo: memFree=128047532/131655788 swapFree=131071996/131071996
[pid=814328] ppid=814325 vsize=646400 memory=607144 CPUtime=3587.96 cores=5,7
/proc/814328/stat : 814328 (pbscip) R 814325 814328 810237 0 -1 4194304 160664 0 0 0 358751 45 0 0 20 0 1 0 159850854 661913600 151786 134679101440 4194304 18693293 140737167815328 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42237952 140737167819780 140737167819879 140737167819879 140737167826894 0
/proc/814328/statm: 161600 151786 4019 3540 0 149857 0
Current children cumulated CPU time: 3587.96 s
Current children cumulated vsize: 646400 KiB
Current children cumulated memory: 607144 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3588.02
CPU user time (s): 3587.57
CPU system time (s): 0.456525
CPU usage (%): 99.7486
Max. virtual memory (cumulated for all children) (KiB): 655580
Max. memory (cumulated for all children) (KiB): 614284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.57
system time used= 0.456525
maximum resident set size= 614284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160673
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= 70
involuntary context switches= 1639
# summary of solver processes directly reported to runsolver:
# pid: 814328
# total CPU time (s): 3588.02
# total CPU user time (s): 3587.57
# total CPU system time (s): 0.456525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9604 second user time and 31.8854 second system time
The end