| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 20.3006 | 20.3694 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb |
| MD5SUM | 75eee10e25ffa4d5aec52eb68458e53f |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.98842 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 683 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4494823-1751149967.opb>
0.00/0.00 c original problem has 231 variables (231 bin, 0 int, 0 cont) and 2707 constraints
0.00/0.00 c problem read in 0.004 seconds
0.00/0.00 c problem without objective
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.02 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.02 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 1.04) (symcode time: 0.00)
0.00/0.04 c dynamic symmetry handling statistics:
0.00/0.04 c orbitopal reduction: no components
0.00/0.04 c orbital reduction: 1 components of sizes 1
0.00/0.04 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.04 c handled 1 out of 1 symmetry components
0.00/0.04 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.04 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 143 cliques
0.00/0.04 c presolved problem has 231 variables (231 bin, 0 int, 0 cont) and 2443 constraints
0.00/0.04 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.04 c 1 constraints of type <knapsack>
0.00/0.04 c 22 constraints of type <setppc>
0.00/0.04 c 2420 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.998178
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 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.04 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.04 c reading/opbreader/maxintsize = 47
0.00/0.04 c
0.00/0.04 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.04 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.04 c propagating/genvbounds/timingmask = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c
0.00/0.05 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.05 c 0.1s| 1 | 0 | 95 | - | 12M | 0 | 231 |2457 |2443 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.19 c 0.2s| 1 | 0 | 2042 | - | 14M | 0 | 231 |2459 |2445 | 2 | 1 | 15 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.25 c 0.3s| 1 | 0 | 2057 | - | 16M | 0 | 231 |2462 |2448 | 5 | 2 | 18 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.29 c 0.3s| 1 | 0 | 2077 | - | 19M | 0 | 231 |2465 |2453 | 10 | 3 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.33 c 0.3s| 1 | 0 | 2093 | - | 21M | 0 | 231 |2467 |2455 | 12 | 4 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.40 c 0.4s| 1 | 0 | 2113 | - | 24M | 0 | 231 |2471 |2458 | 15 | 5 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.48 c 0.5s| 1 | 0 | 2134 | - | 26M | 0 | 231 |2475 |2461 | 18 | 6 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.53 c 0.5s| 1 | 0 | 2144 | - | 29M | 0 | 231 |2479 |2463 | 20 | 7 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.58 c 0.6s| 1 | 0 | 2160 | - | 33M | 0 | 231 |2482 |2467 | 24 | 8 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.63 c 0.6s| 1 | 0 | 2169 | - | 36M | 0 | 231 |2484 |2468 | 25 | 9 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.69 c 0.7s| 1 | 0 | 2186 | - | 41M | 0 | 231 |2488 |2470 | 27 | 10 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.70 c 0.7s| 1 | 0 | 2195 | - | 41M | 0 | 231 |2490 |2472 | 29 | 11 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.79 c 0.8s| 1 | 2 | 2913 | - | 41M | 0 | 231 |2521 |2472 | 29 | 11 | 77 | 18 | 0.000000e+00 | -- | Inf | unknown
1.00/1.08 c 1.1s| 100 | 9 | 4288 | 21.1 | 43M | 20 | 231 |2581 |2448 | 43 | 0 | 139 | 18 | 0.000000e+00 | -- | Inf | 60.25%
1.39/1.40 c 1.4s| 200 | 6 | 5998 | 19.1 | 45M | 20 | 231 |2669 |2448 | 62 | 0 | 227 | 18 | 0.000000e+00 | -- | Inf | 61.33%
1.59/1.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.59/1.62 c 1.6s| 300 | 6 | 7515 | 17.8 | 48M | 20 | 231 |2742 |2448 | 80 | 1 | 304 | 18 | 0.000000e+00 | -- | Inf | 62.05%
1.78/1.82 c 1.8s| 400 | 6 | 9510 | 18.3 | 48M | 20 | 231 |2852 |2448 | 88 | 1 | 418 | 18 | 0.000000e+00 | -- | Inf | 62.50%
1.99/2.09 c 2.1s| 500 | 12 | 11158 | 18.0 | 48M | 32 | 231 |2930 |2448 | 88 | 1 | 508 | 18 | 0.000000e+00 | -- | Inf | 62.50%
2.48/2.53 c 2.5s| 600 | 4 | 13025 | 18.1 | 54M | 32 | 231 |3019 |2450 | 112 | 0 | 614 | 18 | 0.000000e+00 | -- | Inf | 78.12%
2.88/2.90 c 2.9s| 700 | 7 | 14537 | 17.7 | 56M | 32 | 231 |3090 |2449 | 141 | 1 | 689 | 18 | 0.000000e+00 | -- | Inf | 83.93%
3.09/3.11 c 3.1s| 800 | 3 | 15868 | 17.1 | 58M | 32 | 231 |3166 |2453 | 162 | 1 | 768 | 18 | 0.000000e+00 | -- | Inf | 84.18%
3.48/3.55 c 3.5s| 900 | 9 | 17407 | 16.9 | 58M | 32 | 231 |3232 |2448 | 213 | 1 | 837 | 18 | 0.000000e+00 | -- | Inf | 85.78%
3.58/3.65 c 3.6s| 1000 | 4 | 18667 | 16.5 | 58M | 32 | 231 |3290 |2448 | 213 | 0 | 896 | 18 | 0.000000e+00 | -- | Inf | 85.92%
3.78/3.81 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3.78/3.81 c (run 1, node 1062) performing user restart
3.78/3.81 c
3.78/3.81 c (restart) converted 2 cuts from the global cut pool into linear constraints
3.78/3.81 c
3.78/3.82 c presolving:
3.78/3.82 c (round 1, fast) 23 del vars, 1162 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 291 chg coeffs, 0 upgd conss, 0 impls, 316 clqs
3.78/3.83 c (3.8s) running MILP presolver
3.78/3.83 c (3.8s) MILP presolver (2 rounds): 9 aggregations, 0 fixings, 0 bound changes
3.78/3.83 c (round 2, medium) 32 del vars, 1180 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 291 chg coeffs, 0 upgd conss, 0 impls, 298 clqs
3.78/3.83 c (round 3, exhaustive) 32 del vars, 1180 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 291 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
3.78/3.83 c (round 4, medium) 32 del vars, 1180 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 293 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
3.78/3.83 c (round 5, exhaustive) 32 del vars, 1248 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 509 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
3.78/3.84 c (round 6, exhaustive) 32 del vars, 1268 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 512 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
3.78/3.84 c (round 7, exhaustive) 32 del vars, 1269 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 517 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
3.78/3.84 c presolving (8 rounds: 8 fast, 7 medium, 5 exhaustive):
3.78/3.84 c 32 deleted vars, 1269 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 517 changed coefficients
3.78/3.84 c 0 implications, 298 cliques
3.78/3.84 c presolved problem has 199 variables (199 bin, 0 int, 0 cont) and 2050 constraints
3.78/3.84 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.78/3.84 c 4 constraints of type <knapsack>
3.78/3.84 c 20 constraints of type <setppc>
3.78/3.84 c 2026 constraints of type <logicor>
3.78/3.84 c transformed objective value is always integral (scale: 1)
3.78/3.84 c Presolving Time: 0.06
3.78/3.84 c
3.78/3.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.78/3.85 c 3.9s| 1 | 0 | 19605 | - | 58M | 0 | 199 |2091 |1814 | 0 | 0 | 973 | 18 | 0.000000e+00 | -- | Inf | unknown
3.88/3.95 c 4.0s| 1 | 0 | 19624 | - | 58M | 0 | 199 |2232 |1818 | 4 | 1 | 977 | 18 | 0.000000e+00 | -- | Inf | unknown
3.98/4.00 c 4.0s| 1 | 0 | 19633 | - | 58M | 0 | 199 |2233 |1820 | 6 | 2 | 978 | 18 | 0.000000e+00 | -- | Inf | unknown
3.98/4.04 c 4.0s| 1 | 0 | 19647 | - | 58M | 0 | 199 |2233 |1825 | 11 | 3 | 978 | 18 | 0.000000e+00 | -- | Inf | unknown
3.98/4.08 c 4.1s| 1 | 0 | 19670 | - | 58M | 0 | 199 |2236 |1827 | 13 | 4 | 981 | 18 | 0.000000e+00 | -- | Inf | unknown
4.08/4.12 c 4.1s| 1 | 0 | 19692 | - | 59M | 0 | 199 |2238 |1830 | 16 | 5 | 983 | 18 | 0.000000e+00 | -- | Inf | unknown
4.08/4.16 c 4.2s| 1 | 0 | 19713 | - | 59M | 0 | 199 |2243 |1833 | 19 | 6 | 988 | 18 | 0.000000e+00 | -- | Inf | unknown
4.17/4.20 c 4.2s| 1 | 0 | 19735 | - | 59M | 0 | 199 |2247 |1835 | 21 | 7 | 992 | 18 | 0.000000e+00 | -- | Inf | unknown
4.17/4.25 c 4.2s| 1 | 0 | 19754 | - | 59M | 0 | 199 |2252 |1838 | 24 | 8 | 997 | 18 | 0.000000e+00 | -- | Inf | unknown
4.17/4.28 c 4.3s| 1 | 0 | 19772 | - | 59M | 0 | 199 |2257 |1841 | 27 | 9 |1002 | 18 | 0.000000e+00 | -- | Inf | unknown
4.27/4.33 c 4.3s| 1 | 0 | 19787 | - | 59M | 0 | 199 |2258 |1843 | 29 | 10 |1003 | 18 | 0.000000e+00 | -- | Inf | unknown
4.27/4.33 c 4.3s| 1 | 0 | 19803 | - | 60M | 0 | 199 |2262 |1846 | 32 | 11 |1007 | 18 | 0.000000e+00 | -- | Inf | unknown
4.27/4.38 c 4.4s| 1 | 2 | 19981 | - | 60M | 0 | 199 |2275 |1846 | 32 | 11 |1020 | 28 | 0.000000e+00 | -- | Inf | unknown
4.67/4.79 c 4.8s| 100 | 18 | 22583 | 17.3 | 62M | 20 | 199 |2341 |1819 | 68 | 2 |1088 | 28 | 0.000000e+00 | -- | Inf | 13.38%
5.27/5.32 c 5.3s| 200 | 16 | 24475 | 17.5 | 63M | 20 | 199 |2401 |1814 | 127 | 1 |1152 | 28 | 0.000000e+00 | -- | Inf | 33.20%
5.67/5.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.67/5.75 c 5.7s| 300 | 20 | 26390 | 17.6 | 65M | 20 | 199 |2443 |1821 | 185 | 2 |1197 | 28 | 0.000000e+00 | -- | Inf | 39.98%
5.87/5.90 c 5.9s| 400 | 22 | 28416 | 17.8 | 65M | 20 | 199 |2518 |1820 | 194 | 1 |1280 | 28 | 0.000000e+00 | -- | Inf | 40.13%
6.08/6.19 c 6.2s| 500 | 16 | 29877 | 17.6 | 65M | 20 | 199 |2588 |1818 | 206 | 0 |1358 | 28 | 0.000000e+00 | -- | Inf | 40.40%
6.56/6.64 c 6.6s| 600 | 14 | 31571 | 17.5 | 66M | 20 | 199 |2638 |1817 | 229 | 0 |1424 | 28 | 0.000000e+00 | -- | Inf | 55.65%
6.77/6.89 c 6.9s| 700 | 14 | 33132 | 17.4 | 66M | 20 | 199 |2682 |1819 | 257 | 1 |1482 | 28 | 0.000000e+00 | -- | Inf | 56.39%
7.16/7.26 c 7.3s| 800 | 14 | 34847 | 17.4 | 66M | 20 | 199 |2729 |1817 | 277 | 1 |1541 | 28 | 0.000000e+00 | -- | Inf | 76.11%
7.56/7.69 c 7.7s| 900 | 21 | 36315 | 17.3 | 67M | 20 | 199 |2778 |1819 | 307 | 1 |1601 | 28 | 0.000000e+00 | -- | Inf | 77.85%
7.76/7.89 c 7.9s| 1000 | 19 | 37709 | 17.1 | 67M | 20 | 199 |2820 |1821 | 335 | 1 |1648 | 28 | 0.000000e+00 | -- | Inf | 78.36%
8.07/8.14 c 8.1s| 1100 | 17 | 39252 | 17.0 | 67M | 20 | 199 |2876 |1819 | 357 | 0 |1707 | 28 | 0.000000e+00 | -- | Inf | 78.71%
8.36/8.45 c 8.4s| 1200 | 21 | 40955 | 17.0 | 67M | 20 | 199 |2934 |1817 | 381 | 1 |1770 | 28 | 0.000000e+00 | -- | Inf | 79.01%
8.66/8.75 c 8.7s| 1300 | 23 | 42779 | 17.1 | 67M | 20 | 199 |2981 |1820 | 419 | 1 |1825 | 28 | 0.000000e+00 | -- | Inf | 79.63%
8.86/8.99 c 9.0s| 1400 | 23 | 44343 | 17.0 | 67M | 20 | 199 |3069 |1820 | 434 | 0 |1915 | 28 | 0.000000e+00 | -- | Inf | 79.87%
9.06/9.13 c 9.1s| 1500 | 25 | 45778 | 16.9 | 67M | 30 | 199 |3147 |1821 | 435 | 1 |1995 | 28 | 0.000000e+00 | -- | Inf | 79.94%
9.16/9.22 c 9.2s| 1600 | 26 | 47212 | 16.8 | 67M | 34 | 199 |3206 |1820 | 436 | 1 |2059 | 28 | 0.000000e+00 | -- | Inf | 79.96%
9.26/9.31 c 9.3s| 1700 | 27 | 48787 | 16.8 | 67M | 34 | 199 |3281 |1821 | 440 | 0 |2138 | 28 | 0.000000e+00 | -- | Inf | 79.96%
9.26/9.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.26/9.39 c 9.4s| 1800 | 26 | 50024 | 16.6 | 67M | 34 | 199 |3353 |1821 | 443 | 0 |2212 | 28 | 0.000000e+00 | -- | Inf | 79.96%
9.36/9.48 c 9.5s| 1900 | 22 | 51462 | 16.5 | 67M | 34 | 199 |3423 |1814 | 448 | 1 |2286 | 28 | 0.000000e+00 | -- | Inf | 79.96%
9.55/9.64 c 9.6s| 2000 | 20 | 53042 | 16.5 | 67M | 34 | 199 |3478 |1820 | 470 | 0 |2349 | 28 | 0.000000e+00 | -- | Inf | 83.19%
9.65/9.75 c 9.7s| 2100 | 24 | 54576 | 16.5 | 67M | 34 | 199 |3579 |1818 | 482 | 1 |2455 | 28 | 0.000000e+00 | -- | Inf | 83.23%
9.75/9.86 c 9.9s| 2200 | 28 | 55931 | 16.4 | 67M | 34 | 199 |3638 |1818 | 507 | 1 |2522 | 28 | 0.000000e+00 | -- | Inf | 83.54%
9.85/9.94 c 9.9s| 2300 | 27 | 57388 | 16.3 | 67M | 34 | 199 |3679 |1819 | 507 | 1 |2572 | 28 | 0.000000e+00 | -- | Inf | 83.60%
9.96/10.03 c 10.0s| 2400 | 27 | 58888 | 16.3 | 67M | 34 | 199 |3728 |1819 | 507 | 1 |2627 | 28 | 0.000000e+00 | -- | Inf | 83.65%
10.06/10.13 c 10.1s| 2500 | 26 | 60394 | 16.3 | 67M | 34 | 199 |3775 |1818 | 515 | 0 |2682 | 28 | 0.000000e+00 | -- | Inf | 83.70%
10.15/10.28 c 10.3s| 2600 | 30 | 61841 | 16.2 | 67M | 34 | 199 |3825 |1820 | 543 | 1 |2740 | 28 | 0.000000e+00 | -- | Inf | 83.98%
10.45/10.55 c 10.5s| 2700 | 30 | 63430 | 16.2 | 67M | 34 | 199 |3872 |1817 | 570 | 1 |2795 | 28 | 0.000000e+00 | -- | Inf | 85.97%
10.55/10.68 c 10.7s| 2800 | 28 | 64702 | 16.1 | 67M | 34 | 199 |3927 |1817 | 583 | 0 |2859 | 28 | 0.000000e+00 | -- | Inf | 86.82%
10.75/10.85 c 10.9s| 2900 | 30 | 66233 | 16.1 | 67M | 34 | 199 |3981 |1818 | 595 | 1 |2927 | 28 | 0.000000e+00 | -- | Inf | 87.54%
10.96/11.04 c 11.0s| 3000 | 32 | 67748 | 16.1 | 67M | 34 | 199 |4051 |1817 | 615 | 1 |3011 | 28 | 0.000000e+00 | -- | Inf | 88.13%
11.06/11.12 c 11.1s| 3100 | 32 | 68956 | 16.0 | 67M | 34 | 199 |4114 |1818 | 615 | 0 |3083 | 28 | 0.000000e+00 | -- | Inf | 88.16%
11.15/11.23 c 11.2s| 3200 | 32 | 70324 | 15.9 | 67M | 34 | 199 |4195 |1818 | 624 | 0 |3179 | 28 | 0.000000e+00 | -- | Inf | 88.36%
11.25/11.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.25/11.36 c 11.4s| 3300 | 32 | 71656 | 15.9 | 67M | 34 | 199 |4256 |1819 | 638 | 1 |3253 | 28 | 0.000000e+00 | -- | Inf | 88.53%
11.45/11.51 c 11.5s| 3400 | 32 | 73133 | 15.8 | 67M | 34 | 199 |4296 |1818 | 653 | 1 |3307 | 28 | 0.000000e+00 | -- | Inf | 88.73%
11.55/11.64 c 11.6s| 3500 | 34 | 74473 | 15.8 | 67M | 34 | 199 |4385 |1818 | 659 | 0 |3416 | 28 | 0.000000e+00 | -- | Inf | 88.80%
11.75/11.80 c 11.8s| 3600 | 34 | 75880 | 15.8 | 67M | 34 | 199 |4466 |1817 | 669 | 0 |3512 | 28 | 0.000000e+00 | -- | Inf | 89.09%
11.85/11.96 c 12.0s| 3700 | 34 | 77448 | 15.8 | 67M | 34 | 199 |4523 |1819 | 680 | 1 |3592 | 28 | 0.000000e+00 | -- | Inf | 89.39%
12.05/12.12 c 12.1s| 3800 | 36 | 78846 | 15.7 | 67M | 34 | 199 |4580 |1819 | 706 | 0 |3668 | 28 | 0.000000e+00 | -- | Inf | 89.72%
12.15/12.26 c 12.3s| 3900 | 40 | 80245 | 15.7 | 67M | 34 | 199 |4633 |1820 | 727 | 0 |3730 | 28 | 0.000000e+00 | -- | Inf | 89.87%
12.25/12.33 c 12.3s| 4000 | 38 | 81477 | 15.6 | 68M | 34 | 199 |4675 |1820 | 727 | 0 |3788 | 28 | 0.000000e+00 | -- | Inf | 89.91%
12.35/12.43 c 12.4s| 4100 | 41 | 82791 | 15.6 | 68M | 34 | 199 |4724 |1819 | 732 | 1 |3851 | 28 | 0.000000e+00 | -- | Inf | 89.99%
12.44/12.52 c 12.5s| 4200 | 37 | 84159 | 15.5 | 68M | 34 | 199 |4809 |1819 | 734 | 1 |3951 | 28 | 0.000000e+00 | -- | Inf | 90.02%
12.54/12.61 c 12.6s| 4300 | 38 | 85490 | 15.5 | 68M | 34 | 199 |4852 |1820 | 735 | 1 |4001 | 28 | 0.000000e+00 | -- | Inf | 90.04%
12.64/12.74 c 12.7s| 4400 | 36 | 86899 | 15.5 | 68M | 34 | 199 |4906 |1820 | 743 | 1 |4064 | 28 | 0.000000e+00 | -- | Inf | 90.10%
12.74/12.83 c 12.8s| 4500 | 37 | 88415 | 15.5 | 68M | 34 | 199 |4942 |1818 | 745 | 1 |4135 | 28 | 0.000000e+00 | -- | Inf | 93.27%
12.84/12.92 c 12.9s| 4600 | 35 | 89777 | 15.4 | 68M | 36 | 199 |4999 |1819 | 749 | 0 |4203 | 28 | 0.000000e+00 | -- | Inf | 93.27%
13.05/13.16 c 13.2s| 4700 | 36 | 91312 | 15.4 | 68M | 36 | 199 |5040 |1816 | 782 | 1 |4256 | 28 | 0.000000e+00 | -- | Inf | 93.59%
13.24/13.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.24/13.33 c 13.3s| 4800 | 30 | 93052 | 15.5 | 68M | 36 | 199 |5096 |1818 | 799 | 1 |4340 | 28 | 0.000000e+00 | -- | Inf | 93.92%
13.34/13.49 c 13.5s| 4900 | 30 | 94642 | 15.5 | 68M | 36 | 199 |5141 |1818 | 828 | 1 |4414 | 28 | 0.000000e+00 | -- | Inf | 94.19%
13.44/13.57 c 13.6s| 5000 | 28 | 95907 | 15.4 | 68M | 36 | 199 |5169 |1819 | 828 | 1 |4471 | 28 | 0.000000e+00 | -- | Inf | 95.02%
13.54/13.66 c 13.7s| 5100 | 26 | 97131 | 15.4 | 68M | 36 | 199 |5219 |1817 | 829 | 0 |4548 | 28 | 0.000000e+00 | -- | Inf | 95.04%
13.74/13.81 c 13.8s| 5200 | 24 | 98651 | 15.4 | 68M | 36 | 199 |5250 |1821 | 849 | 1 |4603 | 28 | 0.000000e+00 | -- | Inf | 95.21%
13.84/13.98 c 14.0s| 5300 | 26 |100153 | 15.4 | 68M | 36 | 199 |5270 |1822 | 878 | 0 |4654 | 28 | 0.000000e+00 | -- | Inf | 95.36%
13.95/14.06 c 14.1s| 5400 | 30 |101549 | 15.3 | 68M | 36 | 199 |5294 |1822 | 878 | 1 |4715 | 28 | 0.000000e+00 | -- | Inf | 95.41%
14.05/14.15 c 14.2s| 5500 | 30 |102891 | 15.3 | 68M | 36 | 199 |5346 |1822 | 879 | 1 |4776 | 28 | 0.000000e+00 | -- | Inf | 95.43%
14.14/14.24 c 14.2s| 5600 | 25 |104261 | 15.3 | 68M | 36 | 199 |5412 |1822 | 880 | 0 |4855 | 28 | 0.000000e+00 | -- | Inf | 95.44%
14.24/14.32 c 14.3s| 5700 | 26 |105559 | 15.2 | 68M | 36 | 199 |5454 |1822 | 880 | 0 |4928 | 28 | 0.000000e+00 | -- | Inf | 95.45%
14.34/14.40 c 14.4s| 5800 | 27 |106743 | 15.2 | 68M | 36 | 199 |5520 |1822 | 880 | 0 |5001 | 28 | 0.000000e+00 | -- | Inf | 95.47%
14.34/14.49 c 14.5s| 5900 | 27 |108103 | 15.2 | 68M | 36 | 199 |5579 |1822 | 880 | 0 |5064 | 28 | 0.000000e+00 | -- | Inf | 95.47%
14.44/14.58 c 14.6s| 6000 | 26 |109750 | 15.2 | 68M | 36 | 199 |5656 |1822 | 880 | 0 |5157 | 28 | 0.000000e+00 | -- | Inf | 95.47%
14.54/14.67 c 14.7s| 6100 | 27 |111074 | 15.2 | 68M | 36 | 199 |5704 |1822 | 881 | 0 |5221 | 28 | 0.000000e+00 | -- | Inf | 95.48%
14.64/14.76 c 14.8s| 6200 | 26 |112538 | 15.2 | 68M | 36 | 199 |5754 |1819 | 881 | 1 |5285 | 28 | 0.000000e+00 | -- | Inf | 95.48%
14.74/14.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.74/14.84 c 14.8s| 6300 | 26 |113759 | 15.1 | 68M | 36 | 199 |5788 |1822 | 882 | 1 |5329 | 28 | 0.000000e+00 | -- | Inf | 95.49%
14.84/14.98 c 15.0s| 6400 | 23 |115541 | 15.2 | 68M | 36 | 199 |5817 |1817 | 888 | 1 |5396 | 28 | 0.000000e+00 | -- | Inf | 95.59%
14.94/15.08 c 15.1s| 6500 | 24 |117165 | 15.2 | 68M | 36 | 199 |5871 |1818 | 891 | 0 |5467 | 28 | 0.000000e+00 | -- | Inf | 95.61%
15.04/15.19 c 15.2s| 6600 | 22 |118607 | 15.2 | 68M | 36 | 199 |5915 |1821 | 909 | 0 |5526 | 28 | 0.000000e+00 | -- | Inf | 95.73%
15.14/15.28 c 15.3s| 6700 | 21 |120023 | 15.1 | 69M | 36 | 199 |5956 |1820 | 912 | 0 |5582 | 28 | 0.000000e+00 | -- | Inf | 95.78%
15.24/15.36 c 15.4s| 6800 | 23 |121418 | 15.1 | 69M | 36 | 199 |6029 |1820 | 912 | 1 |5663 | 28 | 0.000000e+00 | -- | Inf | 95.80%
15.33/15.46 c 15.5s| 6900 | 20 |123014 | 15.1 | 69M | 36 | 199 |6076 |1820 | 914 | 0 |5738 | 28 | 0.000000e+00 | -- | Inf | 95.81%
15.43/15.55 c 15.5s| 7000 | 20 |124525 | 15.1 | 69M | 36 | 199 |6097 |1820 | 914 | 1 |5787 | 28 | 0.000000e+00 | -- | Inf | 95.81%
15.53/15.64 c 15.6s| 7100 | 19 |126020 | 15.1 | 69M | 36 | 199 |6153 |1820 | 916 | 1 |5869 | 28 | 0.000000e+00 | -- | Inf | 95.81%
15.63/15.77 c 15.8s| 7200 | 19 |127493 | 15.1 | 69M | 36 | 199 |6160 | 0 | 930 | 0 |5935 | 28 | 0.000000e+00 | -- | Inf | 96.29%
15.83/15.92 c 15.9s| 7300 | 18 |129069 | 15.1 | 69M | 36 | 199 |6175 |1819 | 949 | 1 |5985 | 28 | 0.000000e+00 | -- | Inf | 97.09%
15.94/16.03 c 16.0s| 7400 | 16 |130816 | 15.2 | 69M | 36 | 199 |6189 |1818 | 959 | 0 |6059 | 28 | 0.000000e+00 | -- | Inf | 97.17%
16.04/16.19 c 16.2s| 7500 | 16 |132468 | 15.2 | 69M | 36 | 199 |6203 |1818 | 964 | 1 |6126 | 28 | 0.000000e+00 | -- | Inf | 98.36%
16.23/16.37 c 16.4s| 7600 | 16 |133981 | 15.2 | 69M | 36 | 199 |6257 |1819 | 986 | 0 |6215 | 28 | 0.000000e+00 | -- | Inf | 98.77%
16.33/16.45 c 16.5s| 7700 | 17 |135342 | 15.2 | 69M | 36 | 199 |6350 |1818 | 987 | 0 |6339 | 28 | 0.000000e+00 | -- | Inf | 98.80%
16.43/16.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.43/16.54 c 16.5s| 7800 | 15 |136664 | 15.1 | 69M | 36 | 199 |6444 |1818 | 987 | 1 |6452 | 28 | 0.000000e+00 | -- | Inf | 98.81%
16.53/16.62 c 16.6s| 7900 | 15 |137964 | 15.1 | 69M | 36 | 199 |6548 |1818 | 989 | 1 |6579 | 28 | 0.000000e+00 | -- | Inf | 98.82%
16.63/16.72 c 16.7s| 8000 | 14 |139520 | 15.1 | 69M | 36 | 199 |6614 |1820 | 990 | 0 |6676 | 28 | 0.000000e+00 | -- | Inf | 98.87%
16.73/16.80 c 16.8s| 8100 | 15 |140821 | 15.1 | 69M | 36 | 199 |6672 |1819 | 992 | 0 |6763 | 28 | 0.000000e+00 | -- | Inf | 98.88%
16.83/16.93 c 16.9s| 8200 | 16 |142404 | 15.1 | 69M | 36 | 199 |6727 |1820 |1010 | 1 |6840 | 28 | 0.000000e+00 | -- | Inf | 99.00%
16.93/17.02 c 17.0s| 8300 | 15 |143778 | 15.1 | 69M | 36 | 199 |6777 |1820 |1010 | 1 |6909 | 28 | 0.000000e+00 | -- | Inf | 99.06%
17.03/17.11 c 17.1s| 8400 | 16 |145179 | 15.1 | 69M | 36 | 199 |6817 |1820 |1016 | 1 |6975 | 28 | 0.000000e+00 | -- | Inf | 99.07%
17.13/17.21 c 17.2s| 8500 | 14 |146667 | 15.1 | 69M | 36 | 199 |6908 |1820 |1016 | 0 |7077 | 28 | 0.000000e+00 | -- | Inf | 99.07%
17.23/17.31 c 17.3s| 8600 | 17 |148247 | 15.1 | 69M | 36 | 199 |6970 |1820 |1019 | 2 |7165 | 28 | 0.000000e+00 | -- | Inf | 99.11%
17.33/17.40 c 17.4s| 8700 | 14 |149822 | 15.1 | 69M | 36 | 199 |7038 |1821 |1026 | 1 |7253 | 28 | 0.000000e+00 | -- | Inf | 99.11%
17.33/17.49 c 17.5s| 8800 | 14 |151203 | 15.1 | 69M | 36 | 199 |7145 |1819 |1027 | 1 |7390 | 28 | 0.000000e+00 | -- | Inf | 99.12%
17.43/17.58 c 17.6s| 8900 | 14 |152566 | 15.1 | 69M | 36 | 199 |7215 |1819 |1027 | 0 |7474 | 28 | 0.000000e+00 | -- | Inf | 99.12%
17.53/17.67 c 17.7s| 9000 | 13 |153982 | 15.1 | 69M | 36 | 199 |7293 | 0 |1029 | 0 |7558 | 28 | 0.000000e+00 | -- | Inf | 99.12%
17.63/17.76 c 17.8s| 9100 | 14 |155532 | 15.1 | 69M | 36 | 199 |7412 |1818 |1029 | 0 |7684 | 28 | 0.000000e+00 | -- | Inf | 99.12%
17.73/17.86 c 17.9s| 9200 | 15 |157043 | 15.1 | 69M | 36 | 199 |7495 |1819 |1030 | 1 |7775 | 28 | 0.000000e+00 | -- | Inf | 99.12%
17.83/17.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.83/17.96 c 18.0s| 9300 | 13 |158635 | 15.1 | 69M | 36 | 199 |7593 |1819 |1032 | 1 |7880 | 28 | 0.000000e+00 | -- | Inf | 99.12%
17.93/18.05 c 18.1s| 9400 | 12 |160177 | 15.1 | 69M | 36 | 199 |7663 |1819 |1032 | 1 |7961 | 28 | 0.000000e+00 | -- | Inf | 99.17%
18.03/18.15 c 18.1s| 9500 | 14 |161684 | 15.1 | 69M | 36 | 199 |7720 |1819 |1035 | 2 |8039 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.12/18.24 c 18.2s| 9600 | 12 |163336 | 15.1 | 69M | 36 | 199 |7819 |1820 |1038 | 0 |8152 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.22/18.34 c 18.3s| 9700 | 13 |164999 | 15.1 | 70M | 36 | 199 |7907 |1818 |1040 | 1 |8261 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.32/18.43 c 18.4s| 9800 | 12 |166587 | 15.1 | 70M | 36 | 199 |8029 |1819 |1041 | 1 |8399 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.42/18.53 c 18.5s| 9900 | 12 |168250 | 15.1 | 70M | 36 | 199 |8153 |1821 |1047 | 0 |8535 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.52/18.64 c 18.6s| 10000 | 16 |170255 | 15.2 | 70M | 36 | 199 |8302 |1821 |1048 | 0 |8693 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.62/18.74 c 18.7s| 10100 | 22 |172042 | 15.2 | 70M | 36 | 199 |8418 |1821 |1050 | 1 |8818 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.72/18.84 c 18.8s| 10200 | 24 |173775 | 15.2 | 70M | 36 | 199 |8543 |1821 |1052 | 1 |8951 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.82/18.94 c 18.9s| 10300 | 19 |175341 | 15.2 | 70M | 37 | 199 |8681 |1821 |1056 | 1 |9095 | 28 | 0.000000e+00 | -- | Inf | 99.18%
18.93/19.07 c 19.1s| 10400 | 18 |177033 | 15.2 | 70M | 41 | 199 |8805 |1822 |1065 | 1 |9226 | 28 | 0.000000e+00 | -- | Inf | 99.18%
19.03/19.17 c 19.2s| 10500 | 18 |178712 | 15.2 | 70M | 41 | 199 |8915 |1821 |1065 | 0 |9342 | 28 | 0.000000e+00 | -- | Inf | 99.18%
19.12/19.27 c 19.3s| 10600 | 14 |180430 | 15.3 | 70M | 41 | 199 |9049 |1820 |1070 | 0 |9480 | 28 | 0.000000e+00 | -- | Inf | 99.18%
19.22/19.37 c 19.4s| 10700 | 13 |182119 | 15.3 | 70M | 41 | 199 |9166 |1820 |1071 | 0 |9606 | 28 | 0.000000e+00 | -- | Inf | 99.18%
19.32/19.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.32/19.47 c 19.5s| 10800 | 10 |183596 | 15.3 | 70M | 41 | 199 |9264 |1820 |1071 | 0 |9716 | 28 | 0.000000e+00 | -- | Inf | 99.20%
19.42/19.57 c 19.6s| 10900 | 9 |185281 | 15.3 | 70M | 41 | 199 |9355 |1819 |1071 | 0 |9824 | 28 | 0.000000e+00 | -- | Inf | 99.20%
19.52/19.68 c 19.7s| 11000 | 8 |187117 | 15.3 | 70M | 41 | 199 |9449 |1819 |1078 | 1 |9951 | 28 | 0.000000e+00 | -- | Inf | 99.21%
19.72/19.83 c 19.8s| 11100 | 5 |188775 | 15.3 | 70M | 41 | 199 |9504 |1819 |1097 | 0 | 10k| 28 | 0.000000e+00 | -- | Inf | 99.60%
19.82/19.95 c 20.0s| 11200 | 7 |190156 | 15.3 | 70M | 41 | 199 |9524 |1821 |1110 | 1 | 10k| 28 | 0.000000e+00 | -- | Inf | 99.80%
19.92/20.05 c 20.1s| 11300 | 5 |191822 | 15.3 | 70M | 41 | 199 |9572 |1819 |1113 | 1 | 10k| 28 | 0.000000e+00 | -- | Inf | 99.80%
20.12/20.21 c 20.2s| 11400 | 5 |193609 | 15.3 | 70M | 41 | 199 |9653 |1820 |1132 | 1 | 10k| 28 | 0.000000e+00 | -- | Inf | 99.95%
20.22/20.31 c 20.3s| 11500 | 2 |195248 | 15.3 | 70M | 41 | 199 |9712 |1820 |1133 | 0 | 10k| 28 | 0.000000e+00 | -- | Inf | 100.00%
20.22/20.35 c
20.22/20.35 c SCIP Status : problem is solved [infeasible]
20.22/20.35 c Solving Time (sec) : 20.35
20.22/20.35 c Solving Nodes : 11538 (total of 12600 nodes in 2 runs)
20.22/20.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
20.22/20.35 c Dual Bound : +1.00000000000000e+20
20.22/20.35 c Gap : 0.00 %
20.22/20.35 s UNSATISFIABLE
20.22/20.35 c SCIP Status : problem is solved [infeasible]
20.22/20.35 c Total Time : 20.35
20.22/20.35 c solving : 20.35
20.22/20.35 c presolving : 0.06 (included in solving)
20.22/20.35 c reading : 0.00 (included in solving)
20.22/20.35 c copying : 0.40 (105 #copies) (minimal 0.00, maximal 0.00, average 0.00)
20.22/20.35 c Original Problem :
20.22/20.35 c Problem name : HOME/instance-4494823-1751149967.opb
20.22/20.35 c Variables : 231 (231 binary, 0 integer, 0 continuous)
20.22/20.35 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
20.22/20.35 c Constraints : 2707 initial, 2707 maximal
20.22/20.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.22/20.35 c Presolved Problem :
20.22/20.35 c Problem name : t_HOME/instance-4494823-1751149967.opb
20.22/20.35 c Variables : 199 (199 binary, 0 integer, 0 continuous)
20.22/20.35 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
20.22/20.35 c Constraints : 2050 initial, 9725 maximal
20.22/20.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.22/20.35 c Nonzeros : 7350 constraint, 764 clique table
20.22/20.35 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
20.22/20.35 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.22/20.35 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.22/20.35 c gateextraction : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
20.22/20.35 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
20.22/20.35 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c milp : 0.01 0.00 2 0 9 0 0 0 0 0 0 0
20.22/20.35 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.22/20.35 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c trivial : 0.00 0.00 14 23 0 0 0 0 0 0 0 0
20.22/20.35 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
20.22/20.35 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.22/20.35 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.22/20.35 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.22/20.35 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.22/20.35 c knapsack : 0.00 0.00 26 0 0 0 0 0 0 0 2 4
20.22/20.35 c setppc : 0.00 0.00 26 0 0 0 0 0 66 0 0 0
20.22/20.35 c linear : 0.02 0.00 12 0 0 0 0 0 198 0 56 1
20.22/20.35 c logicor : 0.02 0.00 24 0 0 0 0 0 1269 0 0 512
20.22/20.35 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.22/20.35 c root node : - - - 111 - - 111 - - - - -
20.22/20.35 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
20.22/20.35 c integral : 0 0 0 0 6350 0 0 543 0 0 0 0 0 0 12700
20.22/20.35 c knapsack : 4 4 22 47058 0 0 0 539 6346 74 23779 0 0 0 0
20.22/20.35 c setppc : 20+ 36 22 46989 0 0 0 306 100880 307 66106 0 0 0 0
20.22/20.35 c linear : 0+ 157 11 45435 0 0 0 2 23 7 143 6 1 0 0
20.22/20.35 c logicor : 2026+ 9595 22 23923 0 0 0 0 36115 109 74827 2 1 0 0
20.22/20.35 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
20.22/20.35 c integral : 0.21 0.00 0.00 0.00 0.21 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c knapsack : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c setppc : 0.17 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.01 0.00
20.22/20.35 c linear : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c logicor : 0.56 0.00 0.01 0.54 0.00 0.00 0.00 0.00 0.01 0.00
20.22/20.35 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c Propagators : #Propagate #ResProp Cutoffs DomReds
20.22/20.35 c dualfix : 2 0 0 0
20.22/20.35 c genvbounds : 0 0 0 0
20.22/20.35 c nlobbt : 0 0 0 0
20.22/20.35 c obbt : 0 0 0 0
20.22/20.35 c probing : 0 0 0 0
20.22/20.35 c pseudoobj : 0 0 0 0
20.22/20.35 c redcost : 0 0 0 0
20.22/20.35 c rootredcost : 0 0 0 0
20.22/20.35 c symmetry : 3428 0 0 10
20.22/20.35 c vbounds : 37528 0 0 0
20.22/20.35 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
20.22/20.35 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
20.22/20.35 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
20.22/20.35 c symmetry : 0.02 0.00 0.00 0.02 0.00 0.00
20.22/20.35 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
20.22/20.35 c Symmetry :
20.22/20.35 c #affected vars : 121 (121 bin, 0 int, 0 cont)
20.22/20.35 c orbitopal red. : 0 reductions applied, 0 cutoffs
20.22/20.35 c orbital reduction: 10 reductions applied, 0 cutoffs
20.22/20.35 c lexicographic red: 0 reductions applied, 0 cutoffs
20.22/20.35 c shadow tree time : 0.01 s
20.22/20.35 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
20.22/20.35 c propagation : 0.01 495 493 - 2311 15.3 11 6.0 - - -
20.22/20.35 c infeasible LP : 0.44 5906 5314 - 29226 24.9 9 14.9 18 13.9 0
20.22/20.35 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
20.22/20.35 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
20.22/20.35 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
20.22/20.35 c applied globally : 0.05 - - 2 10426 9.3 - - 18 - -
20.22/20.35 c applied locally : - - - 0 7 21.7 - - 0 - -
20.22/20.35 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
20.22/20.35 c cut pool : 0.38 - 1210 42 - - 14258 18506 - - - - - (maximal pool size: 3638)
20.22/20.35 c aggregation : 0.09 0.00 359 22 0 0 12 16 1 1 1 0 0
20.22/20.35 c > cmir : - - - - - - - 10 0 0 0 0 -
20.22/20.35 c > flowcover : - - - - - - - 4 1 1 1 0 -
20.22/20.35 c > knapsackcover : - - - - - - - 2 0 0 0 0 -
20.22/20.35 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
20.22/20.35 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c gomory : 4.78 0.00 357 20 0 0 20616 18365 6408 879 705 174 0
20.22/20.35 c > gomorymi : - - - - - - - 9302 3230 350 255 95 -
20.22/20.35 c > strongcg : - - - - - - - 9063 3178 529 450 79 -
20.22/20.35 c impliedbounds : 0.00 0.00 359 22 0 0 1 1 0 1 1 0 0
20.22/20.35 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
20.22/20.35 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c multilinear : 0.00 0.00 486 22 0 0 0 0 0 0 0 0 0
20.22/20.35 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.22/20.35 c rapidlearning : 2.62 0.00 100 2 0 5177 0 0 0 0 0 0 448
20.22/20.35 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
20.22/20.35 c zerohalf : 0.12 0.00 359 22 0 0 698 124 660 466 43 423 0
20.22/20.35 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
20.22/20.35 c hybrid : 0.03 0.00 476 22 1349 0 24223 61 0 5658
20.22/20.35 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c Pricers : ExecTime SetupTime Calls Vars
20.22/20.35 c problem variables: 0.00 - 0 0
20.22/20.35 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
20.22/20.35 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c random : 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c relpscost : 0.21 0.00 6350 0 0 0 0 0 0 12700
20.22/20.35 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
20.22/20.35 c Primal Heuristics : ExecTime SetupTime Calls Found Best
20.22/20.35 c LP solutions : 0.00 - - 0 0
20.22/20.35 c relax solutions : 0.00 - - 0 0
20.22/20.35 c pseudo solutions : 0.00 - - 0 0
20.22/20.35 c strong branching : 0.00 - - 0 0
20.22/20.35 c actconsdiving : 0.00 0.00 0 0 0
20.22/20.35 c adaptivediving : 0.02 0.00 2 0 0
20.22/20.35 c alns : 0.02 0.00 4 0 0
20.22/20.35 c bound : 0.00 0.00 0 0 0
20.22/20.35 c clique : 0.00 0.00 1 0 0
20.22/20.35 c coefdiving : 0.00 0.00 0 0 0
20.22/20.35 c completesol : 0.00 0.00 0 0 0
20.22/20.35 c conflictdiving : 0.05 0.00 2 0 0
20.22/20.35 c crossover : 0.00 0.00 0 0 0
20.22/20.35 c dins : 0.00 0.00 0 0 0
20.22/20.35 c distributiondivin: 0.06 0.00 1 0 0
20.22/20.35 c dks : 0.00 0.00 0 0 0
20.22/20.35 c dps : 0.00 0.00 0 0 0
20.22/20.35 c dualval : 0.00 0.00 0 0 0
20.22/20.35 c farkasdiving : 0.00 0.00 0 0 0
20.22/20.35 c feaspump : 0.09 0.00 2 0 0
20.22/20.35 c fixandinfer : 0.00 0.00 0 0 0
20.22/20.35 c fracdiving : 0.01 0.00 1 0 0
20.22/20.35 c gins : 0.00 0.00 0 0 0
20.22/20.35 c guideddiving : 0.00 0.00 0 0 0
20.22/20.35 c indicator : 0.00 0.00 0 0 0
20.22/20.35 c indicatordiving : 0.00 0.00 0 0 0
20.22/20.35 c intdiving : 0.00 0.00 0 0 0
20.22/20.35 c intshifting : 0.00 0.00 0 0 0
20.22/20.35 c linesearchdiving : 0.01 0.00 1 0 0
20.22/20.35 c localbranching : 0.00 0.00 0 0 0
20.22/20.35 c locks : 0.00 0.00 1 0 0
20.22/20.35 c lpface : 0.00 0.00 0 0 0
20.22/20.35 c mpec : 0.00 0.00 0 0 0
20.22/20.35 c multistart : 0.00 0.00 0 0 0
20.22/20.35 c mutation : 0.00 0.00 0 0 0
20.22/20.35 c nlpdiving : 0.00 0.00 0 0 0
20.22/20.35 c objpscostdiving : 0.01 0.00 1 0 0
20.22/20.35 c octane : 0.00 0.00 0 0 0
20.22/20.35 c ofins : 0.00 0.00 0 0 0
20.22/20.35 c oneopt : 0.00 0.00 0 0 0
20.22/20.35 c padm : 0.00 0.00 0 0 0
20.22/20.35 c proximity : 0.00 0.00 0 0 0
20.22/20.35 c pscostdiving : 0.01 0.00 1 0 0
20.22/20.35 c randrounding : 0.03 0.00 556 0 0
20.22/20.35 c rens : 0.02 0.00 2 0 0
20.22/20.35 c reoptsols : 0.00 0.00 0 0 0
20.22/20.35 c repair : 0.00 0.00 0 0 0
20.22/20.35 c rins : 0.00 0.00 0 0 0
20.22/20.35 c rootsoldiving : 0.02 0.00 1 0 0
20.22/20.35 c rounding : 0.04 0.00 1118 0 0
20.22/20.35 c scheduler : 0.00 0.00 0 0 0
20.22/20.35 c shiftandpropagate: 0.00 0.00 2 0 0
20.22/20.35 c shifting : 0.06 0.00 403 0 0
20.22/20.35 c simplerounding : 0.00 0.00 0 0 0
20.22/20.35 c subnlp : 0.00 0.00 0 0 0
20.22/20.35 c trivial : 0.00 0.00 4 0 0
20.22/20.35 c trivialnegation : 0.00 0.00 0 0 0
20.22/20.35 c trustregion : 0.00 0.00 0 0 0
20.22/20.35 c trysol : 0.00 0.00 0 0 0
20.22/20.35 c twoopt : 0.00 0.00 0 0 0
20.22/20.35 c undercover : 0.00 0.00 0 0 0
20.22/20.35 c vbounds : 0.00 0.00 1 0 0
20.22/20.35 c veclendiving : 0.01 0.00 1 0 0
20.22/20.35 c zeroobj : 0.00 0.00 0 0 0
20.22/20.35 c zirounding : 0.01 0.00 1000 0 0
20.22/20.35 c other solutions : - - - 0 -
20.22/20.35 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 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
20.22/20.35 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
20.22/20.35 c primal LP : 0.04 225 0 0.00 0.00 0.04 225
20.22/20.35 c dual LP : 7.88 12789 191246 14.99 24283.68 0.01 34
20.22/20.35 c lex dual LP : 0.00 0 0 0.00 -
20.22/20.35 c barrier LP : 0.00 0 0 0.00 - 0.00 0
20.22/20.35 c resolve instable : 0.00 0 0 0.00 -
20.22/20.35 c diving/probing LP: 0.20 114 4728 41.47 24135.99
20.22/20.35 c strong branching : 0.05 28 1107 39.54 21189.04 - - 0
20.22/20.35 c (at root node) : - 28 1107 39.54 -
20.22/20.35 c conflict analysis: 0.00 0 0 0.00 -
20.22/20.35 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
20.22/20.35 c benders : 0.00 0 0 0 0.00 0 0 0
20.22/20.35 c B&B Tree :
20.22/20.35 c number of runs : 2
20.22/20.35 c nodes : 11538 (5815 internal, 5723 leaves)
20.22/20.35 c feasible leaves : 0
20.22/20.35 c infeas. leaves : 5723
20.22/20.35 c objective leaves : 0
20.22/20.35 c nodes (total) : 12600 (6350 internal, 6250 leaves)
20.22/20.35 c nodes left : 0
20.22/20.35 c max depth : 41
20.22/20.35 c max depth (total): 41
20.22/20.35 c backtracks : 1447 (12.5%)
20.22/20.35 c early backtracks : 0 (0.0%)
20.22/20.35 c nodes exc. ref. : 0 (0.0%)
20.22/20.35 c delayed cutoffs : 93
20.22/20.35 c repropagations : 16262 (22766 domain reductions, 93 cutoffs)
20.22/20.35 c avg switch length: 4.53
20.22/20.35 c switching time : 0.74
20.22/20.35 c Root Node :
20.22/20.35 c First LP value : +0.00000000000000e+00
20.22/20.35 c First LP Iters : 95 (33158.81 Iter/sec)
20.22/20.35 c First LP Time : 0.00
20.22/20.35 c Final Dual Bound : -
20.22/20.35 c Final Root Iters : 2462
20.22/20.35 c Root LP Estimate : +2.55285611415065e-03
20.22/20.35 c Solution :
20.22/20.35 c Solutions found : 0 (0 improvements)
20.22/20.35 c Primal Bound : infeasible
20.22/20.35 c Dual Bound : -
20.22/20.35 c Gap : 0.00 %
20.22/20.35 c Integrals : Total Avg%
20.22/20.35 c primal-dual : - - (problem infeasible)
20.22/20.35 c primal-ref : - - (problem infeasible)
20.22/20.35 c dual-ref : - - (problem infeasible)
20.22/20.36 c Time complete (sec): 20.296
ERROR: no interpretation found !
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 (61911 MiB free)
memory of node 1: 64465 MiB (63429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494823-1751149967/watcher-4494823-1751149967 -o /tmp/evaluation-result-4494823-1751149967/solver-4494823-1751149967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16099 --watchdog 3760 pbsolver -f HOME/instance-4494823-1751149967.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=17477, runsolver pid=17474
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128346692/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=34084 memory=25216 CPUtime=0.09 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 3916 0 0 0 9 0 0 0 20 0 1 0 30675308 34902016 6304 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 8521 6304 2656 2575 0 5428 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34084 KiB
Current children cumulated memory: 25216 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.10 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128332580/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=43804 memory=33748 CPUtime=0.2 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 6201 0 0 0 19 1 0 0 20 0 1 0 30675308 44855296 8437 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 10951 8437 2688 2575 0 7858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43804 KiB
Current children cumulated memory: 33748 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.10 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128332580/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=43804 memory=34004 CPUtime=0.3 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 6270 0 0 0 29 1 0 0 20 0 1 0 30675308 44855296 8501 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 10951 8501 2688 2575 0 7858 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43804 KiB
Current children cumulated memory: 34004 KiB
[startup+0.700169 s]
/proc/loadavg: 4.10 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128332580/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=62616 memory=49492 CPUtime=0.69 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 10153 0 0 0 68 1 0 0 20 0 1 0 30675308 64118784 12373 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 15654 12373 2688 2575 0 12561 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62616 KiB
Current children cumulated memory: 49492 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128313048/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=74104 memory=61044 CPUtime=1.49 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 13329 0 0 0 147 2 0 0 20 0 1 0 30675308 75882496 15261 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 18526 15261 2688 2575 0 15433 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74104 KiB
Current children cumulated memory: 61044 KiB
[startup+3.10546 s]
/proc/loadavg: 4.10 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128293140/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=87788 memory=73392 CPUtime=3.09 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 19808 0 0 0 306 3 0 0 20 0 1 0 30675308 89894912 18348 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 21947 18348 2688 2575 0 18854 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 87788 KiB
Current children cumulated memory: 73392 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.05 5/267 17478
/proc/meminfo: memFree=128291724/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=90780 memory=77744 CPUtime=6.27 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 30291 0 0 0 622 5 0 0 20 0 1 0 30675308 92958720 19436 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 22695 19436 2688 2575 0 19602 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90780 KiB
Current children cumulated memory: 77744 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.05 5/267 17478
/proc/meminfo: memFree=128289312/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=12.64 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 1258 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+20.3694 s]
# the end of solver process 17477 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=20.2268 s, system=0.073764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.16 4.12 4.05 5/267 17478
/proc/meminfo: memFree=128289312/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=12.74 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 1268 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+16.0001 s]*
/proc/loadavg: 4.15 4.12 4.05 5/267 17478
/proc/meminfo: memFree=128289596/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=15.94 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 1588 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+17.6001 s]
/proc/loadavg: 4.15 4.12 4.05 5/267 17478
/proc/meminfo: memFree=128289848/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=17.53 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 1747 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+19.2002 s]
/proc/loadavg: 4.14 4.11 4.05 5/267 17478
/proc/meminfo: memFree=128280508/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=19.12 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 1906 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+20.0001 s]*
/proc/loadavg: 4.14 4.11 4.05 5/267 17478
/proc/meminfo: memFree=128280508/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=19.92 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 1986 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 19.92 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+20.2001 s]
/proc/loadavg: 4.14 4.11 4.05 5/267 17478
/proc/meminfo: memFree=128280508/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=20.12 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 2006 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 20.12 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
[startup+20.3002 s]
/proc/loadavg: 4.14 4.11 4.05 5/267 17478
/proc/meminfo: memFree=128280508/131249996 swapFree=33010684/33010684
[pid=17477] ppid=17474 vsize=97676 memory=83628 CPUtime=20.22 cores=1,3
/proc/17477/stat : 17477 (pbsolver) R 17474 17477 16087 0 -1 4194304 37111 0 0 0 2016 6 0 0 20 0 1 0 30675308 100020224 20907 18446744073709551615 4198400 14743177 140732087358608 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 44535808 140732087363978 140732087364074 140732087364074 140732087369676 0
/proc/17477/statm: 24419 20907 2688 2575 0 21326 0
Current children cumulated CPU time: 20.22 s
Current children cumulated vsize: 97676 KiB
Current children cumulated memory: 83628 KiB
Child status: 0
Real time (s): 20.3694
CPU time (s): 20.3006
CPU user time (s): 20.2268
CPU system time (s): 0.073764
CPU usage (%): 99.6618
Max. virtual memory (cumulated for all children) (KiB): 97676
Max. memory (cumulated for all children) (KiB): 83628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2268
system time used= 0.073764
maximum resident set size= 83628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37111
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= 21
# summary of solver processes directly reported to runsolver:
# pid: 17477
# total CPU time (s): 20.3006
# total CPU user time (s): 20.2268
# total CPU system time (s): 0.073764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060897 second user time and 0.111523 second system time
The end
Begin job on nodeC032 at 2025-06-29 00:32:47 IDJOB=4494823 IDBENCH=147933 IDSOLVER=3366 FILE ID=nodeC032/4494823-1751149967 RUNJOBID= nodeC032-1751145886-16099 SLURM_JOB_ID= 9587452 Free space on /tmp= 432020 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494823-1751149967/watcher-4494823-1751149967 -o /tmp/evaluation-result-4494823-1751149967/solver-4494823-1751149967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16099 --watchdog 3760 pbsolver -f HOME/instance-4494823-1751149967.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 75eee10e25ffa4d5aec52eb68458e53f RANDOM SEED=1772853301 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.846 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.69 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.853 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.69 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 : 3560.204 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.69 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 : 3605.293 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.864 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.69 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.843 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.69 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 : 3599.224 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.69 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 : 3700.000 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128348392 kB MemAvailable: 127970104 kB Buffers: 3280 kB Cached: 408352 kB SwapCached: 0 kB Active: 2046268 kB Inactive: 201536 kB Active(anon): 1854244 kB Inactive(anon): 0 kB Active(file): 192024 kB Inactive(file): 201536 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15220 kB Writeback: 0 kB AnonPages: 1838928 kB Mapped: 135988 kB Shmem: 18068 kB KReclaimable: 85224 kB Slab: 167480 kB SReclaimable: 85224 kB SUnreclaim: 82256 kB KernelStack: 4288 kB PageTables: 6620 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2396428 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 737280 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432008 MiB End job on nodeC032 at 2025-06-29 00:33:07