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-4432637-1721075018.opb>
0.00/0.03 c original problem has 1961 variables (1961 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.03 c problem read in 0.02
0.00/0.04 o 1961
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.961000e+03
0.00/0.04 c presolving:
0.00/0.06 c (round 1, fast) 140 del vars, 140 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3858 clqs
0.00/0.06 c (round 2, fast) 292 del vars, 649 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3349 clqs
0.00/0.06 c (round 3, fast) 338 del vars, 761 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3237 clqs
0.00/0.07 c (round 4, fast) 371 del vars, 855 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3143 clqs
0.00/0.07 c (round 5, fast) 379 del vars, 879 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3119 clqs
0.00/0.07 c (round 6, fast) 382 del vars, 894 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3104 clqs
0.00/0.07 c (round 7, fast) 383 del vars, 899 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3099 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.10/0.11 c (round 8, exhaustive) 383 del vars, 901 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3099 upgd conss, 0 impls, 3099 clqs
0.10/0.12 c (0.1s) probing: 51/1578 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.12 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.10/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.13 c (0.1s) no symmetry present (symcode time: 0.00)
0.10/0.13 c presolving (9 rounds: 9 fast, 2 medium, 2 exhaustive):
0.10/0.13 c 383 deleted vars, 901 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.13 c 0 implications, 3099 cliques
0.10/0.13 c presolved problem has 1578 variables (1578 bin, 0 int, 0 impl, 0 cont) and 3099 constraints
0.10/0.13 c 3099 constraints of type <setppc>
0.10/0.13 c transformed objective value is always integral (scale: 1)
0.10/0.13 c Presolving Time: 0.09
0.10/0.13 c - non default parameters ----------------------------------------------------------------------
0.10/0.13 c # SCIP version 10.0.0
0.10/0.13 c
0.10/0.13 c # maximal time in seconds to run
0.10/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.10/0.13 c limits/time = 3596.99411
0.10/0.13 c
0.10/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.10/0.13 c limits/memory = 27900
0.10/0.13 c
0.10/0.13 c # belongs reading time to solving time?
0.10/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.10/0.13 c timing/reading = TRUE
0.10/0.13 c
0.10/0.13 c -----------------------------------------------------------------------------------------------
0.10/0.13 c start solving
0.10/0.13 c
0.10/0.13 o 1767
0.10/0.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.13 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1578 |3099 | 0 | 0 | 0 | 0 | 0 | 1.890000e+02 | 1.767000e+03 | 834.92%| unknown
0.10/0.15 o 1196
0.10/0.15 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1578 |3099 |3099 | 0 | 0 | 0 | 0 | 1.890000e+02 | 1.196000e+03 | 532.80%| unknown
0.10/0.15 o 1095
0.10/0.15 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1578 |3099 |3099 | 0 | 0 | 0 | 0 | 1.890000e+02 | 1.095000e+03 | 479.37%| unknown
0.10/0.17 o 1088
0.10/0.17 c i 0.2s| 1 | 0 | 0 | - | oneopt| 0 |1578 |3099 |3099 | 0 | 0 | 0 | 0 | 1.890000e+02 | 1.088000e+03 | 475.66%| unknown
0.10/0.21 c 0.2s| 1 | 0 | 1970 | - | 25M | 0 |1578 |3099 |3099 | 0 | 0 | 0 | 0 | 9.780000e+02 | 1.088000e+03 | 11.25%| unknown
0.41/0.48 c 0.5s| 1 | 0 | 2969 | - | 27M | 0 |1578 |3099 |3126 | 27 | 1 | 0 | 0 | 9.910000e+02 | 1.088000e+03 | 9.79%| unknown
0.68/0.78 c 0.8s| 1 | 0 | 3826 | - | 27M | 0 |1578 |3099 |3148 | 49 | 2 | 0 | 0 | 9.940000e+02 | 1.088000e+03 | 9.46%| unknown
1.09/1.19 c 1.2s| 1 | 0 | 4908 | - | 29M | 0 |1578 |3099 |3170 | 71 | 3 | 0 | 0 | 9.965000e+02 | 1.088000e+03 | 9.18%| unknown
1.78/1.88 c 1.9s| 1 | 0 | 7069 | - | 32M | 0 |1578 |3099 |3194 | 95 | 4 | 0 | 0 | 9.997500e+02 | 1.088000e+03 | 8.83%| unknown
2.78/2.88 c 2.9s| 1 | 0 | 9592 | - | 34M | 0 |1578 |3099 |3215 | 116 | 5 | 0 | 0 | 1.001308e+03 | 1.088000e+03 | 8.66%| unknown
3.78/3.81 c 3.8s| 1 | 0 | 11405 | - | 53M | 0 |1578 |3099 |3230 | 131 | 6 | 0 | 0 | 1.003026e+03 | 1.088000e+03 | 8.47%| unknown
5.27/5.39 c 5.4s| 1 | 0 | 12226 | - | 73M | 0 |1578 |3099 |3235 | 136 | 7 | 0 | 0 | 1.003496e+03 | 1.088000e+03 | 8.42%| unknown
7.08/7.17 c 7.2s| 1 | 0 | 12950 | - | 97M | 0 |1578 |3099 |3238 | 139 | 8 | 0 | 0 | 1.003757e+03 | 1.088000e+03 | 8.39%| unknown
7.66/7.72 c 7.7s| 1 | 0 | 13152 | - | 97M | 0 |1578 |3099 |3241 | 142 | 9 | 0 | 0 | 1.003777e+03 | 1.088000e+03 | 8.39%| unknown
8.26/8.35 c 8.3s| 1 | 0 | 13975 | - | 97M | 0 |1578 |3099 |3243 | 144 | 10 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
8.36/8.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.36/8.48 c 8.5s| 1 | 0 | 13986 | - | 99M | 0 |1578 |3099 |3243 | 145 | 11 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
8.56/8.61 c 8.6s| 1 | 0 | 13989 | - | 99M | 0 |1578 |3099 |3244 | 146 | 12 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
8.66/8.74 c 8.7s| 1 | 0 | 14002 | - | 99M | 0 |1578 |3099 |3247 | 149 | 13 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
8.76/8.87 c 8.9s| 1 | 0 | 14021 | - | 100M | 0 |1578 |3099 |3248 | 150 | 14 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
8.86/9.00 c 9.0s| 1 | 0 | 14027 | - | 101M | 0 |1578 |3099 |3249 | 151 | 15 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
9.07/9.13 c 9.1s| 1 | 0 | 14028 | - | 101M | 0 |1578 |3099 |3250 | 152 | 16 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
9.17/9.26 c 9.3s| 1 | 0 | 14038 | - | 101M | 0 |1578 |3099 |3234 | 153 | 17 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
9.27/9.39 c 9.4s| 1 | 0 | 14056 | - | 102M | 0 |1578 |3099 |3235 | 154 | 18 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
9.46/9.52 c 9.5s| 1 | 0 | 14069 | - | 102M | 0 |1578 |3099 |3236 | 155 | 19 | 0 | 0 | 1.004338e+03 | 1.088000e+03 | 8.33%| unknown
9.66/9.70 c 9.7s| 1 | 0 | 14502 | - | 102M | 0 |1578 |3099 |3239 | 158 | 20 | 0 | 0 | 1.004433e+03 | 1.088000e+03 | 8.32%| unknown
12.07/12.17 c 12.2s| 1 | 2 | 14504 | - | 102M | 0 |1578 |3099 |3239 | 158 | 21 | 0 | 19 | 1.004889e+03 | 1.088000e+03 | 8.27%| unknown
30.70/30.84 o 1048
30.70/30.84 c *30.8s| 47 | 44 | 30208 | 341.4 | LP | 46 |1578 |3099 |3243 | 181 | 1 | 0 | 170 | 1.005354e+03 | 1.048000e+03 | 4.24%| unknown
35.90/36.04 o 1046
35.90/36.04 c *36.0s| 67 | 41 | 33152 | 282.6 | LP | 46 |1578 |3099 |3251 | 207 | 1 | 0 | 170 | 1.005354e+03 | 1.046000e+03 | 4.04%| unknown
37.00/37.18 o 1045
37.00/37.18 c *37.2s| 84 | 37 | 36359 | 263.3 | LP | 46 |1578 |3101 |3240 | 219 | 1 | 2 | 170 | 1.005354e+03 | 1.045000e+03 | 3.94%| unknown
37.29/37.46 c 37.4s| 100 | 41 | 38028 | 237.6 | 127M | 46 |1578 |3101 |3237 | 219 | 0 | 2 | 170 | 1.005354e+03 | 1.045000e+03 | 3.94%| unknown
42.28/42.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.28/42.43 c 42.4s| 200 | 81 | 60623 | 231.8 | 129M | 46 |1578 |3102 |3244 | 280 | 1 | 3 | 202 | 1.005354e+03 | 1.045000e+03 | 3.94%| unknown
51.45/51.62 o 1044
51.45/51.62 c *51.6s| 270 | 100 | 85296 | 263.2 | LP | 46 |1578 |3135 |3240 | 324 | 2 | 36 | 218 | 1.005387e+03 | 1.044000e+03 | 3.84%| unknown
52.65/52.84 c 52.8s| 300 | 108 | 94429 | 267.3 | 144M | 46 |1578 |3169 |3238 | 324 | 0 | 70 | 218 | 1.005529e+03 | 1.044000e+03 | 3.83%| unknown
71.40/71.67 o 1043
71.40/71.67 c d71.7s| 355 | 133 |143014 | 363.0 |guideddi| 46 |1578 |3299 |3252 | 0 | 1 | 200 | 266 | 1.006632e+03 | 1.043000e+03 | 3.61%| unknown
73.40/73.60 c 73.6s| 400 | 148 |157974 | 359.6 | 172M | 46 |1578 |3333 |3242 | 423 | 1 | 234 | 266 | 1.006892e+03 | 1.043000e+03 | 3.59%| unknown
78.08/78.32 c 78.3s| 500 | 160 |181770 | 335.2 | 173M | 46 |1578 |3471 |3248 | 474 | 0 | 372 | 318 | 1.006958e+03 | 1.043000e+03 | 3.58%| unknown
79.18/79.48 o 1039
79.18/79.48 c L79.5s| 555 | 142 |190191 | 317.1 |crossove| 46 |1578 |3471 |3245 | 481 | 2 | 372 | 318 | 1.006958e+03 | 1.039000e+03 | 3.18%| unknown
85.77/86.02 c 86.0s| 600 | 169 |227505 | 355.6 | 169M | 46 |1578 |3507 |3245 | 493 | 0 | 408 | 348 | 1.007000e+03 | 1.039000e+03 | 3.18%| unknown
108.18/108.50 c 108s| 700 | 205 |282648 | 383.6 | 189M | 46 |1578 |3563 |3246 | 682 | 1 | 474 | 379 | 1.007000e+03 | 1.039000e+03 | 3.18%| unknown
119.05/119.46 c 119s| 800 | 217 |314900 | 376.0 | 197M | 46 |1578 |3601 |3253 | 788 | 0 | 517 | 395 | 1.007108e+03 | 1.039000e+03 | 3.17%| unknown
120.84/121.21 c 121s| 900 | 215 |328124 | 348.9 | 197M | 46 |1578 |3601 |3248 | 819 | 1 | 518 | 395 | 1.007108e+03 | 1.039000e+03 | 3.17%| unknown
125.74/126.13 c 126s| 1000 | 231 |354812 | 340.7 | 198M | 46 |1578 |3659 |3253 | 835 | 0 | 592 | 428 | 1.007289e+03 | 1.039000e+03 | 3.15%| unknown
136.19/136.66 c 137s| 1100 | 239 |387745 | 339.6 | 200M | 46 |1578 |3659 |3256 | 985 | 1 | 594 | 443 | 1.007490e+03 | 1.039000e+03 | 3.13%| unknown
140.59/141.06 c 141s| 1200 | 243 |411819 | 331.4 | 200M | 46 |1578 |3796 |3260 |1008 | 1 | 761 | 487 | 1.007536e+03 | 1.039000e+03 | 3.12%| unknown
150.84/151.30 c 151s| 1300 | 251 |446545 | 332.6 | 201M | 46 |1578 |3849 |3252 |1117 | 1 | 831 | 514 | 1.007597e+03 | 1.039000e+03 | 3.12%| unknown
161.72/162.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
161.72/162.30 c 162s| 1400 | 257 |503843 | 349.8 | 202M | 46 |1578 |3959 |3259 |1206 | 1 | 970 | 559 | 1.007743e+03 | 1.039000e+03 | 3.10%| unknown
164.62/165.13 c 165s| 1500 | 255 |519208 | 336.7 | 202M | 46 |1578 |3972 |3260 |1254 | 1 | 986 | 577 | 1.007743e+03 | 1.039000e+03 | 3.10%| unknown
170.89/171.43 c 171s| 1600 | 253 |544973 | 331.8 | 202M | 46 |1578 |3982 |3247 |1310 | 1 |1000 | 607 | 1.008210e+03 | 1.039000e+03 | 3.05%| unknown
173.38/173.90 c 174s| 1700 | 253 |563403 | 323.1 | 202M | 46 |1578 |3982 |3255 |1366 | 0 |1000 | 607 | 1.008210e+03 | 1.039000e+03 | 3.05%| unknown
188.73/189.31 c 189s| 1800 | 269 |613588 | 333.0 | 205M | 46 |1578 |4017 |3261 |1536 | 2 |1044 | 641 | 1.008349e+03 | 1.039000e+03 | 3.04%| unknown
196.31/196.97 c 197s| 1900 | 279 |646179 | 332.6 | 206M | 46 |1578 |4027 |3272 |1646 | 1 |1057 | 670 | 1.008430e+03 | 1.039000e+03 | 3.03%| unknown
204.39/205.02 c 205s| 2000 | 281 |678985 | 332.4 | 208M | 46 |1578 |4027 |3270 |1803 | 1 |1059 | 699 | 1.008455e+03 | 1.039000e+03 | 3.03%| unknown
212.75/213.42 c 213s| 2100 | 285 |709532 | 331.1 | 209M | 46 |1578 |4027 |3282 |1921 | 2 |1061 | 714 | 1.008457e+03 | 1.039000e+03 | 3.03%| unknown
216.54/217.23 c 217s| 2200 | 289 |733704 | 327.1 | 209M | 46 |1578 |4027 |3270 |1954 | 1 |1063 | 728 | 1.008491e+03 | 1.039000e+03 | 3.03%| unknown
225.51/226.20 c 226s| 2300 | 295 |765917 | 326.8 | 210M | 46 |1578 |4089 |3273 |2060 | 1 |1150 | 768 | 1.008543e+03 | 1.039000e+03 | 3.02%| unknown
232.89/233.60 c 234s| 2400 | 299 |794269 | 325.0 | 211M | 46 |1578 |4089 |3278 |2141 | 1 |1150 | 783 | 1.008560e+03 | 1.039000e+03 | 3.02%| unknown
236.18/236.91 c 237s| 2500 | 295 |814926 | 320.3 | 211M | 46 |1578 |4125 |3261 |2180 | 0 |1195 | 808 | 1.008560e+03 | 1.039000e+03 | 3.02%| unknown
240.76/241.55 c 242s| 2600 | 293 |834631 | 315.6 | 211M | 46 |1578 |4185 |3269 |2234 | 0 |1265 | 839 | 1.008560e+03 | 1.039000e+03 | 3.02%| unknown
249.44/250.28 c 250s| 2700 | 311 |886301 | 323.0 | 212M | 46 |1578 |4196 |3327 |2388 | 1 |1278 | 862 | 1.008758e+03 | 1.039000e+03 | 3.00%| unknown
257.34/258.12 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
257.34/258.14 c (run 1, node 2798) performing user restart
257.34/258.14 c
257.34/258.15 c (restart) converted 217 cuts from the global cut pool into linear constraints
257.34/258.15 c
257.52/258.31 c presolving:
257.52/258.32 c (round 1, fast) 0 del vars, 11 del conss, 0 add conss, 0 chg bounds, 3377 chg sides, 3886 chg coeffs, 0 upgd conss, 0 impls, 3109 clqs
257.52/258.34 c (round 2, exhaustive) 0 del vars, 11 del conss, 0 add conss, 0 chg bounds, 3377 chg sides, 3891 chg coeffs, 240 upgd conss, 0 impls, 3109 clqs
257.52/258.38 c (round 3, exhaustive) 0 del vars, 68 del conss, 0 add conss, 0 chg bounds, 3377 chg sides, 4070 chg coeffs, 240 upgd conss, 0 impls, 3109 clqs
257.62/258.41 c (round 4, exhaustive) 0 del vars, 85 del conss, 0 add conss, 0 chg bounds, 3377 chg sides, 4073 chg coeffs, 240 upgd conss, 0 impls, 3109 clqs
257.62/258.42 c (round 5, exhaustive) 0 del vars, 85 del conss, 0 add conss, 0 chg bounds, 3377 chg sides, 4504 chg coeffs, 240 upgd conss, 0 impls, 3109 clqs
257.62/258.46 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
257.62/258.46 c 0 deleted vars, 85 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3377 changed sides, 4508 changed coefficients
257.62/258.46 c 0 implications, 3109 cliques
257.62/258.46 c presolved problem has 1578 variables (1578 bin, 0 int, 0 impl, 0 cont) and 4340 constraints
257.62/258.46 c 210 constraints of type <knapsack>
257.62/258.46 c 3109 constraints of type <setppc>
257.62/258.46 c 48 constraints of type <linear>
257.62/258.46 c 973 constraints of type <logicor>
257.62/258.46 c transformed objective value is always integral (scale: 1)
257.62/258.46 c Presolving Time: 0.26
257.72/258.52 c transformed 99/100 original solutions to the transformed problem space
257.72/258.52 c
258.52/259.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
258.52/259.33 c 259s| 1 | 0 |935144 | - | 192M | 0 |1578 |4340 |3316 | 0 | 0 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
259.12/259.91 c 260s| 1 | 0 |935152 | - | 192M | 0 |1578 |4340 |3317 | 1 | 1 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
259.62/260.48 c 260s| 1 | 0 |935160 | - | 192M | 0 |1578 |4340 |3318 | 2 | 2 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
260.23/261.06 c 261s| 1 | 0 |935287 | - | 192M | 0 |1578 |4340 |3319 | 3 | 3 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
260.71/261.59 c 262s| 1 | 0 |935288 | - | 192M | 0 |1578 |4340 |3320 | 4 | 4 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
261.33/262.14 c 262s| 1 | 0 |935427 | - | 192M | 0 |1578 |4340 |3321 | 5 | 5 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
261.81/262.67 c 263s| 1 | 0 |935430 | - | 193M | 0 |1578 |4340 |3322 | 6 | 6 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
262.41/263.21 c 263s| 1 | 0 |935434 | - | 193M | 0 |1578 |4340 |3324 | 8 | 7 |1299 | 893 | 1.008792e+03 | 1.039000e+03 | 2.99%| unknown
263.32/264.19 c 264s| 1 | 2 |936905 | - | 194M | 0 |1578 |4362 |3324 | 8 | 8 |1321 | 895 | 1.008803e+03 | 1.039000e+03 | 2.99%| unknown
272.20/273.06 c 273s| 100 | 39 |986910 | 332.9 | 204M | 29 |1578 |4448 |3270 | 14 | 1 |1407 | 931 | 1.010082e+03 | 1.039000e+03 | 2.86%| unknown
277.18/278.02 c 278s| 200 | 45 | 1017k| 331.9 | 207M | 32 |1578 |4508 |3270 | 19 | 0 |1481 | 957 | 1.010651e+03 | 1.039000e+03 | 2.81%| unknown
280.46/281.31 c 281s| 300 | 47 | 1037k| 327.8 | 207M | 33 |1578 |4588 |3269 | 19 | 1 |1574 | 984 | 1.010651e+03 | 1.039000e+03 | 2.81%| unknown
290.84/291.70 c 292s| 400 | 59 | 1101k| 337.5 | 214M | 33 |1578 |4702 |3269 | 21 | 1 |1719 |1030 | 1.010989e+03 | 1.039000e+03 | 2.77%| unknown
296.14/297.02 c 297s| 500 | 67 | 1130k| 336.1 | 217M | 36 |1578 |4826 |3269 | 26 | 1 |1872 |1084 | 1.011115e+03 | 1.039000e+03 | 2.76%| unknown
300.62/301.52 c 302s| 600 | 69 | 1156k| 333.8 | 226M | 36 |1578 |4948 |3269 | 39 | 0 |2019 |1121 | 1.011115e+03 | 1.039000e+03 | 2.76%| unknown
305.80/306.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
305.80/306.75 c 307s| 700 | 75 | 1185k| 332.5 | 230M | 39 |1578 |5034 |3270 | 48 | 1 |2126 |1167 | 1.011796e+03 | 1.039000e+03 | 2.69%| unknown
311.69/312.64 c 313s| 800 | 87 | 1221k| 333.4 | 230M | 39 |1578 |5058 |3271 | 50 | 0 |2160 |1196 | 1.012020e+03 | 1.039000e+03 | 2.67%| unknown
317.37/318.36 c 318s| 900 | 95 | 1255k| 333.5 | 230M | 39 |1578 |5160 |3270 | 52 | 0 |2290 |1251 | 1.012205e+03 | 1.039000e+03 | 2.65%| unknown
323.07/324.07 c 324s| 1000 | 107 | 1289k| 333.7 | 230M | 39 |1578 |5234 |3270 | 53 | 0 |2381 |1291 | 1.012646e+03 | 1.039000e+03 | 2.60%| unknown
331.04/332.05 c 332s| 1100 | 111 | 1323k| 333.9 | 233M | 40 |1578 |5366 |3276 | 82 | 0 |2547 |1342 | 1.012743e+03 | 1.039000e+03 | 2.59%| unknown
339.31/340.37 c 340s| 1200 | 119 | 1365k| 335.9 | 237M | 40 |1578 |5427 |3272 | 140 | 1 |2626 |1385 | 1.012776e+03 | 1.039000e+03 | 2.59%| unknown
347.79/348.80 c 349s| 1300 | 135 | 1407k| 338.0 | 239M | 40 |1578 |5528 |3288 | 176 | 1 |2746 |1436 | 1.012881e+03 | 1.039000e+03 | 2.58%| unknown
352.38/353.40 c 353s| 1400 | 139 | 1434k| 336.5 | 239M | 40 |1578 |5714 |3287 | 179 | 0 |2969 |1488 | 1.012920e+03 | 1.039000e+03 | 2.57%| unknown
357.47/358.51 c 359s| 1500 | 145 | 1467k| 336.2 | 239M | 40 |1578 |5850 |3289 | 183 | 0 |3131 |1542 | 1.012930e+03 | 1.039000e+03 | 2.57%| unknown
368.05/369.18 c 369s| 1600 | 157 | 1506k| 337.5 | 257M | 40 |1578 |5940 |3290 | 236 | 1 |3247 |1601 | 1.012956e+03 | 1.039000e+03 | 2.57%| unknown
372.62/373.78 c 374s| 1700 | 159 | 1534k| 336.2 | 257M | 40 |1578 |6018 |3292 | 250 | 0 |3350 |1640 | 1.012956e+03 | 1.039000e+03 | 2.57%| unknown
382.50/383.69 c 384s| 1800 | 163 | 1574k| 337.6 | 258M | 40 |1578 |6091 |3292 | 305 | 0 |3457 |1694 | 1.013025e+03 | 1.039000e+03 | 2.56%| unknown
388.00/389.11 c 389s| 1900 | 169 | 1607k| 337.3 | 258M | 40 |1578 |6200 |3296 | 324 | 0 |3606 |1759 | 1.013028e+03 | 1.039000e+03 | 2.56%| unknown
395.57/396.71 c 397s| 2000 | 175 | 1650k| 339.3 | 258M | 40 |1578 |6332 |3299 | 375 | 1 |3784 |1837 | 1.013220e+03 | 1.039000e+03 | 2.54%| unknown
402.05/403.26 c 403s| 2100 | 177 | 1688k| 340.2 | 258M | 40 |1578 |6451 |3298 | 397 | 0 |3943 |1902 | 1.013288e+03 | 1.039000e+03 | 2.54%| unknown
407.54/408.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
407.54/408.72 c 409s| 2200 | 185 | 1724k| 340.6 | 259M | 40 |1578 |6503 |3299 | 424 | 1 |4012 |1942 | 1.013346e+03 | 1.039000e+03 | 2.53%| unknown
412.94/414.19 c 414s| 2300 | 189 | 1759k| 340.8 | 259M | 40 |1578 |6569 |3302 | 428 | 0 |4100 |1995 | 1.013373e+03 | 1.039000e+03 | 2.53%| unknown
423.00/424.23 c 424s| 2400 | 207 | 1809k| 343.8 | 259M | 40 |1578 |6629 |3304 | 488 | 0 |4186 |2050 | 1.013437e+03 | 1.039000e+03 | 2.52%| unknown
429.38/430.68 c 431s| 2500 | 207 | 1842k| 343.5 | 260M | 40 |1578 |6684 |3301 | 531 | 1 |4270 |2099 | 1.013588e+03 | 1.039000e+03 | 2.51%| unknown
440.06/441.34 c 441s| 2600 | 237 | 1905k| 348.8 | 260M | 40 |1578 |6718 |3308 | 632 | 0 |4340 |2147 | 1.013963e+03 | 1.039000e+03 | 2.47%| unknown
446.44/447.71 c 448s| 2700 | 237 | 1942k| 349.3 | 260M | 40 |1578 |6765 |3308 | 645 | 1 |4402 |2190 | 1.013963e+03 | 1.039000e+03 | 2.47%| unknown
464.00/465.31 c 465s| 2800 | 263 | 2037k| 360.0 | 262M | 40 |1578 |6782 |3319 | 749 | 1 |4437 |2231 | 1.014250e+03 | 1.039000e+03 | 2.44%| unknown
472.58/473.93 c 474s| 2900 | 277 | 2081k| 361.3 | 270M | 40 |1578 |6792 |3320 | 836 | 0 |4470 |2261 | 1.014309e+03 | 1.039000e+03 | 2.43%| unknown
483.25/484.62 c 485s| 3000 | 285 | 2124k| 362.6 | 272M | 40 |1578 |6803 |3321 | 894 | 0 |4490 |2299 | 1.014393e+03 | 1.039000e+03 | 2.43%| unknown
490.64/492.06 c 492s| 3100 | 291 | 2163k| 363.0 | 273M | 40 |1578 |6860 |3337 | 927 | 0 |4578 |2334 | 1.014437e+03 | 1.039000e+03 | 2.42%| unknown
497.52/499.01 c 499s| 3200 | 295 | 2201k| 363.3 | 273M | 40 |1578 |6897 |3334 |1008 | 1 |4632 |2372 | 1.014476e+03 | 1.039000e+03 | 2.42%| unknown
504.31/505.79 c 506s| 3300 | 301 | 2241k| 363.9 | 275M | 40 |1578 |6914 |3331 |1079 | 0 |4674 |2403 | 1.014506e+03 | 1.039000e+03 | 2.41%| unknown
511.99/513.40 c 513s| 3400 | 299 | 2286k| 365.4 | 275M | 40 |1578 |7000 |3323 |1195 | 0 |4791 |2450 | 1.014524e+03 | 1.039000e+03 | 2.41%| unknown
521.47/523.00 c 523s| 3500 | 307 | 2330k| 366.5 | 277M | 40 |1578 |7142 |3338 |1282 | 1 |4986 |2519 | 1.014536e+03 | 1.039000e+03 | 2.41%| unknown
525.76/527.29 c 527s| 3600 | 309 | 2361k| 365.6 | 278M | 42 |1578 |7139 |3337 |1289 | 0 |5002 |2536 | 1.014560e+03 | 1.039000e+03 | 2.41%| unknown
535.13/536.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
535.13/536.66 c 537s| 3700 | 319 | 2413k| 368.0 | 287M | 43 |1578 |7202 |3341 |1426 | 1 |5128 |2582 | 1.014600e+03 | 1.039000e+03 | 2.40%| unknown
545.52/547.07 c 547s| 3800 | 331 | 2463k| 370.0 | 288M | 43 |1578 |7189 |3348 |1513 | 0 |5166 |2615 | 1.014738e+03 | 1.039000e+03 | 2.39%| unknown
554.19/555.79 c 556s| 3900 | 343 | 2511k| 371.7 | 289M | 43 |1578 |7170 |3351 |1649 | 0 |5169 |2641 | 1.014843e+03 | 1.039000e+03 | 2.38%| unknown
564.06/565.67 c 566s| 4000 | 357 | 2562k| 373.7 | 289M | 43 |1578 |7146 |3351 |1774 | 1 |5189 |2674 | 1.014935e+03 | 1.039000e+03 | 2.37%| unknown
570.75/572.37 c 572s| 4100 | 371 | 2607k| 374.8 | 289M | 43 |1578 |7111 |3351 |1778 | 0 |5212 |2701 | 1.015016e+03 | 1.039000e+03 | 2.36%| unknown
575.83/577.43 c 577s| 4200 | 377 | 2639k| 374.0 | 289M | 43 |1578 |7130 |3353 |1796 | 1 |5269 |2736 | 1.015023e+03 | 1.039000e+03 | 2.36%| unknown
580.54/582.14 c 582s| 4300 | 377 | 2668k| 372.8 | 289M | 43 |1578 |7214 |3353 |1813 | 1 |5388 |2778 | 1.015023e+03 | 1.039000e+03 | 2.36%| unknown
589.60/591.25 c 591s| 4400 | 383 | 2728k| 376.0 | 289M | 43 |1578 |7185 |3357 |1823 | 0 |5449 |2808 | 1.015040e+03 | 1.039000e+03 | 2.36%| unknown
594.99/596.68 c 597s| 4500 | 381 | 2760k| 375.2 | 289M | 43 |1578 |7341 |3354 |1832 | 0 |5657 |2878 | 1.015040e+03 | 1.039000e+03 | 2.36%| unknown
598.88/600.56 c 601s| 4600 | 379 | 2786k| 373.7 | 289M | 43 |1578 |7406 |3356 |1838 | 1 |5741 |2912 | 1.015040e+03 | 1.039000e+03 | 2.36%| unknown
604.07/605.71 c 606s| 4700 | 379 | 2817k| 372.8 | 289M | 43 |1578 |7424 |3351 |1862 | 1 |5768 |2943 | 1.015040e+03 | 1.039000e+03 | 2.36%| unknown
610.46/612.18 c 612s| 4800 | 395 | 2861k| 373.7 | 289M | 43 |1578 |7393 |3352 |1892 | 2 |5834 |2979 | 1.015092e+03 | 1.039000e+03 | 2.36%| unknown
618.93/620.61 c 621s| 4900 | 401 | 2908k| 374.9 | 290M | 43 |1578 |7512 |3352 |1950 | 1 |6072 |3054 | 1.015203e+03 | 1.039000e+03 | 2.34%| unknown
623.33/625.09 c 625s| 5000 | 397 | 2935k| 373.6 | 290M | 43 |1578 |7576 |3353 |1974 | 0 |6160 |3093 | 1.015203e+03 | 1.039000e+03 | 2.34%| unknown
634.59/636.30 c 636s| 5100 | 415 | 2989k| 375.6 | 290M | 43 |1578 |7591 |3355 |2084 | 1 |6330 |3163 | 1.015246e+03 | 1.039000e+03 | 2.34%| unknown
639.78/641.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.78/641.58 c 642s| 5200 | 421 | 3022k| 375.2 | 290M | 43 |1578 |7608 |3354 |2098 | 1 |6403 |3202 | 1.015288e+03 | 1.039000e+03 | 2.34%| unknown
645.06/646.87 c 647s| 5300 | 419 | 3056k| 374.7 | 290M | 43 |1578 |7732 |3356 |2115 | 1 |6571 |3264 | 1.015288e+03 | 1.039000e+03 | 2.34%| unknown
656.54/658.37 c 658s| 5400 | 425 | 3114k| 377.1 | 292M | 43 |1578 |7706 |3366 |2251 | 1 |6638 |3305 | 1.015480e+03 | 1.039000e+03 | 2.32%| unknown
664.52/666.37 c 666s| 5500 | 433 | 3161k| 378.4 | 292M | 43 |1578 |7858 |3339 |2305 | 0 |6860 |3360 | 1.015484e+03 | 1.039000e+03 | 2.32%| unknown
672.40/674.29 c 674s| 5600 | 437 | 3202k| 378.7 | 292M | 43 |1578 |7951 |3342 |2373 | 2 |6984 |3401 | 1.015492e+03 | 1.039000e+03 | 2.31%| unknown
679.38/681.22 c 681s| 5700 | 441 | 3245k| 379.3 | 292M | 43 |1578 |8104 |3342 |2385 | 1 |7204 |3456 | 1.015563e+03 | 1.039000e+03 | 2.31%| unknown
692.45/694.31 c 694s| 5800 | 461 | 3307k| 382.1 | 293M | 43 |1578 |8189 |3340 |2475 | 0 |7376 |3521 | 1.015630e+03 | 1.039000e+03 | 2.30%| unknown
703.23/705.12 c 705s| 5900 | 465 | 3359k| 383.6 | 293M | 43 |1578 |8240 |3341 |2620 | 1 |7471 |3562 | 1.015682e+03 | 1.039000e+03 | 2.30%| unknown
709.80/711.71 c 712s| 6000 | 471 | 3400k| 384.0 | 293M | 43 |1578 |8313 |3349 |2673 | 1 |7584 |3608 | 1.015682e+03 | 1.039000e+03 | 2.30%| unknown
716.10/718.08 c 718s| 6100 | 481 | 3440k| 384.2 | 294M | 43 |1578 |8439 |3350 |2701 | 1 |7783 |3668 | 1.015685e+03 | 1.039000e+03 | 2.30%| unknown
721.98/724.01 c 724s| 6200 | 477 | 3476k| 383.9 | 294M | 43 |1578 |8542 |3350 |2706 | 1 |7922 |3713 | 1.015685e+03 | 1.039000e+03 | 2.30%| unknown
729.08/731.05 c 731s| 6300 | 491 | 3516k| 384.1 | 294M | 43 |1578 |8565 |3350 |2775 | 2 |7992 |3743 | 1.015685e+03 | 1.039000e+03 | 2.30%| unknown
735.06/737.09 c 737s| 6400 | 491 | 3547k| 383.3 | 295M | 43 |1578 |8688 |3350 |2783 | 1 |8158 |3821 | 1.015685e+03 | 1.039000e+03 | 2.30%| unknown
741.24/743.25 c 743s| 6500 | 491 | 3583k| 383.1 | 295M | 43 |1578 |8822 |3353 |2808 | 1 |8344 |3884 | 1.015685e+03 | 1.039000e+03 | 2.30%| unknown
753.51/755.59 c 756s| 6600 | 507 | 3646k| 385.6 | 295M | 43 |1578 |8817 |3353 |2980 | 0 |8447 |3921 | 1.015848e+03 | 1.039000e+03 | 2.28%| unknown
758.79/760.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
758.79/760.85 c 761s| 6700 | 511 | 3680k| 385.2 | 295M | 43 |1578 |8905 |3356 |2991 | 1 |8600 |3968 | 1.015869e+03 | 1.039000e+03 | 2.28%| unknown
764.48/766.59 c 767s| 6800 | 523 | 3724k| 385.7 | 295M | 43 |1578 |8990 |3356 |3035 | 1 |8730 |3999 | 1.015874e+03 | 1.039000e+03 | 2.28%| unknown
777.25/779.36 c 779s| 6900 | 535 | 3770k| 386.5 | 296M | 43 |1578 |9063 |3358 |3139 | 1 |8877 |4095 | 1.015939e+03 | 1.039000e+03 | 2.27%| unknown
784.94/787.06 c 787s| 7000 | 537 | 3812k| 386.8 | 296M | 43 |1578 |9084 |3367 |3225 | 0 |9021 |4160 | 1.016021e+03 | 1.039000e+03 | 2.26%| unknown
792.71/794.89 c 795s| 7100 | 539 | 3856k| 387.4 | 296M | 43 |1578 |9212 |3363 |3321 | 0 |9225 |4230 | 1.016023e+03 | 1.039000e+03 | 2.26%| unknown
797.20/799.32 c 799s| 7200 | 537 | 3893k| 387.2 | 296M | 43 |1578 |9275 |3361 |3371 | 0 |9317 |4246 | 1.016023e+03 | 1.039000e+03 | 2.26%| unknown
801.19/803.33 c 803s| 7300 | 537 | 3926k| 386.6 | 296M | 43 |1578 |9341 |3354 |3406 | 0 |9412 |4269 | 1.016023e+03 | 1.039000e+03 | 2.26%| unknown
810.98/813.12 c 813s| 7400 | 541 | 3970k| 387.2 | 298M | 43 |1578 |9352 |3351 |3493 | 1 |9555 |4332 | 1.016076e+03 | 1.039000e+03 | 2.26%| unknown
816.76/818.95 c 819s| 7500 | 539 | 4009k| 387.2 | 298M | 43 |1578 |9373 |3360 |3575 | 0 |9639 |4365 | 1.016076e+03 | 1.039000e+03 | 2.26%| unknown
825.95/828.15 c 828s| 7600 | 545 | 4060k| 388.4 | 298M | 43 |1578 |9384 |3344 |3667 | 1 |9719 |4408 | 1.016117e+03 | 1.039000e+03 | 2.25%| unknown
830.72/832.94 c 833s| 7700 | 549 | 4100k| 388.5 | 298M | 43 |1578 |9512 |3355 |3723 | 0 |9887 |4441 | 1.016117e+03 | 1.039000e+03 | 2.25%| unknown
834.51/836.72 c 837s| 7800 | 553 | 4132k| 387.8 | 298M | 43 |1578 |9612 |3352 |3738 | 1 | 10k|4461 | 1.016117e+03 | 1.039000e+03 | 2.25%| unknown
838.40/840.61 c 841s| 7900 | 551 | 4161k| 386.9 | 298M | 43 |1578 |9696 |3350 |3754 | 1 | 10k|4479 | 1.016117e+03 | 1.039000e+03 | 2.25%| unknown
842.69/844.99 c 845s| 8000 | 553 | 4195k| 386.5 | 298M | 43 |1578 |9648 |3351 |3790 | 1 | 10k|4495 | 1.016147e+03 | 1.039000e+03 | 2.25%| unknown
846.39/848.65 c 849s| 8100 | 557 | 4231k| 386.2 | 298M | 43 |1578 |9631 |3353 |3818 | 0 | 10k|4498 | 1.016190e+03 | 1.039000e+03 | 2.24%| unknown
852.57/854.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
852.57/854.83 c 855s| 8200 | 565 | 4272k| 386.5 | 299M | 43 |1578 |9551 |3351 |3891 | 0 | 10k|4504 | 1.016225e+03 | 1.039000e+03 | 2.24%| unknown
861.86/864.16 c 864s| 8300 | 579 | 4347k| 389.7 | 299M | 43 |1578 |9453 |3355 |3959 | 0 | 10k|4504 | 1.016261e+03 | 1.039000e+03 | 2.24%| unknown
865.64/867.95 c 868s| 8400 | 591 | 4382k| 389.4 | 299M | 43 |1578 |9383 |3356 |3973 | 0 | 10k|4506 | 1.016305e+03 | 1.039000e+03 | 2.23%| unknown
874.83/877.19 c 877s| 8500 | 611 | 4439k| 391.0 | 299M | 43 |1578 |9210 |3358 |4107 | 1 | 10k|4507 | 1.016429e+03 | 1.039000e+03 | 2.22%| unknown
879.51/881.80 c 882s| 8600 | 623 | 4481k| 391.2 | 299M | 43 |1578 |9102 |3359 |4122 | 0 | 10k|4512 | 1.016460e+03 | 1.039000e+03 | 2.22%| unknown
886.49/888.87 c 889s| 8700 | 631 | 4530k| 392.1 | 299M | 43 |1578 |9064 |3360 |4217 | 0 | 10k|4535 | 1.016472e+03 | 1.039000e+03 | 2.22%| unknown
897.06/899.44 c 899s| 8800 | 645 | 4588k| 393.7 | 299M | 43 |1578 |8832 |3359 |4394 | 0 | 10k|4538 | 1.016514e+03 | 1.039000e+03 | 2.21%| unknown
901.66/904.10 c 904s| 8900 | 643 | 4626k| 393.6 | 299M | 43 |1578 |8779 |3358 |4480 | 0 | 10k|4549 | 1.016613e+03 | 1.039000e+03 | 2.20%| unknown
906.65/909.01 c 909s| 9000 | 645 | 4668k| 393.9 | 299M | 43 |1578 |8738 |3356 |4553 | 1 | 10k|4557 | 1.016613e+03 | 1.039000e+03 | 2.20%| unknown
910.83/913.20 c 913s| 9100 | 649 | 4707k| 393.8 | 299M | 43 |1578 |8657 |3365 |4591 | 1 | 10k|4557 | 1.016623e+03 | 1.039000e+03 | 2.20%| unknown
917.11/919.55 c 920s| 9200 | 659 | 4756k| 394.6 | 299M | 43 |1578 |8492 |3360 |4670 | 1 | 10k|4559 | 1.016651e+03 | 1.039000e+03 | 2.20%| unknown
921.10/923.58 c 924s| 9300 | 663 | 4793k| 394.4 | 299M | 43 |1578 |8438 |3365 |4716 | 0 | 10k|4560 | 1.016659e+03 | 1.039000e+03 | 2.20%| unknown
926.49/928.96 c 929s| 9400 | 681 | 4841k| 395.1 | 299M | 43 |1578 |8404 |3373 |4761 | 2 | 10k|4566 | 1.016666e+03 | 1.039000e+03 | 2.20%| unknown
930.18/932.66 c 933s| 9500 | 681 | 4871k| 394.3 | 299M | 43 |1578 |8421 |3371 |4781 | 2 | 10k|4576 | 1.016666e+03 | 1.039000e+03 | 2.20%| unknown
938.58/941.02 c 941s| 9600 | 689 | 4935k| 396.3 | 299M | 43 |1578 |8356 |3369 |4795 | 1 | 10k|4590 | 1.016714e+03 | 1.039000e+03 | 2.19%| unknown
947.56/950.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
947.56/950.07 c 950s| 9700 | 701 | 4988k| 397.4 | 299M | 43 |1578 |8142 |3365 |4896 | 1 | 10k|4591 | 1.016734e+03 | 1.039000e+03 | 2.19%| unknown
958.02/960.55 c 961s| 9800 | 709 | 5042k| 398.5 | 299M | 43 |1578 |7840 |3371 |5052 | 0 | 10k|4597 | 1.016776e+03 | 1.039000e+03 | 2.19%| unknown
966.40/968.99 c 969s| 9900 | 721 | 5092k| 399.3 | 301M | 43 |1578 |7691 |3362 |5185 | 1 | 10k|4606 | 1.016828e+03 | 1.039000e+03 | 2.18%| unknown
978.27/980.82 c 981s| 10000 | 725 | 5136k| 399.6 | 301M | 43 |1578 |7732 |3367 |5239 | 2 | 10k|4745 | 1.016870e+03 | 1.039000e+03 | 2.18%| unknown
987.15/989.76 c 990s| 10100 | 743 | 5186k| 400.4 | 301M | 43 |1578 |7443 |3365 |5354 | 0 | 10k|4766 | 1.016924e+03 | 1.039000e+03 | 2.17%| unknown
992.74/995.37 c 995s| 10200 | 745 | 5221k| 400.0 | 301M | 43 |1578 |7435 |3369 |5365 | 0 | 10k|4800 | 1.016974e+03 | 1.039000e+03 | 2.17%| unknown
999.02/1001.61 c 1002s| 10300 | 759 | 5261k| 400.0 | 301M | 43 |1578 |7274 |3366 |5416 | 0 | 11k|4817 | 1.017008e+03 | 1.039000e+03 | 2.16%| unknown
1001.53/1004.16 c 1004s| 10400 | 755 | 5281k| 398.5 | 301M | 43 |1578 |7290 |3366 |5429 | 1 | 11k|4825 | 1.017008e+03 | 1.039000e+03 | 2.16%| unknown
1008.51/1011.12 c 1011s| 10500 | 771 | 5335k| 399.6 | 301M | 43 |1578 |7095 |3373 |5533 | 1 | 11k|4836 | 1.017027e+03 | 1.039000e+03 | 2.16%| unknown
1014.40/1017.02 c 1017s| 10600 | 775 | 5373k| 399.4 | 301M | 43 |1578 |7069 |3375 |5627 | 1 | 11k|4846 | 1.017038e+03 | 1.039000e+03 | 2.16%| unknown
1017.58/1020.26 c 1020s| 10700 | 775 | 5400k| 398.5 | 301M | 43 |1578 |7029 |3346 |5647 | 1 | 11k|4848 | 1.017038e+03 | 1.039000e+03 | 2.16%| unknown
1021.48/1024.13 c 1024s| 10800 | 777 | 5433k| 397.9 | 301M | 43 |1578 |6926 |3350 |5680 | 0 | 11k|4853 | 1.017055e+03 | 1.039000e+03 | 2.16%| unknown
1029.95/1032.68 c 1033s| 10900 | 791 | 5502k| 400.1 | 301M | 43 |1578 |6787 |3331 |5766 | 0 | 11k|4853 | 1.017085e+03 | 1.039000e+03 | 2.15%| unknown
1033.04/1035.76 c 1036s| 11000 | 789 | 5532k| 399.4 | 301M | 43 |1578 |6786 |3332 |5821 | 1 | 11k|4855 | 1.017085e+03 | 1.039000e+03 | 2.15%| unknown
1039.22/1041.94 c 1042s| 11100 | 795 | 5574k| 399.5 | 301M | 43 |1578 |6684 |3332 |5906 | 1 | 11k|4860 | 1.017096e+03 | 1.039000e+03 | 2.15%| unknown
1048.80/1051.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1048.80/1051.52 c 1052s| 11200 | 805 | 5616k| 399.7 | 301M | 43 |1578 |6549 |3335 |6001 | 1 | 11k|4901 | 1.017174e+03 | 1.039000e+03 | 2.15%| unknown
1055.88/1058.63 c 1059s| 11300 | 807 | 5656k| 399.6 | 301M | 43 |1578 |6465 |3332 |6115 | 0 | 11k|4925 | 1.017208e+03 | 1.039000e+03 | 2.14%| unknown
1061.77/1064.58 c 1065s| 11400 | 807 | 5698k| 399.8 | 301M | 43 |1578 |6440 |3337 |6167 | 2 | 11k|4957 | 1.017208e+03 | 1.039000e+03 | 2.14%| unknown
1066.37/1069.18 c 1069s| 11500 | 801 | 5730k| 399.2 | 301M | 43 |1578 |6399 |3335 |6227 | 0 | 11k|4981 | 1.017208e+03 | 1.039000e+03 | 2.14%| unknown
1072.04/1074.80 c 1075s| 11600 | 807 | 5768k| 399.1 | 301M | 43 |1578 |6287 |3367 |6256 | 1 | 11k|4999 | 1.017228e+03 | 1.039000e+03 | 2.14%| unknown
1079.12/1081.93 c 1082s| 11700 | 811 | 5813k| 399.5 | 302M | 43 |1578 |6295 |3360 |6360 | 0 | 11k|5036 | 1.017234e+03 | 1.039000e+03 | 2.14%| unknown
1084.01/1086.85 c 1087s| 11800 | 813 | 5843k| 398.8 | 302M | 43 |1578 |6267 |3373 |6413 | 0 | 11k|5057 | 1.017234e+03 | 1.039000e+03 | 2.14%| unknown
1088.31/1091.14 c 1091s| 11900 | 817 | 5873k| 398.1 | 302M | 43 |1578 |6232 |3365 |6424 | 1 | 11k|5082 | 1.017235e+03 | 1.039000e+03 | 2.14%| unknown
1094.29/1097.15 c 1097s| 12000 | 825 | 5920k| 398.6 | 302M | 43 |1578 |6407 |3371 |6459 | 1 | 11k|5145 | 1.017235e+03 | 1.039000e+03 | 2.14%| unknown
1100.27/1103.11 c 1103s| 12100 | 827 | 5958k| 398.5 | 302M | 43 |1578 |6473 |3371 |6470 | 0 | 12k|5200 | 1.017250e+03 | 1.039000e+03 | 2.14%| unknown
1107.15/1110.08 c 1110s| 12200 | 839 | 6006k| 399.0 | 302M | 43 |1578 |6578 |3355 |6525 | 1 | 12k|5264 | 1.017269e+03 | 1.039000e+03 | 2.14%| unknown
1114.61/1117.56 c 1118s| 12300 | 845 | 6040k| 398.6 | 302M | 43 |1578 |6566 |3356 |6563 | 1 | 12k|5332 | 1.017322e+03 | 1.039000e+03 | 2.13%| unknown
1117.31/1120.26 c 1120s| 12400 | 847 | 6063k| 397.5 | 302M | 43 |1578 |6570 |3357 |6575 | 2 | 12k|5336 | 1.017322e+03 | 1.039000e+03 | 2.13%| unknown
1124.68/1127.66 c 1128s| 12500 | 851 | 6101k| 397.4 | 302M | 43 |1578 |6636 |3359 |6655 | 1 | 12k|5380 | 1.017410e+03 | 1.039000e+03 | 2.12%| unknown
1128.57/1131.54 c 1132s| 12600 | 849 | 6130k| 396.7 | 302M | 43 |1578 |6654 |3355 |6658 | 0 | 12k|5398 | 1.017445e+03 | 1.039000e+03 | 2.12%| unknown
1133.86/1136.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1133.86/1136.88 c 1137s| 12700 | 859 | 6170k| 396.7 | 302M | 43 |1578 |6429 |3359 |6710 | 0 | 12k|5403 | 1.017549e+03 | 1.039000e+03 | 2.11%| unknown
1137.94/1140.94 c 1141s| 12800 | 859 | 6204k| 396.3 | 302M | 43 |1578 |6467 |3339 |6794 | 0 | 12k|5431 | 1.017549e+03 | 1.039000e+03 | 2.11%| unknown
1144.32/1147.36 c 1147s| 12900 | 867 | 6243k| 396.3 | 303M | 43 |1578 |6490 |3347 |6886 | 1 | 12k|5466 | 1.017564e+03 | 1.039000e+03 | 2.11%| unknown
1156.10/1159.12 c 1159s| 13000 | 871 | 6280k| 396.1 | 303M | 43 |1578 |6556 |3343 |6996 | 1 | 12k|5596 | 1.017614e+03 | 1.039000e+03 | 2.10%| unknown
1159.38/1162.40 c 1162s| 13100 | 873 | 6311k| 395.6 | 303M | 43 |1578 |6466 |3351 |7014 | 1 | 12k|5596 | 1.017621e+03 | 1.039000e+03 | 2.10%| unknown
1162.48/1165.58 c 1166s| 13200 | 877 | 6341k| 395.0 | 303M | 43 |1578 |6484 |3358 |7038 | 1 | 12k|5601 | 1.017621e+03 | 1.039000e+03 | 2.10%| unknown
1174.05/1177.12 c 1177s| 13300 | 893 | 6427k| 397.9 | 303M | 43 |1578 |6361 |3361 |7138 | 1 | 12k|5602 | 1.017635e+03 | 1.039000e+03 | 2.10%| unknown
1179.53/1182.61 c 1183s| 13400 | 897 | 6463k| 397.7 | 303M | 43 |1578 |6438 |3361 |7145 | 0 | 13k|5651 | 1.017672e+03 | 1.039000e+03 | 2.10%| unknown
1191.09/1194.24 c 1194s| 13500 | 915 | 6519k| 398.6 | 303M | 43 |1578 |6444 |3364 |7309 | 1 | 13k|5690 | 1.017708e+03 | 1.039000e+03 | 2.09%| unknown
1198.37/1201.57 c 1202s| 13600 | 921 | 6559k| 398.7 | 304M | 43 |1578 |6414 |3364 |7366 | 1 | 13k|5718 | 1.017737e+03 | 1.039000e+03 | 2.09%| unknown
1202.36/1205.53 c 1206s| 13700 | 925 | 6596k| 398.5 | 304M | 43 |1578 |6446 |3362 |7428 | 1 | 13k|5724 | 1.017738e+03 | 1.039000e+03 | 2.09%| unknown
1206.24/1209.48 c 1209s| 13800 | 929 | 6631k| 398.2 | 304M | 43 |1578 |6461 |3363 |7454 | 0 | 13k|5737 | 1.017742e+03 | 1.039000e+03 | 2.09%| unknown
1209.24/1212.46 c 1212s| 13900 | 929 | 6659k| 397.5 | 304M | 43 |1578 |6457 |3365 |7463 | 1 | 13k|5737 | 1.017742e+03 | 1.039000e+03 | 2.09%| unknown
1215.22/1218.49 c 1218s| 14000 | 929 | 6699k| 397.5 | 304M | 43 |1578 |6308 |3343 |7603 | 1 | 13k|5748 | 1.017784e+03 | 1.039000e+03 | 2.08%| unknown
1219.70/1222.98 c 1223s| 14100 | 945 | 6739k| 397.5 | 304M | 43 |1578 |6279 |3371 |7647 | 1 | 13k|5752 | 1.017804e+03 | 1.039000e+03 | 2.08%| unknown
1222.00/1225.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1222.00/1225.21 c 1225s| 14200 | 945 | 6759k| 396.4 | 304M | 43 |1578 |6312 |3372 |7662 | 0 | 13k|5763 | 1.017804e+03 | 1.039000e+03 | 2.08%| unknown
1225.09/1228.34 c 1228s| 14300 | 947 | 6784k| 395.5 | 304M | 43 |1578 |6373 |3369 |7670 | 1 | 13k|5787 | 1.017804e+03 | 1.039000e+03 | 2.08%| unknown
1227.79/1231.06 c 1231s| 14400 | 951 | 6810k| 394.7 | 304M | 43 |1578 |6402 |3369 |7679 | 1 | 13k|5796 | 1.017804e+03 | 1.039000e+03 | 2.08%| unknown
1232.17/1235.48 c 1235s| 14500 | 957 | 6840k| 394.2 | 304M | 43 |1578 |6363 |3371 |7690 | 1 | 13k|5830 | 1.017841e+03 | 1.039000e+03 | 2.08%| unknown
1236.15/1239.45 c 1239s| 14600 | 953 | 6868k| 393.5 | 304M | 43 |1578 |6426 |3369 |7726 | 1 | 13k|5861 | 1.017855e+03 | 1.039000e+03 | 2.08%| unknown
1238.86/1242.12 c 1242s| 14700 | 955 | 6894k| 392.7 | 304M | 43 |1578 |6426 |3369 |7732 | 1 | 13k|5862 | 1.017855e+03 | 1.039000e+03 | 2.08%| unknown
1242.34/1245.69 c 1246s| 14800 | 959 | 6924k| 392.2 | 304M | 43 |1578 |6486 |3370 |7785 | 1 | 13k|5886 | 1.017871e+03 | 1.039000e+03 | 2.08%| unknown
1249.02/1252.32 c 1252s| 14900 | 977 | 6970k| 392.6 | 304M | 43 |1578 |6395 |3372 |7842 | 0 | 13k|5905 | 1.017909e+03 | 1.039000e+03 | 2.07%| unknown
1252.21/1255.54 c 1256s| 15000 | 985 | 7001k| 392.1 | 304M | 43 |1578 |6420 |3370 |7880 | 1 | 13k|5917 | 1.017911e+03 | 1.039000e+03 | 2.07%| unknown
1263.68/1267.03 c 1267s| 15100 | 993 | 7068k| 393.7 | 304M | 43 |1578 |6402 |3374 |8028 | 1 | 13k|5928 | 1.017930e+03 | 1.039000e+03 | 2.07%| unknown
1269.15/1272.51 c 1273s| 15200 | 1001 | 7107k| 393.6 | 304M | 43 |1578 |6386 |3373 |8091 | 2 | 14k|5947 | 1.017960e+03 | 1.039000e+03 | 2.07%| unknown
1273.54/1276.99 c 1277s| 15300 | 1007 | 7144k| 393.5 | 304M | 43 |1578 |6466 |3377 |8118 | 1 | 14k|5994 | 1.017961e+03 | 1.039000e+03 | 2.07%| unknown
1278.43/1281.84 c 1282s| 15400 | 1013 | 7172k| 392.9 | 305M | 43 |1578 |6357 |3373 |8125 | 1 | 14k|6035 | 1.017985e+03 | 1.039000e+03 | 2.06%| unknown
1284.51/1287.91 c 1288s| 15500 | 1025 | 7214k| 393.1 | 305M | 43 |1578 |6185 |3376 |8189 | 1 | 14k|6042 | 1.018005e+03 | 1.039000e+03 | 2.06%| unknown
1293.78/1297.23 c 1297s| 15600 | 1033 | 7258k| 393.3 | 305M | 43 |1578 |6077 |3381 |8312 | 0 | 14k|6075 | 1.018014e+03 | 1.039000e+03 | 2.06%| unknown
1297.58/1301.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1297.58/1301.08 c 1301s| 15700 | 1033 | 7281k| 392.4 | 306M | 47 |1578 |6085 |3378 |8340 | 1 | 14k|6091 | 1.018014e+03 | 1.039000e+03 | 2.06%| unknown
1301.85/1305.37 c 1305s| 15800 | 1033 | 7308k| 391.8 | 306M | 47 |1578 |6134 |3382 |8356 | 1 | 14k|6130 | 1.018014e+03 | 1.039000e+03 | 2.06%| unknown
1304.94/1308.41 c 1308s| 15900 | 1033 | 7337k| 391.2 | 306M | 47 |1578 |6158 |3381 |8361 | 1 | 14k|6143 | 1.018014e+03 | 1.039000e+03 | 2.06%| unknown
1310.54/1314.06 c 1314s| 16000 | 1033 | 7367k| 390.7 | 315M | 47 |1578 |6154 |3392 |8399 | 2 | 14k|6147 | 1.018014e+03 | 1.039000e+03 | 2.06%| unknown
1316.21/1319.71 c 1320s| 16100 | 1035 | 7403k| 390.6 | 353M | 47 |1578 |6107 |3377 |8439 | 0 | 14k|6153 | 1.018079e+03 | 1.039000e+03 | 2.05%| unknown
1318.90/1322.44 c 1322s| 16200 | 1031 | 7430k| 389.9 | 353M | 47 |1578 |6095 |3395 |8513 | 1 | 14k|6153 | 1.018079e+03 | 1.039000e+03 | 2.05%| unknown
1322.09/1325.68 c 1326s| 16300 | 1029 | 7460k| 389.5 | 353M | 47 |1578 |6096 |3393 |8576 | 0 | 14k|6154 | 1.018079e+03 | 1.039000e+03 | 2.05%| unknown
1329.07/1332.65 c 1333s| 16400 | 1037 | 7508k| 389.9 | 362M | 47 |1578 |6001 |3382 |8718 | 0 | 14k|6154 | 1.018089e+03 | 1.039000e+03 | 2.05%| unknown
1335.65/1339.28 c 1339s| 16500 | 1039 | 7550k| 390.1 | 362M | 47 |1578 |5900 |3389 |8902 | 0 | 14k|6162 | 1.018093e+03 | 1.039000e+03 | 2.05%| unknown
1341.03/1344.68 c 1345s| 16600 | 1045 | 7588k| 390.1 | 362M | 47 |1578 |5849 |3391 |8969 | 0 | 14k|6165 | 1.018130e+03 | 1.039000e+03 | 2.05%| unknown
1344.82/1348.41 c 1348s| 16700 | 1045 | 7618k| 389.6 | 360M | 47 |1578 |5869 |3392 |9010 | 0 | 14k|6177 | 1.018130e+03 | 1.039000e+03 | 2.05%| unknown
1348.21/1351.80 c 1352s| 16800 | 1041 | 7650k| 389.3 | 360M | 47 |1578 |5869 |3396 |9050 | 0 | 14k|6177 | 1.018130e+03 | 1.039000e+03 | 2.05%| unknown
1358.19/1361.80 c 1362s| 16900 | 1059 | 7709k| 390.3 | 362M | 47 |1578 |5682 |3397 |9229 | 0 | 14k|6177 | 1.018183e+03 | 1.039000e+03 | 2.04%| unknown
1365.38/1369.07 c 1369s| 17000 | 1071 | 7758k| 390.8 | 362M | 47 |1578 |5480 |3397 |9389 | 1 | 14k|6177 | 1.018210e+03 | 1.039000e+03 | 2.04%| unknown
1374.04/1377.70 c 1378s| 17100 | 1077 | 7825k| 392.2 | 362M | 47 |1578 |5395 |3405 |9479 | 0 | 14k|6177 | 1.018244e+03 | 1.039000e+03 | 2.04%| unknown
1381.02/1384.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1381.02/1384.70 c 1385s| 17200 | 1091 | 7874k| 392.7 | 362M | 47 |1578 |5278 |3412 |9555 | 2 | 14k|6177 | 1.018297e+03 | 1.039000e+03 | 2.03%| unknown
1387.42/1391.19 c 1391s| 17300 | 1091 | 7908k| 392.4 | 362M | 47 |1578 |5177 |3411 |9638 | 0 | 14k|6180 | 1.018308e+03 | 1.039000e+03 | 2.03%| unknown
1392.00/1395.77 c 1396s| 17400 | 1105 | 7951k| 392.6 | 362M | 47 |1578 |5077 |3405 |9669 | 0 | 14k|6180 | 1.018325e+03 | 1.039000e+03 | 2.03%| unknown
1395.30/1399.06 c 1399s| 17500 | 1105 | 7981k| 392.1 | 362M | 47 |1578 |5068 |3408 |9691 | 0 | 14k|6180 | 1.018325e+03 | 1.039000e+03 | 2.03%| unknown
1400.08/1403.82 c 1404s| 17600 | 1119 | 8026k| 392.4 | 362M | 47 |1578 |5033 |3408 |9722 | 1 | 14k|6194 | 1.018341e+03 | 1.039000e+03 | 2.03%| unknown
1407.06/1410.87 c 1411s| 17700 | 1121 | 8063k| 392.3 | 364M | 47 |1578 |4954 |3412 |9819 | 0 | 14k|6207 | 1.018349e+03 | 1.039000e+03 | 2.03%| unknown
1410.75/1414.55 c 1415s| 17800 | 1121 | 8095k| 391.9 | 364M | 47 |1578 |4971 |3403 |9865 | 1 | 14k|6217 | 1.018349e+03 | 1.039000e+03 | 2.03%| unknown
1414.26/1418.10 c 1418s| 17900 | 1121 | 8125k| 391.5 | 364M | 47 |1578 |4974 |3415 |9923 | 1 | 14k|6217 | 1.018349e+03 | 1.039000e+03 | 2.03%| unknown
1422.13/1425.93 c 1426s| 18000 | 1131 | 8175k| 392.0 | 366M | 47 |1578 |4894 |3422 | 10k| 0 | 14k|6223 | 1.018386e+03 | 1.039000e+03 | 2.02%| unknown
1426.23/1430.08 c 1430s| 18100 | 1137 | 8214k| 392.0 | 366M | 47 |1578 |4812 |3417 | 10k| 0 | 14k|6223 | 1.018394e+03 | 1.039000e+03 | 2.02%| unknown
1433.60/1437.46 c 1437s| 18200 | 1147 | 8262k| 392.4 | 366M | 47 |1578 |4820 |3412 | 10k| 1 | 14k|6269 | 1.018414e+03 | 1.039000e+03 | 2.02%| unknown
1437.69/1441.51 c 1441s| 18300 | 1149 | 8293k| 392.1 | 366M | 47 |1578 |4820 |3417 | 10k| 0 | 14k|6277 | 1.018414e+03 | 1.039000e+03 | 2.02%| unknown
1441.29/1445.19 c 1445s| 18400 | 1151 | 8320k| 391.5 | 365M | 47 |1578 |4832 |3418 | 10k| 1 | 14k|6294 | 1.018414e+03 | 1.039000e+03 | 2.02%| unknown
1452.35/1456.29 c 1456s| 18500 | 1167 | 8378k| 392.4 | 366M | 47 |1578 |4843 |3424 | 10k| 0 | 14k|6334 | 1.018425e+03 | 1.039000e+03 | 2.02%| unknown
1468.82/1472.79 c 1473s| 18600 | 1183 | 8457k| 394.2 | 369M | 47 |1578 |4804 |3428 | 10k| 2 | 15k|6372 | 1.018467e+03 | 1.039000e+03 | 2.02%| unknown
1476.21/1480.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1476.21/1480.18 c 1480s| 18700 | 1193 | 8509k| 394.8 | 370M | 47 |1578 |4779 |3429 | 10k| 0 | 15k|6395 | 1.018551e+03 | 1.039000e+03 | 2.01%| unknown
1482.78/1486.70 c 1487s| 18800 | 1195 | 8551k| 394.9 | 370M | 47 |1578 |4866 |3429 | 10k| 1 | 15k|6441 | 1.018562e+03 | 1.039000e+03 | 2.01%| unknown
1488.97/1492.95 c 1493s| 18900 | 1205 | 8599k| 395.3 | 370M | 47 |1578 |4926 |3427 | 10k| 0 | 15k|6475 | 1.018621e+03 | 1.039000e+03 | 2.00%| unknown
1498.17/1502.19 c 1502s| 19000 | 1205 | 8640k| 395.4 | 371M | 47 |1578 |4979 |3430 | 10k| 0 | 15k|6513 | 1.018625e+03 | 1.039000e+03 | 2.00%| unknown
1504.15/1508.12 c 1508s| 19100 | 1213 | 8686k| 395.6 | 371M | 47 |1578 |4968 |3427 | 10k| 0 | 15k|6533 | 1.018633e+03 | 1.039000e+03 | 2.00%| unknown
1509.93/1513.97 c 1514s| 19200 | 1215 | 8719k| 395.4 | 371M | 47 |1578 |5031 |3431 | 10k| 1 | 15k|6574 | 1.018633e+03 | 1.039000e+03 | 2.00%| unknown
1515.61/1519.69 c 1520s| 19300 | 1219 | 8757k| 395.3 | 370M | 47 |1578 |5089 |3430 | 10k| 0 | 15k|6612 | 1.018642e+03 | 1.039000e+03 | 2.00%| unknown
1519.90/1524.00 c 1524s| 19400 | 1223 | 8795k| 395.2 | 370M | 47 |1578 |5101 |3431 | 11k| 0 | 15k|6622 | 1.018642e+03 | 1.039000e+03 | 2.00%| unknown
1525.89/1529.94 c 1530s| 19500 | 1227 | 8834k| 395.2 | 370M | 47 |1578 |5220 |3430 | 11k| 1 | 15k|6688 | 1.018642e+03 | 1.039000e+03 | 2.00%| unknown
1538.07/1542.14 c 1542s| 19600 | 1245 | 8893k| 396.1 | 370M | 47 |1578 |5117 |3434 | 11k| 1 | 15k|6720 | 1.018673e+03 | 1.039000e+03 | 2.00%| unknown
1541.75/1545.88 c 1546s| 19700 | 1247 | 8925k| 395.8 | 370M | 47 |1578 |5134 |3435 | 11k| 0 | 15k|6730 | 1.018673e+03 | 1.039000e+03 | 2.00%| unknown
1547.24/1551.34 c 1551s| 19800 | 1249 | 8957k| 395.4 | 373M | 47 |1578 |5144 |3439 | 11k| 1 | 16k|6756 | 1.018673e+03 | 1.039000e+03 | 2.00%| unknown
1554.03/1558.15 c 1558s| 19900 | 1257 | 9004k| 395.7 | 382M | 47 |1578 |5124 |3445 | 11k| 1 | 16k|6776 | 1.018699e+03 | 1.039000e+03 | 1.99%| unknown
1562.01/1566.12 c 1566s| 20000 | 1253 | 9041k| 395.6 | 408M | 47 |1578 |5145 |3448 | 11k| 1 | 16k|6815 | 1.018699e+03 | 1.039000e+03 | 1.99%| unknown
1566.09/1570.25 c 1570s| 20100 | 1255 | 9077k| 395.5 | 408M | 47 |1578 |5157 |3450 | 11k| 1 | 16k|6827 | 1.018699e+03 | 1.039000e+03 | 1.99%| unknown
1570.99/1575.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1570.99/1575.19 c 1575s| 20200 | 1261 | 9113k| 395.3 | 408M | 47 |1578 |5156 |3450 | 11k| 0 | 16k|6849 | 1.018702e+03 | 1.039000e+03 | 1.99%| unknown
1587.34/1591.50 c 1591s| 20300 | 1275 | 9205k| 397.6 | 450M | 47 |1578 |4974 |3450 | 11k| 1 | 16k|6866 | 1.018746e+03 | 1.039000e+03 | 1.99%| unknown
1594.83/1599.08 c 1599s| 20400 | 1279 | 9256k| 398.1 | 455M | 47 |1578 |4929 |3457 | 11k| 0 | 16k|6880 | 1.018750e+03 | 1.039000e+03 | 1.99%| unknown
1600.31/1604.59 c 1605s| 20500 | 1283 | 9297k| 398.1 | 455M | 47 |1578 |4996 |3457 | 11k| 0 | 16k|6918 | 1.018751e+03 | 1.039000e+03 | 1.99%| unknown
1609.49/1613.72 c 1614s| 20600 | 1289 | 9344k| 398.4 | 458M | 47 |1578 |4924 |3458 | 11k| 1 | 16k|6937 | 1.018751e+03 | 1.039000e+03 | 1.99%| unknown
1619.46/1623.74 c 1624s| 20700 | 1287 | 9387k| 398.6 | 465M | 47 |1578 |4989 |3432 | 11k| 1 | 16k|6975 | 1.018751e+03 | 1.039000e+03 | 1.99%| unknown
1627.34/1631.66 c 1632s| 20800 | 1297 | 9443k| 399.2 | 463M | 47 |1578 |4938 |3454 | 12k| 1 | 16k|6993 | 1.018776e+03 | 1.039000e+03 | 1.99%| unknown
1632.42/1636.73 c 1637s| 20900 | 1295 | 9478k| 399.0 | 461M | 47 |1578 |4985 |3463 | 12k| 2 | 16k|7018 | 1.018776e+03 | 1.039000e+03 | 1.99%| unknown
1645.71/1650.10 c 1650s| 21000 | 1315 | 9554k| 400.5 | 460M | 47 |1578 |4803 |3459 | 12k| 1 | 16k|7023 | 1.018833e+03 | 1.039000e+03 | 1.98%| unknown
1654.48/1658.89 c 1659s| 21100 | 1321 | 9609k| 401.2 | 460M | 47 |1578 |4681 |3429 | 12k| 0 | 16k|7023 | 1.018854e+03 | 1.039000e+03 | 1.98%| unknown
1660.26/1664.65 c 1665s| 21200 | 1331 | 9659k| 401.6 | 454M | 47 |1578 |4534 |3465 | 12k| 1 | 16k|7025 | 1.018875e+03 | 1.039000e+03 | 1.98%| unknown
1667.85/1672.22 c 1672s| 21300 | 1335 | 9709k| 402.0 | 454M | 47 |1578 |4454 |3394 | 13k| 0 | 16k|7033 | 1.018877e+03 | 1.039000e+03 | 1.98%| unknown
1675.03/1679.47 c 1679s| 21400 | 1349 | 9759k| 402.4 | 454M | 47 |1578 |4452 |3411 | 13k| 2 | 16k|7041 | 1.018908e+03 | 1.039000e+03 | 1.97%| unknown
1688.20/1692.61 c 1693s| 21500 | 1363 | 9842k| 404.2 | 454M | 47 |1578 |4453 |3409 | 13k| 1 | 16k|7050 | 1.018944e+03 | 1.039000e+03 | 1.97%| unknown
1696.38/1700.82 c 1701s| 21600 | 1379 | 9903k| 405.0 | 455M | 47 |1578 |4402 |3393 | 13k| 1 | 16k|7064 | 1.019003e+03 | 1.039000e+03 | 1.96%| unknown
1700.47/1704.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1700.47/1704.91 c 1705s| 21700 | 1383 | 9941k| 404.9 | 455M | 47 |1578 |4414 |3400 | 13k| 0 | 16k|7066 | 1.019003e+03 | 1.039000e+03 | 1.96%| unknown
1704.57/1709.07 c 1709s| 21800 | 1383 | 9976k| 404.7 | 455M | 47 |1578 |4468 |3398 | 13k| 1 | 16k|7081 | 1.019003e+03 | 1.039000e+03 | 1.96%| unknown
1709.45/1713.92 c 1714s| 21900 | 1393 | 10021k| 404.9 | 455M | 47 |1578 |4478 |3399 | 13k| 0 | 16k|7088 | 1.019026e+03 | 1.039000e+03 | 1.96%| unknown
1713.04/1717.52 c 1718s| 22000 | 1395 | 10052k| 404.5 | 455M | 47 |1578 |4499 |3415 | 13k| 1 | 17k|7098 | 1.019026e+03 | 1.039000e+03 | 1.96%| unknown
1717.03/1721.52 c 1722s| 22100 | 1395 | 10084k| 404.1 | 455M | 47 |1578 |4498 |3412 | 13k| 0 | 17k|7112 | 1.019027e+03 | 1.039000e+03 | 1.96%| unknown
1721.72/1726.28 c 1726s| 22200 | 1405 | 10127k| 404.2 | 455M | 47 |1578 |4494 |3402 | 14k| 0 | 17k|7117 | 1.019030e+03 | 1.039000e+03 | 1.96%| unknown
1726.30/1730.85 c 1731s| 22300 | 1415 | 10166k| 404.2 | 454M | 47 |1578 |4512 |3413 | 14k| 0 | 17k|7125 | 1.019036e+03 | 1.039000e+03 | 1.96%| unknown
1730.79/1735.31 c 1735s| 22400 | 1419 | 10203k| 404.1 | 454M | 47 |1578 |4525 |3421 | 14k| 0 | 17k|7134 | 1.019036e+03 | 1.039000e+03 | 1.96%| unknown
1737.18/1741.78 c 1742s| 22500 | 1425 | 10246k| 404.1 | 455M | 47 |1578 |4574 |3414 | 14k| 0 | 17k|7167 | 1.019043e+03 | 1.039000e+03 | 1.96%| unknown
1748.56/1753.15 c 1753s| 22600 | 1435 | 10299k| 404.7 | 455M | 47 |1578 |4608 |3414 | 14k| 1 | 17k|7200 | 1.019053e+03 | 1.039000e+03 | 1.96%| unknown
1758.54/1763.17 c 1763s| 22700 | 1443 | 10355k| 405.3 | 455M | 47 |1578 |4675 |3419 | 14k| 1 | 17k|7223 | 1.019090e+03 | 1.039000e+03 | 1.95%| unknown
1767.00/1771.61 c 1772s| 22800 | 1441 | 10398k| 405.4 | 455M | 47 |1578 |4766 |3427 | 14k| 0 | 17k|7291 | 1.019090e+03 | 1.039000e+03 | 1.95%| unknown
1773.69/1778.33 c 1778s| 22900 | 1443 | 10439k| 405.4 | 456M | 47 |1578 |4737 |3409 | 14k| 0 | 17k|7291 | 1.019107e+03 | 1.039000e+03 | 1.95%| unknown
1777.39/1782.03 c 1782s| 23000 | 1441 | 10473k| 405.1 | 456M | 47 |1578 |4757 |3400 | 14k| 0 | 17k|7298 | 1.019107e+03 | 1.039000e+03 | 1.95%| unknown
1783.96/1788.60 c 1789s| 23100 | 1449 | 10512k| 405.1 | 456M | 47 |1578 |4739 |3406 | 14k| 1 | 17k|7298 | 1.019132e+03 | 1.039000e+03 | 1.95%| unknown
1787.66/1792.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1787.66/1792.31 c 1792s| 23200 | 1451 | 10546k| 404.8 | 449M | 47 |1578 |4739 |3421 | 15k| 1 | 17k|7298 | 1.019132e+03 | 1.039000e+03 | 1.95%| unknown
1791.85/1796.54 c 1797s| 23300 | 1455 | 10584k| 404.7 | 449M | 47 |1578 |4764 |3425 | 15k| 1 | 17k|7314 | 1.019153e+03 | 1.039000e+03 | 1.95%| unknown
1798.93/1803.65 c 1804s| 23400 | 1457 | 10625k| 404.7 | 448M | 47 |1578 |4750 |3402 | 15k| 1 | 17k|7314 | 1.019158e+03 | 1.039000e+03 | 1.95%| unknown
1808.11/1812.87 c 1813s| 23500 | 1467 | 10674k| 405.1 | 447M | 47 |1578 |4708 |3430 | 15k| 1 | 17k|7316 | 1.019170e+03 | 1.039000e+03 | 1.95%| unknown
1816.98/1821.72 c 1822s| 23600 | 1473 | 10749k| 406.4 | 447M | 47 |1578 |4624 |3415 | 15k| 0 | 17k|7316 | 1.019184e+03 | 1.039000e+03 | 1.94%| unknown
1823.47/1828.29 c 1828s| 23700 | 1483 | 10803k| 406.9 | 447M | 47 |1578 |4578 |3418 | 15k| 0 | 17k|7331 | 1.019231e+03 | 1.039000e+03 | 1.94%| unknown
1831.15/1835.99 c 1836s| 23800 | 1495 | 10857k| 407.4 | 447M | 47 |1578 |4420 |3400 | 15k| 0 | 17k|7336 | 1.019237e+03 | 1.039000e+03 | 1.94%| unknown
1834.94/1839.70 c 1840s| 23900 | 1497 | 10890k| 407.1 | 446M | 47 |1578 |4419 |3412 | 15k| 1 | 17k|7336 | 1.019237e+03 | 1.039000e+03 | 1.94%| unknown
1840.24/1845.11 c 1845s| 24000 | 1509 | 10939k| 407.4 | 446M | 47 |1578 |4347 |3412 | 15k| 1 | 17k|7337 | 1.019253e+03 | 1.039000e+03 | 1.94%| unknown
1844.42/1849.28 c 1849s| 24100 | 1513 | 10977k| 407.3 | 446M | 47 |1578 |4308 |3424 | 16k| 0 | 17k|7337 | 1.019257e+03 | 1.039000e+03 | 1.94%| unknown
1849.22/1854.08 c 1854s| 24200 | 1523 | 11020k| 407.4 | 446M | 47 |1578 |4319 |3423 | 16k| 0 | 17k|7337 | 1.019268e+03 | 1.039000e+03 | 1.94%| unknown
1853.49/1858.33 c 1858s| 24300 | 1527 | 11056k| 407.2 | 446M | 47 |1578 |4310 |3422 | 16k| 1 | 17k|7347 | 1.019275e+03 | 1.039000e+03 | 1.94%| unknown
1859.19/1864.01 c 1864s| 24400 | 1531 | 11090k| 407.0 | 446M | 47 |1578 |4296 |3424 | 16k| 0 | 17k|7376 | 1.019290e+03 | 1.039000e+03 | 1.93%| unknown
1869.17/1874.11 c 1874s| 24500 | 1535 | 11139k| 407.3 | 446M | 47 |1578 |4259 |3430 | 16k| 2 | 17k|7387 | 1.019335e+03 | 1.039000e+03 | 1.93%| unknown
1877.44/1882.31 c 1882s| 24600 | 1547 | 11189k| 407.6 | 447M | 47 |1578 |4188 |3434 | 16k| 0 | 17k|7387 | 1.019359e+03 | 1.039000e+03 | 1.93%| unknown
1882.14/1887.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1882.14/1887.07 c 1887s| 24700 | 1555 | 11232k| 407.7 | 447M | 47 |1578 |4183 |3429 | 16k| 0 | 17k|7387 | 1.019378e+03 | 1.039000e+03 | 1.92%| unknown
1892.00/1897.00 c 1897s| 24800 | 1571 | 11312k| 409.1 | 447M | 47 |1578 |4128 |3436 | 16k| 0 | 17k|7387 | 1.019419e+03 | 1.039000e+03 | 1.92%| unknown
1902.38/1907.30 c 1907s| 24900 | 1585 | 11371k| 409.7 | 447M | 47 |1578 |4122 |3440 | 17k| 1 | 17k|7401 | 1.019441e+03 | 1.039000e+03 | 1.92%| unknown
1909.66/1914.63 c 1915s| 25000 | 1591 | 11421k| 410.1 | 447M | 47 |1578 |4259 |3432 | 17k| 1 | 18k|7471 | 1.019525e+03 | 1.039000e+03 | 1.91%| unknown
1913.95/1918.95 c 1919s| 25100 | 1591 | 11455k| 409.8 | 447M | 47 |1578 |4322 |3432 | 17k| 1 | 18k|7505 | 1.019525e+03 | 1.039000e+03 | 1.91%| unknown
1918.94/1923.97 c 1924s| 25200 | 1589 | 11487k| 409.5 | 447M | 47 |1578 |4381 |3436 | 17k| 0 | 18k|7541 | 1.019525e+03 | 1.039000e+03 | 1.91%| unknown
1928.61/1933.63 c 1934s| 25300 | 1605 | 11550k| 410.3 | 447M | 47 |1578 |4444 |3441 | 17k| 1 | 18k|7585 | 1.019536e+03 | 1.039000e+03 | 1.91%| unknown
1935.20/1940.29 c 1940s| 25400 | 1599 | 11595k| 410.4 | 447M | 47 |1578 |4575 |3436 | 17k| 0 | 18k|7657 | 1.019536e+03 | 1.039000e+03 | 1.91%| unknown
1947.08/1952.17 c 1952s| 25500 | 1613 | 11669k| 411.6 | 448M | 47 |1578 |4586 |3441 | 17k| 0 | 18k|7699 | 1.019553e+03 | 1.039000e+03 | 1.91%| unknown
1958.84/1963.94 c 1964s| 25600 | 1631 | 11748k| 412.9 | 448M | 47 |1578 |4806 |3438 | 17k| 1 | 19k|7815 | 1.019571e+03 | 1.039000e+03 | 1.91%| unknown
1963.43/1968.51 c 1969s| 25700 | 1629 | 11787k| 412.8 | 448M | 47 |1578 |4848 |3440 | 17k| 0 | 19k|7844 | 1.019571e+03 | 1.039000e+03 | 1.91%| unknown
1970.71/1975.82 c 1976s| 25800 | 1649 | 11838k| 413.2 | 448M | 47 |1578 |4843 |3439 | 17k| 1 | 19k|7871 | 1.019587e+03 | 1.039000e+03 | 1.90%| unknown
1975.40/1980.56 c 1981s| 25900 | 1647 | 11871k| 412.9 | 448M | 47 |1578 |4849 |3440 | 17k| 0 | 19k|7887 | 1.019587e+03 | 1.039000e+03 | 1.90%| unknown
1980.59/1985.76 c 1986s| 26000 | 1649 | 11907k| 412.7 | 448M | 47 |1578 |4921 |3445 | 17k| 1 | 19k|7921 | 1.019587e+03 | 1.039000e+03 | 1.90%| unknown
1985.68/1990.87 c 1991s| 26100 | 1653 | 11946k| 412.6 | 448M | 47 |1578 |4915 |3445 | 17k| 1 | 19k|7928 | 1.019601e+03 | 1.039000e+03 | 1.90%| unknown
1996.15/2001.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1996.15/2001.30 c 2001s| 26200 | 1663 | 12000k| 413.1 | 449M | 47 |1578 |4913 |3445 | 18k| 1 | 19k|7965 | 1.019609e+03 | 1.039000e+03 | 1.90%| unknown
2007.84/2013.09 c 2013s| 26300 | 1673 | 12071k| 414.1 | 449M | 47 |1578 |4912 |3448 | 18k| 0 | 19k|8004 | 1.019620e+03 | 1.039000e+03 | 1.90%| unknown
2014.50/2019.71 c 2020s| 26400 | 1679 | 12121k| 414.4 | 450M | 47 |1578 |4883 |3441 | 18k| 0 | 19k|8010 | 1.019660e+03 | 1.039000e+03 | 1.90%| unknown
2023.49/2028.72 c 2029s| 26500 | 1693 | 12183k| 415.1 | 453M | 47 |1578 |4758 |3439 | 18k| 0 | 19k|8012 | 1.019677e+03 | 1.039000e+03 | 1.90%| unknown
2031.37/2036.63 c 2037s| 26600 | 1703 | 12241k| 415.6 | 453M | 47 |1578 |4624 |3445 | 18k| 1 | 19k|8014 | 1.019699e+03 | 1.039000e+03 | 1.89%| unknown
2039.25/2044.58 c 2045s| 26700 | 1709 | 12290k| 415.9 | 453M | 47 |1578 |4550 |3451 | 18k| 1 | 19k|8028 | 1.019704e+03 | 1.039000e+03 | 1.89%| unknown
2044.44/2049.74 c 2050s| 26800 | 1713 | 12335k| 416.0 | 453M | 47 |1578 |4489 |3448 | 18k| 2 | 19k|8028 | 1.019717e+03 | 1.039000e+03 | 1.89%| unknown
2048.53/2053.86 c 2054s| 26900 | 1711 | 12373k| 415.9 | 453M | 47 |1578 |4506 |3445 | 18k| 0 | 19k|8035 | 1.019717e+03 | 1.039000e+03 | 1.89%| unknown
2052.22/2057.55 c 2058s| 27000 | 1707 | 12406k| 415.6 | 453M | 47 |1578 |4452 |3431 | 18k| 1 | 19k|8035 | 1.019717e+03 | 1.039000e+03 | 1.89%| unknown
2059.30/2064.63 c 2065s| 27100 | 1721 | 12461k| 416.1 | 453M | 47 |1578 |4256 |3428 | 18k| 0 | 19k|8036 | 1.019756e+03 | 1.039000e+03 | 1.89%| unknown
2063.19/2068.52 c 2069s| 27200 | 1723 | 12497k| 415.9 | 453M | 47 |1578 |4255 |3428 | 18k| 1 | 19k|8038 | 1.019756e+03 | 1.039000e+03 | 1.89%| unknown
2069.79/2075.12 c 2075s| 27300 | 1739 | 12550k| 416.3 | 453M | 47 |1578 |4086 |3435 | 18k| 0 | 19k|8047 | 1.019775e+03 | 1.039000e+03 | 1.89%| unknown
2073.37/2078.70 c 2079s| 27400 | 1737 | 12584k| 416.0 | 453M | 47 |1578 |4082 |3438 | 18k| 0 | 19k|8047 | 1.019775e+03 | 1.039000e+03 | 1.89%| unknown
2077.77/2083.12 c 2083s| 27500 | 1745 | 12624k| 415.9 | 453M | 47 |1578 |4045 |3426 | 19k| 1 | 19k|8053 | 1.019803e+03 | 1.039000e+03 | 1.88%| unknown
2083.44/2088.89 c 2089s| 27600 | 1749 | 12669k| 416.1 | 453M | 47 |1578 |4019 |3420 | 19k| 0 | 19k|8053 | 1.019887e+03 | 1.039000e+03 | 1.87%| unknown
2087.93/2093.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2087.93/2093.31 c 2093s| 27700 | 1753 | 12709k| 416.0 | 453M | 47 |1578 |4028 |3438 | 19k| 0 | 19k|8058 | 1.019890e+03 | 1.039000e+03 | 1.87%| unknown
2097.91/2103.34 c 2103s| 27800 | 1765 | 12787k| 417.2 | 453M | 47 |1578 |4014 |3445 | 19k| 0 | 19k|8063 | 1.019912e+03 | 1.039000e+03 | 1.87%| unknown
2106.19/2111.69 c 2112s| 27900 | 1775 | 12841k| 417.6 | 453M | 47 |1578 |4003 |3414 | 19k| 0 | 19k|8065 | 1.019912e+03 | 1.039000e+03 | 1.87%| unknown
2116.06/2121.54 c 2122s| 28000 | 1791 | 12900k| 418.2 | 453M | 47 |1578 |3989 |3420 | 19k| 0 | 19k|8068 | 1.019939e+03 | 1.039000e+03 | 1.87%| unknown
2126.94/2132.41 c 2132s| 28100 | 1805 | 12962k| 418.8 | 453M | 47 |1578 |4024 |3413 | 19k| 1 | 19k|8079 | 1.019966e+03 | 1.039000e+03 | 1.87%| unknown
2130.73/2136.20 c 2136s| 28200 | 1811 | 12999k| 418.7 | 453M | 47 |1578 |4023 |3431 | 19k| 0 | 19k|8079 | 1.019966e+03 | 1.039000e+03 | 1.87%| unknown
2134.92/2140.41 c 2140s| 28300 | 1817 | 13040k| 418.6 | 453M | 47 |1578 |4042 |3427 | 20k| 1 | 19k|8083 | 1.019966e+03 | 1.039000e+03 | 1.87%| unknown
2140.01/2145.60 c 2146s| 28400 | 1819 | 13086k| 418.7 | 453M | 47 |1578 |4103 |3427 | 20k| 0 | 19k|8107 | 1.019972e+03 | 1.039000e+03 | 1.87%| unknown
2148.09/2153.60 c 2154s| 28500 | 1831 | 13143k| 419.2 | 453M | 47 |1578 |4138 |3426 | 20k| 1 | 19k|8120 | 1.020007e+03 | 1.039000e+03 | 1.86%| unknown
2155.77/2161.35 c 2161s| 28600 | 1839 | 13190k| 419.4 | 454M | 47 |1578 |4132 |3423 | 20k| 1 | 19k|8129 | 1.020021e+03 | 1.039000e+03 | 1.86%| unknown
2161.57/2167.19 c 2167s| 28700 | 1845 | 13237k| 419.6 | 454M | 47 |1578 |4094 |3421 | 20k| 0 | 19k|8129 | 1.020051e+03 | 1.039000e+03 | 1.86%| unknown
2166.14/2171.76 c 2172s| 28800 | 1847 | 13280k| 419.6 | 454M | 47 |1578 |4091 |3419 | 20k| 1 | 19k|8129 | 1.020076e+03 | 1.039000e+03 | 1.86%| unknown
2174.13/2179.70 c 2180s| 28900 | 1855 | 13346k| 420.3 | 454M | 47 |1578 |4104 |3421 | 20k| 0 | 19k|8135 | 1.020103e+03 | 1.039000e+03 | 1.85%| unknown
2186.60/2192.26 c 2192s| 29000 | 1875 | 13410k| 421.0 | 454M | 47 |1578 |4194 |3422 | 20k| 1 | 20k|8211 | 1.020133e+03 | 1.039000e+03 | 1.85%| unknown
2196.67/2202.34 c 2202s| 29100 | 1893 | 13471k| 421.6 | 454M | 47 |1578 |4160 |3431 | 21k| 1 | 20k|8213 | 1.020172e+03 | 1.039000e+03 | 1.85%| unknown
2200.96/2206.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2200.96/2206.68 c 2207s| 29200 | 1893 | 13505k| 421.4 | 454M | 47 |1578 |4234 |3424 | 21k| 1 | 20k|8249 | 1.020172e+03 | 1.039000e+03 | 1.85%| unknown
2211.63/2217.32 c 2217s| 29300 | 1899 | 13549k| 421.4 | 454M | 47 |1578 |4482 |3430 | 21k| 1 | 20k|8399 | 1.020172e+03 | 1.039000e+03 | 1.85%| unknown
2223.01/2228.74 c 2229s| 29400 | 1897 | 13587k| 421.3 | 454M | 47 |1578 |4626 |3433 | 21k| 1 | 20k|8526 | 1.020172e+03 | 1.039000e+03 | 1.85%| unknown
2229.59/2235.38 c 2235s| 29500 | 1905 | 13638k| 421.6 | 454M | 47 |1578 |4679 |3427 | 21k| 1 | 20k|8554 | 1.020183e+03 | 1.039000e+03 | 1.84%| unknown
2233.78/2239.54 c 2240s| 29600 | 1903 | 13675k| 421.4 | 454M | 47 |1578 |4703 |3419 | 21k| 0 | 20k|8566 | 1.020183e+03 | 1.039000e+03 | 1.84%| unknown
2239.47/2245.26 c 2245s| 29700 | 1909 | 13717k| 421.4 | 454M | 47 |1578 |4696 |3420 | 21k| 1 | 20k|8566 | 1.020184e+03 | 1.039000e+03 | 1.84%| unknown
2249.64/2255.46 c 2255s| 29800 | 1921 | 13772k| 421.8 | 454M | 47 |1578 |4702 |3435 | 21k| 0 | 21k|8579 | 1.020189e+03 | 1.039000e+03 | 1.84%| unknown
2255.53/2261.35 c 2261s| 29900 | 1935 | 13819k| 422.0 | 454M | 47 |1578 |4759 |3437 | 21k| 1 | 21k|8599 | 1.020257e+03 | 1.039000e+03 | 1.84%| unknown
2261.33/2267.16 c 2267s| 30000 | 1935 | 13863k| 422.0 | 454M | 47 |1578 |4839 |3424 | 21k| 0 | 21k|8633 | 1.020262e+03 | 1.039000e+03 | 1.84%| unknown
2265.70/2271.51 c 2272s| 30100 | 1941 | 13902k| 421.9 | 454M | 47 |1578 |4847 |3435 | 21k| 0 | 21k|8638 | 1.020262e+03 | 1.039000e+03 | 1.84%| unknown
2280.07/2285.94 c 2286s| 30200 | 1961 | 14009k| 423.9 | 454M | 47 |1578 |4845 |3441 | 21k| 1 | 21k|8680 | 1.020300e+03 | 1.039000e+03 | 1.83%| unknown
2290.64/2296.53 c 2297s| 30300 | 1973 | 14058k| 424.1 | 454M | 47 |1578 |4815 |3437 | 21k| 1 | 21k|8714 | 1.020320e+03 | 1.039000e+03 | 1.83%| unknown
2297.33/2303.27 c 2303s| 30400 | 1971 | 14095k| 423.9 | 454M | 47 |1578 |5025 |3437 | 21k| 1 | 21k|8805 | 1.020320e+03 | 1.039000e+03 | 1.83%| unknown
2309.00/2314.96 c 2315s| 30500 | 1977 | 14151k| 424.3 | 454M | 47 |1578 |5014 |3441 | 22k| 0 | 21k|8843 | 1.020327e+03 | 1.039000e+03 | 1.83%| unknown
2313.29/2319.28 c 2319s| 30600 | 1975 | 14189k| 424.2 | 454M | 47 |1578 |5033 |3430 | 22k| 1 | 21k|8851 | 1.020327e+03 | 1.039000e+03 | 1.83%| unknown
2321.37/2327.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2321.37/2327.35 c 2327s| 30700 | 1987 | 14248k| 424.7 | 454M | 47 |1578 |4907 |3443 | 22k| 0 | 21k|8860 | 1.020331e+03 | 1.039000e+03 | 1.83%| unknown
2333.44/2339.45 c 2339s| 30800 | 2003 | 14310k| 425.3 | 454M | 47 |1578 |4713 |3447 | 22k| 0 | 21k|8866 | 1.020343e+03 | 1.039000e+03 | 1.83%| unknown
2342.62/2348.69 c 2349s| 30900 | 2015 | 14368k| 425.7 | 454M | 47 |1578 |4666 |3442 | 22k| 0 | 22k|8889 | 1.020364e+03 | 1.039000e+03 | 1.83%| unknown
2348.90/2354.97 c 2355s| 31000 | 2023 | 14411k| 425.7 | 454M | 47 |1578 |4624 |3448 | 22k| 1 | 22k|8889 | 1.020370e+03 | 1.039000e+03 | 1.83%| unknown
2354.29/2360.32 c 2360s| 31100 | 2025 | 14451k| 425.7 | 454M | 47 |1578 |4600 |3454 | 23k| 0 | 22k|8889 | 1.020377e+03 | 1.039000e+03 | 1.83%| unknown
2359.09/2365.14 c 2365s| 31200 | 2033 | 14495k| 425.7 | 455M | 47 |1578 |4555 |3443 | 23k| 1 | 22k|8889 | 1.020391e+03 | 1.039000e+03 | 1.82%| unknown
2363.46/2369.50 c 2369s| 31300 | 2039 | 14536k| 425.7 | 455M | 47 |1578 |4554 |3445 | 23k| 1 | 22k|8889 | 1.020391e+03 | 1.039000e+03 | 1.82%| unknown
2375.95/2382.11 c 2382s| 31400 | 2059 | 14603k| 426.4 | 455M | 47 |1578 |4466 |3452 | 23k| 1 | 22k|8890 | 1.020408e+03 | 1.039000e+03 | 1.82%| unknown
2389.91/2396.10 c 2396s| 31500 | 2073 | 14698k| 427.9 | 455M | 47 |1578 |4302 |3446 | 23k| 0 | 22k|8893 | 1.020436e+03 | 1.039000e+03 | 1.82%| unknown
2393.59/2399.74 c 2400s| 31600 | 2079 | 14731k| 427.6 | 455M | 47 |1578 |4301 |3453 | 23k| 1 | 22k|8893 | 1.020436e+03 | 1.039000e+03 | 1.82%| unknown
2397.38/2403.55 c 2404s| 31700 | 2081 | 14768k| 427.4 | 455M | 47 |1578 |4263 |3455 | 23k| 0 | 22k|8893 | 1.020458e+03 | 1.039000e+03 | 1.82%| unknown
2401.07/2407.22 c 2407s| 31800 | 2085 | 14802k| 427.2 | 455M | 47 |1578 |4263 |3456 | 23k| 0 | 22k|8893 | 1.020458e+03 | 1.039000e+03 | 1.82%| unknown
2411.55/2417.79 c 2418s| 31900 | 2097 | 14853k| 427.4 | 455M | 47 |1578 |4239 |3457 | 23k| 1 | 22k|8917 | 1.020479e+03 | 1.039000e+03 | 1.81%| unknown
2415.54/2421.78 c 2422s| 32000 | 2095 | 14884k| 427.1 | 455M | 47 |1578 |4250 |3460 | 24k| 1 | 22k|8922 | 1.020479e+03 | 1.039000e+03 | 1.81%| unknown
2420.53/2426.71 c 2427s| 32100 | 2103 | 14928k| 427.1 | 455M | 47 |1578 |4234 |3461 | 24k| 2 | 22k|8931 | 1.020497e+03 | 1.039000e+03 | 1.81%| unknown
2427.71/2433.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2427.71/2433.95 c 2434s| 32200 | 2125 | 14991k| 427.7 | 455M | 47 |1578 |4163 |3460 | 24k| 1 | 22k|8931 | 1.020547e+03 | 1.039000e+03 | 1.81%| unknown
2432.20/2438.48 c 2438s| 32300 | 2131 | 15031k| 427.6 | 455M | 47 |1578 |4125 |3462 | 24k| 1 | 22k|8932 | 1.020566e+03 | 1.039000e+03 | 1.81%| unknown
2438.18/2444.42 c 2444s| 32400 | 2137 | 15080k| 427.8 | 456M | 47 |1578 |4093 |3457 | 24k| 1 | 22k|8932 | 1.020571e+03 | 1.039000e+03 | 1.81%| unknown
2445.37/2451.60 c 2452s| 32500 | 2139 | 15124k| 427.9 | 456M | 47 |1578 |4085 |3453 | 24k| 0 | 22k|8932 | 1.020572e+03 | 1.039000e+03 | 1.81%| unknown
2449.66/2456.00 c 2456s| 32600 | 2145 | 15164k| 427.8 | 456M | 47 |1578 |4091 |3462 | 24k| 1 | 22k|8932 | 1.020576e+03 | 1.039000e+03 | 1.81%| unknown
2458.53/2464.87 c 2465s| 32700 | 2151 | 15233k| 428.5 | 456M | 47 |1578 |4067 |3467 | 24k| 0 | 22k|8932 | 1.020589e+03 | 1.039000e+03 | 1.80%| unknown
2465.62/2471.93 c 2472s| 32800 | 2151 | 15281k| 428.6 | 456M | 47 |1578 |4017 |3454 | 24k| 1 | 22k|8932 | 1.020596e+03 | 1.039000e+03 | 1.80%| unknown
2474.50/2480.80 c 2481s| 32900 | 2169 | 15346k| 429.3 | 456M | 47 |1578 |3960 |3465 | 25k| 2 | 22k|8933 | 1.020635e+03 | 1.039000e+03 | 1.80%| unknown
2482.88/2489.25 c 2489s| 33000 | 2177 | 15397k| 429.5 | 458M | 47 |1578 |3926 |3466 | 25k| 2 | 22k|8934 | 1.020646e+03 | 1.039000e+03 | 1.80%| unknown
2491.36/2497.77 c 2498s| 33100 | 2195 | 15461k| 430.1 | 458M | 47 |1578 |3901 |3464 | 25k| 2 | 22k|8934 | 1.020663e+03 | 1.039000e+03 | 1.80%| unknown
2496.54/2502.90 c 2503s| 33200 | 2199 | 15504k| 430.1 | 458M | 47 |1578 |3967 |3466 | 25k| 1 | 22k|8957 | 1.020663e+03 | 1.039000e+03 | 1.80%| unknown
2501.64/2508.01 c 2508s| 33300 | 2205 | 15545k| 430.0 | 458M | 47 |1578 |4017 |3466 | 25k| 1 | 22k|8982 | 1.020664e+03 | 1.039000e+03 | 1.80%| unknown
2509.62/2516.01 c 2516s| 33400 | 2217 | 15603k| 430.4 | 459M | 47 |1578 |4074 |3470 | 25k| 1 | 22k|9021 | 1.020686e+03 | 1.039000e+03 | 1.79%| unknown
2560.10/2566.69 c 2567s| 33500 | 2225 | 15668k| 431.0 | 460M | 47 |1578 |4331 |3473 | 25k| 2 | 22k|9672 | 1.020714e+03 | 1.039000e+03 | 1.79%| unknown
2635.91/2642.66 c 2643s| 33600 | 2231 | 15755k| 432.3 | 460M | 47 |1578 |4869 |3466 | 25k| 1 | 23k| 10k| 1.020729e+03 | 1.039000e+03 | 1.79%| unknown
2672.52/2679.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2672.52/2679.37 c 2679s| 33700 | 2247 | 15841k| 433.4 | 460M | 47 |1578 |5169 |3474 | 26k| 0 | 24k| 11k| 1.020766e+03 | 1.039000e+03 | 1.79%| unknown
2681.60/2688.42 c 2688s| 33800 | 2253 | 15892k| 433.6 | 460M | 47 |1578 |5165 |3474 | 26k| 0 | 24k| 11k| 1.020768e+03 | 1.039000e+03 | 1.79%| unknown
2694.77/2701.66 c 2702s| 33900 | 2265 | 15983k| 434.9 | 460M | 47 |1578 |5150 |3473 | 26k| 1 | 24k| 11k| 1.020776e+03 | 1.039000e+03 | 1.79%| unknown
2701.95/2708.84 c 2709s| 34000 | 2267 | 16030k| 435.0 | 460M | 47 |1578 |5136 |3475 | 26k| 0 | 24k| 11k| 1.020776e+03 | 1.039000e+03 | 1.79%| unknown
2714.42/2721.36 c 2721s| 34100 | 2289 | 16104k| 435.8 | 460M | 47 |1578 |5032 |3473 | 26k| 0 | 24k| 11k| 1.020845e+03 | 1.039000e+03 | 1.78%| unknown
2721.90/2728.83 c 2729s| 34200 | 2297 | 16153k| 436.0 | 461M | 47 |1578 |4886 |3472 | 26k| 1 | 24k| 11k| 1.020857e+03 | 1.039000e+03 | 1.78%| unknown
2729.58/2736.53 c 2737s| 34300 | 2303 | 16200k| 436.1 | 461M | 47 |1578 |4821 |3475 | 27k| 1 | 24k| 11k| 1.020857e+03 | 1.039000e+03 | 1.78%| unknown
2734.57/2741.57 c 2742s| 34400 | 2307 | 16244k| 436.1 | 461M | 47 |1578 |4797 |3478 | 27k| 2 | 24k| 11k| 1.020862e+03 | 1.039000e+03 | 1.78%| unknown
2739.26/2746.21 c 2746s| 34500 | 2311 | 16286k| 436.1 | 461M | 47 |1578 |4761 |3478 | 27k| 0 | 24k| 11k| 1.020867e+03 | 1.039000e+03 | 1.78%| unknown
2743.85/2750.81 c 2751s| 34600 | 2317 | 16330k| 436.1 | 461M | 47 |1578 |4681 |3477 | 27k| 1 | 24k| 11k| 1.020882e+03 | 1.039000e+03 | 1.77%| unknown
2748.23/2755.21 c 2755s| 34700 | 2319 | 16366k| 435.9 | 463M | 47 |1578 |4654 |3487 | 27k| 2 | 24k| 11k| 1.020882e+03 | 1.039000e+03 | 1.77%| unknown
2752.72/2759.78 c 2760s| 34800 | 2319 | 16400k| 435.6 | 464M | 47 |1578 |4654 |3485 | 27k| 0 | 24k| 11k| 1.020882e+03 | 1.039000e+03 | 1.77%| unknown
2757.21/2764.20 c 2764s| 34900 | 2317 | 16438k| 435.5 | 464M | 47 |1578 |4655 |3480 | 27k| 0 | 24k| 11k| 1.020882e+03 | 1.039000e+03 | 1.77%| unknown
2767.59/2774.67 c 2775s| 35000 | 2325 | 16493k| 435.8 | 470M | 47 |1578 |4524 |3481 | 27k| 0 | 24k| 11k| 1.020895e+03 | 1.039000e+03 | 1.77%| unknown
2771.68/2778.78 c 2779s| 35100 | 2329 | 16532k| 435.7 | 471M | 47 |1578 |4514 |3480 | 27k| 1 | 24k| 11k| 1.020895e+03 | 1.039000e+03 | 1.77%| unknown
2776.47/2783.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2776.47/2783.57 c 2784s| 35200 | 2329 | 16570k| 435.5 | 479M | 47 |1578 |4521 |3487 | 27k| 0 | 24k| 11k| 1.020895e+03 | 1.039000e+03 | 1.77%| unknown
2786.34/2793.48 c 2793s| 35300 | 2337 | 16624k| 435.8 | 508M | 47 |1578 |4415 |3500 | 27k| 0 | 24k| 11k| 1.020923e+03 | 1.039000e+03 | 1.77%| unknown
2792.83/2799.94 c 2800s| 35400 | 2345 | 16675k| 436.0 | 535M | 47 |1578 |4366 |3489 | 27k| 0 | 24k| 11k| 1.020954e+03 | 1.039000e+03 | 1.77%| unknown
2800.61/2807.78 c 2808s| 35500 | 2357 | 16739k| 436.5 | 560M | 47 |1578 |4256 |3491 | 27k| 2 | 24k| 11k| 1.020969e+03 | 1.039000e+03 | 1.77%| unknown
2808.19/2815.37 c 2815s| 35600 | 2357 | 16790k| 436.7 | 563M | 47 |1578 |4204 |3493 | 28k| 0 | 24k| 11k| 1.020985e+03 | 1.039000e+03 | 1.76%| unknown
2812.78/2819.91 c 2820s| 35700 | 2353 | 16830k| 436.6 | 570M | 47 |1578 |4176 |3491 | 28k| 0 | 24k| 11k| 1.020985e+03 | 1.039000e+03 | 1.76%| unknown
2817.07/2824.28 c 2824s| 35800 | 2353 | 16871k| 436.5 | 565M | 47 |1578 |4164 |3499 | 28k| 0 | 24k| 11k| 1.020985e+03 | 1.039000e+03 | 1.76%| unknown
2822.45/2829.65 c 2830s| 35900 | 2357 | 16917k| 436.6 | 565M | 47 |1578 |4143 |3499 | 28k| 0 | 24k| 11k| 1.020988e+03 | 1.039000e+03 | 1.76%| unknown
2830.63/2837.82 c 2838s| 36000 | 2359 | 16968k| 436.8 | 561M | 47 |1578 |4124 |3459 | 28k| 0 | 24k| 11k| 1.020996e+03 | 1.039000e+03 | 1.76%| unknown
2835.42/2842.64 c 2843s| 36100 | 2359 | 17010k| 436.7 | 554M | 47 |1578 |4122 |3470 | 28k| 0 | 24k| 11k| 1.020996e+03 | 1.039000e+03 | 1.76%| unknown
2840.01/2847.29 c 2847s| 36200 | 2359 | 17053k| 436.7 | 544M | 47 |1578 |4122 |3477 | 28k| 1 | 24k| 11k| 1.020996e+03 | 1.039000e+03 | 1.76%| unknown
2845.00/2852.22 c 2852s| 36300 | 2363 | 17097k| 436.7 | 544M | 47 |1578 |4104 |3494 | 28k| 1 | 24k| 11k| 1.020998e+03 | 1.039000e+03 | 1.76%| unknown
2849.39/2856.64 c 2857s| 36400 | 2359 | 17137k| 436.6 | 544M | 47 |1578 |4046 |3432 | 28k| 1 | 24k| 11k| 1.020998e+03 | 1.039000e+03 | 1.76%| unknown
2857.47/2864.76 c 2865s| 36500 | 2367 | 17191k| 436.9 | 544M | 47 |1578 |4024 |3434 | 29k| 0 | 24k| 11k| 1.021002e+03 | 1.039000e+03 | 1.76%| unknown
2867.93/2875.25 c 2875s| 36600 | 2375 | 17275k| 437.9 | 544M | 47 |1578 |4009 |3415 | 29k| 0 | 24k| 11k| 1.021007e+03 | 1.039000e+03 | 1.76%| unknown
2872.52/2879.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2872.52/2879.83 c 2880s| 36700 | 2375 | 17314k| 437.8 | 544M | 47 |1578 |3985 |3464 | 29k| 0 | 24k| 11k| 1.021007e+03 | 1.039000e+03 | 1.76%| unknown
2877.41/2884.77 c 2885s| 36800 | 2375 | 17358k| 437.8 | 544M | 47 |1578 |3985 |3495 | 29k| 0 | 24k| 11k| 1.021007e+03 | 1.039000e+03 | 1.76%| unknown
2883.19/2890.53 c 2891s| 36900 | 2377 | 17407k| 437.9 | 544M | 47 |1578 |3944 |3461 | 29k| 0 | 24k| 11k| 1.021011e+03 | 1.039000e+03 | 1.76%| unknown
2887.97/2895.33 c 2895s| 37000 | 2377 | 17450k| 437.9 | 544M | 47 |1578 |3939 |3461 | 29k| 0 | 24k| 11k| 1.021011e+03 | 1.039000e+03 | 1.76%| unknown
2893.27/2900.68 c 2901s| 37100 | 2383 | 17499k| 438.0 | 544M | 47 |1578 |3922 |3453 | 29k| 1 | 24k| 11k| 1.021022e+03 | 1.039000e+03 | 1.76%| unknown
2898.95/2906.36 c 2906s| 37200 | 2389 | 17550k| 438.2 | 544M | 47 |1578 |3919 |3470 | 29k| 0 | 24k| 11k| 1.021022e+03 | 1.039000e+03 | 1.76%| unknown
2904.93/2912.30 c 2912s| 37300 | 2399 | 17602k| 438.4 | 544M | 47 |1578 |3909 |3420 | 30k| 1 | 24k| 11k| 1.021023e+03 | 1.039000e+03 | 1.76%| unknown
2909.73/2917.17 c 2917s| 37400 | 2405 | 17648k| 438.5 | 544M | 47 |1578 |3908 |3456 | 30k| 0 | 24k| 11k| 1.021049e+03 | 1.039000e+03 | 1.76%| unknown
2914.30/2921.78 c 2922s| 37500 | 2411 | 17689k| 438.4 | 544M | 47 |1578 |3908 |3462 | 30k| 0 | 24k| 11k| 1.021049e+03 | 1.039000e+03 | 1.76%| unknown
2917.89/2925.31 c 2925s| 37600 | 2411 | 17721k| 438.1 | 544M | 47 |1578 |3908 |3472 | 30k| 0 | 24k| 11k| 1.021049e+03 | 1.039000e+03 | 1.76%| unknown
2930.56/2938.03 c 2938s| 37700 | 2429 | 17788k| 438.7 | 545M | 47 |1578 |3880 |3453 | 30k| 0 | 24k| 11k| 1.021064e+03 | 1.039000e+03 | 1.76%| unknown
2934.65/2942.19 c 2942s| 37800 | 2433 | 17825k| 438.5 | 545M | 47 |1578 |3879 |3463 | 30k| 1 | 24k| 11k| 1.021066e+03 | 1.039000e+03 | 1.76%| unknown
2940.12/2947.62 c 2948s| 37900 | 2439 | 17875k| 438.7 | 545M | 47 |1578 |3873 |3454 | 30k| 0 | 24k| 11k| 1.021088e+03 | 1.039000e+03 | 1.75%| unknown
2949.89/2957.46 c 2957s| 38000 | 2455 | 17957k| 439.6 | 545M | 47 |1578 |3868 |3461 | 30k| 0 | 24k| 11k| 1.021109e+03 | 1.039000e+03 | 1.75%| unknown
2954.88/2962.49 c 2962s| 38100 | 2465 | 18005k| 439.7 | 545M | 47 |1578 |3865 |3460 | 30k| 0 | 24k| 11k| 1.021125e+03 | 1.039000e+03 | 1.75%| unknown
2961.76/2969.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2961.76/2969.39 c 2969s| 38200 | 2473 | 18051k| 439.8 | 545M | 47 |1578 |3857 |3461 | 31k| 0 | 24k| 11k| 1.021141e+03 | 1.039000e+03 | 1.75%| unknown
2965.56/2973.16 c 2973s| 38300 | 2471 | 18087k| 439.6 | 545M | 47 |1578 |3857 |3457 | 31k| 1 | 24k| 11k| 1.021141e+03 | 1.039000e+03 | 1.75%| unknown
2971.83/2979.44 c 2979s| 38400 | 2487 | 18145k| 439.9 | 545M | 47 |1578 |3866 |3462 | 31k| 1 | 24k| 11k| 1.021147e+03 | 1.039000e+03 | 1.75%| unknown
2978.01/2985.67 c 2986s| 38500 | 2505 | 18203k| 440.3 | 545M | 47 |1578 |3861 |3473 | 31k| 0 | 24k| 11k| 1.021162e+03 | 1.039000e+03 | 1.75%| unknown
2990.49/2998.11 c 2998s| 38600 | 2519 | 18266k| 440.7 | 545M | 47 |1578 |3844 |3482 | 31k| 0 | 24k| 11k| 1.021168e+03 | 1.039000e+03 | 1.75%| unknown
2994.56/3002.29 c 3002s| 38700 | 2525 | 18306k| 440.6 | 545M | 47 |1578 |3847 |3471 | 31k| 1 | 24k| 11k| 1.021172e+03 | 1.039000e+03 | 1.75%| unknown
2997.46/3005.18 c 3005s| 38800 | 2523 | 18335k| 440.2 | 545M | 47 |1578 |3847 |3470 | 31k| 0 | 24k| 11k| 1.021172e+03 | 1.039000e+03 | 1.75%| unknown
3002.35/3010.01 c 3010s| 38900 | 2535 | 18379k| 440.2 | 545M | 47 |1578 |3863 |3477 | 31k| 0 | 24k| 11k| 1.021184e+03 | 1.039000e+03 | 1.74%| unknown
3016.09/3023.89 c 3024s| 39000 | 2545 | 18466k| 441.3 | 545M | 47 |1578 |3865 |3483 | 31k| 0 | 24k| 11k| 1.021190e+03 | 1.039000e+03 | 1.74%| unknown
3020.98/3028.77 c 3029s| 39100 | 2551 | 18508k| 441.2 | 545M | 47 |1578 |3861 |3489 | 31k| 1 | 24k| 11k| 1.021194e+03 | 1.039000e+03 | 1.74%| unknown
3025.56/3033.38 c 3033s| 39200 | 2549 | 18544k| 441.0 | 545M | 47 |1578 |3861 |3486 | 31k| 1 | 24k| 11k| 1.021194e+03 | 1.039000e+03 | 1.74%| unknown
3029.75/3037.50 c 3037s| 39300 | 2545 | 18581k| 440.9 | 545M | 47 |1578 |3861 |3488 | 32k| 0 | 24k| 11k| 1.021194e+03 | 1.039000e+03 | 1.74%| unknown
3036.43/3044.21 c 3044s| 39400 | 2555 | 18639k| 441.2 | 545M | 47 |1578 |3865 |3486 | 32k| 1 | 24k| 11k| 1.021209e+03 | 1.039000e+03 | 1.74%| unknown
3040.02/3047.86 c 3048s| 39500 | 2551 | 18673k| 441.0 | 545M | 47 |1578 |3865 |3471 | 32k| 0 | 24k| 11k| 1.021209e+03 | 1.039000e+03 | 1.74%| unknown
3044.81/3052.65 c 3053s| 39600 | 2555 | 18716k| 440.9 | 545M | 47 |1578 |3862 |3483 | 32k| 0 | 24k| 11k| 1.021224e+03 | 1.039000e+03 | 1.74%| unknown
3057.07/3064.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3057.07/3064.98 c 3065s| 39700 | 2565 | 18781k| 441.4 | 544M | 47 |1578 |3805 |3465 | 32k| 1 | 24k| 11k| 1.021239e+03 | 1.039000e+03 | 1.74%| unknown
3062.17/3070.05 c 3070s| 39800 | 2575 | 18829k| 441.5 | 544M | 47 |1578 |3783 |3485 | 32k| 1 | 24k| 11k| 1.021245e+03 | 1.039000e+03 | 1.74%| unknown
3065.54/3073.44 c 3073s| 39900 | 2571 | 18860k| 441.2 | 544M | 47 |1578 |3783 |3480 | 32k| 0 | 24k| 11k| 1.021245e+03 | 1.039000e+03 | 1.74%| unknown
3072.72/3080.60 c 3081s| 40000 | 2579 | 18909k| 441.3 | 543M | 47 |1578 |3759 |3470 | 32k| 1 | 24k| 11k| 1.021264e+03 | 1.039000e+03 | 1.74%| unknown
3076.61/3084.55 c 3085s| 40100 | 2575 | 18945k| 441.1 | 543M | 47 |1578 |3755 |3468 | 32k| 1 | 24k| 11k| 1.021264e+03 | 1.039000e+03 | 1.74%| unknown
3082.39/3090.39 c 3090s| 40200 | 2585 | 18998k| 441.3 | 543M | 47 |1578 |3746 |3491 | 33k| 0 | 24k| 11k| 1.021267e+03 | 1.039000e+03 | 1.74%| unknown
3089.27/3097.25 c 3097s| 40300 | 2599 | 19056k| 441.7 | 543M | 47 |1578 |3732 |3459 | 33k| 0 | 24k| 11k| 1.021297e+03 | 1.039000e+03 | 1.73%| unknown
3093.66/3101.63 c 3102s| 40400 | 2599 | 19093k| 441.5 | 543M | 47 |1578 |3732 |3464 | 33k| 1 | 24k| 11k| 1.021297e+03 | 1.039000e+03 | 1.73%| unknown
3100.54/3108.58 c 3109s| 40500 | 2611 | 19153k| 441.9 | 543M | 47 |1578 |3735 |3468 | 33k| 0 | 24k| 11k| 1.021329e+03 | 1.039000e+03 | 1.73%| unknown
3112.50/3120.56 c 3121s| 40600 | 2621 | 19232k| 442.7 | 543M | 47 |1578 |3721 |3469 | 33k| 1 | 24k| 11k| 1.021332e+03 | 1.039000e+03 | 1.73%| unknown
3120.28/3128.30 c 3128s| 40700 | 2629 | 19284k| 442.8 | 543M | 47 |1578 |3806 |3470 | 33k| 1 | 24k| 11k| 1.021345e+03 | 1.039000e+03 | 1.73%| unknown
3124.76/3132.80 c 3133s| 40800 | 2623 | 19325k| 442.8 | 543M | 47 |1578 |3803 |3457 | 33k| 0 | 24k| 11k| 1.021345e+03 | 1.039000e+03 | 1.73%| unknown
3130.06/3138.18 c 3138s| 40900 | 2625 | 19367k| 442.7 | 543M | 47 |1578 |3826 |3463 | 34k| 0 | 24k| 11k| 1.021345e+03 | 1.039000e+03 | 1.73%| unknown
3138.12/3146.27 c 3146s| 41000 | 2637 | 19421k| 442.9 | 543M | 47 |1578 |3914 |3470 | 34k| 0 | 24k| 11k| 1.021353e+03 | 1.039000e+03 | 1.73%| unknown
3147.01/3155.19 c 3155s| 41100 | 2641 | 19477k| 443.2 | 543M | 47 |1578 |4028 |3460 | 34k| 1 | 25k| 11k| 1.021367e+03 | 1.039000e+03 | 1.73%| unknown
3151.99/3160.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3151.99/3160.12 c 3160s| 41200 | 2643 | 19518k| 443.1 | 543M | 47 |1578 |4035 |3467 | 34k| 0 | 25k| 11k| 1.021368e+03 | 1.039000e+03 | 1.73%| unknown
3161.97/3170.14 c 3170s| 41300 | 2657 | 19583k| 443.6 | 543M | 47 |1578 |4034 |3470 | 34k| 1 | 25k| 11k| 1.021377e+03 | 1.039000e+03 | 1.73%| unknown
3168.43/3176.64 c 3177s| 41400 | 2669 | 19632k| 443.7 | 543M | 47 |1578 |4095 |3466 | 34k| 0 | 25k| 11k| 1.021382e+03 | 1.039000e+03 | 1.72%| unknown
3176.11/3184.30 c 3184s| 41500 | 2673 | 19684k| 443.9 | 543M | 47 |1578 |4240 |3467 | 34k| 0 | 25k| 11k| 1.021398e+03 | 1.039000e+03 | 1.72%| unknown
3186.98/3195.25 c 3195s| 41600 | 2679 | 19739k| 444.1 | 543M | 47 |1578 |4326 |3474 | 34k| 0 | 25k| 11k| 1.021399e+03 | 1.039000e+03 | 1.72%| 25.94%
3194.65/3202.97 c 3203s| 41700 | 2683 | 19789k| 444.2 | 543M | 47 |1578 |4354 |3475 | 34k| 1 | 25k| 11k| 1.021405e+03 | 1.039000e+03 | 1.72%| 25.94%
3198.54/3206.87 c 3207s| 41800 | 2675 | 19822k| 444.0 | 543M | 47 |1578 |4349 |3465 | 35k| 0 | 25k| 11k| 1.021405e+03 | 1.039000e+03 | 1.72%| 25.94%
3204.22/3212.51 c 3213s| 41900 | 2677 | 19870k| 444.1 | 543M | 47 |1578 |4329 |3436 | 35k| 1 | 25k| 11k| 1.021408e+03 | 1.039000e+03 | 1.72%| 25.95%
3211.60/3219.95 c 3220s| 42000 | 2691 | 19934k| 444.5 | 543M | 47 |1578 |4311 |3475 | 35k| 1 | 25k| 11k| 1.021448e+03 | 1.039000e+03 | 1.72%| 25.99%
3216.98/3225.35 c 3225s| 42100 | 2693 | 19980k| 444.5 | 543M | 47 |1578 |4268 |3451 | 35k| 0 | 25k| 11k| 1.021465e+03 | 1.039000e+03 | 1.72%| 26.01%
3229.66/3238.03 c 3238s| 42200 | 2699 | 20066k| 445.5 | 543M | 47 |1578 |4257 |3460 | 35k| 0 | 25k| 11k| 1.021472e+03 | 1.039000e+03 | 1.72%| 26.02%
3233.83/3242.23 c 3242s| 42300 | 2701 | 20104k| 445.3 | 543M | 47 |1578 |4263 |3472 | 35k| 0 | 25k| 11k| 1.021472e+03 | 1.039000e+03 | 1.72%| 26.02%
3239.82/3248.22 c 3248s| 42400 | 2711 | 20158k| 445.5 | 543M | 47 |1578 |4250 |3464 | 35k| 1 | 25k| 11k| 1.021484e+03 | 1.039000e+03 | 1.71%| 26.03%
3244.20/3252.67 c 3253s| 42500 | 2717 | 20197k| 445.4 | 543M | 47 |1578 |4303 |3469 | 35k| 0 | 25k| 11k| 1.021495e+03 | 1.039000e+03 | 1.71%| 26.04%
3249.29/3257.76 c 3258s| 42600 | 2725 | 20242k| 445.4 | 543M | 47 |1578 |4283 |3472 | 35k| 2 | 25k| 11k| 1.021504e+03 | 1.039000e+03 | 1.71%| 26.05%
3253.08/3261.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3253.08/3261.58 c 3262s| 42700 | 2723 | 20275k| 445.2 | 543M | 47 |1578 |4257 |3470 | 35k| 0 | 25k| 11k| 1.021504e+03 | 1.039000e+03 | 1.71%| 26.09%
3258.16/3266.66 c 3267s| 42800 | 2725 | 20318k| 445.1 | 543M | 47 |1578 |4242 |3450 | 35k| 0 | 25k| 11k| 1.021520e+03 | 1.039000e+03 | 1.71%| 26.15%
3261.85/3270.32 c 3270s| 42900 | 2723 | 20350k| 444.8 | 543M | 47 |1578 |4246 |3451 | 35k| 0 | 25k| 11k| 1.021520e+03 | 1.039000e+03 | 1.71%| 26.15%
3269.33/3277.81 c 3278s| 43000 | 2733 | 20402k| 445.0 | 543M | 47 |1578 |4244 |3455 | 36k| 0 | 25k| 11k| 1.021533e+03 | 1.039000e+03 | 1.71%| 26.19%
3274.01/3282.58 c 3283s| 43100 | 2733 | 20445k| 445.0 | 543M | 47 |1578 |4256 |3465 | 36k| 0 | 25k| 11k| 1.021533e+03 | 1.039000e+03 | 1.71%| 26.19%
3278.70/3287.23 c 3287s| 43200 | 2733 | 20485k| 444.9 | 543M | 47 |1578 |4229 |3413 | 36k| 0 | 25k| 11k| 1.021536e+03 | 1.039000e+03 | 1.71%| 26.19%
3285.08/3293.65 c 3294s| 43300 | 2749 | 20542k| 445.1 | 543M | 47 |1578 |4140 |3452 | 36k| 0 | 25k| 11k| 1.021542e+03 | 1.039000e+03 | 1.71%| 26.20%
3290.96/3299.55 c 3300s| 43400 | 2753 | 20594k| 445.3 | 543M | 47 |1578 |4134 |3457 | 36k| 0 | 25k| 11k| 1.021544e+03 | 1.039000e+03 | 1.71%| 26.20%
3296.25/3304.88 c 3305s| 43500 | 2759 | 20641k| 445.4 | 543M | 47 |1578 |4139 |3475 | 36k| 1 | 25k| 11k| 1.021548e+03 | 1.039000e+03 | 1.71%| 26.21%
3304.22/3312.85 c 3313s| 43600 | 2763 | 20694k| 445.6 | 543M | 47 |1578 |4139 |3473 | 36k| 1 | 25k| 11k| 1.021554e+03 | 1.039000e+03 | 1.71%| 26.23%
3313.29/3321.99 c 3322s| 43700 | 2773 | 20754k| 445.9 | 543M | 47 |1578 |4133 |3476 | 36k| 0 | 25k| 11k| 1.021572e+03 | 1.039000e+03 | 1.71%| 26.28%
3319.67/3328.39 c 3328s| 43800 | 2781 | 20808k| 446.1 | 543M | 47 |1578 |4184 |3484 | 36k| 0 | 25k| 11k| 1.021576e+03 | 1.039000e+03 | 1.71%| 26.28%
3324.26/3333.00 c 3333s| 43900 | 2777 | 20849k| 446.0 | 543M | 47 |1578 |4189 |3436 | 36k| 0 | 25k| 11k| 1.021576e+03 | 1.039000e+03 | 1.71%| 26.28%
3328.65/3337.30 c 3337s| 44000 | 2777 | 20884k| 445.8 | 543M | 47 |1578 |4189 |3450 | 36k| 1 | 25k| 11k| 1.021576e+03 | 1.039000e+03 | 1.71%| 26.28%
3333.23/3341.97 c 3342s| 44100 | 2779 | 20925k| 445.7 | 543M | 47 |1578 |4189 |3427 | 37k| 1 | 25k| 11k| 1.021576e+03 | 1.039000e+03 | 1.71%| 26.29%
3337.62/3346.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3337.62/3346.35 c 3346s| 44200 | 2785 | 20964k| 445.6 | 543M | 47 |1578 |4252 |3438 | 37k| 0 | 26k| 11k| 1.021577e+03 | 1.039000e+03 | 1.71%| 26.29%
3344.20/3352.96 c 3353s| 44300 | 2787 | 21019k| 445.8 | 543M | 47 |1578 |4252 |3432 | 37k| 0 | 26k| 11k| 1.021596e+03 | 1.039000e+03 | 1.70%| 26.31%
3351.78/3360.53 c 3361s| 44400 | 2799 | 21074k| 446.0 | 543M | 47 |1578 |4290 |3445 | 37k| 1 | 26k| 11k| 1.021600e+03 | 1.039000e+03 | 1.70%| 26.34%
3359.86/3368.69 c 3369s| 44500 | 2799 | 21113k| 445.9 | 543M | 47 |1578 |4445 |3445 | 37k| 1 | 26k| 11k| 1.021600e+03 | 1.039000e+03 | 1.70%| 26.34%
3370.53/3379.37 c 3379s| 44600 | 2811 | 21176k| 446.3 | 543M | 47 |1578 |4491 |3450 | 37k| 0 | 26k| 11k| 1.021608e+03 | 1.039000e+03 | 1.70%| 26.34%
3374.12/3382.93 c 3383s| 44700 | 2809 | 21208k| 446.0 | 543M | 47 |1578 |4489 |3449 | 37k| 1 | 26k| 11k| 1.021608e+03 | 1.039000e+03 | 1.70%| 26.34%
3379.40/3388.20 c 3388s| 44800 | 2813 | 21253k| 446.1 | 543M | 47 |1578 |4477 |3440 | 37k| 1 | 26k| 11k| 1.021617e+03 | 1.039000e+03 | 1.70%| 26.37%
3383.79/3392.64 c 3393s| 44900 | 2821 | 21293k| 446.0 | 543M | 47 |1578 |4481 |3436 | 37k| 1 | 26k| 11k| 1.021617e+03 | 1.039000e+03 | 1.70%| 26.37%
3392.28/3401.19 c 3401s| 45000 | 2839 | 21350k| 446.2 | 543M | 47 |1578 |4386 |3451 | 37k| 2 | 26k| 11k| 1.021639e+03 | 1.039000e+03 | 1.70%| 26.41%
3397.35/3406.27 c 3406s| 45100 | 2849 | 21392k| 446.2 | 543M | 47 |1578 |4376 |3452 | 38k| 0 | 26k| 11k| 1.021644e+03 | 1.039000e+03 | 1.70%| 26.42%
3402.33/3411.21 c 3411s| 45200 | 2855 | 21430k| 446.0 | 543M | 47 |1578 |4357 |3459 | 38k| 0 | 26k| 11k| 1.021651e+03 | 1.039000e+03 | 1.70%| 26.43%
3409.22/3418.16 c 3418s| 45300 | 2861 | 21475k| 446.0 | 543M | 47 |1578 |4345 |3469 | 38k| 1 | 26k| 11k| 1.021656e+03 | 1.039000e+03 | 1.70%| 26.51%
3413.80/3422.77 c 3423s| 45400 | 2859 | 21510k| 445.8 | 543M | 47 |1578 |4459 |3455 | 38k| 0 | 26k| 11k| 1.021656e+03 | 1.039000e+03 | 1.70%| 26.51%
3423.67/3432.66 c 3433s| 45500 | 2869 | 21564k| 446.0 | 543M | 47 |1578 |4429 |3456 | 38k| 0 | 26k| 11k| 1.021698e+03 | 1.039000e+03 | 1.69%| 26.55%
3432.94/3441.98 c 3442s| 45600 | 2885 | 21621k| 446.3 | 557M | 47 |1578 |4405 |3457 | 38k| 1 | 26k| 11k| 1.021720e+03 | 1.039000e+03 | 1.69%| 26.58%
3443.31/3452.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3443.31/3452.37 c 3452s| 45700 | 2889 | 21682k| 446.6 | 573M | 48 |1578 |4390 |3455 | 38k| 1 | 26k| 11k| 1.021720e+03 | 1.039000e+03 | 1.69%| 26.59%
3448.29/3457.34 c 3457s| 45800 | 2889 | 21720k| 446.5 | 592M | 48 |1578 |4391 |3463 | 38k| 0 | 26k| 11k| 1.021720e+03 | 1.039000e+03 | 1.69%| 26.59%
3456.97/3466.07 c 3466s| 45900 | 2895 | 21769k| 446.6 | 628M | 48 |1578 |4365 |3464 | 38k| 1 | 26k| 11k| 1.021721e+03 | 1.039000e+03 | 1.69%| 26.59%
3470.04/3479.16 c 3479s| 46000 | 2913 | 21840k| 447.1 | 634M | 48 |1578 |4328 |3473 | 38k| 0 | 26k| 11k| 1.021735e+03 | 1.039000e+03 | 1.69%| 26.61%
3476.30/3485.46 c 3485s| 46100 | 2913 | 21880k| 447.0 | 638M | 49 |1578 |4379 |3459 | 38k| 1 | 26k| 11k| 1.021735e+03 | 1.039000e+03 | 1.69%| 26.61%
3482.00/3491.18 c 3491s| 46200 | 2915 | 21921k| 446.9 | 638M | 49 |1578 |4367 |3474 | 38k| 1 | 26k| 11k| 1.021738e+03 | 1.039000e+03 | 1.69%| 26.61%
3487.07/3496.23 c 3496s| 46300 | 2919 | 21963k| 446.9 | 633M | 49 |1578 |4360 |3472 | 39k| 0 | 26k| 11k| 1.021739e+03 | 1.039000e+03 | 1.69%| 26.62%
3491.65/3500.82 c 3501s| 46400 | 2919 | 22002k| 446.8 | 634M | 49 |1578 |4360 |3466 | 39k| 1 | 26k| 11k| 1.021739e+03 | 1.039000e+03 | 1.69%| 26.62%
3500.94/3510.14 c 3510s| 46500 | 2925 | 22059k| 447.0 | 621M | 49 |1578 |4328 |3464 | 39k| 0 | 26k| 11k| 1.021743e+03 | 1.039000e+03 | 1.69%| 26.63%
3505.51/3514.77 c 3515s| 46600 | 2925 | 22095k| 446.9 | 619M | 49 |1578 |4358 |3464 | 39k| 1 | 26k| 11k| 1.021743e+03 | 1.039000e+03 | 1.69%| 26.63%
3514.28/3523.56 c 3524s| 46700 | 2927 | 22144k| 446.9 | 617M | 49 |1578 |4353 |3460 | 39k| 0 | 27k| 11k| 1.021749e+03 | 1.039000e+03 | 1.69%| 26.65%
3522.56/3531.87 c 3532s| 46800 | 2935 | 22208k| 447.3 | 611M | 49 |1578 |4382 |3481 | 39k| 0 | 27k| 11k| 1.021773e+03 | 1.039000e+03 | 1.69%| 26.75%
3528.64/3537.99 c 3538s| 46900 | 2943 | 22260k| 447.5 | 606M | 49 |1578 |4379 |3445 | 39k| 1 | 27k| 11k| 1.021779e+03 | 1.039000e+03 | 1.69%| 26.75%
3534.02/3543.33 c 3543s| 47000 | 2943 | 22304k| 447.4 | 605M | 49 |1578 |4407 |3473 | 39k| 1 | 27k| 11k| 1.021779e+03 | 1.039000e+03 | 1.69%| 26.75%
3541.30/3550.62 c 3551s| 47100 | 2945 | 22355k| 447.6 | 593M | 49 |1578 |4468 |3468 | 39k| 1 | 27k| 11k| 1.021795e+03 | 1.039000e+03 | 1.68%| 26.77%
3546.80/3556.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3546.80/3556.19 c 3556s| 47200 | 2949 | 22402k| 447.6 | 593M | 49 |1578 |4477 |3468 | 40k| 0 | 27k| 12k| 1.021798e+03 | 1.039000e+03 | 1.68%| 26.77%
3552.57/3561.92 c 3562s| 47300 | 2951 | 22449k| 447.7 | 589M | 49 |1578 |4491 |3457 | 40k| 1 | 27k| 12k| 1.021806e+03 | 1.039000e+03 | 1.68%| 26.78%
3559.15/3568.58 c 3569s| 47400 | 2955 | 22502k| 447.8 | 588M | 49 |1578 |4526 |3455 | 40k| 2 | 27k| 12k| 1.021816e+03 | 1.039000e+03 | 1.68%| 26.79%
3564.03/3573.49 c 3573s| 47500 | 2959 | 22545k| 447.8 | 588M | 49 |1578 |4544 |3452 | 40k| 0 | 27k| 12k| 1.021827e+03 | 1.039000e+03 | 1.68%| 26.81%
3580.78/3590.23 c 3590s| 47600 | 2979 | 22643k| 448.9 | 588M | 49 |1578 |4570 |3474 | 40k| 0 | 27k| 12k| 1.021843e+03 | 1.039000e+03 | 1.68%| 26.87%
3586.86/3596.37 c 3596s| 47700 | 2981 | 22683k| 448.8 | 588M | 49 |1578 |4588 |3475 | 40k| 1 | 27k| 12k| 1.021868e+03 | 1.039000e+03 | 1.68%| 26.93%
3587.46/3597.00 c
3587.46/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.46/3597.00 c Solving Time (sec) : 3596.99
3587.46/3597.00 c Solving Nodes : 47711 (total of 50509 nodes in 2 runs)
3587.46/3597.00 c Primal Bound : +1.03900000000000e+03 (623 solutions)
3587.46/3597.00 c Dual Bound : +1.02188825131120e+03
3587.46/3597.00 c Gap : 1.67 %
3587.57/3597.01 s SATISFIABLE
3587.57/3597.01 v -x1961 x1960 x1959 -x1958 -x1957 -x1956 x1955 x1954 -x1953 -x1952 x1951 -x1950 x1949 x1948 -x1947 x1946 -x1945 x1944 x1943 x1942
3587.57/3597.01 v -x1941 x1940 -x1939 x1938 -x1937 -x1936 x1935 -x1934 -x1933 x1932 -x1931 -x1930 -x1929 -x1928 x1927 x1926 x1925 -x1924 x1923
3587.57/3597.01 v x1922 -x1921 x1920 -x1919 -x1918 x1917 -x1916 x1915 x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 x1907 x1906 -x1905 -x1904
3587.57/3597.01 v -x1903 -x1902 x1901 x1900 x1899 -x1898 -x1897 -x1896 x1895 x1894 x1893 x1892 -x1891 x1890 -x1889 -x1888 x1887 x1886 -x1885
3587.57/3597.01 v -x1884 -x1883 -x1882 x1881 -x1880 x1879 x1878 -x1877 x1876 x1875 x1874 x1873 x1872 -x1871 -x1870 x1869 x1868 -x1867 -x1866 -x1865
3587.57/3597.01 v x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 x1855 x1854 x1853 -x1852 x1851 -x1850 -x1849 x1848 x1847 x1846
3587.57/3597.01 v x1845 x1844 -x1843 x1842 -x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 x1833 -x1832 -x1831 -x1830 x1829 x1828 x1827
3587.57/3597.01 v x1826 -x1825 x1824 x1823 -x1822 x1821 x1820 -x1819 x1818 -x1817 -x1816 -x1815 x1814 -x1813 x1812 x1811 x1810 x1809 x1808 -x1807
3587.57/3597.01 v x1806 -x1805 x1804 x1803 x1802 -x1801 -x1800 x1799 x1798 x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 -x1788
3587.57/3597.01 v x1787 -x1786 x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 -x1778 x1777 -x1776 x1775 x1774 -x1773 x1772 x1771 -x1770 x1769 x1768
3587.57/3597.01 v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 x1753 -x1752 x1751 -x1750
3587.57/3597.01 v x1749 x1748 -x1747 -x1746 x1745 x1744 -x1743 x1742 x1741 -x1740 x1739 -x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730
3587.57/3597.01 v x1729 -x1728 x1727 x1726 x1725 -x1724 -x1723 -x1722 x1721 -x1720 x1719 x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 x1711
3587.57/3597.01 v -x1710 x1709 -x1708 x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 x1699 x1698 x1697 -x1696 x1695 x1694 x1693 x1692
3587.57/3597.01 v -x1691 x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 -x1680 x1679 x1678 x1677 x1676 -x1675 -x1674 -x1673
3587.57/3597.01 v -x1672 -x1671 -x1670 x1669 -x1668 x1667 -x1666 -x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 x1658 -x1657 x1656 x1655 -x1654
3587.57/3597.01 v -x1653 x1652 -x1651 -x1650 x1649 -x1648 x1647 -x1646 x1645 -x1644 x1643 x1642 -x1641 -x1640 -x1639 x1638 -x1637 x1636 -x1635
3587.57/3597.01 v x1634 x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 x1623 x1622 -x1621 -x1620 x1619 -x1618 -x1617 -x1616
3587.57/3597.01 v x1615 x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602 x1601 x1600 x1599 x1598 -x1597 -x1596
3587.57/3597.01 v -x1595 -x1594 x1593 x1592 x1591 x1590 x1589 x1588 -x1587 x1586 x1585 -x1584 -x1583 -x1582 x1581 -x1580 -x1579 x1578 -x1577
3587.57/3597.01 v x1576 x1575 -x1574 x1573 -x1572 x1571 x1570 -x1569 x1568 x1567 x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 -x1558
3587.57/3597.01 v -x1557 -x1556 x1555 x1554 -x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 -x1538
3587.57/3597.01 v -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 x1521 x1520
3587.57/3597.01 v x1519 -x1518 -x1517 x1516 -x1515 -x1514 x1513 x1512 x1511 -x1510 -x1509 x1508 x1507 x1506 x1505 x1504 -x1503 x1502 x1501 -x1500
3587.57/3597.01 v x1499 x1498 -x1497 -x1496 x1495 x1494 -x1493 x1492 -x1491 -x1490 -x1489 x1488 x1487 x1486 -x1485 x1484 x1483 -x1482 x1481
3587.57/3597.01 v -x1480 x1479 x1478 x1477 -x1476 -x1475 x1474 -x1473 -x1472 x1471 -x1470 x1469 -x1468 -x1467 x1466 x1465 x1464 -x1463 -x1462 x1461
3587.57/3597.01 v -x1460 -x1459 -x1458 x1457 -x1456 x1455 x1454 x1453 x1452 x1451 x1450 x1449 -x1448 -x1447 -x1446 -x1445 x1444 x1443 x1442
3587.57/3597.01 v -x1441 x1440 -x1439 -x1438 x1437 x1436 x1435 -x1434 x1433 -x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 x1424 -x1423 x1422
3587.57/3597.01 v -x1421 x1420 -x1419 x1418 -x1417 x1416 x1415 x1414 -x1413 -x1412 x1411 -x1410 x1409 -x1408 -x1407 x1406 x1405 -x1404 x1403
3587.57/3597.01 v x1402 -x1401 -x1400 x1399 x1398 -x1397 x1396 x1395 -x1394 -x1393 x1392 -x1391 x1390 -x1389 x1388 -x1387 -x1386 -x1385 x1384
3587.57/3597.01 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 x1377 -x1376 x1375 -x1374 x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365
3587.57/3597.01 v x1364 x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 x1355 -x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347
3587.57/3597.01 v x1346 -x1345 -x1344 x1343 -x1342 x1341 -x1340 -x1339 x1338 x1337 x1336 x1335 x1334 -x1333 x1332 -x1331 x1330 x1329 -x1328 -x1327
3587.57/3597.01 v x1326 -x1325 x1324 x1323 x1322 x1321 x1320 x1319 -x1318 -x1317 x1316 x1315 x1314 x1313 x1312 -x1311 x1310 x1309 x1308 x1307
3587.57/3597.01 v x1306 x1305 x1304 x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 -x1290 x1289 x1288
3587.57/3597.01 v -x1287 -x1286 x1285 -x1284 -x1283 x1282 -x1281 x1280 x1279 -x1278 -x1277 x1276 x1275 x1274 -x1273 x1272 -x1271 x1270 -x1269
3587.57/3597.01 v -x1268 x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 x1258 x1257 x1256 x1255 -x1254 x1253 x1252 x1251 x1250
3587.57/3597.01 v x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 x1238 x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231
3587.57/3597.01 v -x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 x1223 -x1222 x1221 x1220 -x1219 x1218 x1217 x1216 -x1215 -x1214 -x1213 x1212 x1211
3587.57/3597.01 v x1210 -x1209 x1208 x1207 -x1206 x1205 x1204 -x1203 x1202 x1201 x1200 -x1199 x1198 x1197 -x1196 x1195 x1194 -x1193 -x1192
3587.57/3597.01 v x1191 -x1190 x1189 x1188 x1187 -x1186 x1185 -x1184 x1183 x1182 x1181 x1180 x1179 -x1178 x1177 x1176 x1175 -x1174 x1173 -x1172
3587.57/3597.01 v x1171 -x1170 -x1169 x1168 x1167 x1166 x1165 x1164 x1163 x1162 x1161 -x1160 -x1159 -x1158 x1157 x1156 x1155 x1154 -x1153 x1152
3587.57/3597.01 v x1151 -x1150 -x1149 x1148 x1147 x1146 -x1145 x1144 -x1143 -x1142 x1141 x1140 x1139 x1138 -x1137 x1136 -x1135 x1134 -x1133
3587.57/3597.01 v -x1132 -x1131 x1130 x1129 x1128 -x1127 -x1126 x1125 -x1124 -x1123 x1122 x1121 x1120 x1119 x1118 x1117 -x1116 x1115 -x1114 -x1113
3587.57/3597.01 v x1112 -x1111 x1110 x1109 -x1108 x1107 x1106 x1105 x1104 -x1103 -x1102 x1101 x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094
3587.57/3597.01 v x1093 x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 x1084 -x1083 -x1082 x1081 x1080 x1079 x1078 -x1077 x1076 -x1075
3587.57/3597.01 v x1074 -x1073 x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 x1065 x1064 -x1063 -x1062 x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055
3587.57/3597.01 v -x1054 x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 x1046 -x1045 x1044 -x1043 x1042 x1041 x1040 -x1039 x1038 x1037 x1036
3587.57/3597.01 v x1035 -x1034 x1033 x1032 -x1031 x1030 -x1029 x1028 x1027 -x1026 x1025 x1024 x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017
3587.57/3597.01 v x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 -x1002 x1001 x1000 x999 -x998
3587.57/3597.01 v x997 x996 -x995 x994 -x993 x992 x991 x990 -x989 x988 x987 -x986 -x985 x984 -x983 -x982 x981 x980 x979 x978 -x977 x976 x975 -x974
3587.57/3597.01 v x973 x972 x971 x970 -x969 x968 x967 -x966 x965 x964 x963 x962 -x961 x960 x959 -x958 x957 x956 -x955 x954 x953 -x952 x951
3587.57/3597.01 v -x950 -x949 x948 x947 -x946 -x945 x944 -x943 -x942 x941 -x940 -x939 x938 x937 x936 x935 -x934 -x933 x932 x931 x930 -x929 -x928
3587.57/3597.01 v x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 -x918 x917 -x916 -x915 -x914 x913 x912 x911 x910 x909 -x908 -x907 x906 x905
3587.57/3597.01 v -x904 -x903 x902 x901 x900 -x899 x898 x897 x896 x895 x894 x893 x892 -x891 -x890 x889 x888 x887 x886 x885 x884 x883 -x882 x881
3587.57/3597.01 v x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 x870 x869 -x868 x867 -x866 x865 -x864 x863 x862 -x861 -x860 x859
3587.57/3597.01 v x858 -x857 -x856 x855 x854 -x853 x852 x851 x850 x849 x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 x837 -x836
3587.57/3597.01 v -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 x824 -x823 x822 x821 -x820 x819 x818 x817 x816 x815 -x814
3587.57/3597.01 v x813 x812 -x811 x810 -x809 -x808 -x807 x806 -x805 -x804 x803 x802 -x801 x800 x799 x798 x797 -x796 -x795 x794 -x793 x792 x791
3587.57/3597.01 v x790 x789 x788 -x787 -x786 x785 x784 x783 x782 -x781 x780 x779 -x778 x777 x776 x775 x774 -x773 x772 -x771 -x770 -x769 x768 x767
3587.57/3597.01 v -x766 -x765 -x764 x763 x762 x761 x760 x759 -x758 -x757 -x756 x755 x754 x753 x752 -x751 x750 x749 -x748 x747 x746 -x745 x744
3587.57/3597.01 v x743 x742 -x741 x740 -x739 -x738 x737 -x736 x735 -x734 -x733 x732 x731 x730 x729 x728 -x727 x726 x725 x724 x723 x722 -x721
3587.57/3597.01 v x720 x719 x718 x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 x709 -x708 x707 -x706 -x705 x704 -x703 x702 x701 x700 -x699 -x698
3587.57/3597.01 v x697 x696 x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 x687 -x686 x685 -x684 -x683 x682 x681 -x680 x679 x678 -x677 x676 -x675
3587.57/3597.01 v x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 x663 x662 -x661 x660 -x659 -x658 x657 x656 -x655 x654 x653
3587.57/3597.01 v x652 -x651 x650 -x649 -x648 x647 x646 x645 x644 x643 x642 x641 x640 x639 -x638 x637 x636 x635 -x634 -x633 x632 x631 -x630 x629
3587.57/3597.01 v -x628 x627 -x626 -x625 x624 x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 x615 -x614 -x613 -x612 x611 x610 -x609 -x608 x607
3587.57/3597.01 v x606 -x605 -x604 -x603 x602 -x601 x600 x599 x598 x597 -x596 -x595 -x594 x593 x592 -x591 x590 x589 x588 x587 x586 x585 x584
3587.57/3597.01 v x583 x582 -x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 x572 -x571 x570 x569 -x568 -x567 -x566 -x565 -x564 x563 x562 x561
3587.57/3597.01 v x560 x559 -x558 x557 -x556 -x555 -x554 x553 -x552 x551 -x550 -x549 x548 x547 x546 -x545 x544 -x543 -x542 -x541 -x540 x539
3587.57/3597.01 v -x538 -x537 x536 x535 x534 -x533 -x532 x531 -x530 x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 x520 x519 -x518 x517 x516
3587.57/3597.01 v -x515 -x514 -x513 -x512 x511 x510 -x509 x508 x507 x506 x505 x504 x503 -x502 x501 x500 x499 -x498 -x497 x496 x495 x494 -x493
3587.57/3597.01 v -x492 -x491 x490 x489 -x488 x487 -x486 x485 x484 -x483 x482 -x481 -x480 -x479 x478 -x477 x476 -x475 x474 x473 x472 x471 x470
3587.57/3597.01 v x469 x468 x467 x466 -x465 -x464 -x463 -x462 x461 x460 x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 x450 x449 -x448 -x447
3587.57/3597.01 v x446 x445 x444 x443 x442 -x441 x440 -x439 -x438 -x437 -x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423
3587.57/3597.01 v x422 -x421 x420 -x419 x418 x417 -x416 x415 -x414 -x413 -x412 x411 x410 -x409 -x408 x407 x406 x405 -x404 -x403 x402 x401 -x400
3587.57/3597.01 v x399 x398 -x397 -x396 x395 x394 x393 x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 x382 x381 -x380 -x379 -x378
3587.57/3597.01 v x377 x376 -x375 x374 x373 x372 x371 -x370 -x369 x368 -x367 x366 x365 -x364 -x363 x362 -x361 -x360 x359 -x358 x357 x356 x355
3587.57/3597.01 v x354 -x353 -x352 x351 x350 -x349 x348 x347 -x346 x345 x344 -x343 x342 -x341 -x340 x339 x338 -x337 x336 x335 x334 x333 -x332
3587.57/3597.01 v x331 x330 -x329 x328 x327 x326 -x325 -x324 x323 -x322 x321 -x320 x319 x318 x317 x316 x315 x314 -x313 -x312 -x311 -x310 -x309
3587.57/3597.01 v -x308 x307 -x306 x305 x304 -x303 -x302 x301 x300 -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 x290 x289 -x288 -x287 x286
3587.57/3597.01 v x285 x284 x283 x282 x281 x280 x279 -x278 -x277 -x276 x275 -x274 x273 x272 -x271 -x270 x269 -x268 x267 x266 -x265 x264 x263 x262
3587.57/3597.01 v -x261 x260 -x259 x258 -x257 x256 -x255 x254 -x253 -x252 x251 x250 x249 -x248 -x247 x246 x245 -x244 x243 x242 -x241 -x240
3587.57/3597.01 v x239 x238 x237 x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 x224 x223 x222 -x221 -x220 -x219 -x218 x217
3587.57/3597.01 v x216 -x215 x214 x213 -x212 x211 -x210 x209 -x208 -x207 -x206 -x205 x204 x203 -x202 x201 -x200 x199 x198 x197 x196 x195 -x194
3587.57/3597.01 v -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 x184 x183 -x182 -x181 x180 x179 x178 -x177 x176 -x175 -x174 -x173 -x172
3587.57/3597.01 v -x171 x170 x169 -x168 x167 -x166 -x165 x164 x163 -x162 -x161 x160 x159 x158 -x157 -x156 x155 -x154 x153 x152 -x151 -x150 x149
3587.57/3597.01 v x148 x147 -x146 -x145 -x144 -x143 x142 x141 x140 x139 -x138 -x137 -x136 -x135 x134 -x133 x132 -x131 x130 x129 x128 -x127 -x126
3587.57/3597.01 v x125 -x124 -x123 x122 -x121 -x120 -x119 x118 x117 -x116 -x115 x114 x113 -x112 x111 x110 x109 -x108 x107 -x106 x105 -x104 x103
3587.57/3597.01 v -x102 x101 x100 x99 x98 -x97 -x96 x95 x94 x93 x92 -x91 x90 -x89 x88 x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 x78 -x77 -x76
3587.57/3597.01 v x75 -x74 -x73 -x72 x71 x70 x69 x68 x67 -x66 x65 x64 x63 -x62 -x61 x60 x59 x58 x57 -x56 x55 x54 x53 -x52 x51 -x50 -x49 -x48
3587.57/3597.01 v -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 x37 x36 x35 x34 x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 x20
3587.57/3597.01 v x19 -x18 x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 x4 x3 x2 x1
3587.57/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.57/3597.01 c Total Time : 3596.99
3587.57/3597.01 c solving : 3596.99
3587.57/3597.01 c presolving : 0.26 (included in solving)
3587.57/3597.01 c reading : 0.02 (included in solving)
3587.57/3597.01 c copying : 0.10 (10 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.57/3597.01 c Original Problem :
3587.57/3597.01 c Problem name : HOME/instance-4432637-1721075018.opb
3587.57/3597.01 c Variables : 1961 (1961 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.57/3597.01 c Constraints : 4000 initial, 4000 maximal
3587.57/3597.01 c Objective : minimize, 1961 non-zeros (abs.min = 1, abs.max = 1)
3587.57/3597.01 c Presolved Problem :
3587.57/3597.01 c Problem name : t_HOME/instance-4432637-1721075018.opb
3587.57/3597.01 c Variables : 1578 (1578 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.57/3597.01 c Constraints : 4340 initial, 9716 maximal
3587.57/3597.01 c Objective : minimize, 1578 non-zeros (abs.min = 1, abs.max = 1)
3587.57/3597.01 c Nonzeros : 62540 constraint, 6228 clique table
3587.57/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.57/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c gateextraction : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c trivial : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c dualfix : 0.00 0.00 15 183 0 0 0 0 0 0 0 0
3587.57/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c pseudoobj : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c knapsack : 0.02 0.00 16 0 0 0 0 0 0 0 0 17
3587.57/3597.01 c setppc : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c linear : 0.05 0.00 20 0 200 0 0 0 901 0 3377 3886
3587.57/3597.01 c logicor : 0.08 0.01 15 0 0 0 0 0 85 0 0 605
3587.57/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.57/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.57/3597.01 c benderslp : 0 0 0 0 28967 0 0 3125 0 0 0 0 0 0 0
3587.57/3597.01 c integral : 0 0 0 0 28967 0 0 3125 0 0 6115 0 0 18394 53846
3587.57/3597.01 c knapsack : 210+ 211 8 188604 0 0 0 0 10 5 3 0 0 0 0
3587.57/3597.01 c setppc : 3109 3109 29 220937 4 0 0 3119 258600 41 172600 0 0 0 0
3587.57/3597.01 c linear : 48+ 75 0 105151 0 0 0 2 792 555 1406 0 0 0 0
3587.57/3597.01 c logicor : 973+ 6325 8 46000 0 0 0 0 3249 402 389 0 0 0 0
3587.57/3597.01 c benders : 0 0 0 0 4 0 0 722 0 0 0 0 0 0 0
3587.57/3597.01 c fixedvar : 0 0 0 0 4 0 0 722 0 0 0 0 0 0 0
3587.57/3597.01 c countsols : 0 0 0 0 4 0 0 722 0 0 0 0 0 0 0
3587.57/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.57/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c integral : 583.93 0.00 0.00 0.00 583.92 0.00 0.00 0.01 0.00 0.00
3587.57/3597.01 c knapsack : 1.49 0.00 0.55 0.78 0.00 0.00 0.00 0.00 0.00 0.16
3587.57/3597.01 c setppc : 1.33 0.00 0.01 1.01 0.00 0.00 0.00 0.07 0.05 0.19
3587.57/3597.01 c linear : 0.26 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.00 0.09
3587.57/3597.01 c logicor : 0.50 0.01 0.00 0.43 0.00 0.00 0.00 0.00 0.01 0.05
3587.57/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.57/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.57/3597.01 c dualfix : 3 0 0 0
3587.57/3597.01 c genvbounds : 0 0 0 0
3587.57/3597.01 c nlobbt : 0 0 0 0
3587.57/3597.01 c obbt : 0 0 0 0
3587.57/3597.01 c probing : 0 0 0 0
3587.57/3597.01 c pseudoobj : 109405 0 0 0
3587.57/3597.01 c redcost : 556 0 0 103
3587.57/3597.01 c rootredcost : 7 0 0 0
3587.57/3597.01 c symmetry : 0 0 0 0
3587.57/3597.01 c vbounds : 81249 0 0 0
3587.57/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.57/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.57/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.57/3597.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3587.57/3597.01 c redcost : 0.05 0.00 0.00 0.05 0.00 0.00
3587.57/3597.01 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.00
3587.57/3597.01 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.01
3587.57/3597.01 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3587.57/3597.01 c Symmetry :
3587.57/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.57/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.57/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.57/3597.01 c shadow tree time : 0.00 s
3587.57/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.57/3597.01 c propagation : 0.01 501 246 - 1283 55.5 0 0.0 - - -
3587.57/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.57/3597.01 c bound exceed. LP : 4.82 7322 7319 - 50759 56.9 0 0.0 7319 79.3 16548
3587.57/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.57/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.57/3597.01 c applied globally : 0.24 - - 0 20293 44.2 - - 7319 - -
3587.57/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.57/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.57/3597.01 c cut pool : 17.91 - 8180 54 - - 61512 157292 - - - - - (maximal pool size: 3936)
3587.57/3597.01 c aggregation : 17.27 0.00 1812 29 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.57/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.57/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.57/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c clique : 0.41 0.00 29 29 0 0 8 8 0 8 8 0 0
3587.57/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c gomory : 458.55 0.00 1761 18 0 0 58615 78072 0 5629 5629 0 0
3587.57/3597.01 c > gomorymi : - - - - - - - 32487 0 517 517 0 -
3587.57/3597.01 c > strongcg : - - - - - - - 45585 0 5112 5112 0 -
3587.57/3597.01 c impliedbounds : 0.31 0.00 1812 29 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c multilinear : 0.00 0.00 360 29 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c rapidlearning : 0.08 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c rlt : 0.00 0.00 598 18 0 0 0 0 0 0 0 0 0
3587.57/3597.01 c zerohalf : 26.13 0.00 1771 28 0 0 2889 79212 0 37405 37405 0 0
3587.57/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.57/3597.01 c hybrid : 1.18 0.00 5858 27 43042 0 114250 166 0 778
3587.57/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.57/3597.01 c problem variables: 0.00 - 0 0
3587.57/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.57/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c relpscost : 583.89 0.00 28963 0 0 0 6115 0 23889 53846
3587.57/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.57/3597.01 c LP solutions : 0.00 - - 4 4
3587.57/3597.01 c relax solutions : 0.00 - - 0 0
3587.57/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.57/3597.01 c strong branching : 1.21 - - 73 0
3587.57/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.57/3597.01 c adaptivediving : 5.42 0.00 68 0 0
3587.57/3597.01 c alns : 0.14 0.00 7 0 0
3587.57/3597.01 c bound : 0.00 0.00 0 0 0
3587.57/3597.01 c clique : 0.02 0.00 1 1 1
3587.57/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.57/3597.01 c completesol : 0.00 0.00 0 0 0
3587.57/3597.01 c conflictdiving : 3.12 0.00 63 0 0
3587.57/3597.01 c crossover : 0.10 0.00 3 1 1
3587.57/3597.01 c dins : 0.00 0.00 0 0 0
3587.57/3597.01 c distributiondivin: 8.90 0.00 62 0 0
3587.57/3597.01 c dps : 0.00 0.00 0 0 0
3587.57/3597.01 c dualval : 0.00 0.00 0 0 0
3587.57/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.57/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.57/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.57/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.57/3597.01 c fracdiving : 3.11 0.00 62 0 0
3587.57/3597.01 c gins : 0.01 0.00 0 0 0
3587.57/3597.01 c guideddiving : 4.21 0.00 62 1 1
3587.57/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.57/3597.01 c indicator : 0.01 0.00 0 0 0
3587.57/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.57/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.57/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.57/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.57/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.57/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.57/3597.01 c linesearchdiving : 5.95 0.00 62 0 0
3587.57/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.57/3597.01 c locks : 0.00 0.00 1 1 1
3587.57/3597.01 c lpface : 0.01 0.00 0 0 0
3587.57/3597.01 c mpec : 0.00 0.00 0 0 0
3587.57/3597.01 c multistart : 0.00 0.00 0 0 0
3587.57/3597.01 c mutation : 0.00 0.00 0 0 0
3587.57/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.57/3597.01 c objpscostdiving : 126.25 0.00 32 235 0
3587.57/3597.01 c octane : 0.00 0.00 0 0 0
3587.57/3597.01 c ofins : 0.01 0.00 0 0 0
3587.57/3597.01 c oneopt : 0.02 0.00 7 1 1
3587.57/3597.01 c padm : 0.00 0.00 0 0 0
3587.57/3597.01 c proximity : 0.00 0.00 0 0 0
3587.57/3597.01 c pscostdiving : 9.70 0.00 62 0 0
3587.57/3597.01 c randrounding : 0.57 0.00 2426 28 0
3587.57/3597.01 c rens : 0.00 0.00 0 0 0
3587.57/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.57/3597.01 c repair : 0.00 0.00 0 0 0
3587.57/3597.01 c rins : 0.05 0.00 0 0 0
3587.57/3597.01 c rootsoldiving : 8.79 0.00 32 30 0
3587.57/3597.01 c rounding : 55.55 0.00 2594 0 0
3587.57/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.57/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.57/3597.01 c shifting : 27.44 0.00 1228 0 0
3587.57/3597.01 c simplerounding : 2.67 0.00 34827 71 0
3587.57/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.57/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.57/3597.01 c trivial : 0.00 0.00 4 2 2
3587.57/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.57/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.57/3597.01 c trysol : 0.01 0.00 0 0 0
3587.57/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.57/3597.01 c undercover : 0.00 0.00 0 0 0
3587.57/3597.01 c vbounds : 0.02 0.00 2 0 0
3587.57/3597.01 c veclendiving : 4.23 0.00 62 0 0
3587.57/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.57/3597.01 c zirounding : 4.41 0.00 8751 175 0
3587.57/3597.01 c other solutions : - - - 0 -
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/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
3587.57/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.57/3597.01 c primal LP : 3.08 3819 0 0.00 0.00 3.08 3819
3587.57/3597.01 c dual LP : 2186.46 58235 21423232 368.73 9798.13 0.12 135
3587.57/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.57/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.57/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.57/3597.01 c diving/probing LP: 202.51 7440 1266022 170.16 6251.57
3587.57/3597.01 c strong branching : 528.04 12127 5310505 437.91 10056.93 - - 4595
3587.57/3597.01 c (at root node) : - 21 20198 961.81 -
3587.57/3597.01 c conflict analysis: 2.04 1657 16548 9.99 8127.10
3587.57/3597.01 c B&B Tree :
3587.57/3597.01 c number of runs : 2
3587.57/3597.01 c nodes : 47711 (25344 internal, 22367 leaves)
3587.57/3597.01 c feasible leaves : 0
3587.57/3597.01 c infeas. leaves : 284
3587.57/3597.01 c objective leaves : 22082
3587.57/3597.01 c nodes (total) : 50509 (26923 internal, 23586 leaves)
3587.57/3597.01 c nodes left : 2979
3587.57/3597.01 c max depth : 49
3587.57/3597.01 c max depth (total): 49
3587.57/3597.01 c backtracks : 6469 (13.6%)
3587.57/3597.01 c early backtracks : 0 (0.0%)
3587.57/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.57/3597.01 c delayed cutoffs : 0
3587.57/3597.01 c repropagations : 103 (95 domain reductions, 0 cutoffs)
3587.57/3597.01 c avg switch length: 2.94
3587.57/3597.01 c switching time : 6.67
3587.57/3597.01 c Root Node :
3587.57/3597.01 c First LP value : +9.78000000000000e+02
3587.57/3597.01 c First LP Iters : 1970 (56984.18 Iter/sec)
3587.57/3597.01 c First LP Time : 0.03
3587.57/3597.01 c Final Dual Bound : +1.00880309720729e+03
3587.57/3597.01 c Final Root Iters : 22605
3587.57/3597.01 c Root LP Estimate : +1.39593705181316e+03
3587.57/3597.01 c Solution :
3587.57/3597.01 c Solutions found : 623 (11 improvements)
3587.57/3597.01 c First Solution : +1.96100000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3587.57/3597.01 c Gap First Sol. : infinite
3587.57/3597.01 c Gap Last Sol. : 3.18 %
3587.57/3597.01 c Primal Bound : +1.03900000000000e+03 (in run 1, after 555 nodes, 79.48 seconds, depth 35, found by <crossover>)
3587.57/3597.01 c Dual Bound : +1.02188825131120e+03
3587.57/3597.01 c Gap : 1.67 %
3587.57/3597.01 c Integrals : Total Avg%
3587.57/3597.01 c primal-dual : 7456.32 2.07
3587.57/3597.01 c primal-ref : - - (not evaluated)
3587.57/3597.01 c dual-ref : - - (not evaluated)
3587.57/3597.08 c Time complete: 3587.65.
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: 64059 MiB (60994 MiB free)
memory of node 1: 64510 MiB (61170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432637-1721075018/watcher-4432637-1721075018 -o /tmp/evaluation-result-4432637-1721075018/solver-4432637-1721075018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807175 --watchdog 3760 pbscip -f HOME/instance-4432637-1721075018.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=809246, runsolver pid=809243
[startup+0.100608 s]*
/proc/loadavg: 4.13 4.26 4.23 5/243 809247
/proc/meminfo: memFree=125073996/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=71368 memory=32264 CPUtime=0.1 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 4867 0 0 0 9 1 0 0 20 0 1 0 159658818 73080832 8066 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 17842 8066 3696 3540 0 6099 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 71368 KiB
Current children cumulated memory: 32264 KiB
[startup+0.212823 s]*
/proc/loadavg: 4.13 4.26 4.23 5/243 809247
/proc/meminfo: memFree=125062136/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=82704 memory=41684 CPUtime=0.21 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 7184 0 0 0 20 1 0 0 20 0 1 0 159658818 84688896 10421 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 20676 10421 3920 3540 0 8933 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82704 KiB
Current children cumulated memory: 41684 KiB
[startup+0.31243 s]*
/proc/loadavg: 4.13 4.26 4.23 5/243 809247
/proc/meminfo: memFree=125057476/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=82880 memory=41684 CPUtime=0.31 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 7201 0 0 0 30 1 0 0 20 0 1 0 159658818 84869120 10421 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 20720 10421 3920 3540 0 8977 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 82880 KiB
Current children cumulated memory: 41684 KiB
[startup+0.70026 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809247
/proc/meminfo: memFree=125054620/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=86572 memory=44612 CPUtime=0.68 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 7924 0 0 0 67 1 0 0 20 0 1 0 159658818 88649728 11153 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 21643 11153 3936 3540 0 9900 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86572 KiB
Current children cumulated memory: 44612 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 4.26 4.23 6/241 809255
/proc/meminfo: memFree=126742548/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=87984 memory=45932 CPUtime=1.49 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 8217 0 0 0 147 2 0 0 20 0 1 0 159658818 90095616 11483 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 21996 11483 3936 3540 0 10253 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87984 KiB
Current children cumulated memory: 45932 KiB
[startup+3.11263 s]
/proc/loadavg: 4.12 4.25 4.23 5/243 809293
/proc/meminfo: memFree=126649600/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=94712 memory=51740 CPUtime=3.09 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 9702 0 0 0 307 2 0 0 20 0 1 0 159658818 96985088 12935 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 23678 12935 3936 3540 0 11935 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94712 KiB
Current children cumulated memory: 51740 KiB
[startup+6.30024 s]
/proc/loadavg: 4.12 4.25 4.23 5/243 809293
/proc/meminfo: memFree=126514220/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=137208 memory=93536 CPUtime=6.26 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 20827 0 0 0 623 3 0 0 20 0 1 0 159658818 140500992 23384 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 34302 23384 3936 3540 0 22559 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 137208 KiB
Current children cumulated memory: 93536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.25 4.23 5/243 809295
/proc/meminfo: memFree=126404968/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=167928 memory=120532 CPUtime=12.65 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 28231 0 0 0 1260 5 0 0 20 0 1 0 159658818 171958272 30133 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 41982 30133 3952 3540 0 30239 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 167928 KiB
Current children cumulated memory: 120532 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.25 4.23 5/243 809297
/proc/meminfo: memFree=126394964/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=167928 memory=120852 CPUtime=25.42 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 28327 0 0 0 2537 5 0 0 20 0 1 0 159658818 171958272 30213 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 41982 30213 3968 3540 0 30239 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 167928 KiB
Current children cumulated memory: 120852 KiB
[startup+51.1137 s]
/proc/loadavg: 4.11 4.23 4.22 5/243 809302
/proc/meminfo: memFree=126199116/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=203308 memory=155468 CPUtime=50.97 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 40351 0 0 0 5091 6 0 0 20 0 1 0 159658818 208187392 38867 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 50827 38867 3983 3540 0 39084 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 203308 KiB
Current children cumulated memory: 155468 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.22 5/243 809311
/proc/meminfo: memFree=126019060/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=238960 memory=189700 CPUtime=102 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 49560 0 0 0 10192 8 0 0 20 0 1 0 159658818 244695040 47425 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 59740 47425 3983 3540 0 47997 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 238960 KiB
Current children cumulated memory: 189700 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.20 4.20 5/243 809706
/proc/meminfo: memFree=125890844/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=260040 memory=208644 CPUtime=161.82 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 55055 0 0 0 16172 10 0 0 20 0 1 0 159658818 266280960 52161 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 65010 52161 3983 3540 0 53267 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 260040 KiB
Current children cumulated memory: 208644 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.19 5/243 809717
/proc/meminfo: memFree=125744804/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=269352 memory=213752 CPUtime=221.63 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 58192 0 0 0 22153 10 0 0 20 0 1 0 159658818 275816448 53438 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 67338 53438 3983 3540 0 55595 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 269352 KiB
Current children cumulated memory: 213752 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.19 5/244 809728
/proc/meminfo: memFree=125720448/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=271876 memory=222120 CPUtime=281.46 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 59229 0 0 0 28136 10 0 0 20 0 1 0 159658818 278401024 55530 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 67969 55530 3983 3540 0 56226 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 271876 KiB
Current children cumulated memory: 222120 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/247 809909
/proc/meminfo: memFree=125683324/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=295404 memory=255408 CPUtime=341.31 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 65128 0 0 0 34120 11 0 0 20 0 1 0 159658818 302493696 63852 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 73851 63852 3983 3540 0 62108 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 295404 KiB
Current children cumulated memory: 255408 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/247 809919
/proc/meminfo: memFree=125626084/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=313932 memory=275388 CPUtime=401.15 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 69495 0 0 0 40104 11 0 0 20 0 1 0 159658818 321466368 68847 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 78483 68847 3983 3540 0 66740 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 313932 KiB
Current children cumulated memory: 275388 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/245 809987
/proc/meminfo: memFree=125602408/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=317180 memory=278180 CPUtime=461.01 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 70226 0 0 0 46090 11 0 0 20 0 1 0 159658818 324792320 69545 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 79295 69545 3983 3540 0 67552 0
################
# More data... #
################
/proc/loadavg: 4.29 4.28 4.19 5/241 811036
/proc/meminfo: memFree=124812764/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=622084 memory=577048 CPUtime=3154.18 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 144825 0 0 0 315390 28 0 0 20 0 1 0 159658818 637014016 144262 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 155521 144262 3983 3540 0 143778 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 622084 KiB
Current children cumulated memory: 577048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.26 4.19 5/241 811047
/proc/meminfo: memFree=124740348/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=622084 memory=577048 CPUtime=3213.99 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 145037 0 0 0 321371 28 0 0 20 0 1 0 159658818 637014016 144262 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 155521 144262 3983 3540 0 143778 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 622084 KiB
Current children cumulated memory: 577048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.23 4.18 5/241 811057
/proc/meminfo: memFree=124739492/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=622084 memory=577200 CPUtime=3273.81 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 145327 0 0 0 327353 28 0 0 20 0 1 0 159658818 637014016 144300 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 155521 144300 3983 3540 0 143778 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 622084 KiB
Current children cumulated memory: 577200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/241 811067
/proc/meminfo: memFree=124736984/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=622084 memory=577352 CPUtime=3333.63 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 145535 0 0 0 333335 28 0 0 20 0 1 0 159658818 637014016 144338 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 155521 144338 3983 3540 0 143778 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 622084 KiB
Current children cumulated memory: 577352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/241 811077
/proc/meminfo: memFree=124731840/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=622084 memory=577352 CPUtime=3393.46 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 145750 0 0 0 339317 29 0 0 20 0 1 0 159658818 637014016 144338 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 155521 144338 3983 3540 0 143778 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 622084 KiB
Current children cumulated memory: 577352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/243 811092
/proc/meminfo: memFree=124660260/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=681252 memory=637704 CPUtime=3453.27 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 161066 0 0 0 345297 30 0 0 20 0 1 0 159658818 697602048 159426 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 170313 159426 3983 3540 0 158570 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 681252 KiB
Current children cumulated memory: 637704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/243 811102
/proc/meminfo: memFree=124642832/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=691452 memory=648184 CPUtime=3513.09 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 163889 0 0 0 351278 31 0 0 20 0 1 0 159658818 708046848 162046 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172863 162046 3983 3540 0 161120 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 691452 KiB
Current children cumulated memory: 648184 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/243 811112
/proc/meminfo: memFree=124640904/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3572.91 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164104 0 0 0 357260 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3597.09 s]
# the end of solver process 809246 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.33 s, system=0.326748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.16 5/243 811112
/proc/meminfo: memFree=124640932/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3574.61 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 357430 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3574.61 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640936/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3580.98 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 358067 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3580.98 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3593.6 s]
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640880/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3584.17 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 358386 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3584.17 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3595.2 s]
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640880/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3585.77 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 358546 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3585.77 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3596 s]*
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640896/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3586.58 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 358627 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640896/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3587.36 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 358705 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
[startup+3597 s]*
/proc/loadavg: 4.16 4.17 4.17 3/238 811127
/proc/meminfo: memFree=125762696/131655788 swapFree=131071996/131071996
[pid=809246] ppid=809243 vsize=689412 memory=646912 CPUtime=3587.57 cores=5,7
/proc/809246/stat : 809246 (pbscip) R 809243 809246 807162 0 -1 4194304 164105 0 0 0 358726 31 0 0 20 0 1 0 159658818 705957888 161728 134679101440 4194304 18693293 140731716312640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40722432 140731716314116 140731716314215 140731716314215 140731716321230 0
/proc/809246/statm: 172353 161728 3983 3540 0 160610 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 689412 KiB
Current children cumulated memory: 646912 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3587.66
CPU user time (s): 3587.33
CPU system time (s): 0.326748
CPU usage (%): 99.7379
Max. virtual memory (cumulated for all children) (KiB): 691452
Max. memory (cumulated for all children) (KiB): 648184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.33
system time used= 0.326748
maximum resident set size= 648184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164115
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= 54
involuntary context switches= 1902
# summary of solver processes directly reported to runsolver:
# pid: 809246
# total CPU time (s): 3587.66
# total CPU user time (s): 3587.33
# total CPU system time (s): 0.326748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9314 second user time and 33.969 second system time
The end