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.01 | 3597.28 |
| 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 | 51 |
| Best CPU time to get the best result obtained on this benchmark | 72000.5 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4498269-1751268250.opb>
0.00/0.03 c original problem has 6828 variables (500 bin, 0 int, 6328 impl, 0 cont) and 7328 constraints
0.00/0.03 c problem read in 0.02
0.00/0.04 c presolving:
0.00/0.06 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.07 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.07 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.08 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.08 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.08 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.08 c 0 implications, 0 cliques
0.00/0.08 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.08 c 500 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.03
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.997016
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.08 o 500
0.00/0.08 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.08 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.08 o 58
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.800000e+01 | Inf | unknown
1.07/1.11 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.27/1.31 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.37/1.48 c 1.5s| 1 | 0 | 10929 | - | 60M | 0 | 500 | 500 | 502 | 2 | 2 | 0 | 0 | 3.690317e+01 | 5.800000e+01 | 57.17%| unknown
1.57/1.65 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.77/1.81 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.87/1.98 c 2.0s| 1 | 0 | 11525 | - | 91M | 0 | 500 | 500 | 505 | 5 | 5 | 0 | 0 | 3.693445e+01 | 5.800000e+01 | 57.03%| unknown
2.07/2.14 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.27/2.30 c 2.3s| 1 | 0 | 11760 | - | 118M | 0 | 500 | 500 | 507 | 7 | 7 | 0 | 0 | 3.694036e+01 | 5.800000e+01 | 57.01%| unknown
2.37/2.48 c 2.5s| 1 | 0 | 11946 | - | 121M | 0 | 500 | 500 | 508 | 8 | 8 | 0 | 0 | 3.694334e+01 | 5.800000e+01 | 57.00%| unknown
2.57/2.66 c 2.7s| 1 | 0 | 12068 | - | 139M | 0 | 500 | 500 | 509 | 9 | 9 | 0 | 0 | 3.694457e+01 | 5.800000e+01 | 56.99%| unknown
2.77/2.85 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.87/2.96 c 3.0s| 1 | 0 | 12319 | - | 141M | 0 | 500 | 500 | 511 | 11 | 11 | 0 | 0 | 3.694579e+01 | 5.800000e+01 | 56.99%| unknown
2.97/3.08 c 3.1s| 1 | 0 | 12386 | - | 141M | 0 | 500 | 500 | 512 | 12 | 12 | 0 | 0 | 3.694651e+01 | 5.800000e+01 | 56.98%| unknown
3.07/3.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.07/3.19 c 3.2s| 1 | 0 | 12475 | - | 141M | 0 | 500 | 500 | 513 | 13 | 13 | 0 | 0 | 3.694751e+01 | 5.800000e+01 | 56.98%| unknown
3.27/3.32 c 3.3s| 1 | 0 | 12525 | - | 141M | 0 | 500 | 500 | 514 | 14 | 14 | 0 | 0 | 3.694793e+01 | 5.800000e+01 | 56.98%| unknown
3.37/3.44 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.47/3.58 c 3.6s| 1 | 0 | 12606 | - | 141M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 0 | 3.694856e+01 | 5.800000e+01 | 56.98%| unknown
10.25/10.38 c 10.4s| 1 | 2 | 12606 | - | 141M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 30 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
56.30/56.50 c 56.5s| 100 | 101 |145017 |1337.5 | 224M | 15 | 500 | 502 | 514 | 52 | 1 | 4 | 218 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
112.13/112.51 c 113s| 200 | 201 |588611 |2894.5 | 291M | 15 | 500 | 509 | 518 | 88 | 1 | 17 | 257 | 3.742231e+01 | 5.800000e+01 | 54.99%| unknown
120.90/121.35 o 56
120.90/121.35 c L 121s| 201 | 202 |589354 |2883.7 |crossove| 15 | 500 | 509 | 514 | 88 | 1 | 17 | 257 | 3.755036e+01 | 5.600000e+01 | 49.13%| unknown
149.62/150.18 c 150s| 300 | 301 |757931 |2492.7 | 290M | 16 | 500 | 512 | 518 | 113 | 1 | 24 | 295 | 3.775332e+01 | 5.600000e+01 | 48.33%| unknown
186.90/187.54 c 188s| 400 | 401 |937136 |2317.1 | 290M | 16 | 500 | 512 | 514 | 189 | 1 | 27 | 335 | 3.790303e+01 | 5.600000e+01 | 47.75%| unknown
224.98/225.78 c 226s| 500 | 501 | 1119k|2218.7 | 291M | 19 | 500 | 520 | 514 | 264 | 1 | 35 | 380 | 3.803577e+01 | 5.600000e+01 | 47.23%| unknown
271.15/272.05 c 272s| 600 | 601 | 1373k|2272.8 | 291M | 21 | 500 | 522 | 514 | 364 | 1 | 47 | 429 | 3.805200e+01 | 5.600000e+01 | 47.17%| unknown
306.24/307.28 c 307s| 700 | 701 | 1592k|2260.8 | 291M | 21 | 500 | 525 | 520 | 414 | 1 | 53 | 464 | 3.808923e+01 | 5.600000e+01 | 47.02%| unknown
340.04/341.19 c 341s| 800 | 801 | 1804k|2242.7 | 291M | 21 | 500 | 523 | 518 | 467 | 1 | 57 | 488 | 3.814530e+01 | 5.600000e+01 | 46.81%| unknown
368.85/370.08 c 370s| 900 | 901 | 1961k|2167.8 | 291M | 21 | 500 | 524 | 517 | 534 | 1 | 63 | 506 | 3.817720e+01 | 5.600000e+01 | 46.68%| unknown
395.36/396.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
395.36/396.63 c 397s| 1000 | 1001 | 2124k|2114.1 | 292M | 21 | 500 | 527 | 517 | 577 | 1 | 72 | 518 | 3.822501e+01 | 5.600000e+01 | 46.50%| unknown
408.22/409.52 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
408.22/409.52 c (run 1, node 1049) performing user restart
408.22/409.52 c
408.22/409.52 c (restart) converted 14 cuts from the global cut pool into linear constraints
408.22/409.52 c
408.62/409.95 c presolving:
408.62/409.96 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
408.62/409.96 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
408.62/409.96 c 0 implications, 0 cliques
408.62/409.96 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 541 constraints
408.62/409.96 c 14 constraints of type <linear>
408.62/409.96 c 527 constraints of type <logicor>
408.62/409.96 c transformed objective value is always integral (scale: 1)
408.62/409.96 c Presolving Time: 0.10
408.72/410.00 c transformed 99/100 original solutions to the transformed problem space
408.72/410.00 c
409.72/411.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
409.72/411.08 c 411s| 1 | 0 | 2206k| - | 243M | 0 | 500 | 541 | 514 | 0 | 0 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
410.21/411.53 c 412s| 1 | 0 | 2207k| - | 246M | 0 | 500 | 541 | 515 | 1 | 1 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
410.51/411.86 c 412s| 1 | 0 | 2207k| - | 252M | 0 | 500 | 541 | 516 | 2 | 2 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
410.91/412.20 c 412s| 1 | 0 | 2207k| - | 256M | 0 | 500 | 541 | 517 | 3 | 3 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
411.21/412.55 c 413s| 1 | 0 | 2207k| - | 267M | 0 | 500 | 541 | 518 | 4 | 4 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
411.61/412.97 c 413s| 1 | 0 | 2208k| - | 272M | 0 | 500 | 541 | 519 | 5 | 5 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
411.91/413.27 c 413s| 1 | 0 | 2208k| - | 277M | 0 | 500 | 541 | 520 | 6 | 6 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
412.21/413.57 c 414s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 521 | 7 | 7 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
412.51/413.88 c 414s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 522 | 8 | 8 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
412.90/414.21 c 414s| 1 | 0 | 2209k| - | 272M | 0 | 500 | 541 | 523 | 9 | 9 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
413.20/414.53 c 415s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 524 | 10 | 10 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
413.40/414.79 c 415s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 525 | 11 | 11 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
413.71/415.02 c 415s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 526 | 12 | 12 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
413.90/415.23 c 415s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 527 | 13 | 13 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
414.10/415.45 c 415s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 528 | 14 | 14 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
414.40/415.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
414.40/415.73 c 416s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 524 | 15 | 15 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
418.29/419.65 c 420s| 1 | 2 | 2225k| - | 277M | 0 | 500 | 543 | 524 | 15 | 15 | 74 | 534 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
470.05/471.50 c 471s| 100 | 101 | 2420k|2085.6 | 310M | 18 | 500 | 546 | 516 | 47 | 1 | 77 | 666 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
495.79/497.38 c 497s| 200 | 201 | 2562k|2032.2 | 342M | 18 | 500 | 550 | 520 | 69 | 1 | 81 | 697 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
524.61/526.24 c 526s| 300 | 301 | 2664k|1957.5 | 350M | 19 | 500 | 550 | 516 | 133 | 1 | 81 | 735 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
557.63/559.31 c 559s| 400 | 401 | 2816k|1927.3 | 350M | 21 | 500 | 545 | 521 | 200 | 1 | 85 | 769 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
591.84/593.64 c 594s| 500 | 501 | 2929k|1875.8 | 350M | 21 | 500 | 534 | 516 | 267 | 1 | 88 | 804 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
619.37/621.21 c 621s| 600 | 601 | 3060k|1841.6 | 350M | 21 | 500 | 534 | 519 | 309 | 1 | 92 | 841 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
651.78/653.75 c 654s| 700 | 701 | 3206k|1819.6 | 350M | 22 | 500 | 534 | 522 | 399 | 6 | 95 | 863 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
673.83/675.83 c 676s| 800 | 801 | 3318k|1781.9 | 350M | 22 | 500 | 535 | 519 | 447 | 1 | 99 | 877 | 3.830505e+01 | 5.600000e+01 | 46.19%| unknown
694.38/696.44 c 696s| 900 | 901 | 3413k|1738.9 | 350M | 22 | 500 | 537 | 520 | 492 | 1 | 103 | 897 | 3.838215e+01 | 5.600000e+01 | 45.90%| unknown
719.92/722.07 c 722s| 1000 | 1001 | 3549k|1720.4 | 351M | 22 | 500 | 536 | 520 | 539 | 1 | 105 | 919 | 3.839832e+01 | 5.600000e+01 | 45.84%| unknown
738.07/740.27 c 740s| 1100 | 1101 | 3641k|1683.1 | 351M | 22 | 500 | 536 | 520 | 580 | 1 | 108 | 927 | 3.842981e+01 | 5.600000e+01 | 45.72%| unknown
760.61/762.84 c 763s| 1200 | 1201 | 3751k|1657.1 | 351M | 22 | 500 | 536 | 520 | 644 | 1 | 112 | 935 | 3.845944e+01 | 5.600000e+01 | 45.61%| unknown
782.56/784.87 c 785s| 1300 | 1301 | 3869k|1636.9 | 351M | 22 | 500 | 534 | 519 | 696 | 1 | 117 | 943 | 3.847037e+01 | 5.600000e+01 | 45.57%| unknown
806.50/808.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
806.50/808.89 c 809s| 1400 | 1401 | 3985k|1617.3 | 351M | 22 | 500 | 534 | 520 | 769 | 1 | 121 | 948 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
827.95/830.32 c 830s| 1500 | 1501 | 4107k|1601.8 | 352M | 22 | 500 | 533 | 521 | 816 | 1 | 125 | 957 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
852.09/854.56 c 855s| 1600 | 1601 | 4228k|1587.2 | 352M | 22 | 500 | 536 | 516 | 877 | 1 | 129 | 968 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
877.92/880.41 c 880s| 1700 | 1701 | 4359k|1576.9 | 352M | 22 | 500 | 537 | 520 | 931 | 4 | 134 | 993 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
895.68/898.28 c 898s| 1800 | 1801 | 4438k|1549.4 | 352M | 23 | 500 | 536 | 520 | 959 | 1 | 135 |1020 | 3.855739e+01 | 5.600000e+01 | 45.24%| unknown
916.53/919.12 c 919s| 1900 | 1901 | 4563k|1539.2 | 353M | 23 | 500 | 540 | 522 | 988 | 1 | 140 |1036 | 3.858361e+01 | 5.600000e+01 | 45.14%| unknown
934.28/936.94 c 937s| 2000 | 2001 | 4655k|1518.8 | 353M | 23 | 500 | 538 | 521 |1023 | 1 | 142 |1048 | 3.859546e+01 | 5.600000e+01 | 45.09%| unknown
956.53/959.22 c 959s| 2100 | 2101 | 4761k|1504.3 | 354M | 24 | 500 | 541 | 520 |1067 | 1 | 147 |1072 | 3.859810e+01 | 5.600000e+01 | 45.08%| unknown
984.76/987.56 c 988s| 2200 | 2201 | 4892k|1498.4 | 354M | 25 | 500 | 541 | 521 |1109 | 1 | 150 |1084 | 3.861649e+01 | 5.600000e+01 | 45.02%| unknown
1005.61/1008.47 c 1008s| 2300 | 2301 | 5004k|1487.0 | 354M | 25 | 500 | 542 | 521 |1165 | 1 | 153 |1091 | 3.861936e+01 | 5.600000e+01 | 45.00%| unknown
1025.46/1028.36 c 1028s| 2400 | 2401 | 5121k|1477.8 | 354M | 25 | 500 | 539 | 522 |1195 | 1 | 157 |1101 | 3.862581e+01 | 5.600000e+01 | 44.98%| unknown
1043.22/1046.19 c 1046s| 2500 | 2501 | 5233k|1467.8 | 354M | 25 | 500 | 537 | 519 |1225 | 1 | 160 |1105 | 3.863008e+01 | 5.600000e+01 | 44.96%| unknown
1059.47/1062.46 c 1062s| 2600 | 2601 | 5335k|1455.6 | 354M | 25 | 500 | 538 | 521 |1247 | 1 | 165 |1108 | 3.863132e+01 | 5.600000e+01 | 44.96%| unknown
1081.42/1084.40 c 1084s| 2700 | 2701 | 5468k|1452.1 | 354M | 25 | 500 | 535 | 522 |1297 | 1 | 168 |1111 | 3.866312e+01 | 5.600000e+01 | 44.84%| unknown
1101.77/1104.83 c 1105s| 2800 | 2801 | 5566k|1440.0 | 354M | 25 | 500 | 538 | 520 |1358 | 1 | 173 |1118 | 3.868524e+01 | 5.600000e+01 | 44.76%| unknown
1126.41/1129.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1126.41/1129.58 c 1130s| 2900 | 2901 | 5697k|1436.6 | 355M | 25 | 500 | 537 | 522 |1424 | 1 | 174 |1126 | 3.870547e+01 | 5.600000e+01 | 44.68%| unknown
1144.87/1148.05 c 1148s| 3000 | 3001 | 5796k|1425.5 | 357M | 25 | 500 | 536 | 521 |1471 | 1 | 177 |1129 | 3.871976e+01 | 5.600000e+01 | 44.63%| unknown
1169.70/1172.99 c 1173s| 3100 | 3101 | 5889k|1413.7 | 357M | 25 | 500 | 538 | 522 |1505 | 1 | 181 |1153 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1187.86/1191.19 c 1191s| 3200 | 3201 | 5997k|1405.7 | 357M | 25 | 500 | 538 | 519 |1535 | 1 | 184 |1166 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1207.40/1210.77 c 1211s| 3300 | 3301 | 6114k|1400.2 | 357M | 25 | 500 | 537 | 520 |1564 | 1 | 191 |1177 | 3.873099e+01 | 5.600000e+01 | 44.59%| unknown
1231.65/1235.01 c 1235s| 3400 | 3401 | 6243k|1397.8 | 357M | 25 | 500 | 540 | 522 |1617 | 1 | 195 |1190 | 3.873883e+01 | 5.600000e+01 | 44.56%| unknown
1245.91/1249.39 c 1249s| 3500 | 3501 | 6334k|1387.2 | 357M | 25 | 500 | 542 | 521 |1633 | 1 | 199 |1197 | 3.875995e+01 | 5.600000e+01 | 44.48%| unknown
1263.86/1267.34 c 1267s| 3600 | 3601 | 6440k|1380.1 | 357M | 25 | 500 | 540 | 520 |1664 | 1 | 201 |1204 | 3.876791e+01 | 5.600000e+01 | 44.45%| unknown
1284.41/1287.93 c 1288s| 3700 | 3701 | 6541k|1372.3 | 357M | 25 | 500 | 538 | 522 |1698 | 1 | 204 |1210 | 3.878480e+01 | 5.600000e+01 | 44.39%| unknown
1300.87/1304.44 c 1304s| 3800 | 3801 | 6631k|1362.6 | 359M | 25 | 500 | 541 | 520 |1739 | 1 | 209 |1214 | 3.878998e+01 | 5.600000e+01 | 44.37%| unknown
1321.12/1324.72 c 1325s| 3900 | 3901 | 6746k|1358.2 | 360M | 26 | 500 | 539 | 521 |1783 | 1 | 215 |1219 | 3.880143e+01 | 5.600000e+01 | 44.32%| unknown
1337.08/1340.77 c 1341s| 4000 | 4001 | 6843k|1350.6 | 360M | 26 | 500 | 539 | 520 |1812 | 1 | 217 |1224 | 3.881410e+01 | 5.600000e+01 | 44.28%| unknown
1356.13/1359.80 c 1360s| 4100 | 4101 | 6952k|1345.5 | 361M | 26 | 500 | 536 | 521 |1852 | 1 | 220 |1228 | 3.882921e+01 | 5.600000e+01 | 44.22%| unknown
1374.19/1377.95 c 1378s| 4200 | 4201 | 7060k|1340.4 | 361M | 26 | 500 | 537 | 522 |1889 | 1 | 223 |1234 | 3.883684e+01 | 5.600000e+01 | 44.19%| unknown
1395.73/1399.59 c 1400s| 4300 | 4301 | 7185k|1338.8 | 363M | 26 | 500 | 538 | 521 |1943 | 1 | 227 |1238 | 3.885157e+01 | 5.600000e+01 | 44.14%| unknown
1411.99/1415.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1411.99/1415.85 c 1416s| 4400 | 4401 | 7276k|1330.9 | 363M | 26 | 500 | 540 | 521 |1960 | 5 | 230 |1251 | 3.885608e+01 | 5.600000e+01 | 44.12%| unknown
1435.83/1439.75 c 1440s| 4500 | 4501 | 7406k|1330.3 | 364M | 26 | 500 | 538 | 519 |2007 | 1 | 236 |1267 | 3.885688e+01 | 5.600000e+01 | 44.12%| unknown
1448.40/1452.34 c 1452s| 4600 | 4601 | 7475k|1319.1 | 364M | 26 | 500 | 535 | 520 |2023 | 1 | 237 |1273 | 3.886081e+01 | 5.600000e+01 | 44.10%| unknown
1467.85/1471.87 c 1472s| 4700 | 4701 | 7595k|1316.9 | 364M | 26 | 500 | 537 | 522 |2054 | 1 | 241 |1286 | 3.887073e+01 | 5.600000e+01 | 44.07%| unknown
1491.09/1495.11 c 1495s| 4800 | 4801 | 7718k|1315.4 | 365M | 26 | 500 | 537 | 520 |2106 | 1 | 246 |1300 | 3.888380e+01 | 5.600000e+01 | 44.02%| unknown
1505.45/1509.58 c 1510s| 4900 | 4901 | 7804k|1307.9 | 365M | 26 | 500 | 536 | 521 |2138 | 1 | 248 |1303 | 3.888903e+01 | 5.600000e+01 | 44.00%| unknown
1522.41/1526.59 c 1527s| 5000 | 5001 | 7911k|1303.9 | 365M | 26 | 500 | 536 | 520 |2150 | 1 | 251 |1306 | 3.889616e+01 | 5.600000e+01 | 43.97%| unknown
1535.88/1540.08 c 1540s| 5100 | 5101 | 8000k|1297.2 | 365M | 26 | 500 | 537 | 519 |2161 | 1 | 256 |1309 | 3.889689e+01 | 5.600000e+01 | 43.97%| unknown
1551.33/1555.54 c 1556s| 5200 | 5201 | 8086k|1290.2 | 365M | 26 | 500 | 537 | 520 |2192 | 1 | 259 |1314 | 3.890312e+01 | 5.600000e+01 | 43.95%| unknown
1570.98/1575.25 c 1575s| 5300 | 5301 | 8207k|1288.8 | 366M | 26 | 500 | 539 | 520 |2226 | 1 | 263 |1322 | 3.890662e+01 | 5.600000e+01 | 43.93%| unknown
1585.05/1589.38 c 1589s| 5400 | 5401 | 8281k|1280.4 | 366M | 26 | 500 | 543 | 519 |2253 | 1 | 267 |1330 | 3.891821e+01 | 5.600000e+01 | 43.89%| unknown
1598.82/1603.16 c 1603s| 5500 | 5501 | 8373k|1274.8 | 366M | 26 | 500 | 540 | 522 |2266 | 1 | 270 |1335 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1612.78/1617.14 c 1617s| 5600 | 5601 | 8463k|1269.1 | 366M | 28 | 500 | 543 | 521 |2283 | 1 | 276 |1340 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1627.54/1631.90 c 1632s| 5700 | 5701 | 8554k|1263.9 | 366M | 28 | 500 | 538 | 522 |2312 | 1 | 278 |1343 | 3.893114e+01 | 5.600000e+01 | 43.84%| unknown
1639.01/1643.49 c 1643s| 5800 | 5801 | 8630k|1256.5 | 366M | 28 | 500 | 540 | 516 |2322 | 1 | 282 |1346 | 3.893221e+01 | 5.600000e+01 | 43.84%| unknown
1658.26/1662.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1658.26/1662.75 c 1663s| 5900 | 5901 | 8751k|1255.8 | 368M | 28 | 500 | 540 | 522 |2354 | 1 | 285 |1350 | 3.893751e+01 | 5.600000e+01 | 43.82%| unknown
1672.83/1677.38 c 1677s| 6000 | 6001 | 8838k|1250.4 | 368M | 28 | 500 | 544 | 521 |2381 | 1 | 289 |1357 | 3.894099e+01 | 5.600000e+01 | 43.81%| unknown
1687.99/1692.50 c 1692s| 6100 | 6101 | 8952k|1248.8 | 368M | 28 | 500 | 542 | 521 |2386 | 1 | 293 |1361 | 3.895317e+01 | 5.600000e+01 | 43.76%| unknown
1701.95/1706.57 c 1707s| 6200 | 6201 | 9039k|1243.6 | 368M | 28 | 500 | 542 | 521 |2407 | 5 | 297 |1366 | 3.895846e+01 | 5.600000e+01 | 43.74%| unknown
1716.72/1721.36 c 1721s| 6300 | 6301 | 9124k|1238.2 | 369M | 28 | 500 | 542 | 521 |2438 | 1 | 300 |1370 | 3.896248e+01 | 5.600000e+01 | 43.73%| unknown
1732.78/1737.41 c 1737s| 6400 | 6401 | 9223k|1235.0 | 369M | 28 | 500 | 541 | 522 |2460 | 1 | 304 |1377 | 3.897423e+01 | 5.600000e+01 | 43.68%| unknown
1746.94/1751.67 c 1752s| 6500 | 6501 | 9321k|1231.5 | 369M | 28 | 500 | 538 | 520 |2478 | 1 | 306 |1380 | 3.897524e+01 | 5.600000e+01 | 43.68%| unknown
1758.11/1762.85 c 1763s| 6600 | 6601 | 9388k|1224.3 | 369M | 28 | 500 | 537 | 521 |2496 | 1 | 307 |1382 | 3.897676e+01 | 5.600000e+01 | 43.68%| unknown
1775.67/1780.47 c 1780s| 6700 | 6701 | 9488k|1221.3 | 369M | 28 | 500 | 537 | 522 |2530 | 1 | 311 |1392 | 3.898345e+01 | 5.600000e+01 | 43.65%| unknown
1792.93/1797.72 c 1798s| 6800 | 6801 | 9589k|1218.6 | 370M | 28 | 500 | 536 | 520 |2566 | 1 | 314 |1401 | 3.899517e+01 | 5.600000e+01 | 43.61%| unknown
1805.00/1809.88 c 1810s| 6900 | 6901 | 9668k|1213.2 | 370M | 28 | 500 | 535 | 522 |2576 | 1 | 315 |1406 | 3.900241e+01 | 5.600000e+01 | 43.58%| unknown
1817.37/1822.28 c 1822s| 7000 | 7001 | 9751k|1208.5 | 370M | 28 | 500 | 535 | 522 |2582 | 1 | 321 |1414 | 3.900378e+01 | 5.600000e+01 | 43.58%| unknown
1832.73/1837.65 c 1838s| 7100 | 7101 | 9851k|1205.9 | 385M | 28 | 500 | 532 | 519 |2605 | 1 | 324 |1417 | 3.900721e+01 | 5.600000e+01 | 43.56%| unknown
1848.09/1853.08 c 1853s| 7200 | 7201 | 9946k|1202.8 | 385M | 28 | 500 | 535 | 522 |2628 | 1 | 329 |1424 | 3.900989e+01 | 5.600000e+01 | 43.55%| unknown
1858.56/1863.58 c 1864s| 7300 | 7301 | 10018k|1197.0 | 385M | 28 | 500 | 536 | 519 |2628 | 1 | 330 |1429 | 3.901264e+01 | 5.600000e+01 | 43.54%| unknown
1874.22/1879.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1874.22/1879.20 c 1879s| 7400 | 7401 | 10124k|1195.4 | 386M | 28 | 500 | 539 | 521 |2638 | 1 | 336 |1433 | 3.901599e+01 | 5.600000e+01 | 43.53%| unknown
1889.48/1894.51 c 1894s| 7500 | 7501 | 10216k|1192.1 | 386M | 28 | 500 | 538 | 522 |2660 | 1 | 338 |1443 | 3.901642e+01 | 5.600000e+01 | 43.53%| unknown
1901.45/1906.50 c 1906s| 7600 | 7601 | 10285k|1186.3 | 386M | 28 | 500 | 537 | 520 |2681 | 1 | 341 |1447 | 3.903621e+01 | 5.600000e+01 | 43.46%| unknown
1917.71/1922.80 c 1923s| 7700 | 7701 | 10394k|1185.3 | 386M | 28 | 500 | 541 | 520 |2714 | 1 | 346 |1448 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1930.38/1935.55 c 1936s| 7800 | 7801 | 10488k|1182.5 | 386M | 28 | 500 | 538 | 520 |2714 | 1 | 349 |1452 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1945.15/1950.30 c 1950s| 7900 | 7901 | 10576k|1179.1 | 433M | 28 | 500 | 538 | 522 |2747 | 1 | 354 |1452 | 3.904647e+01 | 5.600000e+01 | 43.42%| unknown
1961.20/1966.45 c 1966s| 8000 | 8001 | 10681k|1177.7 | 436M | 28 | 500 | 540 | 521 |2780 | 1 | 361 |1453 | 3.905220e+01 | 5.600000e+01 | 43.40%| unknown
1977.67/1982.93 c 1983s| 8100 | 8101 | 10789k|1176.7 | 438M | 28 | 500 | 540 | 520 |2797 | 1 | 363 |1455 | 3.906039e+01 | 5.600000e+01 | 43.37%| unknown
1989.44/1994.71 c 1995s| 8200 | 8201 | 10861k|1171.7 | 438M | 28 | 500 | 543 | 521 |2802 | 1 | 367 |1466 | 3.906418e+01 | 5.600000e+01 | 43.35%| unknown
2006.00/2011.38 c 2011s| 8300 | 8301 | 10970k|1170.8 | 438M | 28 | 500 | 543 | 521 |2823 | 1 | 368 |1477 | 3.907252e+01 | 5.600000e+01 | 43.32%| unknown
2022.26/2027.67 c 2028s| 8400 | 8401 | 11062k|1168.1 | 438M | 28 | 500 | 545 | 520 |2859 | 1 | 372 |1486 | 3.907296e+01 | 5.600000e+01 | 43.32%| unknown
2034.63/2040.05 c 2040s| 8500 | 8501 | 11144k|1164.5 | 438M | 28 | 500 | 542 | 521 |2872 | 1 | 372 |1492 | 3.907992e+01 | 5.600000e+01 | 43.30%| unknown
2049.89/2055.36 c 2055s| 8600 | 8601 | 11237k|1162.0 | 438M | 28 | 500 | 537 | 520 |2894 | 1 | 376 |1500 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2064.45/2070.00 c 2070s| 8700 | 8701 | 11335k|1160.2 | 438M | 28 | 500 | 532 | 522 |2911 | 1 | 378 |1507 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2075.72/2081.28 c 2081s| 8800 | 8801 | 11404k|1155.4 | 439M | 28 | 500 | 531 | 521 |2925 | 1 | 378 |1512 | 3.908593e+01 | 5.600000e+01 | 43.27%| unknown
2090.69/2096.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2090.69/2096.24 c 2096s| 8900 | 8901 | 11507k|1154.2 | 440M | 28 | 500 | 536 | 520 |2937 | 1 | 387 |1519 | 3.909444e+01 | 5.600000e+01 | 43.24%| unknown
2105.75/2111.38 c 2111s| 9000 | 9001 | 11604k|1152.3 | 440M | 28 | 500 | 535 | 521 |2965 | 1 | 389 |1521 | 3.909522e+01 | 5.600000e+01 | 43.24%| unknown
2118.02/2123.64 c 2124s| 9100 | 9101 | 11682k|1148.7 | 440M | 28 | 500 | 538 | 521 |2980 | 1 | 392 |1523 | 3.909645e+01 | 5.600000e+01 | 43.24%| unknown
2134.77/2140.43 c 2140s| 9200 | 9201 | 11787k|1147.7 | 441M | 28 | 500 | 542 | 520 |3013 | 1 | 398 |1525 | 3.909657e+01 | 5.600000e+01 | 43.24%| unknown
2148.64/2154.33 c 2154s| 9300 | 9301 | 11875k|1145.1 | 441M | 28 | 500 | 542 | 520 |3035 | 1 | 401 |1529 | 3.909844e+01 | 5.600000e+01 | 43.23%| unknown
2162.50/2168.29 c 2168s| 9400 | 9401 | 11968k|1143.1 | 442M | 28 | 500 | 545 | 520 |3052 | 1 | 405 |1533 | 3.910398e+01 | 5.600000e+01 | 43.21%| unknown
2176.07/2181.82 c 2182s| 9500 | 9501 | 12047k|1139.7 | 442M | 28 | 500 | 545 | 520 |3075 | 1 | 406 |1535 | 3.910941e+01 | 5.600000e+01 | 43.19%| unknown
2186.35/2192.18 c 2192s| 9600 | 9601 | 12116k|1135.5 | 442M | 28 | 500 | 548 | 520 |3080 | 1 | 410 |1538 | 3.911103e+01 | 5.600000e+01 | 43.18%| unknown
2202.60/2208.42 c 2208s| 9700 | 9701 | 12238k|1136.3 | 442M | 28 | 500 | 546 | 520 |3092 | 1 | 414 |1542 | 3.911599e+01 | 5.600000e+01 | 43.16%| unknown
2217.76/2223.63 c 2224s| 9800 | 9801 | 12326k|1133.9 | 442M | 28 | 500 | 548 | 522 |3124 | 1 | 420 |1547 | 3.911728e+01 | 5.600000e+01 | 43.16%| unknown
2233.53/2239.47 c 2239s| 9900 | 9901 | 12413k|1131.5 | 446M | 28 | 500 | 549 | 521 |3169 | 1 | 425 |1549 | 3.912063e+01 | 5.600000e+01 | 43.15%| unknown
2250.58/2256.52 c 2257s| 10000 | 10001 | 12523k|1131.2 | 447M | 28 | 500 | 545 | 521 |3189 | 1 | 429 |1558 | 3.912208e+01 | 5.600000e+01 | 43.14%| unknown
2264.55/2270.56 c 2271s| 10100 | 10101 | 12600k|1128.0 | 448M | 28 | 500 | 545 | 521 |3206 | 1 | 430 |1569 | 3.912592e+01 | 5.600000e+01 | 43.13%| unknown
2277.61/2283.66 c 2284s| 10200 | 10201 | 12691k|1126.0 | 448M | 28 | 500 | 543 | 520 |3213 | 1 | 433 |1575 | 3.912776e+01 | 5.600000e+01 | 43.12%| unknown
2292.18/2298.21 c 2298s| 10300 | 10301 | 12782k|1124.1 | 448M | 28 | 500 | 542 | 520 |3230 | 1 | 438 |1583 | 3.913087e+01 | 5.600000e+01 | 43.11%| unknown
2307.34/2313.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2307.34/2313.43 c 2313s| 10400 | 10401 | 12879k|1122.8 | 448M | 28 | 500 | 543 | 522 |3253 | 6 | 441 |1588 | 3.913232e+01 | 5.600000e+01 | 43.10%| unknown
2321.01/2327.17 c 2327s| 10500 | 10501 | 12968k|1120.8 | 448M | 28 | 500 | 544 | 520 |3269 | 1 | 446 |1593 | 3.913505e+01 | 5.600000e+01 | 43.09%| unknown
2333.77/2339.98 c 2340s| 10600 | 10601 | 13043k|1117.6 | 448M | 28 | 500 | 543 | 521 |3285 | 1 | 449 |1600 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2350.33/2356.55 c 2357s| 10700 | 10701 | 13159k|1117.9 | 448M | 28 | 500 | 542 | 522 |3309 | 1 | 452 |1608 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2362.50/2368.73 c 2369s| 10800 | 10801 | 13244k|1115.7 | 448M | 28 | 500 | 542 | 521 |3315 | 1 | 457 |1612 | 3.913644e+01 | 5.600000e+01 | 43.09%| unknown
2371.48/2377.73 c 2378s| 10900 | 10901 | 13302k|1111.2 | 448M | 28 | 500 | 541 | 520 |3316 | 1 | 459 |1616 | 3.914115e+01 | 5.600000e+01 | 43.07%| unknown
2383.95/2390.20 c 2390s| 11000 | 11001 | 13391k|1109.4 | 448M | 28 | 500 | 539 | 521 |3328 | 1 | 462 |1619 | 3.914307e+01 | 5.600000e+01 | 43.06%| unknown
2399.11/2405.41 c 2405s| 11100 | 11101 | 13500k|1109.2 | 448M | 28 | 500 | 540 | 519 |3344 | 1 | 467 |1622 | 3.914437e+01 | 5.600000e+01 | 43.06%| unknown
2410.28/2416.62 c 2417s| 11200 | 11201 | 13574k|1106.2 | 448M | 28 | 500 | 540 | 521 |3350 | 1 | 468 |1625 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2421.45/2427.88 c 2428s| 11300 | 11301 | 13641k|1102.7 | 448M | 28 | 500 | 538 | 520 |3371 | 1 | 470 |1629 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2433.52/2439.90 c 2440s| 11400 | 11401 | 13735k|1101.4 | 448M | 28 | 500 | 541 | 521 |3377 | 1 | 474 |1631 | 3.914776e+01 | 5.600000e+01 | 43.05%| unknown
2445.29/2451.72 c 2452s| 11500 | 11501 | 13825k|1099.7 | 448M | 28 | 500 | 545 | 522 |3383 | 1 | 480 |1631 | 3.915307e+01 | 5.600000e+01 | 43.03%| unknown
2455.47/2461.90 c 2462s| 11600 | 11601 | 13891k|1096.3 | 448M | 28 | 500 | 543 | 521 |3393 | 1 | 482 |1633 | 3.916147e+01 | 5.600000e+01 | 43.00%| unknown
2466.94/2473.46 c 2473s| 11700 | 11701 | 13973k|1094.1 | 449M | 28 | 500 | 544 | 520 |3406 | 1 | 485 |1634 | 3.916443e+01 | 5.600000e+01 | 42.99%| unknown
2480.20/2486.70 c 2487s| 11800 | 11801 | 14061k|1092.5 | 449M | 28 | 500 | 542 | 521 |3421 | 1 | 487 |1636 | 3.916981e+01 | 5.600000e+01 | 42.97%| unknown
2490.88/2497.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2490.88/2497.43 c 2497s| 11900 | 11901 | 14144k|1090.4 | 449M | 28 | 500 | 544 | 520 |3422 | 1 | 490 |1638 | 3.917431e+01 | 5.600000e+01 | 42.95%| unknown
2505.55/2512.18 c 2512s| 12000 | 12001 | 14241k|1089.5 | 449M | 28 | 500 | 546 | 521 |3446 | 1 | 493 |1644 | 3.917569e+01 | 5.600000e+01 | 42.95%| unknown
2522.51/2529.19 c 2529s| 12100 | 12101 | 14356k|1090.0 | 449M | 28 | 500 | 545 | 521 |3450 | 1 | 499 |1652 | 3.917948e+01 | 5.600000e+01 | 42.93%| unknown
2532.58/2539.29 c 2539s| 12200 | 12201 | 14419k|1086.5 | 449M | 28 | 500 | 544 | 521 |3456 | 1 | 501 |1658 | 3.918455e+01 | 5.600000e+01 | 42.91%| unknown
2545.45/2552.13 c 2552s| 12300 | 12301 | 14518k|1085.8 | 449M | 28 | 500 | 542 | 521 |3457 | 1 | 505 |1665 | 3.918563e+01 | 5.600000e+01 | 42.91%| unknown
2557.32/2564.04 c 2564s| 12400 | 12401 | 14600k|1083.8 | 449M | 28 | 500 | 541 | 522 |3463 | 6 | 506 |1672 | 3.919032e+01 | 5.600000e+01 | 42.89%| unknown
2570.68/2577.49 c 2577s| 12500 | 12501 | 14692k|1082.6 | 449M | 29 | 500 | 539 | 521 |3469 | 1 | 509 |1680 | 3.919415e+01 | 5.600000e+01 | 42.88%| unknown
2583.75/2590.52 c 2591s| 12600 | 12601 | 14789k|1081.7 | 449M | 29 | 500 | 541 | 521 |3481 | 1 | 513 |1684 | 3.919561e+01 | 5.600000e+01 | 42.87%| unknown
2595.23/2602.02 c 2602s| 12700 | 12701 | 14862k|1079.2 | 449M | 29 | 500 | 540 | 519 |3494 | 1 | 514 |1690 | 3.919997e+01 | 5.600000e+01 | 42.86%| unknown
2609.69/2616.59 c 2617s| 12800 | 12801 | 14958k|1078.4 | 449M | 29 | 500 | 541 | 520 |3518 | 1 | 518 |1691 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2619.86/2626.77 c 2627s| 12900 | 12901 | 15034k|1076.0 | 449M | 29 | 500 | 541 | 521 |3525 | 1 | 521 |1693 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2629.14/2636.02 c 2636s| 13000 | 13001 | 15101k|1073.2 | 449M | 29 | 500 | 542 | 522 |3525 | 1 | 524 |1698 | 3.920374e+01 | 5.600000e+01 | 42.84%| unknown
2641.21/2648.15 c 2648s| 13100 | 13101 | 15183k|1071.4 | 450M | 29 | 500 | 539 | 519 |3536 | 1 | 525 |1703 | 3.920593e+01 | 5.600000e+01 | 42.84%| unknown
2654.18/2661.11 c 2661s| 13200 | 13201 | 15285k|1071.0 | 450M | 29 | 500 | 539 | 520 |3540 | 1 | 528 |1706 | 3.920626e+01 | 5.600000e+01 | 42.83%| unknown
2665.25/2672.23 c 2672s| 13300 | 13301 | 15360k|1068.8 | 450M | 29 | 500 | 539 | 520 |3544 | 1 | 531 |1707 | 3.920923e+01 | 5.600000e+01 | 42.82%| unknown
2676.82/2683.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2676.82/2683.84 c 2684s| 13400 | 13401 | 15449k|1067.5 | 450M | 29 | 500 | 542 | 520 |3550 | 1 | 537 |1709 | 3.920955e+01 | 5.600000e+01 | 42.82%| unknown
2688.89/2695.91 c 2696s| 13500 | 13501 | 15539k|1066.4 | 450M | 29 | 500 | 541 | 522 |3550 | 1 | 540 |1713 | 3.921031e+01 | 5.600000e+01 | 42.82%| unknown
2700.66/2707.78 c 2708s| 13600 | 13601 | 15624k|1064.9 | 450M | 29 | 500 | 541 | 522 |3560 | 1 | 544 |1716 | 3.921130e+01 | 5.600000e+01 | 42.82%| unknown
2712.13/2719.22 c 2719s| 13700 | 13701 | 15707k|1063.3 | 450M | 29 | 500 | 541 | 521 |3569 | 1 | 548 |1718 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2724.60/2731.79 c 2732s| 13800 | 13801 | 15801k|1062.5 | 450M | 29 | 500 | 543 | 520 |3581 | 1 | 551 |1722 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2736.67/2743.80 c 2744s| 13900 | 13901 | 15879k|1060.6 | 450M | 29 | 500 | 547 | 521 |3599 | 1 | 556 |1725 | 3.921331e+01 | 5.600000e+01 | 42.81%| unknown
2747.54/2754.79 c 2755s| 14000 | 14001 | 15952k|1058.4 | 450M | 29 | 500 | 547 | 520 |3606 | 1 | 558 |1732 | 3.921376e+01 | 5.600000e+01 | 42.81%| unknown
2758.71/2765.98 c 2766s| 14100 | 14101 | 16025k|1056.2 | 450M | 29 | 500 | 545 | 520 |3606 | 1 | 561 |1740 | 3.921416e+01 | 5.600000e+01 | 42.81%| unknown
2759.31/2766.58 o 55
2759.31/2766.58 c L2767s| 14102 | 14103 | 16026k|1056.1 |crossove| 30 | 500 | 545 | 520 |3606 | 1 | 561 |1741 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2773.17/2780.47 c 2780s| 14200 | 14201 | 16130k|1056.2 | 450M | 33 | 500 | 548 | 521 |3619 | 1 | 567 |1743 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2782.95/2790.29 c 2790s| 14300 | 14301 | 16206k|1054.3 | 450M | 33 | 500 | 550 | 519 |3619 | 1 | 572 |1745 | 3.921666e+01 | 5.500000e+01 | 40.25%| unknown
2799.90/2807.23 c 2807s| 14400 | 14401 | 16289k|1052.8 | 450M | 33 | 500 | 550 | 520 |3619 | 1 | 574 |1748 | 3.921691e+01 | 5.500000e+01 | 40.25%| unknown
2810.78/2818.15 c 2818s| 14500 | 14501 | 16368k|1051.1 | 450M | 33 | 500 | 548 | 520 |3623 | 1 | 575 |1752 | 3.922047e+01 | 5.500000e+01 | 40.23%| unknown
2822.15/2829.50 c 2829s| 14600 | 14601 | 16453k|1049.8 | 450M | 33 | 500 | 549 | 522 |3630 | 1 | 580 |1754 | 3.922583e+01 | 5.500000e+01 | 40.21%| unknown
2833.12/2840.50 c 2840s| 14700 | 14701 | 16515k|1047.1 | 450M | 33 | 500 | 550 | 520 |3650 | 1 | 583 |1761 | 3.923159e+01 | 5.500000e+01 | 40.19%| unknown
2843.79/2851.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2843.79/2851.28 c 2851s| 14800 | 14801 | 16598k|1045.7 | 451M | 33 | 500 | 553 | 521 |3650 | 1 | 592 |1765 | 3.923174e+01 | 5.500000e+01 | 40.19%| unknown
2854.87/2862.34 c 2862s| 14900 | 14901 | 16675k|1044.0 | 451M | 33 | 500 | 552 | 521 |3651 | 1 | 594 |1773 | 3.923699e+01 | 5.500000e+01 | 40.17%| unknown
2865.84/2873.30 c 2873s| 15000 | 15001 | 16753k|1042.4 | 451M | 33 | 500 | 553 | 520 |3654 | 1 | 598 |1780 | 3.923972e+01 | 5.500000e+01 | 40.16%| unknown
2880.10/2887.69 c 2888s| 15100 | 15101 | 16853k|1042.1 | 451M | 33 | 500 | 552 | 521 |3655 | 1 | 602 |1793 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2889.98/2897.59 c 2898s| 15200 | 15201 | 16926k|1040.2 | 451M | 33 | 500 | 553 | 521 |3655 | 1 | 605 |1795 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2899.75/2907.30 c 2907s| 15300 | 15301 | 16997k|1038.2 | 451M | 33 | 500 | 553 | 521 |3655 | 1 | 607 |1800 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2909.73/2917.34 c 2917s| 15400 | 15401 | 17065k|1036.0 | 451M | 33 | 500 | 554 | 520 |3659 | 1 | 611 |1809 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2921.50/2929.13 c 2929s| 15500 | 15501 | 17147k|1034.7 | 451M | 33 | 500 | 554 | 522 |3670 | 1 | 616 |1812 | 3.924999e+01 | 5.500000e+01 | 40.13%| unknown
2933.07/2940.72 c 2941s| 15600 | 15601 | 17231k|1033.5 | 451M | 33 | 500 | 554 | 520 |3680 | 1 | 620 |1815 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2942.75/2950.45 c 2950s| 15700 | 15701 | 17296k|1031.2 | 451M | 33 | 500 | 552 | 521 |3686 | 1 | 622 |1819 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2953.72/2961.47 c 2961s| 15800 | 15801 | 17376k|1029.8 | 451M | 33 | 500 | 550 | 522 |3690 | 1 | 623 |1821 | 3.925149e+01 | 5.500000e+01 | 40.12%| unknown
2965.29/2973.07 c 2973s| 15900 | 15901 | 17460k|1028.7 | 452M | 33 | 500 | 552 | 521 |3700 | 1 | 629 |1824 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2973.47/2981.26 c 2981s| 16000 | 16001 | 17522k|1026.3 | 452M | 33 | 500 | 554 | 521 |3700 | 1 | 634 |1828 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2984.14/2991.90 c 2992s| 16100 | 16101 | 17588k|1024.2 | 452M | 33 | 500 | 555 | 520 |3704 | 1 | 636 |1839 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2995.61/3003.49 c 3003s| 16200 | 16201 | 17676k|1023.4 | 452M | 33 | 500 | 551 | 520 |3704 | 1 | 639 |1843 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
3005.39/3013.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3005.39/3013.28 c 3013s| 16300 | 16301 | 17751k|1021.7 | 452M | 33 | 500 | 552 | 519 |3704 | 1 | 642 |1847 | 3.925385e+01 | 5.500000e+01 | 40.11%| unknown
3015.17/3023.05 c 3023s| 16400 | 16401 | 17826k|1020.2 | 452M | 33 | 500 | 554 | 521 |3704 | 1 | 644 |1850 | 3.925505e+01 | 5.500000e+01 | 40.11%| unknown
3027.43/3035.33 c 3035s| 16500 | 16501 | 17916k|1019.5 | 452M | 33 | 500 | 557 | 520 |3709 | 1 | 653 |1857 | 3.925749e+01 | 5.500000e+01 | 40.10%| unknown
3037.61/3045.58 c 3046s| 16600 | 16601 | 17989k|1017.9 | 452M | 33 | 500 | 556 | 520 |3709 | 1 | 657 |1863 | 3.925808e+01 | 5.500000e+01 | 40.10%| unknown
3046.09/3054.09 c 3054s| 16700 | 16701 | 18051k|1015.6 | 452M | 33 | 500 | 556 | 521 |3709 | 1 | 658 |1866 | 3.926153e+01 | 5.500000e+01 | 40.09%| unknown
3058.75/3066.70 c 3067s| 16800 | 16801 | 18150k|1015.5 | 452M | 33 | 500 | 557 | 520 |3709 | 1 | 663 |1870 | 3.926176e+01 | 5.500000e+01 | 40.09%| unknown
3068.93/3076.91 c 3077s| 16900 | 16901 | 18223k|1013.9 | 452M | 33 | 500 | 556 | 521 |3709 | 1 | 665 |1872 | 3.926202e+01 | 5.500000e+01 | 40.08%| unknown
3079.90/3087.97 c 3088s| 17000 | 17001 | 18310k|1013.1 | 452M | 33 | 500 | 553 | 521 |3709 | 1 | 669 |1875 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3090.47/3098.58 c 3099s| 17100 | 17101 | 18387k|1011.8 | 452M | 33 | 500 | 555 | 521 |3714 | 1 | 674 |1878 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3101.05/3109.16 c 3109s| 17200 | 17201 | 18468k|1010.7 | 452M | 33 | 500 | 555 | 520 |3714 | 1 | 676 |1880 | 3.926430e+01 | 5.500000e+01 | 40.08%| unknown
3114.41/3122.54 c 3123s| 17300 | 17301 | 18535k|1008.8 | 452M | 33 | 500 | 554 | 521 |3720 | 1 | 679 |1882 | 3.926931e+01 | 5.500000e+01 | 40.06%| unknown
3126.08/3134.23 c 3134s| 17400 | 17401 | 18628k|1008.4 | 452M | 33 | 500 | 554 | 520 |3724 | 1 | 682 |1884 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3137.36/3145.52 c 3146s| 17500 | 17501 | 18707k|1007.2 | 453M | 33 | 500 | 554 | 521 |3728 | 1 | 687 |1890 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3147.93/3156.14 c 3156s| 17600 | 17601 | 18784k|1005.9 | 453M | 33 | 500 | 554 | 519 |3728 | 1 | 690 |1898 | 3.927474e+01 | 5.500000e+01 | 40.04%| unknown
3158.70/3166.90 c 3167s| 17700 | 17701 | 18848k|1004.0 | 454M | 33 | 500 | 555 | 521 |3740 | 1 | 693 |1907 | 3.927582e+01 | 5.500000e+01 | 40.04%| unknown
3170.97/3179.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3170.97/3179.23 c 3179s| 17800 | 17801 | 18934k|1003.2 | 454M | 33 | 500 | 553 | 520 |3754 | 1 | 698 |1913 | 3.927712e+01 | 5.500000e+01 | 40.03%| unknown
3182.64/3190.93 c 3191s| 17900 | 17901 | 19009k|1001.9 | 454M | 33 | 500 | 553 | 522 |3761 | 2 | 701 |1922 | 3.928222e+01 | 5.500000e+01 | 40.01%| unknown
3195.01/3203.33 c 3203s| 18000 | 18001 | 19093k|1001.0 | 454M | 33 | 500 | 551 | 521 |3771 | 1 | 705 |1929 | 3.928598e+01 | 5.500000e+01 | 40.00%| unknown
3204.19/3212.59 c 3213s| 18100 | 18101 | 19161k| 999.4 | 454M | 33 | 500 | 552 | 519 |3771 | 1 | 708 |1933 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3213.77/3222.11 c 3222s| 18200 | 18201 | 19235k| 998.0 | 454M | 33 | 500 | 551 | 521 |3771 | 1 | 710 |1935 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3224.04/3232.42 c 3232s| 18300 | 18301 | 19314k| 996.9 | 454M | 33 | 500 | 554 | 522 |3776 | 1 | 717 |1937 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3234.62/3243.05 c 3243s| 18400 | 18401 | 19395k| 996.0 | 454M | 33 | 500 | 555 | 522 |3776 | 1 | 721 |1940 | 3.928909e+01 | 5.500000e+01 | 39.99%| unknown
3244.79/3253.24 c 3253s| 18500 | 18501 | 19469k| 994.6 | 454M | 33 | 500 | 555 | 520 |3777 | 1 | 723 |1946 | 3.929002e+01 | 5.500000e+01 | 39.98%| unknown
3255.56/3264.10 c 3264s| 18600 | 18601 | 19554k| 993.9 | 454M | 33 | 500 | 555 | 519 |3777 | 1 | 728 |1948 | 3.929023e+01 | 5.500000e+01 | 39.98%| unknown
3267.03/3275.58 c 3276s| 18700 | 18701 | 19634k| 993.0 | 454M | 33 | 500 | 558 | 521 |3781 | 1 | 732 |1957 | 3.929133e+01 | 5.500000e+01 | 39.98%| unknown
3276.51/3285.06 c 3285s| 18800 | 18801 | 19700k| 991.2 | 454M | 33 | 500 | 562 | 520 |3781 | 1 | 738 |1962 | 3.929467e+01 | 5.500000e+01 | 39.97%| unknown
3286.28/3294.87 c 3295s| 18900 | 18901 | 19768k| 989.7 | 454M | 33 | 500 | 561 | 520 |3782 | 1 | 739 |1967 | 3.929677e+01 | 5.500000e+01 | 39.96%| unknown
3297.56/3306.14 c 3306s| 19000 | 19001 | 19856k| 989.1 | 454M | 33 | 500 | 564 | 519 |3789 | 1 | 746 |1970 | 3.929838e+01 | 5.500000e+01 | 39.95%| unknown
3306.83/3315.45 c 3315s| 19100 | 19101 | 19931k| 988.0 | 454M | 33 | 500 | 564 | 521 |3790 | 1 | 750 |1971 | 3.930154e+01 | 5.500000e+01 | 39.94%| unknown
3316.80/3325.48 c 3325s| 19200 | 19201 | 19993k| 986.2 | 454M | 33 | 500 | 562 | 520 |3790 | 1 | 753 |1976 | 3.930246e+01 | 5.500000e+01 | 39.94%| unknown
3326.49/3335.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3326.49/3335.13 c 3335s| 19300 | 19301 | 20063k| 984.7 | 454M | 33 | 500 | 564 | 520 |3790 | 1 | 756 |1981 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3336.36/3345.04 c 3345s| 19400 | 19401 | 20136k| 983.5 | 454M | 33 | 500 | 566 | 521 |3791 | 1 | 761 |1984 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3347.53/3356.25 c 3356s| 19500 | 19501 | 20218k| 982.7 | 454M | 33 | 500 | 563 | 521 |3801 | 1 | 765 |1987 | 3.930559e+01 | 5.500000e+01 | 39.93%| unknown
3357.60/3366.32 c 3366s| 19600 | 19601 | 20297k| 981.8 | 454M | 33 | 500 | 560 | 522 |3806 | 1 | 768 |1987 | 3.930695e+01 | 5.500000e+01 | 39.92%| unknown
3370.07/3378.80 c 3379s| 19700 | 19701 | 20386k| 981.3 | 454M | 33 | 500 | 557 | 522 |3812 | 1 | 769 |1990 | 3.930815e+01 | 5.500000e+01 | 39.92%| unknown
3381.35/3390.13 c 3390s| 19800 | 19801 | 20454k| 979.9 | 454M | 33 | 500 | 558 | 521 |3832 | 1 | 771 |1993 | 3.931020e+01 | 5.500000e+01 | 39.91%| unknown
3391.62/3400.41 c 3400s| 19900 | 19901 | 20534k| 979.0 | 455M | 33 | 500 | 558 | 522 |3838 | 6 | 776 |1994 | 3.931062e+01 | 5.500000e+01 | 39.91%| unknown
3403.59/3412.42 c 3412s| 20000 | 20001 | 20618k| 978.4 | 455M | 33 | 500 | 552 | 520 |3844 | 1 | 777 |1999 | 3.931098e+01 | 5.500000e+01 | 39.91%| unknown
3412.86/3421.71 c 3422s| 20100 | 20101 | 20676k| 976.5 | 455M | 33 | 500 | 555 | 521 |3844 | 1 | 782 |2005 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3422.54/3431.42 c 3431s| 20200 | 20201 | 20750k| 975.4 | 455M | 33 | 500 | 554 | 521 |3844 | 1 | 784 |2010 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3434.91/3443.81 c 3444s| 20300 | 20301 | 20846k| 975.3 | 455M | 33 | 500 | 552 | 519 |3844 | 1 | 789 |2016 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3443.78/3452.78 c 3453s| 20400 | 20401 | 20912k| 973.8 | 455M | 33 | 500 | 553 | 521 |3844 | 1 | 792 |2021 | 3.931303e+01 | 5.500000e+01 | 39.90%| unknown
3452.96/3461.96 c 3462s| 20500 | 20501 | 20978k| 972.4 | 455M | 33 | 500 | 555 | 522 |3844 | 1 | 797 |2026 | 3.931360e+01 | 5.500000e+01 | 39.90%| unknown
3464.83/3473.82 c 3474s| 20600 | 20601 | 21074k| 972.3 | 455M | 33 | 500 | 557 | 520 |3844 | 1 | 801 |2031 | 3.931513e+01 | 5.500000e+01 | 39.90%| unknown
3475.50/3484.57 c 3485s| 20700 | 20701 | 21138k| 970.8 | 455M | 33 | 500 | 557 | 521 |3856 | 1 | 803 |2034 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3482.89/3491.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3482.89/3491.99 c 3492s| 20800 | 20801 | 21197k| 969.0 | 455M | 33 | 500 | 557 | 519 |3856 | 1 | 805 |2035 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3492.86/3501.98 c 3502s| 20900 | 20901 | 21276k| 968.2 | 455M | 33 | 500 | 554 | 520 |3856 | 1 | 807 |2037 | 3.931801e+01 | 5.500000e+01 | 39.89%| unknown
3501.84/3510.99 c 3511s| 21000 | 21001 | 21341k| 966.8 | 455M | 33 | 500 | 553 | 520 |3856 | 1 | 808 |2042 | 3.932011e+01 | 5.500000e+01 | 39.88%| unknown
3514.11/3523.22 c 3523s| 21100 | 21101 | 21428k| 966.4 | 455M | 33 | 500 | 550 | 522 |3856 | 1 | 811 |2052 | 3.932146e+01 | 5.500000e+01 | 39.87%| unknown
3524.78/3533.97 c 3534s| 21200 | 21201 | 21506k| 965.5 | 455M | 33 | 500 | 553 | 522 |3861 | 1 | 817 |2054 | 3.932156e+01 | 5.500000e+01 | 39.87%| unknown
3538.35/3547.52 c 3548s| 21300 | 21301 | 21595k| 965.2 | 456M | 33 | 500 | 556 | 522 |3883 | 1 | 821 |2061 | 3.932308e+01 | 5.500000e+01 | 39.87%| unknown
3547.72/3556.94 c 3557s| 21400 | 21401 | 21664k| 964.0 | 456M | 33 | 500 | 556 | 521 |3883 | 1 | 822 |2065 | 3.932312e+01 | 5.500000e+01 | 39.87%| unknown
3558.10/3567.39 c 3567s| 21500 | 21501 | 21741k| 963.1 | 456M | 33 | 500 | 556 | 522 |3884 | 1 | 825 |2071 | 3.932390e+01 | 5.500000e+01 | 39.86%| unknown
3568.07/3577.30 c 3577s| 21600 | 21601 | 21819k| 962.3 | 456M | 33 | 500 | 554 | 521 |3884 | 1 | 829 |2075 | 3.932397e+01 | 5.500000e+01 | 39.86%| unknown
3579.24/3588.59 c 3589s| 21700 | 21701 | 21906k| 961.9 | 456M | 33 | 500 | 555 | 521 |3884 | 1 | 834 |2081 | 3.932554e+01 | 5.500000e+01 | 39.86%| unknown
3587.73/3597.01 c
3587.73/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.73/3597.01 c Solving Time (sec) : 3597.00
3587.73/3597.01 c Solving Nodes : 21788 (total of 22837 nodes in 2 runs)
3587.73/3597.01 c Primal Bound : +5.50000000000000e+01 (597 solutions)
3587.73/3597.01 c Dual Bound : +3.93289650908396e+01
3587.73/3597.01 c Gap : 39.85 %
3587.73/3597.01 s SATISFIABLE
3587.73/3597.01 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3587.73/3597.01 v -x478 x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
3587.73/3597.01 v -x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437
3587.73/3597.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3587.73/3597.01 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3587.73/3597.01 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374
3587.73/3597.01 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
3587.73/3597.01 v -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
3587.73/3597.01 v x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3587.73/3597.01 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3587.73/3597.01 v -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
3587.73/3597.01 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3587.73/3597.01 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227
3587.73/3597.01 v -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
3587.73/3597.01 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 x185
3587.73/3597.01 v -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3587.73/3597.01 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3587.73/3597.01 v -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
3587.73/3597.01 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100
3587.73/3597.01 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
3587.73/3597.01 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
3587.73/3597.01 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
3587.73/3597.01 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
3587.73/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.73/3597.01 c Total Time : 3597.00
3587.73/3597.01 c solving : 3597.00
3587.73/3597.01 c presolving : 0.10 (included in solving)
3587.73/3597.01 c reading : 0.02 (included in solving)
3587.73/3597.01 c copying : 0.07 (18 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3587.73/3597.01 c Original Problem :
3587.73/3597.01 c Problem name : HOME/instance-4498269-1751268250.opb
3587.73/3597.01 c Variables : 6828 (500 binary, 0 integer, 6328 implicit integer, 0 continuous)
3587.73/3597.01 c Constraints : 7328 initial, 7328 maximal
3587.73/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.73/3597.01 c Presolved Problem :
3587.73/3597.01 c Problem name : t_HOME/instance-4498269-1751268250.opb
3587.73/3597.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.73/3597.01 c Constraints : 541 initial, 567 maximal
3587.73/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.73/3597.01 c Nonzeros : 15446 constraint, 0 clique table
3587.73/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.73/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualfix : 0.00 0.00 5 6328 0 0 0 0 0 0 0 0
3587.73/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c linear : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c logicor : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 7328 500 0 0
3587.73/3597.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.73/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.73/3597.01 c benderslp : 0 0 0 0 22836 0 0 1809 0 0 0 0 0 0 0
3587.73/3597.01 c integral : 0 0 0 0 22836 0 0 1809 0 0 0 0 0 0 45672
3587.73/3597.01 c linear : 14 14 15 217900 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c logicor : 527+ 553 31 109664 0 0 0 1805 903 198 0 0 0 0 0
3587.73/3597.01 c benders : 0 0 0 0 0 0 0 700 0 0 0 0 0 0 0
3587.73/3597.01 c fixedvar : 0 0 0 0 0 0 0 698 0 0 0 0 0 0 0
3587.73/3597.01 c countsols : 0 0 0 0 0 0 0 698 0 0 0 0 0 0 0
3587.73/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.73/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c integral : 314.26 0.00 0.00 0.00 314.26 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c linear : 1.57 0.00 1.25 0.30 0.00 0.00 0.00 0.00 0.00 0.01
3587.73/3597.01 c logicor : 0.30 0.00 0.00 0.28 0.00 0.00 0.00 0.01 0.00 0.00
3587.73/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c fixedvar : 0.22 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00 0.00
3587.73/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.73/3597.01 c dualfix : 3 0 0 0
3587.73/3597.01 c genvbounds : 0 0 0 0
3587.73/3597.01 c nlobbt : 0 0 0 0
3587.73/3597.01 c obbt : 0 0 0 0
3587.73/3597.01 c probing : 0 0 0 0
3587.73/3597.01 c pseudoobj : 45707 0 0 0
3587.73/3597.01 c redcost : 35 0 0 0
3587.73/3597.01 c rootredcost : 4 0 0 0
3587.73/3597.01 c symmetry : 0 0 0 0
3587.73/3597.01 c vbounds : 0 0 0 0
3587.73/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.73/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.73/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3587.73/3597.01 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.73/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.73/3597.01 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.00
3587.73/3597.01 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.73/3597.01 c Symmetry :
3587.73/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.73/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.73/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.73/3597.01 c shadow tree time : 0.00 s
3587.73/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.73/3597.01 c propagation : 0.00 198 14 - 79 142.4 0 0.0 - - -
3587.73/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.73/3597.01 c bound exceed. LP : 0.86 2006 823 - 1115 86.3 0 0.0 0 0.0 6800
3587.73/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.73/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.73/3597.01 c applied globally : 0.00 - - 0 696 61.1 - - 0 - -
3587.73/3597.01 c applied locally : - - - 0 141 107.6 - - 0 - -
3587.73/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.73/3597.01 c cut pool : 28.74 - 9598 49 - - 207688 347237 - - - - - (maximal pool size: 5111)
3587.73/3597.01 c aggregation : 264.84 0.00 4439 31 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.73/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.73/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.73/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c gomory : 56.23 0.00 4083 20 0 0 207642 346335 0 4438 4438 0 0
3587.73/3597.01 c > gomorymi : - - - - - - - 231373 0 3609 3609 0 -
3587.73/3597.01 c > strongcg : - - - - - - - 114962 0 829 829 0 -
3587.73/3597.01 c impliedbounds : 0.07 0.00 4439 31 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c multilinear : 0.00 0.00 2497 31 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c rlt : 0.01 0.00 914 20 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c zerohalf : 41.55 0.00 4094 31 0 0 46 902 0 53 53 0 0
3587.73/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.73/3597.01 c hybrid : 2.11 0.00 4491 31 4491 0 342746 31 0 6447
3587.73/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.73/3597.01 c problem variables: 0.00 - 0 0
3587.73/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.73/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c relpscost : 314.24 0.00 22836 0 0 0 0 0 0 45672
3587.73/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.73/3597.01 c LP solutions : 0.00 - - 0 0
3587.73/3597.01 c relax solutions : 0.00 - - 0 0
3587.73/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.73/3597.01 c strong branching : 0.15 - - 139 0
3587.73/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c adaptivediving : 16.66 0.00 15 1 0
3587.73/3597.01 c alns : 1.09 0.00 5 0 0
3587.73/3597.01 c bound : 0.00 0.00 0 0 0
3587.73/3597.01 c clique : 0.00 0.00 0 0 0
3587.73/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c completesol : 0.00 0.00 0 0 0
3587.73/3597.01 c conflictdiving : 182.68 0.00 337 1 0
3587.73/3597.01 c crossover : 7.29 0.00 4 4 2
3587.73/3597.01 c dins : 0.00 0.00 0 0 0
3587.73/3597.01 c distributiondivin: 118.11 0.00 88 3 0
3587.73/3597.01 c dps : 0.00 0.00 0 0 0
3587.73/3597.01 c dualval : 0.00 0.00 0 0 0
3587.73/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.73/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.73/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.73/3597.01 c fracdiving : 81.72 0.00 81 2 0
3587.73/3597.01 c gins : 0.01 0.00 0 0 0
3587.73/3597.01 c guideddiving : 64.21 0.00 69 0 0
3587.73/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c indicator : 0.01 0.00 0 0 0
3587.73/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.73/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.73/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.73/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.73/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.73/3597.01 c linesearchdiving : 60.64 0.00 90 0 0
3587.73/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.73/3597.01 c locks : 0.00 0.00 1 1 1
3587.73/3597.01 c lpface : 0.01 0.00 0 0 0
3587.73/3597.01 c mpec : 0.00 0.00 0 0 0
3587.73/3597.01 c multistart : 0.00 0.00 0 0 0
3587.73/3597.01 c mutation : 0.00 0.00 0 0 0
3587.73/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c objpscostdiving : 43.00 0.00 30 66 0
3587.73/3597.01 c octane : 0.00 0.00 0 0 0
3587.73/3597.01 c ofins : 0.00 0.00 0 0 0
3587.73/3597.01 c oneopt : 0.01 0.00 3 0 0
3587.73/3597.01 c padm : 0.00 0.00 0 0 0
3587.73/3597.01 c proximity : 0.00 0.00 0 0 0
3587.73/3597.01 c pscostdiving : 270.17 0.00 381 158 0
3587.73/3597.01 c randrounding : 0.09 0.00 1103 0 0
3587.73/3597.01 c rens : 0.00 0.00 0 0 0
3587.73/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.73/3597.01 c repair : 0.00 0.00 0 0 0
3587.73/3597.01 c rins : 36.96 0.00 9 9 0
3587.73/3597.01 c rootsoldiving : 13.80 0.00 107 0 0
3587.73/3597.01 c rounding : 0.65 0.00 2308 0 0
3587.73/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.73/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.73/3597.01 c shifting : 0.38 0.00 1050 0 0
3587.73/3597.01 c simplerounding : 0.54 0.00 27327 59 0
3587.73/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.73/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.73/3597.01 c trivial : 0.00 0.00 4 1 1
3587.73/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.73/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.73/3597.01 c trysol : 0.01 0.00 0 0 0
3587.73/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.73/3597.01 c undercover : 0.00 0.00 0 0 0
3587.73/3597.01 c vbounds : 0.00 0.00 0 0 0
3587.73/3597.01 c veclendiving : 65.41 0.00 150 0 0
3587.73/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.73/3597.01 c zirounding : 1.57 0.00 7651 153 0
3587.73/3597.01 c other solutions : - - - 0 -
3587.73/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.73/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.73/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.73/3597.01 c primal LP : 4.91 315 0 0.00 0.00 4.91 315
3587.73/3597.01 c dual LP : 1909.04 27328 12351789 451.98 6470.17 0.00 0
3587.73/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.73/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.73/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.73/3597.01 c diving/probing LP: 902.75 9771 9614117 983.94 10649.79
3587.73/3597.01 c strong branching : 290.09 2084 1741618 835.71 6003.62 - - 2384
3587.73/3597.01 c (at root node) : - 40 37754 943.85 -
3587.73/3597.01 c conflict analysis: 0.54 680 6800 10.00 12593.60
3587.73/3597.01 c B&B Tree :
3587.73/3597.01 c number of runs : 2
3587.73/3597.01 c nodes : 21788 (21787 internal, 1 leaves)
3587.73/3597.01 c feasible leaves : 0
3587.73/3597.01 c infeas. leaves : 0
3587.73/3597.01 c objective leaves : 0
3587.73/3597.01 c nodes (total) : 22837 (22836 internal, 1 leaves)
3587.73/3597.01 c nodes left : 21788
3587.73/3597.01 c max depth : 33
3587.73/3597.01 c max depth (total): 33
3587.73/3597.01 c backtracks : 4848 (22.3%)
3587.73/3597.01 c early backtracks : 0 (0.0%)
3587.73/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.73/3597.01 c delayed cutoffs : 0
3587.73/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.73/3597.01 c avg switch length: 5.86
3587.73/3597.01 c switching time : 5.65
3587.73/3597.01 c Root Node :
3587.73/3597.01 c First LP value : +3.68368214105395e+01
3587.73/3597.01 c First LP Iters : 10408 (10085.91 Iter/sec)
3587.73/3597.01 c First LP Time : 1.03
3587.73/3597.01 c Final Dual Bound : +3.82528351763238e+01
3587.73/3597.01 c Final Root Iters : 25804
3587.73/3597.01 c Root LP Estimate : +4.88276804697508e+01
3587.73/3597.01 c Solution :
3587.73/3597.01 c Solutions found : 597 (4 improvements)
3587.73/3597.01 c First Solution : +5.00000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trivial>)
3587.73/3597.01 c Gap First Sol. : infinite
3587.73/3597.01 c Gap Last Sol. : 40.26 %
3587.73/3597.01 c Primal Bound : +5.50000000000000e+01 (in run 2, after 14102 nodes, 2766.57 seconds, depth 30, found by <crossover>)
3587.73/3597.01 c Dual Bound : +3.93289650908396e+01
3587.73/3597.01 c Gap : 39.85 %
3587.73/3597.01 c Integrals : Total Avg%
3587.73/3597.01 c primal-dual : 109664.36 30.49
3587.73/3597.01 c primal-ref : - - (not evaluated)
3587.73/3597.01 c dual-ref : - - (not evaluated)
3587.92/3597.27 c Time complete: 3588.
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: 63708 MiB (61927 MiB free)
memory of node 1: 64465 MiB (63896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498269-1751268250/watcher-4498269-1751268250 -o /tmp/evaluation-result-4498269-1751268250/solver-4498269-1751268250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751268232-43209 --watchdog 3760 pbscip -f HOME/instance-4498269-1751268250.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43494, runsolver pid=43487
[startup+0.100061 s]*
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128779560/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=75676 memory=48640 CPUtime=0.08 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 8692 0 0 0 7 1 0 0 20 0 1 0 42502538 77492224 12160 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 18919 12160 3840 3530 0 10370 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75676 KiB
Current children cumulated memory: 48640 KiB
[startup+0.205431 s]*
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128771748/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=76104 memory=48896 CPUtime=0.18 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 8784 0 0 0 17 1 0 0 20 0 1 0 42502538 77930496 12224 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 19026 12224 3840 3530 0 10477 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76104 KiB
Current children cumulated memory: 48896 KiB
[startup+0.304899 s]*
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128755620/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=76560 memory=49280 CPUtime=0.28 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 8866 0 0 0 27 1 0 0 20 0 1 0 42502538 78397440 12320 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 19140 12320 3840 3530 0 10591 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76560 KiB
Current children cumulated memory: 49280 KiB
[startup+0.70013 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128723364/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=77548 memory=50104 CPUtime=0.67 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 9173 0 0 0 66 1 0 0 20 0 1 0 42502538 79409152 12526 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 19387 12526 3840 3530 0 10838 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77548 KiB
Current children cumulated memory: 50104 KiB
[startup+1.50013 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128713536/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=111620 memory=83868 CPUtime=1.47 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 18250 0 0 0 144 3 0 0 20 0 1 0 42502538 114298880 20967 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 27905 20967 3840 3530 0 19356 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 111620 KiB
Current children cumulated memory: 83868 KiB
[startup+3.10532 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128618000/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=188292 memory=159388 CPUtime=3.07 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 37157 0 0 0 301 6 0 0 20 0 1 0 42502538 192811008 39847 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 47073 39847 3840 3530 0 38524 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 188292 KiB
Current children cumulated memory: 159388 KiB
[startup+6.30012 s]
/proc/loadavg: 1.48 0.42 0.20 4/264 43503
/proc/meminfo: memFree=128644688/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=190060 memory=161180 CPUtime=6.26 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 37569 0 0 0 619 7 0 0 20 0 1 0 42502538 194621440 40295 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 47515 40295 3872 3530 0 38966 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 190060 KiB
Current children cumulated memory: 161180 KiB
[startup+12.7001 s]
/proc/loadavg: 1.69 0.48 0.22 5/268 43540
/proc/meminfo: memFree=128534352/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=190248 memory=161312 CPUtime=12.64 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 37804 0 0 0 1257 7 0 0 20 0 1 0 42502538 194813952 40328 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 47562 40328 3872 3530 0 39013 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 190248 KiB
Current children cumulated memory: 161312 KiB
[startup+25.5001 s]
/proc/loadavg: 2.27 0.67 0.29 5/268 43541
/proc/meminfo: memFree=128475028/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=190248 memory=161568 CPUtime=25.4 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 37858 0 0 0 2533 7 0 0 20 0 1 0 42502538 194813952 40392 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 47562 40392 3872 3530 0 39013 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 190248 KiB
Current children cumulated memory: 161568 KiB
[startup+51.1053 s]
/proc/loadavg: 2.93 0.96 0.39 5/267 43541
/proc/meminfo: memFree=128312984/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=256488 memory=226592 CPUtime=50.92 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 54132 0 0 0 5083 9 0 0 20 0 1 0 42502538 262643712 56648 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 64122 56648 3872 3530 0 55573 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 256488 KiB
Current children cumulated memory: 226592 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.44 0.59 5/268 43544
/proc/meminfo: memFree=128128876/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=312232 memory=282656 CPUtime=101.96 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 68144 0 0 0 10185 11 0 0 20 0 1 0 42502538 319725568 70664 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 78058 70664 3872 3530 0 69509 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 312232 KiB
Current children cumulated memory: 282656 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 1.96 0.82 5/267 43546
/proc/meminfo: memFree=128003552/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=345280 memory=313344 CPUtime=161.77 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 75904 0 0 0 16165 12 0 0 20 0 1 0 42502538 353566720 78336 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 86320 78336 3936 3530 0 77771 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 345280 KiB
Current children cumulated memory: 313344 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 2.41 1.05 5/267 43549
/proc/meminfo: memFree=127905040/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=345280 memory=313344 CPUtime=221.59 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 75912 0 0 0 22147 12 0 0 20 0 1 0 42502538 353566720 78336 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 86320 78336 3936 3530 0 77771 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 345280 KiB
Current children cumulated memory: 313344 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.71 1.24 5/267 43551
/proc/meminfo: memFree=127796948/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=345280 memory=313472 CPUtime=281.41 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 75919 0 0 0 28128 13 0 0 20 0 1 0 42502538 353566720 78368 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 86320 78368 3936 3530 0 77771 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 345280 KiB
Current children cumulated memory: 313472 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 2.98 1.43 5/264 43553
/proc/meminfo: memFree=127695316/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=345280 memory=313472 CPUtime=341.23 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 75929 0 0 0 34110 13 0 0 20 0 1 0 42502538 353566720 78368 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 86320 78368 3936 3530 0 77771 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 345280 KiB
Current children cumulated memory: 313472 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.18 1.60 5/263 43555
/proc/meminfo: memFree=127649236/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=345280 memory=313472 CPUtime=401.04 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 75936 0 0 0 40091 13 0 0 20 0 1 0 42502538 353566720 78368 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 86320 78368 3936 3530 0 77771 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 345280 KiB
Current children cumulated memory: 313472 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.35 1.75 5/264 43558
/proc/meminfo: memFree=127518324/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=373168 memory=344576 CPUtime=460.88 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 83966 0 0 0 46073 15 0 0 20 0 1 0 42502538 382124032 86144 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 93292 86144 3936 3530 0 84743 0
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.01 5/266 43716
/proc/meminfo: memFree=125162172/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478592 CPUtime=3154.11 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117233 0 0 0 315390 21 0 0 20 0 1 0 42502538 517046272 119648 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119648 3936 3530 0 117683 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/266 43718
/proc/meminfo: memFree=125124208/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478592 CPUtime=3213.96 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117233 0 0 0 321375 21 0 0 20 0 1 0 42502538 517046272 119648 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119648 3936 3530 0 117683 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/264 43720
/proc/meminfo: memFree=125092996/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478720 CPUtime=3273.81 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117245 0 0 0 327360 21 0 0 20 0 1 0 42502538 517046272 119680 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119680 3936 3530 0 117683 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/263 43722
/proc/meminfo: memFree=125069420/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478720 CPUtime=3333.66 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117252 0 0 0 333345 21 0 0 20 0 1 0 42502538 517046272 119680 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119680 3936 3530 0 117683 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/263 43725
/proc/meminfo: memFree=125047408/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478720 CPUtime=3393.51 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117256 0 0 0 339330 21 0 0 20 0 1 0 42502538 517046272 119680 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119680 3936 3530 0 117683 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/263 43726
/proc/meminfo: memFree=125015632/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3453.36 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117281 0 0 0 345315 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/264 43729
/proc/meminfo: memFree=124870692/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3513.21 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117290 0 0 0 351300 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/264 43731
/proc/meminfo: memFree=124819008/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3573.06 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117297 0 0 0 357285 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3597.28 s]
# the end of solver process 43494 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.79 s, system=0.214232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.03 5/264 43731
/proc/meminfo: memFree=124819008/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3574.76 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117297 0 0 0 357455 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.03 5/264 43732
/proc/meminfo: memFree=124819024/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3581.14 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117297 0 0 0 358093 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.03 4/260 43740
/proc/meminfo: memFree=126171024/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3584.33 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117299 0 0 0 358412 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.11 4.03 4/262 43752
/proc/meminfo: memFree=126170464/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3585.93 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117299 0 0 0 358572 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.10 4.03 4/262 43761
/proc/meminfo: memFree=126170464/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3586.73 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117299 0 0 0 358652 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.03 4/262 43761
/proc/meminfo: memFree=126170464/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3587.52 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117299 0 0 0 358731 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
[startup+3597.2 s]
/proc/loadavg: 4.09 4.10 4.03 4/259 43765
/proc/meminfo: memFree=126191020/131250000 swapFree=33010684/33010684
[pid=43494] ppid=43487 vsize=504928 memory=478848 CPUtime=3587.92 cores=0,2
/proc/43494/stat : 43494 (pbscip) R 43487 43494 43192 0 -1 4194304 117299 0 0 0 358771 21 0 0 20 0 1 0 42502538 517046272 119712 18446744073709551615 4235264 18693293 140727853667920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53354496 140727853672841 140727853672940 140727853672940 140727853678542 0
/proc/43494/statm: 126232 119712 3936 3530 0 117683 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 504928 KiB
Current children cumulated memory: 478848 KiB
Child status: 0
Real time (s): 3597.28
CPU time (s): 3588.01
CPU user time (s): 3587.79
CPU system time (s): 0.214232
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 504928
Max. memory (cumulated for all children) (KiB): 478848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.79
system time used= 0.214232
maximum resident set size= 478848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117320
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= 109
involuntary context switches= 7898
# summary of solver processes directly reported to runsolver:
# pid: 43494
# total CPU time (s): 3588.01
# total CPU user time (s): 3587.79
# total CPU system time (s): 0.214232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52009 second user time and 14.8731 second system time
The end
Begin job on nodeC016 at 2025-06-30 09:24:10 IDJOB=4498269 IDBENCH=148588 IDSOLVER=3365 FILE ID=nodeC016/4498269-1751268250 RUNJOBID= nodeC016-1751268232-43209 SLURM_JOB_ID= 9594183 Free space on /tmp= 433024 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 -w /tmp/evaluation-result-4498269-1751268250/watcher-4498269-1751268250 -o /tmp/evaluation-result-4498269-1751268250/solver-4498269-1751268250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751268232-43209 --watchdog 3760 pbscip -f HOME/instance-4498269-1751268250.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2 RANDOM SEED=27383631 nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.734 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3599.729 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3600.044 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3601.575 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3599.737 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3599.593 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3598.970 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3598.378 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128847620 kB MemAvailable: 129629688 kB Buffers: 3280 kB Cached: 1586024 kB SwapCached: 0 kB Active: 476832 kB Inactive: 1328856 kB Active(anon): 234468 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 1328856 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56340 kB Writeback: 0 kB AnonPages: 219492 kB Mapped: 126372 kB Shmem: 18072 kB KReclaimable: 100176 kB Slab: 186908 kB SReclaimable: 100176 kB SUnreclaim: 86732 kB KernelStack: 4256 kB PageTables: 3596 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 561608 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433004 MiB End job on nodeC016 at 2025-06-30 10:24:07