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-4488642-1751321615.opb>
0.00/0.01 c original problem has 1969 variables (1969 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 1969
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.969000e+03
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 151 del vars, 151 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3845 clqs
0.00/0.03 c (round 2, fast) 324 del vars, 719 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3277 clqs
0.00/0.03 c (round 3, fast) 376 del vars, 841 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3155 clqs
0.00/0.03 c (round 4, fast) 402 del vars, 939 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3057 clqs
0.00/0.03 c (round 5, fast) 417 del vars, 967 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3029 clqs
0.00/0.03 c (round 6, fast) 427 del vars, 999 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2997 clqs
0.00/0.03 c (round 7, fast) 432 del vars, 1010 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2986 clqs
0.00/0.03 c (round 8, fast) 435 del vars, 1023 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2973 clqs
0.00/0.03 c (round 9, fast) 436 del vars, 1027 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2969 clqs
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver (3 rounds): 0 aggregations, 5 fixings, 0 bound changes
0.00/0.04 c (round 10, medium) 442 del vars, 1028 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2952 clqs
0.00/0.04 c (round 11, fast) 443 del vars, 1046 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2951 clqs
0.00/0.04 c (round 12, exhaustive) 444 del vars, 1051 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2949 clqs
0.00/0.05 c (round 13, exhaustive) 444 del vars, 1051 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2949 upgd conss, 0 impls, 2949 clqs
0.00/0.07 c (0.1s) probing: 51/1525 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (14 rounds: 14 fast, 4 medium, 3 exhaustive):
0.00/0.07 c 444 deleted vars, 1051 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 2949 cliques
0.00/0.07 c presolved problem has 1525 variables (1525 bin, 0 int, 0 impl, 0 cont) and 2949 constraints
0.00/0.07 c 2949 constraints of type <setppc>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.05
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.998024
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 o 1745
0.00/0.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.07 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1525 |2949 | 0 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.745000e+03 | 693.18%| unknown
0.00/0.09 o 1207
0.00/0.09 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1525 |2949 |2949 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.207000e+03 | 448.64%| unknown
0.00/0.10 o 1081
0.00/0.10 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1525 |2949 |2949 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.081000e+03 | 391.36%| unknown
0.09/0.11 o 1071
0.09/0.11 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1525 |2949 |2949 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.071000e+03 | 386.82%| unknown
0.09/0.15 c 0.1s| 1 | 0 | 1929 | - | 23M | 0 |1525 |2949 |2949 | 0 | 0 | 0 | 0 | 9.825000e+02 | 1.071000e+03 | 9.01%| unknown
0.29/0.40 c 0.4s| 1 | 0 | 2659 | - | 27M | 0 |1525 |2949 |2977 | 28 | 1 | 0 | 0 | 9.930000e+02 | 1.071000e+03 | 7.85%| unknown
0.78/0.83 c 0.8s| 1 | 0 | 3818 | - | 28M | 0 |1525 |2949 |2999 | 50 | 2 | 0 | 0 | 9.970000e+02 | 1.071000e+03 | 7.42%| unknown
1.08/1.19 c 1.2s| 1 | 0 | 5874 | - | 29M | 0 |1525 |2949 |3024 | 75 | 3 | 0 | 0 | 1.001894e+03 | 1.071000e+03 | 6.90%| unknown
1.78/1.88 c 1.9s| 1 | 0 | 7444 | - | 45M | 0 |1525 |2949 |3039 | 90 | 4 | 0 | 0 | 1.004030e+03 | 1.071000e+03 | 6.67%| unknown
2.48/2.59 c 2.6s| 1 | 0 | 8576 | - | 58M | 0 |1525 |2949 |3052 | 103 | 5 | 0 | 0 | 1.005412e+03 | 1.071000e+03 | 6.52%| unknown
3.67/3.71 c 3.7s| 1 | 0 | 9253 | - | 73M | 0 |1525 |2949 |3059 | 110 | 6 | 0 | 0 | 1.006230e+03 | 1.071000e+03 | 6.44%| unknown
5.08/5.12 c 5.1s| 1 | 0 | 9855 | - | 88M | 0 |1525 |2949 |3061 | 112 | 7 | 0 | 0 | 1.006465e+03 | 1.071000e+03 | 6.41%| unknown
6.47/6.50 c 6.5s| 1 | 0 | 10281 | - | 103M | 0 |1525 |2949 |3064 | 115 | 8 | 0 | 0 | 1.006654e+03 | 1.071000e+03 | 6.39%| unknown
7.66/7.76 c 7.8s| 1 | 0 | 10975 | - | 121M | 0 |1525 |2949 |3067 | 118 | 9 | 0 | 0 | 1.006909e+03 | 1.071000e+03 | 6.37%| unknown
8.26/8.35 c 8.3s| 1 | 0 | 11455 | - | 122M | 0 |1525 |2949 |3073 | 124 | 10 | 0 | 0 | 1.006993e+03 | 1.071000e+03 | 6.36%| unknown
8.56/8.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.56/8.60 c 8.6s| 1 | 0 | 12138 | - | 123M | 0 |1525 |2949 |3075 | 128 | 11 | 0 | 0 | 1.007309e+03 | 1.071000e+03 | 6.32%| unknown
8.66/8.77 c 8.8s| 1 | 0 | 12192 | - | 123M | 0 |1525 |2949 |3076 | 129 | 12 | 0 | 0 | 1.007316e+03 | 1.071000e+03 | 6.32%| unknown
8.86/8.96 c 9.0s| 1 | 0 | 12392 | - | 124M | 0 |1525 |2949 |3078 | 131 | 13 | 0 | 0 | 1.007384e+03 | 1.071000e+03 | 6.32%| unknown
9.06/9.13 c 9.1s| 1 | 0 | 12398 | - | 124M | 0 |1525 |2949 |3079 | 132 | 14 | 0 | 0 | 1.007384e+03 | 1.071000e+03 | 6.32%| unknown
9.25/9.31 c 9.3s| 1 | 0 | 12525 | - | 124M | 0 |1525 |2949 |3081 | 134 | 15 | 0 | 0 | 1.007405e+03 | 1.071000e+03 | 6.31%| unknown
9.35/9.48 c 9.5s| 1 | 0 | 12566 | - | 125M | 0 |1525 |2949 |3083 | 136 | 16 | 0 | 0 | 1.007407e+03 | 1.071000e+03 | 6.31%| unknown
9.65/9.70 c 9.7s| 1 | 0 | 13002 | - | 126M | 0 |1525 |2949 |3065 | 137 | 17 | 0 | 0 | 1.007554e+03 | 1.071000e+03 | 6.30%| unknown
9.85/9.90 c 9.9s| 1 | 0 | 13319 | - | 126M | 0 |1525 |2949 |3068 | 140 | 18 | 0 | 0 | 1.007608e+03 | 1.071000e+03 | 6.29%| unknown
9.96/10.07 c 10.1s| 1 | 0 | 13345 | - | 126M | 0 |1525 |2949 |3072 | 144 | 19 | 0 | 0 | 1.007609e+03 | 1.071000e+03 | 6.29%| unknown
10.15/10.25 c 10.2s| 1 | 0 | 13510 | - | 127M | 0 |1525 |2949 |3074 | 146 | 20 | 0 | 0 | 1.007622e+03 | 1.071000e+03 | 6.29%| unknown
13.54/13.69 c 13.7s| 1 | 2 | 13514 | - | 127M | 0 |1525 |2949 |3074 | 146 | 21 | 0 | 27 | 1.008034e+03 | 1.071000e+03 | 6.25%| unknown
31.49/31.62 o 1060
31.49/31.62 c d31.6s| 15 | 16 | 27519 |1000.6 |pscostdi| 14 |1525 |2949 |3069 | 0 | 1 | 0 | 181 | 1.008342e+03 | 1.060000e+03 | 5.12%| unknown
37.47/37.69 o 1059
37.47/37.69 c *37.7s| 73 | 64 | 45567 | 445.2 | LP | 57 |1525 |2949 |3087 | 201 | 1 | 0 | 181 | 1.008342e+03 | 1.059000e+03 | 5.02%| unknown
37.77/37.91 c 37.9s| 100 | 69 | 46288 | 331.1 | 149M | 57 |1525 |2949 |3087 | 201 | 1 | 0 | 181 | 1.008342e+03 | 1.059000e+03 | 5.02%| unknown
37.77/37.93 o 1058
37.77/37.93 c *37.9s| 105 | 71 | 46385 | 316.1 | LP | 57 |1525 |2949 |3087 | 201 | 1 | 0 | 181 | 1.008342e+03 | 1.058000e+03 | 4.92%| unknown
37.77/37.93 o 1057
37.77/37.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.77/37.93 c *37.9s| 108 | 67 | 46401 | 307.4 | LP | 57 |1525 |2949 |3087 | 201 | 1 | 0 | 181 | 1.008342e+03 | 1.057000e+03 | 4.83%| unknown
37.77/37.94 o 1056
37.77/37.94 c *37.9s| 112 | 62 | 46436 | 296.6 | LP | 57 |1525 |2949 |3087 | 201 | 1 | 0 | 181 | 1.008342e+03 | 1.056000e+03 | 4.73%| unknown
46.55/46.72 c 46.7s| 200 | 90 | 74605 | 307.0 | 161M | 57 |1525 |2971 |3083 | 263 | 3 | 22 | 203 | 1.009622e+03 | 1.056000e+03 | 4.59%| unknown
51.94/52.19 o 1054
51.94/52.19 c *52.2s| 267 | 101 | 91538 | 293.3 | LP | 57 |1525 |3015 |3087 | 325 | 1 | 66 | 212 | 1.009622e+03 | 1.054000e+03 | 4.40%| unknown
56.12/56.35 c 56.3s| 300 | 104 | 99357 | 287.1 | 184M | 57 |1525 |3015 |3082 | 385 | 1 | 66 | 226 | 1.009756e+03 | 1.054000e+03 | 4.38%| unknown
57.52/57.73 c 57.7s| 400 | 112 |104156 | 227.2 | 186M | 57 |1525 |3015 |3099 | 411 | 2 | 66 | 226 | 1.009756e+03 | 1.054000e+03 | 4.38%| unknown
59.01/59.29 o 1053
59.01/59.29 c L59.3s| 467 | 120 |116556 | 221.1 |crossove| 57 |1525 |3041 |3099 | 411 | 0 | 92 | 226 | 1.010014e+03 | 1.053000e+03 | 4.26%| unknown
63.20/63.41 o 1052
63.20/63.41 c *63.4s| 488 | 120 |119480 | 217.6 | LP | 57 |1525 |3041 |3107 | 478 | 1 | 92 | 226 | 1.010014e+03 | 1.052000e+03 | 4.16%| unknown
64.69/64.92 c 64.9s| 500 | 126 |120387 | 214.2 | 190M | 57 |1525 |3041 |3108 | 508 | 1 | 92 | 226 | 1.010014e+03 | 1.052000e+03 | 4.16%| unknown
64.69/64.92 o 1051
64.69/64.92 c *64.9s| 501 | 117 |120388 | 213.8 | LP | 57 |1525 |3041 |3108 | 508 | 1 | 92 | 226 | 1.010014e+03 | 1.051000e+03 | 4.06%| unknown
73.37/73.63 o 1050
73.37/73.63 c o73.6s| 516 | 120 |150538 | 266.1 |objpscos| 57 |1525 |3066 |3124 | 633 | 1 | 117 | 240 | 1.010536e+03 | 1.050000e+03 | 3.91%| unknown
74.87/75.13 o 1049
74.87/75.13 c *75.1s| 535 | 126 |159309 | 273.0 | LP | 57 |1525 |3066 |3116 | 646 | 1 | 117 | 240 | 1.010645e+03 | 1.049000e+03 | 3.80%| unknown
77.16/77.49 o 1048
77.16/77.49 c *77.5s| 571 | 131 |168992 | 272.8 |strongbr| 57 |1525 |3109 |3112 | 683 | 1 | 160 | 248 | 1.010679e+03 | 1.048000e+03 | 3.69%| unknown
77.95/78.22 c 78.2s| 600 | 130 |171947 | 264.5 | 195M | 57 |1525 |3141 |3099 | 683 | 1 | 192 | 264 | 1.010679e+03 | 1.048000e+03 | 3.69%| unknown
78.56/78.82 o 1047
78.56/78.82 c *78.8s| 601 | 127 |172151 | 264.4 | LP | 57 |1525 |3141 |3108 | 692 | 4 | 192 | 264 | 1.010679e+03 | 1.047000e+03 | 3.59%| unknown
83.94/84.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.94/84.21 c 84.2s| 700 | 134 |199681 | 266.3 | 196M | 57 |1525 |3176 |3123 | 835 | 0 | 227 | 280 | 1.010923e+03 | 1.047000e+03 | 3.57%| unknown
89.73/90.01 o 1045
89.73/90.01 c d90.0s| 786 | 137 |221210 | 264.6 |pscostdi| 57 |1525 |3199 |3131 | 0 | 1 | 250 | 312 | 1.011804e+03 | 1.045000e+03 | 3.28%| unknown
90.13/90.45 c 90.4s| 800 | 139 |223255 | 262.5 | 197M | 57 |1525 |3199 |3130 | 968 | 1 | 250 | 312 | 1.011804e+03 | 1.045000e+03 | 3.28%| unknown
92.72/93.09 c 93.1s| 900 | 137 |239273 | 251.1 | 197M | 57 |1525 |3249 |3120 |1046 | 1 | 300 | 336 | 1.011804e+03 | 1.045000e+03 | 3.28%| unknown
99.00/99.34 o 1041
99.00/99.34 c L99.3s| 986 | 144 |267600 | 258.0 |crossove| 57 |1525 |3325 |3132 |1159 | 0 | 376 | 364 | 1.012036e+03 | 1.041000e+03 | 2.86%| unknown
99.30/99.60 c 99.6s| 1000 | 142 |269910 | 256.7 | 198M | 57 |1525 |3325 |3110 |1159 | 0 | 376 | 364 | 1.012036e+03 | 1.041000e+03 | 2.86%| unknown
103.79/104.10 c 104s| 1100 | 156 |295186 | 256.3 | 200M | 57 |1525 |3329 |3131 |1204 | 0 | 380 | 388 | 1.012230e+03 | 1.041000e+03 | 2.84%| unknown
110.26/110.61 c 111s| 1200 | 162 |321190 | 256.6 | 202M | 57 |1525 |3342 |3144 |1317 | 0 | 393 | 403 | 1.012270e+03 | 1.041000e+03 | 2.84%| unknown
123.92/124.39 c 124s| 1300 | 188 |375366 | 278.6 | 208M | 57 |1525 |3373 |3141 |1600 | 2 | 424 | 431 | 1.012492e+03 | 1.041000e+03 | 2.82%| unknown
126.32/126.73 c 127s| 1400 | 186 |387929 | 267.6 | 208M | 57 |1525 |3384 |3139 |1623 | 0 | 435 | 445 | 1.012492e+03 | 1.041000e+03 | 2.82%| unknown
138.68/139.15 c 139s| 1500 | 200 |446767 | 289.0 | 213M | 57 |1525 |3384 |3146 |1804 | 0 | 435 | 478 | 1.013427e+03 | 1.041000e+03 | 2.72%| unknown
140.87/141.39 c 141s| 1600 | 202 |459509 | 278.9 | 213M | 57 |1525 |3384 |3149 |1838 | 1 | 435 | 489 | 1.013427e+03 | 1.041000e+03 | 2.72%| unknown
143.57/144.00 c 144s| 1700 | 198 |474737 | 271.5 | 213M | 57 |1525 |3437 |3140 |1868 | 0 | 498 | 515 | 1.013427e+03 | 1.041000e+03 | 2.72%| unknown
153.43/153.91 c 154s| 1800 | 216 |515621 | 279.1 | 215M | 57 |1525 |3454 |3141 |2127 | 1 | 520 | 542 | 1.013555e+03 | 1.041000e+03 | 2.71%| unknown
159.02/159.54 c 160s| 1900 | 222 |540100 | 277.3 | 217M | 57 |1525 |3528 |3146 |2243 | 0 | 614 | 592 | 1.013593e+03 | 1.041000e+03 | 2.70%| unknown
170.38/170.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
170.38/170.96 c 171s| 2000 | 240 |580252 | 283.5 | 229M | 57 |1525 |3548 |3153 |2526 | 1 | 638 | 618 | 1.013696e+03 | 1.041000e+03 | 2.69%| unknown
174.98/175.50 c 175s| 2100 | 246 |609658 | 284.0 | 234M | 57 |1525 |3548 |3146 |2669 | 0 | 640 | 631 | 1.013734e+03 | 1.041000e+03 | 2.69%| unknown
180.66/181.23 c 181s| 2200 | 252 |636847 | 283.5 | 243M | 57 |1525 |3582 |3148 |2756 | 0 | 688 | 669 | 1.013914e+03 | 1.041000e+03 | 2.67%| unknown
188.43/189.10 c 189s| 2300 | 266 |675441 | 287.9 | 251M | 57 |1525 |3658 |3152 |2917 | 1 | 781 | 709 | 1.014097e+03 | 1.041000e+03 | 2.65%| unknown
194.52/195.14 c 195s| 2400 | 274 |703748 | 287.7 | 253M | 57 |1525 |3658 |3159 |3038 | 2 | 781 | 733 | 1.014137e+03 | 1.041000e+03 | 2.65%| unknown
199.00/199.60 c 200s| 2500 | 276 |730131 | 286.8 | 253M | 57 |1525 |3677 |3149 |3138 | 0 | 805 | 750 | 1.014194e+03 | 1.041000e+03 | 2.64%| unknown
209.38/210.05 c 210s| 2600 | 300 |774024 | 292.6 | 271M | 57 |1525 |3708 |3150 |3359 | 0 | 842 | 790 | 1.014381e+03 | 1.041000e+03 | 2.62%| unknown
217.25/217.92 c 218s| 2700 | 314 |810522 | 295.3 | 274M | 57 |1525 |3743 |3157 |3556 | 1 | 886 | 822 | 1.014682e+03 | 1.041000e+03 | 2.59%| unknown
233.80/234.59 c 235s| 2800 | 338 |885285 | 311.5 | 304M | 57 |1525 |3760 |3157 |3895 | 1 | 906 | 854 | 1.014773e+03 | 1.041000e+03 | 2.58%| unknown
239.29/240.01 c 240s| 2900 | 344 |909614 | 309.1 | 318M | 57 |1525 |3760 |3165 |4016 | 0 | 908 | 863 | 1.014949e+03 | 1.041000e+03 | 2.57%| unknown
242.17/242.99 c 243s| 3000 | 344 |926475 | 304.4 | 318M | 57 |1525 |3841 |3171 |4067 | 2 |1007 | 895 | 1.014949e+03 | 1.041000e+03 | 2.57%| unknown
249.36/250.15 c 250s| 3100 | 352 |955407 | 303.9 | 319M | 57 |1525 |3915 |3161 |4188 | 1 |1096 | 946 | 1.015017e+03 | 1.041000e+03 | 2.56%| unknown
251.45/252.23 c 252s| 3200 | 350 |970818 | 299.3 | 319M | 57 |1525 |3915 |3175 |4258 | 1 |1096 | 946 | 1.015017e+03 | 1.041000e+03 | 2.56%| unknown
259.42/260.21 c 260s| 3300 | 362 | 1004k| 300.4 | 319M | 57 |1525 |3931 |3166 |4463 | 2 |1117 | 978 | 1.015170e+03 | 1.041000e+03 | 2.54%| unknown
272.68/273.59 c 274s| 3400 | 390 | 1057k| 307.3 | 322M | 57 |1525 |3945 |3163 |4820 | 1 |1138 |1012 | 1.015443e+03 | 1.041000e+03 | 2.52%| unknown
278.17/279.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
278.17/279.08 c 279s| 3500 | 400 | 1083k| 305.9 | 322M | 57 |1525 |3955 |3157 |4932 | 0 |1149 |1025 | 1.015507e+03 | 1.041000e+03 | 2.51%| unknown
284.26/285.18 c 285s| 3600 | 404 | 1108k| 304.2 | 323M | 57 |1525 |3969 |3157 |5062 | 0 |1167 |1054 | 1.015523e+03 | 1.041000e+03 | 2.51%| unknown
290.15/291.09 c 291s| 3700 | 410 | 1133k| 302.9 | 324M | 57 |1525 |3969 |3161 |5218 | 0 |1169 |1067 | 1.015533e+03 | 1.041000e+03 | 2.51%| unknown
302.71/303.65 c 304s| 3800 | 430 | 1178k| 306.7 | 325M | 57 |1525 |3995 |3171 |5522 | 2 |1202 |1108 | 1.015554e+03 | 1.041000e+03 | 2.51%| unknown
306.20/307.15 c 307s| 3900 | 430 | 1202k| 305.0 | 325M | 57 |1525 |4019 |3163 |5593 | 1 |1231 |1126 | 1.015554e+03 | 1.041000e+03 | 2.51%| unknown
312.58/313.59 c 314s| 4000 | 434 | 1234k| 305.3 | 325M | 57 |1525 |4136 |3165 |5743 | 1 |1366 |1165 | 1.015640e+03 | 1.041000e+03 | 2.50%| unknown
315.57/316.50 c 316s| 4100 | 436 | 1253k| 302.5 | 325M | 57 |1525 |4165 |3167 |5759 | 0 |1400 |1191 | 1.015640e+03 | 1.041000e+03 | 2.50%| unknown
322.65/323.60 c 324s| 4200 | 442 | 1285k| 302.9 | 325M | 57 |1525 |4247 |3164 |5882 | 1 |1503 |1230 | 1.015698e+03 | 1.041000e+03 | 2.49%| unknown
332.03/333.02 c 333s| 4300 | 452 | 1327k| 305.7 | 326M | 57 |1525 |4261 |3167 |6102 | 0 |1520 |1252 | 1.015799e+03 | 1.041000e+03 | 2.48%| unknown
338.60/339.63 c 340s| 4400 | 462 | 1360k| 306.1 | 326M | 57 |1525 |4395 |3180 |6239 | 1 |1689 |1299 | 1.015805e+03 | 1.041000e+03 | 2.48%| unknown
350.97/352.06 c 352s| 4500 | 476 | 1418k| 312.2 | 327M | 57 |1525 |4395 |3198 |6516 | 1 |1689 |1329 | 1.015849e+03 | 1.041000e+03 | 2.48%| unknown
357.65/358.75 c 359s| 4600 | 482 | 1455k| 313.6 | 327M | 57 |1525 |4406 |3192 |6655 | 1 |1708 |1350 | 1.015880e+03 | 1.041000e+03 | 2.47%| unknown
368.02/369.14 c 369s| 4700 | 494 | 1503k| 317.0 | 328M | 57 |1525 |4422 |3191 |6903 | 0 |1729 |1386 | 1.015960e+03 | 1.041000e+03 | 2.46%| unknown
373.50/374.66 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
373.60/374.70 c (run 1, node 4728) performing user restart
373.60/374.70 c
373.60/374.70 c (restart) converted 185 cuts from the global cut pool into linear constraints
373.60/374.70 c
373.90/375.08 c presolving:
373.90/375.09 c (round 1, fast) 0 del vars, 38 del conss, 0 add conss, 0 chg bounds, 4026 chg sides, 4442 chg coeffs, 0 upgd conss, 0 impls, 2954 clqs
374.00/375.11 c (round 2, exhaustive) 0 del vars, 38 del conss, 0 add conss, 0 chg bounds, 4026 chg sides, 4442 chg coeffs, 200 upgd conss, 0 impls, 2954 clqs
374.00/375.15 c (round 3, exhaustive) 0 del vars, 152 del conss, 0 add conss, 0 chg bounds, 4026 chg sides, 4681 chg coeffs, 200 upgd conss, 0 impls, 2954 clqs
374.00/375.18 c (round 4, exhaustive) 0 del vars, 172 del conss, 0 add conss, 0 chg bounds, 4026 chg sides, 4681 chg coeffs, 200 upgd conss, 0 impls, 2954 clqs
374.00/375.19 c (round 5, exhaustive) 0 del vars, 172 del conss, 0 add conss, 0 chg bounds, 4026 chg sides, 4739 chg coeffs, 200 upgd conss, 0 impls, 2954 clqs
374.10/375.25 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
374.10/375.25 c 0 deleted vars, 173 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4026 changed sides, 4739 changed coefficients
374.10/375.25 c 0 implications, 2954 cliques
374.10/375.25 c presolved problem has 1525 variables (1525 bin, 0 int, 0 impl, 0 cont) and 4442 constraints
374.10/375.25 c 177 constraints of type <knapsack>
374.10/375.25 c 2954 constraints of type <setppc>
374.10/375.25 c 60 constraints of type <linear>
374.10/375.25 c 1251 constraints of type <logicor>
374.10/375.25 c transformed objective value is always integral (scale: 1)
374.10/375.25 c Presolving Time: 0.25
374.20/375.31 c transformed 100/100 original solutions to the transformed problem space
374.20/375.31 c
374.90/376.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
374.90/376.09 c 376s| 1 | 0 | 1527k| - | 296M | 0 |1525 |4442 |3134 | 0 | 0 |1739 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
375.89/377.06 c 377s| 1 | 0 | 1528k| - | 313M | 0 |1525 |4442 |3137 | 3 | 1 |1739 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
376.49/377.65 c 378s| 1 | 0 | 1528k| - | 313M | 0 |1525 |4442 |3141 | 7 | 2 |1739 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
377.09/378.22 c 378s| 1 | 0 | 1528k| - | 313M | 0 |1525 |4442 |3143 | 9 | 3 |1739 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
377.58/378.77 c 379s| 1 | 0 | 1528k| - | 314M | 0 |1525 |4442 |3144 | 10 | 4 |1739 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
378.18/379.32 c 379s| 1 | 0 | 1528k| - | 314M | 0 |1525 |4442 |3145 | 11 | 5 |1739 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
378.89/380.04 c 380s| 1 | 2 | 1529k| - | 314M | 0 |1525 |4454 |3145 | 11 | 6 |1751 |1397 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
385.06/386.29 c 386s| 100 | 23 | 1555k| 317.7 | 329M | 30 |1525 |4497 |3118 | 21 | 0 |1794 |1415 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
389.05/390.20 c 390s| 200 | 29 | 1579k| 316.2 | 329M | 30 |1525 |4597 |3118 | 21 | 1 |1917 |1455 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
392.54/393.79 c 394s| 300 | 39 | 1598k| 313.6 | 329M | 33 |1525 |4775 |3118 | 21 | 1 |2130 |1509 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
395.73/396.96 c 397s| 400 | 39 | 1617k| 311.3 | 329M | 34 |1525 |4890 |3118 | 21 | 0 |2269 |1547 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
401.12/402.32 c 402s| 500 | 55 | 1650k| 311.5 | 329M | 34 |1525 |5074 |3118 | 21 | 0 |2485 |1592 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
403.82/405.05 c 405s| 600 | 59 | 1665k| 308.6 | 329M | 37 |1525 |5215 |3118 | 21 | 1 |2655 |1629 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
408.20/409.41 c 409s| 700 | 67 | 1689k| 307.3 | 329M | 38 |1525 |5371 |3118 | 21 | 0 |2841 |1672 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
411.59/412.89 c 413s| 800 | 65 | 1708k| 305.2 | 329M | 38 |1525 |5739 |3118 | 21 | 1 |3267 |1743 | 1.015961e+03 | 1.041000e+03 | 2.46%| unknown
416.08/417.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
416.08/417.33 c 417s| 900 | 73 | 1731k| 303.9 | 336M | 38 |1525 |5766 |3118 | 28 | 0 |3303 |1767 | 1.015974e+03 | 1.041000e+03 | 2.46%| unknown
422.16/423.41 c 423s| 1000 | 81 | 1754k| 302.6 | 341M | 38 |1525 |5944 |3119 | 42 | 0 |3523 |1819 | 1.016137e+03 | 1.041000e+03 | 2.45%| unknown
426.54/427.82 c 428s| 1100 | 85 | 1777k| 301.3 | 334M | 38 |1525 |6174 |3119 | 42 | 1 |3797 |1871 | 1.016347e+03 | 1.041000e+03 | 2.43%| unknown
433.52/434.83 c 435s| 1200 | 93 | 1807k| 301.2 | 332M | 38 |1525 |6387 |3118 | 61 | 1 |4048 |1929 | 1.016521e+03 | 1.041000e+03 | 2.41%| unknown
436.61/437.99 c 438s| 1300 | 93 | 1824k| 299.1 | 332M | 38 |1525 |6526 |3118 | 61 | 0 |4212 |1975 | 1.016521e+03 | 1.041000e+03 | 2.41%| unknown
440.60/441.90 c 442s| 1400 | 99 | 1844k| 297.5 | 332M | 38 |1525 |6708 |3118 | 61 | 1 |4433 |2023 | 1.016567e+03 | 1.041000e+03 | 2.40%| unknown
444.69/446.06 c 446s| 1500 | 107 | 1869k| 296.7 | 332M | 38 |1525 |6934 |3118 | 61 | 2 |4701 |2069 | 1.016745e+03 | 1.041000e+03 | 2.39%| unknown
449.27/450.64 c 451s| 1600 | 115 | 1889k| 295.2 | 332M | 38 |1525 |7066 |3118 | 74 | 0 |4857 |2114 | 1.016780e+03 | 1.041000e+03 | 2.38%| unknown
452.86/454.29 c 454s| 1700 | 117 | 1909k| 293.7 | 332M | 38 |1525 |7222 |3118 | 74 | 0 |5052 |2157 | 1.016890e+03 | 1.041000e+03 | 2.37%| unknown
457.84/459.23 c 459s| 1800 | 125 | 1931k| 292.6 | 332M | 38 |1525 |7393 |3118 | 88 | 1 |5255 |2193 | 1.017025e+03 | 1.041000e+03 | 2.36%| unknown
460.44/461.80 c 462s| 1900 | 127 | 1946k| 290.4 | 332M | 38 |1525 |7528 |3118 | 88 | 1 |5420 |2235 | 1.017025e+03 | 1.041000e+03 | 2.36%| unknown
465.12/466.56 c 467s| 2000 | 127 | 1963k| 288.6 | 338M | 41 |1525 |7604 |3120 | 114 | 0 |5515 |2274 | 1.017073e+03 | 1.041000e+03 | 2.35%| unknown
477.69/479.11 c 479s| 2100 | 139 | 2025k| 293.5 | 344M | 41 |1525 |7756 |3127 | 174 | 1 |5697 |2327 | 1.017182e+03 | 1.041000e+03 | 2.34%| unknown
480.98/482.40 c 482s| 2200 | 139 | 2046k| 292.3 | 344M | 41 |1525 |7889 |3127 | 184 | 1 |5850 |2365 | 1.017182e+03 | 1.041000e+03 | 2.34%| unknown
485.16/486.60 c 487s| 2300 | 141 | 2070k| 291.6 | 344M | 41 |1525 |8121 |3128 | 199 | 1 |6126 |2431 | 1.017182e+03 | 1.041000e+03 | 2.34%| unknown
489.05/490.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
489.05/490.58 c 491s| 2400 | 143 | 2094k| 290.8 | 344M | 41 |1525 |8233 |3128 | 199 | 0 |6272 |2464 | 1.017189e+03 | 1.041000e+03 | 2.34%| unknown
497.13/498.62 c 499s| 2500 | 155 | 2123k| 290.8 | 356M | 41 |1525 |8421 |3129 | 246 | 0 |6494 |2513 | 1.017226e+03 | 1.041000e+03 | 2.34%| unknown
500.32/501.81 c 502s| 2600 | 161 | 2146k| 290.0 | 356M | 41 |1525 |8460 |3129 | 249 | 1 |6539 |2527 | 1.017234e+03 | 1.041000e+03 | 2.34%| unknown
506.11/507.69 c 508s| 2700 | 165 | 2169k| 289.2 | 358M | 41 |1525 |8523 |3129 | 285 | 0 |6617 |2551 | 1.017237e+03 | 1.041000e+03 | 2.34%| unknown
510.69/512.24 c 512s| 2800 | 167 | 2192k| 288.3 | 358M | 41 |1525 |8745 |3131 | 297 | 1 |6895 |2614 | 1.017356e+03 | 1.041000e+03 | 2.32%| unknown
516.88/518.43 c 518s| 2900 | 179 | 2221k| 288.4 | 358M | 41 |1525 |8788 |3136 | 369 | 1 |6956 |2631 | 1.017439e+03 | 1.041000e+03 | 2.32%| unknown
524.95/526.58 c 527s| 3000 | 191 | 2254k| 289.0 | 359M | 41 |1525 |8872 |3138 | 431 | 0 |7086 |2677 | 1.017470e+03 | 1.041000e+03 | 2.31%| unknown
530.23/531.83 c 532s| 3100 | 195 | 2281k| 288.7 | 359M | 41 |1525 |9206 |3138 | 461 | 2 |7498 |2750 | 1.017559e+03 | 1.041000e+03 | 2.30%| unknown
536.72/538.37 c 538s| 3200 | 201 | 2311k| 288.9 | 360M | 41 |1525 |9299 |3136 | 534 | 2 |7653 |2790 | 1.017596e+03 | 1.041000e+03 | 2.30%| unknown
543.90/545.55 c 546s| 3300 | 211 | 2346k| 289.6 | 371M | 41 |1525 |9318 |3135 | 615 | 0 |7696 |2801 | 1.017847e+03 | 1.041000e+03 | 2.27%| unknown
546.00/547.61 c 548s| 3400 | 211 | 2363k| 288.1 | 371M | 41 |1525 |9317 |3136 | 642 | 1 |7697 |2802 | 1.017847e+03 | 1.041000e+03 | 2.27%| unknown
554.87/556.58 c 557s| 3500 | 215 | 2390k| 287.9 | 371M | 41 |1525 |9336 |3136 | 718 | 0 |7740 |2851 | 1.017855e+03 | 1.041000e+03 | 2.27%| unknown
564.54/566.23 c 566s| 3600 | 227 | 2433k| 289.6 | 372M | 41 |1525 |9455 |3138 | 828 | 1 |7922 |2899 | 1.017946e+03 | 1.041000e+03 | 2.26%| unknown
567.73/569.45 c 569s| 3700 | 227 | 2456k| 289.0 | 372M | 41 |1525 |9571 |3140 | 845 | 1 |8058 |2924 | 1.017946e+03 | 1.041000e+03 | 2.26%| unknown
573.62/575.38 c 575s| 3800 | 231 | 2481k| 288.4 | 373M | 41 |1525 |9649 |3140 | 891 | 0 |8162 |2963 | 1.017997e+03 | 1.041000e+03 | 2.26%| unknown
582.59/584.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
582.59/584.31 c 584s| 3900 | 235 | 2516k| 289.2 | 373M | 41 |1525 |9839 |3146 | 980 | 1 |8409 |3017 | 1.018002e+03 | 1.041000e+03 | 2.26%| unknown
588.18/589.98 c 590s| 4000 | 245 | 2550k| 289.7 | 373M | 41 |1525 | 10k|3141 |1006 | 0 |8643 |3061 | 1.018043e+03 | 1.041000e+03 | 2.25%| unknown
594.56/596.30 c 596s| 4100 | 251 | 2579k| 289.8 | 373M | 41 |1525 | 10k|3142 |1051 | 0 |8853 |3115 | 1.018102e+03 | 1.041000e+03 | 2.25%| unknown
602.44/604.24 c 604s| 4200 | 259 | 2614k| 290.4 | 373M | 41 |1525 | 10k|3145 |1159 | 0 |9002 |3150 | 1.018141e+03 | 1.041000e+03 | 2.25%| unknown
608.42/610.22 c 610s| 4300 | 271 | 2646k| 290.7 | 373M | 41 |1525 | 10k|3141 |1213 | 1 |9141 |3183 | 1.018164e+03 | 1.041000e+03 | 2.24%| unknown
618.79/620.62 c 621s| 4400 | 281 | 2680k| 291.3 | 373M | 41 |1525 | 10k|3144 |1326 | 0 |9191 |3212 | 1.018220e+03 | 1.041000e+03 | 2.24%| unknown
621.19/623.03 c 623s| 4500 | 281 | 2698k| 290.1 | 373M | 41 |1525 | 10k|3141 |1351 | 1 |9270 |3224 | 1.018220e+03 | 1.041000e+03 | 2.24%| unknown
629.06/630.96 c 631s| 4600 | 293 | 2734k| 290.8 | 373M | 41 |1525 | 10k|3141 |1412 | 0 |9369 |3268 | 1.018266e+03 | 1.041000e+03 | 2.23%| unknown
641.13/643.05 c 643s| 4700 | 307 | 2796k| 294.3 | 373M | 41 |1525 | 10k|3143 |1552 | 0 |9440 |3292 | 1.018452e+03 | 1.041000e+03 | 2.21%| unknown
646.90/648.83 c 649s| 4800 | 313 | 2823k| 294.1 | 393M | 41 |1525 | 10k|3142 |1612 | 0 |9543 |3331 | 1.018537e+03 | 1.041000e+03 | 2.21%| unknown
653.68/655.62 c 656s| 4900 | 317 | 2851k| 293.9 | 393M | 41 |1525 | 10k|3142 |1705 | 1 |9662 |3370 | 1.018608e+03 | 1.041000e+03 | 2.20%| unknown
656.47/658.42 c 658s| 5000 | 317 | 2872k| 293.1 | 393M | 41 |1525 | 10k|3147 |1729 | 0 |9725 |3387 | 1.018608e+03 | 1.041000e+03 | 2.20%| unknown
661.95/663.93 c 664s| 5100 | 321 | 2903k| 293.2 | 393M | 41 |1525 | 10k|3146 |1789 | 0 |9964 |3439 | 1.018614e+03 | 1.041000e+03 | 2.20%| unknown
664.85/666.81 c 667s| 5200 | 321 | 2923k| 292.3 | 393M | 41 |1525 | 10k|3144 |1814 | 0 | 10k|3464 | 1.018614e+03 | 1.041000e+03 | 2.20%| unknown
670.33/672.38 c 672s| 5300 | 319 | 2947k| 291.8 | 393M | 41 |1525 | 10k|3143 |1816 | 0 | 10k|3568 | 1.018614e+03 | 1.041000e+03 | 2.20%| unknown
678.91/680.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
678.91/680.90 c 681s| 5400 | 333 | 2991k| 293.2 | 393M | 41 |1525 | 10k|3143 |1892 | 1 | 10k|3635 | 1.018731e+03 | 1.041000e+03 | 2.19%| unknown
685.49/687.52 c 688s| 5500 | 335 | 3024k| 293.6 | 393M | 41 |1525 | 10k|3144 |2011 | 1 | 10k|3661 | 1.018740e+03 | 1.041000e+03 | 2.19%| unknown
692.18/694.29 c 694s| 5600 | 339 | 3056k| 293.8 | 393M | 41 |1525 | 10k|3144 |2090 | 0 | 10k|3689 | 1.018766e+03 | 1.041000e+03 | 2.18%| unknown
700.25/702.30 c 702s| 5700 | 347 | 3092k| 294.5 | 393M | 41 |1525 | 10k|3157 |2182 | 0 | 11k|3759 | 1.018816e+03 | 1.041000e+03 | 2.18%| unknown
705.14/707.24 c 707s| 5800 | 349 | 3122k| 294.5 | 393M | 41 |1525 | 10k|3163 |2210 | 1 | 11k|3815 | 1.018816e+03 | 1.041000e+03 | 2.18%| unknown
709.43/711.53 c 712s| 5900 | 347 | 3146k| 294.1 | 393M | 41 |1525 | 10k|3158 |2235 | 0 | 11k|3851 | 1.018816e+03 | 1.041000e+03 | 2.18%| unknown
713.11/715.26 c 715s| 6000 | 345 | 3172k| 293.7 | 393M | 41 |1525 | 10k|3161 |2265 | 0 | 11k|3878 | 1.018816e+03 | 1.041000e+03 | 2.18%| unknown
719.89/722.05 c 722s| 6100 | 359 | 3210k| 294.5 | 393M | 41 |1525 | 10k|3161 |2327 | 1 | 11k|3916 | 1.018843e+03 | 1.041000e+03 | 2.17%| unknown
724.58/726.71 c 727s| 6200 | 357 | 3237k| 294.3 | 394M | 41 |1525 | 10k|3161 |2331 | 0 | 11k|3981 | 1.018843e+03 | 1.041000e+03 | 2.17%| unknown
733.45/735.62 c 736s| 6300 | 367 | 3279k| 295.5 | 394M | 41 |1525 | 10k|3158 |2444 | 0 | 11k|4048 | 1.018926e+03 | 1.041000e+03 | 2.17%| unknown
738.14/740.36 c 740s| 6400 | 369 | 3308k| 295.4 | 394M | 41 |1525 | 10k|3149 |2478 | 1 | 12k|4117 | 1.018926e+03 | 1.041000e+03 | 2.17%| unknown
744.62/746.88 c 747s| 6500 | 381 | 3343k| 295.8 | 394M | 41 |1525 | 10k|3152 |2593 | 1 | 12k|4159 | 1.018964e+03 | 1.041000e+03 | 2.16%| unknown
748.21/750.43 c 750s| 6600 | 379 | 3366k| 295.2 | 394M | 41 |1525 | 10k|3154 |2641 | 0 | 12k|4193 | 1.018964e+03 | 1.041000e+03 | 2.16%| unknown
755.59/757.80 c 758s| 6700 | 385 | 3398k| 295.5 | 394M | 41 |1525 | 10k|3151 |2764 | 1 | 12k|4259 | 1.018966e+03 | 1.041000e+03 | 2.16%| unknown
763.17/765.49 c 765s| 6800 | 389 | 3432k| 295.9 | 396M | 41 |1525 | 10k|3155 |2892 | 0 | 12k|4294 | 1.018976e+03 | 1.041000e+03 | 2.16%| unknown
770.55/772.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
770.55/772.88 c 773s| 6900 | 399 | 3468k| 296.4 | 396M | 41 |1525 | 10k|3151 |3008 | 1 | 12k|4324 | 1.019021e+03 | 1.041000e+03 | 2.16%| unknown
779.52/781.87 c 782s| 7000 | 411 | 3510k| 297.5 | 396M | 41 |1525 |9847 |3158 |3160 | 0 | 13k|4371 | 1.019107e+03 | 1.041000e+03 | 2.15%| unknown
782.72/785.08 c 785s| 7100 | 409 | 3532k| 296.8 | 396M | 41 |1525 |9959 |3148 |3169 | 1 | 13k|4399 | 1.019107e+03 | 1.041000e+03 | 2.15%| unknown
792.79/795.11 c 795s| 7200 | 423 | 3573k| 297.8 | 396M | 41 |1525 |9713 |3160 |3316 | 1 | 13k|4441 | 1.019178e+03 | 1.041000e+03 | 2.14%| unknown
802.76/805.15 c 805s| 7300 | 437 | 3615k| 298.8 | 402M | 41 |1525 |9424 |3163 |3491 | 1 | 13k|4487 | 1.019238e+03 | 1.041000e+03 | 2.14%| unknown
805.15/807.53 c 808s| 7400 | 435 | 3635k| 298.0 | 402M | 41 |1525 |9480 |3158 |3509 | 1 | 13k|4500 | 1.019238e+03 | 1.041000e+03 | 2.14%| unknown
807.34/809.70 c 810s| 7500 | 433 | 3653k| 297.1 | 402M | 41 |1525 |9498 |3163 |3513 | 0 | 13k|4505 | 1.019238e+03 | 1.041000e+03 | 2.14%| unknown
810.13/812.52 c 813s| 7600 | 435 | 3674k| 296.3 | 402M | 41 |1525 |9403 |3153 |3556 | 1 | 13k|4517 | 1.019238e+03 | 1.041000e+03 | 2.14%| unknown
817.51/819.95 c 820s| 7700 | 445 | 3709k| 296.7 | 403M | 41 |1525 |9232 |3148 |3667 | 0 | 13k|4552 | 1.019300e+03 | 1.041000e+03 | 2.13%| unknown
822.00/824.44 c 824s| 7800 | 449 | 3734k| 296.4 | 403M | 41 |1525 |9145 |3159 |3784 | 1 | 13k|4555 | 1.019300e+03 | 1.041000e+03 | 2.13%| unknown
827.59/830.00 c 830s| 7900 | 455 | 3762k| 296.2 | 403M | 41 |1525 |9089 |3159 |3871 | 0 | 13k|4572 | 1.019305e+03 | 1.041000e+03 | 2.13%| unknown
836.36/838.85 c 839s| 8000 | 465 | 3801k| 297.0 | 403M | 41 |1525 |9051 |3161 |4014 | 1 | 14k|4609 | 1.019316e+03 | 1.041000e+03 | 2.13%| unknown
840.15/842.67 c 843s| 8100 | 469 | 3829k| 296.8 | 403M | 41 |1525 |9028 |3168 |4042 | 1 | 14k|4631 | 1.019384e+03 | 1.041000e+03 | 2.12%| unknown
842.34/844.83 c 845s| 8200 | 469 | 3848k| 296.1 | 403M | 41 |1525 |9074 |3163 |4056 | 0 | 14k|4639 | 1.019384e+03 | 1.041000e+03 | 2.12%| unknown
849.53/852.03 c 852s| 8300 | 479 | 3883k| 296.4 | 404M | 41 |1525 |8875 |3168 |4154 | 1 | 14k|4654 | 1.019430e+03 | 1.041000e+03 | 2.12%| unknown
852.71/855.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
852.71/855.20 c 855s| 8400 | 481 | 3909k| 296.1 | 404M | 41 |1525 |8872 |3157 |4243 | 2 | 14k|4666 | 1.019430e+03 | 1.041000e+03 | 2.12%| unknown
857.30/859.82 c 860s| 8500 | 483 | 3940k| 296.3 | 404M | 41 |1525 |8803 |3160 |4341 | 0 | 14k|4669 | 1.019451e+03 | 1.041000e+03 | 2.11%| unknown
869.37/871.96 c 872s| 8600 | 495 | 4003k| 298.8 | 404M | 41 |1525 |8687 |3163 |4497 | 0 | 14k|4701 | 1.019765e+03 | 1.041000e+03 | 2.08%| unknown
880.63/883.24 c 883s| 8700 | 509 | 4056k| 300.5 | 404M | 41 |1525 |8395 |3168 |4723 | 0 | 14k|4726 | 1.019815e+03 | 1.041000e+03 | 2.08%| unknown
882.83/885.44 c 885s| 8800 | 513 | 4077k| 299.8 | 404M | 41 |1525 |8419 |3171 |4733 | 1 | 14k|4729 | 1.019815e+03 | 1.041000e+03 | 2.08%| unknown
889.91/892.57 c 893s| 8900 | 519 | 4115k| 300.4 | 404M | 41 |1525 |8268 |3165 |4911 | 0 | 14k|4742 | 1.019882e+03 | 1.041000e+03 | 2.07%| unknown
894.10/896.75 c 897s| 9000 | 525 | 4145k| 300.4 | 405M | 41 |1525 |8191 |3163 |4986 | 1 | 14k|4742 | 1.019882e+03 | 1.041000e+03 | 2.07%| unknown
897.79/900.44 c 900s| 9100 | 531 | 4176k| 300.5 | 407M | 41 |1525 |8101 |3162 |5038 | 0 | 14k|4743 | 1.019902e+03 | 1.041000e+03 | 2.07%| unknown
904.57/907.24 c 907s| 9200 | 541 | 4215k| 301.1 | 408M | 41 |1525 |8003 |3167 |5178 | 1 | 14k|4757 | 1.019958e+03 | 1.041000e+03 | 2.06%| unknown
908.85/911.54 c 912s| 9300 | 545 | 4244k| 301.0 | 412M | 41 |1525 |7909 |3174 |5254 | 0 | 14k|4759 | 1.019960e+03 | 1.041000e+03 | 2.06%| unknown
917.44/920.19 c 920s| 9400 | 563 | 4290k| 302.1 | 414M | 41 |1525 |7663 |3172 |5459 | 1 | 14k|4763 | 1.019979e+03 | 1.041000e+03 | 2.06%| unknown
919.62/922.35 c 922s| 9500 | 561 | 4309k| 301.4 | 414M | 41 |1525 |7668 |3168 |5491 | 1 | 14k|4765 | 1.019979e+03 | 1.041000e+03 | 2.06%| unknown
923.81/926.55 c 927s| 9600 | 565 | 4338k| 301.3 | 414M | 41 |1525 |7614 |3168 |5554 | 0 | 14k|4775 | 1.019979e+03 | 1.041000e+03 | 2.06%| unknown
929.70/932.49 c 932s| 9700 | 575 | 4373k| 301.6 | 415M | 41 |1525 |7508 |3177 |5712 | 1 | 14k|4781 | 1.019992e+03 | 1.041000e+03 | 2.06%| unknown
939.48/942.22 c 942s| 9800 | 585 | 4415k| 302.4 | 415M | 41 |1525 |7417 |3172 |5910 | 0 | 14k|4815 | 1.020015e+03 | 1.041000e+03 | 2.06%| unknown
944.27/947.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
944.27/947.03 c 947s| 9900 | 589 | 4443k| 302.3 | 416M | 41 |1525 |7416 |3177 |6050 | 0 | 14k|4828 | 1.020015e+03 | 1.041000e+03 | 2.06%| unknown
946.96/949.74 c 950s| 10000 | 589 | 4469k| 302.0 | 416M | 41 |1525 |7430 |3169 |6090 | 1 | 14k|4834 | 1.020015e+03 | 1.041000e+03 | 2.06%| unknown
953.84/956.64 c 957s| 10100 | 601 | 4509k| 302.7 | 416M | 41 |1525 |7302 |3172 |6287 | 1 | 14k|4841 | 1.020036e+03 | 1.041000e+03 | 2.06%| unknown
959.12/961.90 c 962s| 10200 | 603 | 4539k| 302.6 | 416M | 41 |1525 |7253 |3167 |6440 | 0 | 14k|4841 | 1.020053e+03 | 1.041000e+03 | 2.05%| unknown
966.30/969.13 c 969s| 10300 | 611 | 4587k| 303.9 | 416M | 41 |1525 |7219 |3167 |6516 | 1 | 15k|4846 | 1.020069e+03 | 1.041000e+03 | 2.05%| unknown
971.08/974.00 c 974s| 10400 | 615 | 4620k| 304.0 | 416M | 41 |1525 |7180 |3173 |6642 | 0 | 15k|4850 | 1.020128e+03 | 1.041000e+03 | 2.05%| unknown
975.87/978.72 c 979s| 10500 | 621 | 4648k| 303.8 | 416M | 41 |1525 |7108 |3171 |6745 | 0 | 15k|4850 | 1.020132e+03 | 1.041000e+03 | 2.05%| unknown
978.56/981.49 c 981s| 10600 | 625 | 4671k| 303.4 | 416M | 41 |1525 |7061 |3171 |6760 | 0 | 15k|4855 | 1.020134e+03 | 1.041000e+03 | 2.05%| unknown
983.25/986.10 c 986s| 10700 | 633 | 4707k| 303.7 | 416M | 41 |1525 |6981 |3170 |6892 | 1 | 15k|4855 | 1.020143e+03 | 1.041000e+03 | 2.04%| unknown
985.34/988.26 c 988s| 10800 | 631 | 4727k| 303.1 | 416M | 41 |1525 |6989 |3177 |6948 | 2 | 15k|4856 | 1.020143e+03 | 1.041000e+03 | 2.04%| unknown
992.02/994.96 c 995s| 10900 | 641 | 4765k| 303.6 | 418M | 41 |1525 |6878 |3173 |7124 | 0 | 15k|4856 | 1.020200e+03 | 1.041000e+03 | 2.04%| unknown
1001.59/1004.58 c 1005s| 11000 | 657 | 4809k| 304.5 | 418M | 41 |1525 |6707 |3173 |7387 | 1 | 15k|4866 | 1.020217e+03 | 1.041000e+03 | 2.04%| unknown
1007.48/1010.46 c 1010s| 11100 | 671 | 4847k| 304.9 | 419M | 41 |1525 |6667 |3180 |7524 | 1 | 15k|4867 | 1.020218e+03 | 1.041000e+03 | 2.04%| unknown
1011.46/1014.49 c 1014s| 11200 | 675 | 4876k| 304.8 | 419M | 41 |1525 |6600 |3178 |7634 | 2 | 15k|4867 | 1.020287e+03 | 1.041000e+03 | 2.03%| unknown
1019.05/1022.02 c 1022s| 11300 | 687 | 4910k| 305.1 | 419M | 41 |1525 |6506 |3179 |7800 | 0 | 15k|4868 | 1.020329e+03 | 1.041000e+03 | 2.03%| unknown
1025.13/1028.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1025.13/1028.14 c 1028s| 11400 | 687 | 4941k| 305.0 | 420M | 43 |1525 |6461 |3177 |7908 | 1 | 15k|4868 | 1.020336e+03 | 1.041000e+03 | 2.03%| unknown
1028.52/1031.50 c 1031s| 11500 | 687 | 4970k| 304.9 | 420M | 43 |1525 |6408 |3186 |8021 | 0 | 15k|4869 | 1.020338e+03 | 1.041000e+03 | 2.02%| unknown
1032.11/1035.12 c 1035s| 11600 | 685 | 4992k| 304.5 | 420M | 43 |1525 |6404 |3175 |8053 | 1 | 15k|4893 | 1.020338e+03 | 1.041000e+03 | 2.02%| unknown
1041.29/1044.36 c 1044s| 11700 | 689 | 5051k| 306.2 | 420M | 43 |1525 |6378 |3183 |8166 | 0 | 15k|4909 | 1.020343e+03 | 1.041000e+03 | 2.02%| unknown
1049.27/1052.35 c 1052s| 11800 | 697 | 5093k| 306.9 | 420M | 43 |1525 |6320 |3203 |8384 | 0 | 15k|4943 | 1.020353e+03 | 1.041000e+03 | 2.02%| unknown
1053.46/1056.56 c 1057s| 11900 | 695 | 5127k| 307.1 | 420M | 43 |1525 |6449 |3192 |8453 | 0 | 15k|4980 | 1.020353e+03 | 1.041000e+03 | 2.02%| unknown
1061.23/1064.32 c 1064s| 12000 | 697 | 5166k| 307.5 | 419M | 43 |1525 |6645 |3196 |8611 | 1 | 15k|5061 | 1.020353e+03 | 1.041000e+03 | 2.02%| unknown
1067.71/1070.83 c 1071s| 12100 | 709 | 5202k| 307.9 | 419M | 43 |1525 |6514 |3191 |8737 | 1 | 15k|5089 | 1.020359e+03 | 1.041000e+03 | 2.02%| unknown
1076.09/1079.21 c 1079s| 12200 | 717 | 5247k| 308.7 | 419M | 43 |1525 |6482 |3192 |8896 | 0 | 15k|5109 | 1.020375e+03 | 1.041000e+03 | 2.02%| unknown
1081.88/1085.07 c 1085s| 12300 | 719 | 5274k| 308.5 | 419M | 43 |1525 |6517 |3197 |8997 | 0 | 16k|5146 | 1.020376e+03 | 1.041000e+03 | 2.02%| unknown
1094.74/1097.92 c 1098s| 12400 | 737 | 5330k| 309.9 | 420M | 43 |1525 |6319 |3202 |9306 | 0 | 16k|5172 | 1.020410e+03 | 1.041000e+03 | 2.02%| unknown
1099.33/1102.59 c 1103s| 12500 | 737 | 5362k| 310.0 | 420M | 43 |1525 |6476 |3196 |9408 | 1 | 16k|5221 | 1.020410e+03 | 1.041000e+03 | 2.02%| unknown
1107.50/1110.70 c 1111s| 12600 | 743 | 5403k| 310.6 | 420M | 43 |1525 |6316 |3194 |9506 | 2 | 16k|5271 | 1.020416e+03 | 1.041000e+03 | 2.02%| unknown
1112.79/1116.04 c 1116s| 12700 | 745 | 5439k| 310.9 | 420M | 43 |1525 |6304 |3197 |9660 | 0 | 16k|5296 | 1.020423e+03 | 1.041000e+03 | 2.02%| unknown
1120.27/1123.56 c 1124s| 12800 | 751 | 5474k| 311.1 | 420M | 43 |1525 |6227 |3175 |9752 | 1 | 16k|5335 | 1.020423e+03 | 1.041000e+03 | 2.02%| unknown
1129.34/1132.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1129.34/1132.69 c 1133s| 12900 | 763 | 5526k| 312.3 | 420M | 43 |1525 |6150 |3202 |9955 | 0 | 16k|5355 | 1.020445e+03 | 1.041000e+03 | 2.01%| unknown
1143.81/1147.11 c 1147s| 13000 | 779 | 5582k| 313.7 | 421M | 43 |1525 |6142 |3204 | 10k| 1 | 16k|5401 | 1.020488e+03 | 1.041000e+03 | 2.01%| unknown
1148.29/1151.60 c 1152s| 13100 | 785 | 5614k| 313.7 | 421M | 43 |1525 |6136 |3214 | 10k| 0 | 16k|5405 | 1.020490e+03 | 1.041000e+03 | 2.01%| unknown
1163.15/1166.59 c 1167s| 13200 | 797 | 5684k| 315.9 | 421M | 43 |1525 |6049 |3205 | 10k| 0 | 16k|5426 | 1.020501e+03 | 1.041000e+03 | 2.01%| unknown
1166.64/1170.01 c 1170s| 13300 | 801 | 5712k| 315.7 | 421M | 43 |1525 |6079 |3194 | 10k| 0 | 16k|5438 | 1.020501e+03 | 1.041000e+03 | 2.01%| unknown
1176.21/1179.66 c 1180s| 13400 | 813 | 5766k| 316.9 | 422M | 43 |1525 |6097 |3196 | 10k| 0 | 16k|5461 | 1.020599e+03 | 1.041000e+03 | 2.00%| unknown
1184.69/1188.19 c 1188s| 13500 | 817 | 5799k| 317.0 | 422M | 43 |1525 |6147 |3196 | 10k| 1 | 16k|5521 | 1.020604e+03 | 1.041000e+03 | 2.00%| unknown
1191.37/1194.80 c 1195s| 13600 | 831 | 5841k| 317.5 | 422M | 43 |1525 |6132 |3200 | 11k| 0 | 17k|5541 | 1.020652e+03 | 1.041000e+03 | 1.99%| unknown
1200.65/1204.11 c 1204s| 13700 | 843 | 5880k| 317.9 | 422M | 43 |1525 |6007 |3211 | 11k| 1 | 17k|5591 | 1.020739e+03 | 1.041000e+03 | 1.98%| unknown
1210.71/1214.29 c 1214s| 13800 | 855 | 5927k| 318.8 | 422M | 43 |1525 |6023 |3216 | 11k| 1 | 17k|5614 | 1.020740e+03 | 1.041000e+03 | 1.98%| unknown
1227.87/1231.40 c 1231s| 13900 | 873 | 5988k| 320.3 | 423M | 43 |1525 |5975 |3210 | 11k| 0 | 17k|5666 | 1.020814e+03 | 1.041000e+03 | 1.98%| unknown
1236.14/1239.75 c 1240s| 14000 | 877 | 6025k| 320.6 | 423M | 43 |1525 |5963 |3219 | 11k| 1 | 17k|5712 | 1.020831e+03 | 1.041000e+03 | 1.98%| unknown
1244.12/1247.76 c 1248s| 14100 | 887 | 6069k| 321.2 | 424M | 43 |1525 |5862 |3213 | 12k| 1 | 17k|5712 | 1.020854e+03 | 1.041000e+03 | 1.97%| unknown
1250.41/1254.09 c 1254s| 14200 | 885 | 6104k| 321.4 | 424M | 43 |1525 |5856 |3191 | 12k| 1 | 17k|5747 | 1.020860e+03 | 1.041000e+03 | 1.97%| unknown
1255.19/1258.81 c 1259s| 14300 | 889 | 6140k| 321.6 | 424M | 43 |1525 |5790 |3203 | 12k| 1 | 17k|5747 | 1.020860e+03 | 1.041000e+03 | 1.97%| unknown
1258.48/1262.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1258.48/1262.17 c 1262s| 14400 | 887 | 6170k| 321.5 | 424M | 43 |1525 |5795 |3199 | 12k| 0 | 17k|5748 | 1.020860e+03 | 1.041000e+03 | 1.97%| unknown
1261.48/1265.14 c 1265s| 14500 | 889 | 6199k| 321.3 | 424M | 43 |1525 |5800 |3201 | 12k| 1 | 17k|5750 | 1.020860e+03 | 1.041000e+03 | 1.97%| unknown
1272.04/1275.72 c 1276s| 14600 | 907 | 6256k| 322.6 | 424M | 43 |1525 |5759 |3207 | 12k| 1 | 17k|5796 | 1.020896e+03 | 1.041000e+03 | 1.97%| unknown
1283.01/1286.73 c 1287s| 14700 | 915 | 6329k| 324.7 | 424M | 43 |1525 |5778 |3208 | 12k| 0 | 17k|5813 | 1.020903e+03 | 1.041000e+03 | 1.97%| unknown
1286.41/1290.13 c 1290s| 14800 | 915 | 6353k| 324.3 | 424M | 43 |1525 |5796 |3209 | 12k| 2 | 17k|5828 | 1.020903e+03 | 1.041000e+03 | 1.97%| unknown
1290.89/1294.68 c 1295s| 14900 | 917 | 6380k| 324.0 | 424M | 43 |1525 |5870 |3217 | 13k| 2 | 17k|5871 | 1.020903e+03 | 1.041000e+03 | 1.97%| unknown
1293.39/1297.19 c 1297s| 15000 | 921 | 6404k| 323.5 | 425M | 43 |1525 |5870 |3213 | 13k| 1 | 17k|5871 | 1.020903e+03 | 1.041000e+03 | 1.97%| unknown
1297.87/1301.63 c 1302s| 15100 | 923 | 6428k| 323.1 | 425M | 43 |1525 |5750 |3216 | 13k| 0 | 17k|5888 | 1.020946e+03 | 1.041000e+03 | 1.96%| unknown
1300.76/1304.53 c 1305s| 15200 | 921 | 6455k| 322.8 | 425M | 43 |1525 |5724 |3210 | 13k| 1 | 17k|5888 | 1.020946e+03 | 1.041000e+03 | 1.96%| unknown
1305.85/1309.60 c 1310s| 15300 | 927 | 6487k| 322.9 | 425M | 43 |1525 |5668 |3215 | 13k| 2 | 17k|5888 | 1.020969e+03 | 1.041000e+03 | 1.96%| unknown
1311.83/1315.68 c 1316s| 15400 | 935 | 6522k| 323.0 | 426M | 43 |1525 |5571 |3197 | 13k| 1 | 17k|5890 | 1.020977e+03 | 1.041000e+03 | 1.96%| unknown
1317.41/1321.28 c 1321s| 15500 | 943 | 6555k| 323.0 | 426M | 43 |1525 |5563 |3212 | 13k| 1 | 17k|5891 | 1.020986e+03 | 1.041000e+03 | 1.96%| unknown
1322.31/1326.13 c 1326s| 15600 | 949 | 6589k| 323.1 | 426M | 43 |1525 |5522 |3208 | 13k| 0 | 17k|5891 | 1.021010e+03 | 1.041000e+03 | 1.96%| unknown
1327.09/1330.99 c 1331s| 15700 | 955 | 6619k| 323.0 | 426M | 43 |1525 |5557 |3208 | 13k| 0 | 17k|5903 | 1.021020e+03 | 1.041000e+03 | 1.96%| unknown
1338.56/1342.42 c 1342s| 15800 | 971 | 6676k| 324.2 | 426M | 43 |1525 |5596 |3212 | 14k| 0 | 18k|5911 | 1.021081e+03 | 1.041000e+03 | 1.95%| unknown
1345.54/1349.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1345.54/1349.41 c 1349s| 15900 | 983 | 6714k| 324.4 | 426M | 43 |1525 |5542 |3215 | 14k| 1 | 18k|5911 | 1.021118e+03 | 1.041000e+03 | 1.95%| unknown
1352.02/1355.92 c 1356s| 16000 | 993 | 6752k| 324.7 | 426M | 43 |1525 |5574 |3219 | 14k| 0 | 18k|5917 | 1.021134e+03 | 1.041000e+03 | 1.95%| unknown
1355.01/1358.96 c 1359s| 16100 | 991 | 6775k| 324.3 | 426M | 43 |1525 |5606 |3219 | 14k| 0 | 18k|5931 | 1.021134e+03 | 1.041000e+03 | 1.95%| unknown
1365.28/1369.26 c 1369s| 16200 | 1001 | 6833k| 325.5 | 427M | 43 |1525 |5605 |3219 | 14k| 1 | 18k|5933 | 1.021140e+03 | 1.041000e+03 | 1.94%| unknown
1373.66/1377.65 c 1378s| 16300 | 1009 | 6884k| 326.4 | 427M | 43 |1525 |5542 |3219 | 14k| 0 | 18k|5933 | 1.021166e+03 | 1.041000e+03 | 1.94%| unknown
1377.65/1381.64 c 1382s| 16400 | 1019 | 6919k| 326.5 | 427M | 43 |1525 |5470 |3219 | 14k| 1 | 18k|5934 | 1.021203e+03 | 1.041000e+03 | 1.94%| unknown
1383.13/1387.13 c 1387s| 16500 | 1031 | 6957k| 326.7 | 429M | 43 |1525 |5373 |3223 | 15k| 1 | 18k|5939 | 1.021215e+03 | 1.041000e+03 | 1.94%| unknown
1386.03/1390.07 c 1390s| 16600 | 1031 | 6985k| 326.5 | 429M | 43 |1525 |5372 |3218 | 15k| 0 | 18k|5939 | 1.021215e+03 | 1.041000e+03 | 1.94%| unknown
1393.01/1397.01 c 1397s| 16700 | 1045 | 7032k| 327.2 | 429M | 43 |1525 |5364 |3223 | 15k| 0 | 18k|5939 | 1.021229e+03 | 1.041000e+03 | 1.94%| unknown
1395.89/1399.94 c 1400s| 16800 | 1047 | 7058k| 326.9 | 429M | 43 |1525 |5364 |3221 | 15k| 1 | 18k|5939 | 1.021229e+03 | 1.041000e+03 | 1.94%| unknown
1406.97/1411.01 c 1411s| 16900 | 1059 | 7109k| 327.7 | 430M | 43 |1525 |5331 |3221 | 15k| 1 | 18k|5942 | 1.021278e+03 | 1.041000e+03 | 1.93%| unknown
1410.85/1414.96 c 1415s| 17000 | 1069 | 7143k| 327.8 | 430M | 43 |1525 |5316 |3220 | 15k| 1 | 18k|5942 | 1.021305e+03 | 1.041000e+03 | 1.93%| unknown
1413.64/1417.74 c 1418s| 17100 | 1071 | 7168k| 327.4 | 430M | 43 |1525 |5324 |3222 | 15k| 1 | 18k|5943 | 1.021305e+03 | 1.041000e+03 | 1.93%| unknown
1420.23/1424.37 c 1424s| 17200 | 1073 | 7198k| 327.3 | 430M | 43 |1525 |5325 |3226 | 15k| 0 | 18k|5945 | 1.021307e+03 | 1.041000e+03 | 1.93%| unknown
1422.82/1426.92 c 1427s| 17300 | 1073 | 7222k| 326.9 | 430M | 43 |1525 |5324 |3223 | 15k| 1 | 18k|5945 | 1.021307e+03 | 1.041000e+03 | 1.93%| unknown
1431.09/1435.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1431.09/1435.27 c 1435s| 17400 | 1081 | 7267k| 327.5 | 430M | 43 |1525 |5304 |3222 | 16k| 0 | 18k|5946 | 1.021352e+03 | 1.041000e+03 | 1.92%| unknown
1445.46/1449.69 c 1450s| 17500 | 1103 | 7353k| 329.8 | 430M | 43 |1525 |5181 |3224 | 16k| 1 | 18k|5947 | 1.021371e+03 | 1.041000e+03 | 1.92%| unknown
1451.84/1456.01 c 1456s| 17600 | 1109 | 7397k| 330.4 | 430M | 43 |1525 |5187 |3221 | 16k| 1 | 18k|5953 | 1.021388e+03 | 1.041000e+03 | 1.92%| unknown
1463.70/1467.98 c 1468s| 17700 | 1115 | 7443k| 330.9 | 432M | 43 |1525 |5189 |3222 | 16k| 1 | 18k|5959 | 1.021450e+03 | 1.041000e+03 | 1.91%| unknown
1471.38/1475.62 c 1476s| 17800 | 1119 | 7488k| 331.5 | 433M | 43 |1525 |5162 |3233 | 16k| 0 | 18k|5959 | 1.021475e+03 | 1.041000e+03 | 1.91%| unknown
1485.94/1490.28 c 1490s| 17900 | 1135 | 7553k| 332.9 | 433M | 43 |1525 |5069 |3216 | 17k| 1 | 18k|5959 | 1.021519e+03 | 1.041000e+03 | 1.91%| unknown
1492.63/1496.96 c 1497s| 18000 | 1143 | 7596k| 333.3 | 431M | 43 |1525 |5017 |3234 | 17k| 0 | 18k|5959 | 1.021522e+03 | 1.041000e+03 | 1.91%| unknown
1499.71/1504.04 c 1504s| 18100 | 1147 | 7635k| 333.5 | 431M | 43 |1525 |5107 |3220 | 17k| 1 | 18k|5991 | 1.021525e+03 | 1.041000e+03 | 1.91%| unknown
1504.70/1509.07 c 1509s| 18200 | 1145 | 7673k| 333.8 | 431M | 43 |1525 |5290 |3231 | 17k| 1 | 18k|6032 | 1.021525e+03 | 1.041000e+03 | 1.91%| unknown
1511.57/1515.93 c 1516s| 18300 | 1149 | 7714k| 334.1 | 431M | 43 |1525 |5550 |3201 | 18k| 1 | 19k|6117 | 1.021525e+03 | 1.041000e+03 | 1.91%| unknown
1517.26/1521.61 c 1522s| 18400 | 1155 | 7749k| 334.1 | 431M | 43 |1525 |5489 |3204 | 18k| 0 | 19k|6131 | 1.021533e+03 | 1.041000e+03 | 1.91%| unknown
1520.65/1525.01 c 1525s| 18500 | 1159 | 7779k| 334.0 | 431M | 43 |1525 |5357 |3219 | 18k| 0 | 19k|6143 | 1.021538e+03 | 1.041000e+03 | 1.91%| unknown
1527.93/1532.38 c 1532s| 18600 | 1167 | 7819k| 334.3 | 431M | 43 |1525 |5420 |3206 | 18k| 1 | 19k|6187 | 1.021538e+03 | 1.041000e+03 | 1.91%| unknown
1534.11/1538.59 c 1539s| 18700 | 1173 | 7853k| 334.3 | 431M | 43 |1525 |5423 |3220 | 18k| 1 | 19k|6205 | 1.021538e+03 | 1.041000e+03 | 1.91%| unknown
1543.38/1547.88 c 1548s| 18800 | 1183 | 7896k| 334.7 | 431M | 43 |1525 |5376 |3222 | 18k| 1 | 19k|6218 | 1.021549e+03 | 1.041000e+03 | 1.90%| unknown
1550.57/1555.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1550.57/1555.02 c 1555s| 18900 | 1189 | 7946k| 335.4 | 432M | 43 |1525 |5381 |3203 | 18k| 1 | 19k|6256 | 1.021570e+03 | 1.041000e+03 | 1.90%| unknown
1557.74/1562.23 c 1562s| 19000 | 1197 | 7989k| 335.8 | 432M | 43 |1525 |5416 |3221 | 19k| 0 | 19k|6272 | 1.021625e+03 | 1.041000e+03 | 1.90%| unknown
1567.02/1571.53 c 1572s| 19100 | 1207 | 8032k| 336.2 | 432M | 43 |1525 |5314 |3218 | 19k| 0 | 19k|6280 | 1.021638e+03 | 1.041000e+03 | 1.90%| unknown
1573.70/1578.22 c 1578s| 19200 | 1217 | 8070k| 336.4 | 432M | 43 |1525 |5302 |3224 | 19k| 0 | 19k|6295 | 1.021691e+03 | 1.041000e+03 | 1.89%| unknown
1577.49/1582.05 c 1582s| 19300 | 1221 | 8103k| 336.3 | 432M | 43 |1525 |5387 |3222 | 19k| 0 | 19k|6319 | 1.021699e+03 | 1.041000e+03 | 1.89%| unknown
1582.97/1587.53 c 1588s| 19400 | 1229 | 8138k| 336.4 | 432M | 43 |1525 |5374 |3214 | 19k| 0 | 19k|6327 | 1.021703e+03 | 1.041000e+03 | 1.89%| unknown
1588.66/1593.29 c 1593s| 19500 | 1237 | 8170k| 336.3 | 432M | 43 |1525 |5401 |3219 | 19k| 0 | 20k|6338 | 1.021704e+03 | 1.041000e+03 | 1.89%| unknown
1596.44/1601.06 c 1601s| 19600 | 1247 | 8214k| 336.8 | 432M | 43 |1525 |5453 |3227 | 20k| 1 | 20k|6368 | 1.021721e+03 | 1.041000e+03 | 1.89%| unknown
1608.00/1612.65 c 1613s| 19700 | 1261 | 8266k| 337.5 | 432M | 43 |1525 |5493 |3236 | 20k| 0 | 20k|6447 | 1.021765e+03 | 1.041000e+03 | 1.88%| unknown
1617.48/1622.20 c 1622s| 19800 | 1269 | 8313k| 338.1 | 432M | 43 |1525 |5647 |3228 | 20k| 0 | 20k|6500 | 1.021784e+03 | 1.041000e+03 | 1.88%| unknown
1623.26/1627.95 c 1628s| 19900 | 1277 | 8351k| 338.2 | 432M | 43 |1525 |5647 |3233 | 20k| 2 | 20k|6507 | 1.021799e+03 | 1.041000e+03 | 1.88%| unknown
1632.44/1637.14 c 1637s| 20000 | 1285 | 8408k| 339.2 | 432M | 43 |1525 |5653 |3232 | 21k| 0 | 20k|6515 | 1.021807e+03 | 1.041000e+03 | 1.88%| unknown
1638.52/1643.23 c 1643s| 20100 | 1289 | 8441k| 339.1 | 432M | 43 |1525 |5656 |3232 | 21k| 1 | 20k|6526 | 1.021834e+03 | 1.041000e+03 | 1.88%| unknown
1646.40/1651.17 c 1651s| 20200 | 1293 | 8475k| 339.1 | 432M | 43 |1525 |5736 |3232 | 21k| 0 | 20k|6607 | 1.021840e+03 | 1.041000e+03 | 1.88%| unknown
1653.18/1657.98 c 1658s| 20300 | 1299 | 8509k| 339.1 | 432M | 43 |1525 |5705 |3239 | 21k| 1 | 21k|6636 | 1.021854e+03 | 1.041000e+03 | 1.87%| unknown
1655.77/1660.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1655.77/1660.53 c 1661s| 20400 | 1299 | 8532k| 338.7 | 432M | 43 |1525 |5758 |3238 | 21k| 0 | 21k|6646 | 1.021854e+03 | 1.041000e+03 | 1.87%| unknown
1668.93/1673.79 c 1674s| 20500 | 1311 | 8584k| 339.4 | 432M | 43 |1525 |5685 |3230 | 21k| 1 | 21k|6734 | 1.021878e+03 | 1.041000e+03 | 1.87%| unknown
1672.02/1676.81 c 1677s| 20600 | 1311 | 8607k| 339.0 | 432M | 43 |1525 |5681 |3229 | 21k| 1 | 21k|6744 | 1.021878e+03 | 1.041000e+03 | 1.87%| unknown
1675.51/1680.39 c 1680s| 20700 | 1307 | 8633k| 338.7 | 432M | 43 |1525 |5700 |3227 | 21k| 1 | 21k|6761 | 1.021878e+03 | 1.041000e+03 | 1.87%| unknown
1679.10/1683.90 c 1684s| 20800 | 1307 | 8661k| 338.5 | 432M | 43 |1525 |5741 |3229 | 21k| 1 | 21k|6779 | 1.021878e+03 | 1.041000e+03 | 1.87%| unknown
1689.08/1693.93 c 1694s| 20900 | 1315 | 8706k| 338.9 | 432M | 43 |1525 |5671 |3225 | 22k| 1 | 21k|6806 | 1.021882e+03 | 1.041000e+03 | 1.87%| unknown
1694.66/1699.53 c 1700s| 21000 | 1325 | 8742k| 339.0 | 433M | 43 |1525 |5641 |3225 | 22k| 0 | 21k|6814 | 1.021892e+03 | 1.041000e+03 | 1.87%| unknown
1699.74/1704.64 c 1705s| 21100 | 1333 | 8775k| 338.9 | 433M | 43 |1525 |5569 |3224 | 22k| 1 | 21k|6817 | 1.021897e+03 | 1.041000e+03 | 1.87%| unknown
1704.53/1709.43 c 1709s| 21200 | 1335 | 8805k| 338.8 | 433M | 43 |1525 |5543 |3222 | 22k| 0 | 21k|6824 | 1.021926e+03 | 1.041000e+03 | 1.87%| unknown
1711.41/1716.39 c 1716s| 21300 | 1347 | 8849k| 339.2 | 433M | 43 |1525 |5417 |3237 | 22k| 0 | 21k|6824 | 1.021959e+03 | 1.041000e+03 | 1.86%| unknown
1719.29/1724.27 c 1724s| 21400 | 1357 | 8896k| 339.7 | 433M | 43 |1525 |5328 |3228 | 23k| 0 | 21k|6830 | 1.021973e+03 | 1.041000e+03 | 1.86%| unknown
1727.37/1732.36 c 1732s| 21500 | 1369 | 8936k| 339.9 | 433M | 43 |1525 |5193 |3240 | 23k| 0 | 21k|6831 | 1.021994e+03 | 1.041000e+03 | 1.86%| unknown
1730.46/1735.46 c 1735s| 21600 | 1369 | 8964k| 339.7 | 433M | 43 |1525 |5231 |3239 | 23k| 0 | 21k|6840 | 1.021994e+03 | 1.041000e+03 | 1.86%| unknown
1740.63/1745.65 c 1746s| 21700 | 1377 | 9029k| 340.9 | 433M | 43 |1525 |5073 |3229 | 23k| 0 | 21k|6845 | 1.021996e+03 | 1.041000e+03 | 1.86%| unknown
1744.32/1749.34 c 1749s| 21800 | 1383 | 9063k| 340.9 | 433M | 43 |1525 |5115 |3226 | 23k| 0 | 21k|6856 | 1.021996e+03 | 1.041000e+03 | 1.86%| unknown
1747.71/1752.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1747.71/1752.75 c 1753s| 21900 | 1383 | 9091k| 340.6 | 433M | 43 |1525 |5147 |3232 | 23k| 0 | 21k|6868 | 1.021996e+03 | 1.041000e+03 | 1.86%| unknown
1750.60/1755.64 c 1756s| 22000 | 1387 | 9118k| 340.4 | 433M | 43 |1525 |5153 |3235 | 23k| 1 | 21k|6871 | 1.021996e+03 | 1.041000e+03 | 1.86%| unknown
1760.47/1765.52 c 1766s| 22100 | 1399 | 9167k| 340.9 | 433M | 43 |1525 |4925 |3227 | 23k| 1 | 21k|6877 | 1.022025e+03 | 1.041000e+03 | 1.86%| unknown
1763.86/1768.97 c 1769s| 22200 | 1399 | 9194k| 340.7 | 433M | 43 |1525 |4922 |3238 | 24k| 0 | 21k|6884 | 1.022025e+03 | 1.041000e+03 | 1.86%| unknown
1766.86/1771.91 c 1772s| 22300 | 1399 | 9221k| 340.4 | 433M | 43 |1525 |4920 |3234 | 24k| 1 | 21k|6885 | 1.022025e+03 | 1.041000e+03 | 1.86%| unknown
1775.83/1780.97 c 1781s| 22400 | 1409 | 9263k| 340.7 | 433M | 43 |1525 |4847 |3227 | 24k| 1 | 22k|6923 | 1.022052e+03 | 1.041000e+03 | 1.85%| unknown
1779.32/1784.46 c 1784s| 22500 | 1411 | 9292k| 340.5 | 433M | 43 |1525 |4879 |3232 | 24k| 0 | 22k|6934 | 1.022052e+03 | 1.041000e+03 | 1.85%| unknown
1787.90/1793.05 c 1793s| 22600 | 1411 | 9325k| 340.5 | 434M | 43 |1525 |4815 |3235 | 24k| 0 | 22k|6941 | 1.022059e+03 | 1.041000e+03 | 1.85%| unknown
1791.19/1796.38 c 1796s| 22700 | 1415 | 9355k| 340.3 | 434M | 43 |1525 |4745 |3223 | 24k| 1 | 22k|6942 | 1.022075e+03 | 1.041000e+03 | 1.85%| unknown
1794.88/1800.09 c 1800s| 22800 | 1421 | 9388k| 340.3 | 434M | 43 |1525 |4717 |3230 | 24k| 1 | 22k|6950 | 1.022080e+03 | 1.041000e+03 | 1.85%| unknown
1799.26/1804.41 c 1804s| 22900 | 1425 | 9418k| 340.1 | 434M | 43 |1525 |4711 |3230 | 24k| 0 | 22k|6967 | 1.022090e+03 | 1.041000e+03 | 1.85%| unknown
1804.45/1809.69 c 1810s| 23000 | 1431 | 9452k| 340.1 | 434M | 43 |1525 |4633 |3235 | 24k| 0 | 22k|6967 | 1.022118e+03 | 1.041000e+03 | 1.85%| unknown
1813.53/1818.78 c 1819s| 23100 | 1443 | 9497k| 340.5 | 435M | 43 |1525 |4523 |3242 | 25k| 0 | 22k|6970 | 1.022132e+03 | 1.041000e+03 | 1.85%| unknown
1816.42/1821.61 c 1822s| 23200 | 1441 | 9522k| 340.2 | 435M | 43 |1525 |4533 |3232 | 25k| 1 | 22k|6975 | 1.022132e+03 | 1.041000e+03 | 1.85%| unknown
1821.50/1826.78 c 1827s| 23300 | 1443 | 9559k| 340.3 | 435M | 43 |1525 |4478 |3230 | 25k| 0 | 22k|6975 | 1.022143e+03 | 1.041000e+03 | 1.84%| unknown
1824.10/1829.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1824.10/1829.32 c 1829s| 23400 | 1445 | 9584k| 340.0 | 435M | 43 |1525 |4475 |3228 | 25k| 1 | 22k|6975 | 1.022143e+03 | 1.041000e+03 | 1.84%| unknown
1829.68/1834.96 c 1835s| 23500 | 1453 | 9622k| 340.1 | 435M | 43 |1525 |4422 |3234 | 25k| 2 | 22k|6975 | 1.022163e+03 | 1.041000e+03 | 1.84%| unknown
1843.94/1849.22 c 1849s| 23600 | 1467 | 9696k| 341.5 | 435M | 43 |1525 |4408 |3231 | 25k| 1 | 22k|6977 | 1.022179e+03 | 1.041000e+03 | 1.84%| unknown
1847.13/1852.45 c 1852s| 23700 | 1465 | 9726k| 341.4 | 435M | 43 |1525 |4437 |3240 | 25k| 0 | 22k|6984 | 1.022179e+03 | 1.041000e+03 | 1.84%| unknown
1852.92/1858.25 c 1858s| 23800 | 1469 | 9761k| 341.4 | 436M | 43 |1525 |4453 |3229 | 26k| 1 | 22k|6995 | 1.022209e+03 | 1.041000e+03 | 1.84%| unknown
1858.80/1864.19 c 1864s| 23900 | 1475 | 9798k| 341.5 | 436M | 43 |1525 |4377 |3246 | 26k| 2 | 22k|6995 | 1.022214e+03 | 1.041000e+03 | 1.84%| unknown
1862.29/1867.64 c 1868s| 24000 | 1479 | 9830k| 341.5 | 436M | 43 |1525 |4360 |3225 | 26k| 1 | 22k|6996 | 1.022230e+03 | 1.041000e+03 | 1.84%| unknown
1870.87/1876.29 c 1876s| 24100 | 1491 | 9877k| 341.9 | 436M | 43 |1525 |4252 |3228 | 26k| 0 | 22k|6996 | 1.022251e+03 | 1.041000e+03 | 1.83%| unknown
1873.46/1878.81 c 1879s| 24200 | 1493 | 9902k| 341.6 | 436M | 43 |1525 |4252 |3240 | 26k| 0 | 22k|6996 | 1.022251e+03 | 1.041000e+03 | 1.83%| unknown
1881.04/1886.43 c 1886s| 24300 | 1501 | 9941k| 341.7 | 436M | 43 |1525 |4179 |3228 | 26k| 1 | 22k|6996 | 1.022257e+03 | 1.041000e+03 | 1.83%| unknown
1885.13/1890.56 c 1891s| 24400 | 1511 | 9977k| 341.8 | 436M | 43 |1525 |4174 |3227 | 27k| 1 | 22k|7000 | 1.022268e+03 | 1.041000e+03 | 1.83%| unknown
1887.72/1893.15 c 1893s| 24500 | 1509 | 9999k| 341.4 | 436M | 43 |1525 |4207 |3227 | 27k| 1 | 22k|7004 | 1.022268e+03 | 1.041000e+03 | 1.83%| unknown
1893.40/1898.83 c 1899s| 24600 | 1513 | 10035k| 341.4 | 436M | 43 |1525 |4173 |3233 | 27k| 0 | 22k|7004 | 1.022291e+03 | 1.041000e+03 | 1.83%| unknown
1899.09/1904.56 c 1905s| 24700 | 1519 | 10068k| 341.4 | 436M | 43 |1525 |4136 |3237 | 27k| 1 | 22k|7004 | 1.022297e+03 | 1.041000e+03 | 1.83%| unknown
1905.57/1911.02 c 1911s| 24800 | 1523 | 10111k| 341.7 | 436M | 43 |1525 |4124 |3242 | 27k| 0 | 22k|7008 | 1.022299e+03 | 1.041000e+03 | 1.83%| unknown
1912.65/1918.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1912.65/1918.17 c 1918s| 24900 | 1535 | 10151k| 341.9 | 436M | 43 |1525 |4108 |3236 | 27k| 1 | 22k|7017 | 1.022329e+03 | 1.041000e+03 | 1.83%| unknown
1922.42/1927.98 c 1928s| 25000 | 1549 | 10216k| 342.9 | 436M | 43 |1525 |4090 |3243 | 27k| 2 | 22k|7027 | 1.022338e+03 | 1.041000e+03 | 1.83%| unknown
1929.30/1934.81 c 1935s| 25100 | 1561 | 10261k| 343.3 | 436M | 43 |1525 |4117 |3250 | 28k| 0 | 22k|7039 | 1.022350e+03 | 1.041000e+03 | 1.82%| unknown
1936.59/1942.17 c 1942s| 25200 | 1563 | 10296k| 343.3 | 438M | 43 |1525 |4232 |3247 | 28k| 1 | 22k|7074 | 1.022350e+03 | 1.041000e+03 | 1.82%| unknown
1944.26/1949.83 c 1950s| 25300 | 1563 | 10339k| 343.6 | 438M | 43 |1525 |4355 |3237 | 28k| 2 | 23k|7104 | 1.022367e+03 | 1.041000e+03 | 1.82%| unknown
1950.14/1955.72 c 1956s| 25400 | 1565 | 10378k| 343.8 | 438M | 43 |1525 |4424 |3232 | 28k| 0 | 23k|7126 | 1.022368e+03 | 1.041000e+03 | 1.82%| unknown
1961.51/1967.13 c 1967s| 25500 | 1583 | 10432k| 344.4 | 440M | 43 |1525 |4420 |3236 | 28k| 1 | 23k|7149 | 1.022390e+03 | 1.041000e+03 | 1.82%| unknown
1969.88/1975.51 c 1975s| 25600 | 1589 | 10474k| 344.7 | 440M | 43 |1525 |4478 |3242 | 28k| 0 | 23k|7185 | 1.022397e+03 | 1.041000e+03 | 1.82%| unknown
1978.06/1983.75 c 1984s| 25700 | 1603 | 10520k| 345.0 | 440M | 43 |1525 |4593 |3244 | 29k| 0 | 23k|7227 | 1.022403e+03 | 1.041000e+03 | 1.82%| unknown
1988.03/1993.78 c 1994s| 25800 | 1615 | 10567k| 345.5 | 440M | 43 |1525 |4693 |3247 | 29k| 1 | 23k|7282 | 1.022406e+03 | 1.041000e+03 | 1.82%| unknown
1991.43/1997.17 c 1997s| 25900 | 1619 | 10596k| 345.3 | 440M | 43 |1525 |4700 |3231 | 29k| 1 | 23k|7292 | 1.022407e+03 | 1.041000e+03 | 1.82%| unknown
1995.01/2000.78 c 2001s| 26000 | 1615 | 10626k| 345.1 | 440M | 43 |1525 |4766 |3235 | 29k| 0 | 23k|7314 | 1.022407e+03 | 1.041000e+03 | 1.82%| unknown
1998.20/2003.94 c 2004s| 26100 | 1615 | 10652k| 344.9 | 440M | 43 |1525 |4802 |3234 | 29k| 1 | 23k|7327 | 1.022407e+03 | 1.041000e+03 | 1.82%| unknown
2004.59/2010.33 c 2010s| 26200 | 1619 | 10694k| 345.1 | 440M | 43 |1525 |4820 |3234 | 29k| 1 | 23k|7340 | 1.022409e+03 | 1.041000e+03 | 1.82%| unknown
2015.46/2021.26 c 2021s| 26300 | 1635 | 10747k| 345.7 | 440M | 43 |1525 |4863 |3243 | 29k| 1 | 24k|7378 | 1.022437e+03 | 1.041000e+03 | 1.82%| unknown
2020.94/2026.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2020.94/2026.71 c 2027s| 26400 | 1633 | 10779k| 345.6 | 440M | 43 |1525 |5054 |3245 | 30k| 0 | 24k|7440 | 1.022437e+03 | 1.041000e+03 | 1.82%| unknown
2027.72/2033.58 c 2034s| 26500 | 1639 | 10820k| 345.8 | 440M | 43 |1525 |5077 |3230 | 30k| 0 | 24k|7468 | 1.022437e+03 | 1.041000e+03 | 1.82%| unknown
2030.71/2036.56 c 2037s| 26600 | 1641 | 10848k| 345.6 | 440M | 43 |1525 |5117 |3244 | 30k| 2 | 24k|7476 | 1.022437e+03 | 1.041000e+03 | 1.82%| unknown
2042.68/2048.53 c 2049s| 26700 | 1649 | 10919k| 346.8 | 440M | 43 |1525 |5085 |3236 | 30k| 0 | 24k|7498 | 1.022460e+03 | 1.041000e+03 | 1.81%| unknown
2049.17/2055.05 c 2055s| 26800 | 1659 | 10963k| 347.0 | 440M | 43 |1525 |5031 |3230 | 30k| 0 | 24k|7509 | 1.022473e+03 | 1.041000e+03 | 1.81%| unknown
2054.95/2060.81 c 2061s| 26900 | 1667 | 11002k| 347.2 | 440M | 43 |1525 |5037 |3245 | 30k| 0 | 24k|7528 | 1.022490e+03 | 1.041000e+03 | 1.81%| unknown
2062.52/2068.46 c 2068s| 27000 | 1673 | 11046k| 347.5 | 440M | 43 |1525 |5108 |3239 | 31k| 0 | 24k|7571 | 1.022493e+03 | 1.041000e+03 | 1.81%| unknown
2066.01/2071.95 c 2072s| 27100 | 1681 | 11077k| 347.4 | 440M | 43 |1525 |5102 |3241 | 31k| 1 | 24k|7588 | 1.022521e+03 | 1.041000e+03 | 1.81%| unknown
2073.29/2079.29 c 2079s| 27200 | 1689 | 11116k| 347.5 | 440M | 43 |1525 |5118 |3241 | 31k| 0 | 25k|7648 | 1.022559e+03 | 1.041000e+03 | 1.80%| unknown
2083.66/2089.61 c 2090s| 27300 | 1705 | 11169k| 348.1 | 441M | 43 |1525 |5086 |3249 | 31k| 0 | 25k|7699 | 1.022580e+03 | 1.041000e+03 | 1.80%| unknown
2104.80/2110.85 c 2111s| 27400 | 1723 | 11234k| 349.0 | 441M | 43 |1525 |5043 |3250 | 31k| 0 | 25k|7848 | 1.022606e+03 | 1.041000e+03 | 1.80%| unknown
2112.78/2118.87 c 2119s| 27500 | 1729 | 11271k| 349.1 | 441M | 43 |1525 |5199 |3241 | 32k| 0 | 25k|7901 | 1.022607e+03 | 1.041000e+03 | 1.80%| unknown
2121.86/2127.90 c 2128s| 27600 | 1743 | 11307k| 349.1 | 442M | 43 |1525 |5225 |3244 | 32k| 1 | 25k|7940 | 1.022615e+03 | 1.041000e+03 | 1.80%| unknown
2140.61/2146.74 c 2147s| 27700 | 1745 | 11381k| 350.3 | 451M | 45 |1525 |5105 |3242 | 32k| 1 | 26k|7945 | 1.022618e+03 | 1.041000e+03 | 1.80%| unknown
2151.18/2157.32 c 2157s| 27800 | 1755 | 11435k| 350.9 | 451M | 45 |1525 |4996 |3247 | 32k| 1 | 26k|7990 | 1.022636e+03 | 1.041000e+03 | 1.80%| unknown
2153.67/2159.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2153.67/2159.82 c 2160s| 27900 | 1751 | 11460k| 350.6 | 451M | 45 |1525 |4938 |3256 | 32k| 0 | 26k|7990 | 1.022636e+03 | 1.041000e+03 | 1.80%| unknown
2164.94/2171.18 c 2171s| 28000 | 1767 | 11517k| 351.3 | 450M | 45 |1525 |4684 |3254 | 33k| 1 | 26k|8005 | 1.022644e+03 | 1.041000e+03 | 1.79%| unknown
2171.52/2177.75 c 2178s| 28100 | 1777 | 11559k| 351.5 | 450M | 45 |1525 |4629 |3253 | 33k| 1 | 26k|8044 | 1.022686e+03 | 1.041000e+03 | 1.79%| unknown
2176.81/2183.05 c 2183s| 28200 | 1777 | 11597k| 351.6 | 450M | 45 |1525 |4559 |3253 | 33k| 1 | 26k|8066 | 1.022691e+03 | 1.041000e+03 | 1.79%| unknown
2186.08/2192.35 c 2192s| 28300 | 1799 | 11658k| 352.3 | 450M | 45 |1525 |4130 |3256 | 33k| 2 | 26k|8066 | 1.022712e+03 | 1.041000e+03 | 1.79%| unknown
2198.64/2204.97 c 2205s| 28400 | 1811 | 11724k| 353.3 | 450M | 45 |1525 |4031 |3235 | 34k| 1 | 26k|8083 | 1.022748e+03 | 1.041000e+03 | 1.78%| unknown
2207.42/2213.74 c 2214s| 28500 | 1821 | 11787k| 354.1 | 450M | 45 |1525 |3963 |3245 | 34k| 1 | 26k|8083 | 1.022771e+03 | 1.041000e+03 | 1.78%| unknown
2211.21/2217.55 c 2218s| 28600 | 1821 | 11819k| 354.0 | 450M | 45 |1525 |3969 |3263 | 34k| 1 | 26k|8090 | 1.022771e+03 | 1.041000e+03 | 1.78%| unknown
2217.49/2223.82 c 2224s| 28700 | 1829 | 11868k| 354.4 | 450M | 45 |1525 |3949 |3234 | 34k| 2 | 26k|8094 | 1.022774e+03 | 1.041000e+03 | 1.78%| unknown
2220.58/2226.98 c 2227s| 28800 | 1827 | 11894k| 354.1 | 450M | 45 |1525 |3981 |3202 | 34k| 1 | 26k|8109 | 1.022774e+03 | 1.041000e+03 | 1.78%| unknown
2227.36/2233.78 c 2234s| 28900 | 1835 | 11938k| 354.4 | 450M | 45 |1525 |3957 |3236 | 35k| 1 | 26k|8109 | 1.022786e+03 | 1.041000e+03 | 1.78%| unknown
2229.86/2236.21 c 2236s| 29000 | 1833 | 11962k| 354.0 | 450M | 45 |1525 |3957 |3246 | 35k| 0 | 26k|8109 | 1.022786e+03 | 1.041000e+03 | 1.78%| unknown
2238.23/2244.60 c 2245s| 29100 | 1845 | 12008k| 354.4 | 451M | 45 |1525 |3957 |3252 | 35k| 1 | 26k|8120 | 1.022791e+03 | 1.041000e+03 | 1.78%| unknown
2241.12/2247.58 c 2248s| 29200 | 1843 | 12037k| 354.2 | 451M | 45 |1525 |3956 |3254 | 35k| 2 | 26k|8120 | 1.022791e+03 | 1.041000e+03 | 1.78%| unknown
2247.91/2254.38 c 2254s| 29300 | 1857 | 12080k| 354.4 | 451M | 45 |1525 |3871 |3247 | 35k| 1 | 26k|8120 | 1.022801e+03 | 1.041000e+03 | 1.78%| unknown
2253.29/2259.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2253.29/2259.79 c 2260s| 29400 | 1861 | 12114k| 354.3 | 451M | 45 |1525 |3876 |3241 | 35k| 1 | 26k|8125 | 1.022811e+03 | 1.041000e+03 | 1.78%| unknown
2262.27/2268.71 c 2269s| 29500 | 1875 | 12163k| 354.7 | 451M | 45 |1525 |3811 |3244 | 36k| 0 | 26k|8125 | 1.022813e+03 | 1.041000e+03 | 1.78%| unknown
2268.55/2275.02 c 2275s| 29600 | 1879 | 12200k| 354.8 | 452M | 45 |1525 |3844 |3258 | 36k| 1 | 26k|8145 | 1.022821e+03 | 1.041000e+03 | 1.78%| unknown
2271.24/2277.70 c 2278s| 29700 | 1877 | 12225k| 354.5 | 452M | 45 |1525 |3844 |3263 | 36k| 1 | 26k|8145 | 1.022821e+03 | 1.041000e+03 | 1.78%| unknown
2284.01/2290.59 c 2291s| 29800 | 1891 | 12279k| 355.0 | 452M | 45 |1525 |3830 |3262 | 36k| 1 | 26k|8155 | 1.022843e+03 | 1.041000e+03 | 1.78%| unknown
2286.70/2293.25 c 2293s| 29900 | 1887 | 12305k| 354.7 | 452M | 45 |1525 |3866 |3237 | 36k| 1 | 27k|8163 | 1.022843e+03 | 1.041000e+03 | 1.78%| unknown
2293.28/2299.86 c 2300s| 30000 | 1903 | 12348k| 355.0 | 452M | 45 |1525 |3854 |3223 | 37k| 1 | 27k|8166 | 1.022848e+03 | 1.041000e+03 | 1.77%| unknown
2297.47/2304.07 c 2304s| 30100 | 1903 | 12381k| 354.9 | 452M | 45 |1525 |3884 |3245 | 37k| 0 | 27k|8176 | 1.022848e+03 | 1.041000e+03 | 1.77%| unknown
2301.86/2308.45 c 2308s| 30200 | 1907 | 12422k| 355.1 | 452M | 45 |1525 |3963 |3238 | 37k| 1 | 27k|8194 | 1.022857e+03 | 1.041000e+03 | 1.77%| unknown
2311.43/2318.07 c 2318s| 30300 | 1915 | 12484k| 355.8 | 452M | 45 |1525 |3980 |3237 | 37k| 0 | 27k|8200 | 1.022873e+03 | 1.041000e+03 | 1.77%| unknown
2318.41/2325.02 c 2325s| 30400 | 1925 | 12532k| 356.2 | 452M | 45 |1525 |4019 |3241 | 37k| 0 | 27k|8205 | 1.022895e+03 | 1.041000e+03 | 1.77%| unknown
2322.00/2328.68 c 2329s| 30500 | 1929 | 12565k| 356.1 | 452M | 45 |1525 |4082 |3242 | 37k| 0 | 27k|8221 | 1.022899e+03 | 1.041000e+03 | 1.77%| unknown
2327.28/2333.98 c 2334s| 30600 | 1935 | 12600k| 356.1 | 452M | 45 |1525 |4146 |3260 | 37k| 2 | 27k|8234 | 1.022908e+03 | 1.041000e+03 | 1.77%| unknown
2333.67/2340.36 c 2340s| 30700 | 1937 | 12642k| 356.2 | 452M | 45 |1525 |4232 |3213 | 38k| 0 | 27k|8250 | 1.022909e+03 | 1.041000e+03 | 1.77%| unknown
2337.76/2344.43 c 2344s| 30800 | 1947 | 12680k| 356.3 | 452M | 45 |1525 |4229 |3207 | 38k| 1 | 27k|8250 | 1.022912e+03 | 1.041000e+03 | 1.77%| unknown
2340.95/2347.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2340.95/2347.62 c 2348s| 30900 | 1947 | 12709k| 356.1 | 452M | 45 |1525 |4229 |3241 | 38k| 1 | 27k|8250 | 1.022912e+03 | 1.041000e+03 | 1.77%| unknown
2346.34/2353.06 c 2353s| 31000 | 1951 | 12745k| 356.1 | 452M | 45 |1525 |4223 |3241 | 38k| 1 | 27k|8251 | 1.022926e+03 | 1.041000e+03 | 1.77%| unknown
2354.11/2360.86 c 2361s| 31100 | 1961 | 12788k| 356.3 | 452M | 45 |1525 |4260 |3242 | 38k| 1 | 27k|8270 | 1.022941e+03 | 1.041000e+03 | 1.77%| unknown
2359.89/2366.63 c 2367s| 31200 | 1969 | 12828k| 356.5 | 452M | 45 |1525 |4275 |3253 | 38k| 1 | 27k|8272 | 1.022944e+03 | 1.041000e+03 | 1.77%| unknown
2366.77/2373.53 c 2374s| 31300 | 1979 | 12871k| 356.7 | 452M | 45 |1525 |4316 |3255 | 38k| 1 | 27k|8280 | 1.022946e+03 | 1.041000e+03 | 1.76%| unknown
2373.76/2380.51 c 2381s| 31400 | 1995 | 12917k| 356.9 | 452M | 45 |1525 |4327 |3243 | 39k| 1 | 27k|8294 | 1.022989e+03 | 1.041000e+03 | 1.76%| unknown
2384.72/2391.54 c 2392s| 31500 | 2011 | 12991k| 358.0 | 452M | 45 |1525 |4224 |3241 | 39k| 0 | 27k|8312 | 1.022993e+03 | 1.041000e+03 | 1.76%| unknown
2388.81/2395.65 c 2396s| 31600 | 2023 | 13029k| 358.1 | 452M | 45 |1525 |4227 |3241 | 39k| 0 | 27k|8323 | 1.023001e+03 | 1.041000e+03 | 1.76%| unknown
2398.49/2405.30 c 2405s| 31700 | 2031 | 13071k| 358.3 | 452M | 45 |1525 |4305 |3251 | 39k| 1 | 28k|8350 | 1.023022e+03 | 1.041000e+03 | 1.76%| unknown
2404.07/2410.99 c 2411s| 31800 | 2033 | 13105k| 358.2 | 452M | 45 |1525 |4341 |3248 | 39k| 1 | 28k|8363 | 1.023044e+03 | 1.041000e+03 | 1.76%| unknown
2410.05/2416.97 c 2417s| 31900 | 2039 | 13141k| 358.2 | 452M | 45 |1525 |4302 |3242 | 39k| 1 | 28k|8363 | 1.023045e+03 | 1.041000e+03 | 1.76%| unknown
2413.84/2420.75 c 2421s| 32000 | 2049 | 13178k| 358.2 | 452M | 45 |1525 |4280 |3243 | 39k| 0 | 28k|8364 | 1.023051e+03 | 1.041000e+03 | 1.75%| unknown
2424.31/2431.23 c 2431s| 32100 | 2065 | 13230k| 358.7 | 452M | 45 |1525 |4206 |3257 | 40k| 0 | 28k|8372 | 1.023060e+03 | 1.041000e+03 | 1.75%| unknown
2432.20/2439.18 c 2439s| 32200 | 2071 | 13276k| 358.9 | 452M | 45 |1525 |4273 |3246 | 40k| 1 | 28k|8407 | 1.023064e+03 | 1.041000e+03 | 1.75%| unknown
2434.68/2441.67 c 2442s| 32300 | 2075 | 13301k| 358.6 | 452M | 45 |1525 |4291 |3250 | 40k| 0 | 28k|8412 | 1.023064e+03 | 1.041000e+03 | 1.75%| unknown
2451.64/2458.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2451.64/2458.67 c 2459s| 32400 | 2091 | 13389k| 360.1 | 452M | 45 |1525 |4208 |3266 | 40k| 0 | 28k|8412 | 1.023102e+03 | 1.041000e+03 | 1.75%| unknown
2460.81/2467.84 c 2468s| 32500 | 2095 | 13428k| 360.1 | 452M | 45 |1525 |4390 |3261 | 41k| 1 | 28k|8484 | 1.023104e+03 | 1.041000e+03 | 1.75%| unknown
2471.09/2478.18 c 2478s| 32600 | 2111 | 13480k| 360.6 | 454M | 45 |1525 |4462 |3266 | 41k| 1 | 28k|8518 | 1.023130e+03 | 1.041000e+03 | 1.75%| unknown
2479.16/2486.24 c 2486s| 32700 | 2119 | 13519k| 360.6 | 454M | 45 |1525 |4482 |3266 | 41k| 0 | 29k|8549 | 1.023140e+03 | 1.041000e+03 | 1.75%| unknown
2486.74/2493.87 c 2494s| 32800 | 2125 | 13555k| 360.6 | 455M | 45 |1525 |4435 |3252 | 41k| 0 | 29k|8567 | 1.023162e+03 | 1.041000e+03 | 1.74%| unknown
2489.83/2496.90 c 2497s| 32900 | 2125 | 13585k| 360.5 | 455M | 45 |1525 |4429 |3237 | 41k| 1 | 29k|8572 | 1.023162e+03 | 1.041000e+03 | 1.74%| unknown
2494.22/2501.33 c 2501s| 33000 | 2135 | 13623k| 360.5 | 455M | 45 |1525 |4375 |3240 | 41k| 0 | 29k|8572 | 1.023166e+03 | 1.041000e+03 | 1.74%| unknown
2499.81/2506.96 c 2507s| 33100 | 2141 | 13658k| 360.5 | 455M | 45 |1525 |4331 |3243 | 42k| 1 | 29k|8572 | 1.023167e+03 | 1.041000e+03 | 1.74%| unknown
2513.68/2520.80 c 2521s| 33200 | 2159 | 13718k| 361.1 | 456M | 45 |1525 |4167 |3246 | 42k| 0 | 29k|8584 | 1.023196e+03 | 1.041000e+03 | 1.74%| unknown
2524.35/2531.58 c 2532s| 33300 | 2175 | 13788k| 362.0 | 457M | 45 |1525 |3980 |3246 | 42k| 0 | 29k|8584 | 1.023222e+03 | 1.041000e+03 | 1.74%| unknown
2527.44/2534.68 c 2535s| 33400 | 2179 | 13818k| 361.8 | 457M | 45 |1525 |3964 |3249 | 42k| 1 | 29k|8584 | 1.023222e+03 | 1.041000e+03 | 1.74%| unknown
2536.92/2544.10 c 2544s| 33500 | 2189 | 13865k| 362.1 | 457M | 45 |1525 |3882 |3248 | 43k| 1 | 29k|8584 | 1.023229e+03 | 1.041000e+03 | 1.74%| unknown
2540.00/2547.21 c 2547s| 33600 | 2191 | 13895k| 362.0 | 457M | 45 |1525 |3874 |3248 | 43k| 1 | 29k|8584 | 1.023229e+03 | 1.041000e+03 | 1.74%| unknown
2545.99/2553.26 c 2553s| 33700 | 2201 | 13932k| 362.0 | 457M | 45 |1525 |3809 |3253 | 43k| 0 | 29k|8585 | 1.023267e+03 | 1.041000e+03 | 1.73%| unknown
2551.17/2558.45 c 2558s| 33800 | 2209 | 13973k| 362.1 | 457M | 45 |1525 |3762 |3264 | 43k| 0 | 29k|8585 | 1.023275e+03 | 1.041000e+03 | 1.73%| unknown
2556.66/2563.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2556.66/2563.92 c 2564s| 33900 | 2215 | 14008k| 362.1 | 457M | 45 |1525 |3761 |3247 | 43k| 1 | 29k|8590 | 1.023281e+03 | 1.041000e+03 | 1.73%| unknown
2563.44/2570.72 c 2571s| 34000 | 2221 | 14045k| 362.1 | 457M | 45 |1525 |3826 |3256 | 43k| 0 | 29k|8617 | 1.023299e+03 | 1.041000e+03 | 1.73%| unknown
2566.43/2573.78 c 2574s| 34100 | 2221 | 14069k| 361.8 | 457M | 45 |1525 |3853 |3260 | 43k| 1 | 29k|8628 | 1.023299e+03 | 1.041000e+03 | 1.73%| unknown
2572.11/2579.48 c 2579s| 34200 | 2223 | 14108k| 361.9 | 457M | 45 |1525 |4040 |3247 | 43k| 1 | 29k|8672 | 1.023316e+03 | 1.041000e+03 | 1.73%| unknown
2576.10/2583.41 c 2583s| 34300 | 2221 | 14142k| 361.8 | 457M | 45 |1525 |4202 |3254 | 43k| 1 | 29k|8705 | 1.023316e+03 | 1.041000e+03 | 1.73%| unknown
2588.57/2595.97 c 2596s| 34400 | 2233 | 14197k| 362.3 | 457M | 45 |1525 |4464 |3269 | 44k| 1 | 30k|8785 | 1.023337e+03 | 1.041000e+03 | 1.73%| unknown
2595.15/2602.50 c 2602s| 34500 | 2237 | 14232k| 362.3 | 457M | 45 |1525 |4491 |3267 | 44k| 1 | 30k|8797 | 1.023345e+03 | 1.041000e+03 | 1.73%| unknown
2600.13/2607.52 c 2608s| 34600 | 2241 | 14264k| 362.1 | 457M | 45 |1525 |4512 |3267 | 44k| 0 | 30k|8820 | 1.023357e+03 | 1.041000e+03 | 1.72%| unknown
2602.83/2610.28 c 2610s| 34700 | 2241 | 14290k| 361.9 | 457M | 45 |1525 |4545 |3266 | 44k| 0 | 30k|8827 | 1.023357e+03 | 1.041000e+03 | 1.72%| unknown
2612.40/2619.83 c 2620s| 34800 | 2253 | 14330k| 362.0 | 457M | 45 |1525 |4561 |3265 | 44k| 0 | 30k|8849 | 1.023375e+03 | 1.041000e+03 | 1.72%| unknown
2615.60/2623.02 c 2623s| 34900 | 2253 | 14357k| 361.8 | 457M | 45 |1525 |4598 |3269 | 44k| 1 | 30k|8860 | 1.023375e+03 | 1.041000e+03 | 1.72%| unknown
2618.69/2626.15 c 2626s| 35000 | 2253 | 14387k| 361.6 | 457M | 45 |1525 |4608 |3266 | 44k| 1 | 30k|8863 | 1.023375e+03 | 1.041000e+03 | 1.72%| unknown
2627.16/2634.65 c 2635s| 35100 | 2257 | 14429k| 361.8 | 458M | 45 |1525 |4723 |3268 | 45k| 0 | 30k|8902 | 1.023376e+03 | 1.041000e+03 | 1.72%| unknown
2637.33/2644.82 c 2645s| 35200 | 2267 | 14491k| 362.4 | 459M | 45 |1525 |4715 |3277 | 45k| 0 | 30k|8922 | 1.023381e+03 | 1.041000e+03 | 1.72%| unknown
2643.11/2650.68 c 2651s| 35300 | 2269 | 14527k| 362.4 | 459M | 45 |1525 |4695 |3247 | 45k| 0 | 30k|8922 | 1.023395e+03 | 1.041000e+03 | 1.72%| unknown
2646.61/2654.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2646.61/2654.19 c 2654s| 35400 | 2267 | 14558k| 362.3 | 459M | 45 |1525 |4728 |3238 | 45k| 0 | 30k|8931 | 1.023395e+03 | 1.041000e+03 | 1.72%| unknown
2652.79/2660.35 c 2660s| 35500 | 2269 | 14596k| 362.3 | 459M | 45 |1525 |4694 |3238 | 45k| 0 | 30k|8934 | 1.023401e+03 | 1.041000e+03 | 1.72%| unknown
2656.08/2663.69 c 2664s| 35600 | 2267 | 14626k| 362.2 | 459M | 45 |1525 |4698 |3223 | 45k| 1 | 30k|8939 | 1.023401e+03 | 1.041000e+03 | 1.72%| unknown
2664.85/2672.40 c 2672s| 35700 | 2275 | 14677k| 362.5 | 459M | 45 |1525 |4615 |3256 | 45k| 0 | 30k|8941 | 1.023425e+03 | 1.041000e+03 | 1.72%| unknown
2675.82/2683.40 c 2683s| 35800 | 2291 | 14731k| 363.0 | 462M | 45 |1525 |4407 |3255 | 46k| 0 | 30k|8943 | 1.023434e+03 | 1.041000e+03 | 1.72%| unknown
2681.51/2689.13 c 2689s| 35900 | 2297 | 14774k| 363.1 | 462M | 45 |1525 |4240 |3214 | 46k| 1 | 30k|8944 | 1.023435e+03 | 1.041000e+03 | 1.72%| unknown
2687.49/2695.15 c 2695s| 36000 | 2303 | 14815k| 363.2 | 462M | 45 |1525 |4244 |3242 | 46k| 0 | 30k|8950 | 1.023436e+03 | 1.041000e+03 | 1.72%| unknown
2692.87/2700.57 c 2701s| 36100 | 2319 | 14862k| 363.5 | 462M | 45 |1525 |4277 |3244 | 46k| 1 | 30k|8971 | 1.023440e+03 | 1.041000e+03 | 1.72%| unknown
2695.76/2703.48 c 2703s| 36200 | 2319 | 14886k| 363.2 | 462M | 45 |1525 |4339 |3247 | 46k| 0 | 30k|8990 | 1.023440e+03 | 1.041000e+03 | 1.72%| unknown
2701.05/2708.75 c 2709s| 36300 | 2323 | 14917k| 363.1 | 462M | 45 |1525 |4398 |3249 | 46k| 0 | 31k|9009 | 1.023448e+03 | 1.041000e+03 | 1.71%| unknown
2712.72/2720.49 c 2720s| 36400 | 2345 | 14975k| 363.6 | 463M | 45 |1525 |4530 |3249 | 47k| 1 | 31k|9057 | 1.023473e+03 | 1.041000e+03 | 1.71%| unknown
2717.80/2725.56 c 2726s| 36500 | 2349 | 15013k| 363.6 | 463M | 45 |1525 |4642 |3270 | 47k| 2 | 31k|9091 | 1.023474e+03 | 1.041000e+03 | 1.71%| unknown
2721.99/2729.79 c 2730s| 36600 | 2353 | 15041k| 363.4 | 463M | 45 |1525 |4734 |3248 | 47k| 1 | 31k|9132 | 1.023474e+03 | 1.041000e+03 | 1.71%| unknown
2727.57/2735.34 c 2735s| 36700 | 2353 | 15070k| 363.3 | 463M | 45 |1525 |4959 |3265 | 47k| 1 | 31k|9205 | 1.023474e+03 | 1.041000e+03 | 1.71%| unknown
2740.94/2748.76 c 2749s| 36800 | 2357 | 15131k| 363.9 | 464M | 45 |1525 |5226 |3265 | 47k| 1 | 32k|9293 | 1.023479e+03 | 1.041000e+03 | 1.71%| unknown
2749.32/2757.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2749.32/2757.12 c 2757s| 36900 | 2361 | 15169k| 363.9 | 464M | 45 |1525 |5366 |3254 | 47k| 0 | 32k|9355 | 1.023482e+03 | 1.041000e+03 | 1.71%| unknown
2753.10/2760.91 c 2761s| 37000 | 2363 | 15202k| 363.8 | 464M | 45 |1525 |5428 |3249 | 47k| 0 | 32k|9376 | 1.023491e+03 | 1.041000e+03 | 1.71%| unknown
2755.89/2763.75 c 2764s| 37100 | 2363 | 15227k| 363.5 | 464M | 45 |1525 |5450 |3252 | 47k| 0 | 32k|9385 | 1.023491e+03 | 1.041000e+03 | 1.71%| unknown
2763.47/2771.34 c 2771s| 37200 | 2371 | 15270k| 363.7 | 464M | 45 |1525 |5583 |3248 | 48k| 0 | 32k|9423 | 1.023496e+03 | 1.041000e+03 | 1.71%| unknown
2769.46/2777.39 c 2777s| 37300 | 2375 | 15306k| 363.7 | 464M | 45 |1525 |5596 |3243 | 48k| 1 | 32k|9428 | 1.023500e+03 | 1.041000e+03 | 1.71%| unknown
2773.15/2781.08 c 2781s| 37400 | 2375 | 15338k| 363.6 | 464M | 45 |1525 |5617 |3246 | 48k| 0 | 32k|9441 | 1.023500e+03 | 1.041000e+03 | 1.71%| unknown
2775.64/2783.51 c 2784s| 37500 | 2377 | 15361k| 363.3 | 464M | 45 |1525 |5616 |3255 | 48k| 1 | 32k|9441 | 1.023500e+03 | 1.041000e+03 | 1.71%| unknown
2779.03/2787.00 c 2787s| 37600 | 2381 | 15389k| 363.1 | 464M | 45 |1525 |5600 |3258 | 48k| 0 | 32k|9447 | 1.023500e+03 | 1.041000e+03 | 1.71%| unknown
2781.72/2789.64 c 2790s| 37700 | 2379 | 15413k| 362.8 | 464M | 45 |1525 |5607 |3249 | 48k| 0 | 32k|9451 | 1.023500e+03 | 1.041000e+03 | 1.71%| unknown
2786.01/2793.96 c 2794s| 37800 | 2393 | 15452k| 362.9 | 464M | 45 |1525 |5552 |3256 | 48k| 1 | 32k|9453 | 1.023509e+03 | 1.041000e+03 | 1.71%| unknown
2795.28/2803.24 c 2803s| 37900 | 2411 | 15500k| 363.1 | 464M | 45 |1525 |5350 |3261 | 48k| 0 | 32k|9468 | 1.023559e+03 | 1.041000e+03 | 1.70%| unknown
2803.26/2811.23 c 2811s| 38000 | 2421 | 15552k| 363.5 | 464M | 45 |1525 |5028 |3244 | 48k| 1 | 32k|9473 | 1.023565e+03 | 1.041000e+03 | 1.70%| unknown
2805.85/2813.82 c 2814s| 38100 | 2423 | 15578k| 363.2 | 464M | 45 |1525 |5034 |3244 | 49k| 0 | 32k|9478 | 1.023565e+03 | 1.041000e+03 | 1.70%| unknown
2814.04/2822.08 c 2822s| 38200 | 2435 | 15621k| 363.4 | 464M | 45 |1525 |4853 |3251 | 49k| 0 | 33k|9478 | 1.023581e+03 | 1.041000e+03 | 1.70%| unknown
2816.82/2824.88 c 2825s| 38300 | 2435 | 15645k| 363.1 | 464M | 45 |1525 |4925 |3256 | 49k| 1 | 33k|9494 | 1.023581e+03 | 1.041000e+03 | 1.70%| unknown
2827.49/2835.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2827.49/2835.58 c 2836s| 38400 | 2447 | 15712k| 363.8 | 464M | 45 |1525 |4791 |3265 | 49k| 0 | 33k|9515 | 1.023591e+03 | 1.041000e+03 | 1.70%| unknown
2832.98/2841.05 c 2841s| 38500 | 2449 | 15746k| 363.8 | 464M | 45 |1525 |4737 |3261 | 49k| 2 | 33k|9524 | 1.023594e+03 | 1.041000e+03 | 1.70%| unknown
2836.37/2844.40 c 2844s| 38600 | 2457 | 15779k| 363.7 | 464M | 45 |1525 |4631 |3251 | 49k| 1 | 33k|9524 | 1.023600e+03 | 1.041000e+03 | 1.70%| unknown
2839.46/2847.50 c 2847s| 38700 | 2453 | 15806k| 363.5 | 464M | 45 |1525 |4690 |3265 | 49k| 0 | 33k|9539 | 1.023600e+03 | 1.041000e+03 | 1.70%| unknown
2848.83/2856.90 c 2857s| 38800 | 2469 | 15854k| 363.7 | 465M | 45 |1525 |4574 |3260 | 50k| 1 | 33k|9545 | 1.023602e+03 | 1.041000e+03 | 1.70%| unknown
2851.73/2859.80 c 2860s| 38900 | 2467 | 15882k| 363.6 | 465M | 45 |1525 |4569 |3256 | 50k| 1 | 33k|9545 | 1.023602e+03 | 1.041000e+03 | 1.70%| unknown
2860.10/2868.21 c 2868s| 39000 | 2479 | 15929k| 363.8 | 465M | 45 |1525 |4546 |3266 | 50k| 1 | 33k|9561 | 1.023635e+03 | 1.041000e+03 | 1.70%| unknown
2863.09/2871.23 c 2871s| 39100 | 2481 | 15956k| 363.6 | 465M | 45 |1525 |4597 |3263 | 50k| 1 | 33k|9571 | 1.023635e+03 | 1.041000e+03 | 1.70%| unknown
2871.27/2879.41 c 2879s| 39200 | 2497 | 16005k| 363.9 | 465M | 45 |1525 |4634 |3272 | 50k| 1 | 33k|9610 | 1.023648e+03 | 1.041000e+03 | 1.70%| unknown
2875.06/2883.25 c 2883s| 39300 | 2503 | 16036k| 363.8 | 465M | 45 |1525 |4660 |3265 | 50k| 0 | 33k|9631 | 1.023656e+03 | 1.041000e+03 | 1.69%| unknown
2881.14/2889.35 c 2889s| 39400 | 2507 | 16068k| 363.7 | 465M | 45 |1525 |4662 |3265 | 50k| 1 | 33k|9650 | 1.023657e+03 | 1.041000e+03 | 1.69%| unknown
2888.22/2896.49 c 2896s| 39500 | 2513 | 16109k| 363.8 | 466M | 45 |1525 |4655 |3265 | 51k| 0 | 33k|9675 | 1.023659e+03 | 1.041000e+03 | 1.69%| unknown
2894.51/2902.79 c 2903s| 39600 | 2517 | 16144k| 363.7 | 466M | 45 |1525 |4645 |3267 | 51k| 1 | 33k|9686 | 1.023667e+03 | 1.041000e+03 | 1.69%| unknown
2900.09/2908.37 c 2908s| 39700 | 2529 | 16189k| 363.9 | 466M | 45 |1525 |4554 |3249 | 51k| 0 | 33k|9690 | 1.023676e+03 | 1.041000e+03 | 1.69%| unknown
2902.58/2910.86 c 2911s| 39800 | 2529 | 16213k| 363.6 | 466M | 45 |1525 |4549 |3265 | 51k| 0 | 33k|9691 | 1.023676e+03 | 1.041000e+03 | 1.69%| unknown
2906.07/2914.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2906.07/2914.34 c 2914s| 39900 | 2533 | 16245k| 363.5 | 466M | 45 |1525 |4515 |3267 | 51k| 1 | 33k|9697 | 1.023686e+03 | 1.041000e+03 | 1.69%| unknown
2917.94/2926.26 c 2926s| 40000 | 2541 | 16318k| 364.4 | 466M | 45 |1525 |4443 |3255 | 51k| 1 | 33k|9697 | 1.023704e+03 | 1.041000e+03 | 1.69%| unknown
2920.84/2929.16 c 2929s| 40100 | 2539 | 16346k| 364.2 | 466M | 45 |1525 |4404 |3246 | 51k| 1 | 33k|9697 | 1.023704e+03 | 1.041000e+03 | 1.69%| unknown
2926.52/2934.88 c 2935s| 40200 | 2543 | 16381k| 364.1 | 466M | 45 |1525 |4317 |3221 | 51k| 0 | 33k|9702 | 1.023717e+03 | 1.041000e+03 | 1.69%| unknown
2932.40/2940.74 c 2941s| 40300 | 2551 | 16425k| 364.3 | 466M | 45 |1525 |4219 |3254 | 52k| 1 | 33k|9702 | 1.023720e+03 | 1.041000e+03 | 1.69%| unknown
2937.59/2945.93 c 2946s| 40400 | 2559 | 16462k| 364.3 | 466M | 45 |1525 |4139 |3253 | 52k| 0 | 33k|9707 | 1.023746e+03 | 1.041000e+03 | 1.69%| unknown
2944.07/2952.44 c 2952s| 40500 | 2569 | 16509k| 364.5 | 467M | 45 |1525 |4114 |3256 | 52k| 0 | 33k|9707 | 1.023759e+03 | 1.041000e+03 | 1.68%| unknown
2947.06/2955.41 c 2955s| 40600 | 2569 | 16538k| 364.4 | 467M | 45 |1525 |4113 |3257 | 52k| 1 | 33k|9708 | 1.023759e+03 | 1.041000e+03 | 1.68%| unknown
2952.75/2961.10 c 2961s| 40700 | 2571 | 16578k| 364.5 | 467M | 45 |1525 |4085 |3254 | 52k| 0 | 33k|9708 | 1.023765e+03 | 1.041000e+03 | 1.68%| unknown
2956.43/2964.88 c 2965s| 40800 | 2575 | 16612k| 364.4 | 467M | 45 |1525 |4055 |3254 | 52k| 0 | 33k|9708 | 1.023765e+03 | 1.041000e+03 | 1.68%| unknown
2962.62/2971.03 c 2971s| 40900 | 2587 | 16656k| 364.6 | 467M | 45 |1525 |4051 |3253 | 52k| 1 | 33k|9708 | 1.023792e+03 | 1.041000e+03 | 1.68%| unknown
2965.71/2974.12 c 2974s| 41000 | 2589 | 16685k| 364.4 | 467M | 45 |1525 |4051 |3259 | 53k| 1 | 33k|9708 | 1.023792e+03 | 1.041000e+03 | 1.68%| unknown
2971.70/2980.12 c 2980s| 41100 | 2595 | 16722k| 364.4 | 467M | 45 |1525 |4070 |3265 | 53k| 0 | 34k|9713 | 1.023794e+03 | 1.041000e+03 | 1.68%| unknown
2983.66/2992.11 c 2992s| 41200 | 2613 | 16780k| 364.9 | 467M | 45 |1525 |4062 |3259 | 53k| 0 | 34k|9718 | 1.023816e+03 | 1.041000e+03 | 1.68%| unknown
2986.85/2995.35 c 2995s| 41300 | 2619 | 16811k| 364.8 | 467M | 45 |1525 |4059 |3264 | 53k| 0 | 34k|9718 | 1.023824e+03 | 1.041000e+03 | 1.68%| unknown
2996.52/3005.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2996.52/3005.05 c 3005s| 41400 | 2627 | 16876k| 365.4 | 467M | 45 |1525 |4051 |3269 | 53k| 2 | 34k|9723 | 1.023825e+03 | 1.041000e+03 | 1.68%| unknown
3001.40/3010.00 c 3010s| 41500 | 2631 | 16913k| 365.4 | 467M | 45 |1525 |4040 |3268 | 53k| 0 | 34k|9723 | 1.023837e+03 | 1.041000e+03 | 1.68%| unknown
3004.89/3013.45 c 3013s| 41600 | 2633 | 16944k| 365.3 | 467M | 45 |1525 |4062 |3265 | 53k| 1 | 34k|9734 | 1.023842e+03 | 1.041000e+03 | 1.68%| unknown
3007.98/3016.58 c 3017s| 41700 | 2631 | 16974k| 365.2 | 467M | 45 |1525 |4062 |3259 | 53k| 0 | 34k|9734 | 1.023842e+03 | 1.041000e+03 | 1.68%| unknown
3018.74/3027.33 c 3027s| 41800 | 2647 | 17026k| 365.5 | 467M | 45 |1525 |4088 |3264 | 54k| 2 | 34k|9742 | 1.023853e+03 | 1.041000e+03 | 1.67%| unknown
3022.23/3030.81 c 3031s| 41900 | 2655 | 17058k| 365.4 | 467M | 45 |1525 |4094 |3260 | 54k| 1 | 34k|9743 | 1.023855e+03 | 1.041000e+03 | 1.67%| unknown
3026.61/3035.23 c 3035s| 42000 | 2663 | 17092k| 365.3 | 467M | 45 |1525 |4125 |3268 | 54k| 1 | 34k|9763 | 1.023857e+03 | 1.041000e+03 | 1.67%| unknown
3029.30/3038.00 c 3038s| 42100 | 2663 | 17115k| 365.0 | 467M | 45 |1525 |4189 |3264 | 54k| 1 | 34k|9777 | 1.023857e+03 | 1.041000e+03 | 1.67%| unknown
3035.49/3044.15 c 3044s| 42200 | 2665 | 17151k| 365.0 | 467M | 45 |1525 |4308 |3263 | 54k| 0 | 34k|9797 | 1.023859e+03 | 1.041000e+03 | 1.67%| unknown
3038.97/3047.61 c 3048s| 42300 | 2669 | 17184k| 364.9 | 467M | 45 |1525 |4326 |3259 | 54k| 1 | 34k|9801 | 1.023868e+03 | 1.041000e+03 | 1.67%| unknown
3042.16/3050.81 c 3051s| 42400 | 2673 | 17215k| 364.8 | 467M | 45 |1525 |4335 |3261 | 54k| 0 | 34k|9801 | 1.023873e+03 | 1.041000e+03 | 1.67%| unknown
3048.24/3056.99 c 3057s| 42500 | 2685 | 17252k| 364.8 | 467M | 45 |1525 |4315 |3268 | 54k| 0 | 34k|9802 | 1.023889e+03 | 1.041000e+03 | 1.67%| unknown
3050.73/3059.50 c 3059s| 42600 | 2685 | 17277k| 364.6 | 467M | 45 |1525 |4337 |3265 | 54k| 0 | 34k|9805 | 1.023889e+03 | 1.041000e+03 | 1.67%| unknown
3058.90/3067.67 c 3068s| 42700 | 2697 | 17322k| 364.8 | 467M | 45 |1525 |4274 |3268 | 54k| 1 | 34k|9805 | 1.023896e+03 | 1.041000e+03 | 1.67%| unknown
3064.68/3073.48 c 3073s| 42800 | 2699 | 17356k| 364.7 | 467M | 45 |1525 |4256 |3267 | 54k| 1 | 34k|9815 | 1.023901e+03 | 1.041000e+03 | 1.67%| unknown
3071.86/3080.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3071.86/3080.65 c 3081s| 42900 | 2709 | 17418k| 365.3 | 467M | 45 |1525 |4240 |3267 | 54k| 0 | 34k|9815 | 1.023909e+03 | 1.041000e+03 | 1.67%| unknown
3080.53/3089.34 c 3089s| 43000 | 2721 | 17461k| 365.4 | 467M | 45 |1525 |4260 |3271 | 55k| 0 | 34k|9836 | 1.023921e+03 | 1.041000e+03 | 1.67%| unknown
3085.71/3094.51 c 3095s| 43100 | 2739 | 17503k| 365.5 | 467M | 45 |1525 |4249 |3270 | 55k| 1 | 34k|9851 | 1.023933e+03 | 1.041000e+03 | 1.67%| unknown
3091.49/3100.32 c 3100s| 43200 | 2751 | 17539k| 365.5 | 467M | 45 |1525 |4244 |3275 | 55k| 0 | 34k|9882 | 1.023950e+03 | 1.041000e+03 | 1.67%| unknown
3098.07/3106.92 c 3107s| 43300 | 2755 | 17572k| 365.4 | 467M | 45 |1525 |4220 |3267 | 55k| 1 | 34k|9891 | 1.023952e+03 | 1.041000e+03 | 1.66%| unknown
3101.26/3110.14 c 3110s| 43400 | 2755 | 17603k| 365.3 | 467M | 45 |1525 |4209 |3278 | 55k| 0 | 34k|9892 | 1.023955e+03 | 1.041000e+03 | 1.66%| unknown
3108.83/3117.79 c 3118s| 43500 | 2775 | 17653k| 365.6 | 467M | 45 |1525 |4102 |3259 | 55k| 1 | 34k|9899 | 1.023976e+03 | 1.041000e+03 | 1.66%| unknown
3114.51/3123.46 c 3123s| 43600 | 2779 | 17687k| 365.5 | 467M | 45 |1525 |4142 |3257 | 55k| 1 | 34k|9914 | 1.023977e+03 | 1.041000e+03 | 1.66%| unknown
3123.38/3132.36 c 3132s| 43700 | 2785 | 17734k| 365.8 | 467M | 45 |1525 |4208 |3261 | 55k| 1 | 35k|9960 | 1.023988e+03 | 1.041000e+03 | 1.66%| unknown
3129.56/3138.50 c 3138s| 43800 | 2793 | 17775k| 365.8 | 467M | 45 |1525 |4168 |3258 | 55k| 1 | 35k|9960 | 1.023989e+03 | 1.041000e+03 | 1.66%| unknown
3133.05/3142.05 c 3142s| 43900 | 2797 | 17805k| 365.7 | 467M | 45 |1525 |4204 |3263 | 56k| 0 | 35k|9971 | 1.023998e+03 | 1.041000e+03 | 1.66%| unknown
3141.92/3150.90 c 3151s| 44000 | 2805 | 17861k| 366.1 | 467M | 45 |1525 |4270 |3262 | 56k| 0 | 35k|9988 | 1.024000e+03 | 1.041000e+03 | 1.66%| unknown
3146.80/3155.84 c 3156s| 44100 | 2809 | 17896k| 366.1 | 467M | 45 |1525 |4506 |3264 | 56k| 2 | 35k| 10k| 1.024000e+03 | 1.041000e+03 | 1.66%| unknown
3156.37/3165.41 c 3165s| 44200 | 2817 | 17943k| 366.3 | 467M | 45 |1525 |4606 |3266 | 56k| 1 | 35k| 10k| 1.024003e+03 | 1.041000e+03 | 1.66%| unknown
3161.75/3170.86 c 3171s| 44300 | 2817 | 17979k| 366.3 | 467M | 45 |1525 |4567 |3258 | 56k| 0 | 35k| 10k| 1.024004e+03 | 1.041000e+03 | 1.66%| unknown
3166.33/3175.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3166.33/3175.41 c 3175s| 44400 | 2821 | 18012k| 366.2 | 467M | 45 |1525 |4578 |3260 | 56k| 0 | 35k| 10k| 1.024009e+03 | 1.041000e+03 | 1.66%| unknown
3171.51/3180.66 c 3181s| 44500 | 2827 | 18050k| 366.2 | 467M | 45 |1525 |4622 |3274 | 56k| 1 | 35k| 10k| 1.024009e+03 | 1.041000e+03 | 1.66%| unknown
3174.20/3183.38 c 3183s| 44600 | 2829 | 18075k| 366.0 | 467M | 45 |1525 |4610 |3263 | 56k| 1 | 35k| 10k| 1.024009e+03 | 1.041000e+03 | 1.66%| unknown
3180.68/3189.84 c 3190s| 44700 | 2839 | 18119k| 366.1 | 467M | 45 |1525 |4559 |3264 | 56k| 0 | 36k| 10k| 1.024032e+03 | 1.041000e+03 | 1.66%| unknown
3185.56/3194.76 c 3195s| 44800 | 2843 | 18150k| 366.0 | 467M | 45 |1525 |4589 |3271 | 56k| 0 | 36k| 10k| 1.024040e+03 | 1.041000e+03 | 1.66%| unknown
3188.96/3198.10 c 3198s| 44900 | 2843 | 18180k| 365.9 | 467M | 45 |1525 |4658 |3265 | 56k| 2 | 36k| 10k| 1.024040e+03 | 1.041000e+03 | 1.66%| unknown
3192.14/3201.30 c 3201s| 45000 | 2843 | 18213k| 365.8 | 467M | 45 |1525 |4670 |3266 | 56k| 1 | 36k| 10k| 1.024040e+03 | 1.041000e+03 | 1.66%| unknown
3195.33/3204.51 c 3205s| 45100 | 2847 | 18243k| 365.7 | 467M | 45 |1525 |4676 |3259 | 56k| 1 | 36k| 10k| 1.024040e+03 | 1.041000e+03 | 1.66%| unknown
3198.32/3207.59 c 3208s| 45200 | 2851 | 18272k| 365.5 | 467M | 45 |1525 |4701 |3269 | 56k| 2 | 36k| 10k| 1.024040e+03 | 1.041000e+03 | 1.66%| unknown
3202.20/3211.42 c 3211s| 45300 | 2847 | 18299k| 365.4 | 467M | 45 |1525 |4678 |3261 | 56k| 0 | 36k| 10k| 1.024040e+03 | 1.041000e+03 | 1.66%| unknown
3214.56/3223.86 c 3224s| 45400 | 2867 | 18356k| 365.8 | 467M | 45 |1525 |4580 |3261 | 57k| 1 | 36k| 10k| 1.024048e+03 | 1.041000e+03 | 1.66%| unknown
3222.24/3231.55 c 3232s| 45500 | 2881 | 18402k| 365.9 | 467M | 45 |1525 |4499 |3271 | 57k| 2 | 36k| 10k| 1.024058e+03 | 1.041000e+03 | 1.65%| unknown
3228.61/3237.98 c 3238s| 45600 | 2883 | 18439k| 366.0 | 467M | 45 |1525 |4575 |3261 | 57k| 1 | 36k| 10k| 1.024058e+03 | 1.041000e+03 | 1.65%| unknown
3241.27/3250.63 c 3251s| 45700 | 2895 | 18504k| 366.5 | 467M | 45 |1525 |4469 |3268 | 57k| 0 | 36k| 10k| 1.024061e+03 | 1.041000e+03 | 1.65%| unknown
3248.65/3258.02 c 3258s| 45800 | 2905 | 18556k| 366.8 | 467M | 45 |1525 |4375 |3275 | 57k| 0 | 36k| 10k| 1.024068e+03 | 1.041000e+03 | 1.65%| unknown
3255.73/3265.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3255.73/3265.14 c 3265s| 45900 | 2913 | 18594k| 366.9 | 467M | 45 |1525 |4439 |3271 | 58k| 1 | 36k| 10k| 1.024072e+03 | 1.041000e+03 | 1.65%| unknown
3261.90/3271.32 c 3271s| 46000 | 2919 | 18632k| 366.9 | 467M | 45 |1525 |4490 |3271 | 58k| 1 | 36k| 10k| 1.024074e+03 | 1.041000e+03 | 1.65%| unknown
3275.16/3284.69 c 3285s| 46100 | 2931 | 18684k| 367.2 | 468M | 45 |1525 |4592 |3277 | 58k| 0 | 37k| 10k| 1.024088e+03 | 1.041000e+03 | 1.65%| unknown
3293.60/3303.13 c 3303s| 46200 | 2947 | 18752k| 367.8 | 469M | 45 |1525 |4537 |3279 | 58k| 1 | 37k| 10k| 1.024103e+03 | 1.041000e+03 | 1.65%| unknown
3299.58/3309.14 c 3309s| 46300 | 2953 | 18791k| 367.8 | 469M | 45 |1525 |4494 |3269 | 59k| 1 | 37k| 10k| 1.024127e+03 | 1.041000e+03 | 1.65%| unknown
3306.35/3315.99 c 3316s| 46400 | 2965 | 18838k| 368.0 | 469M | 45 |1525 |4312 |3282 | 59k| 0 | 37k| 10k| 1.024144e+03 | 1.041000e+03 | 1.65%| unknown
3318.11/3327.77 c 3328s| 46500 | 2985 | 18920k| 368.9 | 469M | 45 |1525 |4351 |3287 | 59k| 0 | 37k| 10k| 1.024160e+03 | 1.041000e+03 | 1.64%| unknown
3324.59/3334.24 c 3334s| 46600 | 2997 | 18958k| 368.9 | 469M | 45 |1525 |4418 |3287 | 59k| 1 | 37k| 10k| 1.024174e+03 | 1.041000e+03 | 1.64%| unknown
3329.97/3339.65 c 3340s| 46700 | 3001 | 18992k| 368.9 | 469M | 45 |1525 |4423 |3274 | 59k| 1 | 37k| 10k| 1.024182e+03 | 1.041000e+03 | 1.64%| unknown
3336.05/3345.77 c 3346s| 46800 | 3007 | 19030k| 368.9 | 469M | 45 |1525 |4424 |3288 | 59k| 0 | 37k| 10k| 1.024184e+03 | 1.041000e+03 | 1.64%| unknown
3340.73/3350.46 c 3350s| 46900 | 3019 | 19070k| 369.0 | 469M | 45 |1525 |4514 |3283 | 59k| 1 | 38k| 10k| 1.024191e+03 | 1.041000e+03 | 1.64%| unknown
3348.80/3358.56 c 3359s| 47000 | 3033 | 19117k| 369.2 | 470M | 45 |1525 |4534 |3284 | 59k| 1 | 38k| 10k| 1.024226e+03 | 1.041000e+03 | 1.64%| unknown
3358.57/3368.34 c 3368s| 47100 | 3049 | 19168k| 369.4 | 471M | 45 |1525 |4573 |3289 | 59k| 0 | 38k| 10k| 1.024237e+03 | 1.041000e+03 | 1.64%| unknown
3364.65/3374.43 c 3374s| 47200 | 3049 | 19198k| 369.3 | 474M | 45 |1525 |4693 |3291 | 59k| 1 | 38k| 10k| 1.024237e+03 | 1.041000e+03 | 1.64%| unknown
3377.41/3387.23 c 3387s| 47300 | 3067 | 19257k| 369.7 | 477M | 45 |1525 |4667 |3292 | 60k| 0 | 38k| 10k| 1.024252e+03 | 1.041000e+03 | 1.64%| unknown
3381.79/3391.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3381.79/3391.64 c 3392s| 47400 | 3071 | 19300k| 369.8 | 477M | 45 |1525 |4624 |3291 | 60k| 0 | 38k| 10k| 1.024256e+03 | 1.041000e+03 | 1.63%| unknown
3385.58/3395.43 c 3395s| 47500 | 3079 | 19336k| 369.8 | 477M | 45 |1525 |4596 |3294 | 60k| 0 | 38k| 10k| 1.024258e+03 | 1.041000e+03 | 1.63%| unknown
3390.17/3400.02 c 3400s| 47600 | 3077 | 19370k| 369.8 | 479M | 45 |1525 |4631 |3278 | 60k| 1 | 38k| 10k| 1.024258e+03 | 1.041000e+03 | 1.63%| unknown
3393.85/3403.78 c 3404s| 47700 | 3079 | 19405k| 369.7 | 479M | 45 |1525 |4526 |3246 | 60k| 0 | 38k| 10k| 1.024266e+03 | 1.041000e+03 | 1.63%| unknown
3408.70/3418.64 c 3419s| 47800 | 3095 | 19484k| 370.5 | 479M | 45 |1525 |4379 |3252 | 60k| 1 | 38k| 10k| 1.024268e+03 | 1.041000e+03 | 1.63%| unknown
3413.88/3423.83 c 3424s| 47900 | 3097 | 19518k| 370.5 | 479M | 45 |1525 |4307 |3264 | 61k| 0 | 38k| 10k| 1.024268e+03 | 1.041000e+03 | 1.63%| unknown
3418.86/3428.81 c 3429s| 48000 | 3103 | 19550k| 370.4 | 479M | 45 |1525 |4266 |3263 | 61k| 0 | 38k| 10k| 1.024272e+03 | 1.041000e+03 | 1.63%| unknown
3423.55/3433.56 c 3434s| 48100 | 3099 | 19582k| 370.3 | 477M | 45 |1525 |4188 |3297 | 61k| 0 | 38k| 10k| 1.024272e+03 | 1.041000e+03 | 1.63%| unknown
3428.33/3438.31 c 3438s| 48200 | 3103 | 19618k| 370.3 | 477M | 45 |1525 |4089 |3280 | 61k| 1 | 38k| 10k| 1.024274e+03 | 1.041000e+03 | 1.63%| unknown
3433.41/3443.48 c 3443s| 48300 | 3121 | 19667k| 370.5 | 477M | 45 |1525 |3988 |3296 | 61k| 0 | 38k| 10k| 1.024289e+03 | 1.041000e+03 | 1.63%| unknown
3438.00/3448.03 c 3448s| 48400 | 3127 | 19708k| 370.6 | 477M | 45 |1525 |3970 |3258 | 61k| 1 | 38k| 10k| 1.024290e+03 | 1.041000e+03 | 1.63%| unknown
3440.99/3451.03 c 3451s| 48500 | 3123 | 19737k| 370.4 | 477M | 45 |1525 |3970 |3275 | 61k| 0 | 38k| 10k| 1.024290e+03 | 1.041000e+03 | 1.63%| unknown
3445.47/3455.53 c 3456s| 48600 | 3127 | 19779k| 370.5 | 477M | 45 |1525 |3915 |3252 | 61k| 1 | 38k| 10k| 1.024306e+03 | 1.041000e+03 | 1.63%| unknown
3449.45/3459.54 c 3460s| 48700 | 3135 | 19817k| 370.5 | 478M | 45 |1525 |3905 |3245 | 62k| 0 | 38k| 10k| 1.024312e+03 | 1.041000e+03 | 1.63%| unknown
3452.84/3462.90 c 3463s| 48800 | 3135 | 19849k| 370.4 | 478M | 45 |1525 |3905 |3254 | 62k| 1 | 38k| 10k| 1.024312e+03 | 1.041000e+03 | 1.63%| unknown
3462.91/3473.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3462.91/3473.00 c 3473s| 48900 | 3143 | 19897k| 370.6 | 478M | 45 |1525 |3862 |3280 | 62k| 0 | 38k| 10k| 1.024331e+03 | 1.041000e+03 | 1.63%| unknown
3467.09/3477.29 c 3477s| 49000 | 3151 | 19936k| 370.7 | 478M | 45 |1525 |3840 |3291 | 62k| 0 | 38k| 10k| 1.024331e+03 | 1.041000e+03 | 1.63%| unknown
3471.47/3481.61 c 3482s| 49100 | 3161 | 19975k| 370.7 | 478M | 45 |1525 |3900 |3293 | 62k| 0 | 39k| 10k| 1.024336e+03 | 1.041000e+03 | 1.63%| unknown
3477.45/3487.63 c 3488s| 49200 | 3167 | 20026k| 371.0 | 478M | 45 |1525 |3890 |3297 | 62k| 0 | 39k| 10k| 1.024343e+03 | 1.041000e+03 | 1.63%| unknown
3485.43/3495.69 c 3496s| 49300 | 3183 | 20078k| 371.2 | 478M | 45 |1525 |3880 |3299 | 62k| 0 | 39k| 10k| 1.024358e+03 | 1.041000e+03 | 1.62%| unknown
3493.80/3504.08 c 3504s| 49400 | 3187 | 20118k| 371.3 | 480M | 45 |1525 |3925 |3301 | 62k| 0 | 39k| 10k| 1.024359e+03 | 1.041000e+03 | 1.62%| unknown
3502.57/3512.89 c 3513s| 49500 | 3195 | 20165k| 371.5 | 481M | 46 |1525 |3985 |3294 | 62k| 1 | 39k| 11k| 1.024364e+03 | 1.041000e+03 | 1.62%| unknown
3506.65/3516.90 c 3517s| 49600 | 3201 | 20202k| 371.5 | 481M | 46 |1525 |4049 |3298 | 62k| 1 | 39k| 11k| 1.024377e+03 | 1.041000e+03 | 1.62%| unknown
3512.53/3522.86 c 3523s| 49700 | 3207 | 20242k| 371.5 | 481M | 46 |1525 |4078 |3294 | 63k| 1 | 39k| 11k| 1.024377e+03 | 1.041000e+03 | 1.62%| unknown
3516.62/3526.98 c 3527s| 49800 | 3217 | 20280k| 371.5 | 481M | 46 |1525 |4094 |3298 | 63k| 1 | 39k| 11k| 1.024405e+03 | 1.041000e+03 | 1.62%| unknown
3525.39/3535.79 c 3536s| 49900 | 3221 | 20328k| 371.7 | 484M | 46 |1525 |4190 |3301 | 63k| 1 | 39k| 11k| 1.024413e+03 | 1.041000e+03 | 1.62%| unknown
3528.68/3539.00 c 3539s| 50000 | 3223 | 20358k| 371.6 | 484M | 46 |1525 |4242 |3300 | 63k| 2 | 39k| 11k| 1.024413e+03 | 1.041000e+03 | 1.62%| unknown
3534.86/3545.24 c 3545s| 50100 | 3229 | 20396k| 371.6 | 484M | 46 |1525 |4229 |3302 | 63k| 0 | 39k| 11k| 1.024415e+03 | 1.041000e+03 | 1.62%| unknown
3543.13/3553.54 c 3554s| 50200 | 3239 | 20434k| 371.6 | 486M | 46 |1525 |4289 |3304 | 63k| 0 | 39k| 11k| 1.024424e+03 | 1.041000e+03 | 1.62%| unknown
3549.51/3559.96 c 3560s| 50300 | 3245 | 20470k| 371.6 | 486M | 46 |1525 |4301 |3307 | 63k| 0 | 39k| 11k| 1.024425e+03 | 1.041000e+03 | 1.62%| unknown
3563.57/3574.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3563.57/3574.09 c 3574s| 50400 | 3253 | 20537k| 372.2 | 493M | 46 |1525 |4399 |3305 | 63k| 1 | 39k| 11k| 1.024427e+03 | 1.041000e+03 | 1.62%| unknown
3572.93/3583.46 c 3583s| 50500 | 3277 | 20598k| 372.6 | 506M | 46 |1525 |4364 |3312 | 64k| 1 | 40k| 11k| 1.024438e+03 | 1.041000e+03 | 1.62%| unknown
3580.80/3591.33 c 3591s| 50600 | 3281 | 20642k| 372.7 | 555M | 46 |1525 |4377 |3305 | 64k| 0 | 40k| 11k| 1.024443e+03 | 1.041000e+03 | 1.62%| unknown
3586.49/3597.01 c
3586.49/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.49/3597.01 c Solving Time (sec) : 3597.00
3586.49/3597.01 c Solving Nodes : 50692 (total of 55420 nodes in 2 runs)
3586.49/3597.01 c Primal Bound : +1.04100000000000e+03 (577 solutions)
3586.49/3597.01 c Dual Bound : +1.02444446767730e+03
3586.49/3597.01 c Gap : 1.62 %
3586.49/3597.01 s SATISFIABLE
3586.49/3597.01 v -x1969 -x1968 x1967 x1966 -x1965 -x1964 x1963 -x1962 x1961 -x1960 x1959 x1958 -x1957 x1956 x1955 x1954 x1953 x1952 x1951 x1950
3586.49/3597.01 v x1949 -x1948 -x1947 -x1946 x1945 -x1944 x1943 -x1942 -x1941 x1940 -x1939 x1938 x1937 x1936 x1935 x1934 x1933 x1932 -x1931 x1930
3586.49/3597.01 v -x1929 x1928 -x1927 -x1926 x1925 x1924 x1923 -x1922 x1921 x1920 -x1919 -x1918 -x1917 -x1916 x1915 x1914 x1913 x1912 x1911
3586.49/3597.01 v -x1910 -x1909 x1908 -x1907 x1906 x1905 x1904 -x1903 -x1902 -x1901 x1900 -x1899 x1898 x1897 -x1896 x1895 x1894 x1893 x1892 -x1891
3586.49/3597.01 v x1890 x1889 -x1888 x1887 x1886 -x1885 -x1884 x1883 x1882 x1881 x1880 x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872
3586.49/3597.01 v x1871 -x1870 -x1869 -x1868 -x1867 x1866 -x1865 x1864 -x1863 -x1862 x1861 -x1860 x1859 -x1858 -x1857 x1856 -x1855 x1854 -x1853
3586.49/3597.01 v -x1852 x1851 x1850 x1849 x1848 x1847 -x1846 x1845 x1844 -x1843 -x1842 x1841 -x1840 -x1839 x1838 x1837 -x1836 -x1835 -x1834 x1833
3586.49/3597.01 v -x1832 -x1831 -x1830 -x1829 -x1828 x1827 x1826 x1825 -x1824 x1823 x1822 x1821 x1820 x1819 -x1818 -x1817 x1816 -x1815 -x1814
3586.49/3597.01 v x1813 x1812 x1811 x1810 -x1809 x1808 x1807 -x1806 -x1805 x1804 -x1803 -x1802 -x1801 x1800 -x1799 -x1798 -x1797 x1796 -x1795
3586.49/3597.01 v -x1794 x1793 -x1792 x1791 -x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 x1778 x1777 x1776
3586.49/3597.01 v -x1775 x1774 x1773 -x1772 -x1771 -x1770 -x1769 x1768 x1767 -x1766 x1765 -x1764 x1763 x1762 x1761 -x1760 -x1759 x1758 -x1757
3586.49/3597.01 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 x1750 x1749 -x1748 x1747 x1746 -x1745 -x1744 x1743 x1742 x1741 -x1740 x1739 x1738 x1737
3586.49/3597.01 v x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 x1726 -x1725 x1724 x1723 -x1722 x1721 -x1720 x1719 -x1718
3586.49/3597.01 v x1717 -x1716 x1715 -x1714 -x1713 -x1712 -x1711 x1710 -x1709 x1708 -x1707 -x1706 -x1705 x1704 x1703 x1702 -x1701 x1700 x1699
3586.49/3597.01 v x1698 -x1697 x1696 x1695 x1694 x1693 -x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 x1685 x1684 x1683 -x1682 -x1681 -x1680
3586.49/3597.01 v -x1679 -x1678 -x1677 x1676 x1675 -x1674 -x1673 x1672 x1671 -x1670 x1669 x1668 -x1667 x1666 x1665 x1664 x1663 -x1662 -x1661
3586.49/3597.01 v -x1660 -x1659 -x1658 -x1657 x1656 x1655 -x1654 x1653 x1652 x1651 x1650 -x1649 -x1648 x1647 -x1646 x1645 x1644 x1643 -x1642 x1641
3586.49/3597.01 v x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 x1633 x1632 x1631 x1630 -x1629 -x1628 -x1627 -x1626 x1625 x1624 x1623 -x1622
3586.49/3597.01 v -x1621 x1620 x1619 -x1618 x1617 -x1616 x1615 -x1614 -x1613 -x1612 x1611 x1610 x1609 x1608 -x1607 -x1606 x1605 -x1604 -x1603
3586.49/3597.01 v -x1602 x1601 x1600 -x1599 -x1598 x1597 -x1596 x1595 x1594 x1593 -x1592 x1591 -x1590 x1589 -x1588 -x1587 x1586 -x1585 x1584 x1583
3586.49/3597.01 v -x1582 -x1581 -x1580 x1579 -x1578 x1577 x1576 -x1575 -x1574 -x1573 x1572 x1571 x1570 x1569 -x1568 -x1567 x1566 -x1565 -x1564
3586.49/3597.01 v -x1563 -x1562 -x1561 x1560 x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 x1551 x1550 x1549 x1548 -x1547 x1546 -x1545
3586.49/3597.01 v -x1544 x1543 x1542 -x1541 -x1540 -x1539 x1538 x1537 -x1536 x1535 -x1534 -x1533 x1532 x1531 -x1530 x1529 -x1528 -x1527 x1526
3586.49/3597.01 v -x1525 -x1524 x1523 x1522 x1521 x1520 -x1519 -x1518 x1517 x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 x1509 x1508 x1507
3586.49/3597.01 v x1506 x1505 -x1504 -x1503 x1502 -x1501 -x1500 x1499 x1498 -x1497 x1496 -x1495 -x1494 x1493 -x1492 -x1491 x1490 -x1489 -x1488
3586.49/3597.01 v -x1487 -x1486 x1485 x1484 x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 x1474 x1473 -x1472 -x1471 x1470 x1469
3586.49/3597.01 v -x1468 x1467 -x1466 x1465 x1464 x1463 x1462 -x1461 -x1460 x1459 x1458 x1457 -x1456 -x1455 -x1454 -x1453 x1452 -x1451 x1450 x1449
3586.49/3597.01 v x1448 -x1447 -x1446 x1445 x1444 x1443 -x1442 -x1441 x1440 -x1439 -x1438 x1437 -x1436 x1435 x1434 x1433 -x1432 -x1431 -x1430
3586.49/3597.01 v x1429 x1428 x1427 -x1426 -x1425 -x1424 -x1423 x1422 -x1421 -x1420 x1419 x1418 -x1417 x1416 x1415 x1414 x1413 x1412 -x1411
3586.49/3597.01 v -x1410 -x1409 x1408 x1407 x1406 -x1405 -x1404 -x1403 x1402 x1401 -x1400 -x1399 -x1398 x1397 -x1396 x1395 -x1394 x1393 -x1392
3586.49/3597.01 v -x1391 -x1390 x1389 x1388 -x1387 x1386 x1385 x1384 x1383 x1382 -x1381 x1380 -x1379 x1378 x1377 x1376 x1375 x1374 x1373 -x1372
3586.49/3597.01 v -x1371 x1370 -x1369 x1368 x1367 -x1366 -x1365 x1364 x1363 -x1362 x1361 x1360 -x1359 -x1358 -x1357 x1356 x1355 x1354 x1353 x1352
3586.49/3597.01 v x1351 x1350 x1349 -x1348 x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 x1340 x1339 -x1338 x1337 x1336 -x1335 -x1334 x1333
3586.49/3597.01 v x1332 -x1331 -x1330 x1329 x1328 -x1327 x1326 x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 x1318 -x1317 -x1316 x1315 x1314 -x1313
3586.49/3597.01 v x1312 x1311 x1310 x1309 x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 x1301 -x1300 -x1299 x1298 x1297 -x1296 -x1295 x1294
3586.49/3597.01 v x1293 x1292 x1291 -x1290 x1289 -x1288 -x1287 -x1286 x1285 -x1284 x1283 -x1282 x1281 x1280 -x1279 -x1278 x1277 x1276 -x1275 -x1274
3586.49/3597.01 v x1273 x1272 x1271 x1270 x1269 -x1268 x1267 x1266 -x1265 x1264 x1263 -x1262 x1261 x1260 x1259 -x1258 -x1257 -x1256 -x1255
3586.49/3597.01 v x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 -x1238 x1237 -x1236 -x1235
3586.49/3597.01 v -x1234 -x1233 x1232 -x1231 x1230 x1229 -x1228 -x1227 x1226 x1225 x1224 x1223 -x1222 x1221 -x1220 x1219 -x1218 x1217 -x1216
3586.49/3597.01 v x1215 -x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 x1205 x1204 -x1203 x1202 -x1201 -x1200 x1199 x1198 -x1197
3586.49/3597.01 v -x1196 x1195 x1194 x1193 x1192 -x1191 x1190 x1189 x1188 -x1187 -x1186 x1185 x1184 -x1183 x1182 -x1181 x1180 x1179 -x1178 -x1177
3586.49/3597.01 v -x1176 x1175 -x1174 x1173 x1172 x1171 x1170 -x1169 -x1168 x1167 -x1166 -x1165 x1164 -x1163 -x1162 x1161 x1160 -x1159 -x1158
3586.49/3597.01 v x1157 -x1156 x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 x1148 -x1147 x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 x1139
3586.49/3597.01 v x1138 x1137 x1136 x1135 x1134 x1133 -x1132 x1131 x1130 x1129 x1128 x1127 -x1126 x1125 x1124 -x1123 x1122 x1121 x1120 -x1119
3586.49/3597.01 v x1118 x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 x1100
3586.49/3597.01 v x1099 x1098 x1097 x1096 x1095 -x1094 x1093 -x1092 -x1091 x1090 x1089 x1088 x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081
3586.49/3597.01 v -x1080 x1079 -x1078 x1077 -x1076 x1075 -x1074 x1073 -x1072 -x1071 x1070 x1069 x1068 -x1067 x1066 x1065 -x1064 -x1063 -x1062
3586.49/3597.01 v -x1061 x1060 x1059 -x1058 -x1057 x1056 -x1055 -x1054 x1053 -x1052 x1051 x1050 x1049 -x1048 x1047 x1046 -x1045 x1044 -x1043 x1042
3586.49/3597.01 v -x1041 x1040 x1039 x1038 -x1037 x1036 x1035 x1034 -x1033 x1032 -x1031 x1030 x1029 x1028 x1027 x1026 -x1025 x1024 x1023 -x1022
3586.49/3597.01 v -x1021 x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 x1013 -x1012 -x1011 x1010 x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003
3586.49/3597.01 v -x1002 -x1001 x1000 x999 -x998 -x997 x996 -x995 x994 x993 -x992 -x991 x990 -x989 x988 x987 x986 -x985 -x984 x983 -x982 x981
3586.49/3597.01 v x980 x979 -x978 x977 -x976 -x975 x974 x973 x972 -x971 x970 x969 -x968 -x967 -x966 x965 -x964 x963 x962 x961 -x960 -x959 x958
3586.49/3597.01 v x957 -x956 x955 x954 -x953 x952 x951 x950 -x949 -x948 -x947 x946 x945 x944 -x943 x942 x941 -x940 x939 x938 x937 -x936 x935
3586.49/3597.01 v -x934 -x933 x932 -x931 -x930 x929 -x928 -x927 x926 x925 x924 x923 -x922 x921 x920 -x919 x918 -x917 -x916 -x915 x914 x913 -x912
3586.49/3597.01 v -x911 x910 x909 x908 x907 -x906 -x905 x904 x903 -x902 x901 x900 -x899 -x898 x897 x896 -x895 -x894 -x893 x892 -x891 x890 -x889
3586.49/3597.01 v -x888 x887 x886 -x885 x884 -x883 -x882 x881 x880 x879 x878 x877 x876 -x875 -x874 -x873 -x872 x871 x870 -x869 -x868 x867 x866
3586.49/3597.01 v -x865 -x864 x863 -x862 -x861 x860 x859 x858 x857 x856 x855 x854 x853 -x852 x851 x850 -x849 -x848 x847 x846 x845 -x844 -x843
3586.49/3597.01 v -x842 -x841 -x840 x839 -x838 -x837 x836 x835 -x834 x833 x832 -x831 -x830 x829 x828 -x827 -x826 -x825 -x824 x823 -x822 -x821
3586.49/3597.01 v x820 x819 x818 -x817 x816 -x815 x814 x813 x812 x811 -x810 -x809 -x808 -x807 -x806 x805 x804 -x803 x802 -x801 -x800 x799 -x798
3586.49/3597.01 v x797 -x796 x795 -x794 x793 x792 x791 x790 -x789 -x788 x787 x786 -x785 x784 x783 x782 x781 -x780 x779 -x778 x777 x776 x775
3586.49/3597.01 v x774 x773 -x772 -x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760 x759 -x758 x757 x756 x755 x754 x753 -x752 -x751
3586.49/3597.01 v -x750 -x749 x748 -x747 x746 -x745 x744 x743 -x742 x741 -x740 x739 x738 -x737 -x736 x735 -x734 x733 x732 x731 x730 -x729 -x728
3586.49/3597.01 v -x727 -x726 -x725 x724 -x723 -x722 x721 x720 -x719 -x718 x717 -x716 -x715 x714 -x713 -x712 -x711 x710 -x709 -x708 x707 -x706
3586.49/3597.01 v x705 -x704 -x703 -x702 -x701 x700 -x699 x698 -x697 -x696 -x695 x694 x693 -x692 -x691 x690 -x689 -x688 x687 x686 -x685 x684 -x683
3586.49/3597.01 v x682 x681 -x680 -x679 -x678 x677 x676 -x675 -x674 -x673 x672 -x671 x670 x669 x668 x667 -x666 -x665 -x664 x663 -x662 -x661
3586.49/3597.01 v -x660 x659 x658 -x657 -x656 x655 -x654 x653 x652 -x651 -x650 -x649 x648 x647 x646 -x645 x644 x643 x642 -x641 -x640 -x639 -x638
3586.49/3597.01 v -x637 x636 x635 x634 x633 -x632 x631 x630 x629 -x628 -x627 x626 -x625 -x624 x623 x622 -x621 -x620 x619 -x618 x617 x616 -x615
3586.49/3597.01 v -x614 x613 -x612 -x611 -x610 x609 x608 x607 x606 x605 x604 -x603 x602 -x601 -x600 -x599 x598 -x597 -x596 x595 -x594 -x593
3586.49/3597.01 v x592 x591 -x590 x589 x588 x587 -x586 x585 x584 -x583 -x582 x581 x580 -x579 x578 x577 -x576 x575 x574 x573 -x572 -x571 -x570
3586.49/3597.01 v -x569 x568 -x567 -x566 x565 x564 x563 -x562 -x561 -x560 -x559 x558 x557 x556 -x555 -x554 -x553 -x552 x551 x550 -x549 x548 x547
3586.49/3597.01 v -x546 x545 x544 -x543 x542 x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 x527 -x526 -x525
3586.49/3597.01 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
3586.49/3597.01 v -x500 x499 x498 x497 -x496 x495 -x494 -x493 x492 -x491 -x490 x489 x488 -x487 x486 -x485 x484 x483 -x482 x481 x480 x479 x478
3586.49/3597.01 v -x477 x476 -x475 -x474 x473 x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 x459 x458 -x457 x456
3586.49/3597.01 v x455 -x454 -x453 x452 x451 -x450 x449 -x448 -x447 x446 x445 x444 x443 -x442 x441 -x440 x439 -x438 -x437 -x436 -x435 -x434
3586.49/3597.01 v -x433 -x432 -x431 x430 -x429 -x428 -x427 x426 x425 -x424 x423 x422 x421 x420 x419 x418 x417 -x416 -x415 x414 x413 -x412 x411
3586.49/3597.01 v -x410 x409 -x408 -x407 x406 x405 x404 -x403 -x402 -x401 -x400 -x399 x398 x397 x396 x395 x394 x393 -x392 x391 -x390 x389 -x388
3586.49/3597.01 v x387 -x386 -x385 -x384 x383 x382 -x381 -x380 -x379 -x378 x377 x376 -x375 x374 x373 -x372 -x371 -x370 -x369 x368 x367 -x366 x365
3586.49/3597.01 v -x364 -x363 x362 -x361 -x360 -x359 x358 -x357 -x356 x355 x354 x353 x352 x351 x350 x349 -x348 -x347 -x346 x345 x344 x343 -x342
3586.49/3597.01 v x341 x340 x339 -x338 -x337 x336 -x335 x334 -x333 x332 -x331 -x330 x329 -x328 -x327 x326 x325 x324 x323 -x322 -x321 x320
3586.49/3597.01 v x319 x318 x317 -x316 x315 -x314 -x313 x312 -x311 -x310 -x309 x308 -x307 x306 -x305 x304 x303 x302 x301 x300 -x299 -x298 -x297
3586.49/3597.01 v -x296 x295 -x294 -x293 -x292 x291 x290 x289 x288 x287 -x286 x285 -x284 x283 -x282 x281 x280 x279 -x278 x277 -x276 x275 x274
3586.49/3597.01 v x273 x272 x271 x270 x269 -x268 -x267 x266 -x265 -x264 x263 -x262 x261 x260 -x259 -x258 -x257 x256 x255 x254 x253 -x252 x251 x250
3586.49/3597.01 v -x249 x248 -x247 x246 -x245 x244 x243 -x242 -x241 x240 x239 x238 x237 -x236 -x235 x234 -x233 x232 -x231 -x230 x229 x228 -x227
3586.49/3597.01 v x226 x225 x224 -x223 x222 x221 x220 -x219 -x218 x217 x216 x215 -x214 -x213 x212 -x211 x210 x209 -x208 x207 -x206 x205 x204
3586.49/3597.01 v -x203 x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 -x189 x188 -x187 x186 x185 x184 x183 -x182
3586.49/3597.01 v -x181 -x180 -x179 x178 x177 x176 x175 x174 x173 -x172 x171 -x170 -x169 -x168 x167 x166 -x165 -x164 -x163 -x162 x161 x160 x159
3586.49/3597.01 v x158 -x157 x156 x155 -x154 x153 x152 -x151 -x150 x149 x148 x147 -x146 x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
3586.49/3597.01 v x135 -x134 -x133 x132 -x131 x130 x129 x128 x127 x126 x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 x116 x115 x114 x113
3586.49/3597.01 v -x112 x111 x110 x109 x108 -x107 x106 -x105 x104 -x103 -x102 x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89
3586.49/3597.01 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 x60
3586.49/3597.01 v -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
3586.49/3597.01 v -x32 -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
3586.49/3597.01 v -x2 x1
3586.49/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.49/3597.01 c Total Time : 3597.00
3586.49/3597.01 c solving : 3597.00
3586.49/3597.01 c presolving : 0.25 (included in solving)
3586.49/3597.01 c reading : 0.01 (included in solving)
3586.49/3597.01 c copying : 0.19 (16 #copies) (minimal 0.01, maximal 0.04, average 0.01)
3586.49/3597.01 c Original Problem :
3586.49/3597.01 c Problem name : HOME/instance-4488642-1751321615.opb
3586.49/3597.01 c Variables : 1969 (1969 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.49/3597.01 c Constraints : 4000 initial, 4000 maximal
3586.49/3597.01 c Objective : minimize, 1969 non-zeros (abs.min = 1, abs.max = 1)
3586.49/3597.01 c Presolved Problem :
3586.49/3597.01 c Problem name : t_HOME/instance-4488642-1751321615.opb
3586.49/3597.01 c Variables : 1525 (1525 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.49/3597.01 c Constraints : 4442 initial, 10812 maximal
3586.49/3597.01 c Objective : minimize, 1525 non-zeros (abs.min = 1, abs.max = 1)
3586.49/3597.01 c Nonzeros : 75991 constraint, 5913 clique table
3586.49/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.49/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c gateextraction : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c milp : 0.01 0.00 1 5 0 0 0 0 0 0 0 0
3586.49/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c trivial : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c dualfix : 0.00 0.00 20 208 0 0 0 0 0 0 0 0
3586.49/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c pseudoobj : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c knapsack : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c setppc : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c linear : 0.03 0.00 26 0 231 0 0 0 1051 0 4026 4442
3586.49/3597.01 c logicor : 0.11 0.01 15 0 0 0 0 0 173 0 0 297
3586.49/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.49/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.49/3597.01 c benderslp : 0 0 0 0 31983 0 0 3121 0 0 0 0 0 0 0
3586.49/3597.01 c integral : 0 0 0 0 31983 0 0 3121 0 1 6172 0 0 29401 59242
3586.49/3597.01 c knapsack : 177+ 181 6 200287 0 0 0 0 24 12 13 0 0 0 0
3586.49/3597.01 c setppc : 2954 2954 27 239826 9 0 0 3115 293232 24 185983 0 0 0 0
3586.49/3597.01 c linear : 60+ 78 6 209605 0 0 0 2 905 503 1854 0 0 0 0
3586.49/3597.01 c logicor : 1251+ 7603 6 48791 0 0 0 0 2544 298 479 0 0 0 0
3586.49/3597.01 c benders : 0 0 0 0 9 0 0 676 0 0 0 0 0 0 0
3586.49/3597.01 c fixedvar : 0 0 0 0 9 0 0 676 0 0 0 0 0 0 0
3586.49/3597.01 c countsols : 0 0 0 0 9 0 0 676 0 0 0 0 0 0 0
3586.49/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.49/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c integral : 479.33 0.00 0.00 0.00 479.31 0.00 0.00 0.02 0.00 0.00
3586.49/3597.01 c knapsack : 0.22 0.00 0.01 0.18 0.00 0.00 0.00 0.00 0.00 0.03
3586.49/3597.01 c setppc : 1.42 0.00 0.01 1.10 0.00 0.00 0.00 0.06 0.05 0.19
3586.49/3597.01 c linear : 0.35 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00 0.10
3586.49/3597.01 c logicor : 0.69 0.01 0.00 0.61 0.00 0.00 0.00 0.00 0.01 0.06
3586.49/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3586.49/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.49/3597.01 c dualfix : 3 0 0 0
3586.49/3597.01 c genvbounds : 0 0 0 0
3586.49/3597.01 c nlobbt : 0 0 0 0
3586.49/3597.01 c obbt : 0 0 0 0
3586.49/3597.01 c probing : 0 0 0 0
3586.49/3597.01 c pseudoobj : 120941 0 0 0
3586.49/3597.01 c redcost : 1365 0 0 394
3586.49/3597.01 c rootredcost : 16 0 0 0
3586.49/3597.01 c symmetry : 0 0 0 0
3586.49/3597.01 c vbounds : 89295 0 0 0
3586.49/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.49/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3586.49/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.49/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3586.49/3597.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3586.49/3597.01 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3586.49/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.49/3597.01 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.01
3586.49/3597.01 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3586.49/3597.01 c Symmetry :
3586.49/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.49/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.49/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.49/3597.01 c shadow tree time : 0.00 s
3586.49/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.49/3597.01 c propagation : 0.01 393 210 - 1733 58.7 0 0.0 - - -
3586.49/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.49/3597.01 c bound exceed. LP : 5.08 7638 7635 - 64411 54.6 0 0.0 7635 79.1 17785
3586.49/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.49/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.49/3597.01 c applied globally : 0.29 - - 0 32537 44.0 - - 7635 - -
3586.49/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.49/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.49/3597.01 c cut pool : 23.95 - 10596 49 - - 87798 306222 - - - - - (maximal pool size: 3830)
3586.49/3597.01 c aggregation : 132.59 0.00 2928 27 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.49/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.49/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.49/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c clique : 0.39 0.00 27 27 0 0 4 4 0 4 4 0 0
3586.49/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c gomory : 690.21 0.00 2744 16 0 0 83995 120805 0 10159 10159 0 0
3586.49/3597.01 c > gomorymi : - - - - - - - 44023 0 503 503 0 -
3586.49/3597.01 c > strongcg : - - - - - - - 76782 0 9656 9656 0 -
3586.49/3597.01 c impliedbounds : 0.48 0.00 2929 27 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c multilinear : 0.00 0.00 280 27 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c rapidlearning : 0.11 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c rlt : 0.00 0.00 699 16 0 0 0 0 0 0 0 0 0
3586.49/3597.01 c zerohalf : 43.71 0.00 2754 26 0 0 3799 185413 0 61210 61210 0 0
3586.49/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.49/3597.01 c hybrid : 1.91 0.00 7477 25 71373 0 234849 157 0 1564
3586.49/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.49/3597.01 c problem variables: 0.00 - 0 0
3586.49/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.49/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c relpscost : 479.29 0.00 31974 0 0 1 6172 0 35123 59242
3586.49/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.49/3597.01 c LP solutions : 0.00 - - 9 9
3586.49/3597.01 c relax solutions : 0.00 - - 0 0
3586.49/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.49/3597.01 c strong branching : 1.06 - - 89 1
3586.49/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.49/3597.01 c adaptivediving : 6.04 0.00 47 0 0
3586.49/3597.01 c alns : 0.19 0.00 7 0 0
3586.49/3597.01 c bound : 0.00 0.00 0 0 0
3586.49/3597.01 c clique : 0.02 0.00 1 1 1
3586.49/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.49/3597.01 c completesol : 0.00 0.00 0 0 0
3586.49/3597.01 c conflictdiving : 4.04 0.00 73 0 0
3586.49/3597.01 c crossover : 0.29 0.00 9 3 2
3586.49/3597.01 c dins : 0.00 0.00 0 0 0
3586.49/3597.01 c distributiondivin: 11.68 0.00 73 0 0
3586.49/3597.01 c dps : 0.00 0.00 0 0 0
3586.49/3597.01 c dualval : 0.00 0.00 0 0 0
3586.49/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.49/3597.01 c feasjump : 0.00 0.00 0 0 0
3586.49/3597.01 c feaspump : 0.00 0.00 0 0 0
3586.49/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.49/3597.01 c fracdiving : 4.77 0.00 73 0 0
3586.49/3597.01 c gins : 0.01 0.00 0 0 0
3586.49/3597.01 c guideddiving : 6.35 0.00 72 0 0
3586.49/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.49/3597.01 c indicator : 0.01 0.00 0 0 0
3586.49/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.49/3597.01 c indoneopt : 0.01 0.00 0 0 0
3586.49/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.49/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.49/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.49/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.49/3597.01 c linesearchdiving : 11.59 0.00 72 0 0
3586.49/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.49/3597.01 c locks : 0.00 0.00 1 1 1
3586.49/3597.01 c lpface : 0.01 0.00 0 0 0
3586.49/3597.01 c mpec : 0.00 0.00 0 0 0
3586.49/3597.01 c multistart : 0.00 0.00 0 0 0
3586.49/3597.01 c mutation : 0.00 0.00 0 0 0
3586.49/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.49/3597.01 c objpscostdiving : 118.24 0.00 37 87 1
3586.49/3597.01 c octane : 0.00 0.00 0 0 0
3586.49/3597.01 c ofins : 0.01 0.00 0 0 0
3586.49/3597.01 c oneopt : 0.03 0.00 16 1 1
3586.49/3597.01 c padm : 0.00 0.00 0 0 0
3586.49/3597.01 c proximity : 0.00 0.00 0 0 0
3586.49/3597.01 c pscostdiving : 12.93 0.00 73 3 2
3586.49/3597.01 c randrounding : 0.50 0.00 2466 21 0
3586.49/3597.01 c rens : 0.00 0.00 0 0 0
3586.49/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.49/3597.01 c repair : 0.00 0.00 0 0 0
3586.49/3597.01 c rins : 0.07 0.00 0 0 0
3586.49/3597.01 c rootsoldiving : 12.98 0.00 37 23 0
3586.49/3597.01 c rounding : 50.98 0.00 2749 0 0
3586.49/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.49/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.49/3597.01 c shifting : 27.45 0.00 1376 0 0
3586.49/3597.01 c simplerounding : 2.86 0.00 39462 98 0
3586.49/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.49/3597.01 c subnlp : 0.02 0.00 0 0 0
3586.49/3597.01 c trivial : 0.00 0.00 4 2 2
3586.49/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.49/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.49/3597.01 c trysol : 0.01 0.00 0 0 0
3586.49/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.49/3597.01 c undercover : 0.00 0.00 0 0 0
3586.49/3597.01 c vbounds : 0.02 0.00 2 0 0
3586.49/3597.01 c veclendiving : 5.82 0.00 73 0 0
3586.49/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.49/3597.01 c zirounding : 6.05 0.00 11951 239 0
3586.49/3597.01 c other solutions : - - - 0 -
3586.49/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 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
3586.49/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.49/3597.01 c primal LP : 3.52 4331 0 0.00 0.00 3.52 4331
3586.49/3597.01 c dual LP : 1905.39 65431 19234817 295.87 10094.95 0.37 419
3586.49/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.49/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.49/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.49/3597.01 c diving/probing LP: 231.92 8213 1440324 175.37 6210.50
3586.49/3597.01 c strong branching : 406.13 11274 4045862 358.87 9961.95 - - 3385
3586.49/3597.01 c (at root node) : - 27 25732 953.04 -
3586.49/3597.01 c conflict analysis: 2.18 1788 17785 9.95 8176.87
3586.49/3597.01 c B&B Tree :
3586.49/3597.01 c number of runs : 2
3586.49/3597.01 c nodes : 50692 (26987 internal, 23705 leaves)
3586.49/3597.01 c feasible leaves : 0
3586.49/3597.01 c infeas. leaves : 193
3586.49/3597.01 c objective leaves : 23511
3586.49/3597.01 c nodes (total) : 55420 (29621 internal, 25799 leaves)
3586.49/3597.01 c nodes left : 3284
3586.49/3597.01 c max depth : 46
3586.49/3597.01 c max depth (total): 57
3586.49/3597.01 c backtracks : 6941 (13.7%)
3586.49/3597.01 c early backtracks : 0 (0.0%)
3586.49/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.49/3597.01 c delayed cutoffs : 0
3586.49/3597.01 c repropagations : 40 (42 domain reductions, 0 cutoffs)
3586.49/3597.01 c avg switch length: 2.91
3586.49/3597.01 c switching time : 7.47
3586.49/3597.01 c Root Node :
3586.49/3597.01 c First LP value : +9.82500000000000e+02
3586.49/3597.01 c First LP Iters : 1929 (61621.52 Iter/sec)
3586.49/3597.01 c First LP Time : 0.03
3586.49/3597.01 c Final Dual Bound : +1.01596051007816e+03
3586.49/3597.01 c Final Root Iters : 21841
3586.49/3597.01 c Root LP Estimate : +1.28617609452202e+03
3586.49/3597.01 c Solution :
3586.49/3597.01 c Solutions found : 577 (20 improvements)
3586.49/3597.01 c First Solution : +1.96900000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3586.49/3597.01 c Gap First Sol. : infinite
3586.49/3597.01 c Gap Last Sol. : 2.86 %
3586.49/3597.01 c Primal Bound : +1.04100000000000e+03 (in run 1, after 986 nodes, 99.33 seconds, depth 35, found by <crossover>)
3586.49/3597.01 c Dual Bound : +1.02444446767730e+03
3586.49/3597.01 c Gap : 1.62 %
3586.49/3597.01 c Integrals : Total Avg%
3586.49/3597.01 c primal-dual : 7082.75 1.97
3586.49/3597.01 c primal-ref : - - (not evaluated)
3586.49/3597.01 c dual-ref : - - (not evaluated)
3586.88/3597.49 c Time complete: 3586.98.
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: 63708 MiB (62574 MiB free)
memory of node 1: 64465 MiB (63353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488642-1751321615/watcher-4488642-1751321615 -o /tmp/evaluation-result-4488642-1751321615/solver-4488642-1751321615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43198 --watchdog 3760 pbscip -f HOME/instance-4488642-1751321615.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44452, runsolver pid=44449
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.09 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128940552/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=66692 memory=38836 CPUtime=0.09 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 6440 0 0 0 8 1 0 0 20 0 1 0 47839361 68292608 9709 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 16673 9709 3936 3530 0 8124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66692 KiB
Current children cumulated memory: 38836 KiB
[startup+0.205438 s]*
/proc/loadavg: 4.09 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128936772/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=68808 memory=40756 CPUtime=0.19 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 6929 0 0 0 18 1 0 0 20 0 1 0 47839361 70459392 10189 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 17202 10189 3936 3530 0 8653 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68808 KiB
Current children cumulated memory: 40756 KiB
[startup+0.305357 s]*
/proc/loadavg: 4.09 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128937044/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=69356 memory=41268 CPUtime=0.29 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 7037 0 0 0 28 1 0 0 20 0 1 0 47839361 71020544 10317 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 17339 10317 3936 3530 0 8790 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69356 KiB
Current children cumulated memory: 41268 KiB
[startup+0.700169 s]
/proc/loadavg: 4.09 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128933012/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=73996 memory=45492 CPUtime=0.68 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 8109 0 0 0 67 1 0 0 20 0 1 0 47839361 75771904 11373 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 18499 11373 3936 3530 0 9950 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73996 KiB
Current children cumulated memory: 45492 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128933012/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=78708 memory=49588 CPUtime=1.48 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 9150 0 0 0 146 2 0 0 20 0 1 0 47839361 80596992 12397 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 19677 12397 3936 3530 0 11128 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78708 KiB
Current children cumulated memory: 49588 KiB
[startup+3.10524 s]
/proc/loadavg: 4.08 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128901084/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=107080 memory=76852 CPUtime=3.08 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 15960 0 0 0 305 3 0 0 20 0 1 0 47839361 109649920 19213 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 26770 19213 3936 3530 0 18221 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107080 KiB
Current children cumulated memory: 76852 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128868868/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=142100 memory=111028 CPUtime=6.26 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 24487 0 0 0 622 4 0 0 20 0 1 0 47839361 145510400 27757 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 35525 27757 3936 3530 0 26976 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142100 KiB
Current children cumulated memory: 111028 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.12 4.15 5/264 44453
/proc/meminfo: memFree=128816260/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=177180 memory=142900 CPUtime=12.65 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 33593 0 0 0 1259 6 0 0 20 0 1 0 47839361 181432320 35725 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 44295 35725 3968 3530 0 35746 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 177180 KiB
Current children cumulated memory: 142900 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.16 5/263 44453
/proc/meminfo: memFree=128812428/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=177180 memory=143668 CPUtime=25.41 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 33788 0 0 0 2535 6 0 0 20 0 1 0 47839361 181432320 35917 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 44295 35917 3968 3530 0 35746 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 177180 KiB
Current children cumulated memory: 143668 KiB
[startup+51.1053 s]
/proc/loadavg: 4.15 4.13 4.16 5/263 44453
/proc/meminfo: memFree=128764796/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=215992 memory=180064 CPUtime=50.94 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 43147 0 0 0 5087 7 0 0 20 0 1 0 47839361 221175808 45016 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 53998 45016 3968 3530 0 45449 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 215992 KiB
Current children cumulated memory: 180064 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/264 44460
/proc/meminfo: memFree=128713860/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=254736 memory=217048 CPUtime=101.99 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 56599 0 0 0 10189 10 0 0 20 0 1 0 47839361 260849664 54262 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 63684 54262 3968 3530 0 55135 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 254736 KiB
Current children cumulated memory: 217048 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/263 44462
/proc/meminfo: memFree=128698968/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=269364 memory=230232 CPUtime=161.81 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 59885 0 0 0 16171 10 0 0 20 0 1 0 47839361 275828736 57558 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 67341 57558 3968 3530 0 58792 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 269364 KiB
Current children cumulated memory: 230232 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/263 44464
/proc/meminfo: memFree=128619900/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=323864 memory=280280 CPUtime=221.64 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 72392 0 0 0 22152 12 0 0 20 0 1 0 47839361 331636736 70070 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 80966 70070 3968 3530 0 72417 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 323864 KiB
Current children cumulated memory: 280280 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/263 44466
/proc/meminfo: memFree=128556016/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=368584 memory=322520 CPUtime=281.46 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 83035 0 0 0 28132 14 0 0 20 0 1 0 47839361 377430016 80630 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 92146 80630 3968 3530 0 83597 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 368584 KiB
Current children cumulated memory: 322520 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/264 44469
/proc/meminfo: memFree=128559992/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=368584 memory=322648 CPUtime=341.29 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 83070 0 0 0 34114 15 0 0 20 0 1 0 47839361 377430016 80662 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 92146 80662 3968 3530 0 83597 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 368584 KiB
Current children cumulated memory: 322648 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.13 5/263 44516
/proc/meminfo: memFree=129093352/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=379936 memory=332884 CPUtime=401.12 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 88660 0 0 0 40096 16 0 0 20 0 1 0 47839361 389054464 83221 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 94984 83221 3968 3530 0 86435 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 379936 KiB
Current children cumulated memory: 332884 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/264 44521
/proc/meminfo: memFree=128978836/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=388120 memory=347740 CPUtime=460.93 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 91439 0 0 0 46077 16 0 0 20 0 1 0 47839361 397434880 86935 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 97030 86935 3968 3530 0 88481 0
################
# More data... #
################
/proc/loadavg: 3.23 3.76 3.96 4/259 44749
/proc/meminfo: memFree=128670728/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=516732 memory=491472 CPUtime=3153.28 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 117026 0 0 0 315306 22 0 0 20 0 1 0 47839361 529133568 122868 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 129183 122868 3968 3530 0 120634 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 516732 KiB
Current children cumulated memory: 491472 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.63 3.90 4/259 44751
/proc/meminfo: memFree=128672588/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=516732 memory=491600 CPUtime=3213.07 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 117074 0 0 0 321285 22 0 0 20 0 1 0 47839361 529133568 122900 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 129183 122900 3968 3530 0 120634 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 516732 KiB
Current children cumulated memory: 491600 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.53 3.85 4/258 44753
/proc/meminfo: memFree=128667048/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=516732 memory=492624 CPUtime=3272.86 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 117086 0 0 0 327264 22 0 0 20 0 1 0 47839361 529133568 123156 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 129183 123156 3968 3530 0 120634 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 516732 KiB
Current children cumulated memory: 492624 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.46 3.80 4/258 44755
/proc/meminfo: memFree=128676596/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=516732 memory=492624 CPUtime=3332.66 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 117096 0 0 0 333244 22 0 0 20 0 1 0 47839361 529133568 123156 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 129183 123156 3968 3530 0 120634 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 516732 KiB
Current children cumulated memory: 492624 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.39 3.76 4/257 44757
/proc/meminfo: memFree=128677164/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=519160 memory=494672 CPUtime=3392.45 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 117605 0 0 0 339223 22 0 0 20 0 1 0 47839361 531619840 123668 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 129790 123668 3968 3530 0 121241 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 519160 KiB
Current children cumulated memory: 494672 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.35 3.72 4/258 44761
/proc/meminfo: memFree=128622240/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=528028 memory=502352 CPUtime=3452.24 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 119532 0 0 0 345202 22 0 0 20 0 1 0 47839361 540700672 125588 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 132007 125588 3968 3530 0 123458 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 528028 KiB
Current children cumulated memory: 502352 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.30 3.68 4/258 44766
/proc/meminfo: memFree=128605980/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=528028 memory=502736 CPUtime=3512.03 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 119622 0 0 0 351181 22 0 0 20 0 1 0 47839361 540700672 125684 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 132007 125684 3968 3530 0 123458 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 528028 KiB
Current children cumulated memory: 502736 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.27 3.64 4/258 44768
/proc/meminfo: memFree=128589320/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=545724 memory=519944 CPUtime=3571.83 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 122895 0 0 0 357160 23 0 0 20 0 1 0 47839361 558821376 129986 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 136431 129986 3968 3530 0 127882 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 545724 KiB
Current children cumulated memory: 519944 KiB
[startup+3597.49 s]
# the end of solver process 44452 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.7 s, system=0.281091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.15 3.27 3.64 4/258 44768
/proc/meminfo: memFree=128589328/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=548768 memory=523144 CPUtime=3573.53 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 123688 0 0 0 357330 23 0 0 20 0 1 0 47839361 561938432 130786 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 137192 130786 3968 3530 0 128643 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 548768 KiB
Current children cumulated memory: 523144 KiB
[startup+3590.4 s]
/proc/loadavg: 3.14 3.26 3.63 4/258 44768
/proc/meminfo: memFree=128541196/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=593468 memory=566792 CPUtime=3579.9 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 134602 0 0 0 357965 25 0 0 20 0 1 0 47839361 607711232 141698 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 148367 141698 3968 3530 0 139818 0
Current children cumulated CPU time: 3579.9 s
Current children cumulated vsize: 593468 KiB
Current children cumulated memory: 566792 KiB
[startup+3593.6 s]
/proc/loadavg: 3.13 3.26 3.63 4/258 44768
/proc/meminfo: memFree=128541448/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=601988 memory=573064 CPUtime=3583.09 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 136195 0 0 0 358284 25 0 0 20 0 1 0 47839361 616435712 143266 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 150497 143266 3968 3530 0 141948 0
Current children cumulated CPU time: 3583.09 s
Current children cumulated vsize: 601988 KiB
Current children cumulated memory: 573064 KiB
[startup+3595.2 s]
/proc/loadavg: 3.13 3.26 3.63 4/258 44768
/proc/meminfo: memFree=128525320/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=608808 memory=580872 CPUtime=3584.68 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 138139 0 0 0 358443 25 0 0 20 0 1 0 47839361 623419392 145218 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 152202 145218 3968 3530 0 143653 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 608808 KiB
Current children cumulated memory: 580872 KiB
[startup+3596.8 s]
/proc/loadavg: 3.13 3.26 3.63 4/258 44768
/proc/meminfo: memFree=128525572/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=631840 memory=603272 CPUtime=3586.28 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 143733 0 0 0 358601 27 0 0 20 0 1 0 47839361 647004160 150818 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 157960 150818 3968 3530 0 149411 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 631840 KiB
Current children cumulated memory: 603272 KiB
[startup+3597.2 s]
/proc/loadavg: 3.13 3.26 3.63 4/258 44768
/proc/meminfo: memFree=128509444/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=631840 memory=603272 CPUtime=3586.68 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 143736 0 0 0 358641 27 0 0 20 0 1 0 47839361 647004160 150818 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 157960 150818 3968 3530 0 149411 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 631840 KiB
Current children cumulated memory: 603272 KiB
[startup+3597.4 s]
/proc/loadavg: 3.13 3.26 3.63 4/258 44768
/proc/meminfo: memFree=128509444/131249996 swapFree=33005272/33010684
[pid=44452] ppid=44449 vsize=631840 memory=603272 CPUtime=3586.88 cores=5,7
/proc/44452/stat : 44452 (pbscip) R 44449 44452 43185 0 -1 4194304 143736 0 0 0 358661 27 0 0 20 0 1 0 47839361 647004160 150818 18446744073709551615 4235264 18693293 140732107161200 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51388416 140732107164041 140732107164140 140732107164140 140732107169742 0
/proc/44452/statm: 157960 150818 3968 3530 0 149411 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 631840 KiB
Current children cumulated memory: 603272 KiB
Child status: 0
Real time (s): 3597.49
CPU time (s): 3586.98
CPU user time (s): 3586.7
CPU system time (s): 0.281091
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 631840
Max. memory (cumulated for all children) (KiB): 603272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.7
system time used= 0.281091
maximum resident set size= 603272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143743
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= 110
involuntary context switches= 18837
# summary of solver processes directly reported to runsolver:
# pid: 44452
# total CPU time (s): 3586.98
# total CPU user time (s): 3586.7
# total CPU system time (s): 0.281091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35601 second user time and 14.4325 second system time
The end