| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.96 | 3597.06 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb |
| MD5SUM | 169808018047e4e4c90ba93c1e86b926 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 4.34712 |
| 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 | 6868 |
| Total number of constraints | 7072 |
| Number of constraints which are clauses | 6971 |
| Number of constraints which are cardinality constraints (but not clauses) | 101 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 101 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 102 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4507455-1751190889.opb>
0.00/0.02 c original problem has 6868 variables (6868 bin, 0 int, 0 cont) and 7072 constraints
0.00/0.02 c problem read in 0.021 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1373 clqs
0.00/0.05 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1360 clqs
0.00/0.05 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1365 clqs
0.00/0.05 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1391 clqs
0.00/0.06 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1406 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.09/0.13 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 101 fixings, 0 bound changes
0.09/0.13 c (round 6, medium) 685 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1406 clqs
0.09/0.14 c (round 7, fast) 685 del vars, 408 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1412 clqs
0.09/0.14 c (round 8, exhaustive) 685 del vars, 506 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1412 clqs
0.09/0.17 c (round 9, exhaustive) 685 del vars, 506 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6566 upgd conss, 0 impls, 1412 clqs
0.09/0.20 c (round 10, exhaustive) 746 del vars, 506 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6566 upgd conss, 0 impls, 1400 clqs
0.09/0.20 c (round 11, fast) 807 del vars, 567 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6566 upgd conss, 0 impls, 1400 clqs
0.99/1.07 c (round 12, exhaustive) 832 del vars, 568 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6566 upgd conss, 0 impls, 34692 clqs
0.99/1.07 c (round 13, fast) 832 del vars, 593 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 117 chg coeffs, 6566 upgd conss, 0 impls, 34709 clqs
1.58/1.67 c (round 14, exhaustive) 858 del vars, 593 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 117 chg coeffs, 6566 upgd conss, 0 impls, 41026 clqs
1.58/1.68 c (round 15, fast) 859 del vars, 619 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 168 chg coeffs, 6566 upgd conss, 0 impls, 41031 clqs
1.78/1.80 c (round 16, exhaustive) 885 del vars, 619 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 168 chg coeffs, 6566 upgd conss, 0 impls, 41036 clqs
1.78/1.81 c (round 17, fast) 886 del vars, 645 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 223 chg coeffs, 6566 upgd conss, 0 impls, 41040 clqs
2.18/2.26 c (round 18, exhaustive) 912 del vars, 645 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 223 chg coeffs, 6566 upgd conss, 0 impls, 41041 clqs
2.18/2.27 c (round 19, fast) 912 del vars, 671 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 266 chg coeffs, 6566 upgd conss, 0 impls, 41047 clqs
2.28/2.33 c (round 20, exhaustive) 937 del vars, 671 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 267 chg coeffs, 6566 upgd conss, 0 impls, 40989 clqs
2.28/2.33 c (round 21, fast) 937 del vars, 696 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 303 chg coeffs, 6566 upgd conss, 0 impls, 40993 clqs
2.28/2.38 c (round 22, exhaustive) 962 del vars, 696 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 303 chg coeffs, 6566 upgd conss, 0 impls, 40930 clqs
2.28/2.38 c (round 23, fast) 962 del vars, 721 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 327 chg coeffs, 6566 upgd conss, 0 impls, 40930 clqs
2.48/2.57 c (2.6s) probing: 1000/6343 (15.8%) - 154 fixings, 1 aggregations, 641549 implications, 0 bound changes
3.68/3.76 c (3.8s) probing: 2000/6343 (31.5%) - 158 fixings, 1 aggregations, 1216278 implications, 0 bound changes
4.67/4.76 c (4.8s) probing: 3000/6343 (47.3%) - 170 fixings, 1 aggregations, 1651661 implications, 0 bound changes
4.87/5.00 c (round 24, exhaustive) 987 del vars, 721 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 327 chg coeffs, 6566 upgd conss, 0 impls, 41100 clqs
4.87/5.00 c (round 25, fast) 988 del vars, 747 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 380 chg coeffs, 6566 upgd conss, 0 impls, 41109 clqs
4.98/5.05 c (round 26, exhaustive) 1016 del vars, 747 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 382 chg coeffs, 6566 upgd conss, 0 impls, 41111 clqs
4.98/5.05 c (round 27, fast) 1019 del vars, 775 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 430 chg coeffs, 6566 upgd conss, 0 impls, 41113 clqs
5.98/6.06 c (6.1s) probing: 4000/6343 (63.1%) - 211 fixings, 1 aggregations, 2060390 implications, 0 bound changes
6.97/7.03 c (7.0s) probing: 5000/6343 (78.8%) - 214 fixings, 1 aggregations, 2465204 implications, 0 bound changes
7.66/7.77 c (7.8s) probing: 5786/6343 (91.2%) - 214 fixings, 1 aggregations, 2771985 implications, 0 bound changes
7.66/7.77 c (7.8s) probing aborted: 1000/1000 successive useless probings
7.66/7.77 c (round 28, exhaustive) 1033 del vars, 775 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 430 chg coeffs, 6566 upgd conss, 0 impls, 41133 clqs
7.66/7.78 c (round 29, fast) 1033 del vars, 789 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 448 chg coeffs, 6566 upgd conss, 0 impls, 41133 clqs
7.97/8.02 c (8.0s) probing: 6000/6343 (94.6%) - 215 fixings, 1 aggregations, 2848757 implications, 0 bound changes
8.16/8.25 c (8.2s) probing cycle finished: starting next cycle
9.56/9.60 c (9.6s) probing: 1000/6121 (16.3%) - 219 fixings, 2 aggregations, 3551578 implications, 0 bound changes
10.06/10.19 c (10.2s) probing: 1501/6121 (24.5%) - 219 fixings, 2 aggregations, 3828496 implications, 0 bound changes
10.06/10.19 c (10.2s) probing aborted: 1000/1000 successive useless probings
10.06/10.20 c (round 30, exhaustive) 1039 del vars, 789 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 448 chg coeffs, 6566 upgd conss, 0 impls, 40259 clqs
10.16/10.20 c (round 31, fast) 1039 del vars, 795 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 461 chg coeffs, 6566 upgd conss, 0 impls, 40263 clqs
10.26/10.36 c (10.4s) probing: 1601/6121 (26.2%) - 219 fixings, 2 aggregations, 3883945 implications, 0 bound changes
10.26/10.36 c (10.4s) probing aborted: 1000/1000 successive useless probings
10.26/10.37 c (10.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.26/10.38 c (10.4s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.01)
10.26/10.39 c dynamic symmetry handling statistics:
10.26/10.39 c orbitopal reduction: no components
10.26/10.39 c orbital reduction: no components
10.26/10.39 c lexicographic reduction: 4 permutations with support sizes 190, 376, 190, 174
10.26/10.39 c handled 5 out of 5 symmetry components
10.36/10.40 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
10.36/10.40 c 1042 deleted vars, 795 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 461 changed coefficients
10.36/10.40 c 0 implications, 41141 cliques
10.36/10.40 c presolved problem has 6113 variables (6113 bin, 0 int, 0 cont) and 6280 constraints
10.36/10.40 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.36/10.40 c 1 constraints of type <knapsack>
10.36/10.40 c 1332 constraints of type <setppc>
10.36/10.40 c 3 constraints of type <orbitope_pp>
10.36/10.40 c 4944 constraints of type <logicor>
10.36/10.40 c transformed objective value is always integral (scale: 1)
10.36/10.40 c Presolving Time: 10.36
10.36/10.40 c
10.36/10.40 c - non default parameters ----------------------------------------------------------------------
10.36/10.40 c
10.36/10.40 c # SCIP version 10.0.0
10.36/10.40 c
10.36/10.40 c # maximal time in seconds to run
10.36/10.40 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
10.36/10.40 c limits/time = 3596.998114
10.36/10.40 c
10.36/10.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.36/10.40 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
10.36/10.40 c limits/memory = 27900
10.36/10.40 c
10.36/10.40 c # belongs reading time to solving time?
10.36/10.40 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
10.36/10.40 c timing/reading = TRUE
10.36/10.40 c
10.36/10.40 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
10.36/10.40 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
10.36/10.40 c reading/opbreader/maxintsize = 47
10.36/10.40 c
10.36/10.40 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
10.36/10.40 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
10.36/10.40 c propagating/genvbounds/timingmask = 0
10.36/10.40 c
10.36/10.40 c -----------------------------------------------------------------------------------------------
10.36/10.40 c
15.15/15.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.15/15.29 c 15.3s| 1 | 0 | 12352 | - | 130M | 0 |6113 |6363 |6274 | 0 | 0 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
56.33/56.51 c 56.5s| 1 | 0 | 75802 | - | 140M | 0 |6113 |6564 |6286 | 12 | 1 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
59.32/59.58 c 59.6s| 1 | 0 | 81552 | - | 143M | 0 |6113 |6564 |6299 | 25 | 2 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
61.82/62.06 c 62.1s| 1 | 0 | 85676 | - | 146M | 0 |6113 |6564 |6308 | 34 | 3 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
67.50/67.73 c 67.7s| 1 | 0 | 95891 | - | 148M | 0 |6113 |6566 |6323 | 49 | 4 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
75.38/75.63 c 75.6s| 1 | 0 |108098 | - | 149M | 0 |6113 |6567 |6334 | 60 | 5 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
80.56/80.90 c 80.9s| 1 | 0 |117171 | - | 152M | 0 |6113 |6575 |6349 | 75 | 6 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
86.35/86.63 c 86.6s| 1 | 0 |127277 | - | 153M | 0 |6113 |6572 |6362 | 88 | 7 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
91.23/91.58 c 91.6s| 1 | 0 |135005 | - | 154M | 0 |6113 |6576 |6372 | 98 | 8 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
97.42/97.72 c 97.7s| 1 | 0 |145441 | - | 156M | 0 |6113 |6585 |6387 | 113 | 9 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
102.90/103.25 c 103s| 1 | 0 |154536 | - | 157M | 0 |6113 |6585 |6399 | 125 | 10 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
108.59/108.96 c 109s| 1 | 0 |164853 | - | 157M | 0 |6113 |6590 |6413 | 139 | 11 | 128 | 0 | 0.000000e+00 | -- | Inf | unknown
141.80/142.25 c 142s| 1 | 2 |209956 | - | 160M | 0 |6113 |6572 |6413 | 139 | 11 | 143 | 11 | 0.000000e+00 | -- | Inf | unknown
224.47/225.18 c 225s| 100 | 31 |398477 |2359.8 | 165M | 32 |6113 |6652 |6360 | 165 | 1 | 275 | 11 | 0.000000e+00 | -- | Inf | 50.00%
398.30/399.49 c 399s| 200 | 49 |760891 |2995.2 | 173M | 32 |6113 |6619 |6358 | 179 | 1 | 402 | 11 | 0.000000e+00 | -- | Inf | 50.00%
941.73/944.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
941.73/944.37 c 944s| 300 | 105 | 1918k|5866.7 | 183M | 32 |6113 |6702 |6339 | 261 | 1 | 560 | 11 | 0.000000e+00 | -- | Inf | 50.00%
1197.06/1200.38 c 1200s| 400 | 132 | 2543k|5960.9 | 193M | 34 |6113 |6917 | 0 | 323 | 0 | 872 | 11 | 0.000000e+00 | -- | Inf | 50.00%
1336.09/1339.72 c 1340s| 500 | 172 | 2877k|5437.1 | 196M | 34 |6113 |6934 |6352 | 342 | 1 |1069 | 11 | 0.000000e+00 | -- | Inf | 50.00%
1602.18/1606.56 c 1607s| 600 | 241 | 3544k|5641.9 | 202M | 34 |6113 |6914 |6365 | 431 | 1 |1237 | 11 | 0.000000e+00 | -- | Inf | 50.02%
1923.52/1928.77 c 1929s| 700 | 317 | 4285k|5895.5 | 219M | 34 |6113 |6986 |6361 | 648 | 1 |1456 | 11 | 0.000000e+00 | -- | Inf | 50.02%
2038.20/2043.70 c 2044s| 800 | 321 | 4559k|5500.1 | 224M | 34 |6113 |6997 |6364 | 725 | 0 |1535 | 11 | 0.000000e+00 | -- | Inf | 50.02%
2137.54/2143.38 c 2143s| 900 | 343 | 4816k|5174.2 | 226M | 36 |6113 |7079 |6352 | 827 | 1 |1694 | 11 | 0.000000e+00 | -- | Inf | 50.07%
2215.49/2221.53 c 2222s| 1000 | 343 | 5041k|4881.8 | 233M | 36 |6113 |7135 |6365 | 932 | 0 |1818 | 11 | 0.000000e+00 | -- | Inf | 50.14%
2279.18/2285.47 c 2285s| 1100 | 347 | 5222k|4602.5 | 235M | 36 |6113 |7116 |6351 |1032 | 1 |1847 | 11 | 0.000000e+00 | -- | Inf | 50.15%
2406.68/2413.36 c 2413s| 1200 | 369 | 5560k|4500.4 | 240M | 36 |6113 |7104 |6361 |1173 | 0 |1882 | 11 | 0.000000e+00 | -- | Inf | 50.15%
2536.57/2543.62 c 2544s| 1300 | 387 | 5882k|4401.9 | 243M | 36 |6113 |7072 |6368 |1415 | 1 |1912 | 11 | 0.000000e+00 | -- | Inf | 50.25%
2604.05/2611.39 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2604.55/2611.89 c (run 1, node 1394) performing user restart
2604.55/2611.89 c
2604.55/2611.89 c (restart) converted 57 cuts from the global cut pool into linear constraints
2604.55/2611.89 c
2604.65/2611.92 c presolving:
2604.65/2611.92 c (round 1, fast) 50 del vars, 62 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 0 upgd conss, 0 impls, 33639 clqs
2604.65/2611.94 c (round 2, exhaustive) 50 del vars, 63 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 158 chg coeffs, 233 upgd conss, 0 impls, 33639 clqs
2604.65/2611.95 c (round 3, medium) 50 del vars, 64 del conss, 8 add conss, 0 chg bounds, 21 chg sides, 195 chg coeffs, 233 upgd conss, 0 impls, 33639 clqs
2604.85/2612.10 c (round 4, exhaustive) 50 del vars, 113 del conss, 8 add conss, 0 chg bounds, 21 chg sides, 2569 chg coeffs, 233 upgd conss, 0 impls, 33639 clqs
2604.95/2612.21 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
2604.95/2612.21 c 50 deleted vars, 115 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 21 changed sides, 2610 changed coefficients
2604.95/2612.21 c 0 implications, 33639 cliques
2604.95/2612.21 c presolved problem has 6063 variables (6063 bin, 0 int, 0 cont) and 7066 constraints
2604.95/2612.21 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2604.95/2612.21 c 38 constraints of type <knapsack>
2604.95/2612.21 c 1470 constraints of type <setppc>
2604.95/2612.21 c 1 constraints of type <linear>
2604.95/2612.21 c 3 constraints of type <orbitope_pp>
2604.95/2612.21 c 5554 constraints of type <logicor>
2604.95/2612.21 c transformed objective value is always integral (scale: 1)
2604.95/2612.21 c Presolving Time: 10.67
2604.95/2612.21 c
2609.23/2616.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2609.23/2616.53 c 2617s| 1 | 0 | 6077k| - | 246M | 0 |6063 |7068 |6288 | 0 | 0 |2001 | 11 | 0.000000e+00 | -- | Inf | unknown
2613.82/2621.18 c 2621s| 1 | 0 | 6082k| - | 248M | 0 |6063 |7146 |6304 | 16 | 1 |2011 | 11 | 0.000000e+00 | -- | Inf | unknown
2617.10/2624.44 c 2624s| 1 | 0 | 6089k| - | 248M | 0 |6063 |7138 |6321 | 33 | 2 |2013 | 11 | 0.000000e+00 | -- | Inf | unknown
2621.79/2629.18 c 2629s| 1 | 0 | 6098k| - | 250M | 0 |6063 |7133 |6343 | 55 | 3 |2021 | 11 | 0.000000e+00 | -- | Inf | unknown
2626.08/2633.48 c 2633s| 1 | 0 | 6106k| - | 250M | 0 |6063 |7131 |6361 | 73 | 4 |2024 | 11 | 0.000000e+00 | -- | Inf | unknown
2632.26/2639.64 c 2640s| 1 | 0 | 6116k| - | 251M | 0 |6063 |7129 |6378 | 90 | 5 |2026 | 11 | 0.000000e+00 | -- | Inf | unknown
2635.55/2642.93 c 2643s| 1 | 0 | 6121k| - | 252M | 0 |6063 |7128 |6391 | 103 | 6 |2032 | 11 | 0.000000e+00 | -- | Inf | unknown
2640.63/2648.04 c 2648s| 1 | 0 | 6130k| - | 252M | 0 |6063 |7126 |6404 | 116 | 7 |2036 | 11 | 0.000000e+00 | -- | Inf | unknown
2644.12/2651.55 c 2652s| 1 | 0 | 6136k| - | 253M | 0 |6063 |7122 |6420 | 132 | 8 |2039 | 11 | 0.000000e+00 | -- | Inf | unknown
2650.90/2658.32 c 2658s| 1 | 0 | 6146k| - | 253M | 0 |6063 |7115 |6438 | 150 | 9 |2041 | 11 | 0.000000e+00 | -- | Inf | unknown
2657.58/2665.02 c 2665s| 1 | 0 | 6156k| - | 254M | 0 |6063 |7120 |6451 | 163 | 10 |2051 | 11 | 0.000000e+00 | -- | Inf | unknown
2663.26/2670.77 c 2671s| 1 | 0 | 6166k| - | 255M | 0 |6063 |7118 |6413 | 181 | 11 |2052 | 11 | 0.000000e+00 | -- | Inf | unknown
2696.15/2703.73 c 2704s| 1 | 2 | 6205k| - | 255M | 0 |6063 |7098 |6413 | 181 | 11 |2067 | 22 | 0.000000e+00 | -- | Inf | unknown
2820.75/2828.79 c 2829s| 100 | 25 | 6491k|4170.2 | 258M | 29 |6063 |7139 |6352 | 245 | 1 |2149 | 22 | 0.000000e+00 | -- | Inf | unknown
2882.65/2890.89 c 2891s| 200 | 35 | 6668k|4019.6 | 259M | 39 |6063 |7171 |6352 | 255 | 1 |2201 | 22 | 0.000000e+00 | -- | Inf | unknown
2913.86/2922.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2913.86/2922.14 c 2922s| 300 | 33 | 6760k|3836.9 | 260M | 39 |6063 |7213 |6348 | 264 | 0 |2274 | 22 | 0.000000e+00 | -- | Inf | unknown
2937.69/2946.07 c 2946s| 400 | 29 | 6833k|3663.5 | 263M | 39 |6063 |7237 |6349 | 266 | 0 |2350 | 22 | 0.000000e+00 | -- | Inf | unknown
3026.84/3035.48 c 3035s| 500 | 39 | 7097k|3609.4 | 266M | 40 |6063 |7226 |6352 | 311 | 1 |2426 | 22 | 0.000000e+00 | -- | Inf | unknown
3068.43/3077.13 c 3077s| 600 | 41 | 7221k|3490.7 | 267M | 40 |6063 |7237 |6339 | 328 | 0 |2465 | 22 | 0.000000e+00 | -- | Inf | unknown
3105.12/3113.97 c 3114s| 700 | 57 | 7333k|3377.1 | 268M | 40 |6063 |7245 |6340 | 341 | 0 |2501 | 22 | 0.000000e+00 | -- | Inf | unknown
3126.56/3135.48 c 3135s| 800 | 59 | 7404k|3255.4 | 268M | 40 |6063 |7276 |6338 | 349 | 1 |2540 | 22 | 0.000000e+00 | -- | Inf | unknown
3148.21/3157.19 c 3157s| 900 | 57 | 7473k|3143.6 | 269M | 40 |6063 |7324 |6338 | 352 | 1 |2619 | 22 | 0.000000e+00 | -- | Inf | unknown
3181.51/3190.50 c 3191s| 1000 | 51 | 7574k|3054.7 | 269M | 40 |6063 |7341 |6338 | 355 | 0 |2707 | 22 | 0.000000e+00 | -- | Inf | unknown
3213.23/3222.35 c 3222s| 1100 | 55 | 7674k|2972.1 | 269M | 40 |6063 |7366 | 0 | 359 | 0 |2765 | 22 | 0.000000e+00 | -- | Inf | unknown
3261.29/3270.55 c 3271s| 1200 | 49 | 7813k|2911.2 | 270M | 40 |6063 |7388 |6355 | 371 | 1 |2819 | 22 | 0.000000e+00 | -- | Inf | unknown
3312.35/3321.79 c 3322s| 1300 | 44 | 7959k|2857.1 | 271M | 40 |6063 |7380 |6338 | 397 | 0 |2910 | 22 | 0.000000e+00 | -- | Inf | unknown
3357.13/3366.64 c 3367s| 1400 | 44 | 8085k|2800.0 | 272M | 40 |6063 |7369 |6364 | 432 | 1 |2950 | 22 | 0.000000e+00 | -- | Inf | unknown
3401.41/3411.02 c 3411s| 1500 | 48 | 8207k|2745.4 | 273M | 40 |6063 |7386 |6363 | 456 | 0 |2986 | 22 | 0.000000e+00 | -- | Inf | unknown
3450.87/3460.65 c 3461s| 1600 | 50 | 8345k|2699.9 | 274M | 40 |6063 |7389 |6367 | 473 | 1 |3004 | 22 | 0.000000e+00 | -- | Inf | unknown
3490.46/3500.35 c 3500s| 1700 | 52 | 8463k|2650.5 | 276M | 40 |6063 |7468 |6339 | 494 | 1 |3103 | 22 | 0.000000e+00 | -- | Inf | unknown
3543.71/3553.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3543.71/3553.79 c 3554s| 1800 | 46 | 8632k|2620.5 | 280M | 44 |6063 |7498 |6346 | 558 | 0 |3164 | 22 | 0.000000e+00 | -- | Inf | unknown
3586.80/3597.00 c
3586.80/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.80/3597.00 c Solving Time (sec) : 3597.00
3586.80/3597.00 c Solving Nodes : 1869 (total of 3263 nodes in 2 runs)
3586.80/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.80/3597.00 c Dual Bound : +0.00000000000000e+00
3586.80/3597.00 c Gap : infinite
3586.80/3597.00 s UNKNOWN
3586.80/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.80/3597.00 c Total Time : 3597.00
3586.80/3597.00 c solving : 3597.00
3586.80/3597.00 c presolving : 10.67 (included in solving)
3586.80/3597.00 c reading : 0.02 (included in solving)
3586.80/3597.00 c copying : 1.44 (106 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.80/3597.00 c Original Problem :
3586.80/3597.00 c Problem name : HOME/instance-4507455-1751190889.opb
3586.80/3597.00 c Variables : 6868 (6868 binary, 0 integer, 0 continuous)
3586.80/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.80/3597.00 c Constraints : 7072 initial, 7072 maximal
3586.80/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.80/3597.00 c Presolved Problem :
3586.80/3597.00 c Problem name : t_HOME/instance-4507455-1751190889.opb
3586.80/3597.00 c Variables : 6063 (6063 binary, 0 integer, 0 continuous)
3586.80/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.80/3597.00 c Constraints : 7066 initial, 7588 maximal
3586.80/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.80/3597.00 c Nonzeros : 65082 constraint, 73217 clique table
3586.80/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.80/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c domcol : 0.10 0.00 12 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c gateextraction : 0.03 0.00 15 0 0 0 0 0 1 0 0 0
3586.80/3597.00 c implics : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c milp : 0.08 0.00 1 101 1 0 0 0 0 0 0 0
3586.80/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c sparsify : 0.97 0.00 3 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c trivial : 0.00 0.00 37 337 0 0 0 0 0 0 0 0
3586.80/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c dualfix : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c probing : 8.71 0.00 11 219 2 0 0 0 0 0 0 0
3586.80/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3586.80/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c knapsack : 0.01 0.00 59 0 0 0 0 0 0 8 20 86
3586.80/3597.00 c setppc : 0.05 0.00 59 0 0 0 0 0 89 0 0 0
3586.80/3597.00 c linear : 0.05 0.00 19 141 0 0 141 0 507 0 1 0
3586.80/3597.00 c orbitope_pp : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c logicor : 0.57 0.01 58 62 0 0 0 0 313 0 0 2985
3586.80/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c root node : - - - 50 - - 50 - - - - -
3586.80/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.80/3597.00 c integral : 0 0 0 0 1867 0 0 241 0 0 0 0 0 0 3734
3586.80/3597.00 c knapsack : 38+ 39 22 245198 0 0 0 236 15930 4 3681 0 0 0 0
3586.80/3597.00 c setppc : 1470+ 1511 22 246755 0 0 0 175 502684 241 157980 0 0 0 0
3586.80/3597.00 c linear : 1+ 94 22 67097 0 0 0 3 4324 12 2461 34 25 0 0
3586.80/3597.00 c orbitope_pp : 3 3 0 68496 0 0 0 0 682 1 641 0 0 0 0
3586.80/3597.00 c logicor : 5554+ 5970 22 162911 0 0 0 0 935015 429 223023 148 77 0 0
3586.80/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.80/3597.00 c integral : 15.21 0.00 0.00 0.00 15.21 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c knapsack : 0.26 0.00 0.05 0.20 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c setppc : 1.79 0.00 0.00 1.64 0.00 0.00 0.00 0.00 0.12 0.03
3586.80/3597.00 c linear : 0.08 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.01 0.01
3586.80/3597.00 c orbitope_pp : 0.16 0.00 0.00 0.15 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c logicor : 3.70 0.01 0.02 3.33 0.00 0.00 0.00 0.00 0.32 0.02
3586.80/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.80/3597.00 c dualfix : 2 0 0 0
3586.80/3597.00 c genvbounds : 0 0 0 0
3586.80/3597.00 c nlobbt : 0 0 0 0
3586.80/3597.00 c obbt : 0 0 0 0
3586.80/3597.00 c probing : 0 0 0 0
3586.80/3597.00 c pseudoobj : 0 0 0 0
3586.80/3597.00 c redcost : 0 0 0 0
3586.80/3597.00 c rootredcost : 0 0 0 0
3586.80/3597.00 c symmetry : 23382 0 0 24
3586.80/3597.00 c vbounds : 31996 0 0 0
3586.80/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.80/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.80/3597.00 c probing : 8.71 0.00 8.71 0.00 0.00 0.00
3586.80/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.80/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.80/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.80/3597.00 c symmetry : 0.11 0.00 0.02 0.08 0.00 0.00
3586.80/3597.00 c vbounds : 0.23 0.00 0.01 0.22 0.00 0.00
3586.80/3597.00 c Symmetry :
3586.80/3597.00 c #affected vars : 1286 (1286 bin, 0 int, 0 cont)
3586.80/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.80/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.80/3597.00 c lexicographic red: 24 reductions applied, 0 cutoffs
3586.80/3597.00 c shadow tree time : 0.01 s
3586.80/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.80/3597.00 c propagation : 0.16 667 525 - 3789 120.0 121 32.6 - - -
3586.80/3597.00 c infeasible LP : 4.57 1492 373 - 9071 1166.3 32 19.8 41 496.3 0
3586.80/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.80/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.80/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.80/3597.00 c applied globally : 0.14 - - 0 3222 150.6 - - 41 - -
3586.80/3597.00 c applied locally : - - - 0 5 98.6 - - 0 - -
3586.80/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.80/3597.00 c cut pool : 0.11 - 531 42 - - 2360 16054 - - - - - (maximal pool size: 1201)
3586.80/3597.00 c aggregation : 0.14 0.00 102 22 0 0 1 1 0 0 0 0 0
3586.80/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.80/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.80/3597.00 c > knapsackcover : - - - - - - - 1 0 0 0 0 -
3586.80/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c clique : 0.75 0.00 22 22 0 0 175 735 0 196 196 0 0
3586.80/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c gomory : 17.26 0.00 100 20 0 0 2105 13061 290 691 666 25 0
3586.80/3597.00 c > gomorymi : - - - - - - - 6312 145 462 450 12 -
3586.80/3597.00 c > strongcg : - - - - - - - 6749 145 229 216 13 -
3586.80/3597.00 c impliedbounds : 0.14 0.00 102 22 0 0 76 129 0 59 59 0 0
3586.80/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c multilinear : 0.00 0.00 76 22 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c rapidlearning : 36.72 0.00 100 2 0 22687 0 0 0 0 0 0 510
3586.80/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.80/3597.00 c zerohalf : 9.07 0.00 102 22 0 0 414 2128 121 1046 948 98 0
3586.80/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.80/3597.00 c hybrid : 0.02 0.00 329 22 2115 10 14426 320 0 427
3586.80/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.80/3597.00 c problem variables: 0.00 - 0 0
3586.80/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.80/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c relpscost : 15.21 0.00 1867 0 0 0 0 0 0 3734
3586.80/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.80/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.80/3597.00 c LP solutions : 0.00 - - 0 0
3586.80/3597.00 c relax solutions : 0.00 - - 0 0
3586.80/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.80/3597.00 c strong branching : 0.00 - - 0 0
3586.80/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c adaptivediving : 66.96 0.00 5 0 0
3586.80/3597.00 c alns : 13.53 0.00 4 0 0
3586.80/3597.00 c bound : 0.00 0.00 0 0 0
3586.80/3597.00 c clique : 0.03 0.00 1 0 0
3586.80/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c completesol : 0.00 0.00 0 0 0
3586.80/3597.00 c conflictdiving : 172.64 0.00 22 0 0
3586.80/3597.00 c crossover : 0.00 0.00 0 0 0
3586.80/3597.00 c dins : 0.00 0.00 0 0 0
3586.80/3597.00 c distributiondivin: 109.92 0.00 21 0 0
3586.80/3597.00 c dks : 0.00 0.00 0 0 0
3586.80/3597.00 c dps : 0.00 0.00 0 0 0
3586.80/3597.00 c dualval : 0.00 0.00 0 0 0
3586.80/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c feaspump : 65.45 0.00 9 0 0
3586.80/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.80/3597.00 c fracdiving : 77.01 0.00 21 0 0
3586.80/3597.00 c gins : 0.00 0.00 0 0 0
3586.80/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.80/3597.00 c indicator : 0.00 0.00 0 0 0
3586.80/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.80/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.80/3597.00 c linesearchdiving : 156.26 0.00 19 0 0
3586.80/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.80/3597.00 c locks : 0.02 0.00 1 0 0
3586.80/3597.00 c lpface : 0.02 0.00 0 0 0
3586.80/3597.00 c mpec : 0.00 0.00 0 0 0
3586.80/3597.00 c multistart : 0.00 0.00 0 0 0
3586.80/3597.00 c mutation : 0.00 0.00 0 0 0
3586.80/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c objpscostdiving : 221.57 0.00 2 0 0
3586.80/3597.00 c octane : 0.00 0.00 0 0 0
3586.80/3597.00 c ofins : 0.00 0.00 0 0 0
3586.80/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.80/3597.00 c padm : 0.00 0.00 0 0 0
3586.80/3597.00 c proximity : 0.00 0.00 0 0 0
3586.80/3597.00 c pscostdiving : 143.09 0.00 22 0 0
3586.80/3597.00 c randrounding : 0.24 0.00 251 0 0
3586.80/3597.00 c rens : 0.18 0.00 2 0 0
3586.80/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.80/3597.00 c repair : 0.00 0.00 0 0 0
3586.80/3597.00 c rins : 0.00 0.00 0 0 0
3586.80/3597.00 c rootsoldiving : 47.41 0.00 6 0 0
3586.80/3597.00 c rounding : 0.13 0.00 615 0 0
3586.80/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.80/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0
3586.80/3597.00 c shifting : 0.44 0.00 269 0 0
3586.80/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.80/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.80/3597.00 c trivial : 0.01 0.00 4 0 0
3586.80/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.80/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.80/3597.00 c trysol : 0.00 0.00 0 0 0
3586.80/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.80/3597.00 c undercover : 0.00 0.00 0 0 0
3586.80/3597.00 c vbounds : 0.03 0.00 2 0 0
3586.80/3597.00 c veclendiving : 150.06 0.00 20 0 0
3586.80/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.80/3597.00 c zirounding : 0.10 0.00 1000 0 0
3586.80/3597.00 c other solutions : - - - 0 -
3586.80/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 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
3586.80/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.80/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.80/3597.00 c primal LP : 0.67 134 0 0.00 0.00 0.67 134
3586.80/3597.00 c dual LP : 2270.36 3537 5981652 1700.78 2634.67 0.03 20
3586.80/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.80/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.80/3597.00 c resolve instable : 5.26 23 13806 600.26 2625.53
3586.80/3597.00 c diving/probing LP: 1207.60 2004 2789095 1391.76 2309.62
3586.80/3597.00 c strong branching : 11.55 22 20060 911.82 1736.66 - - 37
3586.80/3597.00 c (at root node) : - 22 20060 911.82 -
3586.80/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.80/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.80/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.80/3597.00 c B&B Tree :
3586.80/3597.00 c number of runs : 2
3586.80/3597.00 c nodes : 1869 (973 internal, 896 leaves)
3586.80/3597.00 c feasible leaves : 0
3586.80/3597.00 c infeas. leaves : 895
3586.80/3597.00 c objective leaves : 0
3586.80/3597.00 c nodes (total) : 3263 (1867 internal, 1396 leaves)
3586.80/3597.00 c nodes left : 46
3586.80/3597.00 c max depth : 44
3586.80/3597.00 c max depth (total): 44
3586.80/3597.00 c backtracks : 297 (15.9%)
3586.80/3597.00 c early backtracks : 0 (0.0%)
3586.80/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.80/3597.00 c delayed cutoffs : 33
3586.80/3597.00 c repropagations : 894 (9090 domain reductions, 13 cutoffs)
3586.80/3597.00 c avg switch length: 3.46
3586.80/3597.00 c switching time : 2.16
3586.80/3597.00 c Root Node :
3586.80/3597.00 c First LP value : +0.00000000000000e+00
3586.80/3597.00 c First LP Iters : 12352 (2567.63 Iter/sec)
3586.80/3597.00 c First LP Time : 4.81
3586.80/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.80/3597.00 c Final Root Iters : 265047
3586.80/3597.00 c Root LP Estimate : +4.20500597892464e-02
3586.80/3597.00 c Solution :
3586.80/3597.00 c Solutions found : 0 (0 improvements)
3586.80/3597.00 c Primal Bound : -
3586.80/3597.00 c Dual Bound : +0.00000000000000e+00
3586.80/3597.00 c Gap : infinite
3586.80/3597.00 c Integrals : Total Avg%
3586.80/3597.00 c primal-dual : 359699.86 100.00
3586.80/3597.00 c primal-ref : - - (not evaluated)
3586.80/3597.00 c dual-ref : - - (not evaluated)
3586.90/3597.05 c Time complete (sec): 3586.963
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 (62939 MiB free)
memory of node 1: 64465 MiB (63846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507455-1751190889/watcher-4507455-1751190889 -o /tmp/evaluation-result-4507455-1751190889/solver-4507455-1751190889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22781 --watchdog 3760 pbsolver -f HOME/instance-4507455-1751190889.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23581, runsolver pid=23578
[startup+0.100062 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129781300/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=61484 memory=51856 CPUtime=0.09 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 11703 0 0 0 8 1 0 0 20 0 1 0 34711422 62959616 12964 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 15371 12964 2496 2575 0 12278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61484 KiB
Current children cumulated memory: 51856 KiB
[startup+0.20541 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129777520/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=65936 memory=56316 CPUtime=0.19 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 13434 0 0 0 18 1 0 0 20 0 1 0 34711422 67518464 14079 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 16484 14079 2560 2575 0 13391 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65936 KiB
Current children cumulated memory: 56316 KiB
[startup+0.305412 s]*
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129766684/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=78916 memory=66172 CPUtime=0.3 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 15961 0 0 0 28 2 0 0 20 0 1 0 34711422 80809984 16543 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 19729 16543 2560 2575 0 16636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78916 KiB
Current children cumulated memory: 66172 KiB
[startup+0.700116 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129762652/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=88844 memory=76284 CPUtime=0.69 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 18446 0 0 0 67 2 0 0 20 0 1 0 34711422 90976256 19071 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 22211 19071 2592 2575 0 19118 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 88844 KiB
Current children cumulated memory: 76284 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129754672/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=90376 memory=77820 CPUtime=1.48 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 18826 0 0 0 146 2 0 0 20 0 1 0 34711422 92545024 19455 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 22594 19455 2592 2575 0 19501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90376 KiB
Current children cumulated memory: 77820 KiB
[startup+3.10522 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129650028/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=90376 memory=78588 CPUtime=3.08 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 19029 0 0 0 306 2 0 0 20 0 1 0 34711422 92545024 19647 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 22594 19647 2592 2575 0 19501 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90376 KiB
Current children cumulated memory: 78588 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129649412/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=91432 memory=79612 CPUtime=6.27 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 19279 0 0 0 625 2 0 0 20 0 1 0 34711422 93626368 19903 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 22858 19903 2592 2575 0 19765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91432 KiB
Current children cumulated memory: 79612 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.09 4.09 5/265 23583
/proc/meminfo: memFree=129600280/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=159548 memory=127868 CPUtime=12.65 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 31365 0 0 0 1261 4 0 0 20 0 1 0 34711422 163377152 31967 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 39887 31967 2656 2575 0 36794 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 159548 KiB
Current children cumulated memory: 127868 KiB
[startup+25.5001 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 23583
/proc/meminfo: memFree=129559576/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=163652 memory=131580 CPUtime=25.42 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 32287 0 0 0 2538 4 0 0 20 0 1 0 34711422 167579648 32895 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 40913 32895 2656 2575 0 37820 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 163652 KiB
Current children cumulated memory: 131580 KiB
[startup+51.1052 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 23583
/proc/meminfo: memFree=129135020/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=234756 memory=199896 CPUtime=50.95 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 49352 0 0 0 5089 6 0 0 20 0 1 0 34711422 240390144 49974 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 58689 49974 2688 2575 0 55596 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 234756 KiB
Current children cumulated memory: 199896 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 23585
/proc/meminfo: memFree=129046660/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=267224 CPUtime=102 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66199 0 0 0 10190 10 0 0 20 0 1 0 34711422 308953088 66806 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 66806 2688 2575 0 72335 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 301712 KiB
Current children cumulated memory: 267224 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 23587
/proc/meminfo: memFree=129017988/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=269272 CPUtime=161.84 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66727 0 0 0 16174 10 0 0 20 0 1 0 34711422 308953088 67318 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 67318 2688 2575 0 72335 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 301712 KiB
Current children cumulated memory: 269272 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/262 23589
/proc/meminfo: memFree=128970240/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=269784 CPUtime=221.68 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66858 0 0 0 22158 10 0 0 20 0 1 0 34711422 308953088 67446 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 67446 2688 2575 0 72335 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 301712 KiB
Current children cumulated memory: 269784 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 23593
/proc/meminfo: memFree=128971176/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=269784 CPUtime=281.51 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66858 0 0 0 28141 10 0 0 20 0 1 0 34711422 308953088 67446 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 67446 2688 2575 0 72335 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 301712 KiB
Current children cumulated memory: 269784 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 23595
/proc/meminfo: memFree=128963476/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=269784 CPUtime=341.35 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66859 0 0 0 34125 10 0 0 20 0 1 0 34711422 308953088 67446 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 67446 2688 2575 0 72335 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 301712 KiB
Current children cumulated memory: 269784 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 23608
/proc/meminfo: memFree=128927052/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=269784 CPUtime=401.19 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66859 0 0 0 40109 10 0 0 20 0 1 0 34711422 308953088 67446 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 67446 2688 2575 0 72335 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 301712 KiB
Current children cumulated memory: 269784 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 23613
/proc/meminfo: memFree=128926624/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=301712 memory=269784 CPUtime=461.03 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 66859 0 0 0 46093 10 0 0 20 0 1 0 34711422 308953088 67446 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 75428 67446 2688 2575 0 72335 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.10 5/265 23748
/proc/meminfo: memFree=128736616/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344428 CPUtime=3153.39 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88393 0 0 0 315325 14 0 0 20 0 1 0 34711422 366592000 86107 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86107 2944 2575 0 86407 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 23751
/proc/meminfo: memFree=128739004/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344428 CPUtime=3213.23 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88393 0 0 0 321309 14 0 0 20 0 1 0 34711422 366592000 86107 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86107 2944 2575 0 86407 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/265 23753
/proc/meminfo: memFree=128707148/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344428 CPUtime=3273.06 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88410 0 0 0 327292 14 0 0 20 0 1 0 34711422 366592000 86107 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86107 2944 2575 0 86407 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 23755
/proc/meminfo: memFree=128726368/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3332.89 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88410 0 0 0 333275 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 23757
/proc/meminfo: memFree=128726764/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3392.73 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88534 0 0 0 339259 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 23761
/proc/meminfo: memFree=128728144/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3452.56 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88534 0 0 0 345242 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 23768
/proc/meminfo: memFree=128721748/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3512.4 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88642 0 0 0 351226 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715176/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3572.24 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88648 0 0 0 357210 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3597.06 s]
# the end of solver process 23581 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.82 s, system=0.147512 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715176/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3573.94 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88648 0 0 0 357380 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3573.94 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3580.31 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88659 0 0 0 358017 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3580.31 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 3/259 23798
/proc/meminfo: memFree=129309240/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3583.5 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88659 0 0 0 358336 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3583.5 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 2/245 23863
/proc/meminfo: memFree=129728684/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3585.1 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88659 0 0 0 358496 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3596 s]*
/proc/loadavg: 3.84 4.05 4.07 2/245 23863
/proc/meminfo: memFree=129728928/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3585.9 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88659 0 0 0 358576 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3596.8 s]
/proc/loadavg: 3.84 4.05 4.07 2/245 23863
/proc/meminfo: memFree=129728928/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3586.7 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88659 0 0 0 358656 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
[startup+3597 s]*
/proc/loadavg: 3.84 4.05 4.07 2/245 23863
/proc/meminfo: memFree=129728928/131250000 swapFree=33010684/33010684
[pid=23581] ppid=23578 vsize=358000 memory=344812 CPUtime=3586.9 cores=0,2
/proc/23581/stat : 23581 (pbsolver) R 23578 23581 22771 0 -1 4194304 88659 0 0 0 358676 14 0 0 20 0 1 0 34711422 366592000 86203 18446744073709551615 4198400 14743177 140726110049920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26705920 140726110054794 140726110054890 140726110054890 140726110060492 0
/proc/23581/statm: 89500 86203 2944 2575 0 86407 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 358000 KiB
Current children cumulated memory: 344812 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3586.96
CPU user time (s): 3586.82
CPU system time (s): 0.147512
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 358000
Max. memory (cumulated for all children) (KiB): 344812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.82
system time used= 0.147512
maximum resident set size= 344812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88676
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= 34
involuntary context switches= 5377
# summary of solver processes directly reported to runsolver:
# pid: 23581
# total CPU time (s): 3586.96
# total CPU user time (s): 3586.82
# total CPU system time (s): 0.147512
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62866 second user time and 13.6301 second system time
The end
Begin job on nodeC028 at 2025-06-29 11:54:49 IDJOB=4507455 IDBENCH=158353 IDSOLVER=3366 FILE ID=nodeC028/4507455-1751190889 RUNJOBID= nodeC028-1751183686-22781 SLURM_JOB_ID= 9587572 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507455-1751190889/watcher-4507455-1751190889 -o /tmp/evaluation-result-4507455-1751190889/solver-4507455-1751190889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22781 --watchdog 3760 pbsolver -f HOME/instance-4507455-1751190889.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926 RANDOM SEED=1148741347 nodeC028 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 : 3603.835 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.16 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 : 3600.143 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.066 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.16 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 : 3599.358 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.082 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.16 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.158 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.16 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 : 3611.668 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.16 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 : 3581.094 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129829180 kB MemAvailable: 129543048 kB Buffers: 3280 kB Cached: 524572 kB SwapCached: 0 kB Active: 566204 kB Inactive: 268176 kB Active(anon): 324624 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 268176 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48060 kB Writeback: 12408 kB AnonPages: 309824 kB Mapped: 134336 kB Shmem: 18068 kB KReclaimable: 86700 kB Slab: 169756 kB SReclaimable: 86700 kB SUnreclaim: 83056 kB KernelStack: 4272 kB PageTables: 3676 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 689268 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433048 MiB End job on nodeC028 at 2025-06-29 12:54:46