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 | OPT | 3 | 6.24431 | 6.27108 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
| MD5SUM | 60205697a36204ec3d9b8e2d1efac02f |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.056998 |
| 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 | 216 |
| Total number of constraints | 19 |
| 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 | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
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-4498049-1751268234.opb>
0.00/0.00 c original problem has 792 variables (216 bin, 0 int, 576 cont) and 604 constraints
0.00/0.00 c original problem has 576 implied integral variables (0 bin, 0 int, 576 cont)
0.00/0.00 c problem read in 0.002 seconds
0.00/0.00 c presolving:
0.00/0.00 c (round 1, fast) 28 del vars, 0 del conss, 9 add conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 0 impls, 1008 clqs
0.00/0.00 c (round 2, fast) 172 del vars, 126 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 882 clqs
0.00/0.00 c (round 3, exhaustive) 173 del vars, 126 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 883 clqs
0.00/0.00 c (round 4, fast) 174 del vars, 129 del conss, 19 add conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 1 upgd conss, 0 impls, 882 clqs
0.00/0.00 c (round 5, fast) 175 del vars, 131 del conss, 20 add conss, 0 chg bounds, 0 chg sides, 187 chg coeffs, 1 upgd conss, 0 impls, 881 clqs
0.00/0.00 c (round 6, fast) 175 del vars, 131 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 1 upgd conss, 0 impls, 881 clqs
0.00/0.00 c (round 7, exhaustive) 175 del vars, 134 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 1 upgd conss, 0 impls, 881 clqs
0.00/0.01 c (round 8, exhaustive) 175 del vars, 143 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 1 upgd conss, 0 impls, 881 clqs
0.00/0.01 c (round 9, exhaustive) 175 del vars, 143 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 20 upgd conss, 0 impls, 881 clqs
0.00/0.01 c (0.0s) probing: 51/635 (8.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.01 c presolving (10 rounds: 10 fast, 5 medium, 5 exhaustive):
0.00/0.01 c 175 deleted vars, 143 deleted constraints, 20 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 189 changed coefficients
0.00/0.01 c 0 implications, 881 cliques
0.00/0.01 c presolved problem has 635 variables (196 bin, 0 int, 439 cont) and 479 constraints
0.00/0.01 c presolved problem has 439 implied integral variables (0 bin, 0 int, 439 cont)
0.00/0.01 c 3 constraints of type <setppc>
0.00/0.01 c 439 constraints of type <and>
0.00/0.01 c 9 constraints of type <linear>
0.00/0.01 c 19 constraints of type <logicor>
0.00/0.01 c 9 constraints of type <pseudoboolean>
0.00/0.01 c transformed objective value is always integral (scale: 2)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998012
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 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.01 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.01 c reading/opbreader/maxintsize = 47
0.00/0.01 c
0.00/0.01 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.01 c propagating/genvbounds/timingmask = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c
0.00/0.02 o 5
0.00/0.02 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.02 c p 0.0s| 1 | 0 | 0 | - |shiftand| 0 | 635 | 490 | 909 | 0 | 0 | 10 | 0 | 1.000000e+00 | 5.000000e+00 | 400.00%| unknown
0.00/0.02 c 0.0s| 1 | 0 | 22 | - | 9737k | 0 | 635 | 448 | 910 | 0 | 0 | 10 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.00/0.05 c 0.0s| 1 | 0 | 42 | - | 10M | 0 | 635 | 453 | 916 | 6 | 1 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.00/0.05 c 0.1s| 1 | 0 | 62 | - | 10M | 0 | 635 | 453 | 924 | 14 | 2 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 85 | - | 10M | 0 | 635 | 452 | 933 | 23 | 3 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.00/0.09 c 0.1s| 1 | 0 | 125 | - | 11M | 0 | 635 | 452 | 945 | 35 | 4 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.09/0.11 c 0.1s| 1 | 0 | 154 | - | 11M | 0 | 635 | 452 | 955 | 45 | 5 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 182 | - | 12M | 0 | 635 | 452 | 966 | 56 | 6 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 205 | - | 12M | 0 | 635 | 452 | 976 | 66 | 7 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.20/0.21 c 0.2s| 1 | 0 | 242 | - | 13M | 0 | 635 | 452 | 986 | 76 | 8 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.20/0.25 c 0.3s| 1 | 0 | 293 | - | 14M | 0 | 635 | 452 | 997 | 87 | 9 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.20/0.29 c 0.3s| 1 | 0 | 324 | - | 14M | 0 | 635 | 452 |1009 | 99 | 10 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.20/0.30 c 0.3s| 1 | 0 | 359 | - | 15M | 0 | 635 | 452 | 149 | 110 | 11 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.20/0.30 c 0.3s| 1 | 0 | 359 | - | 15M | 0 | 635 | 452 | 149 | 110 | 11 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.30/0.35 c 0.3s| 1 | 2 | 1307 | - | 15M | 0 | 635 | 463 | 149 | 110 | 11 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.30/0.35 c (run 1, node 1) restarting after 55 global fixings of integer variables
0.30/0.35 c
0.30/0.35 c (restart) converted 104 cuts from the global cut pool into linear constraints
0.30/0.35 c
0.30/0.35 c presolving:
0.30/0.35 c (round 1, fast) 64 del vars, 10 del conss, 9 add conss, 0 chg bounds, 3 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 785 clqs
0.30/0.35 c (round 2, fast) 64 del vars, 10 del conss, 9 add conss, 0 chg bounds, 9 chg sides, 26 chg coeffs, 0 upgd conss, 0 impls, 785 clqs
0.30/0.35 c (round 3, medium) 64 del vars, 60 del conss, 9 add conss, 0 chg bounds, 9 chg sides, 26 chg coeffs, 0 upgd conss, 0 impls, 785 clqs
0.30/0.35 c (round 4, exhaustive) 64 del vars, 65 del conss, 9 add conss, 0 chg bounds, 10 chg sides, 26 chg coeffs, 0 upgd conss, 0 impls, 785 clqs
0.30/0.35 c (round 5, exhaustive) 64 del vars, 65 del conss, 9 add conss, 0 chg bounds, 10 chg sides, 26 chg coeffs, 98 upgd conss, 0 impls, 785 clqs
0.30/0.35 c (round 6, fast) 64 del vars, 72 del conss, 9 add conss, 0 chg bounds, 10 chg sides, 26 chg coeffs, 98 upgd conss, 0 impls, 785 clqs
0.30/0.36 c (round 7, exhaustive) 64 del vars, 75 del conss, 9 add conss, 0 chg bounds, 10 chg sides, 28 chg coeffs, 98 upgd conss, 0 impls, 785 clqs
0.30/0.36 c (round 8, exhaustive) 64 del vars, 75 del conss, 9 add conss, 0 chg bounds, 10 chg sides, 115 chg coeffs, 98 upgd conss, 0 impls, 785 clqs
0.30/0.36 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
0.30/0.36 c 64 deleted vars, 75 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 116 changed coefficients
0.30/0.36 c 0 implications, 785 cliques
0.30/0.36 c presolved problem has 571 variables (181 bin, 0 int, 390 cont) and 550 constraints
0.30/0.36 c presolved problem has 390 implied integral variables (0 bin, 0 int, 390 cont)
0.30/0.36 c 28 constraints of type <knapsack>
0.30/0.36 c 11 constraints of type <setppc>
0.30/0.36 c 390 constraints of type <and>
0.30/0.36 c 18 constraints of type <linear>
0.30/0.36 c 95 constraints of type <logicor>
0.30/0.36 c 8 constraints of type <pseudoboolean>
0.30/0.36 c transformed objective value is always integral (scale: 2)
0.30/0.36 c Presolving Time: 0.02
0.30/0.36 c
0.30/0.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.36 c 0.4s| 1 | 0 | 1355 | - | 17M | 0 | 571 | 550 | 907 | 0 | 0 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.39/0.41 c 0.4s| 1 | 0 | 1386 | - | 18M | 0 | 571 | 550 | 921 | 14 | 1 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.39/0.46 c 0.5s| 1 | 0 | 1411 | - | 18M | 0 | 571 | 550 | 935 | 28 | 2 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.49/0.56 c 0.6s| 1 | 0 | 1438 | - | 22M | 0 | 571 | 550 | 951 | 44 | 3 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.59/0.65 c 0.6s| 1 | 0 | 1477 | - | 26M | 0 | 571 | 550 | 967 | 60 | 4 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.69/0.73 c 0.7s| 1 | 0 | 1503 | - | 28M | 0 | 571 | 550 | 982 | 75 | 5 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.79/0.82 c 0.8s| 1 | 0 | 1533 | - | 32M | 0 | 571 | 550 | 998 | 91 | 6 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.89/0.90 c 0.9s| 1 | 0 | 1572 | - | 34M | 0 | 571 | 550 |1012 | 105 | 7 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.99/1.02 c 1.0s| 1 | 0 | 1609 | - | 40M | 0 | 571 | 550 |1026 | 119 | 8 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.09/1.14 c 1.1s| 1 | 0 | 1658 | - | 44M | 0 | 571 | 550 |1042 | 135 | 9 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.19/1.27 c 1.3s| 1 | 0 | 1709 | - | 50M | 0 | 571 | 550 |1061 | 154 | 10 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.29/1.32 c 1.3s| 1 | 0 | 1758 | - | 52M | 0 | 571 | 550 |1078 | 171 | 11 | 27 | 5 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.39/1.40 c 1.4s| 1 | 2 | 2206 | - | 52M | 0 | 571 | 550 |1078 | 171 | 11 | 27 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.99/2.01 c 2.0s| 100 | 99 | 6561 | 57.5 | 55M | 29 | 571 | 598 | 230 | 727 | 2 | 75 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.38/2.42 c 2.4s| 200 | 176 | 9460 | 43.2 | 56M | 44 | 571 | 624 | 344 |1355 | 2 | 101 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.58/2.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.63 c 2.6s| 300 | 232 | 11640 | 36.1 | 57M | 44 | 571 | 656 | 229 |1767 | 1 | 133 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.78/2.84 c 2.8s| 400 | 313 | 14463 | 34.1 | 57M | 44 | 571 | 701 | 232 |2332 | 2 | 178 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.98/3.06 c 3.1s| 500 | 383 | 16763 | 31.9 | 57M | 45 | 571 | 719 | 278 |2902 | 2 | 196 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.38/3.41 c 3.4s| 600 | 457 | 19331 | 30.9 | 57M | 45 | 571 | 735 | 269 |3312 | 2 | 212 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.67/3.71 c 3.7s| 700 | 555 | 23200 | 32.0 | 58M | 45 | 571 | 751 | 235 |4113 | 2 | 228 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.08/4.12 c 4.1s| 800 | 649 | 26774 | 32.5 | 58M | 45 | 571 | 794 | 324 |4629 | 1 | 271 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.17/4.23 c 4.2s| 900 | 698 | 28062 | 30.3 | 58M | 62 | 571 | 821 | 0 |4923 | 0 | 298 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.17/4.28 c 4.3s| 1000 | 717 | 28385 | 27.6 | 58M | 62 | 571 | 840 | 368 |5004 | 2 | 317 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.27/4.36 c 4.4s| 1100 | 739 | 29003 | 25.6 | 58M | 68 | 571 | 863 | 391 |5190 | 2 | 340 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.37/4.43 c 4.4s| 1200 | 756 | 29810 | 24.2 | 58M | 68 | 571 | 885 | 363 |5397 | 1 | 362 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.37/4.49 c 4.5s| 1300 | 766 | 30164 | 22.6 | 58M | 68 | 571 | 929 | 0 |5521 | 0 | 406 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.47/4.56 c 4.6s| 1400 | 768 | 30705 | 21.4 | 58M | 68 | 571 | 985 | 365 |5674 | 1 | 462 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.57/4.62 c 4.6s| 1500 | 777 | 31059 | 20.2 | 58M | 68 | 571 |1008 | 372 |5785 | 2 | 485 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.77/4.80 c 4.8s| 1600 | 842 | 33048 | 20.1 | 58M | 68 | 571 |1038 | 286 |6404 | 2 | 515 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.87/4.91 c 4.9s| 1700 | 865 | 33968 | 19.5 | 59M | 70 | 571 |1079 | 370 |6561 | 1 | 556 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.87/4.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.87/4.99 c 5.0s| 1800 | 882 | 34470 | 18.7 | 59M | 70 | 571 |1106 | 257 |6672 | 1 | 583 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.07/5.12 c 5.1s| 1900 | 949 | 36474 | 18.8 | 59M | 70 | 571 |1119 | 0 |7145 | 0 | 596 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.16/5.24 c 5.2s| 2000 | 1013 | 37803 | 18.5 | 59M | 70 | 571 |1128 | 325 |7482 | 2 | 605 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.36/5.42 c 5.4s| 2100 | 1068 | 39480 | 18.4 | 59M | 70 | 571 |1176 | 220 |7840 | 1 | 653 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.46/5.52 c 5.5s| 2200 | 1120 | 40559 | 18.1 | 59M | 70 | 571 |1193 | 0 |8082 | 0 | 670 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.56/5.63 c 5.6s| 2300 | 1199 | 42205 | 18.0 | 59M | 70 | 571 |1207 | 297 |8363 | 2 | 684 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.66/5.76 c 5.8s| 2400 | 1251 | 43382 | 17.7 | 60M | 70 | 571 |1228 | 362 |8706 | 1 | 705 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.76/5.88 c 5.9s| 2500 | 1323 | 44957 | 17.7 | 60M | 70 | 571 |1252 | 0 |9075 | 0 | 729 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.97/6.00 c 6.0s| 2600 | 1350 | 45685 | 17.3 | 60M | 70 | 571 |1268 | 258 |9300 | 1 | 745 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.07/6.13 c 6.1s| 2700 | 1416 | 47291 | 17.2 | 60M | 70 | 571 |1289 | 307 |9678 | 3 | 766 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.07/6.19 c 6.2s| 2800 | 1452 | 47880 | 16.8 | 60M | 70 | 571 |1306 | 0 |9864 | 0 | 783 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.16/6.24 c 6.2s| 2900 | 1473 | 48166 | 16.3 | 60M | 75 | 571 |1318 | 329 |9974 | 2 | 795 | 24 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.16/6.25 o 3
6.16/6.26 c * 6.3s| 2928 | 0 | 48270 | 16.2 | LP | 78 | 571 |1318 | 322 | 10k| 1 | 795 | 24 | 3.000000e+00 | 3.000000e+00 | 0.00%| 100.00%
6.16/6.26 c
6.16/6.26 c SCIP Status : problem is solved [optimal solution found]
6.16/6.26 c Solving Time (sec) : 6.26
6.16/6.26 c Solving Nodes : 2928 (total of 2929 nodes in 2 runs)
6.16/6.26 c Primal Bound : +3.00000000000000e+00 (2 solutions)
6.16/6.26 c Dual Bound : +3.00000000000000e+00
6.16/6.26 c Gap : 0.00 %
6.16/6.26 s OPTIMUM FOUND
6.16/6.26 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 -x30 -x31
6.16/6.26 v -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 -x58 x59 -x60
6.16/6.26 v -x61 -x62 -x63 x64 x65 x66 -x67 x68 x69 -x70 -x71 -x72 x73 x74 -x75 -x76 x77 x78 x79 x80 x81 -x82 x83 -x84 -x85 -x86 x87 x88 x145
6.16/6.26 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x153 -x154 x155 -x156 -x157 -x158 -x159 x160 x97
6.16/6.26 v -x98 x99 x100 -x101 x102 -x103 x104 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 x106 x107 -x108 -x109 -x110 -x111 -x112
6.16/6.26 v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 x116 -x117 x118 x119 x120 x177 x178 -x179 -x180 -x181 -x182 -x183
6.16/6.26 v -x184 x121 x122 x123 -x124 -x125 x126 -x127 -x128 -x185 x186 -x187 -x188 -x189 -x190 -x191 x192 x129 x130 -x131 -x132 -x133 -x134
6.16/6.26 v x135 -x136 -x193 -x194 x195 -x196 x197 -x198 -x199 -x200 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 x201 x202 x203 -x204 -x205
6.16/6.26 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216
6.16/6.26 c SCIP Status : problem is solved [optimal solution found]
6.16/6.26 c Total Time : 6.26
6.16/6.26 c solving : 6.26
6.16/6.26 c presolving : 0.02 (included in solving)
6.16/6.26 c reading : 0.00 (included in solving)
6.16/6.26 c copying : 0.12 (50 #copies) (minimal 0.00, maximal 0.00, average 0.00)
6.16/6.26 c Original Problem :
6.16/6.26 c Problem name : HOME/instance-4498049-1751268234.opb
6.16/6.26 c Variables : 792 (216 binary, 0 integer, 576 continuous)
6.16/6.26 c implied integral : 576 (0 binary, 0 integer, 576 continuous)
6.16/6.26 c Constraints : 604 initial, 604 maximal
6.16/6.26 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
6.16/6.26 c Presolved Problem :
6.16/6.26 c Problem name : t_HOME/instance-4498049-1751268234.opb
6.16/6.26 c Variables : 571 (181 binary, 0 integer, 390 continuous)
6.16/6.26 c implied integral : 390 (0 binary, 0 integer, 390 continuous)
6.16/6.26 c Constraints : 550 initial, 1318 maximal
6.16/6.26 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
6.16/6.26 c Nonzeros : 7537 constraint, 1579 clique table
6.16/6.26 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
6.16/6.26 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
6.16/6.26 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.16/6.26 c gateextraction : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
6.16/6.26 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
6.16/6.26 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.16/6.26 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c trivial : 0.00 0.00 19 73 0 0 0 0 0 0 0 0
6.16/6.26 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c dualfix : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
6.16/6.26 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.16/6.26 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.16/6.26 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.16/6.26 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
6.16/6.26 c knapsack : 0.00 0.00 10 0 0 0 0 0 0 0 0 4
6.16/6.26 c setppc : 0.00 0.00 36 0 0 0 0 0 5 0 0 0
6.16/6.26 c and : 0.00 0.00 28 1 134 0 0 0 134 0 0 134
6.16/6.26 c linear : 0.00 0.00 27 1 12 0 0 0 18 29 11 80
6.16/6.26 c logicor : 0.00 0.00 21 0 0 0 0 0 11 0 0 87
6.16/6.26 c pseudoboolean : 0.00 0.00 11 0 0 0 0 0 50 0 0 0
6.16/6.26 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
6.16/6.26 c root node : - - - 55 - - 55 - - - - -
6.16/6.26 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
6.16/6.26 c integral : 0 0 0 0 2236 0 0 537 0 0 0 0 0 0 4470
6.16/6.26 c knapsack : 28+ 29 11 17243 0 0 0 0 581 20 757 419 14 0 0
6.16/6.26 c setppc : 11+ 23 22 18416 0 0 0 0 30 2 75 0 0 0 0
6.16/6.26 c and : 390 390 3757 19167 0 0 0 0 16901 211 12206 7786 6085 0 0
6.16/6.26 c linear : 18+ 28 22 18956 0 0 0 533 4121 931 4367 0 0 0 0
6.16/6.26 c logicor : 95+ 849 22 5517 1 0 0 112 308 31 370 10 3 0 0
6.16/6.26 c pseudoboolean : 8 8 0 0 1 0 0 112 0 0 0 0 0 0 0
6.16/6.26 c fixedvar : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
6.16/6.26 c countsols : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
6.16/6.26 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
6.16/6.26 c integral : 0.07 0.00 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c knapsack : 0.19 0.00 0.07 0.12 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c and : 0.18 0.00 0.08 0.09 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c linear : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.01 0.00
6.16/6.26 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c Propagators : #Propagate #ResProp Cutoffs DomReds
6.16/6.26 c dualfix : 4 0 0 0
6.16/6.26 c genvbounds : 0 0 0 0
6.16/6.26 c nlobbt : 0 0 0 0
6.16/6.26 c obbt : 0 0 0 0
6.16/6.26 c probing : 0 0 0 0
6.16/6.26 c pseudoobj : 17 0 0 6
6.16/6.26 c redcost : 14 0 0 0
6.16/6.26 c rootredcost : 0 0 0 0
6.16/6.26 c symmetry : 0 0 0 0
6.16/6.26 c vbounds : 9757 0 0 0
6.16/6.26 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
6.16/6.26 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
6.16/6.26 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
6.16/6.26 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
6.16/6.26 c propagation : 0.03 279 278 - 3345 55.6 81 19.5 - - -
6.16/6.26 c infeasible LP : 0.00 2 2 - 35 57.5 1 48.0 2 53.5 0
6.16/6.26 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
6.16/6.26 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
6.16/6.26 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
6.16/6.26 c applied globally : 0.00 - - 0 793 21.0 - - 2 - -
6.16/6.26 c applied locally : - - - 0 0 0.0 - - 0 - -
6.16/6.26 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
6.16/6.26 c cut pool : 0.16 - 659 42 - - 5975 48911 - - - - - (maximal pool size: 3277)
6.16/6.26 c aggregation : 0.51 0.00 91 22 0 0 4082 25026 1653 2416 1987 429 0
6.16/6.26 c > cmir : - - - - - - - 23139 195 1786 1763 23 -
6.16/6.26 c > flowcover : - - - - - - - 1848 1403 602 214 388 -
6.16/6.26 c > knapsackcover : - - - - - - - 39 55 28 10 18 -
6.16/6.26 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
6.16/6.26 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c gomory : 0.93 0.00 90 20 0 0 4717 23295 1379 1127 1095 32 0
6.16/6.26 c > gomorymi : - - - - - - - 13621 707 697 671 26 -
6.16/6.26 c > strongcg : - - - - - - - 9674 672 430 424 6 -
6.16/6.26 c impliedbounds : 0.00 0.00 92 22 0 0 166 532 0 434 434 0 0
6.16/6.26 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
6.16/6.26 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c mixing : 0.00 0.00 92 22 0 0 0 0 0 0 0 0 0
6.16/6.26 c multilinear : 0.00 0.00 80 22 0 0 0 0 0 0 0 0 0
6.16/6.26 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.16/6.26 c rapidlearning : 1.03 0.00 43 2 0 6 0 0 0 0 0 0 15
6.16/6.26 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
6.16/6.26 c zerohalf : 0.01 0.00 83 22 0 0 99 58 57 37 31 6 0
6.16/6.26 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
6.16/6.26 c hybrid : 0.05 0.00 2636 22 10117 0 50098 281 0 5275
6.16/6.26 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c Pricers : ExecTime SetupTime Calls Vars
6.16/6.26 c problem variables: 0.00 - 0 0
6.16/6.26 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
6.16/6.26 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c random : 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c relpscost : 0.07 0.00 2235 0 0 0 0 0 0 4470
6.16/6.26 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
6.16/6.26 c Primal Heuristics : ExecTime SetupTime Calls Found Best
6.16/6.26 c LP solutions : 0.00 - - 1 1
6.16/6.26 c relax solutions : 0.00 - - 0 0
6.16/6.26 c pseudo solutions : 0.00 - - 0 0
6.16/6.26 c strong branching : 0.00 - - 0 0
6.16/6.26 c actconsdiving : 0.00 0.00 0 0 0
6.16/6.26 c adaptivediving : 0.08 0.00 20 0 0
6.16/6.26 c alns : 0.02 0.00 5 0 0
6.16/6.26 c bound : 0.00 0.00 0 0 0
6.16/6.26 c clique : 0.00 0.00 1 0 0
6.16/6.26 c coefdiving : 0.00 0.00 0 0 0
6.16/6.26 c completesol : 0.00 0.00 0 0 0
6.16/6.26 c conflictdiving : 0.11 0.00 27 0 0
6.16/6.26 c crossover : 0.00 0.00 0 0 0
6.16/6.26 c dins : 0.00 0.00 0 0 0
6.16/6.26 c distributiondivin: 0.15 0.00 26 0 0
6.16/6.26 c dks : 0.00 0.00 0 0 0
6.16/6.26 c dps : 0.00 0.00 0 0 0
6.16/6.26 c dualval : 0.00 0.00 0 0 0
6.16/6.26 c farkasdiving : 0.02 0.00 1 0 0
6.16/6.26 c feaspump : 0.07 0.00 13 0 0
6.16/6.26 c fixandinfer : 0.00 0.00 0 0 0
6.16/6.26 c fracdiving : 0.07 0.00 26 0 0
6.16/6.26 c gins : 0.00 0.00 0 0 0
6.16/6.26 c guideddiving : 0.00 0.00 0 0 0
6.16/6.26 c indicator : 0.00 0.00 0 0 0
6.16/6.26 c indicatordiving : 0.00 0.00 0 0 0
6.16/6.26 c intdiving : 0.00 0.00 0 0 0
6.16/6.26 c intshifting : 0.00 0.00 0 0 0
6.16/6.26 c linesearchdiving : 0.08 0.00 26 0 0
6.16/6.26 c localbranching : 0.00 0.00 0 0 0
6.16/6.26 c locks : 0.00 0.00 1 0 0
6.16/6.26 c lpface : 0.00 0.00 0 0 0
6.16/6.26 c mpec : 0.00 0.00 0 0 0
6.16/6.26 c multistart : 0.00 0.00 0 0 0
6.16/6.26 c mutation : 0.00 0.00 0 0 0
6.16/6.26 c nlpdiving : 0.00 0.00 0 0 0
6.16/6.26 c objpscostdiving : 0.07 0.00 11 0 0
6.16/6.26 c octane : 0.00 0.00 0 0 0
6.16/6.26 c ofins : 0.00 0.00 0 0 0
6.16/6.26 c oneopt : 0.00 0.00 1 0 0
6.16/6.26 c padm : 0.00 0.00 0 0 0
6.16/6.26 c proximity : 0.00 0.00 0 0 0
6.16/6.26 c pscostdiving : 0.10 0.00 26 0 0
6.16/6.26 c randrounding : 0.02 0.00 411 0 0
6.16/6.26 c rens : 0.01 0.00 2 0 0
6.16/6.26 c reoptsols : 0.00 0.00 0 0 0
6.16/6.26 c repair : 0.00 0.00 0 0 0
6.16/6.26 c rins : 0.00 0.00 0 0 0
6.16/6.26 c rootsoldiving : 0.04 0.00 13 0 0
6.16/6.26 c rounding : 0.01 0.00 940 0 0
6.16/6.26 c scheduler : 0.00 0.00 0 0 0
6.16/6.26 c shiftandpropagate: 0.00 0.00 1 1 1
6.16/6.26 c shifting : 0.22 0.00 351 0 0
6.16/6.26 c simplerounding : 0.00 0.00 2 0 0
6.16/6.26 c subnlp : 0.00 0.00 0 0 0
6.16/6.26 c trivial : 0.00 0.00 4 0 0
6.16/6.26 c trivialnegation : 0.00 0.00 0 0 0
6.16/6.26 c trustregion : 0.00 0.00 0 0 0
6.16/6.26 c trysol : 0.00 0.00 0 0 0
6.16/6.26 c twoopt : 0.00 0.00 0 0 0
6.16/6.26 c undercover : 0.01 0.00 1 0 0
6.16/6.26 c vbounds : 0.00 0.00 2 0 0
6.16/6.26 c veclendiving : 0.07 0.00 26 0 0
6.16/6.26 c zeroobj : 0.00 0.00 0 0 0
6.16/6.26 c zirounding : 0.01 0.00 1000 0 0
6.16/6.26 c other solutions : - - - 0 -
6.16/6.26 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
6.16/6.26 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
6.16/6.26 c zeroobjective : 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
6.16/6.26 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
6.16/6.26 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
6.16/6.26 c primal LP : 0.09 499 0 0.00 0.00 0.09 499
6.16/6.26 c dual LP : 1.33 4878 21364 4.41 16119.81 0.01 37
6.16/6.26 c lex dual LP : 0.00 0 0 0.00 -
6.16/6.26 c barrier LP : 0.00 0 0 0.00 - 0.00 0
6.16/6.26 c resolve instable : 0.00 0 0 0.00 -
6.16/6.26 c diving/probing LP: 0.47 1485 26906 18.12 57738.82
6.16/6.26 c strong branching : 0.04 24 441 18.38 12373.04 - - 0
6.16/6.26 c (at root node) : - 24 441 18.38 -
6.16/6.26 c conflict analysis: 0.00 0 0 0.00 -
6.16/6.26 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
6.16/6.26 c benders : 0.00 0 0 0 0.00 0 0 0
6.16/6.26 c B&B Tree :
6.16/6.26 c number of runs : 2
6.16/6.26 c nodes : 2928 (2234 internal, 694 leaves)
6.16/6.26 c feasible leaves : 1
6.16/6.26 c infeas. leaves : 693
6.16/6.26 c objective leaves : 0
6.16/6.26 c nodes (total) : 2929 (2235 internal, 694 leaves)
6.16/6.26 c nodes left : 0
6.16/6.26 c max depth : 78
6.16/6.26 c max depth (total): 78
6.16/6.26 c backtracks : 522 (17.8%)
6.16/6.26 c early backtracks : 0 (0.0%)
6.16/6.26 c nodes exc. ref. : 0 (0.0%)
6.16/6.26 c delayed cutoffs : 56
6.16/6.26 c repropagations : 322 (910 domain reductions, 49 cutoffs)
6.16/6.26 c avg switch length: 4.10
6.16/6.26 c switching time : 0.17
6.16/6.26 c Root Node :
6.16/6.26 c First LP value : +3.00000000000000e+00
6.16/6.26 c First LP Iters : 22 (40072.86 Iter/sec)
6.16/6.26 c First LP Time : 0.00
6.16/6.26 c Final Dual Bound : -
6.16/6.26 c Final Root Iters : 810
6.16/6.26 c Root LP Estimate : +3.01446715248197e+00
6.16/6.26 c Solution :
6.16/6.26 c Solutions found : 2 (2 improvements)
6.16/6.26 c First Solution : +5.00000000000000e+00 (in run 1, after 1 nodes, 0.02 seconds, depth 63, found by <shiftandpropagate>)
6.16/6.26 c Gap First Sol. : 400.00 %
6.16/6.26 c Gap Last Sol. : 0.00 %
6.16/6.26 c Primal Bound : +3.00000000000000e+00 (in run 2, after 2928 nodes, 6.25 seconds, depth 74, found by <relaxation>)
6.16/6.26 c Dual Bound : +3.00000000000000e+00
6.16/6.26 c Gap : 0.00 %
6.16/6.26 c Integrals : Total Avg%
6.16/6.26 c primal-dual : 251.66 40.22
6.16/6.26 c primal-ref : - - (not evaluated)
6.16/6.26 c dual-ref : - - (not evaluated)
6.16/6.26 c Time complete (sec): 6.241
OK 3
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 (63042 MiB free)
memory of node 1: 64465 MiB (63889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498049-1751268234/watcher-4498049-1751268234 -o /tmp/evaluation-result-4498049-1751268234/solver-4498049-1751268234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39664 --watchdog 3760 pbsolver -f HOME/instance-4498049-1751268234.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=39720, runsolver pid=39717
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.13 0.10 0.09 4/257 39723
/proc/meminfo: memFree=129974560/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=36912 memory=26496 CPUtime=0.09 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 4194 0 0 0 9 0 0 0 20 0 1 0 42502862 37797888 6624 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 9228 6624 2688 2575 0 6135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36912 KiB
Current children cumulated memory: 26496 KiB
[startup+0.205422 s]*
/proc/loadavg: 0.13 0.10 0.09 3/261 39728
/proc/meminfo: memFree=129997552/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=36912 memory=26496 CPUtime=0.2 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 4207 0 0 0 20 0 0 0 20 0 1 0 42502862 37797888 6624 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 9228 6624 2688 2575 0 6135 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36912 KiB
Current children cumulated memory: 26496 KiB
[startup+0.305083 s]*
/proc/loadavg: 0.13 0.10 0.09 2/259 39729
/proc/meminfo: memFree=130005524/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=36912 memory=27008 CPUtime=0.3 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 4315 0 0 0 30 0 0 0 20 0 1 0 42502862 37797888 6752 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 9228 6752 2688 2575 0 6135 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36912 KiB
Current children cumulated memory: 27008 KiB
[startup+0.700127 s]
/proc/loadavg: 0.13 0.10 0.09 2/257 39730
/proc/meminfo: memFree=129997524/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=49724 memory=39808 CPUtime=0.69 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 7513 0 0 0 68 1 0 0 20 0 1 0 42502862 50917376 9952 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 12431 9952 2688 2575 0 9338 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49724 KiB
Current children cumulated memory: 39808 KiB
[startup+1.50015 s]
/proc/loadavg: 0.13 0.10 0.09 2/258 39738
/proc/meminfo: memFree=129981652/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=80356 memory=68096 CPUtime=1.49 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 14634 0 0 0 147 2 0 0 20 0 1 0 42502862 82284544 17024 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 20089 17024 2688 2575 0 16996 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80356 KiB
Current children cumulated memory: 68096 KiB
[startup+3.10558 s]
/proc/loadavg: 0.60 0.20 0.12 2/257 39746
/proc/meminfo: memFree=129956136/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=85372 memory=73216 CPUtime=3.08 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 15899 0 0 0 306 2 0 0 20 0 1 0 42502862 87420928 18304 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 21343 18304 2688 2575 0 18250 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85372 KiB
Current children cumulated memory: 73216 KiB
[startup+6.27104 s]
# the end of solver process 39720 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=6.21342 s, system=0.030894 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20017 s]
/proc/loadavg: 0.60 0.20 0.12 2/257 39746
/proc/meminfo: memFree=129956136/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=85652 memory=73984 CPUtime=3.18 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 16090 0 0 0 316 2 0 0 20 0 1 0 42502862 87707648 18496 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 21413 18496 2688 2575 0 18320 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 85652 KiB
Current children cumulated memory: 73984 KiB
[startup+4.8001 s]
/proc/loadavg: 0.60 0.20 0.12 2/254 39746
/proc/meminfo: memFree=129959452/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=86364 memory=74752 CPUtime=4.77 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 16280 0 0 0 475 2 0 0 20 0 1 0 42502862 88436736 18688 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 21591 18688 2688 2575 0 18498 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 86364 KiB
Current children cumulated memory: 74752 KiB
[startup+5.60013 s]
/proc/loadavg: 0.60 0.20 0.12 3/254 39746
/proc/meminfo: memFree=129963996/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=89032 memory=77440 CPUtime=5.56 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 16943 0 0 0 554 2 0 0 20 0 1 0 42502862 91168768 19360 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 22258 19360 2688 2575 0 19165 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 89032 KiB
Current children cumulated memory: 77440 KiB
[startup+6.00011 s]*
/proc/loadavg: 0.60 0.20 0.12 2/254 39746
/proc/meminfo: memFree=129968464/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=90216 memory=78336 CPUtime=5.97 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 17191 0 0 0 595 2 0 0 20 0 1 0 42502862 92381184 19584 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 22554 19584 2688 2575 0 19461 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 78336 KiB
[startup+6.2001 s]
/proc/loadavg: 0.60 0.20 0.12 2/254 39746
/proc/meminfo: memFree=129968464/131250000 swapFree=33009904/33010684
[pid=39720] ppid=39717 vsize=90216 memory=78336 CPUtime=6.16 cores=5,7
/proc/39720/stat : 39720 (pbsolver) R 39717 39720 39644 0 -1 4194304 17191 0 0 0 614 2 0 0 20 0 1 0 42502862 92381184 19584 18446744073709551615 4198400 14743177 140725716030016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 47927296 140725716035978 140725716036074 140725716036074 140725716041676 0
/proc/39720/statm: 22554 19584 2688 2575 0 19461 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 78336 KiB
Child status: 0
Real time (s): 6.27108
CPU time (s): 6.24431
CPU user time (s): 6.21342
CPU system time (s): 0.030894
CPU usage (%): 99.5732
Max. virtual memory (cumulated for all children) (KiB): 90216
Max. memory (cumulated for all children) (KiB): 78336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.21342
system time used= 0.030894
maximum resident set size= 78336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17191
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= 3
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 39720
# total CPU time (s): 6.24431
# total CPU user time (s): 6.21342
# total CPU system time (s): 0.030894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025875 second user time and 0.05692 second system time
The end
Begin job on nodeC033 at 2025-06-30 09:23:54 IDJOB=4498049 IDBENCH=148450 IDSOLVER=3366 FILE ID=nodeC033/4498049-1751268234 RUNJOBID= nodeC033-1751268232-39664 SLURM_JOB_ID= 9594200 Free space on /tmp= 432736 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498049-1751268234/watcher-4498049-1751268234 -o /tmp/evaluation-result-4498049-1751268234/solver-4498049-1751268234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39664 --watchdog 3760 pbsolver -f HOME/instance-4498049-1751268234.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 60205697a36204ec3d9b8e2d1efac02f RANDOM SEED=1488826855 nodeC033 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 : 1200.583 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 : 7000.13 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 : 2971.926 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 : 7000.13 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 : 1199.703 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 : 7000.13 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 : 3609.871 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 : 7000.13 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 : 1200.035 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 : 7000.13 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 : 3600.049 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 : 7000.13 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 : 1203.884 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 : 7000.13 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 : 3574.770 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130068632 kB MemAvailable: 129799132 kB Buffers: 2128 kB Cached: 530804 kB SwapCached: 68 kB Active: 241860 kB Inactive: 354064 kB Active(anon): 56208 kB Inactive(anon): 24812 kB Active(file): 185652 kB Inactive(file): 329252 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 60164 kB Writeback: 12 kB AnonPages: 65740 kB Mapped: 103968 kB Shmem: 18028 kB KReclaimable: 109672 kB Slab: 196916 kB SReclaimable: 109672 kB SUnreclaim: 87244 kB KernelStack: 4080 kB PageTables: 2900 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 332556 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432720 MiB End job on nodeC033 at 2025-06-30 09:24:01