Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | 55 | 3588.56 | 3597.26 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb |
| MD5SUM | 8deb0b9174477a1f2aeb72dadb0281d2 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4498270-1751268250.opb>
0.00/0.01 c original problem has 6828 variables (500 bin, 0 int, 6328 cont) and 7328 constraints
0.00/0.01 c original problem has 6328 implied integral variables (0 bin, 0 int, 6328 cont)
0.00/0.01 c problem read in 0.015 seconds
0.00/0.03 c presolving:
0.00/0.05 c (round 1, medium) 0 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05 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.05 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.06 c (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.06 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.06 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.06 c 0 implications, 0 cliques
0.00/0.06 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 500 constraints
0.00/0.06 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.06 c 500 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c problem pure SAT
0.00/0.06 c
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.998075
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.06 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.06 c reading/opbreader/maxintsize = 47
0.00/0.06 c
0.00/0.06 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.06 c propagating/genvbounds/timingmask = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c
0.00/0.06 o 500
0.00/0.06 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.06 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.06 o 58
0.00/0.06 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.800000e+01 | Inf | unknown
0.98/1.09 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.17/1.29 c 1.3s| 1 | 0 | 10658 | - | 50M | 0 | 500 | 500 | 501 | 1 | 1 | 0 | 0 | 3.686298e+01 | 5.800000e+01 | 57.34%| unknown
1.37/1.45 c 1.5s| 1 | 0 | 10929 | - | 61M | 0 | 500 | 500 | 502 | 2 | 2 | 0 | 0 | 3.690317e+01 | 5.800000e+01 | 57.17%| unknown
1.55/1.64 c 1.6s| 1 | 0 | 11206 | - | 72M | 0 | 500 | 500 | 503 | 3 | 3 | 0 | 0 | 3.692406e+01 | 5.800000e+01 | 57.08%| unknown
1.65/1.79 c 1.8s| 1 | 0 | 11352 | - | 83M | 0 | 500 | 500 | 504 | 4 | 4 | 0 | 0 | 3.693016e+01 | 5.800000e+01 | 57.05%| unknown
1.85/1.96 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.05/2.12 c 2.1s| 1 | 0 | 11676 | - | 105M | 0 | 500 | 500 | 506 | 6 | 6 | 0 | 0 | 3.693887e+01 | 5.800000e+01 | 57.02%| unknown
2.15/2.28 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.35/2.45 c 2.5s| 1 | 0 | 11946 | - | 122M | 0 | 500 | 500 | 508 | 8 | 8 | 0 | 0 | 3.694334e+01 | 5.800000e+01 | 57.00%| unknown
2.55/2.63 c 2.6s| 1 | 0 | 12068 | - | 139M | 0 | 500 | 500 | 509 | 9 | 9 | 0 | 0 | 3.694457e+01 | 5.800000e+01 | 56.99%| unknown
2.75/2.82 c 2.8s| 1 | 0 | 12227 | - | 142M | 0 | 500 | 500 | 510 | 10 | 10 | 0 | 0 | 3.694531e+01 | 5.800000e+01 | 56.99%| unknown
2.85/2.93 c 2.9s| 1 | 0 | 12319 | - | 142M | 0 | 500 | 500 | 511 | 11 | 11 | 0 | 0 | 3.694579e+01 | 5.800000e+01 | 56.99%| unknown
2.96/3.04 c 3.0s| 1 | 0 | 12386 | - | 142M | 0 | 500 | 500 | 512 | 12 | 12 | 0 | 0 | 3.694651e+01 | 5.800000e+01 | 56.98%| unknown
3.06/3.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.06/3.16 c 3.2s| 1 | 0 | 12475 | - | 142M | 0 | 500 | 500 | 513 | 13 | 13 | 0 | 0 | 3.694751e+01 | 5.800000e+01 | 56.98%| unknown
3.15/3.28 c 3.3s| 1 | 0 | 12525 | - | 142M | 0 | 500 | 500 | 514 | 14 | 14 | 0 | 0 | 3.694793e+01 | 5.800000e+01 | 56.98%| unknown
3.35/3.41 c 3.4s| 1 | 0 | 12585 | - | 142M | 0 | 500 | 500 | 515 | 15 | 15 | 0 | 0 | 3.694845e+01 | 5.800000e+01 | 56.98%| unknown
3.45/3.54 c 3.5s| 1 | 0 | 12606 | - | 142M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 0 | 3.694856e+01 | 5.800000e+01 | 56.98%| unknown
10.13/10.27 c 10.3s| 1 | 2 | 12606 | - | 142M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 30 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
55.72/55.97 c 56.0s| 100 | 101 |145017 |1337.5 | 225M | 15 | 500 | 502 | 514 | 52 | 1 | 4 | 218 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
111.08/111.49 c 111s| 200 | 201 |588611 |2894.5 | 292M | 15 | 500 | 509 | 518 | 88 | 1 | 17 | 257 | 3.742231e+01 | 5.800000e+01 | 54.99%| unknown
119.87/120.22 o 56
119.87/120.22 c L 120s| 201 | 202 |589354 |2883.7 |crossove| 15 | 500 | 509 | 514 | 88 | 1 | 17 | 257 | 3.755036e+01 | 5.600000e+01 | 49.13%| unknown
148.30/148.76 c 149s| 300 | 301 |757931 |2492.7 | 291M | 16 | 500 | 512 | 518 | 113 | 1 | 24 | 295 | 3.775332e+01 | 5.600000e+01 | 48.33%| unknown
185.20/185.77 c 186s| 400 | 401 |937136 |2317.1 | 291M | 16 | 500 | 512 | 514 | 189 | 1 | 27 | 335 | 3.790303e+01 | 5.600000e+01 | 47.75%| unknown
223.01/223.65 c 224s| 500 | 501 | 1119k|2218.7 | 292M | 19 | 500 | 520 | 514 | 264 | 1 | 35 | 380 | 3.803577e+01 | 5.600000e+01 | 47.23%| unknown
268.80/269.50 c 270s| 600 | 601 | 1373k|2272.8 | 292M | 21 | 500 | 522 | 514 | 364 | 1 | 47 | 429 | 3.805200e+01 | 5.600000e+01 | 47.17%| unknown
303.42/304.29 c 304s| 700 | 701 | 1592k|2260.8 | 292M | 21 | 500 | 525 | 520 | 414 | 1 | 53 | 464 | 3.808923e+01 | 5.600000e+01 | 47.02%| unknown
336.94/337.85 c 338s| 800 | 801 | 1804k|2242.7 | 293M | 21 | 500 | 523 | 518 | 467 | 1 | 57 | 488 | 3.814530e+01 | 5.600000e+01 | 46.81%| unknown
365.57/366.55 c 367s| 900 | 901 | 1961k|2167.8 | 293M | 21 | 500 | 524 | 517 | 534 | 1 | 63 | 506 | 3.817720e+01 | 5.600000e+01 | 46.68%| unknown
391.80/392.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.80/392.87 c 393s| 1000 | 1001 | 2124k|2114.1 | 293M | 21 | 500 | 527 | 517 | 577 | 1 | 72 | 518 | 3.822501e+01 | 5.600000e+01 | 46.50%| unknown
404.57/405.63 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
404.57/405.63 c (run 1, node 1049) performing user restart
404.57/405.63 c
404.57/405.63 c (restart) converted 14 cuts from the global cut pool into linear constraints
404.57/405.63 c
404.97/406.05 c presolving:
404.97/406.05 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
404.97/406.05 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
404.97/406.05 c 0 implications, 0 cliques
404.97/406.05 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 541 constraints
404.97/406.05 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
404.97/406.05 c 14 constraints of type <linear>
404.97/406.05 c 527 constraints of type <logicor>
404.97/406.05 c transformed objective value is always integral (scale: 1)
404.97/406.05 c Presolving Time: 0.08
404.97/406.10 c transformed 99/100 original solutions to the transformed problem space
404.97/406.10 c
406.07/407.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
406.07/407.16 c 407s| 1 | 0 | 2206k| - | 245M | 0 | 500 | 541 | 514 | 0 | 0 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
406.57/407.60 c 408s| 1 | 0 | 2207k| - | 247M | 0 | 500 | 541 | 515 | 1 | 1 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
406.86/407.92 c 408s| 1 | 0 | 2207k| - | 253M | 0 | 500 | 541 | 516 | 2 | 2 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
407.16/408.25 c 408s| 1 | 0 | 2207k| - | 257M | 0 | 500 | 541 | 517 | 3 | 3 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
407.46/408.59 c 409s| 1 | 0 | 2207k| - | 268M | 0 | 500 | 541 | 518 | 4 | 4 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
407.97/409.01 c 409s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 519 | 5 | 5 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
408.26/409.30 c 409s| 1 | 0 | 2208k| - | 278M | 0 | 500 | 541 | 520 | 6 | 6 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
408.57/409.60 c 410s| 1 | 0 | 2208k| - | 274M | 0 | 500 | 541 | 521 | 7 | 7 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
408.87/409.91 c 410s| 1 | 0 | 2208k| - | 274M | 0 | 500 | 541 | 522 | 8 | 8 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
409.17/410.23 c 410s| 1 | 0 | 2209k| - | 273M | 0 | 500 | 541 | 523 | 9 | 9 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
409.47/410.55 c 411s| 1 | 0 | 2209k| - | 278M | 0 | 500 | 541 | 524 | 10 | 10 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
409.67/410.79 c 411s| 1 | 0 | 2209k| - | 278M | 0 | 500 | 541 | 525 | 11 | 11 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
409.97/411.02 c 411s| 1 | 0 | 2209k| - | 278M | 0 | 500 | 541 | 526 | 12 | 12 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
410.17/411.24 c 411s| 1 | 0 | 2209k| - | 278M | 0 | 500 | 541 | 527 | 13 | 13 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
410.37/411.47 c 411s| 1 | 0 | 2209k| - | 278M | 0 | 500 | 541 | 528 | 14 | 14 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
410.66/411.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
410.66/411.73 c 412s| 1 | 0 | 2209k| - | 278M | 0 | 500 | 541 | 524 | 15 | 15 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
414.55/415.60 c 416s| 1 | 2 | 2225k| - | 278M | 0 | 500 | 543 | 524 | 15 | 15 | 74 | 534 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
465.73/466.99 c 467s| 100 | 101 | 2420k|2085.6 | 311M | 18 | 500 | 546 | 516 | 47 | 1 | 77 | 666 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
491.36/492.67 c 493s| 200 | 201 | 2562k|2032.2 | 343M | 18 | 500 | 550 | 520 | 69 | 1 | 81 | 697 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
519.89/521.28 c 521s| 300 | 301 | 2664k|1957.5 | 351M | 19 | 500 | 550 | 516 | 133 | 1 | 81 | 735 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
552.61/554.01 c 554s| 400 | 401 | 2816k|1927.3 | 351M | 21 | 500 | 545 | 521 | 200 | 1 | 85 | 769 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
586.64/588.12 c 588s| 500 | 501 | 2929k|1875.8 | 351M | 21 | 500 | 534 | 516 | 267 | 1 | 88 | 804 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
613.87/615.40 c 615s| 600 | 601 | 3060k|1841.6 | 351M | 21 | 500 | 534 | 519 | 309 | 1 | 92 | 841 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
645.89/647.58 c 648s| 700 | 701 | 3206k|1819.6 | 351M | 22 | 500 | 534 | 522 | 399 | 6 | 95 | 863 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
667.74/669.46 c 669s| 800 | 801 | 3318k|1781.9 | 352M | 22 | 500 | 535 | 519 | 447 | 1 | 99 | 877 | 3.830505e+01 | 5.600000e+01 | 46.19%| unknown
688.09/689.87 c 690s| 900 | 901 | 3413k|1738.9 | 352M | 22 | 500 | 537 | 520 | 492 | 1 | 103 | 897 | 3.838215e+01 | 5.600000e+01 | 45.90%| unknown
713.33/715.13 c 715s| 1000 | 1001 | 3549k|1720.4 | 352M | 22 | 500 | 536 | 520 | 539 | 1 | 105 | 919 | 3.839832e+01 | 5.600000e+01 | 45.84%| unknown
731.29/733.11 c 733s| 1100 | 1101 | 3641k|1683.1 | 352M | 22 | 500 | 536 | 520 | 580 | 1 | 108 | 927 | 3.842981e+01 | 5.600000e+01 | 45.72%| unknown
753.53/755.45 c 755s| 1200 | 1201 | 3751k|1657.1 | 352M | 22 | 500 | 536 | 520 | 644 | 1 | 112 | 935 | 3.845944e+01 | 5.600000e+01 | 45.61%| unknown
775.38/777.31 c 777s| 1300 | 1301 | 3869k|1636.9 | 352M | 22 | 500 | 534 | 519 | 696 | 1 | 117 | 943 | 3.847037e+01 | 5.600000e+01 | 45.57%| unknown
799.02/801.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
799.02/801.07 c 801s| 1400 | 1401 | 3985k|1617.3 | 352M | 22 | 500 | 534 | 520 | 769 | 1 | 121 | 948 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
820.17/822.28 c 822s| 1500 | 1501 | 4107k|1601.8 | 352M | 22 | 500 | 533 | 521 | 816 | 1 | 125 | 957 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
844.12/846.23 c 846s| 1600 | 1601 | 4228k|1587.2 | 352M | 22 | 500 | 536 | 516 | 877 | 1 | 129 | 968 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
869.65/871.82 c 872s| 1700 | 1701 | 4359k|1576.9 | 352M | 22 | 500 | 537 | 520 | 931 | 4 | 134 | 993 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
887.21/889.49 c 889s| 1800 | 1801 | 4438k|1549.4 | 352M | 23 | 500 | 536 | 520 | 959 | 1 | 135 |1020 | 3.855739e+01 | 5.600000e+01 | 45.24%| unknown
907.86/910.11 c 910s| 1900 | 1901 | 4563k|1539.2 | 354M | 23 | 500 | 540 | 522 | 988 | 1 | 140 |1036 | 3.858361e+01 | 5.600000e+01 | 45.14%| unknown
925.41/927.75 c 928s| 2000 | 2001 | 4655k|1518.8 | 354M | 23 | 500 | 538 | 521 |1023 | 1 | 142 |1048 | 3.859546e+01 | 5.600000e+01 | 45.09%| unknown
947.46/949.80 c 950s| 2100 | 2101 | 4761k|1504.3 | 354M | 24 | 500 | 541 | 520 |1067 | 1 | 147 |1072 | 3.859810e+01 | 5.600000e+01 | 45.08%| unknown
975.39/977.83 c 978s| 2200 | 2201 | 4892k|1498.4 | 354M | 25 | 500 | 541 | 521 |1109 | 1 | 150 |1084 | 3.861649e+01 | 5.600000e+01 | 45.02%| unknown
996.04/998.53 c 999s| 2300 | 2301 | 5004k|1487.0 | 355M | 25 | 500 | 542 | 521 |1165 | 1 | 153 |1091 | 3.861936e+01 | 5.600000e+01 | 45.00%| unknown
1015.61/1018.16 c 1018s| 2400 | 2401 | 5121k|1477.8 | 355M | 25 | 500 | 539 | 522 |1195 | 1 | 157 |1101 | 3.862581e+01 | 5.600000e+01 | 44.98%| unknown
1033.26/1035.81 c 1036s| 2500 | 2501 | 5233k|1467.8 | 355M | 25 | 500 | 537 | 519 |1225 | 1 | 160 |1105 | 3.863008e+01 | 5.600000e+01 | 44.96%| unknown
1049.22/1051.83 c 1052s| 2600 | 2601 | 5335k|1455.6 | 355M | 25 | 500 | 538 | 521 |1247 | 1 | 165 |1108 | 3.863132e+01 | 5.600000e+01 | 44.96%| unknown
1070.86/1073.52 c 1074s| 2700 | 2701 | 5468k|1452.1 | 355M | 25 | 500 | 535 | 522 |1297 | 1 | 168 |1111 | 3.866312e+01 | 5.600000e+01 | 44.84%| unknown
1091.01/1093.73 c 1094s| 2800 | 2801 | 5566k|1440.0 | 355M | 25 | 500 | 538 | 520 |1358 | 1 | 173 |1118 | 3.868524e+01 | 5.600000e+01 | 44.76%| unknown
1115.36/1118.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1115.36/1118.19 c 1118s| 2900 | 2901 | 5697k|1436.6 | 356M | 25 | 500 | 537 | 522 |1424 | 1 | 174 |1126 | 3.870547e+01 | 5.600000e+01 | 44.68%| unknown
1133.61/1136.46 c 1136s| 3000 | 3001 | 5796k|1425.5 | 358M | 25 | 500 | 536 | 521 |1471 | 1 | 177 |1129 | 3.871976e+01 | 5.600000e+01 | 44.63%| unknown
1158.25/1161.14 c 1161s| 3100 | 3101 | 5889k|1413.7 | 358M | 25 | 500 | 538 | 522 |1505 | 1 | 181 |1153 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1176.11/1179.09 c 1179s| 3200 | 3201 | 5997k|1405.7 | 358M | 25 | 500 | 538 | 519 |1535 | 1 | 184 |1166 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1195.46/1198.40 c 1198s| 3300 | 3301 | 6114k|1400.2 | 358M | 25 | 500 | 537 | 520 |1564 | 1 | 191 |1177 | 3.873099e+01 | 5.600000e+01 | 44.59%| unknown
1219.30/1222.32 c 1222s| 3400 | 3401 | 6243k|1397.8 | 358M | 25 | 500 | 540 | 522 |1617 | 1 | 195 |1190 | 3.873883e+01 | 5.600000e+01 | 44.56%| unknown
1233.47/1236.53 c 1237s| 3500 | 3501 | 6334k|1387.2 | 358M | 25 | 500 | 542 | 521 |1633 | 1 | 199 |1197 | 3.875995e+01 | 5.600000e+01 | 44.48%| unknown
1251.12/1254.24 c 1254s| 3600 | 3601 | 6440k|1380.1 | 358M | 25 | 500 | 540 | 520 |1664 | 1 | 201 |1204 | 3.876791e+01 | 5.600000e+01 | 44.45%| unknown
1271.48/1274.61 c 1275s| 3700 | 3701 | 6541k|1372.3 | 358M | 25 | 500 | 538 | 522 |1698 | 1 | 204 |1210 | 3.878480e+01 | 5.600000e+01 | 44.39%| unknown
1287.74/1290.97 c 1291s| 3800 | 3801 | 6631k|1362.6 | 360M | 25 | 500 | 541 | 520 |1739 | 1 | 209 |1214 | 3.878998e+01 | 5.600000e+01 | 44.37%| unknown
1307.80/1311.02 c 1311s| 3900 | 3901 | 6746k|1358.2 | 361M | 26 | 500 | 539 | 521 |1783 | 1 | 215 |1219 | 3.880143e+01 | 5.600000e+01 | 44.32%| unknown
1323.55/1326.89 c 1327s| 4000 | 4001 | 6843k|1350.6 | 361M | 26 | 500 | 539 | 520 |1812 | 1 | 217 |1224 | 3.881410e+01 | 5.600000e+01 | 44.28%| unknown
1342.40/1345.71 c 1346s| 4100 | 4101 | 6952k|1345.5 | 362M | 26 | 500 | 536 | 521 |1852 | 1 | 220 |1228 | 3.882921e+01 | 5.600000e+01 | 44.22%| unknown
1360.26/1363.66 c 1364s| 4200 | 4201 | 7060k|1340.4 | 362M | 26 | 500 | 537 | 522 |1889 | 1 | 223 |1234 | 3.883684e+01 | 5.600000e+01 | 44.19%| unknown
1381.62/1385.06 c 1385s| 4300 | 4301 | 7185k|1338.8 | 364M | 26 | 500 | 538 | 521 |1943 | 1 | 227 |1238 | 3.885157e+01 | 5.600000e+01 | 44.14%| unknown
1397.68/1401.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1397.68/1401.13 c 1401s| 4400 | 4401 | 7276k|1330.9 | 364M | 26 | 500 | 540 | 521 |1960 | 5 | 230 |1251 | 3.885608e+01 | 5.600000e+01 | 44.12%| unknown
1421.22/1424.74 c 1425s| 4500 | 4501 | 7406k|1330.3 | 365M | 26 | 500 | 538 | 519 |2007 | 1 | 236 |1267 | 3.885688e+01 | 5.600000e+01 | 44.12%| unknown
1433.59/1437.18 c 1437s| 4600 | 4601 | 7475k|1319.1 | 365M | 26 | 500 | 535 | 520 |2023 | 1 | 237 |1273 | 3.886081e+01 | 5.600000e+01 | 44.10%| unknown
1452.94/1456.51 c 1457s| 4700 | 4701 | 7595k|1316.9 | 366M | 26 | 500 | 537 | 522 |2054 | 1 | 241 |1286 | 3.887073e+01 | 5.600000e+01 | 44.07%| unknown
1475.78/1479.49 c 1479s| 4800 | 4801 | 7718k|1315.4 | 366M | 26 | 500 | 537 | 520 |2106 | 1 | 246 |1300 | 3.888380e+01 | 5.600000e+01 | 44.02%| unknown
1490.15/1493.80 c 1494s| 4900 | 4901 | 7804k|1307.9 | 366M | 26 | 500 | 536 | 521 |2138 | 1 | 248 |1303 | 3.888903e+01 | 5.600000e+01 | 44.00%| unknown
1506.81/1510.59 c 1511s| 5000 | 5001 | 7911k|1303.9 | 366M | 26 | 500 | 536 | 520 |2150 | 1 | 251 |1306 | 3.889616e+01 | 5.600000e+01 | 43.97%| unknown
1520.08/1523.88 c 1524s| 5100 | 5101 | 8000k|1297.2 | 367M | 26 | 500 | 537 | 519 |2161 | 1 | 256 |1309 | 3.889689e+01 | 5.600000e+01 | 43.97%| unknown
1535.35/1539.19 c 1539s| 5200 | 5201 | 8086k|1290.2 | 367M | 26 | 500 | 537 | 520 |2192 | 1 | 259 |1314 | 3.890312e+01 | 5.600000e+01 | 43.95%| unknown
1554.80/1558.69 c 1559s| 5300 | 5301 | 8207k|1288.8 | 367M | 26 | 500 | 539 | 520 |2226 | 1 | 263 |1322 | 3.890662e+01 | 5.600000e+01 | 43.93%| unknown
1568.76/1572.69 c 1573s| 5400 | 5401 | 8281k|1280.4 | 367M | 26 | 500 | 543 | 519 |2253 | 1 | 267 |1330 | 3.891821e+01 | 5.600000e+01 | 43.89%| unknown
1582.43/1586.30 c 1586s| 5500 | 5501 | 8373k|1274.8 | 367M | 26 | 500 | 540 | 522 |2266 | 1 | 270 |1335 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1596.10/1600.09 c 1600s| 5600 | 5601 | 8463k|1269.1 | 367M | 28 | 500 | 543 | 521 |2283 | 1 | 276 |1340 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1610.66/1614.66 c 1615s| 5700 | 5701 | 8554k|1263.9 | 368M | 28 | 500 | 538 | 522 |2312 | 1 | 278 |1343 | 3.893114e+01 | 5.600000e+01 | 43.84%| unknown
1622.13/1626.12 c 1626s| 5800 | 5801 | 8630k|1256.5 | 368M | 28 | 500 | 540 | 516 |2322 | 1 | 282 |1346 | 3.893221e+01 | 5.600000e+01 | 43.84%| unknown
1641.09/1645.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1641.09/1645.11 c 1645s| 5900 | 5901 | 8751k|1255.8 | 370M | 28 | 500 | 540 | 522 |2354 | 1 | 285 |1350 | 3.893751e+01 | 5.600000e+01 | 43.82%| unknown
1655.45/1659.56 c 1660s| 6000 | 6001 | 8838k|1250.4 | 370M | 28 | 500 | 544 | 521 |2381 | 1 | 289 |1357 | 3.894099e+01 | 5.600000e+01 | 43.81%| unknown
1670.31/1674.45 c 1674s| 6100 | 6101 | 8952k|1248.8 | 370M | 28 | 500 | 542 | 521 |2386 | 1 | 293 |1361 | 3.895317e+01 | 5.600000e+01 | 43.76%| unknown
1684.19/1688.36 c 1688s| 6200 | 6201 | 9039k|1243.6 | 370M | 28 | 500 | 542 | 521 |2407 | 5 | 297 |1366 | 3.895846e+01 | 5.600000e+01 | 43.74%| unknown
1698.75/1702.99 c 1703s| 6300 | 6301 | 9124k|1238.2 | 370M | 28 | 500 | 542 | 521 |2438 | 1 | 300 |1370 | 3.896248e+01 | 5.600000e+01 | 43.73%| unknown
1714.61/1718.83 c 1719s| 6400 | 6401 | 9223k|1235.0 | 370M | 28 | 500 | 541 | 522 |2460 | 1 | 304 |1377 | 3.897423e+01 | 5.600000e+01 | 43.68%| unknown
1728.67/1732.93 c 1733s| 6500 | 6501 | 9321k|1231.5 | 370M | 28 | 500 | 538 | 520 |2478 | 1 | 306 |1380 | 3.897524e+01 | 5.600000e+01 | 43.68%| unknown
1739.65/1743.99 c 1744s| 6600 | 6601 | 9388k|1224.3 | 370M | 28 | 500 | 537 | 521 |2496 | 1 | 307 |1382 | 3.897676e+01 | 5.600000e+01 | 43.68%| unknown
1757.10/1761.41 c 1761s| 6700 | 6701 | 9488k|1221.3 | 370M | 28 | 500 | 537 | 522 |2530 | 1 | 311 |1392 | 3.898345e+01 | 5.600000e+01 | 43.65%| unknown
1774.06/1778.45 c 1778s| 6800 | 6801 | 9589k|1218.6 | 371M | 28 | 500 | 536 | 520 |2566 | 1 | 314 |1401 | 3.899517e+01 | 5.600000e+01 | 43.61%| unknown
1786.04/1790.47 c 1790s| 6900 | 6901 | 9668k|1213.2 | 371M | 28 | 500 | 535 | 522 |2576 | 1 | 315 |1406 | 3.900241e+01 | 5.600000e+01 | 43.58%| unknown
1798.31/1802.73 c 1803s| 7000 | 7001 | 9751k|1208.5 | 371M | 28 | 500 | 535 | 522 |2582 | 1 | 321 |1414 | 3.900378e+01 | 5.600000e+01 | 43.58%| unknown
1813.47/1817.94 c 1818s| 7100 | 7101 | 9851k|1205.9 | 387M | 28 | 500 | 532 | 519 |2605 | 1 | 324 |1417 | 3.900721e+01 | 5.600000e+01 | 43.56%| unknown
1828.64/1833.18 c 1833s| 7200 | 7201 | 9946k|1202.8 | 387M | 28 | 500 | 535 | 522 |2628 | 1 | 329 |1424 | 3.900989e+01 | 5.600000e+01 | 43.55%| unknown
1839.01/1843.55 c 1844s| 7300 | 7301 | 10018k|1197.0 | 387M | 28 | 500 | 536 | 519 |2628 | 1 | 330 |1429 | 3.901264e+01 | 5.600000e+01 | 43.54%| unknown
1854.37/1859.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1854.37/1859.00 c 1859s| 7400 | 7401 | 10124k|1195.4 | 387M | 28 | 500 | 539 | 521 |2638 | 1 | 336 |1433 | 3.901599e+01 | 5.600000e+01 | 43.53%| unknown
1869.44/1874.09 c 1874s| 7500 | 7501 | 10216k|1192.1 | 387M | 28 | 500 | 538 | 522 |2660 | 1 | 338 |1443 | 3.901642e+01 | 5.600000e+01 | 43.53%| unknown
1881.30/1885.95 c 1886s| 7600 | 7601 | 10285k|1186.3 | 387M | 28 | 500 | 537 | 520 |2681 | 1 | 341 |1447 | 3.903621e+01 | 5.600000e+01 | 43.46%| unknown
1897.37/1902.06 c 1902s| 7700 | 7701 | 10394k|1185.3 | 387M | 28 | 500 | 541 | 520 |2714 | 1 | 346 |1448 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1909.94/1914.61 c 1915s| 7800 | 7801 | 10488k|1182.5 | 387M | 28 | 500 | 538 | 520 |2714 | 1 | 349 |1452 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1924.41/1929.19 c 1929s| 7900 | 7901 | 10576k|1179.1 | 434M | 28 | 500 | 538 | 522 |2747 | 1 | 354 |1452 | 3.904647e+01 | 5.600000e+01 | 43.42%| unknown
1940.36/1945.13 c 1945s| 8000 | 8001 | 10681k|1177.7 | 437M | 28 | 500 | 540 | 521 |2780 | 1 | 361 |1453 | 3.905220e+01 | 5.600000e+01 | 43.40%| unknown
1956.52/1961.39 c 1961s| 8100 | 8101 | 10789k|1176.7 | 439M | 28 | 500 | 540 | 520 |2797 | 1 | 363 |1455 | 3.906039e+01 | 5.600000e+01 | 43.37%| unknown
1968.20/1973.02 c 1973s| 8200 | 8201 | 10861k|1171.7 | 439M | 28 | 500 | 543 | 521 |2802 | 1 | 367 |1466 | 3.906418e+01 | 5.600000e+01 | 43.35%| unknown
1984.66/1989.51 c 1990s| 8300 | 8301 | 10970k|1170.8 | 439M | 28 | 500 | 543 | 521 |2823 | 1 | 368 |1477 | 3.907252e+01 | 5.600000e+01 | 43.32%| unknown
2000.62/2005.59 c 2006s| 8400 | 8401 | 11062k|1168.1 | 439M | 28 | 500 | 545 | 520 |2859 | 1 | 372 |1486 | 3.907296e+01 | 5.600000e+01 | 43.32%| unknown
2012.89/2017.82 c 2018s| 8500 | 8501 | 11144k|1164.5 | 439M | 28 | 500 | 542 | 521 |2872 | 1 | 372 |1492 | 3.907992e+01 | 5.600000e+01 | 43.30%| unknown
2027.95/2032.92 c 2033s| 8600 | 8601 | 11237k|1162.0 | 439M | 28 | 500 | 537 | 520 |2894 | 1 | 376 |1500 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2042.41/2047.40 c 2047s| 8700 | 8701 | 11335k|1160.2 | 439M | 28 | 500 | 532 | 522 |2911 | 1 | 378 |1507 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2053.49/2058.58 c 2059s| 8800 | 8801 | 11404k|1155.4 | 440M | 28 | 500 | 531 | 521 |2925 | 1 | 378 |1512 | 3.908593e+01 | 5.600000e+01 | 43.27%| unknown
2068.25/2073.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2068.25/2073.33 c 2073s| 8900 | 8901 | 11507k|1154.2 | 442M | 28 | 500 | 536 | 520 |2937 | 1 | 387 |1519 | 3.909444e+01 | 5.600000e+01 | 43.24%| unknown
2083.12/2088.27 c 2088s| 9000 | 9001 | 11604k|1152.3 | 442M | 28 | 500 | 535 | 521 |2965 | 1 | 389 |1521 | 3.909522e+01 | 5.600000e+01 | 43.24%| unknown
2095.19/2100.38 c 2100s| 9100 | 9101 | 11682k|1148.7 | 442M | 28 | 500 | 538 | 521 |2980 | 1 | 392 |1523 | 3.909645e+01 | 5.600000e+01 | 43.24%| unknown
2111.75/2116.99 c 2117s| 9200 | 9201 | 11787k|1147.7 | 442M | 28 | 500 | 542 | 520 |3013 | 1 | 398 |1525 | 3.909657e+01 | 5.600000e+01 | 43.24%| unknown
2125.52/2130.75 c 2131s| 9300 | 9301 | 11875k|1145.1 | 442M | 28 | 500 | 542 | 520 |3035 | 1 | 401 |1529 | 3.909844e+01 | 5.600000e+01 | 43.23%| unknown
2139.28/2144.56 c 2145s| 9400 | 9401 | 11968k|1143.1 | 443M | 28 | 500 | 545 | 520 |3052 | 1 | 405 |1533 | 3.910398e+01 | 5.600000e+01 | 43.21%| unknown
2152.65/2157.90 c 2158s| 9500 | 9501 | 12047k|1139.7 | 443M | 28 | 500 | 545 | 520 |3075 | 1 | 406 |1535 | 3.910941e+01 | 5.600000e+01 | 43.19%| unknown
2162.83/2168.15 c 2168s| 9600 | 9601 | 12116k|1135.5 | 443M | 28 | 500 | 548 | 520 |3080 | 1 | 410 |1538 | 3.911103e+01 | 5.600000e+01 | 43.18%| unknown
2178.89/2184.22 c 2184s| 9700 | 9701 | 12238k|1136.3 | 443M | 28 | 500 | 546 | 520 |3092 | 1 | 414 |1542 | 3.911599e+01 | 5.600000e+01 | 43.16%| unknown
2193.85/2199.29 c 2199s| 9800 | 9801 | 12326k|1133.9 | 443M | 28 | 500 | 548 | 522 |3124 | 1 | 420 |1547 | 3.911728e+01 | 5.600000e+01 | 43.16%| unknown
2209.62/2215.02 c 2215s| 9900 | 9901 | 12413k|1131.5 | 448M | 28 | 500 | 549 | 521 |3169 | 1 | 425 |1549 | 3.912063e+01 | 5.600000e+01 | 43.15%| unknown
2226.37/2231.88 c 2232s| 10000 | 10001 | 12523k|1131.2 | 449M | 28 | 500 | 545 | 521 |3189 | 1 | 429 |1558 | 3.912208e+01 | 5.600000e+01 | 43.14%| unknown
2240.33/2245.80 c 2246s| 10100 | 10101 | 12600k|1128.0 | 450M | 28 | 500 | 545 | 521 |3206 | 1 | 430 |1569 | 3.912592e+01 | 5.600000e+01 | 43.13%| unknown
2253.21/2258.76 c 2259s| 10200 | 10201 | 12691k|1126.0 | 450M | 28 | 500 | 543 | 520 |3213 | 1 | 433 |1575 | 3.912776e+01 | 5.600000e+01 | 43.12%| unknown
2267.58/2273.14 c 2273s| 10300 | 10301 | 12782k|1124.1 | 450M | 28 | 500 | 542 | 520 |3230 | 1 | 438 |1583 | 3.913087e+01 | 5.600000e+01 | 43.11%| unknown
2282.64/2288.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2282.64/2288.23 c 2288s| 10400 | 10401 | 12879k|1122.8 | 451M | 28 | 500 | 543 | 522 |3253 | 6 | 441 |1588 | 3.913232e+01 | 5.600000e+01 | 43.10%| unknown
2296.20/2301.84 c 2302s| 10500 | 10501 | 12968k|1120.8 | 451M | 28 | 500 | 544 | 520 |3269 | 1 | 446 |1593 | 3.913505e+01 | 5.600000e+01 | 43.09%| unknown
2308.86/2314.52 c 2315s| 10600 | 10601 | 13043k|1117.6 | 451M | 28 | 500 | 543 | 521 |3285 | 1 | 449 |1600 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2325.22/2330.97 c 2331s| 10700 | 10701 | 13159k|1117.9 | 451M | 28 | 500 | 542 | 522 |3309 | 1 | 452 |1608 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2337.19/2342.95 c 2343s| 10800 | 10801 | 13244k|1115.7 | 451M | 28 | 500 | 542 | 521 |3315 | 1 | 457 |1612 | 3.913644e+01 | 5.600000e+01 | 43.09%| unknown
2346.08/2351.87 c 2352s| 10900 | 10901 | 13302k|1111.2 | 451M | 28 | 500 | 541 | 520 |3316 | 1 | 459 |1616 | 3.914115e+01 | 5.600000e+01 | 43.07%| unknown
2358.45/2364.23 c 2364s| 11000 | 11001 | 13391k|1109.4 | 451M | 28 | 500 | 539 | 521 |3328 | 1 | 462 |1619 | 3.914307e+01 | 5.600000e+01 | 43.06%| unknown
2373.41/2379.28 c 2379s| 11100 | 11101 | 13500k|1109.2 | 451M | 28 | 500 | 540 | 519 |3344 | 1 | 467 |1622 | 3.914437e+01 | 5.600000e+01 | 43.06%| unknown
2384.49/2390.35 c 2390s| 11200 | 11201 | 13574k|1106.2 | 451M | 28 | 500 | 540 | 521 |3350 | 1 | 468 |1625 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2395.66/2401.54 c 2402s| 11300 | 11301 | 13641k|1102.7 | 451M | 28 | 500 | 538 | 520 |3371 | 1 | 470 |1629 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2407.53/2413.43 c 2413s| 11400 | 11401 | 13735k|1101.4 | 451M | 28 | 500 | 541 | 521 |3377 | 1 | 474 |1631 | 3.914776e+01 | 5.600000e+01 | 43.05%| unknown
2419.20/2425.14 c 2425s| 11500 | 11501 | 13825k|1099.7 | 451M | 28 | 500 | 545 | 522 |3383 | 1 | 480 |1631 | 3.915307e+01 | 5.600000e+01 | 43.03%| unknown
2429.28/2435.23 c 2435s| 11600 | 11601 | 13891k|1096.3 | 451M | 28 | 500 | 543 | 521 |3393 | 1 | 482 |1633 | 3.916147e+01 | 5.600000e+01 | 43.00%| unknown
2440.65/2446.68 c 2447s| 11700 | 11701 | 13973k|1094.1 | 451M | 28 | 500 | 544 | 520 |3406 | 1 | 485 |1634 | 3.916443e+01 | 5.600000e+01 | 42.99%| unknown
2453.71/2459.77 c 2460s| 11800 | 11801 | 14061k|1092.5 | 451M | 28 | 500 | 542 | 521 |3421 | 1 | 487 |1636 | 3.916981e+01 | 5.600000e+01 | 42.97%| unknown
2464.29/2470.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2464.29/2470.39 c 2470s| 11900 | 11901 | 14144k|1090.4 | 451M | 28 | 500 | 544 | 520 |3422 | 1 | 490 |1638 | 3.917431e+01 | 5.600000e+01 | 42.95%| unknown
2478.86/2485.00 c 2485s| 12000 | 12001 | 14241k|1089.5 | 451M | 28 | 500 | 546 | 521 |3446 | 1 | 493 |1644 | 3.917569e+01 | 5.600000e+01 | 42.95%| unknown
2495.62/2501.76 c 2502s| 12100 | 12101 | 14356k|1090.0 | 451M | 28 | 500 | 545 | 521 |3450 | 1 | 499 |1652 | 3.917948e+01 | 5.600000e+01 | 42.93%| unknown
2505.59/2511.76 c 2512s| 12200 | 12201 | 14419k|1086.5 | 451M | 28 | 500 | 544 | 521 |3456 | 1 | 501 |1658 | 3.918455e+01 | 5.600000e+01 | 42.91%| unknown
2518.26/2524.44 c 2524s| 12300 | 12301 | 14518k|1085.8 | 451M | 28 | 500 | 542 | 521 |3457 | 1 | 505 |1665 | 3.918563e+01 | 5.600000e+01 | 42.91%| unknown
2530.04/2536.23 c 2536s| 12400 | 12401 | 14600k|1083.8 | 451M | 28 | 500 | 541 | 522 |3463 | 6 | 506 |1672 | 3.919032e+01 | 5.600000e+01 | 42.89%| unknown
2543.20/2549.48 c 2549s| 12500 | 12501 | 14692k|1082.6 | 451M | 29 | 500 | 539 | 521 |3469 | 1 | 509 |1680 | 3.919415e+01 | 5.600000e+01 | 42.88%| unknown
2556.07/2562.36 c 2562s| 12600 | 12601 | 14789k|1081.7 | 451M | 29 | 500 | 541 | 521 |3481 | 1 | 513 |1684 | 3.919561e+01 | 5.600000e+01 | 42.87%| unknown
2567.44/2573.76 c 2574s| 12700 | 12701 | 14862k|1079.2 | 451M | 29 | 500 | 540 | 519 |3494 | 1 | 514 |1690 | 3.919997e+01 | 5.600000e+01 | 42.86%| unknown
2581.81/2588.16 c 2588s| 12800 | 12801 | 14958k|1078.4 | 452M | 29 | 500 | 541 | 520 |3518 | 1 | 518 |1691 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2591.89/2598.23 c 2598s| 12900 | 12901 | 15034k|1076.0 | 452M | 29 | 500 | 541 | 521 |3525 | 1 | 521 |1693 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2600.96/2607.37 c 2607s| 13000 | 13001 | 15101k|1073.2 | 452M | 29 | 500 | 542 | 522 |3525 | 1 | 524 |1698 | 3.920374e+01 | 5.600000e+01 | 42.84%| unknown
2612.93/2619.38 c 2619s| 13100 | 13101 | 15183k|1071.4 | 452M | 29 | 500 | 539 | 519 |3536 | 1 | 525 |1703 | 3.920593e+01 | 5.600000e+01 | 42.84%| unknown
2625.71/2632.19 c 2632s| 13200 | 13201 | 15285k|1071.0 | 452M | 29 | 500 | 539 | 520 |3540 | 1 | 528 |1706 | 3.920626e+01 | 5.600000e+01 | 42.83%| unknown
2636.68/2643.14 c 2643s| 13300 | 13301 | 15360k|1068.8 | 452M | 29 | 500 | 539 | 520 |3544 | 1 | 531 |1707 | 3.920923e+01 | 5.600000e+01 | 42.82%| unknown
2648.15/2654.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2648.15/2654.60 c 2655s| 13400 | 13401 | 15449k|1067.5 | 452M | 29 | 500 | 542 | 520 |3550 | 1 | 537 |1709 | 3.920955e+01 | 5.600000e+01 | 42.82%| unknown
2660.02/2666.52 c 2667s| 13500 | 13501 | 15539k|1066.4 | 452M | 29 | 500 | 541 | 522 |3550 | 1 | 540 |1713 | 3.921031e+01 | 5.600000e+01 | 42.82%| unknown
2671.69/2678.27 c 2678s| 13600 | 13601 | 15624k|1064.9 | 452M | 29 | 500 | 541 | 522 |3560 | 1 | 544 |1716 | 3.921130e+01 | 5.600000e+01 | 42.82%| unknown
2682.96/2689.57 c 2690s| 13700 | 13701 | 15707k|1063.3 | 452M | 29 | 500 | 541 | 521 |3569 | 1 | 548 |1718 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2695.33/2701.99 c 2702s| 13800 | 13801 | 15801k|1062.5 | 452M | 29 | 500 | 543 | 520 |3581 | 1 | 551 |1722 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2707.21/2713.87 c 2714s| 13900 | 13901 | 15879k|1060.6 | 453M | 29 | 500 | 547 | 521 |3599 | 1 | 556 |1725 | 3.921331e+01 | 5.600000e+01 | 42.81%| unknown
2718.08/2724.75 c 2725s| 14000 | 14001 | 15952k|1058.4 | 453M | 29 | 500 | 547 | 520 |3606 | 1 | 558 |1732 | 3.921376e+01 | 5.600000e+01 | 42.81%| unknown
2729.06/2735.76 c 2736s| 14100 | 14101 | 16025k|1056.2 | 453M | 29 | 500 | 545 | 520 |3606 | 1 | 561 |1740 | 3.921416e+01 | 5.600000e+01 | 42.81%| unknown
2729.65/2736.36 o 55
2729.65/2736.36 c L2736s| 14102 | 14103 | 16026k|1056.1 |crossove| 30 | 500 | 545 | 520 |3606 | 1 | 561 |1741 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2743.32/2750.09 c 2750s| 14200 | 14201 | 16130k|1056.2 | 453M | 33 | 500 | 548 | 521 |3619 | 1 | 567 |1743 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2753.09/2759.80 c 2760s| 14300 | 14301 | 16206k|1054.3 | 453M | 33 | 500 | 550 | 519 |3619 | 1 | 572 |1745 | 3.921666e+01 | 5.500000e+01 | 40.25%| unknown
2769.75/2776.57 c 2777s| 14400 | 14401 | 16289k|1052.8 | 453M | 33 | 500 | 550 | 520 |3619 | 1 | 574 |1748 | 3.921691e+01 | 5.500000e+01 | 40.25%| unknown
2780.52/2787.37 c 2787s| 14500 | 14501 | 16368k|1051.1 | 453M | 33 | 500 | 548 | 520 |3623 | 1 | 575 |1752 | 3.922047e+01 | 5.500000e+01 | 40.23%| unknown
2791.80/2798.61 c 2799s| 14600 | 14601 | 16453k|1049.8 | 453M | 33 | 500 | 549 | 522 |3630 | 1 | 580 |1754 | 3.922583e+01 | 5.500000e+01 | 40.21%| unknown
2802.67/2809.52 c 2810s| 14700 | 14701 | 16515k|1047.1 | 453M | 33 | 500 | 550 | 520 |3650 | 1 | 583 |1761 | 3.923159e+01 | 5.500000e+01 | 40.19%| unknown
2813.25/2820.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2813.25/2820.19 c 2820s| 14800 | 14801 | 16598k|1045.7 | 454M | 33 | 500 | 553 | 521 |3650 | 1 | 592 |1765 | 3.923174e+01 | 5.500000e+01 | 40.19%| unknown
2824.12/2831.10 c 2831s| 14900 | 14901 | 16675k|1044.0 | 454M | 33 | 500 | 552 | 521 |3651 | 1 | 594 |1773 | 3.923699e+01 | 5.500000e+01 | 40.17%| unknown
2834.99/2841.94 c 2842s| 15000 | 15001 | 16753k|1042.4 | 454M | 33 | 500 | 553 | 520 |3654 | 1 | 598 |1780 | 3.923972e+01 | 5.500000e+01 | 40.16%| unknown
2849.17/2856.13 c 2856s| 15100 | 15101 | 16853k|1042.1 | 454M | 33 | 500 | 552 | 521 |3655 | 1 | 602 |1793 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2858.94/2865.93 c 2866s| 15200 | 15201 | 16926k|1040.2 | 454M | 33 | 500 | 553 | 521 |3655 | 1 | 605 |1795 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2868.52/2875.53 c 2876s| 15300 | 15301 | 16997k|1038.2 | 454M | 33 | 500 | 553 | 521 |3655 | 1 | 607 |1800 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2878.39/2885.46 c 2885s| 15400 | 15401 | 17065k|1036.0 | 454M | 33 | 500 | 554 | 520 |3659 | 1 | 611 |1809 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2890.07/2897.11 c 2897s| 15500 | 15501 | 17147k|1034.7 | 454M | 33 | 500 | 554 | 522 |3670 | 1 | 616 |1812 | 3.924999e+01 | 5.500000e+01 | 40.13%| unknown
2901.54/2908.60 c 2909s| 15600 | 15601 | 17231k|1033.5 | 454M | 33 | 500 | 554 | 520 |3680 | 1 | 620 |1815 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2911.11/2918.23 c 2918s| 15700 | 15701 | 17296k|1031.2 | 454M | 33 | 500 | 552 | 521 |3686 | 1 | 622 |1819 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2921.89/2929.10 c 2929s| 15800 | 15801 | 17376k|1029.8 | 454M | 33 | 500 | 550 | 522 |3690 | 1 | 623 |1821 | 3.925149e+01 | 5.500000e+01 | 40.12%| unknown
2933.36/2940.56 c 2941s| 15900 | 15901 | 17460k|1028.7 | 454M | 33 | 500 | 552 | 521 |3700 | 1 | 629 |1824 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2941.44/2948.66 c 2949s| 16000 | 16001 | 17522k|1026.3 | 454M | 33 | 500 | 554 | 521 |3700 | 1 | 634 |1828 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2952.01/2959.22 c 2959s| 16100 | 16101 | 17588k|1024.2 | 454M | 33 | 500 | 555 | 520 |3704 | 1 | 636 |1839 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2963.38/2970.65 c 2971s| 16200 | 16201 | 17676k|1023.4 | 454M | 33 | 500 | 551 | 520 |3704 | 1 | 639 |1843 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2973.06/2980.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2973.06/2980.34 c 2980s| 16300 | 16301 | 17751k|1021.7 | 454M | 33 | 500 | 552 | 519 |3704 | 1 | 642 |1847 | 3.925385e+01 | 5.500000e+01 | 40.11%| unknown
2982.65/2989.99 c 2990s| 16400 | 16401 | 17826k|1020.2 | 454M | 33 | 500 | 554 | 521 |3704 | 1 | 644 |1850 | 3.925505e+01 | 5.500000e+01 | 40.11%| unknown
2994.82/3002.15 c 3002s| 16500 | 16501 | 17916k|1019.5 | 454M | 33 | 500 | 557 | 520 |3709 | 1 | 653 |1857 | 3.925749e+01 | 5.500000e+01 | 40.10%| unknown
3004.99/3012.30 c 3012s| 16600 | 16601 | 17989k|1017.9 | 454M | 33 | 500 | 556 | 520 |3709 | 1 | 657 |1863 | 3.925808e+01 | 5.500000e+01 | 40.10%| unknown
3013.37/3020.71 c 3021s| 16700 | 16701 | 18051k|1015.6 | 454M | 33 | 500 | 556 | 521 |3709 | 1 | 658 |1866 | 3.926153e+01 | 5.500000e+01 | 40.09%| unknown
3025.74/3033.17 c 3033s| 16800 | 16801 | 18150k|1015.5 | 454M | 33 | 500 | 557 | 520 |3709 | 1 | 663 |1870 | 3.926176e+01 | 5.500000e+01 | 40.09%| unknown
3035.81/3043.24 c 3043s| 16900 | 16901 | 18223k|1013.9 | 454M | 33 | 500 | 556 | 521 |3709 | 1 | 665 |1872 | 3.926202e+01 | 5.500000e+01 | 40.08%| unknown
3046.69/3054.16 c 3054s| 17000 | 17001 | 18310k|1013.1 | 454M | 33 | 500 | 553 | 521 |3709 | 1 | 669 |1875 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3057.16/3064.66 c 3065s| 17100 | 17101 | 18387k|1011.8 | 455M | 33 | 500 | 555 | 521 |3714 | 1 | 674 |1878 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3067.55/3075.09 c 3075s| 17200 | 17201 | 18468k|1010.7 | 455M | 33 | 500 | 555 | 520 |3714 | 1 | 676 |1880 | 3.926430e+01 | 5.500000e+01 | 40.08%| unknown
3080.70/3088.29 c 3088s| 17300 | 17301 | 18535k|1008.8 | 455M | 33 | 500 | 554 | 521 |3720 | 1 | 679 |1882 | 3.926931e+01 | 5.500000e+01 | 40.06%| unknown
3092.28/3099.85 c 3100s| 17400 | 17401 | 18628k|1008.4 | 455M | 33 | 500 | 554 | 520 |3724 | 1 | 682 |1884 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3103.35/3111.00 c 3111s| 17500 | 17501 | 18707k|1007.2 | 455M | 33 | 500 | 554 | 521 |3728 | 1 | 687 |1890 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3113.83/3121.47 c 3121s| 17600 | 17601 | 18784k|1005.9 | 455M | 33 | 500 | 554 | 519 |3728 | 1 | 690 |1898 | 3.927474e+01 | 5.500000e+01 | 40.04%| unknown
3124.51/3132.11 c 3132s| 17700 | 17701 | 18848k|1004.0 | 456M | 33 | 500 | 555 | 521 |3740 | 1 | 693 |1907 | 3.927582e+01 | 5.500000e+01 | 40.04%| unknown
3136.68/3144.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3136.68/3144.30 c 3144s| 17800 | 17801 | 18934k|1003.2 | 456M | 33 | 500 | 553 | 520 |3754 | 1 | 698 |1913 | 3.927712e+01 | 5.500000e+01 | 40.03%| unknown
3148.15/3155.86 c 3156s| 17900 | 17901 | 19009k|1001.9 | 456M | 33 | 500 | 553 | 522 |3761 | 2 | 701 |1922 | 3.928222e+01 | 5.500000e+01 | 40.01%| unknown
3160.42/3168.12 c 3168s| 18000 | 18001 | 19093k|1001.0 | 457M | 33 | 500 | 551 | 521 |3771 | 1 | 705 |1929 | 3.928598e+01 | 5.500000e+01 | 40.00%| unknown
3169.49/3177.28 c 3177s| 18100 | 18101 | 19161k| 999.4 | 457M | 33 | 500 | 552 | 519 |3771 | 1 | 708 |1933 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3178.87/3186.69 c 3187s| 18200 | 18201 | 19235k| 998.0 | 457M | 33 | 500 | 551 | 521 |3771 | 1 | 710 |1935 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3189.05/3196.86 c 3197s| 18300 | 18301 | 19314k| 996.9 | 457M | 33 | 500 | 554 | 522 |3776 | 1 | 717 |1937 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3199.52/3207.38 c 3207s| 18400 | 18401 | 19395k| 996.0 | 457M | 33 | 500 | 555 | 522 |3776 | 1 | 721 |1940 | 3.928909e+01 | 5.500000e+01 | 39.99%| unknown
3209.60/3217.44 c 3217s| 18500 | 18501 | 19469k| 994.6 | 457M | 33 | 500 | 555 | 520 |3777 | 1 | 723 |1946 | 3.929002e+01 | 5.500000e+01 | 39.98%| unknown
3220.28/3228.12 c 3228s| 18600 | 18601 | 19554k| 993.9 | 457M | 33 | 500 | 555 | 519 |3777 | 1 | 728 |1948 | 3.929023e+01 | 5.500000e+01 | 39.98%| unknown
3231.54/3239.49 c 3239s| 18700 | 18701 | 19634k| 993.0 | 457M | 33 | 500 | 558 | 521 |3781 | 1 | 732 |1957 | 3.929133e+01 | 5.500000e+01 | 39.98%| unknown
3240.92/3248.86 c 3249s| 18800 | 18801 | 19700k| 991.2 | 457M | 33 | 500 | 562 | 520 |3781 | 1 | 738 |1962 | 3.929467e+01 | 5.500000e+01 | 39.97%| unknown
3250.60/3258.52 c 3259s| 18900 | 18901 | 19768k| 989.7 | 457M | 33 | 500 | 561 | 520 |3782 | 1 | 739 |1967 | 3.929677e+01 | 5.500000e+01 | 39.96%| unknown
3261.67/3269.65 c 3270s| 19000 | 19001 | 19856k| 989.1 | 457M | 33 | 500 | 564 | 519 |3789 | 1 | 746 |1970 | 3.929838e+01 | 5.500000e+01 | 39.95%| unknown
3270.85/3278.85 c 3279s| 19100 | 19101 | 19931k| 988.0 | 457M | 33 | 500 | 564 | 521 |3790 | 1 | 750 |1971 | 3.930154e+01 | 5.500000e+01 | 39.94%| unknown
3280.72/3288.78 c 3289s| 19200 | 19201 | 19993k| 986.2 | 457M | 33 | 500 | 562 | 520 |3790 | 1 | 753 |1976 | 3.930246e+01 | 5.500000e+01 | 39.94%| unknown
3290.31/3298.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3290.31/3298.33 c 3298s| 19300 | 19301 | 20063k| 984.7 | 457M | 33 | 500 | 564 | 520 |3790 | 1 | 756 |1981 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3300.08/3308.13 c 3308s| 19400 | 19401 | 20136k| 983.5 | 457M | 33 | 500 | 566 | 521 |3791 | 1 | 761 |1984 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3311.15/3319.24 c 3319s| 19500 | 19501 | 20218k| 982.7 | 457M | 33 | 500 | 563 | 521 |3801 | 1 | 765 |1987 | 3.930559e+01 | 5.500000e+01 | 39.93%| unknown
3321.13/3329.20 c 3329s| 19600 | 19601 | 20297k| 981.8 | 457M | 33 | 500 | 560 | 522 |3806 | 1 | 768 |1987 | 3.930695e+01 | 5.500000e+01 | 39.92%| unknown
3333.40/3341.54 c 3342s| 19700 | 19701 | 20386k| 981.3 | 457M | 33 | 500 | 557 | 522 |3812 | 1 | 769 |1990 | 3.930815e+01 | 5.500000e+01 | 39.92%| unknown
3344.57/3352.78 c 3353s| 19800 | 19801 | 20454k| 979.9 | 457M | 33 | 500 | 558 | 521 |3832 | 1 | 771 |1993 | 3.931020e+01 | 5.500000e+01 | 39.91%| unknown
3354.74/3362.95 c 3363s| 19900 | 19901 | 20534k| 979.0 | 458M | 33 | 500 | 558 | 522 |3838 | 6 | 776 |1994 | 3.931062e+01 | 5.500000e+01 | 39.91%| unknown
3366.61/3374.86 c 3375s| 20000 | 20001 | 20618k| 978.4 | 458M | 33 | 500 | 552 | 520 |3844 | 1 | 777 |1999 | 3.931098e+01 | 5.500000e+01 | 39.91%| unknown
3375.59/3383.81 c 3384s| 20100 | 20101 | 20676k| 976.5 | 458M | 33 | 500 | 555 | 521 |3844 | 1 | 782 |2005 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3385.08/3393.37 c 3393s| 20200 | 20201 | 20750k| 975.4 | 458M | 33 | 500 | 554 | 521 |3844 | 1 | 784 |2010 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3397.25/3405.56 c 3406s| 20300 | 20301 | 20846k| 975.3 | 458M | 33 | 500 | 552 | 519 |3844 | 1 | 789 |2016 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3406.13/3414.40 c 3414s| 20400 | 20401 | 20912k| 973.8 | 458M | 33 | 500 | 553 | 521 |3844 | 1 | 792 |2021 | 3.931303e+01 | 5.500000e+01 | 39.90%| unknown
3415.10/3423.47 c 3423s| 20500 | 20501 | 20978k| 972.4 | 458M | 33 | 500 | 555 | 522 |3844 | 1 | 797 |2026 | 3.931360e+01 | 5.500000e+01 | 39.90%| unknown
3426.78/3435.17 c 3435s| 20600 | 20601 | 21074k| 972.3 | 458M | 33 | 500 | 557 | 520 |3844 | 1 | 801 |2031 | 3.931513e+01 | 5.500000e+01 | 39.90%| unknown
3437.35/3445.76 c 3446s| 20700 | 20701 | 21138k| 970.8 | 458M | 33 | 500 | 557 | 521 |3856 | 1 | 803 |2034 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3444.64/3453.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3444.64/3453.07 c 3453s| 20800 | 20801 | 21197k| 969.0 | 458M | 33 | 500 | 557 | 519 |3856 | 1 | 805 |2035 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3454.51/3462.93 c 3463s| 20900 | 20901 | 21276k| 968.2 | 458M | 33 | 500 | 554 | 520 |3856 | 1 | 807 |2037 | 3.931801e+01 | 5.500000e+01 | 39.89%| unknown
3463.39/3471.80 c 3472s| 21000 | 21001 | 21341k| 966.8 | 458M | 33 | 500 | 553 | 520 |3856 | 1 | 808 |2042 | 3.932011e+01 | 5.500000e+01 | 39.88%| unknown
3475.36/3483.83 c 3484s| 21100 | 21101 | 21428k| 966.4 | 458M | 33 | 500 | 550 | 522 |3856 | 1 | 811 |2052 | 3.932146e+01 | 5.500000e+01 | 39.87%| unknown
3485.93/3494.43 c 3494s| 21200 | 21201 | 21506k| 965.5 | 459M | 33 | 500 | 553 | 522 |3861 | 1 | 817 |2054 | 3.932156e+01 | 5.500000e+01 | 39.87%| unknown
3499.20/3507.78 c 3508s| 21300 | 21301 | 21595k| 965.2 | 459M | 33 | 500 | 556 | 522 |3883 | 1 | 821 |2061 | 3.932308e+01 | 5.500000e+01 | 39.87%| unknown
3508.48/3517.06 c 3517s| 21400 | 21401 | 21664k| 964.0 | 459M | 33 | 500 | 556 | 521 |3883 | 1 | 822 |2065 | 3.932312e+01 | 5.500000e+01 | 39.87%| unknown
3518.75/3527.36 c 3527s| 21500 | 21501 | 21741k| 963.1 | 459M | 33 | 500 | 556 | 522 |3884 | 1 | 825 |2071 | 3.932390e+01 | 5.500000e+01 | 39.86%| unknown
3528.53/3537.13 c 3537s| 21600 | 21601 | 21819k| 962.3 | 459M | 33 | 500 | 554 | 521 |3884 | 1 | 829 |2075 | 3.932397e+01 | 5.500000e+01 | 39.86%| unknown
3539.60/3548.26 c 3548s| 21700 | 21701 | 21906k| 961.9 | 459M | 33 | 500 | 555 | 521 |3884 | 1 | 834 |2081 | 3.932554e+01 | 5.500000e+01 | 39.86%| unknown
3548.69/3557.30 c 3557s| 21800 | 21801 | 21971k| 960.5 | 459M | 33 | 500 | 551 | 520 |3888 | 1 | 837 |2084 | 3.932897e+01 | 5.500000e+01 | 39.85%| unknown
3558.56/3567.28 c 3567s| 21900 | 21901 | 22033k| 959.0 | 459M | 33 | 500 | 554 | 520 |3893 | 1 | 842 |2094 | 3.932935e+01 | 5.500000e+01 | 39.84%| unknown
3570.13/3578.87 c 3579s| 22000 | 22001 | 22113k| 958.4 | 459M | 33 | 500 | 552 | 519 |3904 | 1 | 844 |2097 | 3.932939e+01 | 5.500000e+01 | 39.84%| unknown
3580.71/3589.43 c 3589s| 22100 | 22101 | 22197k| 957.8 | 460M | 33 | 500 | 556 | 521 |3905 | 1 | 850 |2104 | 3.932972e+01 | 5.500000e+01 | 39.84%| unknown
3588.19/3597.00 c
3588.19/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.19/3597.00 c Solving Time (sec) : 3597.00
3588.19/3597.00 c Solving Nodes : 22181 (total of 23230 nodes in 2 runs)
3588.19/3597.00 c Primal Bound : +5.50000000000000e+01 (598 solutions)
3588.19/3597.00 c Dual Bound : +3.93297159765988e+01
3588.19/3597.00 c Gap : 39.84 %
3588.29/3597.00 s SATISFIABLE
3588.29/3597.00 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29
3588.29/3597.00 v x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 x39 x40 x41 -x42 x43 -x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 x54 -x55 -x56 -x57
3588.29/3597.00 v -x58 x59 x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84
3588.29/3597.00 v -x85 x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109
3588.29/3597.00 v -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
3588.29/3597.00 v x132 -x133 x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153
3588.29/3597.00 v -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175
3588.29/3597.00 v -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197
3588.29/3597.00 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219
3588.29/3597.00 v -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241
3588.29/3597.00 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
3588.29/3597.00 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
3588.29/3597.00 v -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
3588.29/3597.00 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329
3588.29/3597.00 v -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351
3588.29/3597.00 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373
3588.29/3597.00 v -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
3588.29/3597.00 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3588.29/3597.00 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439
3588.29/3597.00 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
3588.29/3597.00 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483
3588.29/3597.00 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
3588.29/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.29/3597.00 c Total Time : 3597.00
3588.29/3597.00 c solving : 3597.00
3588.29/3597.00 c presolving : 0.08 (included in solving)
3588.29/3597.00 c reading : 0.01 (included in solving)
3588.29/3597.00 c copying : 0.05 (18 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3588.29/3597.00 c Original Problem :
3588.29/3597.00 c Problem name : HOME/instance-4498270-1751268250.opb
3588.29/3597.00 c Variables : 6828 (500 binary, 0 integer, 6328 continuous)
3588.29/3597.00 c implied integral : 6328 (0 binary, 0 integer, 6328 continuous)
3588.29/3597.00 c Constraints : 7328 initial, 7328 maximal
3588.29/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.29/3597.00 c Presolved Problem :
3588.29/3597.00 c Problem name : t_HOME/instance-4498270-1751268250.opb
3588.29/3597.00 c Variables : 500 (500 binary, 0 integer, 0 continuous)
3588.29/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.29/3597.00 c Constraints : 541 initial, 567 maximal
3588.29/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.29/3597.00 c Nonzeros : 15446 constraint, 0 clique table
3588.29/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.29/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualfix : 0.00 0.00 5 6328 0 0 0 0 0 0 0 0
3588.29/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c linear : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c logicor : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 7328 500 0 0
3588.29/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.29/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.29/3597.00 c integral : 0 0 0 0 23229 0 0 1845 0 0 0 0 0 0 46458
3588.29/3597.00 c linear : 14 14 15 220953 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c logicor : 527+ 553 31 110883 0 0 0 1841 903 204 0 0 0 0 0
3588.29/3597.00 c fixedvar : 0 0 0 0 0 0 0 699 0 0 0 0 0 0 0
3588.29/3597.00 c countsols : 0 0 0 0 0 0 0 699 0 0 0 0 0 0 0
3588.29/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.29/3597.00 c integral : 314.96 0.00 0.00 0.00 314.95 0.00 0.00 0.01 0.00 0.00
3588.29/3597.00 c linear : 1.52 0.00 1.20 0.31 0.00 0.00 0.00 0.00 0.00 0.01
3588.29/3597.00 c logicor : 0.33 0.00 0.00 0.29 0.00 0.00 0.00 0.03 0.00 0.00
3588.29/3597.00 c fixedvar : 0.21 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00 0.00
3588.29/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.29/3597.00 c dualfix : 3 0 0 0
3588.29/3597.00 c genvbounds : 0 0 0 0
3588.29/3597.00 c nlobbt : 0 0 0 0
3588.29/3597.00 c obbt : 0 0 0 0
3588.29/3597.00 c probing : 0 0 0 0
3588.29/3597.00 c pseudoobj : 47447 0 0 0
3588.29/3597.00 c redcost : 37 0 0 0
3588.29/3597.00 c rootredcost : 4 0 0 0
3588.29/3597.00 c symmetry : 0 0 0 0
3588.29/3597.00 c vbounds : 0 0 0 0
3588.29/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.29/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
3588.29/3597.00 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3588.29/3597.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3588.29/3597.00 c symmetry : 0.03 0.00 0.00 0.03 0.00 0.00
3588.29/3597.00 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.00
3588.29/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.29/3597.00 c propagation : 0.00 204 14 - 79 142.4 0 0.0 - - -
3588.29/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.29/3597.00 c bound exceed. LP : 0.76 2034 840 - 1132 86.0 0 0.0 0 0.0 6880
3588.29/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.29/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.29/3597.00 c applied globally : 0.00 - - 0 712 61.2 - - 0 - -
3588.29/3597.00 c applied locally : - - - 0 142 107.4 - - 0 - -
3588.29/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.29/3597.00 c cut pool : 30.35 - 9662 49 - - 208392 348483 - - - - - (maximal pool size: 5111)
3588.29/3597.00 c aggregation : 264.41 0.00 4454 31 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.29/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.29/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.29/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gomory : 55.49 0.00 4097 20 0 0 208346 347574 0 4453 4453 0 0
3588.29/3597.00 c > gomorymi : - - - - - - - 232134 0 3622 3622 0 -
3588.29/3597.00 c > strongcg : - - - - - - - 115440 0 831 831 0 -
3588.29/3597.00 c impliedbounds : 0.06 0.00 4454 31 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c multilinear : 0.00 0.00 2551 31 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c zerohalf : 41.34 0.00 4108 31 0 0 46 909 0 55 55 0 0
3588.29/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.29/3597.00 c hybrid : 2.06 0.00 4508 31 4508 0 343975 31 0 6447
3588.29/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.29/3597.00 c problem variables: 0.00 - 0 0
3588.29/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.29/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c relpscost : 314.93 0.00 23229 0 0 0 0 0 0 46458
3588.29/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.29/3597.00 c LP solutions : 0.00 - - 0 0
3588.29/3597.00 c relax solutions : 0.00 - - 0 0
3588.29/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.29/3597.00 c strong branching : 0.15 - - 139 0
3588.29/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c adaptivediving : 16.38 0.00 15 1 0
3588.29/3597.00 c alns : 0.85 0.00 5 0 0
3588.29/3597.00 c bound : 0.00 0.00 0 0 0
3588.29/3597.00 c clique : 0.00 0.00 0 0 0
3588.29/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c completesol : 0.00 0.00 0 0 0
3588.29/3597.00 c conflictdiving : 183.97 0.00 344 1 0
3588.29/3597.00 c crossover : 7.29 0.00 4 4 2
3588.29/3597.00 c dins : 0.00 0.00 0 0 0
3588.29/3597.00 c distributiondivin: 116.51 0.00 89 3 0
3588.29/3597.00 c dks : 0.00 0.00 0 0 0
3588.29/3597.00 c dps : 0.00 0.00 0 0 0
3588.29/3597.00 c dualval : 0.00 0.00 0 0 0
3588.29/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c feaspump : 0.00 0.00 0 0 0
3588.29/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.29/3597.00 c fracdiving : 81.66 0.00 82 2 0
3588.29/3597.00 c gins : 0.01 0.00 0 0 0
3588.29/3597.00 c guideddiving : 64.03 0.00 70 0 0
3588.29/3597.00 c indicator : 0.00 0.00 0 0 0
3588.29/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.29/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.29/3597.00 c linesearchdiving : 60.66 0.00 91 0 0
3588.29/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.29/3597.00 c locks : 0.00 0.00 1 1 1
3588.29/3597.00 c lpface : 0.01 0.00 0 0 0
3588.29/3597.00 c mpec : 0.00 0.00 0 0 0
3588.29/3597.00 c multistart : 0.00 0.00 0 0 0
3588.29/3597.00 c mutation : 0.00 0.00 0 0 0
3588.29/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c objpscostdiving : 42.37 0.00 30 66 0
3588.29/3597.00 c octane : 0.00 0.00 0 0 0
3588.29/3597.00 c ofins : 0.00 0.00 0 0 0
3588.29/3597.00 c oneopt : 0.01 0.00 3 0 0
3588.29/3597.00 c padm : 0.00 0.00 0 0 0
3588.29/3597.00 c proximity : 0.00 0.00 0 0 0
3588.29/3597.00 c pscostdiving : 267.48 0.00 385 159 0
3588.29/3597.00 c randrounding : 0.10 0.00 1138 0 0
3588.29/3597.00 c rens : 0.00 0.00 0 0 0
3588.29/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.29/3597.00 c repair : 0.00 0.00 0 0 0
3588.29/3597.00 c rins : 36.53 0.00 9 9 0
3588.29/3597.00 c rootsoldiving : 13.46 0.00 107 0 0
3588.29/3597.00 c rounding : 0.69 0.00 2331 0 0
3588.29/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.29/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3588.29/3597.00 c shifting : 0.42 0.00 1057 0 0
3588.29/3597.00 c simplerounding : 0.55 0.00 27737 59 0
3588.29/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.29/3597.00 c trivial : 0.00 0.00 4 1 1
3588.29/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.29/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.29/3597.00 c trysol : 0.01 0.00 0 0 0
3588.29/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.29/3597.00 c undercover : 0.00 0.00 0 0 0
3588.29/3597.00 c vbounds : 0.00 0.00 0 0 0
3588.29/3597.00 c veclendiving : 66.49 0.00 154 0 0
3588.29/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.29/3597.00 c zirounding : 1.64 0.00 7651 153 0
3588.29/3597.00 c other solutions : - - - 0 -
3588.29/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.29/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.29/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.29/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.29/3597.00 c primal LP : 4.98 315 0 0.00 0.00 4.98 315
3588.29/3597.00 c dual LP : 1911.42 27738 12537922 452.01 6559.49 0.00 0
3588.29/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.29/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.29/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.29/3597.00 c diving/probing LP: 901.48 9854 9716829 986.08 10778.77
3588.29/3597.00 c strong branching : 290.08 2109 1763301 836.08 6078.72 - - 2414
3588.29/3597.00 c (at root node) : - 40 37754 943.85 -
3588.29/3597.00 c conflict analysis: 0.45 688 6880 10.00 15323.66
3588.29/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.29/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3588.29/3597.00 c B&B Tree :
3588.29/3597.00 c number of runs : 2
3588.29/3597.00 c nodes : 22181 (22180 internal, 1 leaves)
3588.29/3597.00 c feasible leaves : 0
3588.29/3597.00 c infeas. leaves : 0
3588.29/3597.00 c objective leaves : 0
3588.29/3597.00 c nodes (total) : 23230 (23229 internal, 1 leaves)
3588.29/3597.00 c nodes left : 22181
3588.29/3597.00 c max depth : 33
3588.29/3597.00 c max depth (total): 33
3588.29/3597.00 c backtracks : 4920 (22.2%)
3588.29/3597.00 c early backtracks : 0 (0.0%)
3588.29/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.29/3597.00 c delayed cutoffs : 0
3588.29/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.29/3597.00 c avg switch length: 5.84
3588.29/3597.00 c switching time : 5.73
3588.29/3597.00 c Root Node :
3588.29/3597.00 c First LP value : +3.68368214105395e+01
3588.29/3597.00 c First LP Iters : 10408 (10141.82 Iter/sec)
3588.29/3597.00 c First LP Time : 1.03
3588.29/3597.00 c Final Dual Bound : +3.82528351763238e+01
3588.29/3597.00 c Final Root Iters : 25804
3588.29/3597.00 c Root LP Estimate : +4.88165921372577e+01
3588.29/3597.00 c Solution :
3588.29/3597.00 c Solutions found : 598 (4 improvements)
3588.29/3597.00 c First Solution : +5.00000000000000e+02 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trivial>)
3588.29/3597.00 c Gap First Sol. : infinite
3588.29/3597.00 c Gap Last Sol. : 40.26 %
3588.29/3597.00 c Primal Bound : +5.50000000000000e+01 (in run 2, after 14102 nodes, 2736.36 seconds, depth 30, found by <crossover>)
3588.29/3597.00 c Dual Bound : +3.93297159765988e+01
3588.29/3597.00 c Gap : 39.84 %
3588.29/3597.00 c Integrals : Total Avg%
3588.29/3597.00 c primal-dual : 109588.24 30.47
3588.29/3597.00 c primal-ref : - - (not evaluated)
3588.29/3597.00 c dual-ref : - - (not evaluated)
3588.49/3597.26 c Time complete (sec): 3588.558
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 (62923 MiB free)
memory of node 1: 64465 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498270-1751268250/watcher-4498270-1751268250 -o /tmp/evaluation-result-4498270-1751268250/solver-4498270-1751268250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36903 --watchdog 3760 pbsolver -f HOME/instance-4498270-1751268250.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=37183, runsolver pid=37179
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.39 0.38 0.19 4/263 37188
/proc/meminfo: memFree=129571160/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=54072 memory=43776 CPUtime=0.09 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 8573 0 0 0 9 0 0 0 20 0 1 0 42503539 55369728 10944 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 13518 10944 2624 2575 0 10425 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54072 KiB
Current children cumulated memory: 43776 KiB
[startup+0.20544 s]*
/proc/loadavg: 1.39 0.38 0.19 4/261 37196
/proc/meminfo: memFree=129562340/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=54372 memory=44160 CPUtime=0.2 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 8674 0 0 0 19 1 0 0 20 0 1 0 42503539 55676928 11040 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 13593 11040 2624 2575 0 10500 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54372 KiB
Current children cumulated memory: 44160 KiB
[startup+0.3044 s]*
/proc/loadavg: 1.39 0.38 0.19 4/261 37196
/proc/meminfo: memFree=129562088/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=54828 memory=44544 CPUtime=0.3 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 8754 0 0 0 29 1 0 0 20 0 1 0 42503539 56143872 11136 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 13707 11136 2624 2575 0 10614 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54828 KiB
Current children cumulated memory: 44544 KiB
[startup+0.700106 s]
/proc/loadavg: 1.39 0.38 0.19 4/261 37196
/proc/meminfo: memFree=129562088/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=55808 memory=45196 CPUtime=0.68 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 9027 0 0 0 67 1 0 0 20 0 1 0 42503539 57147392 11299 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 13952 11299 2624 2575 0 10859 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55808 KiB
Current children cumulated memory: 45196 KiB
[startup+1.50013 s]
/proc/loadavg: 1.39 0.38 0.19 5/261 37196
/proc/meminfo: memFree=129562088/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=92408 memory=81588 CPUtime=1.46 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 18758 0 0 0 142 4 0 0 20 0 1 0 42503539 94625792 20397 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 23102 20397 2624 2575 0 20009 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 92408 KiB
Current children cumulated memory: 81588 KiB
[startup+3.10522 s]
/proc/loadavg: 1.39 0.38 0.19 5/265 37233
/proc/meminfo: memFree=129382884/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=166784 memory=154932 CPUtime=3.06 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 37116 0 0 0 299 7 0 0 20 0 1 0 42503539 170786816 38733 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 41696 38733 2624 2575 0 38603 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 166784 KiB
Current children cumulated memory: 154932 KiB
[startup+6.3001 s]
/proc/loadavg: 1.68 0.46 0.21 5/265 37233
/proc/meminfo: memFree=129367040/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=168584 memory=155828 CPUtime=6.24 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 37345 0 0 0 617 7 0 0 20 0 1 0 42503539 172630016 38957 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 42146 38957 2624 2575 0 39053 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 168584 KiB
Current children cumulated memory: 155828 KiB
[startup+12.7002 s]
/proc/loadavg: 1.95 0.53 0.24 5/265 37233
/proc/meminfo: memFree=129310884/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=167712 memory=155904 CPUtime=12.63 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 37572 0 0 0 1256 7 0 0 20 0 1 0 42503539 171737088 38976 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 41928 38976 2624 2575 0 38835 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 167712 KiB
Current children cumulated memory: 155904 KiB
[startup+25.5002 s]
/proc/loadavg: 2.47 0.72 0.30 5/265 37233
/proc/meminfo: memFree=129302924/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=168736 memory=156800 CPUtime=25.4 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 37802 0 0 0 2533 7 0 0 20 0 1 0 42503539 172785664 39200 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 42184 39200 2624 2575 0 39091 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 168736 KiB
Current children cumulated memory: 156800 KiB
[startup+51.1053 s]
/proc/loadavg: 3.06 1.00 0.41 5/266 37235
/proc/meminfo: memFree=129170632/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=238488 memory=225536 CPUtime=50.93 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 54964 0 0 0 5084 9 0 0 20 0 1 0 42503539 244211712 56384 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 59622 56384 2624 2575 0 56529 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 238488 KiB
Current children cumulated memory: 225536 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 1.48 0.60 5/267 37238
/proc/meminfo: memFree=128957076/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=324720 memory=308992 CPUtime=102.01 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 75850 0 0 0 10187 14 0 0 20 0 1 0 42503539 332513280 77248 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 81180 77248 2624 2575 0 78087 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 324720 KiB
Current children cumulated memory: 308992 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 1.95 0.82 5/267 37240
/proc/meminfo: memFree=128895088/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=324168 memory=308804 CPUtime=161.86 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 75882 0 0 0 16171 15 0 0 20 0 1 0 42503539 331948032 77201 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 81042 77201 2688 2575 0 77949 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 324168 KiB
Current children cumulated memory: 308804 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.35 1.03 5/267 37242
/proc/meminfo: memFree=128833920/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=324168 memory=308932 CPUtime=221.72 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 75902 0 0 0 22156 16 0 0 20 0 1 0 42503539 331948032 77233 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 81042 77233 2688 2575 0 77949 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 324168 KiB
Current children cumulated memory: 308932 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.66 1.22 5/267 37244
/proc/meminfo: memFree=128727888/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=324168 memory=308932 CPUtime=281.57 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 75914 0 0 0 28140 17 0 0 20 0 1 0 42503539 331948032 77233 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 81042 77233 2688 2575 0 77949 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 324168 KiB
Current children cumulated memory: 308932 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.94 1.41 5/263 37246
/proc/meminfo: memFree=128614540/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=324168 memory=309060 CPUtime=341.42 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 75926 0 0 0 34124 18 0 0 20 0 1 0 42503539 331948032 77265 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 81042 77265 2688 2575 0 77949 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 324168 KiB
Current children cumulated memory: 309060 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.15 1.58 5/263 37249
/proc/meminfo: memFree=128585444/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=324168 memory=309060 CPUtime=401.28 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 75934 0 0 0 40109 19 0 0 20 0 1 0 42503539 331948032 77265 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 81042 77265 2688 2575 0 77949 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 324168 KiB
Current children cumulated memory: 309060 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.32 1.74 5/263 37251
/proc/meminfo: memFree=128518924/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=358672 memory=345868 CPUtime=461.14 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 85253 0 0 0 46092 22 0 0 20 0 1 0 42503539 367280128 86467 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 89668 86467 2688 2575 0 86575 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.01 5/263 37393
/proc/meminfo: memFree=127007116/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485176 memory=473280 CPUtime=3154.63 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120460 0 0 0 315414 49 0 0 20 0 1 0 42503539 496820224 118320 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121294 118320 2688 2575 0 118201 0
Current children cumulated CPU time: 3154.63 s
Current children cumulated vsize: 485176 KiB
Current children cumulated memory: 473280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 37394
/proc/meminfo: memFree=126974684/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485176 memory=473408 CPUtime=3214.49 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120478 0 0 0 321400 49 0 0 20 0 1 0 42503539 496820224 118352 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121294 118352 2688 2575 0 118201 0
Current children cumulated CPU time: 3214.49 s
Current children cumulated vsize: 485176 KiB
Current children cumulated memory: 473408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 37396
/proc/meminfo: memFree=126946552/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485176 memory=473408 CPUtime=3274.34 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120608 0 0 0 327385 49 0 0 20 0 1 0 42503539 496820224 118352 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121294 118352 2688 2575 0 118201 0
Current children cumulated CPU time: 3274.34 s
Current children cumulated vsize: 485176 KiB
Current children cumulated memory: 473408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 37399
/proc/meminfo: memFree=126908280/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485176 memory=473408 CPUtime=3334.19 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120660 0 0 0 333369 50 0 0 20 0 1 0 42503539 496820224 118352 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121294 118352 2688 2575 0 118201 0
Current children cumulated CPU time: 3334.19 s
Current children cumulated vsize: 485176 KiB
Current children cumulated memory: 473408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/263 37401
/proc/meminfo: memFree=126870216/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=473536 CPUtime=3394.06 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120690 0 0 0 339355 51 0 0 20 0 1 0 42503539 497250304 118384 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 118384 2688 2575 0 118306 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 473536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 37403
/proc/meminfo: memFree=126818480/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=476992 CPUtime=3453.91 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120873 0 0 0 345340 51 0 0 20 0 1 0 42503539 497250304 119248 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119248 2688 2575 0 118306 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 476992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 37405
/proc/meminfo: memFree=126794440/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=476992 CPUtime=3513.76 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120887 0 0 0 351325 51 0 0 20 0 1 0 42503539 497250304 119248 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119248 2688 2575 0 118306 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 476992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.02 4/259 37415
/proc/meminfo: memFree=126964644/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=476992 CPUtime=3573.63 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 120993 0 0 0 357311 52 0 0 20 0 1 0 42503539 497250304 119248 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119248 2688 2575 0 118306 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 476992 KiB
[startup+3597.26 s]
# the end of solver process 37183 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.03 s, system=0.52544 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126890604/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=477248 CPUtime=3575.33 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121076 0 0 0 357481 52 0 0 20 0 1 0 42503539 497250304 119312 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119312 2688 2575 0 118306 0
Current children cumulated CPU time: 3575.33 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 477248 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126826532/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=477248 CPUtime=3581.71 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121076 0 0 0 358119 52 0 0 20 0 1 0 42503539 497250304 119312 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119312 2688 2575 0 118306 0
Current children cumulated CPU time: 3581.71 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 477248 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.02 4/259 37483
/proc/meminfo: memFree=128191176/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=477248 CPUtime=3584.9 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121077 0 0 0 358438 52 0 0 20 0 1 0 42503539 497250304 119312 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119312 2688 2575 0 118306 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 477248 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.02 4/259 37506
/proc/meminfo: memFree=128159868/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=477248 CPUtime=3586.49 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121141 0 0 0 358597 52 0 0 20 0 1 0 42503539 497250304 119312 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119312 2688 2575 0 118306 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 477248 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.02 4/259 37506
/proc/meminfo: memFree=128160044/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=477248 CPUtime=3587.3 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121141 0 0 0 358678 52 0 0 20 0 1 0 42503539 497250304 119312 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119312 2688 2575 0 118306 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 477248 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.02 4/259 37506
/proc/meminfo: memFree=128160044/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=485596 memory=477248 CPUtime=3588.09 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121142 0 0 0 358757 52 0 0 20 0 1 0 42503539 497250304 119312 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 121399 119312 2688 2575 0 118306 0
Current children cumulated CPU time: 3588.09 s
Current children cumulated vsize: 485596 KiB
Current children cumulated memory: 477248 KiB
[startup+3597.2 s]
/proc/loadavg: 4.09 4.09 4.02 4/259 37506
/proc/meminfo: memFree=128160044/131249988 swapFree=33010684/33010684
[pid=37183] ppid=37179 vsize=483420 memory=475188 CPUtime=3588.49 cores=4,6
/proc/37183/stat : 37183 (pbsolver) R 37179 37183 36885 0 -1 4194304 121163 0 0 0 358797 52 0 0 20 0 1 0 42503539 495022080 118797 18446744073709551615 4198400 14743177 140728428775840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45494272 140728428784010 140728428784106 140728428784106 140728428789708 0
/proc/37183/statm: 120855 118797 2688 2575 0 117762 0
Current children cumulated CPU time: 3588.49 s
Current children cumulated vsize: 483420 KiB
Current children cumulated memory: 475188 KiB
Child status: 0
Real time (s): 3597.26
CPU time (s): 3588.56
CPU user time (s): 3588.03
CPU system time (s): 0.52544
CPU usage (%): 99.758
Max. virtual memory (cumulated for all children) (KiB): 485596
Max. memory (cumulated for all children) (KiB): 477248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.03
system time used= 0.52544
maximum resident set size= 477248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121194
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= 26
involuntary context switches= 1561
# summary of solver processes directly reported to runsolver:
# pid: 37183
# total CPU time (s): 3588.56
# total CPU user time (s): 3588.03
# total CPU system time (s): 0.52544
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26482 second user time and 15.3306 second system time
The end
Begin job on nodeC031 at 2025-06-30 09:24:10 IDJOB=4498270 IDBENCH=148588 IDSOLVER=3366 FILE ID=nodeC031/4498270-1751268250 RUNJOBID= nodeC031-1751268232-36903 SLURM_JOB_ID= 9594198 Free space on /tmp= 433032 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498270-1751268250/watcher-4498270-1751268250 -o /tmp/evaluation-result-4498270-1751268250/solver-4498270-1751268250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36903 --watchdog 3760 pbsolver -f HOME/instance-4498270-1751268250.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2 RANDOM SEED=27383631 nodeC031 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 : 3600.146 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.78 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.872 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.78 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 : 3602.564 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.78 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 : 3509.340 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.78 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 : 3600.055 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.78 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.885 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.78 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 : 3596.292 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.78 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 : 3600.939 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129621980 kB MemAvailable: 129578348 kB Buffers: 3280 kB Cached: 764064 kB SwapCached: 0 kB Active: 559188 kB Inactive: 509308 kB Active(anon): 319220 kB Inactive(anon): 0 kB Active(file): 239968 kB Inactive(file): 509308 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 45400 kB Writeback: 20 kB AnonPages: 304528 kB Mapped: 125160 kB Shmem: 18064 kB KReclaimable: 92664 kB Slab: 178836 kB SReclaimable: 92664 kB SUnreclaim: 86172 kB KernelStack: 4196 kB PageTables: 3436 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 646016 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC031 at 2025-06-30 10:24:07