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 | 55 | 3588.81 | 3597.26 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb |
| MD5SUM | 8deb0b9174477a1f2aeb72dadb0281d2 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 71099.4 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6328 |
| Sum of products size (including duplicates) | 12656 |
| Number of different products | 6328 |
| Sum of products size | 12656 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459816-1721939463.opb>
0.00/0.02 c original problem has 6828 variables (500 bin, 0 int, 6328 impl, 0 cont) and 7328 constraints
0.00/0.02 c problem read in 0.02
0.00/0.04 c presolving:
0.00/0.05 c (round 1, medium) 0 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06 c (round 2, fast) 6328 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06 c (round 3, exhaustive) 6328 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 0 impls, 0 clqs
0.00/0.07 c (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.07 c 6328 deleted vars, 7328 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 0 cliques
0.00/0.07 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.07 c 500 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.03
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.997044
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 o 500
0.00/0.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.07 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 | 500 | 500 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.000000e+02 | Inf | unknown
0.00/0.07 o 58
0.00/0.07 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.800000e+01 | Inf | unknown
0.99/1.07 c 1.1s| 1 | 0 | 10408 | - | 32M | 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 3.683682e+01 | 5.800000e+01 | 57.45%| unknown
1.19/1.27 c 1.3s| 1 | 0 | 10658 | - | 49M | 0 | 500 | 500 | 501 | 1 | 1 | 0 | 0 | 3.686298e+01 | 5.800000e+01 | 57.34%| unknown
1.39/1.43 c 1.4s| 1 | 0 | 10929 | - | 60M | 0 | 500 | 500 | 502 | 2 | 2 | 0 | 0 | 3.690317e+01 | 5.800000e+01 | 57.17%| unknown
1.59/1.60 c 1.6s| 1 | 0 | 11206 | - | 71M | 0 | 500 | 500 | 503 | 3 | 3 | 0 | 0 | 3.692406e+01 | 5.800000e+01 | 57.08%| unknown
1.68/1.76 c 1.8s| 1 | 0 | 11352 | - | 82M | 0 | 500 | 500 | 504 | 4 | 4 | 0 | 0 | 3.693016e+01 | 5.800000e+01 | 57.05%| unknown
1.88/1.92 c 1.9s| 1 | 0 | 11525 | - | 91M | 0 | 500 | 500 | 505 | 5 | 5 | 0 | 0 | 3.693445e+01 | 5.800000e+01 | 57.03%| unknown
1.98/2.08 c 2.1s| 1 | 0 | 11676 | - | 104M | 0 | 500 | 500 | 506 | 6 | 6 | 0 | 0 | 3.693887e+01 | 5.800000e+01 | 57.02%| unknown
2.18/2.24 c 2.2s| 1 | 0 | 11760 | - | 118M | 0 | 500 | 500 | 507 | 7 | 7 | 0 | 0 | 3.694036e+01 | 5.800000e+01 | 57.01%| unknown
2.38/2.41 c 2.4s| 1 | 0 | 11946 | - | 121M | 0 | 500 | 500 | 508 | 8 | 8 | 0 | 0 | 3.694334e+01 | 5.800000e+01 | 57.00%| unknown
2.49/2.59 c 2.6s| 1 | 0 | 12068 | - | 139M | 0 | 500 | 500 | 509 | 9 | 9 | 0 | 0 | 3.694457e+01 | 5.800000e+01 | 56.99%| unknown
2.69/2.78 c 2.8s| 1 | 0 | 12227 | - | 141M | 0 | 500 | 500 | 510 | 10 | 10 | 0 | 0 | 3.694531e+01 | 5.800000e+01 | 56.99%| unknown
2.79/2.89 c 2.9s| 1 | 0 | 12319 | - | 141M | 0 | 500 | 500 | 511 | 11 | 11 | 0 | 0 | 3.694579e+01 | 5.800000e+01 | 56.99%| unknown
2.89/3.00 c 3.0s| 1 | 0 | 12386 | - | 141M | 0 | 500 | 500 | 512 | 12 | 12 | 0 | 0 | 3.694651e+01 | 5.800000e+01 | 56.98%| unknown
3.09/3.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.09/3.12 c 3.1s| 1 | 0 | 12475 | - | 141M | 0 | 500 | 500 | 513 | 13 | 13 | 0 | 0 | 3.694751e+01 | 5.800000e+01 | 56.98%| unknown
3.18/3.24 c 3.2s| 1 | 0 | 12525 | - | 141M | 0 | 500 | 500 | 514 | 14 | 14 | 0 | 0 | 3.694793e+01 | 5.800000e+01 | 56.98%| unknown
3.28/3.36 c 3.4s| 1 | 0 | 12585 | - | 141M | 0 | 500 | 500 | 515 | 15 | 15 | 0 | 0 | 3.694845e+01 | 5.800000e+01 | 56.98%| unknown
3.38/3.49 c 3.5s| 1 | 0 | 12606 | - | 141M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 0 | 3.694856e+01 | 5.800000e+01 | 56.98%| unknown
9.97/10.09 c 10.1s| 1 | 2 | 12606 | - | 141M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 30 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
54.77/54.93 c 54.9s| 100 | 101 |145017 |1337.5 | 224M | 15 | 500 | 502 | 514 | 52 | 1 | 4 | 218 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
109.14/109.48 c 109s| 200 | 201 |588611 |2894.5 | 291M | 15 | 500 | 509 | 518 | 88 | 1 | 17 | 257 | 3.742231e+01 | 5.800000e+01 | 54.99%| unknown
117.73/118.08 o 56
117.73/118.08 c L 118s| 201 | 202 |589354 |2883.7 |crossove| 15 | 500 | 509 | 514 | 88 | 1 | 17 | 257 | 3.755036e+01 | 5.600000e+01 | 49.13%| unknown
145.77/146.16 c 146s| 300 | 301 |757931 |2492.7 | 290M | 16 | 500 | 512 | 518 | 113 | 1 | 24 | 295 | 3.775332e+01 | 5.600000e+01 | 48.33%| unknown
182.09/182.56 c 183s| 400 | 401 |937136 |2317.1 | 290M | 16 | 500 | 512 | 514 | 189 | 1 | 27 | 335 | 3.790303e+01 | 5.600000e+01 | 47.75%| unknown
219.29/219.84 c 220s| 500 | 501 | 1119k|2218.7 | 291M | 19 | 500 | 520 | 514 | 264 | 1 | 35 | 380 | 3.803577e+01 | 5.600000e+01 | 47.23%| unknown
264.40/265.03 c 265s| 600 | 601 | 1373k|2272.8 | 291M | 21 | 500 | 522 | 514 | 364 | 1 | 47 | 429 | 3.805200e+01 | 5.600000e+01 | 47.17%| unknown
298.71/299.40 c 299s| 700 | 701 | 1592k|2260.8 | 291M | 21 | 500 | 525 | 520 | 414 | 1 | 53 | 464 | 3.808923e+01 | 5.600000e+01 | 47.02%| unknown
331.75/332.50 c 333s| 800 | 801 | 1804k|2242.7 | 291M | 21 | 500 | 523 | 518 | 467 | 1 | 57 | 488 | 3.814530e+01 | 5.600000e+01 | 46.81%| unknown
359.78/360.69 c 361s| 900 | 901 | 1961k|2167.8 | 291M | 21 | 500 | 524 | 517 | 534 | 1 | 63 | 506 | 3.817720e+01 | 5.600000e+01 | 46.68%| unknown
385.63/386.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
385.63/386.58 c 387s| 1000 | 1001 | 2124k|2114.1 | 292M | 21 | 500 | 527 | 517 | 577 | 1 | 72 | 518 | 3.822501e+01 | 5.600000e+01 | 46.50%| unknown
398.29/399.23 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
398.29/399.24 c (run 1, node 1049) performing user restart
398.29/399.24 c
398.29/399.24 c (restart) converted 14 cuts from the global cut pool into linear constraints
398.29/399.24 c
398.69/399.64 c presolving:
398.69/399.65 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
398.69/399.65 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
398.69/399.65 c 0 implications, 0 cliques
398.69/399.65 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 541 constraints
398.69/399.65 c 14 constraints of type <linear>
398.69/399.65 c 527 constraints of type <logicor>
398.69/399.65 c transformed objective value is always integral (scale: 1)
398.69/399.65 c Presolving Time: 0.10
398.69/399.69 c transformed 99/100 original solutions to the transformed problem space
398.69/399.69 c
399.79/400.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
399.79/400.75 c 401s| 1 | 0 | 2206k| - | 243M | 0 | 500 | 541 | 514 | 0 | 0 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
400.29/401.20 c 401s| 1 | 0 | 2207k| - | 246M | 0 | 500 | 541 | 515 | 1 | 1 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
400.59/401.52 c 402s| 1 | 0 | 2207k| - | 252M | 0 | 500 | 541 | 516 | 2 | 2 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
400.89/401.86 c 402s| 1 | 0 | 2207k| - | 256M | 0 | 500 | 541 | 517 | 3 | 3 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
401.29/402.21 c 402s| 1 | 0 | 2207k| - | 267M | 0 | 500 | 541 | 518 | 4 | 4 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
401.69/402.62 c 403s| 1 | 0 | 2208k| - | 272M | 0 | 500 | 541 | 519 | 5 | 5 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
401.99/402.92 c 403s| 1 | 0 | 2208k| - | 277M | 0 | 500 | 541 | 520 | 6 | 6 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
402.28/403.22 c 403s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 521 | 7 | 7 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
402.58/403.53 c 404s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 522 | 8 | 8 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
402.88/403.85 c 404s| 1 | 0 | 2209k| - | 272M | 0 | 500 | 541 | 523 | 9 | 9 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.19/404.16 c 404s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 524 | 10 | 10 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.48/404.41 c 404s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 525 | 11 | 11 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.68/404.64 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 526 | 12 | 12 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.88/404.86 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 527 | 13 | 13 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
404.09/405.08 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 528 | 14 | 14 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
404.38/405.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
404.38/405.35 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 524 | 15 | 15 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
408.37/409.35 c 409s| 1 | 2 | 2225k| - | 277M | 0 | 500 | 543 | 524 | 15 | 15 | 74 | 534 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
459.15/460.27 c 460s| 100 | 101 | 2420k|2085.6 | 310M | 18 | 500 | 546 | 516 | 47 | 1 | 77 | 666 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
484.20/485.38 c 485s| 200 | 201 | 2562k|2032.2 | 342M | 18 | 500 | 550 | 520 | 69 | 1 | 81 | 697 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
512.03/513.29 c 513s| 300 | 301 | 2664k|1957.5 | 350M | 19 | 500 | 550 | 516 | 133 | 1 | 81 | 735 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
543.96/545.27 c 545s| 400 | 401 | 2816k|1927.3 | 350M | 21 | 500 | 545 | 521 | 200 | 1 | 85 | 769 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
577.18/578.52 c 579s| 500 | 501 | 2929k|1875.8 | 350M | 21 | 500 | 534 | 516 | 267 | 1 | 88 | 804 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
603.82/605.28 c 605s| 600 | 601 | 3060k|1841.6 | 350M | 21 | 500 | 534 | 519 | 309 | 1 | 92 | 841 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
635.35/636.87 c 637s| 700 | 701 | 3206k|1819.6 | 350M | 22 | 500 | 534 | 522 | 399 | 6 | 95 | 863 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
656.81/658.34 c 658s| 800 | 801 | 3318k|1781.9 | 350M | 22 | 500 | 535 | 519 | 447 | 1 | 99 | 877 | 3.830505e+01 | 5.600000e+01 | 46.19%| unknown
676.77/678.37 c 678s| 900 | 901 | 3413k|1738.9 | 350M | 22 | 500 | 537 | 520 | 492 | 1 | 103 | 897 | 3.838215e+01 | 5.600000e+01 | 45.90%| unknown
701.61/703.26 c 703s| 1000 | 1001 | 3549k|1720.4 | 351M | 22 | 500 | 536 | 520 | 539 | 1 | 105 | 919 | 3.839832e+01 | 5.600000e+01 | 45.84%| unknown
719.27/720.91 c 721s| 1100 | 1101 | 3641k|1683.1 | 351M | 22 | 500 | 536 | 520 | 580 | 1 | 108 | 927 | 3.842981e+01 | 5.600000e+01 | 45.72%| unknown
741.13/742.86 c 743s| 1200 | 1201 | 3751k|1657.1 | 351M | 22 | 500 | 536 | 520 | 644 | 1 | 112 | 935 | 3.845944e+01 | 5.600000e+01 | 45.61%| unknown
762.48/764.29 c 764s| 1300 | 1301 | 3869k|1636.9 | 351M | 22 | 500 | 534 | 519 | 696 | 1 | 117 | 943 | 3.847037e+01 | 5.600000e+01 | 45.57%| unknown
785.83/787.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
785.83/787.68 c 788s| 1400 | 1401 | 3985k|1617.3 | 351M | 22 | 500 | 534 | 520 | 769 | 1 | 121 | 948 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
806.68/808.53 c 809s| 1500 | 1501 | 4107k|1601.8 | 352M | 22 | 500 | 533 | 521 | 816 | 1 | 125 | 957 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
830.14/832.08 c 832s| 1600 | 1601 | 4228k|1587.2 | 352M | 22 | 500 | 536 | 516 | 877 | 1 | 129 | 968 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
855.18/857.18 c 857s| 1700 | 1701 | 4359k|1576.9 | 352M | 22 | 500 | 537 | 520 | 931 | 4 | 134 | 993 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
872.54/874.52 c 875s| 1800 | 1801 | 4438k|1549.4 | 352M | 23 | 500 | 536 | 520 | 959 | 1 | 135 |1020 | 3.855739e+01 | 5.600000e+01 | 45.24%| unknown
892.70/894.79 c 895s| 1900 | 1901 | 4563k|1539.2 | 353M | 23 | 500 | 540 | 522 | 988 | 1 | 140 |1036 | 3.858361e+01 | 5.600000e+01 | 45.14%| unknown
910.06/912.11 c 912s| 2000 | 2001 | 4655k|1518.8 | 353M | 23 | 500 | 538 | 521 |1023 | 1 | 142 |1048 | 3.859546e+01 | 5.600000e+01 | 45.09%| unknown
931.61/933.75 c 934s| 2100 | 2101 | 4761k|1504.3 | 354M | 24 | 500 | 541 | 520 |1067 | 1 | 147 |1072 | 3.859810e+01 | 5.600000e+01 | 45.08%| unknown
959.05/961.26 c 961s| 2200 | 2201 | 4892k|1498.4 | 354M | 25 | 500 | 541 | 521 |1109 | 1 | 150 |1084 | 3.861649e+01 | 5.600000e+01 | 45.02%| unknown
979.31/981.58 c 982s| 2300 | 2301 | 5004k|1487.0 | 354M | 25 | 500 | 542 | 521 |1165 | 1 | 153 |1091 | 3.861936e+01 | 5.600000e+01 | 45.00%| unknown
998.57/1000.88 c 1001s| 2400 | 2401 | 5121k|1477.8 | 354M | 25 | 500 | 539 | 522 |1195 | 1 | 157 |1101 | 3.862581e+01 | 5.600000e+01 | 44.98%| unknown
1015.93/1018.21 c 1018s| 2500 | 2501 | 5233k|1467.8 | 354M | 25 | 500 | 537 | 519 |1225 | 1 | 160 |1105 | 3.863008e+01 | 5.600000e+01 | 44.96%| unknown
1031.59/1033.99 c 1034s| 2600 | 2601 | 5335k|1455.6 | 354M | 25 | 500 | 538 | 521 |1247 | 1 | 165 |1108 | 3.863132e+01 | 5.600000e+01 | 44.96%| unknown
1052.95/1055.30 c 1055s| 2700 | 2701 | 5468k|1452.1 | 354M | 25 | 500 | 535 | 522 |1297 | 1 | 168 |1111 | 3.866312e+01 | 5.600000e+01 | 44.84%| unknown
1072.71/1075.15 c 1075s| 2800 | 2801 | 5566k|1440.0 | 354M | 25 | 500 | 538 | 520 |1358 | 1 | 173 |1118 | 3.868524e+01 | 5.600000e+01 | 44.76%| unknown
1096.66/1099.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1096.66/1099.19 c 1099s| 2900 | 2901 | 5697k|1436.6 | 355M | 25 | 500 | 537 | 522 |1424 | 1 | 174 |1126 | 3.870547e+01 | 5.600000e+01 | 44.68%| unknown
1114.62/1117.14 c 1117s| 3000 | 3001 | 5796k|1425.5 | 357M | 25 | 500 | 536 | 521 |1471 | 1 | 177 |1129 | 3.871976e+01 | 5.600000e+01 | 44.63%| unknown
1138.86/1141.40 c 1141s| 3100 | 3101 | 5889k|1413.7 | 357M | 25 | 500 | 538 | 522 |1505 | 1 | 181 |1153 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1156.42/1159.09 c 1159s| 3200 | 3201 | 5997k|1405.7 | 357M | 25 | 500 | 538 | 519 |1535 | 1 | 184 |1166 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1175.48/1178.15 c 1178s| 3300 | 3301 | 6114k|1400.2 | 357M | 25 | 500 | 537 | 520 |1564 | 1 | 191 |1177 | 3.873099e+01 | 5.600000e+01 | 44.59%| unknown
1199.03/1201.70 c 1202s| 3400 | 3401 | 6243k|1397.8 | 357M | 25 | 500 | 540 | 522 |1617 | 1 | 195 |1190 | 3.873883e+01 | 5.600000e+01 | 44.56%| unknown
1212.90/1215.69 c 1216s| 3500 | 3501 | 6334k|1387.2 | 357M | 25 | 500 | 542 | 521 |1633 | 1 | 199 |1197 | 3.875995e+01 | 5.600000e+01 | 44.48%| unknown
1230.36/1233.11 c 1233s| 3600 | 3601 | 6440k|1380.1 | 357M | 25 | 500 | 540 | 520 |1664 | 1 | 201 |1204 | 3.876791e+01 | 5.600000e+01 | 44.45%| unknown
1250.32/1253.17 c 1253s| 3700 | 3701 | 6541k|1372.3 | 357M | 25 | 500 | 538 | 522 |1698 | 1 | 204 |1210 | 3.878480e+01 | 5.600000e+01 | 44.39%| unknown
1266.39/1269.23 c 1269s| 3800 | 3801 | 6631k|1362.6 | 359M | 25 | 500 | 541 | 520 |1739 | 1 | 209 |1214 | 3.878998e+01 | 5.600000e+01 | 44.37%| unknown
1286.05/1288.93 c 1289s| 3900 | 3901 | 6746k|1358.2 | 360M | 26 | 500 | 539 | 521 |1783 | 1 | 215 |1219 | 3.880143e+01 | 5.600000e+01 | 44.32%| unknown
1301.61/1304.51 c 1305s| 4000 | 4001 | 6843k|1350.6 | 360M | 26 | 500 | 539 | 520 |1812 | 1 | 217 |1224 | 3.881410e+01 | 5.600000e+01 | 44.28%| unknown
1319.97/1322.98 c 1323s| 4100 | 4101 | 6952k|1345.5 | 361M | 26 | 500 | 536 | 521 |1852 | 1 | 220 |1228 | 3.882921e+01 | 5.600000e+01 | 44.22%| unknown
1337.52/1340.59 c 1341s| 4200 | 4201 | 7060k|1340.4 | 361M | 26 | 500 | 537 | 522 |1889 | 1 | 223 |1234 | 3.883684e+01 | 5.600000e+01 | 44.19%| unknown
1358.46/1361.58 c 1362s| 4300 | 4301 | 7185k|1338.8 | 363M | 26 | 500 | 538 | 521 |1943 | 1 | 227 |1238 | 3.885157e+01 | 5.600000e+01 | 44.14%| unknown
1374.22/1377.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1374.22/1377.37 c 1377s| 4400 | 4401 | 7276k|1330.9 | 363M | 26 | 500 | 540 | 521 |1960 | 5 | 230 |1251 | 3.885608e+01 | 5.600000e+01 | 44.12%| unknown
1397.46/1400.60 c 1401s| 4500 | 4501 | 7406k|1330.3 | 364M | 26 | 500 | 538 | 519 |2007 | 1 | 236 |1267 | 3.885688e+01 | 5.600000e+01 | 44.12%| unknown
1409.62/1412.82 c 1413s| 4600 | 4601 | 7475k|1319.1 | 364M | 26 | 500 | 535 | 520 |2023 | 1 | 237 |1273 | 3.886081e+01 | 5.600000e+01 | 44.10%| unknown
1428.57/1431.80 c 1432s| 4700 | 4701 | 7595k|1316.9 | 364M | 26 | 500 | 537 | 522 |2054 | 1 | 241 |1286 | 3.887073e+01 | 5.600000e+01 | 44.07%| unknown
1451.01/1454.39 c 1454s| 4800 | 4801 | 7718k|1315.4 | 365M | 26 | 500 | 537 | 520 |2106 | 1 | 246 |1300 | 3.888380e+01 | 5.600000e+01 | 44.02%| unknown
1465.07/1468.46 c 1468s| 4900 | 4901 | 7804k|1307.9 | 365M | 26 | 500 | 536 | 521 |2138 | 1 | 248 |1303 | 3.888903e+01 | 5.600000e+01 | 44.00%| unknown
1481.53/1484.95 c 1485s| 5000 | 5001 | 7911k|1303.9 | 365M | 26 | 500 | 536 | 520 |2150 | 1 | 251 |1306 | 3.889616e+01 | 5.600000e+01 | 43.97%| unknown
1494.60/1498.04 c 1498s| 5100 | 5101 | 8000k|1297.2 | 365M | 26 | 500 | 537 | 519 |2161 | 1 | 256 |1309 | 3.889689e+01 | 5.600000e+01 | 43.97%| unknown
1509.55/1513.07 c 1513s| 5200 | 5201 | 8086k|1290.2 | 365M | 26 | 500 | 537 | 520 |2192 | 1 | 259 |1314 | 3.890312e+01 | 5.600000e+01 | 43.95%| unknown
1528.70/1532.26 c 1532s| 5300 | 5301 | 8207k|1288.8 | 366M | 26 | 500 | 539 | 520 |2226 | 1 | 263 |1322 | 3.890662e+01 | 5.600000e+01 | 43.93%| unknown
1542.36/1545.99 c 1546s| 5400 | 5401 | 8281k|1280.4 | 366M | 26 | 500 | 543 | 519 |2253 | 1 | 267 |1330 | 3.891821e+01 | 5.600000e+01 | 43.89%| unknown
1555.72/1559.38 c 1559s| 5500 | 5501 | 8373k|1274.8 | 366M | 26 | 500 | 540 | 522 |2266 | 1 | 270 |1335 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1569.29/1572.94 c 1573s| 5600 | 5601 | 8463k|1269.1 | 366M | 28 | 500 | 543 | 521 |2283 | 1 | 276 |1340 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1583.55/1587.25 c 1587s| 5700 | 5701 | 8554k|1263.9 | 366M | 28 | 500 | 538 | 522 |2312 | 1 | 278 |1343 | 3.893114e+01 | 5.600000e+01 | 43.84%| unknown
1594.72/1598.49 c 1598s| 5800 | 5801 | 8630k|1256.5 | 366M | 28 | 500 | 540 | 516 |2322 | 1 | 282 |1346 | 3.893221e+01 | 5.600000e+01 | 43.84%| unknown
1613.47/1617.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1613.47/1617.20 c 1617s| 5900 | 5901 | 8751k|1255.8 | 368M | 28 | 500 | 540 | 522 |2354 | 1 | 285 |1350 | 3.893751e+01 | 5.600000e+01 | 43.82%| unknown
1627.54/1631.38 c 1631s| 6000 | 6001 | 8838k|1250.4 | 368M | 28 | 500 | 544 | 521 |2381 | 1 | 289 |1357 | 3.894099e+01 | 5.600000e+01 | 43.81%| unknown
1642.22/1646.06 c 1646s| 6100 | 6101 | 8952k|1248.8 | 368M | 28 | 500 | 542 | 521 |2386 | 1 | 293 |1361 | 3.895317e+01 | 5.600000e+01 | 43.76%| unknown
1655.78/1659.69 c 1660s| 6200 | 6201 | 9039k|1243.6 | 368M | 28 | 500 | 542 | 521 |2407 | 5 | 297 |1366 | 3.895846e+01 | 5.600000e+01 | 43.74%| unknown
1670.16/1674.04 c 1674s| 6300 | 6301 | 9124k|1238.2 | 369M | 28 | 500 | 542 | 521 |2438 | 1 | 300 |1370 | 3.896248e+01 | 5.600000e+01 | 43.73%| unknown
1685.72/1689.60 c 1690s| 6400 | 6401 | 9223k|1235.0 | 369M | 28 | 500 | 541 | 522 |2460 | 1 | 304 |1377 | 3.897423e+01 | 5.600000e+01 | 43.68%| unknown
1699.50/1703.45 c 1703s| 6500 | 6501 | 9321k|1231.5 | 369M | 28 | 500 | 538 | 520 |2478 | 1 | 306 |1380 | 3.897524e+01 | 5.600000e+01 | 43.68%| unknown
1710.27/1714.29 c 1714s| 6600 | 6601 | 9388k|1224.3 | 369M | 28 | 500 | 537 | 521 |2496 | 1 | 307 |1382 | 3.897676e+01 | 5.600000e+01 | 43.68%| unknown
1727.44/1731.40 c 1731s| 6700 | 6701 | 9488k|1221.3 | 369M | 28 | 500 | 537 | 522 |2530 | 1 | 311 |1392 | 3.898345e+01 | 5.600000e+01 | 43.65%| unknown
1744.11/1748.16 c 1748s| 6800 | 6801 | 9589k|1218.6 | 370M | 28 | 500 | 536 | 520 |2566 | 1 | 314 |1401 | 3.899517e+01 | 5.600000e+01 | 43.61%| unknown
1755.88/1759.96 c 1760s| 6900 | 6901 | 9668k|1213.2 | 370M | 28 | 500 | 535 | 522 |2576 | 1 | 315 |1406 | 3.900241e+01 | 5.600000e+01 | 43.58%| unknown
1767.86/1771.99 c 1772s| 7000 | 7001 | 9751k|1208.5 | 370M | 28 | 500 | 535 | 522 |2582 | 1 | 321 |1414 | 3.900378e+01 | 5.600000e+01 | 43.58%| unknown
1782.83/1786.92 c 1787s| 7100 | 7101 | 9851k|1205.9 | 385M | 28 | 500 | 532 | 519 |2605 | 1 | 324 |1417 | 3.900721e+01 | 5.600000e+01 | 43.56%| unknown
1797.80/1801.91 c 1802s| 7200 | 7201 | 9946k|1202.8 | 385M | 28 | 500 | 535 | 522 |2628 | 1 | 329 |1424 | 3.900989e+01 | 5.600000e+01 | 43.55%| unknown
1807.88/1812.09 c 1812s| 7300 | 7301 | 10018k|1197.0 | 385M | 28 | 500 | 536 | 519 |2628 | 1 | 330 |1429 | 3.901264e+01 | 5.600000e+01 | 43.54%| unknown
1823.04/1827.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1823.04/1827.26 c 1827s| 7400 | 7401 | 10124k|1195.4 | 386M | 28 | 500 | 539 | 521 |2638 | 1 | 336 |1433 | 3.901599e+01 | 5.600000e+01 | 43.53%| unknown
1837.92/1842.12 c 1842s| 7500 | 7501 | 10216k|1192.1 | 386M | 28 | 500 | 538 | 522 |2660 | 1 | 338 |1443 | 3.901642e+01 | 5.600000e+01 | 43.53%| unknown
1849.49/1853.77 c 1854s| 7600 | 7601 | 10285k|1186.3 | 386M | 28 | 500 | 537 | 520 |2681 | 1 | 341 |1447 | 3.903621e+01 | 5.600000e+01 | 43.46%| unknown
1865.26/1869.58 c 1870s| 7700 | 7701 | 10394k|1185.3 | 386M | 28 | 500 | 541 | 520 |2714 | 1 | 346 |1448 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1877.63/1881.95 c 1882s| 7800 | 7801 | 10488k|1182.5 | 386M | 28 | 500 | 538 | 520 |2714 | 1 | 349 |1452 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1891.91/1896.27 c 1896s| 7900 | 7901 | 10576k|1179.1 | 433M | 28 | 500 | 538 | 522 |2747 | 1 | 354 |1452 | 3.904647e+01 | 5.600000e+01 | 43.42%| unknown
1907.57/1911.96 c 1912s| 8000 | 8001 | 10681k|1177.7 | 436M | 28 | 500 | 540 | 521 |2780 | 1 | 361 |1453 | 3.905220e+01 | 5.600000e+01 | 43.40%| unknown
1923.54/1927.97 c 1928s| 8100 | 8101 | 10789k|1176.7 | 438M | 28 | 500 | 540 | 520 |2797 | 1 | 363 |1455 | 3.906039e+01 | 5.600000e+01 | 43.37%| unknown
1935.01/1939.41 c 1939s| 8200 | 8201 | 10861k|1171.7 | 438M | 28 | 500 | 543 | 521 |2802 | 1 | 367 |1466 | 3.906418e+01 | 5.600000e+01 | 43.35%| unknown
1951.18/1955.60 c 1956s| 8300 | 8301 | 10970k|1170.8 | 438M | 28 | 500 | 543 | 521 |2823 | 1 | 368 |1477 | 3.907252e+01 | 5.600000e+01 | 43.32%| unknown
1966.95/1971.43 c 1971s| 8400 | 8401 | 11062k|1168.1 | 438M | 28 | 500 | 545 | 520 |2859 | 1 | 372 |1486 | 3.907296e+01 | 5.600000e+01 | 43.32%| unknown
1978.92/1983.47 c 1983s| 8500 | 8501 | 11144k|1164.5 | 438M | 28 | 500 | 542 | 521 |2872 | 1 | 372 |1492 | 3.907992e+01 | 5.600000e+01 | 43.30%| unknown
1993.79/1998.35 c 1998s| 8600 | 8601 | 11237k|1162.0 | 438M | 28 | 500 | 537 | 520 |2894 | 1 | 376 |1500 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2007.96/2012.58 c 2013s| 8700 | 8701 | 11335k|1160.2 | 438M | 28 | 500 | 532 | 522 |2911 | 1 | 378 |1507 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2018.94/2023.55 c 2024s| 8800 | 8801 | 11404k|1155.4 | 439M | 28 | 500 | 531 | 521 |2925 | 1 | 378 |1512 | 3.908593e+01 | 5.600000e+01 | 43.27%| unknown
2033.42/2038.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2033.42/2038.06 c 2038s| 8900 | 8901 | 11507k|1154.2 | 440M | 28 | 500 | 536 | 520 |2937 | 1 | 387 |1519 | 3.909444e+01 | 5.600000e+01 | 43.24%| unknown
2048.08/2052.79 c 2053s| 9000 | 9001 | 11604k|1152.3 | 440M | 28 | 500 | 535 | 521 |2965 | 1 | 389 |1521 | 3.909522e+01 | 5.600000e+01 | 43.24%| unknown
2060.06/2064.70 c 2065s| 9100 | 9101 | 11682k|1148.7 | 440M | 28 | 500 | 538 | 521 |2980 | 1 | 392 |1523 | 3.909645e+01 | 5.600000e+01 | 43.24%| unknown
2076.32/2081.04 c 2081s| 9200 | 9201 | 11787k|1147.7 | 441M | 28 | 500 | 542 | 520 |3013 | 1 | 398 |1525 | 3.909657e+01 | 5.600000e+01 | 43.24%| unknown
2089.78/2094.56 c 2095s| 9300 | 9301 | 11875k|1145.1 | 441M | 28 | 500 | 542 | 520 |3035 | 1 | 401 |1529 | 3.909844e+01 | 5.600000e+01 | 43.23%| unknown
2103.35/2108.13 c 2108s| 9400 | 9401 | 11968k|1143.1 | 442M | 28 | 500 | 545 | 520 |3052 | 1 | 405 |1533 | 3.910398e+01 | 5.600000e+01 | 43.21%| unknown
2116.41/2121.26 c 2121s| 9500 | 9501 | 12047k|1139.7 | 442M | 28 | 500 | 545 | 520 |3075 | 1 | 406 |1535 | 3.910941e+01 | 5.600000e+01 | 43.19%| unknown
2126.48/2131.32 c 2131s| 9600 | 9601 | 12116k|1135.5 | 442M | 28 | 500 | 548 | 520 |3080 | 1 | 410 |1538 | 3.911103e+01 | 5.600000e+01 | 43.18%| unknown
2142.25/2147.13 c 2147s| 9700 | 9701 | 12238k|1136.3 | 442M | 28 | 500 | 546 | 520 |3092 | 1 | 414 |1542 | 3.911599e+01 | 5.600000e+01 | 43.16%| unknown
2157.00/2161.94 c 2162s| 9800 | 9801 | 12326k|1133.9 | 442M | 28 | 500 | 548 | 522 |3124 | 1 | 420 |1547 | 3.911728e+01 | 5.600000e+01 | 43.16%| unknown
2172.46/2177.42 c 2177s| 9900 | 9901 | 12413k|1131.5 | 446M | 28 | 500 | 549 | 521 |3169 | 1 | 425 |1549 | 3.912063e+01 | 5.600000e+01 | 43.15%| unknown
2189.01/2194.02 c 2194s| 10000 | 10001 | 12523k|1131.2 | 447M | 28 | 500 | 545 | 521 |3189 | 1 | 429 |1558 | 3.912208e+01 | 5.600000e+01 | 43.14%| unknown
2202.57/2207.68 c 2208s| 10100 | 10101 | 12600k|1128.0 | 448M | 28 | 500 | 545 | 521 |3206 | 1 | 430 |1569 | 3.912592e+01 | 5.600000e+01 | 43.13%| unknown
2215.34/2220.40 c 2220s| 10200 | 10201 | 12691k|1126.0 | 448M | 28 | 500 | 543 | 520 |3213 | 1 | 433 |1575 | 3.912776e+01 | 5.600000e+01 | 43.12%| unknown
2229.40/2234.57 c 2235s| 10300 | 10301 | 12782k|1124.1 | 448M | 28 | 500 | 542 | 520 |3230 | 1 | 438 |1583 | 3.913087e+01 | 5.600000e+01 | 43.11%| unknown
2244.16/2249.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2244.16/2249.38 c 2249s| 10400 | 10401 | 12879k|1122.8 | 448M | 28 | 500 | 543 | 522 |3253 | 6 | 441 |1588 | 3.913232e+01 | 5.600000e+01 | 43.10%| unknown
2257.52/2262.77 c 2263s| 10500 | 10501 | 12968k|1120.8 | 448M | 28 | 500 | 544 | 520 |3269 | 1 | 446 |1593 | 3.913505e+01 | 5.600000e+01 | 43.09%| unknown
2269.98/2275.24 c 2275s| 10600 | 10601 | 13043k|1117.6 | 448M | 28 | 500 | 543 | 521 |3285 | 1 | 449 |1600 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2286.04/2291.39 c 2291s| 10700 | 10701 | 13159k|1117.9 | 448M | 28 | 500 | 542 | 522 |3309 | 1 | 452 |1608 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2297.91/2303.21 c 2303s| 10800 | 10801 | 13244k|1115.7 | 448M | 28 | 500 | 542 | 521 |3315 | 1 | 457 |1612 | 3.913644e+01 | 5.600000e+01 | 43.09%| unknown
2306.58/2311.97 c 2312s| 10900 | 10901 | 13302k|1111.2 | 448M | 28 | 500 | 541 | 520 |3316 | 1 | 459 |1616 | 3.914115e+01 | 5.600000e+01 | 43.07%| unknown
2318.75/2324.11 c 2324s| 11000 | 11001 | 13391k|1109.4 | 448M | 28 | 500 | 539 | 521 |3328 | 1 | 462 |1619 | 3.914307e+01 | 5.600000e+01 | 43.06%| unknown
2333.51/2338.90 c 2339s| 11100 | 11101 | 13500k|1109.2 | 448M | 28 | 500 | 540 | 519 |3344 | 1 | 467 |1622 | 3.914437e+01 | 5.600000e+01 | 43.06%| unknown
2344.28/2349.79 c 2350s| 11200 | 11201 | 13574k|1106.2 | 448M | 28 | 500 | 540 | 521 |3350 | 1 | 468 |1625 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2355.25/2360.77 c 2361s| 11300 | 11301 | 13641k|1102.7 | 448M | 28 | 500 | 538 | 520 |3371 | 1 | 470 |1629 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2366.92/2372.45 c 2372s| 11400 | 11401 | 13735k|1101.4 | 448M | 28 | 500 | 541 | 521 |3377 | 1 | 474 |1631 | 3.914776e+01 | 5.600000e+01 | 43.05%| unknown
2378.39/2383.94 c 2384s| 11500 | 11501 | 13825k|1099.7 | 448M | 28 | 500 | 545 | 522 |3383 | 1 | 480 |1631 | 3.915307e+01 | 5.600000e+01 | 43.03%| unknown
2388.26/2393.85 c 2394s| 11600 | 11601 | 13891k|1096.3 | 448M | 28 | 500 | 543 | 521 |3393 | 1 | 482 |1633 | 3.916147e+01 | 5.600000e+01 | 43.00%| unknown
2399.43/2405.10 c 2405s| 11700 | 11701 | 13973k|1094.1 | 449M | 28 | 500 | 544 | 520 |3406 | 1 | 485 |1634 | 3.916443e+01 | 5.600000e+01 | 42.99%| unknown
2412.29/2417.98 c 2418s| 11800 | 11801 | 14061k|1092.5 | 449M | 28 | 500 | 542 | 521 |3421 | 1 | 487 |1636 | 3.916981e+01 | 5.600000e+01 | 42.97%| unknown
2422.76/2428.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2422.76/2428.40 c 2428s| 11900 | 11901 | 14144k|1090.4 | 449M | 28 | 500 | 544 | 520 |3422 | 1 | 490 |1638 | 3.917431e+01 | 5.600000e+01 | 42.95%| unknown
2437.02/2442.78 c 2443s| 12000 | 12001 | 14241k|1089.5 | 449M | 28 | 500 | 546 | 521 |3446 | 1 | 493 |1644 | 3.917569e+01 | 5.600000e+01 | 42.95%| unknown
2453.48/2459.29 c 2459s| 12100 | 12101 | 14356k|1090.0 | 449M | 28 | 500 | 545 | 521 |3450 | 1 | 499 |1652 | 3.917948e+01 | 5.600000e+01 | 42.93%| unknown
2463.35/2469.11 c 2469s| 12200 | 12201 | 14419k|1086.5 | 449M | 28 | 500 | 544 | 521 |3456 | 1 | 501 |1658 | 3.918455e+01 | 5.600000e+01 | 42.91%| unknown
2475.72/2481.57 c 2482s| 12300 | 12301 | 14518k|1085.8 | 449M | 28 | 500 | 542 | 521 |3457 | 1 | 505 |1665 | 3.918563e+01 | 5.600000e+01 | 42.91%| unknown
2487.29/2493.14 c 2493s| 12400 | 12401 | 14600k|1083.8 | 449M | 28 | 500 | 541 | 522 |3463 | 6 | 506 |1672 | 3.919032e+01 | 5.600000e+01 | 42.89%| unknown
2500.25/2506.17 c 2506s| 12500 | 12501 | 14692k|1082.6 | 449M | 29 | 500 | 539 | 521 |3469 | 1 | 509 |1680 | 3.919415e+01 | 5.600000e+01 | 42.88%| unknown
2512.91/2518.80 c 2519s| 12600 | 12601 | 14789k|1081.7 | 449M | 29 | 500 | 541 | 521 |3481 | 1 | 513 |1684 | 3.919561e+01 | 5.600000e+01 | 42.87%| unknown
2523.99/2529.94 c 2530s| 12700 | 12701 | 14862k|1079.2 | 449M | 29 | 500 | 540 | 519 |3494 | 1 | 514 |1690 | 3.919997e+01 | 5.600000e+01 | 42.86%| unknown
2538.07/2544.08 c 2544s| 12800 | 12801 | 14958k|1078.4 | 449M | 29 | 500 | 541 | 520 |3518 | 1 | 518 |1691 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2547.94/2553.95 c 2554s| 12900 | 12901 | 15034k|1076.0 | 449M | 29 | 500 | 541 | 521 |3525 | 1 | 521 |1693 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2556.92/2562.91 c 2563s| 13000 | 13001 | 15101k|1073.2 | 449M | 29 | 500 | 542 | 522 |3525 | 1 | 524 |1698 | 3.920374e+01 | 5.600000e+01 | 42.84%| unknown
2568.60/2574.66 c 2575s| 13100 | 13101 | 15183k|1071.4 | 450M | 29 | 500 | 539 | 519 |3536 | 1 | 525 |1703 | 3.920593e+01 | 5.600000e+01 | 42.84%| unknown
2581.17/2587.22 c 2587s| 13200 | 13201 | 15285k|1071.0 | 450M | 29 | 500 | 539 | 520 |3540 | 1 | 528 |1706 | 3.920626e+01 | 5.600000e+01 | 42.83%| unknown
2591.85/2597.99 c 2598s| 13300 | 13301 | 15360k|1068.8 | 450M | 29 | 500 | 539 | 520 |3544 | 1 | 531 |1707 | 3.920923e+01 | 5.600000e+01 | 42.82%| unknown
2603.13/2609.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2603.13/2609.23 c 2609s| 13400 | 13401 | 15449k|1067.5 | 450M | 29 | 500 | 542 | 520 |3550 | 1 | 537 |1709 | 3.920955e+01 | 5.600000e+01 | 42.82%| unknown
2614.80/2620.93 c 2621s| 13500 | 13501 | 15539k|1066.4 | 450M | 29 | 500 | 541 | 522 |3550 | 1 | 540 |1713 | 3.921031e+01 | 5.600000e+01 | 42.82%| unknown
2626.28/2632.44 c 2632s| 13600 | 13601 | 15624k|1064.9 | 450M | 29 | 500 | 541 | 522 |3560 | 1 | 544 |1716 | 3.921130e+01 | 5.600000e+01 | 42.82%| unknown
2637.36/2643.52 c 2644s| 13700 | 13701 | 15707k|1063.3 | 450M | 29 | 500 | 541 | 521 |3569 | 1 | 548 |1718 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2649.53/2655.71 c 2656s| 13800 | 13801 | 15801k|1062.5 | 450M | 29 | 500 | 543 | 520 |3581 | 1 | 551 |1722 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2661.11/2667.35 c 2667s| 13900 | 13901 | 15879k|1060.6 | 450M | 29 | 500 | 547 | 521 |3599 | 1 | 556 |1725 | 3.921331e+01 | 5.600000e+01 | 42.81%| unknown
2671.79/2678.01 c 2678s| 14000 | 14001 | 15952k|1058.4 | 450M | 29 | 500 | 547 | 520 |3606 | 1 | 558 |1732 | 3.921376e+01 | 5.600000e+01 | 42.81%| unknown
2682.57/2688.85 c 2689s| 14100 | 14101 | 16025k|1056.2 | 450M | 29 | 500 | 545 | 520 |3606 | 1 | 561 |1740 | 3.921416e+01 | 5.600000e+01 | 42.81%| unknown
2683.16/2689.43 o 55
2683.16/2689.43 c L2689s| 14102 | 14103 | 16026k|1056.1 |crossove| 30 | 500 | 545 | 520 |3606 | 1 | 561 |1741 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2696.64/2702.91 c 2703s| 14200 | 14201 | 16130k|1056.2 | 450M | 33 | 500 | 548 | 521 |3619 | 1 | 567 |1743 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2706.12/2712.45 c 2712s| 14300 | 14301 | 16206k|1054.3 | 450M | 33 | 500 | 550 | 519 |3619 | 1 | 572 |1745 | 3.921666e+01 | 5.500000e+01 | 40.25%| unknown
2722.48/2728.88 c 2729s| 14400 | 14401 | 16289k|1052.8 | 450M | 33 | 500 | 550 | 520 |3619 | 1 | 574 |1748 | 3.921691e+01 | 5.500000e+01 | 40.25%| unknown
2733.06/2739.48 c 2739s| 14500 | 14501 | 16368k|1051.1 | 450M | 33 | 500 | 548 | 520 |3623 | 1 | 575 |1752 | 3.922047e+01 | 5.500000e+01 | 40.23%| unknown
2744.04/2750.49 c 2750s| 14600 | 14601 | 16453k|1049.8 | 450M | 33 | 500 | 549 | 522 |3630 | 1 | 580 |1754 | 3.922583e+01 | 5.500000e+01 | 40.21%| unknown
2754.73/2761.16 c 2761s| 14700 | 14701 | 16515k|1047.1 | 450M | 33 | 500 | 550 | 520 |3650 | 1 | 583 |1761 | 3.923159e+01 | 5.500000e+01 | 40.19%| unknown
2765.20/2771.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2765.20/2771.63 c 2772s| 14800 | 14801 | 16598k|1045.7 | 451M | 33 | 500 | 553 | 521 |3650 | 1 | 592 |1765 | 3.923174e+01 | 5.500000e+01 | 40.19%| unknown
2775.88/2782.35 c 2782s| 14900 | 14901 | 16675k|1044.0 | 451M | 33 | 500 | 552 | 521 |3651 | 1 | 594 |1773 | 3.923699e+01 | 5.500000e+01 | 40.17%| unknown
2786.46/2792.99 c 2793s| 15000 | 15001 | 16753k|1042.4 | 451M | 33 | 500 | 553 | 520 |3654 | 1 | 598 |1780 | 3.923972e+01 | 5.500000e+01 | 40.16%| unknown
2800.43/2806.95 c 2807s| 15100 | 15101 | 16853k|1042.1 | 451M | 33 | 500 | 552 | 521 |3655 | 1 | 602 |1793 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2810.01/2816.56 c 2817s| 15200 | 15201 | 16926k|1040.2 | 451M | 33 | 500 | 553 | 521 |3655 | 1 | 605 |1795 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2819.39/2825.98 c 2826s| 15300 | 15301 | 16997k|1038.2 | 451M | 33 | 500 | 553 | 521 |3655 | 1 | 607 |1800 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2829.17/2835.72 c 2836s| 15400 | 15401 | 17065k|1036.0 | 451M | 33 | 500 | 554 | 520 |3659 | 1 | 611 |1809 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2840.56/2847.17 c 2847s| 15500 | 15501 | 17147k|1034.7 | 451M | 33 | 500 | 554 | 522 |3670 | 1 | 616 |1812 | 3.924999e+01 | 5.500000e+01 | 40.13%| unknown
2851.83/2858.43 c 2858s| 15600 | 15601 | 17231k|1033.5 | 451M | 33 | 500 | 554 | 520 |3680 | 1 | 620 |1815 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2861.21/2867.88 c 2868s| 15700 | 15701 | 17296k|1031.2 | 451M | 33 | 500 | 552 | 521 |3686 | 1 | 622 |1819 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2871.89/2878.56 c 2879s| 15800 | 15801 | 17376k|1029.8 | 451M | 33 | 500 | 550 | 522 |3690 | 1 | 623 |1821 | 3.925149e+01 | 5.500000e+01 | 40.12%| unknown
2883.16/2889.83 c 2890s| 15900 | 15901 | 17460k|1028.7 | 452M | 33 | 500 | 552 | 521 |3700 | 1 | 629 |1824 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2891.05/2897.77 c 2898s| 16000 | 16001 | 17522k|1026.3 | 452M | 33 | 500 | 554 | 521 |3700 | 1 | 634 |1828 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2901.33/2908.10 c 2908s| 16100 | 16101 | 17588k|1024.2 | 452M | 33 | 500 | 555 | 520 |3704 | 1 | 636 |1839 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2912.60/2919.35 c 2919s| 16200 | 16201 | 17676k|1023.4 | 452M | 33 | 500 | 551 | 520 |3704 | 1 | 639 |1843 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2922.08/2928.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2922.08/2928.86 c 2929s| 16300 | 16301 | 17751k|1021.7 | 452M | 33 | 500 | 552 | 519 |3704 | 1 | 642 |1847 | 3.925385e+01 | 5.500000e+01 | 40.11%| unknown
2931.57/2938.34 c 2938s| 16400 | 16401 | 17826k|1020.2 | 452M | 33 | 500 | 554 | 521 |3704 | 1 | 644 |1850 | 3.925505e+01 | 5.500000e+01 | 40.11%| unknown
2943.44/2950.25 c 2950s| 16500 | 16501 | 17916k|1019.5 | 452M | 33 | 500 | 557 | 520 |3709 | 1 | 653 |1857 | 3.925749e+01 | 5.500000e+01 | 40.10%| unknown
2953.32/2960.20 c 2960s| 16600 | 16601 | 17989k|1017.9 | 452M | 33 | 500 | 556 | 520 |3709 | 1 | 657 |1863 | 3.925808e+01 | 5.500000e+01 | 40.10%| unknown
2961.60/2968.45 c 2968s| 16700 | 16701 | 18051k|1015.6 | 452M | 33 | 500 | 556 | 521 |3709 | 1 | 658 |1866 | 3.926153e+01 | 5.500000e+01 | 40.09%| unknown
2973.88/2980.70 c 2981s| 16800 | 16801 | 18150k|1015.5 | 452M | 33 | 500 | 557 | 520 |3709 | 1 | 663 |1870 | 3.926176e+01 | 5.500000e+01 | 40.09%| unknown
2983.76/2990.61 c 2991s| 16900 | 16901 | 18223k|1013.9 | 452M | 33 | 500 | 556 | 521 |3709 | 1 | 665 |1872 | 3.926202e+01 | 5.500000e+01 | 40.08%| unknown
2994.44/3001.33 c 3001s| 17000 | 17001 | 18310k|1013.1 | 452M | 33 | 500 | 553 | 521 |3709 | 1 | 669 |1875 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3004.71/3011.63 c 3012s| 17100 | 17101 | 18387k|1011.8 | 452M | 33 | 500 | 555 | 521 |3714 | 1 | 674 |1878 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3014.99/3021.90 c 3022s| 17200 | 17201 | 18468k|1010.7 | 452M | 33 | 500 | 555 | 520 |3714 | 1 | 676 |1880 | 3.926430e+01 | 5.500000e+01 | 40.08%| unknown
3027.95/3034.91 c 3035s| 17300 | 17301 | 18535k|1008.8 | 452M | 33 | 500 | 554 | 521 |3720 | 1 | 679 |1882 | 3.926931e+01 | 5.500000e+01 | 40.06%| unknown
3039.22/3046.27 c 3046s| 17400 | 17401 | 18628k|1008.4 | 452M | 33 | 500 | 554 | 520 |3724 | 1 | 682 |1884 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3050.19/3057.24 c 3057s| 17500 | 17501 | 18707k|1007.2 | 453M | 33 | 500 | 554 | 521 |3728 | 1 | 687 |1890 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3060.46/3067.54 c 3068s| 17600 | 17601 | 18784k|1005.9 | 453M | 33 | 500 | 554 | 519 |3728 | 1 | 690 |1898 | 3.927474e+01 | 5.500000e+01 | 40.04%| unknown
3070.83/3077.99 c 3078s| 17700 | 17701 | 18848k|1004.0 | 454M | 33 | 500 | 555 | 521 |3740 | 1 | 693 |1907 | 3.927582e+01 | 5.500000e+01 | 40.04%| unknown
3082.80/3089.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3082.80/3089.96 c 3090s| 17800 | 17801 | 18934k|1003.2 | 454M | 33 | 500 | 553 | 520 |3754 | 1 | 698 |1913 | 3.927712e+01 | 5.500000e+01 | 40.03%| unknown
3094.17/3101.31 c 3101s| 17900 | 17901 | 19009k|1001.9 | 454M | 33 | 500 | 553 | 522 |3761 | 2 | 701 |1922 | 3.928222e+01 | 5.500000e+01 | 40.01%| unknown
3106.13/3113.35 c 3113s| 18000 | 18001 | 19093k|1001.0 | 454M | 33 | 500 | 551 | 521 |3771 | 1 | 705 |1929 | 3.928598e+01 | 5.500000e+01 | 40.00%| unknown
3115.11/3122.34 c 3122s| 18100 | 18101 | 19161k| 999.4 | 454M | 33 | 500 | 552 | 519 |3771 | 1 | 708 |1933 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3124.28/3131.59 c 3132s| 18200 | 18201 | 19235k| 998.0 | 454M | 33 | 500 | 551 | 521 |3771 | 1 | 710 |1935 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3134.26/3141.58 c 3142s| 18300 | 18301 | 19314k| 996.9 | 454M | 33 | 500 | 554 | 522 |3776 | 1 | 717 |1937 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3144.63/3151.92 c 3152s| 18400 | 18401 | 19395k| 996.0 | 454M | 33 | 500 | 555 | 522 |3776 | 1 | 721 |1940 | 3.928909e+01 | 5.500000e+01 | 39.99%| unknown
3154.50/3161.82 c 3162s| 18500 | 18501 | 19469k| 994.6 | 454M | 33 | 500 | 555 | 520 |3777 | 1 | 723 |1946 | 3.929002e+01 | 5.500000e+01 | 39.98%| unknown
3164.97/3172.34 c 3172s| 18600 | 18601 | 19554k| 993.9 | 454M | 33 | 500 | 555 | 519 |3777 | 1 | 728 |1948 | 3.929023e+01 | 5.500000e+01 | 39.98%| unknown
3176.04/3183.48 c 3183s| 18700 | 18701 | 19634k| 993.0 | 454M | 33 | 500 | 558 | 521 |3781 | 1 | 732 |1957 | 3.929133e+01 | 5.500000e+01 | 39.98%| unknown
3185.22/3192.68 c 3193s| 18800 | 18801 | 19700k| 991.2 | 454M | 33 | 500 | 562 | 520 |3781 | 1 | 738 |1962 | 3.929467e+01 | 5.500000e+01 | 39.97%| unknown
3194.79/3202.20 c 3202s| 18900 | 18901 | 19768k| 989.7 | 454M | 33 | 500 | 561 | 520 |3782 | 1 | 739 |1967 | 3.929677e+01 | 5.500000e+01 | 39.96%| unknown
3205.66/3213.14 c 3213s| 19000 | 19001 | 19856k| 989.1 | 454M | 33 | 500 | 564 | 519 |3789 | 1 | 746 |1970 | 3.929838e+01 | 5.500000e+01 | 39.95%| unknown
3214.64/3222.18 c 3222s| 19100 | 19101 | 19931k| 988.0 | 454M | 33 | 500 | 564 | 521 |3790 | 1 | 750 |1971 | 3.930154e+01 | 5.500000e+01 | 39.94%| unknown
3224.41/3231.93 c 3232s| 19200 | 19201 | 19993k| 986.2 | 454M | 33 | 500 | 562 | 520 |3790 | 1 | 753 |1976 | 3.930246e+01 | 5.500000e+01 | 39.94%| unknown
3233.78/3241.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3233.78/3241.31 c 3241s| 19300 | 19301 | 20063k| 984.7 | 454M | 33 | 500 | 564 | 520 |3790 | 1 | 756 |1981 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3243.36/3250.93 c 3251s| 19400 | 19401 | 20136k| 983.5 | 454M | 33 | 500 | 566 | 521 |3791 | 1 | 761 |1984 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3254.23/3261.81 c 3262s| 19500 | 19501 | 20218k| 982.7 | 454M | 33 | 500 | 563 | 521 |3801 | 1 | 765 |1987 | 3.930559e+01 | 5.500000e+01 | 39.93%| unknown
3263.90/3271.59 c 3272s| 19600 | 19601 | 20297k| 981.8 | 454M | 33 | 500 | 560 | 522 |3806 | 1 | 768 |1987 | 3.930695e+01 | 5.500000e+01 | 39.92%| unknown
3276.07/3283.70 c 3284s| 19700 | 19701 | 20386k| 981.3 | 454M | 33 | 500 | 557 | 522 |3812 | 1 | 769 |1990 | 3.930815e+01 | 5.500000e+01 | 39.92%| unknown
3287.04/3294.72 c 3295s| 19800 | 19801 | 20454k| 979.9 | 454M | 33 | 500 | 558 | 521 |3832 | 1 | 771 |1993 | 3.931020e+01 | 5.500000e+01 | 39.91%| unknown
3297.01/3304.71 c 3305s| 19900 | 19901 | 20534k| 979.0 | 455M | 33 | 500 | 558 | 522 |3838 | 6 | 776 |1994 | 3.931062e+01 | 5.500000e+01 | 39.91%| unknown
3308.58/3316.38 c 3316s| 20000 | 20001 | 20618k| 978.4 | 455M | 33 | 500 | 552 | 520 |3844 | 1 | 777 |1999 | 3.931098e+01 | 5.500000e+01 | 39.91%| unknown
3317.65/3325.41 c 3325s| 20100 | 20101 | 20676k| 976.5 | 455M | 33 | 500 | 555 | 521 |3844 | 1 | 782 |2005 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3327.03/3334.84 c 3335s| 20200 | 20201 | 20750k| 975.4 | 455M | 33 | 500 | 554 | 521 |3844 | 1 | 784 |2010 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3338.99/3346.88 c 3347s| 20300 | 20301 | 20846k| 975.3 | 455M | 33 | 500 | 552 | 519 |3844 | 1 | 789 |2016 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3347.77/3355.61 c 3356s| 20400 | 20401 | 20912k| 973.8 | 455M | 33 | 500 | 553 | 521 |3844 | 1 | 792 |2021 | 3.931303e+01 | 5.500000e+01 | 39.90%| unknown
3356.64/3364.53 c 3365s| 20500 | 20501 | 20978k| 972.4 | 455M | 33 | 500 | 555 | 522 |3844 | 1 | 797 |2026 | 3.931360e+01 | 5.500000e+01 | 39.90%| unknown
3368.12/3376.06 c 3376s| 20600 | 20601 | 21074k| 972.3 | 455M | 33 | 500 | 557 | 520 |3844 | 1 | 801 |2031 | 3.931513e+01 | 5.500000e+01 | 39.90%| unknown
3378.58/3386.50 c 3386s| 20700 | 20701 | 21138k| 970.8 | 455M | 33 | 500 | 557 | 521 |3856 | 1 | 803 |2034 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3385.76/3393.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3385.76/3393.71 c 3394s| 20800 | 20801 | 21197k| 969.0 | 455M | 33 | 500 | 557 | 519 |3856 | 1 | 805 |2035 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3395.44/3403.41 c 3403s| 20900 | 20901 | 21276k| 968.2 | 455M | 33 | 500 | 554 | 520 |3856 | 1 | 807 |2037 | 3.931801e+01 | 5.500000e+01 | 39.89%| unknown
3404.12/3412.17 c 3412s| 21000 | 21001 | 21341k| 966.8 | 455M | 33 | 500 | 553 | 520 |3856 | 1 | 808 |2042 | 3.932011e+01 | 5.500000e+01 | 39.88%| unknown
3415.99/3424.04 c 3424s| 21100 | 21101 | 21428k| 966.4 | 455M | 33 | 500 | 550 | 522 |3856 | 1 | 811 |2052 | 3.932146e+01 | 5.500000e+01 | 39.87%| unknown
3426.35/3434.49 c 3434s| 21200 | 21201 | 21506k| 965.5 | 455M | 33 | 500 | 553 | 522 |3861 | 1 | 817 |2054 | 3.932156e+01 | 5.500000e+01 | 39.87%| unknown
3439.52/3447.64 c 3448s| 21300 | 21301 | 21595k| 965.2 | 456M | 33 | 500 | 556 | 522 |3883 | 1 | 821 |2061 | 3.932308e+01 | 5.500000e+01 | 39.87%| unknown
3448.59/3456.79 c 3457s| 21400 | 21401 | 21664k| 964.0 | 456M | 33 | 500 | 556 | 521 |3883 | 1 | 822 |2065 | 3.932312e+01 | 5.500000e+01 | 39.87%| unknown
3458.76/3466.95 c 3467s| 21500 | 21501 | 21741k| 963.1 | 456M | 33 | 500 | 556 | 522 |3884 | 1 | 825 |2071 | 3.932390e+01 | 5.500000e+01 | 39.86%| unknown
3468.34/3476.59 c 3477s| 21600 | 21601 | 21819k| 962.3 | 456M | 33 | 500 | 554 | 521 |3884 | 1 | 829 |2075 | 3.932397e+01 | 5.500000e+01 | 39.86%| unknown
3479.31/3487.55 c 3488s| 21700 | 21701 | 21906k| 961.9 | 456M | 33 | 500 | 555 | 521 |3884 | 1 | 834 |2081 | 3.932554e+01 | 5.500000e+01 | 39.86%| unknown
3488.18/3496.47 c 3496s| 21800 | 21801 | 21971k| 960.5 | 456M | 33 | 500 | 551 | 520 |3888 | 1 | 837 |2084 | 3.932897e+01 | 5.500000e+01 | 39.85%| unknown
3497.95/3506.28 c 3506s| 21900 | 21901 | 22033k| 959.0 | 456M | 33 | 500 | 554 | 520 |3893 | 1 | 842 |2094 | 3.932935e+01 | 5.500000e+01 | 39.84%| unknown
3509.42/3517.71 c 3518s| 22000 | 22001 | 22113k| 958.4 | 456M | 33 | 500 | 552 | 519 |3904 | 1 | 844 |2097 | 3.932939e+01 | 5.500000e+01 | 39.84%| unknown
3519.80/3528.14 c 3528s| 22100 | 22101 | 22197k| 957.8 | 456M | 33 | 500 | 556 | 521 |3905 | 1 | 850 |2104 | 3.932972e+01 | 5.500000e+01 | 39.84%| unknown
3528.87/3537.21 c 3537s| 22200 | 22201 | 22266k| 956.7 | 456M | 33 | 500 | 558 | 522 |3905 | 1 | 855 |2109 | 3.933138e+01 | 5.500000e+01 | 39.84%| unknown
3538.25/3546.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3538.25/3546.65 c 3547s| 22300 | 22301 | 22343k| 955.9 | 456M | 33 | 500 | 557 | 521 |3905 | 1 | 858 |2114 | 3.933302e+01 | 5.500000e+01 | 39.83%| unknown
3548.92/3557.31 c 3557s| 22400 | 22401 | 22423k| 955.2 | 456M | 33 | 500 | 556 | 520 |3906 | 1 | 861 |2122 | 3.933463e+01 | 5.500000e+01 | 39.83%| unknown
3559.61/3568.09 c 3568s| 22500 | 22501 | 22493k| 954.1 | 456M | 33 | 500 | 557 | 520 |3911 | 1 | 863 |2126 | 3.933477e+01 | 5.500000e+01 | 39.83%| unknown
3569.38/3577.82 c 3578s| 22600 | 22601 | 22563k| 953.0 | 457M | 33 | 500 | 557 | 520 |3916 | 1 | 868 |2131 | 3.933565e+01 | 5.500000e+01 | 39.82%| unknown
3578.16/3586.67 c 3587s| 22700 | 22701 | 22636k| 952.1 | 457M | 33 | 500 | 556 | 521 |3916 | 1 | 871 |2132 | 3.933565e+01 | 5.500000e+01 | 39.82%| unknown
3588.44/3597.00 c
3588.44/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.44/3597.00 c Solving Time (sec) : 3597.00
3588.44/3597.00 c Solving Nodes : 22792 (total of 23841 nodes in 2 runs)
3588.44/3597.00 c Primal Bound : +5.50000000000000e+01 (600 solutions)
3588.44/3597.00 c Dual Bound : +3.93362117261979e+01
3588.44/3597.00 c Gap : 39.82 %
3588.55/3597.00 s SATISFIABLE
3588.55/3597.00 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3588.55/3597.00 v -x478 x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
3588.55/3597.00 v -x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437
3588.55/3597.00 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3588.55/3597.00 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3588.55/3597.00 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374
3588.55/3597.00 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
3588.55/3597.00 v -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
3588.55/3597.00 v x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3588.55/3597.00 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3588.55/3597.00 v -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
3588.55/3597.00 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3588.55/3597.00 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227
3588.55/3597.00 v -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
3588.55/3597.00 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 x185
3588.55/3597.00 v -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3588.55/3597.00 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3588.55/3597.00 v -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
3588.55/3597.00 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100
3588.55/3597.00 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74
3588.55/3597.00 v x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 -x47
3588.55/3597.00 v x46 x45 -x44 x43 -x42 x41 x40 x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20
3588.55/3597.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
3588.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.55/3597.00 c Total Time : 3597.00
3588.55/3597.00 c solving : 3597.00
3588.55/3597.00 c presolving : 0.10 (included in solving)
3588.55/3597.00 c reading : 0.02 (included in solving)
3588.55/3597.00 c copying : 0.07 (19 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3588.55/3597.00 c Original Problem :
3588.55/3597.00 c Problem name : HOME/instance-4459816-1721939463.opb
3588.55/3597.00 c Variables : 6828 (500 binary, 0 integer, 6328 implicit integer, 0 continuous)
3588.55/3597.00 c Constraints : 7328 initial, 7328 maximal
3588.55/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.55/3597.00 c Presolved Problem :
3588.55/3597.00 c Problem name : t_HOME/instance-4459816-1721939463.opb
3588.55/3597.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.55/3597.00 c Constraints : 541 initial, 567 maximal
3588.55/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.55/3597.00 c Nonzeros : 15446 constraint, 0 clique table
3588.55/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.55/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualfix : 0.00 0.00 5 6328 0 0 0 0 0 0 0 0
3588.55/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c linear : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c logicor : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 7328 500 0 0
3588.55/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.55/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.55/3597.00 c benderslp : 0 0 0 0 23841 0 0 1891 0 0 0 0 0 0 0
3588.55/3597.00 c integral : 0 0 0 0 23841 0 0 1891 0 0 0 0 0 0 47682
3588.55/3597.00 c linear : 14 14 15 225546 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c logicor : 527+ 553 31 112795 0 0 0 1887 916 210 0 0 0 0 0
3588.55/3597.00 c benders : 0 0 0 0 0 0 0 703 0 0 0 0 0 0 0
3588.55/3597.00 c fixedvar : 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0
3588.55/3597.00 c countsols : 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0
3588.55/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.55/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c integral : 312.33 0.00 0.00 0.00 312.33 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c linear : 1.51 0.00 1.22 0.28 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c logicor : 0.23 0.00 0.00 0.22 0.00 0.00 0.00 0.01 0.00 0.00
3588.55/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c fixedvar : 0.16 0.00 0.00 0.00 0.00 0.00 0.00 0.16 0.00 0.00
3588.55/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.55/3597.00 c dualfix : 3 0 0 0
3588.55/3597.00 c genvbounds : 0 0 0 0
3588.55/3597.00 c nlobbt : 0 0 0 0
3588.55/3597.00 c obbt : 0 0 0 0
3588.55/3597.00 c probing : 0 0 0 0
3588.55/3597.00 c pseudoobj : 47716 0 0 0
3588.55/3597.00 c redcost : 35 0 0 0
3588.55/3597.00 c rootredcost : 4 0 0 0
3588.55/3597.00 c symmetry : 0 0 0 0
3588.55/3597.00 c vbounds : 0 0 0 0
3588.55/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.55/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3588.55/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3588.55/3597.00 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3588.55/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.55/3597.00 c symmetry : 0.03 0.00 0.00 0.03 0.00 0.00
3588.55/3597.00 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.00
3588.55/3597.00 c Symmetry :
3588.55/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.55/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.55/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.55/3597.00 c shadow tree time : 0.00 s
3588.55/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.55/3597.00 c propagation : 0.00 210 14 - 79 142.4 0 0.0 - - -
3588.55/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.55/3597.00 c bound exceed. LP : 0.79 2077 858 - 1157 85.7 0 0.0 0 0.0 7050
3588.55/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.55/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.55/3597.00 c applied globally : 0.00 - - 0 727 61.1 - - 0 - -
3588.55/3597.00 c applied locally : - - - 0 145 107.0 - - 0 - -
3588.55/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.55/3597.00 c cut pool : 28.56 - 9726 49 - - 208894 349619 - - - - - (maximal pool size: 5111)
3588.55/3597.00 c aggregation : 259.83 0.00 4464 31 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.55/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.55/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.55/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c gomory : 55.11 0.00 4107 20 0 0 208848 348708 0 4463 4463 0 0
3588.55/3597.00 c > gomorymi : - - - - - - - 232833 0 3630 3630 0 -
3588.55/3597.00 c > strongcg : - - - - - - - 115875 0 833 833 0 -
3588.55/3597.00 c impliedbounds : 0.06 0.00 4464 31 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c multilinear : 0.00 0.00 2624 31 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c rlt : 0.01 0.00 919 20 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c zerohalf : 40.41 0.00 4118 31 0 0 46 911 0 57 57 0 0
3588.55/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.55/3597.00 c hybrid : 1.91 0.00 4520 31 4520 0 345099 31 0 6447
3588.55/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.55/3597.00 c problem variables: 0.00 - 0 0
3588.55/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.55/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c relpscost : 312.32 0.00 23841 0 0 0 0 0 0 47682
3588.55/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.55/3597.00 c LP solutions : 0.00 - - 0 0
3588.55/3597.00 c relax solutions : 0.00 - - 0 0
3588.55/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.55/3597.00 c strong branching : 0.10 - - 139 0
3588.55/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c adaptivediving : 16.20 0.00 15 1 0
3588.55/3597.00 c alns : 1.06 0.00 5 0 0
3588.55/3597.00 c bound : 0.00 0.00 0 0 0
3588.55/3597.00 c clique : 0.00 0.00 0 0 0
3588.55/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c completesol : 0.00 0.00 0 0 0
3588.55/3597.00 c conflictdiving : 183.91 0.00 353 1 0
3588.55/3597.00 c crossover : 7.08 0.00 4 4 2
3588.55/3597.00 c dins : 0.00 0.00 0 0 0
3588.55/3597.00 c distributiondivin: 118.47 0.00 91 3 0
3588.55/3597.00 c dps : 0.00 0.00 0 0 0
3588.55/3597.00 c dualval : 0.00 0.00 0 0 0
3588.55/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c feasjump : 0.00 0.00 0 0 0
3588.55/3597.00 c feaspump : 0.00 0.00 0 0 0
3588.55/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.55/3597.00 c fracdiving : 81.92 0.00 84 2 0
3588.55/3597.00 c gins : 0.00 0.00 0 0 0
3588.55/3597.00 c guideddiving : 63.86 0.00 71 0 0
3588.55/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c indicator : 0.01 0.00 0 0 0
3588.55/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.55/3597.00 c indoneopt : 0.01 0.00 0 0 0
3588.55/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.55/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.55/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.55/3597.00 c linesearchdiving : 60.73 0.00 93 0 0
3588.55/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.55/3597.00 c locks : 0.00 0.00 1 1 1
3588.55/3597.00 c lpface : 0.01 0.00 0 0 0
3588.55/3597.00 c mpec : 0.00 0.00 0 0 0
3588.55/3597.00 c multistart : 0.00 0.00 0 0 0
3588.55/3597.00 c mutation : 0.00 0.00 0 0 0
3588.55/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c objpscostdiving : 42.21 0.00 32 66 0
3588.55/3597.00 c octane : 0.00 0.00 0 0 0
3588.55/3597.00 c ofins : 0.00 0.00 0 0 0
3588.55/3597.00 c oneopt : 0.01 0.00 3 0 0
3588.55/3597.00 c padm : 0.00 0.00 0 0 0
3588.55/3597.00 c proximity : 0.00 0.00 0 0 0
3588.55/3597.00 c pscostdiving : 268.49 0.00 391 160 0
3588.55/3597.00 c randrounding : 0.09 0.00 1182 0 0
3588.55/3597.00 c rens : 0.00 0.00 0 0 0
3588.55/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.55/3597.00 c repair : 0.00 0.00 0 0 0
3588.55/3597.00 c rins : 37.34 0.00 10 10 0
3588.55/3597.00 c rootsoldiving : 13.86 0.00 111 0 0
3588.55/3597.00 c rounding : 0.70 0.00 2356 0 0
3588.55/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.55/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3588.55/3597.00 c shifting : 0.38 0.00 1064 0 0
3588.55/3597.00 c simplerounding : 0.49 0.00 28361 59 0
3588.55/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.55/3597.00 c subnlp : 0.01 0.00 0 0 0
3588.55/3597.00 c trivial : 0.00 0.00 4 1 1
3588.55/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.55/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.55/3597.00 c trysol : 0.00 0.00 0 0 0
3588.55/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.55/3597.00 c undercover : 0.00 0.00 0 0 0
3588.55/3597.00 c vbounds : 0.00 0.00 0 0 0
3588.55/3597.00 c veclendiving : 66.03 0.00 159 0 0
3588.55/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.55/3597.00 c zirounding : 1.25 0.00 7651 153 0
3588.55/3597.00 c other solutions : - - - 0 -
3588.55/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 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
3588.55/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.55/3597.00 c primal LP : 4.81 316 0 0.00 0.00 4.81 316
3588.55/3597.00 c dual LP : 1921.34 28361 12828041 452.31 6676.63 0.00 0
3588.55/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.55/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.55/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.55/3597.00 c diving/probing LP: 903.03 10003 9892698 988.97 10954.96
3588.55/3597.00 c strong branching : 288.66 2133 1783918 836.34 6180.03 - - 2441
3588.55/3597.00 c (at root node) : - 40 37754 943.85 -
3588.55/3597.00 c conflict analysis: 0.54 705 7050 10.00 12940.12
3588.55/3597.00 c B&B Tree :
3588.55/3597.00 c number of runs : 2
3588.55/3597.00 c nodes : 22792 (22792 internal, 0 leaves)
3588.55/3597.00 c feasible leaves : 0
3588.55/3597.00 c infeas. leaves : 0
3588.55/3597.00 c objective leaves : 0
3588.55/3597.00 c nodes (total) : 23841 (23841 internal, 0 leaves)
3588.55/3597.00 c nodes left : 22793
3588.55/3597.00 c max depth : 33
3588.55/3597.00 c max depth (total): 33
3588.55/3597.00 c backtracks : 5030 (22.1%)
3588.55/3597.00 c early backtracks : 0 (0.0%)
3588.55/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.55/3597.00 c delayed cutoffs : 0
3588.55/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.55/3597.00 c avg switch length: 5.81
3588.55/3597.00 c switching time : 5.35
3588.55/3597.00 c Root Node :
3588.55/3597.00 c First LP value : +3.68368214105395e+01
3588.55/3597.00 c First LP Iters : 10408 (10418.48 Iter/sec)
3588.55/3597.00 c First LP Time : 1.00
3588.55/3597.00 c Final Dual Bound : +3.82528351763238e+01
3588.55/3597.00 c Final Root Iters : 25804
3588.55/3597.00 c Root LP Estimate : +4.88175743189380e+01
3588.55/3597.00 c Solution :
3588.55/3597.00 c Solutions found : 600 (4 improvements)
3588.55/3597.00 c First Solution : +5.00000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trivial>)
3588.55/3597.00 c Gap First Sol. : infinite
3588.55/3597.00 c Gap Last Sol. : 40.26 %
3588.55/3597.00 c Primal Bound : +5.50000000000000e+01 (in run 2, after 14102 nodes, 2689.43 seconds, depth 30, found by <crossover>)
3588.55/3597.00 c Dual Bound : +3.93362117261979e+01
3588.55/3597.00 c Gap : 39.82 %
3588.55/3597.00 c Integrals : Total Avg%
3588.55/3597.00 c primal-dual : 109465.99 30.43
3588.55/3597.00 c primal-ref : - - (not evaluated)
3588.55/3597.00 c dual-ref : - - (not evaluated)
3588.74/3597.25 c Time complete: 3588.81.
OK 55
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60765 MiB free)
memory of node 1: 64473 MiB (59035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459816-1721939463/watcher-4459816-1721939463 -o /tmp/evaluation-result-4459816-1721939463/solver-4459816-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721939462-256853 --watchdog 3760 pbscip -f HOME/instance-4459816-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=256907, runsolver pid=256904
[startup+0.100058 s]*
/proc/loadavg: 0.12 0.10 0.14 6/260 256914
/proc/meminfo: memFree=122624748/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=88436 memory=48452 CPUtime=0.09 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8660 0 0 0 8 1 0 0 20 0 1 0 30469643 90558464 12113 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22109 12113 3813 3540 0 10366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 48452 KiB
[startup+0.205123 s]*
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122599296/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=88736 memory=48716 CPUtime=0.2 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8759 0 0 0 19 1 0 0 20 0 1 0 30469643 90865664 12179 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22184 12179 3813 3540 0 10441 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88736 KiB
Current children cumulated memory: 48716 KiB
[startup+0.304727 s]*
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122582348/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=89192 memory=49244 CPUtime=0.3 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8846 0 0 0 29 1 0 0 20 0 1 0 30469643 91332608 12311 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22298 12311 3813 3540 0 10555 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 49244 KiB
[startup+0.700141 s]
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122557548/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=90172 memory=49900 CPUtime=0.69 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 9122 0 0 0 68 1 0 0 20 0 1 0 30469643 92336128 12475 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22543 12475 3813 3540 0 10800 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90172 KiB
Current children cumulated memory: 49900 KiB
[startup+1.50019 s]
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122547804/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=130548 memory=89796 CPUtime=1.49 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 19747 0 0 0 146 3 0 0 20 0 1 0 30469643 133681152 22449 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 32637 22449 3829 3540 0 20894 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130548 KiB
Current children cumulated memory: 89796 KiB
[startup+3.10558 s]
/proc/loadavg: 0.12 0.10 0.14 4/257 256930
/proc/meminfo: memFree=122443740/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=200584 memory=158964 CPUtime=3.09 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37045 0 0 0 304 5 0 0 20 0 1 0 30469643 205398016 39741 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50146 39741 3829 3540 0 38403 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 200584 KiB
Current children cumulated memory: 158964 KiB
[startup+6.30014 s]
/proc/loadavg: 0.43 0.17 0.16 4/255 256995
/proc/meminfo: memFree=122439020/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=202724 memory=160340 CPUtime=6.27 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37367 0 0 0 622 5 0 0 20 0 1 0 30469643 207589376 40085 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50681 40085 3844 3540 0 38938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202724 KiB
Current children cumulated memory: 160340 KiB
[startup+12.7001 s]
/proc/loadavg: 0.63 0.21 0.18 4/255 256996
/proc/meminfo: memFree=122404408/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=201852 memory=160020 CPUtime=12.66 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37476 0 0 0 1260 6 0 0 20 0 1 0 30469643 206696448 40005 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50463 40005 3876 3540 0 38720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 201852 KiB
Current children cumulated memory: 160020 KiB
[startup+25.5001 s]
/proc/loadavg: 1.16 0.35 0.22 4/255 256998
/proc/meminfo: memFree=122382084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=202876 memory=161076 CPUtime=25.43 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37705 0 0 0 2536 7 0 0 20 0 1 0 30469643 207745024 40269 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50719 40269 3876 3540 0 38976 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 202876 KiB
Current children cumulated memory: 161076 KiB
[startup+51.1054 s]
/proc/loadavg: 1.85 0.58 0.30 4/255 257001
/proc/meminfo: memFree=122246424/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=273480 memory=231828 CPUtime=50.98 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 55407 0 0 0 5086 12 0 0 20 0 1 0 30469643 280043520 57957 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 68370 57957 3876 3540 0 56627 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 273480 KiB
Current children cumulated memory: 231828 KiB
[startup+102.3 s]
/proc/loadavg: 2.55 0.97 0.45 4/255 257012
/proc/meminfo: memFree=122110360/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358236 memory=313668 CPUtime=102.06 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 75872 0 0 0 10186 20 0 0 20 0 1 0 30469643 366833664 78417 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89559 78417 3876 3540 0 77816 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 358236 KiB
Current children cumulated memory: 313668 KiB
[startup+162.3 s]
/proc/loadavg: 2.94 1.37 0.63 4/255 257023
/proc/meminfo: memFree=122038668/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=161.93 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76024 0 0 0 16162 31 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+222.3 s]
/proc/loadavg: 3.04 1.69 0.78 4/253 257033
/proc/meminfo: memFree=121983596/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=221.79 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76030 0 0 0 22137 42 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+282.3 s]
/proc/loadavg: 3.14 1.96 0.93 4/249 257043
/proc/meminfo: memFree=121936712/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=281.65 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76036 0 0 0 28112 53 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+342.3 s]
/proc/loadavg: 3.11 2.17 1.07 4/247 257053
/proc/meminfo: memFree=121890320/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=341.52 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76046 0 0 0 34088 64 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+402.3 s]
/proc/loadavg: 3.09 2.34 1.20 4/247 257064
/proc/meminfo: memFree=121857352/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=316372 CPUtime=401.39 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76305 0 0 0 40064 75 0 0 20 0 1 0 30469643 366637056 79093 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 79093 3987 3540 0 77768 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 316372 KiB
[startup+462.3 s]
/proc/loadavg: 3.15 2.49 1.33 4/247 257074
/proc/meminfo: memFree=121785152/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=392172 memory=350892 CPUtime=461.24 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 85163 0 0 0 46048 76 0 0 20 0 1 0 30469643 401584128 87723 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 98043 87723 3987 3540 0 86300 0
################
# More data... #
################
/proc/loadavg: 2.08 2.12 2.16 3/243 258169
/proc/meminfo: memFree=121481152/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479420 CPUtime=3155 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123357 0 0 0 315417 83 0 0 20 0 1 0 30469643 530083840 119855 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119855 3987 3540 0 117672 0
Current children cumulated CPU time: 3155 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479420 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.12 2.16 3/243 258180
/proc/meminfo: memFree=121476784/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479492 CPUtime=3214.84 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123560 0 0 0 321401 83 0 0 20 0 1 0 30469643 530083840 119873 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119873 3987 3540 0 117672 0
Current children cumulated CPU time: 3214.84 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479492 KiB
[startup+3282.3 s]
/proc/loadavg: 2.18 2.13 2.16 3/244 258576
/proc/meminfo: memFree=121572144/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479732 CPUtime=3274.67 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123819 0 0 0 327384 83 0 0 20 0 1 0 30469643 530083840 119933 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119933 3987 3540 0 117672 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479732 KiB
[startup+3342.3 s]
/proc/loadavg: 2.18 2.14 2.16 3/242 258586
/proc/meminfo: memFree=121566680/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480220 CPUtime=3334.5 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124157 0 0 0 333367 83 0 0 20 0 1 0 30469643 530542592 120055 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120055 3987 3540 0 117784 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480220 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.12 2.15 3/242 258597
/proc/meminfo: memFree=121554572/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480248 CPUtime=3394.34 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124356 0 0 0 339351 83 0 0 20 0 1 0 30469643 530542592 120062 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120062 3987 3540 0 117784 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480248 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.11 2.14 3/243 258608
/proc/meminfo: memFree=121553748/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480296 CPUtime=3454.17 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124554 0 0 0 345334 83 0 0 20 0 1 0 30469643 530542592 120074 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120074 3987 3540 0 117784 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480296 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.12 2.14 3/245 258789
/proc/meminfo: memFree=121541304/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480316 CPUtime=3514.01 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124756 0 0 0 351318 83 0 0 20 0 1 0 30469643 530542592 120079 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120079 3987 3540 0 117784 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480316 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536220/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3573.87 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125591 0 0 0 357304 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3597.26 s]
# the end of solver process 256907 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.97 s, system=0.839931 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.10 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536276/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3575.57 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125592 0 0 0 357474 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3575.57 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3590.4 s]
/proc/loadavg: 2.09 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536260/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3581.96 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125594 0 0 0 358113 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3581.96 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3593.6 s]
/proc/loadavg: 2.08 2.11 2.14 3/245 258859
/proc/meminfo: memFree=121536236/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3585.15 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358432 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3595.2 s]
/proc/loadavg: 2.08 2.11 2.14 3/245 258860
/proc/meminfo: memFree=121536076/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3586.75 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358592 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3596 s]*
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121536084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3587.55 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358672 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3596.8 s]
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121536084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3588.34 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358751 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3597.2 s]
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121827588/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3588.74 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358791 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
Child status: 0
Real time (s): 3597.26
CPU time (s): 3588.81
CPU user time (s): 3587.97
CPU system time (s): 0.839931
CPU usage (%): 99.7652
Max. virtual memory (cumulated for all children) (KiB): 521516
Max. memory (cumulated for all children) (KiB): 483012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.97
system time used= 0.839931
maximum resident set size= 483012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125625
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= 36
involuntary context switches= 1859
# summary of solver processes directly reported to runsolver:
# pid: 256907
# total CPU time (s): 3588.81
# total CPU user time (s): 3587.97
# total CPU system time (s): 0.839931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21365 second user time and 13.4421 second system time
The end
Begin job on nodeC028 at 2024-07-25 22:31:03 IDJOB=4459816 IDBENCH=148588 IDSOLVER=3059 FILE ID=nodeC028/4459816-1721939463 RUNJOBID= nodeC028-1721939462-256853 SLURM_JOB_ID= 8247248 Free space on /tmp= 890032 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.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-4459816-1721939463/watcher-4459816-1721939463 -o /tmp/evaluation-result-4459816-1721939463/solver-4459816-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721939462-256853 --watchdog 3760 pbscip -f HOME/instance-4459816-1721939463.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2 RANDOM SEED=1503976896 nodeC028.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 : 0xb00002a cpu MHz : 3638.581 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.46 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 : 0xb00002a cpu MHz : 3664.371 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.51 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 : 0xb00002a cpu MHz : 3664.877 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.46 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 : 0xb00002a cpu MHz : 3658.525 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.51 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 : 0xb00002a cpu MHz : 3652.611 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.46 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 : 0xb00002a cpu MHz : 3598.031 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.51 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 : 0xb00002a cpu MHz : 3660.480 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.46 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 : 0xb00002a cpu MHz : 3648.912 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122686204 kB MemAvailable: 129664396 kB Buffers: 326076 kB Cached: 7437936 kB SwapCached: 312 kB Active: 2370836 kB Inactive: 5788220 kB Active(anon): 4300 kB Inactive(anon): 442696 kB Active(file): 2366536 kB Inactive(file): 5345524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054968 kB Dirty: 74704 kB Writeback: 0 kB AnonPages: 394264 kB Mapped: 119572 kB Shmem: 51932 kB KReclaimable: 211908 kB Slab: 332944 kB SReclaimable: 211908 kB SUnreclaim: 121036 kB KernelStack: 4048 kB PageTables: 10176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 700556 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13440 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 443092 kB DirectMap2M: 51759104 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 890048 MiB End job on nodeC028 at 2024-07-25 23:31:00