Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | 1040 | 3588.08 | 3597.09 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb |
| MD5SUM | fd68547584ae9b6527d66061061fb773 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1036 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1957 |
| Total number of constraints | 4000 |
| Number of constraints which are clauses | 4000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1957 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1957 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1957 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4432644-1721073352.opb>
0.00/0.03 c original problem has 1957 variables (1957 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.03 c problem read in 0.02
0.00/0.05 o 1957
0.00/0.05 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.957000e+03
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 155 del vars, 155 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3843 clqs
0.00/0.07 c (round 2, fast) 308 del vars, 725 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3274 clqs
0.00/0.07 c (round 3, fast) 351 del vars, 806 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3193 clqs
0.00/0.07 c (round 4, fast) 386 del vars, 922 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3077 clqs
0.00/0.08 c (round 5, fast) 399 del vars, 954 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3045 clqs
0.00/0.08 c (round 6, fast) 409 del vars, 972 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3027 clqs
0.00/0.08 c (round 7, fast) 415 del vars, 993 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3006 clqs
0.00/0.08 c (round 8, fast) 417 del vars, 1001 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2998 clqs
0.00/0.08 c (round 9, fast) 418 del vars, 1006 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2993 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.09/0.11 c (round 10, exhaustive) 418 del vars, 1007 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2993 upgd conss, 0 impls, 2993 clqs
0.09/0.13 c (0.1s) probing: 51/1539 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.13 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.13 c presolving (11 rounds: 11 fast, 2 medium, 2 exhaustive):
0.09/0.13 c 418 deleted vars, 1007 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 0 implications, 2993 cliques
0.09/0.13 c presolved problem has 1539 variables (1539 bin, 0 int, 0 impl, 0 cont) and 2993 constraints
0.09/0.13 c 2993 constraints of type <setppc>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.09
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 10.0.0
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.13 c limits/time = 3596.994072
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.13 c limits/memory = 27900
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.14 o 1744
0.09/0.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.14 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1539 |2993 | 0 | 0 | 0 | 0 | 0 | 2.050000e+02 | 1.744000e+03 | 750.73%| unknown
0.09/0.16 o 1201
0.09/0.16 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1539 |2993 |2993 | 0 | 0 | 0 | 0 | 2.050000e+02 | 1.201000e+03 | 485.85%| unknown
0.09/0.16 o 1089
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | locks| 0 |1539 |2993 |2993 | 0 | 0 | 0 | 0 | 2.050000e+02 | 1.089000e+03 | 431.22%| unknown
0.09/0.19 o 1083
0.09/0.19 c i 0.2s| 1 | 0 | 0 | - | oneopt| 0 |1539 |2993 |2993 | 0 | 0 | 0 | 0 | 2.050000e+02 | 1.083000e+03 | 428.29%| unknown
0.09/0.22 c 0.2s| 1 | 0 | 1926 | - | 23M | 0 |1539 |2993 |2993 | 0 | 0 | 0 | 0 | 9.745000e+02 | 1.083000e+03 | 11.13%| unknown
0.40/0.49 c 0.5s| 1 | 0 | 2652 | - | 27M | 0 |1539 |2993 |3021 | 28 | 1 | 0 | 0 | 9.860000e+02 | 1.083000e+03 | 9.84%| unknown
0.78/0.81 c 0.8s| 1 | 0 | 3146 | - | 29M | 0 |1539 |2993 |3041 | 48 | 2 | 0 | 0 | 9.892500e+02 | 1.083000e+03 | 9.48%| unknown
1.09/1.19 c 1.2s| 1 | 0 | 3937 | - | 30M | 0 |1539 |2993 |3066 | 73 | 3 | 0 | 0 | 9.912500e+02 | 1.083000e+03 | 9.26%| unknown
1.58/1.60 c 1.6s| 1 | 0 | 5093 | - | 31M | 0 |1539 |2993 |3086 | 93 | 4 | 0 | 0 | 9.945000e+02 | 1.083000e+03 | 8.90%| unknown
2.28/2.35 c 2.3s| 1 | 0 | 6610 | - | 36M | 0 |1539 |2993 |3100 | 107 | 5 | 0 | 0 | 9.957960e+02 | 1.083000e+03 | 8.76%| unknown
3.17/3.29 c 3.3s| 1 | 0 | 7526 | - | 42M | 0 |1539 |2993 |3111 | 118 | 6 | 0 | 0 | 9.966049e+02 | 1.083000e+03 | 8.67%| unknown
3.88/4.00 c 4.0s| 1 | 0 | 9199 | - | 58M | 0 |1539 |2993 |3128 | 135 | 7 | 0 | 0 | 9.983738e+02 | 1.083000e+03 | 8.48%| unknown
4.98/5.03 c 5.0s| 1 | 0 | 10303 | - | 74M | 0 |1539 |2993 |3136 | 143 | 8 | 0 | 0 | 9.993286e+02 | 1.083000e+03 | 8.37%| unknown
6.17/6.26 c 6.3s| 1 | 0 | 11336 | - | 95M | 0 |1539 |2993 |3144 | 151 | 9 | 0 | 0 | 1.000167e+03 | 1.083000e+03 | 8.28%| unknown
6.76/6.80 c 6.8s| 1 | 0 | 11746 | - | 95M | 0 |1539 |2993 |3147 | 154 | 10 | 0 | 0 | 1.000309e+03 | 1.083000e+03 | 8.27%| unknown
6.86/6.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.86/6.93 c 6.9s| 1 | 0 | 11761 | - | 96M | 0 |1539 |2993 |3146 | 156 | 11 | 0 | 0 | 1.000309e+03 | 1.083000e+03 | 8.27%| unknown
6.98/7.06 c 7.0s| 1 | 0 | 11837 | - | 96M | 0 |1539 |2993 |3148 | 158 | 12 | 0 | 0 | 1.000317e+03 | 1.083000e+03 | 8.27%| unknown
7.08/7.18 c 7.2s| 1 | 0 | 11918 | - | 97M | 0 |1539 |2993 |3149 | 159 | 13 | 0 | 0 | 1.000319e+03 | 1.083000e+03 | 8.27%| unknown
7.26/7.30 c 7.3s| 1 | 0 | 11920 | - | 98M | 0 |1539 |2993 |3150 | 160 | 14 | 0 | 0 | 1.000319e+03 | 1.083000e+03 | 8.27%| unknown
7.36/7.43 c 7.4s| 1 | 0 | 11928 | - | 98M | 0 |1539 |2993 |3151 | 161 | 15 | 0 | 0 | 1.000319e+03 | 1.083000e+03 | 8.27%| unknown
7.46/7.55 c 7.5s| 1 | 0 | 11937 | - | 99M | 0 |1539 |2993 |3152 | 162 | 16 | 0 | 0 | 1.000319e+03 | 1.083000e+03 | 8.27%| unknown
7.56/7.67 c 7.7s| 1 | 0 | 11943 | - | 99M | 0 |1539 |2993 |3129 | 164 | 17 | 0 | 0 | 1.000319e+03 | 1.083000e+03 | 8.27%| unknown
7.76/7.80 c 7.8s| 1 | 0 | 12031 | - | 100M | 0 |1539 |2993 |3131 | 166 | 18 | 0 | 0 | 1.000325e+03 | 1.083000e+03 | 8.26%| unknown
7.86/7.92 c 7.9s| 1 | 0 | 12032 | - | 100M | 0 |1539 |2993 |3132 | 167 | 19 | 0 | 0 | 1.000325e+03 | 1.083000e+03 | 8.26%| unknown
7.97/8.07 c 8.1s| 1 | 0 | 12252 | - | 100M | 0 |1539 |2993 |3134 | 169 | 20 | 0 | 0 | 1.000389e+03 | 1.083000e+03 | 8.26%| unknown
10.65/10.78 c 10.8s| 1 | 2 | 12252 | - | 100M | 0 |1539 |2993 |3134 | 169 | 20 | 0 | 24 | 1.000857e+03 | 1.083000e+03 | 8.21%| unknown
32.59/32.77 o 1079
32.59/32.77 c r32.8s| 64 | 65 | 33287 | 333.9 |ziroundi| 63 |1539 |2993 |3157 | 229 | 1 | 0 | 173 | 1.001314e+03 | 1.079000e+03 | 7.76%| unknown
32.59/32.78 o 1066
32.59/32.78 c i32.8s| 65 | 64 | 33287 | 328.7 | oneopt| 64 |1539 |2993 |3157 | 229 | 0 | 0 | 173 | 1.001314e+03 | 1.066000e+03 | 6.46%| unknown
32.59/32.78 o 1059
32.59/32.78 c *32.8s| 65 | 61 | 33292 | 328.8 | LP | 64 |1539 |2993 |3157 | 229 | 1 | 0 | 173 | 1.001314e+03 | 1.059000e+03 | 5.76%| unknown
32.59/32.78 o 1058
32.59/32.78 c *32.8s| 66 | 57 | 33300 | 323.8 | LP | 64 |1539 |2993 |3157 | 229 | 1 | 0 | 173 | 1.001314e+03 | 1.058000e+03 | 5.66%| unknown
32.69/32.83 o 1057
32.69/32.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.69/32.83 c *32.8s| 72 | 56 | 33480 | 299.0 | LP | 64 |1539 |2993 |3157 | 229 | 1 | 0 | 173 | 1.001314e+03 | 1.057000e+03 | 5.56%| unknown
32.79/33.01 c 33.0s| 100 | 56 | 34313 | 222.8 | 129M | 64 |1539 |2993 |3157 | 229 | 1 | 0 | 173 | 1.001314e+03 | 1.057000e+03 | 5.56%| unknown
33.49/33.65 c 33.6s| 200 | 62 | 37148 | 125.1 | 129M | 64 |1539 |2993 |3157 | 229 | 0 | 0 | 173 | 1.001314e+03 | 1.057000e+03 | 5.56%| unknown
40.67/40.82 o 1048
40.67/40.82 c d40.8s| 217 | 58 | 56664 | 205.6 |pscostdi| 64 |1539 |2993 |3160 | 0 | 1 | 0 | 188 | 1.001314e+03 | 1.048000e+03 | 4.66%| unknown
63.29/63.55 c 63.5s| 300 | 87 |110721 | 329.3 | 201M | 64 |1539 |3005 |3164 | 515 | 1 | 12 | 221 | 1.002524e+03 | 1.048000e+03 | 4.54%| unknown
69.47/69.72 o 1046
69.47/69.72 c o69.7s| 362 | 117 |139148 | 351.5 |objpscos| 64 |1539 |3031 |3190 | 583 | 1 | 38 | 238 | 1.003045e+03 | 1.046000e+03 | 4.28%| unknown
70.96/71.28 c 71.3s| 400 | 126 |151159 | 348.1 | 203M | 64 |1539 |3031 |3194 | 682 | 1 | 38 | 238 | 1.003045e+03 | 1.046000e+03 | 4.28%| unknown
80.63/80.91 c 80.9s| 500 | 172 |190682 | 357.6 | 199M | 64 |1539 |3088 |3184 | 841 | 1 | 95 | 265 | 1.003589e+03 | 1.046000e+03 | 4.23%| unknown
86.41/86.79 o 1043
86.41/86.79 c L86.8s| 562 | 157 |209679 | 351.9 |crossove| 64 |1539 |3101 |3188 | 905 | 2 | 108 | 265 | 1.003626e+03 | 1.043000e+03 | 3.92%| unknown
92.71/93.04 c 93.0s| 600 | 187 |236099 | 373.7 | 203M | 64 |1539 |3149 |3175 | 992 | 1 | 156 | 280 | 1.004468e+03 | 1.043000e+03 | 3.84%| unknown
104.45/104.87 c 105s| 700 | 265 |296221 | 406.3 | 202M | 64 |1539 |3236 |3195 |1182 | 2 | 243 | 306 | 1.004947e+03 | 1.043000e+03 | 3.79%| unknown
110.74/111.12 c 111s| 800 | 269 |320069 | 385.3 | 203M | 64 |1539 |3296 |3199 |1280 | 1 | 303 | 333 | 1.005037e+03 | 1.043000e+03 | 3.78%| unknown
117.30/117.72 c 118s| 900 | 279 |348025 | 373.5 | 204M | 64 |1539 |3298 |3189 |1405 | 2 | 305 | 348 | 1.005037e+03 | 1.043000e+03 | 3.78%| unknown
128.58/129.09 c 129s| 1000 | 317 |399989 | 388.1 | 205M | 64 |1539 |3336 |3194 |1533 | 1 | 343 | 376 | 1.005095e+03 | 1.043000e+03 | 3.77%| unknown
133.35/133.82 c 134s| 1100 | 331 |430206 | 380.3 | 205M | 64 |1539 |3337 |3204 |1652 | 0 | 345 | 391 | 1.005267e+03 | 1.043000e+03 | 3.75%| unknown
150.79/151.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.79/151.37 c 151s| 1200 | 353 |502874 | 409.2 | 206M | 64 |1539 |3357 |3206 |1864 | 0 | 366 | 419 | 1.005370e+03 | 1.043000e+03 | 3.74%| unknown
156.58/157.19 c 157s| 1300 | 359 |526426 | 395.8 | 207M | 64 |1539 |3357 |3194 |1927 | 0 | 367 | 434 | 1.005447e+03 | 1.043000e+03 | 3.73%| unknown
159.36/159.92 c 160s| 1400 | 361 |542127 | 378.8 | 207M | 64 |1539 |3367 |3206 |1976 | 1 | 378 | 450 | 1.005447e+03 | 1.043000e+03 | 3.73%| unknown
169.12/169.71 c 170s| 1500 | 375 |579651 | 378.5 | 208M | 64 |1539 |3409 |3204 |2107 | 0 | 433 | 475 | 1.005856e+03 | 1.043000e+03 | 3.69%| unknown
175.42/176.10 c 176s| 1600 | 383 |606079 | 371.4 | 209M | 64 |1539 |3476 |3210 |2191 | 1 | 516 | 504 | 1.005862e+03 | 1.043000e+03 | 3.69%| unknown
182.39/183.07 c 183s| 1700 | 385 |630405 | 363.8 | 210M | 64 |1539 |3486 |3207 |2288 | 0 | 527 | 519 | 1.005867e+03 | 1.043000e+03 | 3.69%| unknown
199.82/200.51 c 201s| 1800 | 413 |687545 | 375.4 | 214M | 64 |1539 |3526 |3202 |2625 | 2 | 576 | 557 | 1.006087e+03 | 1.043000e+03 | 3.67%| unknown
213.97/214.79 c 215s| 1900 | 441 |742429 | 384.5 | 220M | 64 |1539 |3590 |3176 |2914 | 1 | 657 | 601 | 1.006202e+03 | 1.043000e+03 | 3.66%| unknown
230.90/231.74 c 232s| 2000 | 467 |824783 | 406.5 | 223M | 64 |1539 |3640 |3221 |3190 | 0 | 712 | 631 | 1.006411e+03 | 1.043000e+03 | 3.64%| unknown
240.77/241.61 c 242s| 2100 | 483 |864366 | 406.0 | 223M | 64 |1539 |3664 |3218 |3381 | 1 | 741 | 654 | 1.006605e+03 | 1.043000e+03 | 3.62%| unknown
251.94/252.84 c 253s| 2200 | 495 |906662 | 406.7 | 224M | 64 |1539 |3676 |3224 |3596 | 0 | 757 | 681 | 1.006705e+03 | 1.043000e+03 | 3.61%| unknown
258.31/259.28 c 259s| 2300 | 503 |936118 | 401.9 | 225M | 64 |1539 |3676 |3219 |3707 | 1 | 759 | 693 | 1.006818e+03 | 1.043000e+03 | 3.59%| unknown
270.77/271.77 c 272s| 2400 | 517 |981151 | 403.9 | 228M | 64 |1539 |3683 |3221 |3923 | 0 | 770 | 718 | 1.006861e+03 | 1.043000e+03 | 3.59%| unknown
277.95/278.93 c 279s| 2500 | 525 | 1012k| 400.1 | 228M | 64 |1539 |3693 |3220 |4032 | 1 | 781 | 730 | 1.007171e+03 | 1.043000e+03 | 3.56%| unknown
288.61/289.60 c 290s| 2600 | 537 | 1054k| 401.2 | 229M | 64 |1539 |3710 |3226 |4231 | 0 | 801 | 750 | 1.007298e+03 | 1.043000e+03 | 3.54%| unknown
303.85/304.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
303.85/304.95 c 305s| 2700 | 559 | 1110k| 406.7 | 231M | 64 |1539 |3730 |3227 |4548 | 1 | 825 | 784 | 1.007347e+03 | 1.043000e+03 | 3.54%| unknown
324.08/325.20 c 325s| 2800 | 589 | 1179k| 417.1 | 234M | 64 |1539 |3773 |3221 |5023 | 1 | 882 | 824 | 1.007521e+03 | 1.043000e+03 | 3.52%| unknown
339.33/340.55 c 341s| 2900 | 601 | 1254k| 428.7 | 234M | 64 |1539 |3773 |3229 |5251 | 1 | 883 | 849 | 1.007563e+03 | 1.043000e+03 | 3.52%| unknown
350.81/352.09 c 352s| 3000 | 619 | 1300k| 429.6 | 235M | 64 |1539 |3801 |3227 |5520 | 1 | 915 | 870 | 1.007575e+03 | 1.043000e+03 | 3.52%| unknown
353.39/354.63 c 355s| 3100 | 619 | 1316k| 420.9 | 235M | 64 |1539 |3801 |3229 |5546 | 0 | 916 | 881 | 1.007575e+03 | 1.043000e+03 | 3.52%| unknown
365.26/366.51 c 367s| 3200 | 633 | 1354k| 419.6 | 236M | 64 |1539 |3811 |3229 |5809 | 1 | 929 | 912 | 1.007620e+03 | 1.043000e+03 | 3.51%| unknown
370.85/372.18 c 372s| 3300 | 635 | 1383k| 415.5 | 236M | 64 |1539 |3842 |3227 |5940 | 0 | 968 | 931 | 1.007638e+03 | 1.043000e+03 | 3.51%| unknown
374.23/375.54 c 376s| 3400 | 637 | 1401k| 408.7 | 236M | 64 |1539 |3886 |3227 |5972 | 0 |1023 | 961 | 1.007638e+03 | 1.043000e+03 | 3.51%| unknown
377.32/378.61 c 379s| 3500 | 637 | 1421k| 402.7 | 236M | 64 |1539 |3920 |3226 |6008 | 0 |1066 | 979 | 1.007638e+03 | 1.043000e+03 | 3.51%| unknown
391.48/392.80 c 393s| 3600 | 659 | 1475k| 406.7 | 239M | 64 |1539 |3940 |3229 |6370 | 1 |1092 |1010 | 1.007773e+03 | 1.043000e+03 | 3.50%| unknown
394.97/396.32 c 396s| 3700 | 659 | 1495k| 401.1 | 239M | 64 |1539 |3995 |3225 |6396 | 1 |1158 |1040 | 1.007773e+03 | 1.043000e+03 | 3.50%| unknown
403.15/404.52 c 405s| 3800 | 665 | 1527k| 398.9 | 240M | 64 |1539 |4037 |3229 |6548 | 1 |1213 |1072 | 1.007776e+03 | 1.043000e+03 | 3.50%| unknown
409.84/411.23 c 411s| 3900 | 671 | 1560k| 397.2 | 240M | 64 |1539 |4155 |3230 |6662 | 0 |1354 |1102 | 1.007895e+03 | 1.043000e+03 | 3.48%| unknown
422.20/423.65 c 424s| 4000 | 685 | 1608k| 399.1 | 240M | 64 |1539 |4201 |3224 |6939 | 1 |1418 |1138 | 1.007987e+03 | 1.043000e+03 | 3.47%| unknown
434.58/436.04 c 436s| 4100 | 699 | 1656k| 401.0 | 241M | 64 |1539 |4236 |3227 |7211 | 1 |1461 |1174 | 1.008086e+03 | 1.043000e+03 | 3.46%| unknown
443.74/445.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
443.74/445.20 c 445s| 4200 | 715 | 1692k| 400.2 | 241M | 64 |1539 |4236 |3286 |7353 | 2 |1461 |1197 | 1.008096e+03 | 1.043000e+03 | 3.46%| unknown
451.42/452.91 c 453s| 4300 | 723 | 1727k| 399.1 | 242M | 64 |1539 |4262 |3284 |7478 | 2 |1494 |1223 | 1.008104e+03 | 1.043000e+03 | 3.46%| unknown
459.40/460.99 c 461s| 4400 | 729 | 1761k| 397.7 | 243M | 64 |1539 |4262 |3286 |7603 | 0 |1495 |1245 | 1.008159e+03 | 1.043000e+03 | 3.46%| unknown
471.37/472.90 c 473s| 4500 | 747 | 1815k| 400.7 | 243M | 64 |1539 |4297 |3288 |7866 | 0 |1537 |1276 | 1.008181e+03 | 1.043000e+03 | 3.45%| unknown
484.64/486.23 c 486s| 4600 | 753 | 1887k| 407.8 | 244M | 64 |1539 |4356 |3288 |8029 | 0 |1608 |1307 | 1.008201e+03 | 1.043000e+03 | 3.45%| unknown
492.53/494.13 c 494s| 4700 | 761 | 1923k| 406.7 | 245M | 64 |1539 |4407 |3286 |8167 | 2 |1668 |1336 | 1.008250e+03 | 1.043000e+03 | 3.45%| unknown
508.39/510.08 c 510s| 4800 | 779 | 1984k| 411.0 | 246M | 64 |1539 |4444 |3292 |8571 | 0 |1720 |1372 | 1.008290e+03 | 1.043000e+03 | 3.44%| unknown
517.26/519.01 c 519s| 4900 | 785 | 2021k| 410.1 | 246M | 64 |1539 |4612 |3288 |8744 | 0 |1925 |1426 | 1.008296e+03 | 1.043000e+03 | 3.44%| unknown
520.46/522.11 c 522s| 5000 | 785 | 2040k| 405.8 | 246M | 64 |1539 |4677 |3285 |8765 | 2 |2003 |1452 | 1.008296e+03 | 1.043000e+03 | 3.44%| unknown
528.13/529.85 c 530s| 5100 | 795 | 2073k| 404.2 | 247M | 64 |1539 |4690 |3284 |8906 | 1 |2023 |1478 | 1.008366e+03 | 1.043000e+03 | 3.43%| unknown
530.92/532.61 c 533s| 5200 | 793 | 2091k| 399.8 | 247M | 64 |1539 |4709 |3287 |8930 | 0 |2047 |1494 | 1.008366e+03 | 1.043000e+03 | 3.43%| unknown
534.22/535.96 c 536s| 5300 | 795 | 2111k| 396.2 | 247M | 64 |1539 |4734 |3286 |8939 | 1 |2080 |1515 | 1.008366e+03 | 1.043000e+03 | 3.43%| unknown
542.31/544.03 c 544s| 5400 | 801 | 2147k| 395.5 | 247M | 64 |1539 |4852 |3291 |9082 | 0 |2231 |1563 | 1.008395e+03 | 1.043000e+03 | 3.43%| unknown
544.98/546.71 c 547s| 5500 | 801 | 2165k| 391.6 | 247M | 64 |1539 |4852 |3287 |9083 | 0 |2232 |1573 | 1.008395e+03 | 1.043000e+03 | 3.43%| unknown
552.67/554.46 c 554s| 5600 | 805 | 2198k| 390.5 | 248M | 64 |1539 |4875 |3286 |9220 | 1 |2268 |1601 | 1.008400e+03 | 1.043000e+03 | 3.43%| unknown
559.95/561.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
559.95/561.76 c 562s| 5700 | 811 | 2233k| 389.8 | 249M | 64 |1539 |4920 |3285 |9357 | 0 |2327 |1632 | 1.008442e+03 | 1.043000e+03 | 3.43%| unknown
563.25/565.03 c 565s| 5800 | 817 | 2255k| 386.8 | 249M | 64 |1539 |4980 |3293 |9391 | 0 |2402 |1656 | 1.008442e+03 | 1.043000e+03 | 3.43%| unknown
570.23/572.02 c 572s| 5900 | 823 | 2285k| 385.3 | 249M | 64 |1539 |5013 |3293 |9518 | 1 |2447 |1682 | 1.008452e+03 | 1.043000e+03 | 3.43%| unknown
574.91/576.73 c 577s| 6000 | 821 | 2308k| 382.8 | 249M | 64 |1539 |5083 |3300 |9554 | 0 |2537 |1712 | 1.008452e+03 | 1.043000e+03 | 3.43%| unknown
591.28/593.16 c 593s| 6100 | 835 | 2367k| 386.1 | 252M | 64 |1539 |5154 |3301 |9827 | 1 |2644 |1760 | 1.008508e+03 | 1.043000e+03 | 3.42%| unknown
603.84/605.72 c 606s| 6200 | 847 | 2415k| 387.7 | 253M | 64 |1539 |5199 |3300 | 10k| 1 |2713 |1793 | 1.008598e+03 | 1.043000e+03 | 3.41%| unknown
611.62/613.58 c 614s| 6300 | 851 | 2453k| 387.6 | 254M | 64 |1539 |5246 |3292 | 10k| 0 |2785 |1823 | 1.008652e+03 | 1.043000e+03 | 3.41%| unknown
616.31/618.28 c 618s| 6400 | 851 | 2481k| 385.9 | 254M | 64 |1539 |5378 |3297 | 10k| 2 |2947 |1865 | 1.008652e+03 | 1.043000e+03 | 3.41%| unknown
639.55/641.58 c 642s| 6500 | 873 | 2591k| 396.9 | 254M | 64 |1539 |5439 |3295 | 10k| 0 |3039 |1916 | 1.008724e+03 | 1.043000e+03 | 3.40%| unknown
647.43/649.42 c 649s| 6600 | 881 | 2629k| 396.6 | 254M | 64 |1539 |5525 |3295 | 10k| 1 |3151 |1955 | 1.008775e+03 | 1.043000e+03 | 3.39%| unknown
659.90/661.98 c 662s| 6700 | 897 | 2680k| 398.3 | 255M | 64 |1539 |5584 |3296 | 11k| 1 |3239 |1994 | 1.008925e+03 | 1.043000e+03 | 3.38%| unknown
677.26/679.32 c 679s| 6800 | 921 | 2745k| 402.0 | 258M | 64 |1539 |5571 |3303 | 11k| 0 |3241 |2034 | 1.008990e+03 | 1.043000e+03 | 3.37%| unknown
689.33/691.43 c 691s| 6900 | 933 | 2792k| 403.0 | 258M | 64 |1539 |5574 |3304 | 11k| 0 |3266 |2061 | 1.009064e+03 | 1.043000e+03 | 3.36%| unknown
697.92/700.02 c 700s| 7000 | 939 | 2831k| 402.9 | 259M | 64 |1539 |5663 |3300 | 12k| 1 |3383 |2100 | 1.009065e+03 | 1.043000e+03 | 3.36%| unknown
709.89/712.04 c 712s| 7100 | 955 | 2882k| 404.4 | 259M | 64 |1539 |5715 |3302 | 12k| 1 |3464 |2147 | 1.009083e+03 | 1.043000e+03 | 3.36%| unknown
714.66/716.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
714.66/716.82 c 717s| 7200 | 955 | 2909k| 402.5 | 259M | 64 |1539 |5913 |3304 | 12k| 0 |3695 |2197 | 1.009083e+03 | 1.043000e+03 | 3.36%| unknown
727.23/729.44 c 729s| 7300 | 969 | 2959k| 403.8 | 259M | 64 |1539 |6010 |3303 | 12k| 1 |3845 |2252 | 1.009094e+03 | 1.043000e+03 | 3.36%| unknown
735.82/738.05 c 738s| 7400 | 975 | 2998k| 403.5 | 259M | 64 |1539 |6026 |3307 | 12k| 0 |3884 |2291 | 1.009094e+03 | 1.043000e+03 | 3.36%| unknown
749.58/751.85 c 752s| 7500 | 991 | 3051k| 405.3 | 261M | 64 |1539 |6100 |3307 | 13k| 2 |3991 |2334 | 1.009115e+03 | 1.043000e+03 | 3.36%| unknown
754.17/756.41 c 756s| 7600 | 991 | 3076k| 403.3 | 261M | 64 |1539 |6270 |3308 | 13k| 0 |4197 |2386 | 1.009115e+03 | 1.043000e+03 | 3.36%| unknown
758.36/760.64 c 761s| 7700 | 993 | 3099k| 401.0 | 261M | 64 |1539 |6400 |3314 | 13k| 0 |4357 |2433 | 1.009115e+03 | 1.043000e+03 | 3.36%| unknown
764.86/767.14 c 767s| 7800 | 991 | 3123k| 398.9 | 269M | 64 |1539 |6603 |3315 | 13k| 2 |4609 |2484 | 1.009115e+03 | 1.043000e+03 | 3.36%| unknown
777.41/779.76 c 780s| 7900 | 1003 | 3174k| 400.3 | 272M | 64 |1539 |6889 |3326 | 13k| 3 |4990 |2564 | 1.009143e+03 | 1.043000e+03 | 3.36%| unknown
790.27/792.69 c 793s| 8000 | 1019 | 3225k| 401.7 | 290M | 64 |1539 |7067 |3328 | 13k| 1 |5244 |2627 | 1.009189e+03 | 1.043000e+03 | 3.35%| unknown
793.46/795.88 c 796s| 8100 | 1019 | 3249k| 399.7 | 296M | 64 |1539 |7139 |3326 | 13k| 0 |5332 |2645 | 1.009189e+03 | 1.043000e+03 | 3.35%| unknown
802.55/804.99 c 805s| 8200 | 1027 | 3289k| 399.7 | 315M | 64 |1539 |7173 |3327 | 14k| 0 |5380 |2664 | 1.009221e+03 | 1.043000e+03 | 3.35%| unknown
815.51/817.99 c 818s| 8300 | 1047 | 3338k| 400.9 | 319M | 64 |1539 |7284 |3337 | 14k| 2 |5540 |2724 | 1.009247e+03 | 1.043000e+03 | 3.34%| unknown
817.90/820.39 c 820s| 8400 | 1045 | 3354k| 397.9 | 320M | 64 |1539 |7416 |3337 | 14k| 1 |5689 |2744 | 1.009247e+03 | 1.043000e+03 | 3.34%| unknown
827.49/829.95 c 830s| 8500 | 1059 | 3398k| 398.4 | 330M | 64 |1539 |7410 |3344 | 14k| 1 |5715 |2749 | 1.009467e+03 | 1.043000e+03 | 3.32%| unknown
833.58/836.10 c 836s| 8600 | 1063 | 3429k| 397.5 | 330M | 64 |1539 |7413 |3339 | 14k| 0 |5729 |2755 | 1.009474e+03 | 1.043000e+03 | 3.32%| unknown
842.25/844.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
842.25/844.74 c 845s| 8700 | 1069 | 3471k| 397.7 | 332M | 64 |1539 |7419 |3338 | 15k| 0 |5756 |2763 | 1.009492e+03 | 1.043000e+03 | 3.32%| unknown
854.63/857.19 c 857s| 8800 | 1077 | 3533k| 400.1 | 333M | 64 |1539 |7413 |3349 | 15k| 0 |5756 |2765 | 1.009508e+03 | 1.043000e+03 | 3.32%| unknown
857.80/860.32 c 860s| 8900 | 1073 | 3551k| 397.7 | 341M | 64 |1539 |7408 |3329 | 15k| 0 |5756 |2767 | 1.009508e+03 | 1.043000e+03 | 3.32%| unknown
861.79/864.38 c 864s| 9000 | 1077 | 3582k| 396.7 | 342M | 64 |1539 |7415 |3348 | 15k| 2 |5771 |2771 | 1.009508e+03 | 1.043000e+03 | 3.32%| unknown
870.77/873.34 c 873s| 9100 | 1085 | 3629k| 397.5 | 343M | 64 |1539 |7503 |3347 | 15k| 2 |5887 |2785 | 1.009528e+03 | 1.043000e+03 | 3.32%| unknown
880.64/883.26 c 883s| 9200 | 1091 | 3673k| 398.0 | 353M | 64 |1539 |7644 |3357 | 15k| 4 |6062 |2830 | 1.009537e+03 | 1.043000e+03 | 3.31%| unknown
884.93/887.58 o 1042
884.93/887.58 c * 888s| 9236 | 1094 | 3694k| 398.7 | LP | 64 |1539 |7647 |3357 | 15k| 1 |6076 |2836 | 1.009576e+03 | 1.042000e+03 | 3.21%| unknown
886.82/889.41 c 889s| 9300 | 1094 | 3709k| 397.6 | 353M | 64 |1539 |7665 |3344 | 15k| 1 |6099 |2839 | 1.009576e+03 | 1.042000e+03 | 3.21%| unknown
895.00/897.62 c 898s| 9400 | 1100 | 3750k| 397.7 | 352M | 64 |1539 |7658 |3351 | 16k| 0 |6104 |2848 | 1.009619e+03 | 1.042000e+03 | 3.21%| unknown
906.88/909.50 c 909s| 9500 | 1114 | 3806k| 399.4 | 360M | 64 |1539 |7649 |3357 | 16k| 1 |6118 |2848 | 1.009684e+03 | 1.042000e+03 | 3.20%| unknown
918.85/921.54 c 922s| 9600 | 1126 | 3861k| 401.0 | 360M | 64 |1539 |7685 |3350 | 16k| 2 |6188 |2862 | 1.009726e+03 | 1.042000e+03 | 3.20%| unknown
922.25/924.90 c 925s| 9700 | 1124 | 3891k| 400.0 | 360M | 64 |1539 |7679 |3315 | 16k| 1 |6188 |2862 | 1.009726e+03 | 1.042000e+03 | 3.20%| unknown
928.63/931.30 c 931s| 9800 | 1128 | 3930k| 399.9 | 357M | 64 |1539 |7696 |3341 | 17k| 0 |6215 |2866 | 1.009733e+03 | 1.042000e+03 | 3.20%| unknown
935.51/938.20 c 938s| 9900 | 1134 | 3974k| 400.2 | 355M | 64 |1539 |7708 |3337 | 17k| 0 |6238 |2866 | 1.009764e+03 | 1.042000e+03 | 3.19%| unknown
945.89/948.60 c 949s| 10000 | 1148 | 4029k| 401.8 | 353M | 64 |1539 |7700 |3327 | 17k| 0 |6249 |2867 | 1.009805e+03 | 1.042000e+03 | 3.19%| unknown
949.68/952.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
949.68/952.42 c 952s| 10100 | 1150 | 4062k| 401.0 | 346M | 64 |1539 |7697 |3353 | 17k| 1 |6249 |2868 | 1.009805e+03 | 1.042000e+03 | 3.19%| unknown
956.86/959.64 c 960s| 10200 | 1158 | 4107k| 401.5 | 346M | 64 |1539 |7692 |3346 | 18k| 0 |6263 |2868 | 1.009813e+03 | 1.042000e+03 | 3.19%| unknown
959.95/962.79 c 963s| 10300 | 1158 | 4135k| 400.3 | 346M | 64 |1539 |7702 |3356 | 18k| 0 |6274 |2869 | 1.009813e+03 | 1.042000e+03 | 3.19%| unknown
970.63/973.42 c 973s| 10400 | 1172 | 4189k| 401.7 | 346M | 64 |1539 |7691 |3364 | 18k| 0 |6280 |2869 | 1.009828e+03 | 1.042000e+03 | 3.19%| unknown
979.32/982.14 c 982s| 10500 | 1180 | 4233k| 402.1 | 346M | 64 |1539 |7711 |3357 | 18k| 1 |6323 |2882 | 1.009840e+03 | 1.042000e+03 | 3.18%| unknown
982.70/985.54 c 986s| 10600 | 1180 | 4262k| 401.0 | 346M | 64 |1539 |7708 |3362 | 18k| 1 |6323 |2882 | 1.009840e+03 | 1.042000e+03 | 3.18%| unknown
986.89/989.76 c 990s| 10700 | 1180 | 4294k| 400.2 | 347M | 64 |1539 |7823 |3368 | 18k| 1 |6461 |2912 | 1.009840e+03 | 1.042000e+03 | 3.18%| unknown
997.96/1000.83 c 1001s| 10800 | 1188 | 4336k| 400.5 | 348M | 64 |1539 |7813 |3366 | 19k| 1 |6487 |2948 | 1.009854e+03 | 1.042000e+03 | 3.18%| unknown
1001.35/1004.23 c 1004s| 10900 | 1188 | 4361k| 399.1 | 348M | 64 |1539 |7813 |3369 | 19k| 1 |6487 |2948 | 1.009854e+03 | 1.042000e+03 | 3.18%| unknown
1011.92/1014.88 c 1015s| 11000 | 1194 | 4402k| 399.1 | 350M | 64 |1539 |7921 |3376 | 19k| 1 |6675 |3003 | 1.009887e+03 | 1.042000e+03 | 3.18%| unknown
1015.51/1018.43 c 1018s| 11100 | 1192 | 4433k| 398.3 | 350M | 64 |1539 |7919 |3364 | 19k| 0 |6675 |3003 | 1.009887e+03 | 1.042000e+03 | 3.18%| unknown
1022.00/1024.92 c 1025s| 11200 | 1198 | 4470k| 398.1 | 350M | 64 |1539 |7951 |3345 | 19k| 0 |6714 |3029 | 1.009887e+03 | 1.042000e+03 | 3.18%| unknown
1025.10/1028.03 c 1028s| 11300 | 1200 | 4495k| 396.8 | 350M | 64 |1539 |7980 |3348 | 19k| 0 |6754 |3040 | 1.009887e+03 | 1.042000e+03 | 3.18%| unknown
1042.35/1045.39 c 1045s| 11400 | 1214 | 4585k| 401.2 | 350M | 64 |1539 |8013 |3345 | 19k| 0 |6845 |3077 | 1.009908e+03 | 1.042000e+03 | 3.18%| unknown
1059.41/1062.48 c 1062s| 11500 | 1238 | 4652k| 403.6 | 342M | 64 |1539 |8020 |3362 | 20k| 1 |6913 |3116 | 1.010027e+03 | 1.042000e+03 | 3.17%| unknown
1067.39/1070.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1067.39/1070.46 c 1070s| 11600 | 1246 | 4692k| 403.5 | 342M | 64 |1539 |8012 |3359 | 20k| 0 |6921 |3128 | 1.010028e+03 | 1.042000e+03 | 3.17%| unknown
1078.66/1081.77 c 1082s| 11700 | 1254 | 4730k| 403.3 | 349M | 64 |1539 |8014 |3366 | 20k| 1 |6937 |3151 | 1.010032e+03 | 1.042000e+03 | 3.17%| unknown
1085.74/1088.89 c 1089s| 11800 | 1256 | 4766k| 403.0 | 357M | 64 |1539 |8019 |3363 | 20k| 1 |6950 |3161 | 1.010059e+03 | 1.042000e+03 | 3.16%| unknown
1100.31/1103.49 c 1103s| 11900 | 1268 | 4829k| 404.8 | 357M | 64 |1539 |8056 |3352 | 21k| 2 |7013 |3190 | 1.010151e+03 | 1.042000e+03 | 3.15%| unknown
1114.27/1117.48 c 1117s| 12000 | 1288 | 4889k| 406.5 | 358M | 64 |1539 |8064 |3353 | 21k| 1 |7037 |3223 | 1.010189e+03 | 1.042000e+03 | 3.15%| unknown
1130.63/1133.88 c 1134s| 12100 | 1308 | 4956k| 408.6 | 351M | 64 |1539 |8056 |3344 | 22k| 1 |7051 |3250 | 1.010229e+03 | 1.042000e+03 | 3.14%| unknown
1134.62/1137.86 c 1138s| 12200 | 1308 | 4990k| 408.1 | 349M | 64 |1539 |8076 |3370 | 22k| 1 |7080 |3258 | 1.010229e+03 | 1.042000e+03 | 3.14%| unknown
1144.10/1147.37 c 1147s| 12300 | 1318 | 5040k| 408.9 | 349M | 64 |1539 |8160 |3352 | 22k| 1 |7190 |3288 | 1.010297e+03 | 1.042000e+03 | 3.14%| unknown
1151.79/1155.02 c 1155s| 12400 | 1318 | 5071k| 408.0 | 350M | 64 |1539 |8344 |3367 | 22k| 1 |7422 |3374 | 1.010297e+03 | 1.042000e+03 | 3.14%| unknown
1159.37/1162.64 c 1163s| 12500 | 1322 | 5112k| 408.1 | 350M | 64 |1539 |8333 |3369 | 22k| 2 |7434 |3380 | 1.010327e+03 | 1.042000e+03 | 3.13%| unknown
1171.24/1174.54 c 1175s| 12600 | 1336 | 5168k| 409.2 | 350M | 64 |1539 |8273 |3369 | 23k| 0 |7470 |3397 | 1.010402e+03 | 1.042000e+03 | 3.13%| unknown
1174.53/1177.83 c 1178s| 12700 | 1336 | 5198k| 408.4 | 351M | 64 |1539 |8315 |3374 | 23k| 2 |7517 |3402 | 1.010402e+03 | 1.042000e+03 | 3.13%| unknown
1177.92/1181.25 c 1181s| 12800 | 1338 | 5227k| 407.4 | 351M | 64 |1539 |8492 |3367 | 23k| 1 |7733 |3441 | 1.010402e+03 | 1.042000e+03 | 3.13%| unknown
1199.68/1203.02 c 1203s| 12900 | 1358 | 5296k| 409.6 | 352M | 64 |1539 |8636 |3376 | 23k| 1 |8024 |3554 | 1.010418e+03 | 1.042000e+03 | 3.13%| unknown
1213.34/1216.70 c 1217s| 13000 | 1370 | 5355k| 411.1 | 353M | 64 |1539 |8659 |3377 | 24k| 1 |8089 |3588 | 1.010473e+03 | 1.042000e+03 | 3.12%| unknown
1227.90/1231.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1227.90/1231.31 c 1231s| 13100 | 1384 | 5420k| 412.9 | 365M | 64 |1539 |8717 |3383 | 24k| 1 |8182 |3617 | 1.010498e+03 | 1.042000e+03 | 3.12%| unknown
1241.37/1244.89 c 1245s| 13200 | 1390 | 5508k| 416.4 | 368M | 64 |1539 |8763 |3356 | 24k| 1 |8259 |3633 | 1.010529e+03 | 1.042000e+03 | 3.11%| unknown
1250.05/1253.50 c 1253s| 13300 | 1394 | 5553k| 416.7 | 369M | 64 |1539 |8752 |3358 | 24k| 1 |8260 |3647 | 1.010532e+03 | 1.042000e+03 | 3.11%| unknown
1258.43/1261.92 c 1262s| 13400 | 1404 | 5605k| 417.5 | 367M | 64 |1539 |8758 |3358 | 25k| 1 |8269 |3653 | 1.010533e+03 | 1.042000e+03 | 3.11%| unknown
1266.21/1269.74 c 1270s| 13500 | 1412 | 5651k| 417.7 | 362M | 64 |1539 |8719 |3378 | 25k| 0 |8269 |3658 | 1.010623e+03 | 1.042000e+03 | 3.10%| unknown
1273.61/1277.15 c 1277s| 13600 | 1418 | 5691k| 417.7 | 353M | 64 |1539 |8710 |3377 | 25k| 0 |8270 |3670 | 1.010632e+03 | 1.042000e+03 | 3.10%| unknown
1276.60/1280.12 c 1280s| 13700 | 1418 | 5719k| 416.7 | 353M | 64 |1539 |8750 |3382 | 25k| 0 |8316 |3675 | 1.010632e+03 | 1.042000e+03 | 3.10%| unknown
1284.58/1288.19 c 1288s| 13800 | 1426 | 5766k| 417.0 | 354M | 64 |1539 |8769 |3369 | 25k| 1 |8355 |3692 | 1.010646e+03 | 1.042000e+03 | 3.10%| unknown
1301.03/1304.69 c 1305s| 13900 | 1446 | 5844k| 419.7 | 355M | 64 |1539 |8873 |3361 | 26k| 0 |8525 |3733 | 1.010717e+03 | 1.042000e+03 | 3.10%| unknown
1308.81/1312.47 c 1312s| 14000 | 1454 | 5892k| 420.1 | 355M | 64 |1539 |8857 |3380 | 26k| 1 |8538 |3736 | 1.010747e+03 | 1.042000e+03 | 3.09%| unknown
1317.19/1320.88 c 1321s| 14100 | 1462 | 5933k| 420.0 | 355M | 64 |1539 |8861 |3376 | 26k| 1 |8587 |3754 | 1.010757e+03 | 1.042000e+03 | 3.09%| unknown
1321.28/1324.92 c 1325s| 14200 | 1462 | 5960k| 418.9 | 355M | 64 |1539 |9013 |3379 | 26k| 1 |8764 |3793 | 1.010757e+03 | 1.042000e+03 | 3.09%| unknown
1326.48/1330.18 c 1330s| 14300 | 1460 | 5993k| 418.3 | 362M | 64 |1539 |9033 |3391 | 26k| 0 |8789 |3796 | 1.010757e+03 | 1.042000e+03 | 3.09%| unknown
1336.84/1340.52 c 1341s| 14400 | 1468 | 6038k| 418.5 | 372M | 64 |1539 |9001 |3384 | 27k| 1 |8924 |3849 | 1.010784e+03 | 1.042000e+03 | 3.09%| unknown
1340.13/1343.81 c 1344s| 14500 | 1466 | 6065k| 417.5 | 374M | 64 |1539 |9041 |3387 | 27k| 1 |8976 |3858 | 1.010784e+03 | 1.042000e+03 | 3.09%| unknown
1347.71/1351.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1347.71/1351.43 c 1351s| 14600 | 1478 | 6115k| 418.1 | 374M | 64 |1539 |9031 |3384 | 27k| 0 |9104 |3874 | 1.010793e+03 | 1.042000e+03 | 3.09%| unknown
1351.20/1355.00 c 1355s| 14700 | 1478 | 6145k| 417.3 | 374M | 64 |1539 |9030 |3376 | 27k| 1 |9106 |3874 | 1.010793e+03 | 1.042000e+03 | 3.09%| unknown
1358.88/1362.64 c 1363s| 14800 | 1484 | 6190k| 417.5 | 374M | 64 |1539 |9078 |3371 | 27k| 1 |9196 |3888 | 1.010795e+03 | 1.042000e+03 | 3.09%| unknown
1366.46/1370.25 c 1370s| 14900 | 1492 | 6235k| 417.7 | 372M | 64 |1539 |9019 |3383 | 27k| 1 |9205 |3888 | 1.010819e+03 | 1.042000e+03 | 3.08%| unknown
1370.05/1373.86 c 1374s| 15000 | 1494 | 6269k| 417.2 | 367M | 64 |1539 |9009 |3361 | 28k| 1 |9205 |3888 | 1.010819e+03 | 1.042000e+03 | 3.08%| unknown
1377.34/1381.11 c 1381s| 15100 | 1500 | 6315k| 417.5 | 367M | 64 |1539 |8948 |3384 | 28k| 0 |9206 |3888 | 1.010879e+03 | 1.042000e+03 | 3.08%| unknown
1383.33/1387.16 c 1387s| 15200 | 1506 | 6352k| 417.2 | 368M | 64 |1539 |8894 |3385 | 28k| 1 |9226 |3892 | 1.010883e+03 | 1.042000e+03 | 3.08%| unknown
1390.31/1394.11 c 1394s| 15300 | 1512 | 6397k| 417.3 | 368M | 64 |1539 |8884 |3387 | 28k| 0 |9248 |3893 | 1.010904e+03 | 1.042000e+03 | 3.08%| unknown
1397.98/1401.81 c 1402s| 15400 | 1522 | 6445k| 417.8 | 363M | 64 |1539 |8893 |3392 | 28k| 1 |9294 |3899 | 1.010926e+03 | 1.042000e+03 | 3.07%| unknown
1406.18/1410.01 c 1410s| 15500 | 1526 | 6494k| 418.3 | 363M | 64 |1539 |8911 |3390 | 29k| 0 |9340 |3908 | 1.010946e+03 | 1.042000e+03 | 3.07%| unknown
1417.34/1421.27 c 1421s| 15600 | 1530 | 6563k| 420.0 | 364M | 64 |1539 |8939 |3389 | 29k| 0 |9398 |3919 | 1.010977e+03 | 1.042000e+03 | 3.07%| unknown
1428.41/1432.30 c 1432s| 15700 | 1550 | 6625k| 421.2 | 364M | 64 |1539 |8918 |3392 | 29k| 1 |9422 |3919 | 1.010981e+03 | 1.042000e+03 | 3.07%| unknown
1432.22/1436.15 c 1436s| 15800 | 1550 | 6657k| 420.6 | 364M | 64 |1539 |9010 |3383 | 29k| 1 |9551 |3936 | 1.010981e+03 | 1.042000e+03 | 3.07%| unknown
1437.49/1441.40 c 1441s| 15900 | 1548 | 6682k| 419.6 | 364M | 64 |1539 |9178 |3381 | 29k| 0 |9748 |3973 | 1.010981e+03 | 1.042000e+03 | 3.07%| unknown
1441.19/1445.15 c 1445s| 16000 | 1548 | 6706k| 418.4 | 364M | 64 |1539 |9235 |3392 | 29k| 0 |9822 |4000 | 1.010981e+03 | 1.042000e+03 | 3.07%| unknown
1452.26/1456.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1452.26/1456.28 c 1456s| 16100 | 1564 | 6764k| 419.4 | 368M | 64 |1539 |9213 |3398 | 30k| 0 |9878 |4008 | 1.010988e+03 | 1.042000e+03 | 3.07%| unknown
1463.14/1467.17 c 1467s| 16200 | 1570 | 6810k| 419.7 | 388M | 64 |1539 |9322 |3404 | 30k| 0 | 10k|4041 | 1.011010e+03 | 1.042000e+03 | 3.07%| unknown
1471.71/1475.72 c 1476s| 16300 | 1578 | 6849k| 419.5 | 405M | 64 |1539 |9336 |3407 | 30k| 1 | 10k|4071 | 1.011016e+03 | 1.042000e+03 | 3.06%| unknown
1479.29/1483.36 c 1483s| 16400 | 1586 | 6895k| 419.7 | 410M | 64 |1539 |9319 |3398 | 30k| 1 | 10k|4073 | 1.011026e+03 | 1.042000e+03 | 3.06%| unknown
1482.48/1486.51 c 1487s| 16500 | 1582 | 6921k| 418.8 | 410M | 64 |1539 |9348 |3398 | 30k| 0 | 10k|4076 | 1.011026e+03 | 1.042000e+03 | 3.06%| unknown
1490.76/1494.84 c 1495s| 16600 | 1590 | 6965k| 418.9 | 410M | 64 |1539 |9321 |3403 | 30k| 0 | 10k|4086 | 1.011052e+03 | 1.042000e+03 | 3.06%| unknown
1509.42/1513.54 c 1514s| 16700 | 1612 | 7034k| 420.5 | 404M | 64 |1539 |9131 |3410 | 31k| 0 | 10k|4129 | 1.011065e+03 | 1.042000e+03 | 3.06%| unknown
1519.49/1523.68 c 1524s| 16800 | 1622 | 7080k| 420.8 | 406M | 64 |1539 |9107 |3418 | 31k| 1 | 10k|4161 | 1.011067e+03 | 1.042000e+03 | 3.06%| unknown
1533.97/1538.14 c 1538s| 16900 | 1636 | 7143k| 422.0 | 407M | 64 |1539 |9067 |3411 | 31k| 1 | 10k|4199 | 1.011084e+03 | 1.042000e+03 | 3.06%| unknown
1538.15/1542.39 c 1542s| 17000 | 1632 | 7171k| 421.2 | 407M | 64 |1539 |9141 |3405 | 31k| 0 | 10k|4216 | 1.011084e+03 | 1.042000e+03 | 3.06%| unknown
1545.94/1550.18 c 1550s| 17100 | 1638 | 7216k| 421.3 | 408M | 64 |1539 |9100 |3399 | 32k| 0 | 10k|4218 | 1.011094e+03 | 1.042000e+03 | 3.06%| unknown
1554.41/1558.69 c 1559s| 17200 | 1642 | 7261k| 421.5 | 408M | 64 |1539 |9054 |3377 | 32k| 0 | 10k|4230 | 1.011131e+03 | 1.042000e+03 | 3.05%| unknown
1578.55/1582.80 c 1583s| 17300 | 1670 | 7356k| 424.5 | 397M | 64 |1539 |8923 |3382 | 33k| 1 | 10k|4270 | 1.011284e+03 | 1.042000e+03 | 3.04%| unknown
1581.76/1586.07 c 1586s| 17400 | 1666 | 7384k| 423.7 | 393M | 64 |1539 |8928 |3367 | 33k| 1 | 10k|4272 | 1.011284e+03 | 1.042000e+03 | 3.04%| unknown
1586.85/1591.11 c 1591s| 17500 | 1670 | 7419k| 423.3 | 384M | 64 |1539 |8945 |3339 | 33k| 1 | 10k|4292 | 1.011284e+03 | 1.042000e+03 | 3.04%| unknown
1598.31/1602.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1598.31/1602.64 c 1603s| 17600 | 1678 | 7484k| 424.6 | 380M | 64 |1539 |8752 |3352 | 33k| 0 | 10k|4310 | 1.011347e+03 | 1.042000e+03 | 3.03%| unknown
1607.70/1612.04 c 1612s| 17700 | 1690 | 7527k| 424.6 | 376M | 64 |1539 |8750 |3362 | 33k| 0 | 10k|4340 | 1.011363e+03 | 1.042000e+03 | 3.03%| unknown
1610.58/1614.99 c 1615s| 17800 | 1690 | 7553k| 423.7 | 376M | 64 |1539 |8767 |3344 | 33k| 1 | 10k|4343 | 1.011363e+03 | 1.042000e+03 | 3.03%| unknown
1615.96/1620.36 c 1620s| 17900 | 1698 | 7590k| 423.4 | 376M | 64 |1539 |8845 |3361 | 33k| 0 | 10k|4376 | 1.011363e+03 | 1.042000e+03 | 3.03%| unknown
1628.33/1632.79 c 1633s| 18000 | 1710 | 7644k| 424.0 | 376M | 64 |1539 |8699 |3362 | 34k| 0 | 10k|4402 | 1.011385e+03 | 1.042000e+03 | 3.03%| unknown
1632.82/1637.21 c 1637s| 18100 | 1712 | 7676k| 423.5 | 376M | 64 |1539 |8812 |3358 | 34k| 2 | 11k|4432 | 1.011385e+03 | 1.042000e+03 | 3.03%| unknown
1641.71/1646.18 c 1646s| 18200 | 1720 | 7717k| 423.4 | 376M | 64 |1539 |8770 |3365 | 34k| 0 | 11k|4470 | 1.011390e+03 | 1.042000e+03 | 3.03%| unknown
1647.70/1652.14 c 1652s| 18300 | 1724 | 7746k| 422.6 | 376M | 64 |1539 |8817 |3372 | 34k| 1 | 11k|4485 | 1.011390e+03 | 1.042000e+03 | 3.03%| unknown
1654.07/1658.54 c 1659s| 18400 | 1716 | 7769k| 421.6 | 385M | 64 |1539 |8852 |3370 | 34k| 1 | 11k|4513 | 1.011390e+03 | 1.042000e+03 | 3.03%| unknown
1660.96/1665.47 c 1665s| 18500 | 1726 | 7815k| 421.8 | 385M | 64 |1539 |8680 |3356 | 34k| 0 | 11k|4513 | 1.011465e+03 | 1.042000e+03 | 3.02%| unknown
1669.24/1673.75 c 1674s| 18600 | 1736 | 7859k| 421.9 | 385M | 64 |1539 |8626 |3364 | 35k| 1 | 11k|4538 | 1.011468e+03 | 1.042000e+03 | 3.02%| unknown
1677.81/1682.35 c 1682s| 18700 | 1742 | 7902k| 422.0 | 386M | 64 |1539 |8627 |3366 | 35k| 1 | 11k|4591 | 1.011469e+03 | 1.042000e+03 | 3.02%| unknown
1688.09/1692.66 c 1693s| 18800 | 1748 | 7947k| 422.1 | 386M | 64 |1539 |8723 |3372 | 35k| 0 | 11k|4630 | 1.011486e+03 | 1.042000e+03 | 3.02%| unknown
1697.37/1701.94 c 1702s| 18900 | 1758 | 7994k| 422.4 | 386M | 64 |1539 |8687 |3375 | 35k| 1 | 11k|4666 | 1.011488e+03 | 1.042000e+03 | 3.02%| unknown
1703.56/1708.17 c 1708s| 19000 | 1758 | 8024k| 421.7 | 389M | 64 |1539 |8796 |3378 | 35k| 1 | 12k|4691 | 1.011488e+03 | 1.042000e+03 | 3.02%| unknown
1707.94/1712.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1707.94/1712.54 c 1713s| 19100 | 1760 | 8062k| 421.5 | 389M | 64 |1539 |8952 |3375 | 35k| 0 | 12k|4718 | 1.011488e+03 | 1.042000e+03 | 3.02%| unknown
1725.20/1729.83 c 1730s| 19200 | 1776 | 8123k| 422.5 | 404M | 64 |1539 |8751 |3389 | 36k| 0 | 12k|4777 | 1.011508e+03 | 1.042000e+03 | 3.01%| unknown
1733.58/1738.22 c 1738s| 19300 | 1778 | 8161k| 422.3 | 406M | 64 |1539 |8663 |3377 | 36k| 1 | 12k|4811 | 1.011527e+03 | 1.042000e+03 | 3.01%| unknown
1744.25/1748.96 c 1749s| 19400 | 1788 | 8207k| 422.4 | 407M | 64 |1539 |8554 |3376 | 36k| 2 | 12k|4851 | 1.011545e+03 | 1.042000e+03 | 3.01%| unknown
1748.54/1753.27 c 1753s| 19500 | 1788 | 8235k| 421.7 | 407M | 64 |1539 |8554 |3382 | 36k| 2 | 12k|4858 | 1.011545e+03 | 1.042000e+03 | 3.01%| unknown
1761.22/1765.96 c 1766s| 19600 | 1794 | 8279k| 421.8 | 419M | 64 |1539 |8483 |3384 | 36k| 1 | 12k|4912 | 1.011585e+03 | 1.042000e+03 | 3.01%| unknown
1765.80/1770.59 c 1771s| 19700 | 1798 | 8306k| 421.1 | 455M | 64 |1539 |8493 |3390 | 36k| 1 | 12k|4918 | 1.011585e+03 | 1.042000e+03 | 3.01%| unknown
1775.39/1780.14 c 1780s| 19800 | 1804 | 8344k| 420.9 | 458M | 64 |1539 |8515 |3397 | 36k| 1 | 12k|4945 | 1.011596e+03 | 1.042000e+03 | 3.01%| unknown
1788.26/1793.11 c 1793s| 19900 | 1816 | 8397k| 421.4 | 456M | 64 |1539 |8316 |3398 | 37k| 0 | 13k|4963 | 1.011616e+03 | 1.042000e+03 | 3.00%| unknown
1805.01/1809.89 c 1810s| 20000 | 1828 | 8482k| 423.5 | 456M | 64 |1539 |8148 |3386 | 37k| 0 | 13k|4983 | 1.011643e+03 | 1.042000e+03 | 3.00%| unknown
1815.48/1820.35 o 1041
1815.48/1820.35 c d1820s| 20067 | 1821 | 8519k| 424.0 |pscostdi| 64 |1539 |8056 |3335 | 0 | 1 | 13k|5012 | 1.011652e+03 | 1.041000e+03 | 2.90%| unknown
1821.67/1826.51 c 1827s| 20100 | 1832 | 8550k| 424.8 | 448M | 64 |1539 |7946 |3385 | 38k| 1 | 13k|5015 | 1.011663e+03 | 1.041000e+03 | 2.90%| unknown
1828.45/1833.34 c 1833s| 20200 | 1838 | 8592k| 424.8 | 448M | 64 |1539 |7865 |3385 | 38k| 0 | 13k|5017 | 1.011685e+03 | 1.041000e+03 | 2.90%| unknown
1841.23/1846.13 c 1846s| 20300 | 1852 | 8653k| 425.7 | 448M | 64 |1539 |7667 |3385 | 38k| 0 | 13k|5028 | 1.011698e+03 | 1.041000e+03 | 2.90%| unknown
1852.39/1857.33 c 1857s| 20400 | 1868 | 8712k| 426.5 | 448M | 64 |1539 |7540 |3391 | 39k| 1 | 13k|5033 | 1.011734e+03 | 1.041000e+03 | 2.89%| unknown
1861.37/1866.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1861.37/1866.33 c 1866s| 20500 | 1864 | 8744k| 426.0 | 448M | 64 |1539 |7703 |3391 | 39k| 0 | 13k|5116 | 1.011734e+03 | 1.041000e+03 | 2.89%| unknown
1872.35/1877.34 c 1877s| 20600 | 1876 | 8801k| 426.7 | 449M | 64 |1539 |7454 |3383 | 39k| 0 | 13k|5121 | 1.011772e+03 | 1.041000e+03 | 2.89%| unknown
1884.31/1889.32 c 1889s| 20700 | 1890 | 8865k| 427.7 | 447M | 64 |1539 |7363 |3384 | 39k| 0 | 13k|5123 | 1.011808e+03 | 1.041000e+03 | 2.89%| unknown
1891.40/1896.41 c 1896s| 20800 | 1896 | 8912k| 427.9 | 447M | 64 |1539 |7321 |3386 | 40k| 1 | 13k|5128 | 1.011812e+03 | 1.041000e+03 | 2.88%| unknown
1903.37/1908.46 c 1908s| 20900 | 1906 | 8976k| 428.9 | 446M | 64 |1539 |7173 |3392 | 40k| 2 | 13k|5131 | 1.011828e+03 | 1.041000e+03 | 2.88%| unknown
1914.96/1920.08 c 1920s| 21000 | 1924 | 9037k| 429.8 | 442M | 64 |1539 |7133 |3365 | 40k| 0 | 13k|5134 | 1.011856e+03 | 1.041000e+03 | 2.88%| unknown
1918.34/1923.41 c 1923s| 21100 | 1928 | 9067k| 429.2 | 442M | 64 |1539 |7154 |3373 | 41k| 0 | 13k|5139 | 1.011856e+03 | 1.041000e+03 | 2.88%| unknown
1922.23/1927.31 c 1927s| 21200 | 1926 | 9091k| 428.3 | 437M | 64 |1539 |7164 |3376 | 41k| 1 | 13k|5158 | 1.011856e+03 | 1.041000e+03 | 2.88%| unknown
1926.22/1931.33 c 1931s| 21300 | 1926 | 9126k| 427.9 | 436M | 64 |1539 |7154 |3382 | 41k| 0 | 13k|5159 | 1.011856e+03 | 1.041000e+03 | 2.88%| unknown
1929.92/1935.07 c 1935s| 21400 | 1928 | 9161k| 427.5 | 435M | 64 |1539 |7154 |3376 | 41k| 0 | 13k|5159 | 1.011856e+03 | 1.041000e+03 | 2.88%| unknown
1940.19/1945.35 c 1945s| 21500 | 1944 | 9217k| 428.2 | 431M | 64 |1539 |7141 |3392 | 41k| 0 | 13k|5159 | 1.011875e+03 | 1.041000e+03 | 2.88%| unknown
1944.47/1949.61 c 1950s| 21600 | 1942 | 9244k| 427.5 | 431M | 64 |1539 |7140 |3376 | 41k| 1 | 13k|5174 | 1.011875e+03 | 1.041000e+03 | 2.88%| unknown
1947.88/1953.06 c 1953s| 21700 | 1944 | 9276k| 426.9 | 431M | 64 |1539 |7140 |3398 | 41k| 0 | 13k|5174 | 1.011875e+03 | 1.041000e+03 | 2.88%| unknown
1962.94/1968.17 c 1968s| 21800 | 1958 | 9368k| 429.2 | 431M | 64 |1539 |7124 |3381 | 42k| 1 | 13k|5174 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1966.22/1971.44 c 1971s| 21900 | 1960 | 9397k| 428.6 | 431M | 64 |1539 |7148 |3401 | 42k| 0 | 13k|5179 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1970.01/1975.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1970.01/1975.29 c 1975s| 22000 | 1958 | 9427k| 428.0 | 431M | 64 |1539 |7179 |3379 | 42k| 0 | 13k|5184 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1973.60/1978.90 c 1979s| 22100 | 1958 | 9459k| 427.5 | 431M | 64 |1539 |7175 |3383 | 42k| 1 | 13k|5184 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1977.49/1982.71 c 1983s| 22200 | 1962 | 9493k| 427.1 | 429M | 64 |1539 |7185 |3384 | 42k| 1 | 13k|5184 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1981.48/1986.71 c 1987s| 22300 | 1966 | 9527k| 426.7 | 429M | 64 |1539 |7226 |3403 | 42k| 1 | 13k|5194 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1988.96/1994.21 c 1994s| 22400 | 1966 | 9560k| 426.3 | 429M | 64 |1539 |7365 |3403 | 42k| 1 | 13k|5257 | 1.011907e+03 | 1.041000e+03 | 2.88%| unknown
1999.43/2004.76 c 2005s| 22500 | 1974 | 9606k| 426.4 | 435M | 64 |1539 |7143 |3407 | 42k| 0 | 13k|5285 | 1.011928e+03 | 1.041000e+03 | 2.87%| unknown
2006.52/2011.87 c 2012s| 22600 | 1978 | 9647k| 426.4 | 438M | 64 |1539 |7146 |3398 | 42k| 0 | 13k|5297 | 1.011947e+03 | 1.041000e+03 | 2.87%| unknown
2010.01/2015.39 c 2015s| 22700 | 1974 | 9674k| 425.7 | 443M | 64 |1539 |7145 |3403 | 42k| 0 | 13k|5297 | 1.011947e+03 | 1.041000e+03 | 2.87%| unknown
2020.48/2025.89 c 2026s| 22800 | 1986 | 9731k| 426.3 | 444M | 64 |1539 |7124 |3386 | 43k| 1 | 14k|5298 | 1.011988e+03 | 1.041000e+03 | 2.87%| unknown
2023.97/2029.39 c 2029s| 22900 | 1986 | 9764k| 425.9 | 444M | 64 |1539 |7123 |3400 | 43k| 1 | 14k|5298 | 1.011988e+03 | 1.041000e+03 | 2.87%| unknown
2034.15/2039.59 c 2040s| 23000 | 1998 | 9818k| 426.4 | 441M | 64 |1539 |7058 |3399 | 43k| 1 | 14k|5298 | 1.012006e+03 | 1.041000e+03 | 2.86%| unknown
2036.54/2041.92 o 1040
2036.54/2041.92 c L2042s| 23067 | 1986 | 9839k| 426.0 |crossove| 64 |1539 |7058 |3378 | 43k| 2 | 14k|5298 | 1.012006e+03 | 1.040000e+03 | 2.77%| unknown
2038.54/2043.91 c 2044s| 23100 | 1993 | 9856k| 426.2 | 436M | 64 |1539 |7056 |3376 | 43k| 0 | 14k|5298 | 1.012006e+03 | 1.040000e+03 | 2.77%| unknown
2043.13/2048.59 c 2049s| 23200 | 2007 | 9897k| 426.1 | 432M | 64 |1539 |7054 |3397 | 43k| 0 | 14k|5298 | 1.012006e+03 | 1.040000e+03 | 2.77%| unknown
2050.11/2055.56 c 2056s| 23300 | 2013 | 9938k| 426.0 | 424M | 64 |1539 |6973 |3396 | 43k| 0 | 14k|5298 | 1.012059e+03 | 1.040000e+03 | 2.76%| unknown
2057.49/2062.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2057.49/2062.95 c 2063s| 23400 | 2021 | 9981k| 426.1 | 424M | 64 |1539 |6963 |3398 | 44k| 0 | 14k|5298 | 1.012082e+03 | 1.040000e+03 | 2.76%| unknown
2068.26/2073.70 c 2074s| 23500 | 2037 | 10037k| 426.6 | 424M | 64 |1539 |6900 |3394 | 44k| 1 | 14k|5298 | 1.012105e+03 | 1.040000e+03 | 2.76%| unknown
2075.05/2080.59 c 2081s| 23600 | 2043 | 10079k| 426.6 | 424M | 64 |1539 |6890 |3397 | 44k| 1 | 14k|5298 | 1.012107e+03 | 1.040000e+03 | 2.76%| unknown
2078.65/2084.15 c 2084s| 23700 | 2041 | 10108k| 426.0 | 424M | 64 |1539 |6887 |3395 | 44k| 1 | 14k|5298 | 1.012107e+03 | 1.040000e+03 | 2.76%| unknown
2086.42/2091.95 c 2092s| 23800 | 2051 | 10155k| 426.2 | 424M | 64 |1539 |6853 |3395 | 44k| 1 | 14k|5298 | 1.012109e+03 | 1.040000e+03 | 2.76%| unknown
2089.71/2095.20 c 2095s| 23900 | 2051 | 10184k| 425.6 | 423M | 64 |1539 |6852 |3401 | 44k| 1 | 14k|5298 | 1.012109e+03 | 1.040000e+03 | 2.76%| unknown
2093.00/2098.57 c 2099s| 24000 | 2051 | 10214k| 425.1 | 423M | 64 |1539 |6852 |3378 | 44k| 0 | 14k|5298 | 1.012109e+03 | 1.040000e+03 | 2.76%| unknown
2096.69/2102.23 c 2102s| 24100 | 2051 | 10248k| 424.8 | 423M | 64 |1539 |6852 |3393 | 45k| 0 | 14k|5298 | 1.012109e+03 | 1.040000e+03 | 2.76%| unknown
2104.37/2109.94 c 2110s| 24200 | 2061 | 10293k| 424.9 | 423M | 64 |1539 |6802 |3381 | 45k| 1 | 14k|5298 | 1.012111e+03 | 1.040000e+03 | 2.76%| unknown
2114.46/2120.09 c 2120s| 24300 | 2073 | 10346k| 425.3 | 423M | 64 |1539 |6718 |3395 | 45k| 1 | 14k|5298 | 1.012118e+03 | 1.040000e+03 | 2.75%| unknown
2119.45/2125.03 c 2125s| 24400 | 2083 | 10386k| 425.2 | 423M | 64 |1539 |6736 |3396 | 45k| 0 | 14k|5305 | 1.012118e+03 | 1.040000e+03 | 2.75%| unknown
2128.62/2134.25 c 2134s| 24500 | 2095 | 10437k| 425.6 | 423M | 64 |1539 |6710 |3404 | 45k| 1 | 14k|5318 | 1.012123e+03 | 1.040000e+03 | 2.75%| unknown
2135.10/2140.79 c 2141s| 24600 | 2101 | 10477k| 425.4 | 423M | 64 |1539 |6774 |3402 | 45k| 0 | 14k|5348 | 1.012126e+03 | 1.040000e+03 | 2.75%| unknown
2143.08/2148.73 c 2149s| 24700 | 2119 | 10527k| 425.7 | 424M | 64 |1539 |6700 |3404 | 45k| 1 | 14k|5348 | 1.012142e+03 | 1.040000e+03 | 2.75%| unknown
2147.38/2153.09 c 2153s| 24800 | 2121 | 10560k| 425.4 | 424M | 64 |1539 |6751 |3401 | 46k| 1 | 14k|5364 | 1.012142e+03 | 1.040000e+03 | 2.75%| unknown
2160.64/2166.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2160.64/2166.32 c 2166s| 24900 | 2127 | 10634k| 426.6 | 424M | 64 |1539 |6695 |3406 | 46k| 1 | 14k|5380 | 1.012161e+03 | 1.040000e+03 | 2.75%| unknown
2173.71/2179.49 c 2179s| 25000 | 2145 | 10692k| 427.2 | 424M | 64 |1539 |6561 |3403 | 46k| 0 | 14k|5398 | 1.012177e+03 | 1.040000e+03 | 2.75%| unknown
2188.18/2193.93 c 2194s| 25100 | 2155 | 10740k| 427.4 | 424M | 64 |1539 |6604 |3410 | 46k| 0 | 14k|5493 | 1.012184e+03 | 1.040000e+03 | 2.75%| unknown
2193.86/2199.67 c 2200s| 25200 | 2153 | 10767k| 426.8 | 424M | 64 |1539 |6637 |3413 | 46k| 1 | 14k|5524 | 1.012184e+03 | 1.040000e+03 | 2.75%| unknown
2203.74/2209.55 c 2210s| 25300 | 2161 | 10812k| 426.9 | 424M | 64 |1539 |6638 |3416 | 46k| 1 | 14k|5566 | 1.012197e+03 | 1.040000e+03 | 2.75%| unknown
2210.52/2216.39 c 2216s| 25400 | 2161 | 10845k| 426.5 | 424M | 64 |1539 |6742 |3418 | 46k| 2 | 14k|5615 | 1.012197e+03 | 1.040000e+03 | 2.75%| unknown
2219.31/2225.11 c 2225s| 25500 | 2171 | 10889k| 426.6 | 424M | 64 |1539 |6763 |3424 | 47k| 0 | 14k|5632 | 1.012215e+03 | 1.040000e+03 | 2.74%| unknown
2226.88/2232.73 c 2233s| 25600 | 2173 | 10932k| 426.6 | 428M | 64 |1539 |6745 |3411 | 47k| 0 | 14k|5634 | 1.012251e+03 | 1.040000e+03 | 2.74%| unknown
2234.57/2240.47 c 2240s| 25700 | 2177 | 10978k| 426.7 | 428M | 64 |1539 |6729 |3413 | 47k| 1 | 14k|5634 | 1.012251e+03 | 1.040000e+03 | 2.74%| unknown
2242.85/2248.79 c 2249s| 25800 | 2181 | 11028k| 427.0 | 428M | 64 |1539 |6728 |3404 | 47k| 1 | 14k|5634 | 1.012271e+03 | 1.040000e+03 | 2.74%| unknown
2260.61/2266.58 c 2267s| 25900 | 2201 | 11104k| 428.3 | 427M | 64 |1539 |6677 |3413 | 47k| 0 | 14k|5652 | 1.012339e+03 | 1.040000e+03 | 2.73%| unknown
2270.98/2276.97 c 2277s| 26000 | 2207 | 11152k| 428.5 | 426M | 64 |1539 |6440 |3411 | 48k| 1 | 14k|5676 | 1.012344e+03 | 1.040000e+03 | 2.73%| unknown
2283.35/2289.36 c 2289s| 26100 | 2225 | 11215k| 429.3 | 426M | 64 |1539 |6389 |3388 | 48k| 0 | 15k|5682 | 1.012383e+03 | 1.040000e+03 | 2.73%| unknown
2287.16/2293.13 c 2293s| 26200 | 2225 | 11248k| 428.9 | 426M | 64 |1539 |6382 |3386 | 48k| 0 | 15k|5682 | 1.012383e+03 | 1.040000e+03 | 2.73%| unknown
2291.63/2297.60 c 2298s| 26300 | 2235 | 11287k| 428.7 | 426M | 64 |1539 |6376 |3393 | 48k| 0 | 15k|5682 | 1.012383e+03 | 1.040000e+03 | 2.73%| unknown
2295.62/2301.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2295.62/2301.66 c 2302s| 26400 | 2239 | 11324k| 428.5 | 426M | 64 |1539 |6374 |3409 | 48k| 1 | 15k|5683 | 1.012383e+03 | 1.040000e+03 | 2.73%| unknown
2310.00/2316.02 c 2316s| 26500 | 2245 | 11371k| 428.7 | 427M | 64 |1539 |6412 |3415 | 48k| 1 | 15k|5777 | 1.012408e+03 | 1.040000e+03 | 2.73%| unknown
2314.99/2321.08 c 2321s| 26600 | 2243 | 11404k| 428.3 | 427M | 64 |1539 |6491 |3415 | 48k| 1 | 15k|5792 | 1.012408e+03 | 1.040000e+03 | 2.73%| unknown
2331.84/2337.96 c 2338s| 26700 | 2269 | 11484k| 429.7 | 428M | 64 |1539 |6247 |3410 | 49k| 0 | 15k|5801 | 1.012471e+03 | 1.040000e+03 | 2.72%| unknown
2338.93/2345.03 c 2345s| 26800 | 2269 | 11519k| 429.4 | 428M | 64 |1539 |6429 |3412 | 49k| 1 | 15k|5867 | 1.012471e+03 | 1.040000e+03 | 2.72%| unknown
2347.10/2353.21 c 2353s| 26900 | 2275 | 11571k| 429.7 | 428M | 64 |1539 |6443 |3414 | 49k| 0 | 15k|5878 | 1.012478e+03 | 1.040000e+03 | 2.72%| unknown
2356.89/2363.09 c 2363s| 27000 | 2283 | 11632k| 430.4 | 428M | 64 |1539 |6470 |3415 | 49k| 0 | 15k|5885 | 1.012483e+03 | 1.040000e+03 | 2.72%| unknown
2365.26/2371.41 c 2371s| 27100 | 2283 | 11669k| 430.2 | 429M | 64 |1539 |6609 |3416 | 49k| 1 | 15k|5927 | 1.012483e+03 | 1.040000e+03 | 2.72%| unknown
2375.23/2381.49 c 2381s| 27200 | 2285 | 11709k| 430.1 | 434M | 64 |1539 |6826 |3423 | 49k| 0 | 16k|6021 | 1.012483e+03 | 1.040000e+03 | 2.72%| unknown
2379.72/2385.93 c 2386s| 27300 | 2283 | 11739k| 429.6 | 444M | 64 |1539 |6858 |3425 | 49k| 1 | 16k|6036 | 1.012483e+03 | 1.040000e+03 | 2.72%| unknown
2387.41/2393.66 c 2394s| 27400 | 2289 | 11786k| 429.7 | 447M | 64 |1539 |6792 |3421 | 50k| 1 | 16k|6036 | 1.012495e+03 | 1.040000e+03 | 2.72%| unknown
2396.48/2402.73 c 2403s| 27500 | 2293 | 11834k| 429.9 | 454M | 64 |1539 |6789 |3424 | 50k| 1 | 16k|6044 | 1.012501e+03 | 1.040000e+03 | 2.72%| unknown
2405.16/2411.46 c 2411s| 27600 | 2301 | 11886k| 430.2 | 454M | 64 |1539 |6750 |3408 | 50k| 1 | 16k|6045 | 1.012505e+03 | 1.040000e+03 | 2.72%| unknown
2417.23/2423.51 c 2423s| 27700 | 2315 | 11944k| 430.8 | 454M | 64 |1539 |6169 |3418 | 50k| 1 | 16k|6050 | 1.012533e+03 | 1.040000e+03 | 2.71%| unknown
2420.74/2427.02 c 2427s| 27800 | 2311 | 11975k| 430.3 | 451M | 64 |1539 |6168 |3415 | 50k| 1 | 16k|6050 | 1.012533e+03 | 1.040000e+03 | 2.71%| unknown
2428.72/2435.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2428.72/2435.05 c 2435s| 27900 | 2321 | 12025k| 430.6 | 447M | 64 |1539 |6064 |3412 | 51k| 0 | 16k|6050 | 1.012575e+03 | 1.040000e+03 | 2.71%| unknown
2439.79/2446.12 c 2446s| 28000 | 2335 | 12081k| 431.1 | 440M | 64 |1539 |5853 |3414 | 51k| 0 | 16k|6052 | 1.012603e+03 | 1.040000e+03 | 2.71%| unknown
2455.25/2461.64 c 2462s| 28100 | 2359 | 12157k| 432.2 | 427M | 64 |1539 |5751 |3419 | 51k| 0 | 16k|6053 | 1.012648e+03 | 1.040000e+03 | 2.70%| unknown
2463.23/2469.61 c 2470s| 28200 | 2369 | 12207k| 432.5 | 427M | 64 |1539 |5684 |3420 | 52k| 0 | 16k|6053 | 1.012676e+03 | 1.040000e+03 | 2.70%| unknown
2471.21/2477.62 c 2478s| 28300 | 2373 | 12257k| 432.7 | 427M | 64 |1539 |5623 |3418 | 52k| 0 | 16k|6054 | 1.012679e+03 | 1.040000e+03 | 2.70%| unknown
2482.38/2488.86 c 2489s| 28400 | 2387 | 12316k| 433.3 | 427M | 64 |1539 |5516 |3417 | 52k| 0 | 16k|6054 | 1.012696e+03 | 1.040000e+03 | 2.70%| unknown
2486.18/2492.62 c 2493s| 28500 | 2385 | 12349k| 432.9 | 427M | 64 |1539 |5530 |3418 | 52k| 2 | 16k|6059 | 1.012696e+03 | 1.040000e+03 | 2.70%| unknown
2493.57/2500.10 c 2500s| 28600 | 2387 | 12395k| 433.0 | 427M | 64 |1539 |5424 |3412 | 52k| 0 | 16k|6059 | 1.012703e+03 | 1.040000e+03 | 2.70%| unknown
2508.12/2514.68 c 2515s| 28700 | 2401 | 12490k| 434.8 | 427M | 64 |1539 |5257 |3400 | 53k| 1 | 16k|6061 | 1.012730e+03 | 1.040000e+03 | 2.69%| unknown
2516.52/2523.02 c 2523s| 28800 | 2409 | 12545k| 435.2 | 427M | 64 |1539 |5162 |3418 | 53k| 1 | 16k|6061 | 1.012745e+03 | 1.040000e+03 | 2.69%| unknown
2532.37/2538.95 c 2539s| 28900 | 2429 | 12624k| 436.4 | 427M | 64 |1539 |4841 |3422 | 53k| 1 | 16k|6067 | 1.012777e+03 | 1.040000e+03 | 2.69%| unknown
2540.25/2546.84 c 2547s| 29000 | 2431 | 12673k| 436.6 | 427M | 64 |1539 |4741 |3420 | 54k| 1 | 16k|6079 | 1.012809e+03 | 1.040000e+03 | 2.68%| unknown
2546.55/2553.12 c 2553s| 29100 | 2431 | 12710k| 436.4 | 427M | 64 |1539 |4731 |3422 | 54k| 1 | 16k|6099 | 1.012809e+03 | 1.040000e+03 | 2.68%| unknown
2550.92/2557.56 c 2558s| 29200 | 2431 | 12748k| 436.2 | 427M | 64 |1539 |4781 |3425 | 54k| 0 | 16k|6115 | 1.012809e+03 | 1.040000e+03 | 2.68%| unknown
2563.79/2570.41 c 2570s| 29300 | 2439 | 12800k| 436.5 | 428M | 64 |1539 |4825 |3429 | 54k| 1 | 16k|6198 | 1.012835e+03 | 1.040000e+03 | 2.68%| unknown
2576.76/2583.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2576.76/2583.49 c 2583s| 29400 | 2445 | 12857k| 436.9 | 430M | 64 |1539 |4749 |3437 | 54k| 0 | 16k|6260 | 1.012844e+03 | 1.040000e+03 | 2.68%| unknown
2585.64/2592.37 c 2592s| 29500 | 2451 | 12908k| 437.2 | 430M | 64 |1539 |4637 |3426 | 54k| 1 | 16k|6271 | 1.012857e+03 | 1.040000e+03 | 2.68%| unknown
2597.61/2604.32 c 2604s| 29600 | 2463 | 12970k| 437.8 | 431M | 64 |1539 |4431 |3400 | 55k| 1 | 16k|6272 | 1.012861e+03 | 1.040000e+03 | 2.68%| unknown
2604.99/2611.75 c 2612s| 29700 | 2467 | 13019k| 438.0 | 431M | 64 |1539 |4358 |3410 | 55k| 0 | 16k|6272 | 1.012863e+03 | 1.040000e+03 | 2.68%| unknown
2608.88/2615.69 c 2616s| 29800 | 2467 | 13054k| 437.7 | 431M | 64 |1539 |4355 |3422 | 55k| 0 | 16k|6272 | 1.012863e+03 | 1.040000e+03 | 2.68%| unknown
2617.46/2624.23 c 2624s| 29900 | 2473 | 13104k| 437.9 | 431M | 64 |1539 |4298 |3414 | 55k| 2 | 16k|6277 | 1.012894e+03 | 1.040000e+03 | 2.68%| unknown
2624.94/2631.73 c 2632s| 30000 | 2477 | 13149k| 437.9 | 431M | 64 |1539 |4252 |3421 | 55k| 0 | 16k|6277 | 1.012915e+03 | 1.040000e+03 | 2.67%| unknown
2634.72/2641.50 c 2641s| 30100 | 2493 | 13209k| 438.5 | 431M | 64 |1539 |4231 |3433 | 56k| 0 | 16k|6278 | 1.012929e+03 | 1.040000e+03 | 2.67%| unknown
2642.90/2649.78 c 2650s| 30200 | 2503 | 13260k| 438.7 | 430M | 64 |1539 |4202 |3432 | 56k| 1 | 16k|6278 | 1.012944e+03 | 1.040000e+03 | 2.67%| unknown
2647.99/2654.82 c 2655s| 30300 | 2501 | 13297k| 438.5 | 430M | 64 |1539 |4229 |3435 | 56k| 0 | 16k|6283 | 1.012944e+03 | 1.040000e+03 | 2.67%| unknown
2668.44/2675.30 c 2675s| 30400 | 2519 | 13408k| 440.7 | 431M | 64 |1539 |4144 |3409 | 56k| 0 | 16k|6283 | 1.012974e+03 | 1.040000e+03 | 2.67%| unknown
2672.53/2679.42 c 2679s| 30500 | 2519 | 13443k| 440.4 | 431M | 64 |1539 |4140 |3425 | 56k| 1 | 16k|6283 | 1.012974e+03 | 1.040000e+03 | 2.67%| unknown
2685.40/2692.31 c 2692s| 30600 | 2537 | 13517k| 441.3 | 431M | 64 |1539 |4120 |3409 | 57k| 1 | 17k|6283 | 1.013009e+03 | 1.040000e+03 | 2.66%| unknown
2697.97/2704.97 c 2705s| 30700 | 2555 | 13588k| 442.2 | 431M | 64 |1539 |4114 |3429 | 57k| 1 | 17k|6283 | 1.013035e+03 | 1.040000e+03 | 2.66%| unknown
2706.25/2713.29 c 2713s| 30800 | 2563 | 13641k| 442.5 | 431M | 64 |1539 |4102 |3439 | 57k| 2 | 17k|6283 | 1.013062e+03 | 1.040000e+03 | 2.66%| unknown
2710.54/2717.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2710.54/2717.58 c 2718s| 30900 | 2565 | 13676k| 442.2 | 431M | 64 |1539 |4101 |3440 | 57k| 1 | 17k|6283 | 1.013062e+03 | 1.040000e+03 | 2.66%| unknown
2715.73/2722.73 c 2723s| 31000 | 2567 | 13715k| 442.1 | 433M | 64 |1539 |4122 |3446 | 57k| 1 | 17k|6291 | 1.013062e+03 | 1.040000e+03 | 2.66%| unknown
2727.20/2734.25 c 2734s| 31100 | 2571 | 13765k| 442.3 | 434M | 64 |1539 |4276 |3450 | 57k| 0 | 17k|6363 | 1.013064e+03 | 1.040000e+03 | 2.66%| unknown
2741.08/2748.15 c 2748s| 31200 | 2587 | 13834k| 443.1 | 450M | 64 |1539 |4239 |3445 | 58k| 1 | 17k|6364 | 1.013065e+03 | 1.040000e+03 | 2.66%| unknown
2746.96/2754.03 c 2754s| 31300 | 2589 | 13876k| 443.0 | 469M | 64 |1539 |4239 |3451 | 58k| 1 | 17k|6364 | 1.013065e+03 | 1.040000e+03 | 2.66%| unknown
2757.13/2764.27 c 2764s| 31400 | 2595 | 13927k| 443.2 | 483M | 64 |1539 |4251 |3455 | 58k| 0 | 17k|6386 | 1.013065e+03 | 1.040000e+03 | 2.66%| unknown
2770.60/2777.75 c 2778s| 31500 | 2607 | 13995k| 443.9 | 483M | 64 |1539 |4226 |3455 | 58k| 0 | 17k|6403 | 1.013076e+03 | 1.040000e+03 | 2.66%| unknown
2784.27/2791.42 c 2791s| 31600 | 2619 | 14059k| 444.6 | 484M | 64 |1539 |4214 |3443 | 59k| 1 | 17k|6418 | 1.013086e+03 | 1.040000e+03 | 2.66%| unknown
2792.25/2799.41 c 2799s| 31700 | 2623 | 14110k| 444.8 | 482M | 64 |1539 |4188 |3425 | 59k| 1 | 17k|6418 | 1.013090e+03 | 1.040000e+03 | 2.66%| unknown
2810.11/2817.32 c 2817s| 31800 | 2639 | 14218k| 446.7 | 469M | 64 |1539 |4134 |3455 | 59k| 0 | 17k|6418 | 1.013107e+03 | 1.040000e+03 | 2.65%| unknown
2823.58/2830.87 c 2831s| 31900 | 2653 | 14290k| 447.6 | 461M | 64 |1539 |4105 |3435 | 59k| 2 | 17k|6418 | 1.013123e+03 | 1.040000e+03 | 2.65%| unknown
2835.45/2842.76 c 2843s| 32000 | 2667 | 14352k| 448.2 | 458M | 64 |1539 |4080 |3442 | 60k| 1 | 17k|6418 | 1.013160e+03 | 1.040000e+03 | 2.65%| unknown
2843.43/2850.72 c 2851s| 32100 | 2671 | 14397k| 448.1 | 458M | 64 |1539 |4042 |3444 | 60k| 1 | 17k|6422 | 1.013191e+03 | 1.040000e+03 | 2.65%| unknown
2847.83/2855.19 c 2855s| 32200 | 2667 | 14434k| 447.9 | 458M | 64 |1539 |4038 |3441 | 60k| 1 | 17k|6422 | 1.013191e+03 | 1.040000e+03 | 2.65%| unknown
2860.39/2867.72 c 2868s| 32300 | 2677 | 14499k| 448.5 | 452M | 64 |1539 |3978 |3434 | 60k| 2 | 17k|6425 | 1.013199e+03 | 1.040000e+03 | 2.65%| unknown
2865.28/2872.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2865.28/2872.61 c 2873s| 32400 | 2677 | 14542k| 448.5 | 447M | 64 |1539 |3981 |3435 | 61k| 1 | 17k|6426 | 1.013199e+03 | 1.040000e+03 | 2.65%| unknown
2869.86/2877.24 c 2877s| 32500 | 2679 | 14583k| 448.4 | 447M | 64 |1539 |3981 |3434 | 61k| 1 | 17k|6426 | 1.013199e+03 | 1.040000e+03 | 2.65%| unknown
2878.24/2885.61 c 2886s| 32600 | 2679 | 14630k| 448.4 | 447M | 64 |1539 |3960 |3426 | 61k| 0 | 17k|6435 | 1.013207e+03 | 1.040000e+03 | 2.64%| unknown
2883.43/2890.85 c 2891s| 32700 | 2677 | 14671k| 448.3 | 447M | 64 |1539 |4025 |3425 | 61k| 0 | 17k|6452 | 1.013207e+03 | 1.040000e+03 | 2.64%| unknown
2893.21/2900.62 c 2901s| 32800 | 2683 | 14722k| 448.5 | 447M | 64 |1539 |3989 |3429 | 61k| 0 | 17k|6465 | 1.013231e+03 | 1.040000e+03 | 2.64%| unknown
2898.10/2905.53 c 2906s| 32900 | 2681 | 14760k| 448.3 | 447M | 64 |1539 |4075 |3442 | 61k| 0 | 17k|6476 | 1.013231e+03 | 1.040000e+03 | 2.64%| unknown
2917.25/2924.71 c 2925s| 33000 | 2705 | 14848k| 449.6 | 447M | 64 |1539 |4064 |3441 | 62k| 1 | 17k|6504 | 1.013245e+03 | 1.040000e+03 | 2.64%| unknown
2931.82/2939.34 c 2939s| 33100 | 2707 | 14909k| 450.1 | 447M | 64 |1539 |4185 |3422 | 62k| 0 | 18k|6584 | 1.013255e+03 | 1.040000e+03 | 2.64%| unknown
2939.80/2947.31 c 2947s| 33200 | 2713 | 14959k| 450.2 | 447M | 64 |1539 |4128 |3390 | 62k| 1 | 18k|6584 | 1.013263e+03 | 1.040000e+03 | 2.64%| unknown
2952.07/2959.60 c 2960s| 33300 | 2723 | 15023k| 450.8 | 449M | 64 |1539 |4144 |3422 | 63k| 0 | 18k|6599 | 1.013286e+03 | 1.040000e+03 | 2.64%| unknown
2960.46/2968.05 c 2968s| 33400 | 2729 | 15076k| 451.0 | 449M | 64 |1539 |4132 |3446 | 63k| 0 | 18k|6599 | 1.013330e+03 | 1.040000e+03 | 2.63%| unknown
2965.74/2973.38 c 2973s| 33500 | 2733 | 15118k| 450.9 | 449M | 64 |1539 |4174 |3415 | 63k| 1 | 18k|6614 | 1.013330e+03 | 1.040000e+03 | 2.63%| unknown
2976.61/2984.24 c 2984s| 33600 | 2739 | 15173k| 451.2 | 444M | 64 |1539 |4165 |3433 | 63k| 1 | 18k|6641 | 1.013338e+03 | 1.040000e+03 | 2.63%| unknown
2985.19/2992.87 c 2993s| 33700 | 2741 | 15223k| 451.4 | 441M | 64 |1539 |4197 |3422 | 63k| 0 | 18k|6654 | 1.013364e+03 | 1.040000e+03 | 2.63%| unknown
2998.96/3006.69 c 3007s| 33800 | 2749 | 15316k| 452.8 | 441M | 64 |1539 |4173 |3416 | 64k| 0 | 18k|6654 | 1.013374e+03 | 1.040000e+03 | 2.63%| unknown
3004.46/3012.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3004.46/3012.15 c 3012s| 33900 | 2753 | 15351k| 452.5 | 441M | 64 |1539 |4167 |3363 | 64k| 1 | 18k|6668 | 1.013374e+03 | 1.040000e+03 | 2.63%| unknown
3015.62/3023.32 c 3023s| 34000 | 2765 | 15413k| 453.0 | 441M | 64 |1539 |4218 |3365 | 64k| 0 | 18k|6678 | 1.013392e+03 | 1.040000e+03 | 2.63%| unknown
3022.80/3030.55 c 3031s| 34100 | 2767 | 15450k| 452.8 | 441M | 64 |1539 |4321 |3373 | 64k| 1 | 18k|6739 | 1.013392e+03 | 1.040000e+03 | 2.63%| unknown
3026.60/3034.33 c 3034s| 34200 | 2767 | 15482k| 452.4 | 441M | 64 |1539 |4316 |3376 | 64k| 0 | 18k|6741 | 1.013392e+03 | 1.040000e+03 | 2.63%| unknown
3030.89/3038.62 c 3039s| 34300 | 2769 | 15514k| 452.0 | 441M | 64 |1539 |4316 |3392 | 64k| 0 | 18k|6752 | 1.013392e+03 | 1.040000e+03 | 2.63%| unknown
3044.95/3052.75 c 3053s| 34400 | 2783 | 15578k| 452.5 | 441M | 64 |1539 |4305 |3386 | 65k| 0 | 18k|6774 | 1.013450e+03 | 1.040000e+03 | 2.62%| unknown
3050.44/3058.29 c 3058s| 34500 | 2787 | 15618k| 452.4 | 441M | 64 |1539 |4366 |3380 | 65k| 1 | 18k|6794 | 1.013450e+03 | 1.040000e+03 | 2.62%| unknown
3061.81/3069.64 c 3070s| 34600 | 2795 | 15668k| 452.5 | 441M | 64 |1539 |4476 |3385 | 65k| 2 | 18k|6857 | 1.013463e+03 | 1.040000e+03 | 2.62%| unknown
3069.69/3077.59 c 3078s| 34700 | 2803 | 15714k| 452.5 | 441M | 64 |1539 |4453 |3388 | 65k| 1 | 18k|6858 | 1.013494e+03 | 1.040000e+03 | 2.62%| unknown
3077.88/3085.71 c 3086s| 34800 | 2811 | 15760k| 452.6 | 441M | 64 |1539 |4446 |3406 | 65k| 2 | 18k|6865 | 1.013513e+03 | 1.040000e+03 | 2.61%| unknown
3088.45/3096.36 c 3096s| 34900 | 2825 | 15818k| 452.9 | 441M | 64 |1539 |4436 |3407 | 66k| 1 | 19k|6888 | 1.013517e+03 | 1.040000e+03 | 2.61%| unknown
3096.93/3104.89 c 3105s| 35000 | 2829 | 15866k| 453.0 | 441M | 64 |1539 |4528 |3391 | 66k| 0 | 19k|6919 | 1.013539e+03 | 1.040000e+03 | 2.61%| unknown
3101.32/3109.27 c 3109s| 35100 | 2829 | 15903k| 452.8 | 441M | 64 |1539 |4516 |3385 | 66k| 1 | 19k|6919 | 1.013539e+03 | 1.040000e+03 | 2.61%| unknown
3106.71/3114.64 c 3115s| 35200 | 2837 | 15951k| 452.8 | 441M | 64 |1539 |4505 |3395 | 66k| 0 | 19k|6919 | 1.013575e+03 | 1.040000e+03 | 2.61%| unknown
3116.58/3124.56 c 3125s| 35300 | 2843 | 16003k| 453.0 | 441M | 64 |1539 |4510 |3385 | 66k| 1 | 19k|6946 | 1.013589e+03 | 1.040000e+03 | 2.61%| unknown
3129.17/3137.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3129.17/3137.13 c 3137s| 35400 | 2859 | 16071k| 453.7 | 441M | 64 |1539 |4449 |3396 | 66k| 1 | 19k|6957 | 1.013617e+03 | 1.040000e+03 | 2.60%| unknown
3138.33/3146.33 c 3146s| 35500 | 2865 | 16120k| 453.8 | 441M | 64 |1539 |4432 |3396 | 67k| 0 | 19k|6975 | 1.013619e+03 | 1.040000e+03 | 2.60%| unknown
3143.32/3151.33 c 3151s| 35600 | 2869 | 16161k| 453.7 | 441M | 64 |1539 |4458 |3397 | 67k| 2 | 19k|6985 | 1.013619e+03 | 1.040000e+03 | 2.60%| unknown
3156.79/3164.87 c 3165s| 35700 | 2883 | 16233k| 454.4 | 441M | 64 |1539 |4431 |3415 | 67k| 0 | 19k|7009 | 1.013640e+03 | 1.040000e+03 | 2.60%| unknown
3171.16/3179.20 c 3179s| 35800 | 2889 | 16293k| 454.8 | 441M | 64 |1539 |4642 |3422 | 67k| 2 | 19k|7121 | 1.013687e+03 | 1.040000e+03 | 2.60%| unknown
3175.25/3183.31 c 3183s| 35900 | 2885 | 16328k| 454.5 | 441M | 64 |1539 |4676 |3412 | 67k| 0 | 19k|7129 | 1.013687e+03 | 1.040000e+03 | 2.60%| unknown
3183.94/3192.06 c 3192s| 36000 | 2891 | 16382k| 454.7 | 441M | 64 |1539 |4676 |3396 | 68k| 0 | 19k|7133 | 1.013699e+03 | 1.040000e+03 | 2.59%| unknown
3192.02/3200.12 c 3200s| 36100 | 2899 | 16430k| 454.8 | 441M | 64 |1539 |4657 |3400 | 68k| 0 | 19k|7133 | 1.013702e+03 | 1.040000e+03 | 2.59%| unknown
3203.18/3211.36 c 3211s| 36200 | 2907 | 16500k| 455.5 | 441M | 64 |1539 |4635 |3404 | 68k| 0 | 19k|7134 | 1.013708e+03 | 1.040000e+03 | 2.59%| unknown
3216.65/3224.82 c 3225s| 36300 | 2921 | 16572k| 456.2 | 441M | 64 |1539 |4731 |3417 | 68k| 0 | 20k|7163 | 1.013713e+03 | 1.040000e+03 | 2.59%| unknown
3221.34/3229.57 c 3230s| 36400 | 2927 | 16609k| 456.0 | 441M | 64 |1539 |4749 |3402 | 68k| 1 | 20k|7170 | 1.013713e+03 | 1.040000e+03 | 2.59%| unknown
3236.70/3244.99 c 3245s| 36500 | 2945 | 16681k| 456.7 | 441M | 64 |1539 |4712 |3413 | 69k| 0 | 20k|7183 | 1.013752e+03 | 1.040000e+03 | 2.59%| unknown
3244.48/3252.75 c 3253s| 36600 | 2957 | 16734k| 456.9 | 442M | 64 |1539 |4760 |3399 | 69k| 0 | 20k|7226 | 1.013767e+03 | 1.040000e+03 | 2.59%| unknown
3249.17/3257.46 c 3257s| 36700 | 2961 | 16776k| 456.8 | 442M | 64 |1539 |4753 |3371 | 69k| 0 | 20k|7227 | 1.013787e+03 | 1.040000e+03 | 2.59%| unknown
3260.15/3268.40 c 3268s| 36800 | 2977 | 16840k| 457.3 | 442M | 64 |1539 |4763 |3384 | 69k| 1 | 20k|7234 | 1.013796e+03 | 1.040000e+03 | 2.58%| unknown
3268.33/3276.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3268.33/3276.63 c 3277s| 36900 | 2983 | 16887k| 457.3 | 442M | 64 |1539 |4802 |3376 | 70k| 0 | 20k|7248 | 1.013822e+03 | 1.040000e+03 | 2.58%| unknown
3276.61/3284.93 c 3285s| 37000 | 2995 | 16945k| 457.7 | 442M | 64 |1539 |4797 |3383 | 70k| 1 | 20k|7256 | 1.013837e+03 | 1.040000e+03 | 2.58%| unknown
3284.09/3292.49 c 3292s| 37100 | 3003 | 16990k| 457.7 | 443M | 64 |1539 |4781 |3386 | 70k| 1 | 20k|7256 | 1.013852e+03 | 1.040000e+03 | 2.58%| unknown
3295.67/3304.01 c 3304s| 37200 | 3017 | 17051k| 458.1 | 443M | 64 |1539 |4736 |3391 | 70k| 0 | 20k|7259 | 1.013870e+03 | 1.040000e+03 | 2.58%| unknown
3307.04/3315.48 c 3315s| 37300 | 3033 | 17120k| 458.7 | 443M | 64 |1539 |4666 |3404 | 70k| 1 | 20k|7276 | 1.013880e+03 | 1.040000e+03 | 2.58%| unknown
3310.83/3319.23 c 3319s| 37400 | 3027 | 17152k| 458.3 | 443M | 64 |1539 |4743 |3379 | 71k| 0 | 20k|7296 | 1.013880e+03 | 1.040000e+03 | 2.58%| unknown
3314.52/3322.97 c 3323s| 37500 | 3029 | 17184k| 457.9 | 443M | 64 |1539 |4747 |3402 | 71k| 2 | 20k|7297 | 1.013880e+03 | 1.040000e+03 | 2.58%| unknown
3327.70/3336.11 c 3336s| 37600 | 3043 | 17243k| 458.3 | 443M | 64 |1539 |4741 |3403 | 71k| 2 | 20k|7355 | 1.013895e+03 | 1.040000e+03 | 2.57%| unknown
3342.75/3351.29 c 3351s| 37700 | 3065 | 17320k| 459.1 | 443M | 64 |1539 |4615 |3407 | 71k| 1 | 20k|7397 | 1.013941e+03 | 1.040000e+03 | 2.57%| unknown
3352.64/3361.18 c 3361s| 37800 | 3071 | 17368k| 459.2 | 443M | 64 |1539 |4655 |3406 | 71k| 1 | 21k|7426 | 1.013943e+03 | 1.040000e+03 | 2.57%| unknown
3356.32/3364.84 c 3365s| 37900 | 3067 | 17401k| 458.8 | 443M | 64 |1539 |4656 |3381 | 71k| 1 | 21k|7433 | 1.013943e+03 | 1.040000e+03 | 2.57%| unknown
3368.39/3376.96 c 3377s| 38000 | 3085 | 17467k| 459.4 | 444M | 64 |1539 |4574 |3375 | 72k| 0 | 21k|7434 | 1.013961e+03 | 1.040000e+03 | 2.57%| unknown
3381.47/3390.07 c 3390s| 38100 | 3099 | 17526k| 459.7 | 444M | 64 |1539 |4490 |3386 | 72k| 0 | 21k|7465 | 1.013977e+03 | 1.040000e+03 | 2.57%| unknown
3384.65/3393.22 c 3393s| 38200 | 3097 | 17553k| 459.2 | 444M | 64 |1539 |4490 |3376 | 72k| 0 | 21k|7469 | 1.013977e+03 | 1.040000e+03 | 2.57%| unknown
3388.24/3396.86 c 3397s| 38300 | 3097 | 17585k| 458.8 | 444M | 64 |1539 |4490 |3376 | 72k| 1 | 21k|7469 | 1.013977e+03 | 1.040000e+03 | 2.57%| unknown
3392.14/3400.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3392.14/3400.71 c 3401s| 38400 | 3097 | 17621k| 458.6 | 444M | 64 |1539 |4500 |3381 | 72k| 0 | 21k|7470 | 1.013977e+03 | 1.040000e+03 | 2.57%| unknown
3395.63/3404.27 c 3404s| 38500 | 3095 | 17652k| 458.2 | 444M | 64 |1539 |4603 |3377 | 72k| 0 | 21k|7490 | 1.013977e+03 | 1.040000e+03 | 2.57%| unknown
3403.61/3412.25 c 3412s| 38600 | 3103 | 17701k| 458.3 | 444M | 64 |1539 |4560 |3382 | 73k| 1 | 21k|7493 | 1.014001e+03 | 1.040000e+03 | 2.56%| unknown
3416.68/3425.36 c 3425s| 38700 | 3121 | 17765k| 458.8 | 444M | 64 |1539 |4536 |3400 | 73k| 0 | 21k|7521 | 1.014013e+03 | 1.040000e+03 | 2.56%| unknown
3424.56/3433.22 c 3433s| 38800 | 3127 | 17811k| 458.7 | 444M | 64 |1539 |4532 |3412 | 73k| 2 | 21k|7534 | 1.014035e+03 | 1.040000e+03 | 2.56%| unknown
3432.84/3441.59 c 3442s| 38900 | 3133 | 17853k| 458.7 | 444M | 64 |1539 |4551 |3416 | 74k| 0 | 21k|7564 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3437.63/3446.37 c 3446s| 39000 | 3135 | 17888k| 458.4 | 444M | 64 |1539 |4573 |3388 | 74k| 1 | 21k|7576 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3441.62/3450.40 c 3450s| 39100 | 3137 | 17922k| 458.1 | 444M | 64 |1539 |4594 |3402 | 74k| 1 | 21k|7581 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3445.21/3454.00 c 3454s| 39200 | 3139 | 17952k| 457.7 | 444M | 64 |1539 |4608 |3408 | 74k| 1 | 21k|7583 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3449.31/3458.05 c 3458s| 39300 | 3137 | 17979k| 457.2 | 444M | 64 |1539 |4674 |3392 | 74k| 1 | 21k|7601 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3453.09/3461.87 c 3462s| 39400 | 3133 | 18010k| 456.8 | 444M | 64 |1539 |4708 |3392 | 74k| 0 | 21k|7611 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3457.78/3466.51 c 3467s| 39500 | 3141 | 18047k| 456.6 | 444M | 64 |1539 |4701 |3367 | 74k| 1 | 21k|7614 | 1.014037e+03 | 1.040000e+03 | 2.56%| unknown
3468.66/3477.48 c 3477s| 39600 | 3157 | 18104k| 456.9 | 444M | 64 |1539 |4637 |3376 | 74k| 1 | 21k|7619 | 1.014078e+03 | 1.040000e+03 | 2.56%| unknown
3476.84/3485.69 c 3486s| 39700 | 3161 | 18146k| 456.8 | 444M | 64 |1539 |4676 |3378 | 74k| 1 | 21k|7646 | 1.014090e+03 | 1.040000e+03 | 2.55%| unknown
3480.13/3489.00 c 3489s| 39800 | 3161 | 18175k| 456.4 | 444M | 64 |1539 |4687 |3366 | 74k| 1 | 21k|7649 | 1.014090e+03 | 1.040000e+03 | 2.55%| unknown
3487.61/3496.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3487.61/3496.44 c 3496s| 39900 | 3165 | 18219k| 456.3 | 444M | 64 |1539 |4700 |3381 | 75k| 0 | 22k|7649 | 1.014102e+03 | 1.040000e+03 | 2.55%| unknown
3508.36/3517.25 c 3517s| 40000 | 3189 | 18334k| 458.1 | 444M | 64 |1539 |4690 |3378 | 75k| 1 | 22k|7657 | 1.014138e+03 | 1.040000e+03 | 2.55%| unknown
3515.65/3524.52 c 3525s| 40100 | 3195 | 18375k| 458.0 | 444M | 64 |1539 |4699 |3382 | 75k| 1 | 22k|7671 | 1.014139e+03 | 1.040000e+03 | 2.55%| unknown
3522.03/3530.97 c 3531s| 40200 | 3199 | 18417k| 457.8 | 444M | 64 |1539 |4675 |3368 | 75k| 0 | 22k|7671 | 1.014141e+03 | 1.040000e+03 | 2.55%| unknown
3530.01/3538.98 c 3539s| 40300 | 3207 | 18465k| 457.9 | 444M | 64 |1539 |4656 |3370 | 76k| 1 | 22k|7671 | 1.014172e+03 | 1.040000e+03 | 2.55%| unknown
3541.29/3550.27 c 3550s| 40400 | 3225 | 18522k| 458.2 | 444M | 64 |1539 |4591 |3374 | 76k| 1 | 22k|7671 | 1.014222e+03 | 1.040000e+03 | 2.54%| unknown
3548.27/3557.27 c 3557s| 40500 | 3233 | 18564k| 458.1 | 444M | 64 |1539 |4555 |3384 | 76k| 0 | 22k|7671 | 1.014224e+03 | 1.040000e+03 | 2.54%| unknown
3556.65/3565.67 c 3566s| 40600 | 3239 | 18603k| 457.9 | 444M | 64 |1539 |4553 |3377 | 76k| 1 | 22k|7688 | 1.014225e+03 | 1.040000e+03 | 2.54%| unknown
3559.84/3568.80 c 3569s| 40700 | 3241 | 18631k| 457.5 | 444M | 64 |1539 |4553 |3387 | 76k| 0 | 22k|7688 | 1.014225e+03 | 1.040000e+03 | 2.54%| unknown
3563.93/3572.97 c 3573s| 40800 | 3245 | 18665k| 457.2 | 444M | 64 |1539 |4596 |3390 | 76k| 2 | 22k|7698 | 1.014225e+03 | 1.040000e+03 | 2.54%| unknown
3568.42/3577.44 c 3577s| 40900 | 3247 | 18695k| 456.8 | 444M | 64 |1539 |4714 |3386 | 76k| 1 | 22k|7739 | 1.014225e+03 | 1.040000e+03 | 2.54%| unknown
3581.49/3590.55 c 3591s| 41000 | 3259 | 18753k| 457.1 | 444M | 64 |1539 |4645 |3392 | 77k| 1 | 22k|7756 | 1.014241e+03 | 1.040000e+03 | 2.54%| unknown
3587.88/3597.00 c
3587.88/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.88/3597.00 c Solving Time (sec) : 3596.99
3587.88/3597.00 c Solving Nodes : 41017
3587.88/3597.00 c Primal Bound : +1.04000000000000e+03 (439 solutions)
3587.88/3597.00 c Dual Bound : +1.01424246191752e+03
3587.88/3597.00 c Gap : 2.54 %
3587.99/3597.01 s SATISFIABLE
3587.99/3597.01 v -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 x1949 x1948 x1947 -x1946 -x1945 x1944 x1943 -x1942 -x1941 -x1940 -x1939 -x1938
3587.99/3597.01 v -x1937 -x1936 -x1935 -x1934 x1933 -x1932 -x1931 x1930 x1929 x1928 x1927 -x1926 -x1925 x1924 x1923 -x1922 x1921 x1920 x1919
3587.99/3597.01 v x1918 -x1917 x1916 x1915 -x1914 x1913 -x1912 -x1911 -x1910 x1909 x1908 x1907 -x1906 -x1905 -x1904 x1903 -x1902 x1901 x1900
3587.99/3597.01 v x1899 -x1898 -x1897 x1896 -x1895 -x1894 x1893 -x1892 x1891 -x1890 -x1889 x1888 -x1887 x1886 x1885 x1884 x1883 -x1882 x1881
3587.99/3597.01 v -x1880 -x1879 -x1878 -x1877 x1876 -x1875 x1874 x1873 -x1872 x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 -x1864 -x1863 x1862
3587.99/3597.01 v -x1861 x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 -x1849 -x1848 x1847 x1846 -x1845 x1844 -x1843 -x1842
3587.99/3597.01 v x1841 -x1840 -x1839 -x1838 x1837 x1836 x1835 -x1834 -x1833 -x1832 x1831 -x1830 x1829 x1828 -x1827 x1826 -x1825 x1824 x1823
3587.99/3597.01 v -x1822 x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 -x1807 -x1806 -x1805 x1804
3587.99/3597.01 v -x1803 -x1802 -x1801 x1800 x1799 x1798 -x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 -x1788 -x1787 x1786 -x1785
3587.99/3597.01 v x1784 x1783 x1782 x1781 x1780 x1779 x1778 -x1777 x1776 -x1775 x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765
3587.99/3597.01 v x1764 x1763 -x1762 x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 x1753 -x1752 -x1751 x1750 x1749 -x1748 -x1747 -x1746
3587.99/3597.01 v -x1745 -x1744 x1743 -x1742 x1741 -x1740 x1739 x1738 -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 x1730 -x1729 -x1728 x1727
3587.99/3597.01 v -x1726 -x1725 -x1724 x1723 x1722 -x1721 -x1720 -x1719 x1718 x1717 -x1716 -x1715 x1714 x1713 x1712 -x1711 x1710 -x1709 -x1708
3587.99/3597.01 v x1707 x1706 -x1705 x1704 x1703 x1702 -x1701 x1700 -x1699 x1698 -x1697 x1696 x1695 -x1694 x1693 x1692 x1691 -x1690 -x1689 -x1688
3587.99/3597.01 v x1687 x1686 x1685 -x1684 x1683 x1682 -x1681 -x1680 x1679 -x1678 -x1677 x1676 x1675 -x1674 -x1673 x1672 x1671 -x1670 -x1669
3587.99/3597.01 v -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651
3587.99/3597.01 v -x1650 x1649 -x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632
3587.99/3597.01 v x1631 -x1630 -x1629 x1628 -x1627 x1626 x1625 -x1624 x1623 x1622 -x1621 -x1620 -x1619 -x1618 x1617 -x1616 -x1615 x1614 -x1613
3587.99/3597.01 v x1612 x1611 x1610 x1609 -x1608 x1607 -x1606 -x1605 x1604 x1603 -x1602 -x1601 -x1600 x1599 -x1598 x1597 -x1596 x1595 -x1594
3587.99/3597.01 v -x1593 x1592 -x1591 x1590 -x1589 -x1588 -x1587 -x1586 x1585 x1584 x1583 x1582 x1581 -x1580 x1579 -x1578 -x1577 -x1576 x1575 -x1574
3587.99/3597.01 v -x1573 x1572 -x1571 x1570 x1569 -x1568 x1567 x1566 x1565 x1564 -x1563 x1562 -x1561 -x1560 -x1559 x1558 -x1557 -x1556 x1555
3587.99/3597.01 v -x1554 x1553 x1552 x1551 -x1550 x1549 -x1548 x1547 -x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535
3587.99/3597.01 v x1534 -x1533 x1532 x1531 x1530 x1529 x1528 x1527 x1526 -x1525 -x1524 -x1523 x1522 x1521 x1520 x1519 -x1518 -x1517 -x1516 x1515
3587.99/3597.01 v x1514 x1513 x1512 -x1511 x1510 x1509 x1508 -x1507 -x1506 x1505 -x1504 x1503 -x1502 -x1501 x1500 x1499 x1498 -x1497 -x1496
3587.99/3597.01 v -x1495 x1494 x1493 x1492 x1491 -x1490 x1489 x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 -x1480 -x1479 x1478 x1477
3587.99/3597.01 v x1476 x1475 x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464 x1463 -x1462 x1461 -x1460 x1459 -x1458 x1457
3587.99/3597.01 v x1456 -x1455 -x1454 x1453 x1452 x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 x1442 -x1441 x1440 -x1439 -x1438
3587.99/3597.01 v x1437 x1436 x1435 x1434 x1433 -x1432 -x1431 x1430 x1429 -x1428 x1427 x1426 -x1425 x1424 x1423 x1422 x1421 -x1420 -x1419 x1418
3587.99/3597.01 v x1417 x1416 -x1415 -x1414 -x1413 -x1412 x1411 x1410 -x1409 -x1408 x1407 x1406 -x1405 x1404 -x1403 -x1402 x1401 x1400 x1399 x1398
3587.99/3597.01 v x1397 x1396 -x1395 -x1394 x1393 x1392 x1391 x1390 -x1389 x1388 -x1387 -x1386 -x1385 x1384 -x1383 x1382 -x1381 x1380 x1379
3587.99/3597.01 v x1378 x1377 x1376 x1375 x1374 -x1373 -x1372 x1371 -x1370 x1369 x1368 -x1367 x1366 -x1365 x1364 -x1363 -x1362 x1361 x1360 -x1359
3587.99/3597.01 v -x1358 x1357 x1356 x1355 -x1354 x1353 x1352 -x1351 x1350 x1349 x1348 -x1347 x1346 x1345 x1344 x1343 -x1342 -x1341 x1340
3587.99/3597.01 v x1339 -x1338 x1337 -x1336 x1335 -x1334 x1333 x1332 -x1331 x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322 -x1321
3587.99/3597.01 v x1320 -x1319 x1318 -x1317 -x1316 x1315 -x1314 x1313 x1312 -x1311 x1310 x1309 -x1308 x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301
3587.99/3597.01 v -x1300 -x1299 -x1298 x1297 x1296 -x1295 -x1294 -x1293 x1292 x1291 -x1290 x1289 -x1288 x1287 x1286 -x1285 x1284 -x1283 -x1282
3587.99/3597.01 v x1281 -x1280 x1279 x1278 x1277 -x1276 x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 x1267 -x1266 x1265 -x1264 -x1263
3587.99/3597.01 v x1262 -x1261 -x1260 -x1259 x1258 -x1257 x1256 x1255 -x1254 -x1253 -x1252 -x1251 x1250 x1249 -x1248 -x1247 x1246 -x1245 x1244
3587.99/3597.01 v -x1243 x1242 -x1241 -x1240 x1239 x1238 -x1237 x1236 x1235 x1234 x1233 x1232 -x1231 -x1230 -x1229 -x1228 x1227 -x1226 -x1225
3587.99/3597.01 v -x1224 x1223 -x1222 x1221 -x1220 -x1219 x1218 x1217 x1216 x1215 -x1214 x1213 -x1212 -x1211 x1210 x1209 -x1208 -x1207 -x1206
3587.99/3597.01 v -x1205 -x1204 -x1203 x1202 -x1201 -x1200 x1199 -x1198 x1197 -x1196 -x1195 -x1194 x1193 x1192 -x1191 -x1190 x1189 -x1188 x1187
3587.99/3597.01 v x1186 -x1185 x1184 -x1183 -x1182 -x1181 x1180 x1179 x1178 x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168
3587.99/3597.01 v x1167 x1166 -x1165 x1164 x1163 x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 x1155 x1154 x1153 x1152 -x1151 x1150 -x1149 -x1148
3587.99/3597.01 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 x1136 x1135 -x1134 x1133 x1132 x1131 -x1130
3587.99/3597.01 v x1129 -x1128 x1127 -x1126 -x1125 -x1124 x1123 -x1122 x1121 x1120 -x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111
3587.99/3597.01 v x1110 -x1109 x1108 x1107 -x1106 x1105 -x1104 x1103 x1102 x1101 -x1100 x1099 x1098 -x1097 x1096 -x1095 x1094 x1093 -x1092 x1091
3587.99/3597.01 v -x1090 -x1089 x1088 -x1087 x1086 x1085 -x1084 x1083 x1082 -x1081 x1080 x1079 x1078 -x1077 x1076 x1075 x1074 x1073 x1072 x1071
3587.99/3597.01 v x1070 x1069 x1068 -x1067 x1066 x1065 -x1064 x1063 x1062 x1061 x1060 x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 x1052
3587.99/3597.01 v x1051 x1050 x1049 x1048 x1047 -x1046 x1045 x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032
3587.99/3597.01 v -x1031 x1030 -x1029 x1028 -x1027 -x1026 x1025 x1024 x1023 x1022 -x1021 -x1020 x1019 x1018 x1017 x1016 x1015 x1014 x1013
3587.99/3597.01 v x1012 x1011 x1010 -x1009 x1008 -x1007 -x1006 x1005 -x1004 x1003 x1002 -x1001 -x1000 -x999 x998 x997 x996 -x995 -x994 -x993 x992
3587.99/3597.01 v x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 x983 x982 x981 x980 -x979 x978 x977 x976 -x975 x974 -x973 -x972 -x971 -x970
3587.99/3597.01 v -x969 x968 -x967 -x966 -x965 x964 x963 -x962 -x961 x960 -x959 -x958 -x957 x956 x955 x954 x953 -x952 x951 -x950 x949 x948 x947
3587.99/3597.01 v x946 x945 x944 x943 x942 x941 x940 x939 x938 -x937 x936 -x935 x934 -x933 x932 x931 x930 x929 x928 -x927 x926 -x925 x924 x923
3587.99/3597.01 v -x922 x921 -x920 x919 x918 x917 x916 x915 -x914 -x913 x912 x911 -x910 x909 x908 x907 x906 x905 x904 -x903 x902 -x901 -x900
3587.99/3597.01 v -x899 -x898 -x897 x896 x895 x894 x893 -x892 x891 x890 x889 -x888 x887 -x886 x885 -x884 x883 x882 -x881 -x880 x879 x878 -x877
3587.99/3597.01 v x876 -x875 x874 -x873 -x872 x871 -x870 x869 -x868 x867 -x866 -x865 -x864 -x863 x862 x861 -x860 x859 x858 x857 x856 x855 x854
3587.99/3597.01 v -x853 x852 x851 x850 x849 -x848 -x847 x846 x845 x844 -x843 x842 -x841 x840 x839 x838 -x837 -x836 -x835 -x834 x833 -x832 -x831
3587.99/3597.01 v x830 x829 x828 x827 x826 -x825 x824 -x823 x822 -x821 x820 -x819 x818 x817 x816 x815 x814 x813 x812 -x811 x810 -x809 x808 x807
3587.99/3597.01 v x806 x805 x804 -x803 x802 -x801 -x800 x799 x798 x797 x796 x795 x794 x793 x792 -x791 -x790 -x789 -x788 x787 x786 x785 x784 x783
3587.99/3597.01 v x782 x781 x780 x779 -x778 x777 x776 -x775 x774 x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 x762 x761
3587.99/3597.01 v x760 -x759 x758 x757 -x756 -x755 x754 -x753 x752 -x751 x750 x749 x748 -x747 x746 -x745 x744 -x743 x742 x741 -x740 x739 x738 -x737
3587.99/3597.01 v x736 -x735 -x734 -x733 -x732 x731 -x730 x729 x728 x727 -x726 x725 x724 x723 -x722 -x721 -x720 x719 -x718 x717 x716 -x715
3587.99/3597.01 v -x714 x713 -x712 -x711 x710 -x709 -x708 x707 x706 -x705 -x704 x703 x702 x701 x700 x699 -x698 x697 -x696 -x695 x694 x693 x692
3587.99/3597.01 v x691 x690 x689 -x688 -x687 x686 x685 x684 x683 -x682 -x681 x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669
3587.99/3597.01 v x668 -x667 x666 x665 -x664 -x663 x662 -x661 -x660 -x659 x658 -x657 x656 x655 -x654 -x653 x652 x651 x650 x649 -x648 -x647
3587.99/3597.01 v -x646 -x645 x644 -x643 x642 x641 x640 x639 -x638 x637 x636 x635 -x634 -x633 -x632 x631 x630 -x629 x628 -x627 -x626 x625 x624
3587.99/3597.01 v x623 x622 x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 x612 x611 -x610 -x609 x608 -x607 x606 -x605 x604 -x603 -x602 x601 x600
3587.99/3597.01 v -x599 x598 -x597 x596 x595 x594 -x593 x592 -x591 -x590 x589 x588 -x587 -x586 x585 x584 x583 -x582 -x581 x580 x579 -x578 -x577
3587.99/3597.01 v x576 x575 -x574 -x573 -x572 -x571 x570 -x569 x568 x567 x566 x565 -x564 -x563 -x562 x561 x560 x559 x558 -x557 x556 -x555
3587.99/3597.01 v x554 x553 x552 -x551 -x550 x549 x548 x547 x546 x545 x544 x543 x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532
3587.99/3597.01 v x531 x530 x529 x528 x527 x526 -x525 -x524 x523 x522 -x521 -x520 x519 x518 -x517 -x516 x515 x514 x513 x512 -x511 -x510 x509 -x508
3587.99/3597.01 v x507 -x506 -x505 x504 x503 -x502 -x501 x500 x499 -x498 x497 x496 x495 x494 x493 -x492 -x491 x490 -x489 -x488 -x487 -x486
3587.99/3597.01 v -x485 -x484 -x483 -x482 -x481 x480 -x479 x478 x477 x476 x475 x474 -x473 -x472 x471 x470 -x469 x468 x467 -x466 -x465 -x464 -x463
3587.99/3597.01 v x462 x461 x460 x459 -x458 -x457 -x456 x455 x454 x453 x452 x451 -x450 x449 -x448 x447 -x446 x445 -x444 x443 x442 x441 x440
3587.99/3597.01 v x439 x438 x437 -x436 -x435 -x434 x433 x432 x431 x430 -x429 x428 -x427 -x426 -x425 x424 -x423 -x422 x421 -x420 -x419 x418 x417
3587.99/3597.01 v -x416 x415 -x414 x413 x412 x411 x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395
3587.99/3597.01 v -x394 x393 -x392 x391 x390 x389 x388 x387 x386 x385 x384 -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 x373 -x372
3587.99/3597.01 v -x371 -x370 -x369 -x368 -x367 x366 -x365 x364 x363 x362 -x361 x360 x359 x358 x357 x356 x355 -x354 x353 -x352 -x351 -x350 -x349
3587.99/3597.01 v x348 x347 -x346 -x345 x344 x343 -x342 -x341 x340 x339 -x338 x337 x336 x335 -x334 x333 x332 x331 x330 -x329 -x328 x327 -x326
3587.99/3597.01 v -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 x306 x305 x304
3587.99/3597.01 v -x303 -x302 x301 -x300 x299 -x298 x297 x296 x295 x294 x293 x292 x291 -x290 -x289 x288 -x287 x286 -x285 x284 -x283 -x282 -x281
3587.99/3597.01 v -x280 x279 -x278 x277 -x276 x275 -x274 -x273 x272 x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259
3587.99/3597.01 v x258 x257 x256 x255 x254 -x253 x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 x244 x243 -x242 x241 x240 -x239 -x238 x237 x236
3587.99/3597.01 v -x235 x234 x233 x232 x231 x230 x229 x228 x227 -x226 -x225 -x224 x223 -x222 x221 x220 -x219 x218 x217 x216 x215 -x214 x213
3587.99/3597.01 v x212 x211 -x210 -x209 -x208 x207 -x206 -x205 x204 -x203 -x202 x201 x200 -x199 -x198 -x197 x196 x195 -x194 x193 -x192 x191 -x190
3587.99/3597.01 v x189 -x188 x187 x186 x185 x184 x183 x182 x181 -x180 x179 x178 x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 x167
3587.99/3597.01 v -x166 x165 -x164 x163 x162 -x161 -x160 x159 x158 x157 x156 x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144
3587.99/3597.01 v -x143 x142 -x141 x140 -x139 x138 -x137 -x136 x135 x134 x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 x124 x123 x122 -x121
3587.99/3597.01 v -x120 x119 x118 -x117 x116 x115 x114 x113 -x112 x111 -x110 x109 x108 x107 -x106 -x105 x104 -x103 -x102 -x101 x100 -x99 -x98
3587.99/3597.01 v -x97 x96 x95 -x94 -x93 -x92 -x91 -x90 x89 x88 -x87 x86 x85 x84 -x83 x82 -x81 -x80 x79 x78 -x77 x76 x75 -x74 -x73 x72 x71 x70
3587.99/3597.01 v x69 x68 x67 -x66 -x65 x64 -x63 x62 -x61 -x60 x59 -x58 x57 x56 x55 -x54 x53 -x52 -x51 x50 -x49 x48 x47 -x46 -x45 -x44 -x43 -x42
3587.99/3597.01 v x41 -x40 -x39 x38 x37 x36 x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 x25 x24 x23 x22 x21 -x20 -x19 x18 x17 x16 x15 x14
3587.99/3597.01 v -x13 x12 x11 x10 -x9 x8 x7 x6 x5 -x4 -x3 x2 -x1
3587.99/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.99/3597.01 c Total Time : 3596.99
3587.99/3597.01 c solving : 3596.99
3587.99/3597.01 c presolving : 0.09 (included in solving)
3587.99/3597.01 c reading : 0.02 (included in solving)
3587.99/3597.01 c copying : 0.39 (20 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3587.99/3597.01 c Original Problem :
3587.99/3597.01 c Problem name : HOME/instance-4432644-1721073352.opb
3587.99/3597.01 c Variables : 1957 (1957 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.99/3597.01 c Constraints : 4000 initial, 4000 maximal
3587.99/3597.01 c Objective : minimize, 1957 non-zeros (abs.min = 1, abs.max = 1)
3587.99/3597.01 c Presolved Problem :
3587.99/3597.01 c Problem name : t_HOME/instance-4432644-1721073352.opb
3587.99/3597.01 c Variables : 1539 (1539 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.99/3597.01 c Constraints : 2993 initial, 9394 maximal
3587.99/3597.01 c Objective : minimize, 1539 non-zeros (abs.min = 1, abs.max = 1)
3587.99/3597.01 c Nonzeros : 5986 constraint, 5986 clique table
3587.99/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.99/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c trivial : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c dualfix : 0.00 0.00 11 198 0 0 0 0 0 0 0 0
3587.99/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c pseudoobj : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c vbounds : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c linear : 0.03 0.00 11 0 220 0 0 0 1007 0 0 0
3587.99/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.99/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.99/3597.01 c benderslp : 0 0 0 0 23265 0 0 2127 0 0 0 0 0 0 0
3587.99/3597.01 c integral : 0 0 0 0 23265 0 0 2127 0 0 3286 0 0 15882 44378
3587.99/3597.01 c knapsack : 0+ 8 0 16351 0 0 0 0 8 16 0 0 0 0 0
3587.99/3597.01 c setppc : 2993 2993 20 179043 4 0 0 2122 223205 25 138096 0 0 0 0
3587.99/3597.01 c linear : 0+ 75 0 103331 0 0 0 2 480 289 486 0 0 0 0
3587.99/3597.01 c logicor : 0+ 6326 0 33375 0 0 0 0 1825 171 215 0 0 0 0
3587.99/3597.01 c benders : 0 0 0 0 4 0 0 444 0 0 0 0 0 0 0
3587.99/3597.01 c fixedvar : 0 0 0 0 4 0 0 444 0 0 0 0 0 0 0
3587.99/3597.01 c countsols : 0 0 0 0 4 0 0 444 0 0 0 0 0 0 0
3587.99/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.99/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.99/3597.01 c integral : 457.58 0.00 0.00 0.00 457.57 0.00 0.00 0.01 0.00 0.00
3587.99/3597.01 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.99/3597.01 c setppc : 1.12 0.00 0.00 0.88 0.00 0.00 0.00 0.04 0.06 0.13
3587.99/3597.01 c linear : 0.25 0.00 0.00 0.17 0.00 0.00 0.00 0.00 0.00 0.07
3587.99/3597.01 c logicor : 0.60 0.00 0.00 0.55 0.00 0.00 0.00 0.00 0.01 0.04
3587.99/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.99/3597.01 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3587.99/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.99/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.99/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.99/3597.01 c dualfix : 2 0 0 0
3587.99/3597.01 c genvbounds : 0 0 0 0
3587.99/3597.01 c nlobbt : 0 0 0 0
3587.99/3597.01 c obbt : 0 0 0 0
3587.99/3597.01 c probing : 0 0 0 0
3587.99/3597.01 c pseudoobj : 93022 0 0 0
3587.99/3597.01 c redcost : 41338 0 0 5332
3587.99/3597.01 c rootredcost : 12 0 0 0
3587.99/3597.01 c symmetry : 0 0 0 0
3587.99/3597.01 c vbounds : 67381 0 0 0
3587.99/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.99/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.99/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.99/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.99/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.99/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.99/3597.01 c pseudoobj : 0.13 0.00 0.00 0.12 0.00 0.00
3587.99/3597.01 c redcost : 0.92 0.00 0.00 0.92 0.00 0.00
3587.99/3597.01 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.00
3587.99/3597.01 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.01
3587.99/3597.01 c vbounds : 0.07 0.00 0.01 0.05 0.00 0.01
3587.99/3597.01 c Symmetry :
3587.99/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.99/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.99/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.99/3597.01 c shadow tree time : 0.00 s
3587.99/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.99/3597.01 c propagation : 0.01 252 139 - 1392 78.5 0 0.0 - - -
3587.99/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.99/3597.01 c bound exceed. LP : 3.53 4160 4157 - 46774 71.5 0 0.0 4157 103.7 9139
3587.99/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.99/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.99/3597.01 c applied globally : 0.24 - - 0 18258 55.9 - - 4157 - -
3587.99/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.99/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.99/3597.01 c cut pool : 17.84 - 9005 39 - - 67157 315633 - - - - - (maximal pool size: 3864)
3587.99/3597.01 c aggregation : 12.85 0.00 3182 20 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.99/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.99/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.99/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c clique : 0.26 0.00 20 20 0 0 5 5 0 5 5 0 0
3587.99/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c gomory : 872.18 0.00 3004 10 0 0 63575 102688 0 9025 9025 0 0
3587.99/3597.01 c > gomorymi : - - - - - - - 37956 0 446 446 0 -
3587.99/3597.01 c > strongcg : - - - - - - - 64732 0 8579 8579 0 -
3587.99/3597.01 c impliedbounds : 0.56 0.00 3182 20 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c multilinear : 0.00 0.00 167 20 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c rlt : 0.01 0.00 884 10 0 0 0 0 0 0 0 0 0
3587.99/3597.01 c zerohalf : 57.22 0.00 3014 20 0 0 3577 212940 0 68382 68382 0 0
3587.99/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.99/3597.01 c hybrid : 1.46 0.00 6347 20 77412 0 238221 169 0 934
3587.99/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.99/3597.01 c problem variables: 0.00 - 0 0
3587.99/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.99/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c relpscost : 457.55 0.00 23261 0 0 0 3286 0 18866 44378
3587.99/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.99/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.99/3597.01 c LP solutions : 0.00 - - 4 4
3587.99/3597.01 c relax solutions : 0.00 - - 0 0
3587.99/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.99/3597.01 c strong branching : 1.06 - - 58 0
3587.99/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.99/3597.01 c adaptivediving : 6.53 0.00 33 0 0
3587.99/3597.01 c alns : 0.20 0.00 9 0 0
3587.99/3597.01 c bound : 0.00 0.00 0 0 0
3587.99/3597.01 c clique : 0.02 0.00 1 1 1
3587.99/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.99/3597.01 c completesol : 0.00 0.00 0 0 0
3587.99/3597.01 c conflictdiving : 4.50 0.00 45 0 0
3587.99/3597.01 c crossover : 0.56 0.00 11 4 2
3587.99/3597.01 c dins : 0.00 0.00 0 0 0
3587.99/3597.01 c distributiondivin: 8.88 0.00 45 0 0
3587.99/3597.01 c dps : 0.00 0.00 0 0 0
3587.99/3597.01 c dualval : 0.00 0.00 0 0 0
3587.99/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.99/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.99/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.99/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.99/3597.01 c fracdiving : 5.27 0.00 45 0 0
3587.99/3597.01 c gins : 0.01 0.00 0 0 0
3587.99/3597.01 c guideddiving : 7.80 0.00 45 0 0
3587.99/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.99/3597.01 c indicator : 0.01 0.00 0 0 0
3587.99/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.99/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.99/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.99/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.99/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.99/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.99/3597.01 c linesearchdiving : 11.08 0.00 45 0 0
3587.99/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.99/3597.01 c locks : 0.00 0.00 1 1 1
3587.99/3597.01 c lpface : 0.01 0.00 0 0 0
3587.99/3597.01 c mpec : 0.00 0.00 0 0 0
3587.99/3597.01 c multistart : 0.00 0.00 0 0 0
3587.99/3597.01 c mutation : 0.00 0.00 0 0 0
3587.99/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.99/3597.01 c objpscostdiving : 92.32 0.00 23 108 1
3587.99/3597.01 c octane : 0.00 0.00 0 0 0
3587.99/3597.01 c ofins : 0.01 0.00 0 0 0
3587.99/3597.01 c oneopt : 0.02 0.00 11 2 2
3587.99/3597.01 c padm : 0.00 0.00 0 0 0
3587.99/3597.01 c proximity : 0.00 0.00 0 0 0
3587.99/3597.01 c pscostdiving : 11.72 0.00 46 2 2
3587.99/3597.01 c randrounding : 0.38 0.00 1701 21 0
3587.99/3597.01 c rens : 0.00 0.00 0 0 0
3587.99/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.99/3597.01 c repair : 0.00 0.00 0 0 0
3587.99/3597.01 c rins : 1.49 0.00 1 1 0
3587.99/3597.01 c rootsoldiving : 10.33 0.00 23 23 0
3587.99/3597.01 c rounding : 44.34 0.00 2348 0 0
3587.99/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.99/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.99/3597.01 c shifting : 25.81 0.00 1251 0 0
3587.99/3597.01 c simplerounding : 2.46 0.00 29613 79 0
3587.99/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.99/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.99/3597.01 c trivial : 0.00 0.00 2 2 2
3587.99/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.99/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.99/3597.01 c trysol : 0.01 0.00 0 0 0
3587.99/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.99/3597.01 c undercover : 0.00 0.00 0 0 0
3587.99/3597.01 c vbounds : 0.02 0.00 1 0 0
3587.99/3597.01 c veclendiving : 5.34 0.00 45 0 0
3587.99/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.99/3597.01 c zirounding : 3.61 0.00 6651 133 1
3587.99/3597.01 c other solutions : - - - 0 -
3587.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.99/3597.01 c primal LP : 3.07 3683 0 0.00 0.00 3.07 3683
3587.99/3597.01 c dual LP : 1901.40 53554 17540797 363.19 9225.19 4.60 5257
3587.99/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.99/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.99/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.99/3597.01 c diving/probing LP: 170.40 4767 1230457 258.12 7220.85
3587.99/3597.01 c strong branching : 425.81 7778 3911818 502.93 9186.76 - - 3834
3587.99/3597.01 c (at root node) : - 24 22257 927.38 -
3587.99/3597.01 c conflict analysis: 1.15 915 9139 9.99 7919.15
3587.99/3597.01 c B&B Tree :
3587.99/3597.01 c number of runs : 1
3587.99/3597.01 c nodes : 41017 (22189 internal, 18828 leaves)
3587.99/3597.01 c feasible leaves : 4
3587.99/3597.01 c infeas. leaves : 132
3587.99/3597.01 c objective leaves : 18692
3587.99/3597.01 c nodes (total) : 41017 (22189 internal, 18828 leaves)
3587.99/3597.01 c nodes left : 3264
3587.99/3597.01 c max depth : 64
3587.99/3597.01 c max depth (total): 64
3587.99/3597.01 c backtracks : 5090 (12.4%)
3587.99/3597.01 c early backtracks : 0 (0.0%)
3587.99/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.99/3597.01 c delayed cutoffs : 0
3587.99/3597.01 c repropagations : 33 (30 domain reductions, 0 cutoffs)
3587.99/3597.01 c avg switch length: 2.80
3587.99/3597.01 c switching time : 6.61
3587.99/3597.01 c Root Node :
3587.99/3597.01 c First LP value : +9.74500000000000e+02
3587.99/3597.01 c First LP Iters : 1926 (57576.75 Iter/sec)
3587.99/3597.01 c First LP Time : 0.03
3587.99/3597.01 c Final Dual Bound : +1.00085653834578e+03
3587.99/3597.01 c Final Root Iters : 12252
3587.99/3597.01 c Root LP Estimate : +1.31481259525916e+03
3587.99/3597.01 c Solution :
3587.99/3597.01 c Solutions found : 439 (16 improvements)
3587.99/3597.01 c First Solution : +1.95700000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3587.99/3597.01 c Gap First Sol. : infinite
3587.99/3597.01 c Gap Last Sol. : 2.77 %
3587.99/3597.01 c Primal Bound : +1.04000000000000e+03 (in run 1, after 23067 nodes, 2041.91 seconds, depth 29, found by <crossover>)
3587.99/3597.01 c Dual Bound : +1.01424246191752e+03
3587.99/3597.01 c Gap : 2.54 %
3587.99/3597.01 c Integrals : Total Avg%
3587.99/3597.01 c primal-dual : 10640.58 2.96
3587.99/3597.01 c primal-ref : - - (not evaluated)
3587.99/3597.01 c dual-ref : - - (not evaluated)
3587.99/3597.08 c Time complete: 3588.07.
OK 1040
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62494 MiB free)
memory of node 1: 64473 MiB (63410 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432644-1721073352/watcher-4432644-1721073352 -o /tmp/evaluation-result-4432644-1721073352/solver-4432644-1721073352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810250 --watchdog 3760 pbscip -f HOME/instance-4432644-1721073352.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=812319, runsolver pid=812316
[startup+0.100247 s]*
/proc/loadavg: 3.16 2.12 2.61 5/246 812320
/proc/meminfo: memFree=128910640/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=70184 memory=31184 CPUtime=0.09 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 4595 0 0 0 8 1 0 0 20 0 1 0 159491096 71868416 7796 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 17546 7796 3698 3540 0 5803 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70184 KiB
Current children cumulated memory: 31184 KiB
[startup+0.21307 s]*
/proc/loadavg: 3.16 2.12 2.61 5/246 812320
/proc/meminfo: memFree=128900528/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=81400 memory=40612 CPUtime=0.2 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 6903 0 0 0 19 1 0 0 20 0 1 0 159491096 83353600 10153 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 20350 10153 3922 3540 0 8607 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81400 KiB
Current children cumulated memory: 40612 KiB
[startup+0.31287 s]*
/proc/loadavg: 3.16 2.12 2.61 5/246 812320
/proc/meminfo: memFree=128900068/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=81736 memory=40936 CPUtime=0.3 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 6932 0 0 0 29 1 0 0 20 0 1 0 159491096 83697664 10234 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 20434 10234 3938 3540 0 8691 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81736 KiB
Current children cumulated memory: 40936 KiB
[startup+0.700285 s]
/proc/loadavg: 3.16 2.12 2.61 5/246 812320
/proc/meminfo: memFree=128895888/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=86716 memory=45140 CPUtime=0.68 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 8041 0 0 0 67 1 0 0 20 0 1 0 159491096 88797184 11285 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 21679 11285 3938 3540 0 9936 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86716 KiB
Current children cumulated memory: 45140 KiB
[startup+1.50027 s]
/proc/loadavg: 3.16 2.12 2.61 6/246 812320
/proc/meminfo: memFree=128891280/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=90272 memory=47780 CPUtime=1.48 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 8687 0 0 0 146 2 0 0 20 0 1 0 159491096 92438528 11945 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 22568 11945 3938 3540 0 10825 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90272 KiB
Current children cumulated memory: 47780 KiB
[startup+3.1126 s]
/proc/loadavg: 3.31 2.17 2.63 5/246 812320
/proc/meminfo: memFree=128878776/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=98544 memory=55700 CPUtime=3.09 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 10648 0 0 0 307 2 0 0 20 0 1 0 159491096 100909056 13925 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 24636 13925 3938 3540 0 12893 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98544 KiB
Current children cumulated memory: 55700 KiB
[startup+6.30026 s]
/proc/loadavg: 3.31 2.17 2.63 5/246 812320
/proc/meminfo: memFree=128826460/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=153000 memory=108500 CPUtime=6.27 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 23838 0 0 0 623 4 0 0 20 0 1 0 159491096 156672000 27125 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 38250 27125 3938 3540 0 26507 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 153000 KiB
Current children cumulated memory: 108500 KiB
[startup+12.7003 s]
/proc/loadavg: 3.36 2.20 2.63 5/246 812322
/proc/meminfo: memFree=128798468/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=161740 memory=113876 CPUtime=12.65 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 26635 0 0 0 1261 4 0 0 20 0 1 0 159491096 165621760 28469 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 40435 28469 3969 3540 0 28692 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 161740 KiB
Current children cumulated memory: 113876 KiB
[startup+25.5003 s]
/proc/loadavg: 3.50 2.29 2.66 5/246 812324
/proc/meminfo: memFree=128749132/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=165760 memory=118420 CPUtime=25.41 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 27757 0 0 0 2537 4 0 0 20 0 1 0 159491096 169738240 29605 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 41440 29605 3985 3540 0 29697 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 165760 KiB
Current children cumulated memory: 118420 KiB
[startup+51.1128 s]
/proc/loadavg: 3.75 2.45 2.70 5/246 812328
/proc/meminfo: memFree=128657532/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=228532 memory=176416 CPUtime=50.95 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 43290 0 0 0 5088 7 0 0 20 0 1 0 159491096 234016768 44104 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 57133 44104 3985 3540 0 45390 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 228532 KiB
Current children cumulated memory: 176416 KiB
[startup+102.3 s]
/proc/loadavg: 3.97 2.70 2.77 5/246 812337
/proc/meminfo: memFree=128556048/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=273696 memory=216744 CPUtime=101.96 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 56266 0 0 0 10181 15 0 0 20 0 1 0 159491096 280264704 54186 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 68424 54186 3985 3540 0 56681 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 273696 KiB
Current children cumulated memory: 216744 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 2.97 2.86 5/248 812517
/proc/meminfo: memFree=128485560/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=273696 memory=217004 CPUtime=161.75 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 56345 0 0 0 16155 20 0 0 20 0 1 0 159491096 280264704 54251 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 68424 54251 3985 3540 0 56681 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 273696 KiB
Current children cumulated memory: 217004 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.19 2.95 5/248 812528
/proc/meminfo: memFree=128455164/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=280488 memory=223408 CPUtime=221.54 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 57981 0 0 0 22128 26 0 0 20 0 1 0 159491096 287219712 55852 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 70122 55852 3985 3540 0 58379 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 280488 KiB
Current children cumulated memory: 223408 KiB
[startup+282.3 s]
/proc/loadavg: 4.72 3.53 3.08 6/246 812541
/proc/meminfo: memFree=128401024/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=288612 memory=231308 CPUtime=281.34 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 60701 0 0 0 28102 32 0 0 20 0 1 0 159491096 295538688 57827 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 72153 57827 3985 3540 0 60410 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 288612 KiB
Current children cumulated memory: 231308 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 3.64 3.15 5/245 812562
/proc/meminfo: memFree=128265848/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=290744 memory=238240 CPUtime=341.13 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 60819 0 0 0 34080 33 0 0 20 0 1 0 159491096 297721856 59560 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 72686 59560 3985 3540 0 60943 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 238240 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 3.76 3.22 5/245 812573
/proc/meminfo: memFree=128245656/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=297904 memory=255740 CPUtime=400.96 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 62093 0 0 0 40063 33 0 0 20 0 1 0 159491096 305053696 63935 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 74476 63935 3985 3540 0 62733 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 297904 KiB
Current children cumulated memory: 255740 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.82 3.28 5/243 812583
/proc/meminfo: memFree=128237088/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=300196 memory=259232 CPUtime=460.8 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 62373 0 0 0 46047 33 0 0 20 0 1 0 159491096 307400704 64808 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 75049 64808 3985 3540 0 63306 0
################
# More data... #
################
/proc/loadavg: 4.30 4.30 4.15 5/241 813682
/proc/meminfo: memFree=127562788/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3154.3 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 133608 0 0 0 315386 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.26 4.15 5/241 813693
/proc/meminfo: memFree=127561140/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3214.16 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 133809 0 0 0 321372 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.26 4.15 5/243 813707
/proc/meminfo: memFree=127559416/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3274.02 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 134098 0 0 0 327358 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.24 4.15 5/243 813717
/proc/meminfo: memFree=127557704/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3333.87 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 134297 0 0 0 333343 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.15 5/243 813728
/proc/meminfo: memFree=127554400/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3393.73 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 134501 0 0 0 339329 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/243 813738
/proc/meminfo: memFree=127553700/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3453.59 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 134699 0 0 0 345315 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/243 813748
/proc/meminfo: memFree=127552544/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=501780 CPUtime=3513.45 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 134901 0 0 0 351301 44 0 0 20 0 1 0 159491096 553926656 125445 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125445 4001 3540 0 123493 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 501780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/242 814280
/proc/meminfo: memFree=128425612/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3573.31 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 357287 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3597.09 s]
# the end of solver process 812319 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.62 s, system=0.454287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.16 4.14 5/242 814280
/proc/meminfo: memFree=128394016/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3575.02 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 357458 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3575.02 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.16 4.13 5/242 814281
/proc/meminfo: memFree=128365448/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3581.39 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 358095 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3581.39 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.13 5/242 814281
/proc/meminfo: memFree=128360452/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3584.59 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 358415 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3584.59 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.15 4.13 5/242 814281
/proc/meminfo: memFree=128352100/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3586.18 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 358574 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.15 4.13 6/242 814281
/proc/meminfo: memFree=128347060/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3586.99 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 358655 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.15 4.13 6/242 814281
/proc/meminfo: memFree=128347060/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3587.78 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135165 0 0 0 358734 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
[startup+3597 s]*
/proc/loadavg: 4.11 4.15 4.13 5/242 814283
/proc/meminfo: memFree=128346956/131655788 swapFree=131071996/131071996
[pid=812319] ppid=812316 vsize=540944 memory=502020 CPUtime=3587.99 cores=5,7
/proc/812319/stat : 812319 (pbscip) R 812316 812319 810237 0 -1 4194304 135182 0 0 0 358755 44 0 0 20 0 1 0 159491096 553926656 125505 134679101440 4194304 18693293 140727541973472 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39284736 140727541978116 140727541978215 140727541978215 140727541985230 0
/proc/812319/statm: 135236 125505 4001 3540 0 123493 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 540944 KiB
Current children cumulated memory: 502020 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3588.08
CPU user time (s): 3587.62
CPU system time (s): 0.454287
CPU usage (%): 99.7495
Max. virtual memory (cumulated for all children) (KiB): 540944
Max. memory (cumulated for all children) (KiB): 502020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.62
system time used= 0.454287
maximum resident set size= 502020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135304
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= 71
involuntary context switches= 1634
# summary of solver processes directly reported to runsolver:
# pid: 812319
# total CPU time (s): 3588.08
# total CPU user time (s): 3587.62
# total CPU system time (s): 0.454287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3103 second user time and 28.4222 second system time
The end
Begin job on nodeC004 at 2024-07-15 21:56:05 IDJOB=4432644 IDBENCH=147523 IDSOLVER=3059 FILE ID=nodeC004/4432644-1721073352 RUNJOBID= nodeC004-1721073296-810250 SLURM_JOB_ID= 7505545 Free space on /tmp= 723728 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432644-1721073352/watcher-4432644-1721073352 -o /tmp/evaluation-result-4432644-1721073352/solver-4432644-1721073352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810250 --watchdog 3760 pbscip -f HOME/instance-4432644-1721073352.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fd68547584ae9b6527d66061061fb773 RANDOM SEED=15641468 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3674.206 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3674.690 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.470 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.410 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3672.844 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.783 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.552 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.313 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128926100 kB MemAvailable: 129517024 kB Buffers: 382200 kB Cached: 1048416 kB SwapCached: 0 kB Active: 643664 kB Inactive: 1556080 kB Active(anon): 3344 kB Inactive(anon): 803520 kB Active(file): 640320 kB Inactive(file): 752560 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 38224 kB Writeback: 16 kB AnonPages: 768732 kB Mapped: 138356 kB Shmem: 37700 kB KReclaimable: 76488 kB Slab: 170964 kB SReclaimable: 76488 kB SUnreclaim: 94476 kB KernelStack: 3920 kB PageTables: 11148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1169992 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51296 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189256 kB DirectMap2M: 14395392 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723708 MiB End job on nodeC004 at 2024-07-15 22:56:02