| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.18 | 3597.05 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb |
| MD5SUM | dd58632d9551a3604736dadf6eadc418 |
| 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 | 50.6923 |
| 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 | 6120 |
| Total number of constraints | 6302 |
| Number of constraints which are clauses | 6212 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 90 |
| 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 | 91 |
| 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-4507275-1751187285.opb>
0.00/0.02 c original problem has 6120 variables (6120 bin, 0 int, 0 cont) and 6302 constraints
0.00/0.02 c problem read in 0.019 seconds
0.00/0.02 c problem without objective
0.00/0.03 c presolving:
0.00/0.04 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, 1219 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, 1206 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, 1211 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, 1237 clqs
0.00/0.05 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, 1252 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.09/0.12 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 92 fixings, 0 bound changes
0.09/0.12 c (round 6, medium) 676 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1248 clqs
0.09/0.12 c (round 7, fast) 676 del vars, 399 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1250 clqs
0.09/0.13 c (round 8, exhaustive) 676 del vars, 486 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1250 clqs
0.09/0.14 c (round 9, exhaustive) 676 del vars, 486 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5816 upgd conss, 0 impls, 1250 clqs
0.09/0.17 c (round 10, exhaustive) 738 del vars, 486 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5816 upgd conss, 0 impls, 1238 clqs
0.09/0.17 c (round 11, fast) 800 del vars, 548 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5816 upgd conss, 0 impls, 1238 clqs
0.87/0.97 c (round 12, exhaustive) 826 del vars, 549 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5816 upgd conss, 0 impls, 36179 clqs
0.87/0.97 c (round 13, fast) 828 del vars, 576 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 119 chg coeffs, 5816 upgd conss, 0 impls, 36193 clqs
1.26/1.35 c (round 14, exhaustive) 853 del vars, 576 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 119 chg coeffs, 5816 upgd conss, 0 impls, 36548 clqs
1.26/1.35 c (round 15, fast) 853 del vars, 601 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 174 chg coeffs, 5816 upgd conss, 0 impls, 36553 clqs
1.46/1.53 c (round 16, exhaustive) 881 del vars, 601 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 174 chg coeffs, 5816 upgd conss, 0 impls, 36556 clqs
1.46/1.53 c (round 17, fast) 881 del vars, 629 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 230 chg coeffs, 5816 upgd conss, 0 impls, 36564 clqs
1.56/1.63 c (round 18, exhaustive) 906 del vars, 629 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 230 chg coeffs, 5816 upgd conss, 0 impls, 36553 clqs
1.56/1.63 c (round 19, fast) 906 del vars, 654 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 269 chg coeffs, 5816 upgd conss, 0 impls, 36557 clqs
1.56/1.67 c (round 20, exhaustive) 931 del vars, 654 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 271 chg coeffs, 5816 upgd conss, 0 impls, 36468 clqs
1.56/1.67 c (round 21, fast) 931 del vars, 679 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 295 chg coeffs, 5816 upgd conss, 0 impls, 36468 clqs
1.96/2.01 c (2.0s) probing: 1000/5603 (17.8%) - 140 fixings, 1 aggregations, 591061 implications, 0 bound changes
3.25/3.30 c (3.3s) probing: 2000/5603 (35.7%) - 149 fixings, 1 aggregations, 1129863 implications, 0 bound changes
3.25/3.34 c (round 22, exhaustive) 956 del vars, 679 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 295 chg coeffs, 5816 upgd conss, 0 impls, 36543 clqs
3.25/3.34 c (round 23, fast) 956 del vars, 704 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 333 chg coeffs, 5816 upgd conss, 0 impls, 36548 clqs
3.25/3.38 c (round 24, exhaustive) 981 del vars, 704 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 333 chg coeffs, 5816 upgd conss, 0 impls, 36589 clqs
3.25/3.39 c (round 25, fast) 981 del vars, 729 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 369 chg coeffs, 5816 upgd conss, 0 impls, 36589 clqs
3.85/3.98 c (round 26, exhaustive) 1007 del vars, 729 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 378 chg coeffs, 5816 upgd conss, 0 impls, 36582 clqs
3.85/3.99 c (round 27, fast) 1007 del vars, 754 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 412 chg coeffs, 5816 upgd conss, 0 impls, 36587 clqs
4.36/4.48 c (4.5s) probing: 3000/5603 (53.5%) - 215 fixings, 1 aggregations, 1512022 implications, 0 bound changes
5.46/5.57 c (5.6s) probing: 4000/5603 (71.4%) - 218 fixings, 1 aggregations, 1934131 implications, 0 bound changes
6.45/6.52 c (6.5s) probing: 4936/5603 (88.1%) - 218 fixings, 1 aggregations, 2290382 implications, 0 bound changes
6.45/6.52 c (6.5s) probing aborted: 1000/1000 successive useless probings
6.45/6.52 c (round 28, exhaustive) 1023 del vars, 754 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 412 chg coeffs, 5816 upgd conss, 0 impls, 36595 clqs
6.45/6.52 c (round 29, fast) 1023 del vars, 770 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 437 chg coeffs, 5816 upgd conss, 0 impls, 36595 clqs
6.55/6.62 c (6.6s) probing: 5000/5603 (89.2%) - 218 fixings, 1 aggregations, 2314272 implications, 0 bound changes
6.55/6.66 c (6.7s) probing: 5036/5603 (89.9%) - 218 fixings, 1 aggregations, 2327807 implications, 0 bound changes
6.55/6.66 c (6.7s) probing aborted: 1000/1000 successive useless probings
6.55/6.67 c (6.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.55/6.68 c (6.7s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.00)
6.55/6.69 c dynamic symmetry handling statistics:
6.55/6.69 c orbitopal reduction: no components
6.55/6.69 c orbital reduction: no components
6.55/6.69 c lexicographic reduction: 4 permutations with support sizes 168, 332, 168, 152
6.55/6.69 c handled 5 out of 5 symmetry components
6.65/6.70 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
6.65/6.70 c 1026 deleted vars, 770 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 437 changed coefficients
6.65/6.70 c 0 implications, 36657 cliques
6.65/6.70 c presolved problem has 5379 variables (5379 bin, 0 int, 0 cont) and 5535 constraints
6.65/6.70 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
6.65/6.70 c 1 constraints of type <knapsack>
6.65/6.70 c 1181 constraints of type <setppc>
6.65/6.70 c 3 constraints of type <orbitope_pp>
6.65/6.70 c 4350 constraints of type <logicor>
6.65/6.70 c transformed objective value is always integral (scale: 1)
6.65/6.70 c Presolving Time: 6.66
6.65/6.70 c
6.65/6.70 c - non default parameters ----------------------------------------------------------------------
6.65/6.70 c
6.65/6.70 c # SCIP version 10.0.0
6.65/6.70 c
6.65/6.70 c # maximal time in seconds to run
6.65/6.70 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.65/6.70 c limits/time = 3596.99806
6.65/6.70 c
6.65/6.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.65/6.70 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.65/6.70 c limits/memory = 27900
6.65/6.70 c
6.65/6.70 c # belongs reading time to solving time?
6.65/6.70 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.65/6.70 c timing/reading = TRUE
6.65/6.70 c
6.65/6.70 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
6.65/6.70 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
6.65/6.70 c reading/opbreader/maxintsize = 47
6.65/6.70 c
6.65/6.70 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
6.65/6.70 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
6.65/6.70 c propagating/genvbounds/timingmask = 0
6.65/6.70 c
6.65/6.70 c -----------------------------------------------------------------------------------------------
6.65/6.70 c
10.34/10.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.34/10.41 c 10.4s| 1 | 0 | 10847 | - | 119M | 0 |5379 |5644 |5529 | 0 | 0 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown
48.04/48.24 c 48.2s| 1 | 0 | 70189 | - | 126M | 0 |5379 |5847 |5545 | 16 | 1 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
49.84/50.06 c 50.1s| 1 | 0 | 73613 | - | 130M | 0 |5379 |5849 |5555 | 26 | 2 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
54.62/54.89 c 54.9s| 1 | 0 | 83736 | - | 132M | 0 |5379 |5851 |5562 | 33 | 3 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
56.72/56.97 c 57.0s| 1 | 0 | 86595 | - | 133M | 0 |5379 |5861 |5574 | 45 | 4 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
58.11/58.39 c 58.4s| 1 | 0 | 88815 | - | 135M | 0 |5379 |5862 |5582 | 53 | 5 | 144 | 0 | 0.000000e+00 | -- | Inf | unknown
62.70/62.93 c 62.9s| 1 | 0 | 98207 | - | 137M | 0 |5379 |5871 |5592 | 63 | 6 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
64.90/65.12 c 65.1s| 1 | 0 |101916 | - | 138M | 0 |5379 |5870 |5600 | 71 | 7 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
69.58/69.86 c 69.9s| 1 | 0 |111627 | - | 139M | 0 |5379 |5880 |5613 | 84 | 8 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
71.97/72.22 c 72.2s| 1 | 0 |115747 | - | 140M | 0 |5379 |5881 |5619 | 90 | 9 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
76.36/76.61 c 76.6s| 1 | 0 |124256 | - | 144M | 0 |5379 |5882 |5632 | 103 | 10 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
80.15/80.46 c 80.5s| 1 | 0 |132151 | - | 144M | 0 |5379 |5883 |5644 | 115 | 11 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
102.09/102.41 c 102s| 1 | 2 |162646 | - | 145M | 0 |5379 |5868 |5644 | 115 | 11 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
212.70/213.33 c 213s| 100 | 21 |430457 |3013.2 | 150M | 42 |5379 |5824 |5607 | 161 | 0 | 230 | 11 | 0.000000e+00 | -- | Inf | 25.03%
555.99/557.67 c 558s| 200 | 21 | 1295k|5844.0 | 157M | 42 |5379 |5861 |5611 | 229 | 1 | 290 | 11 | 0.000000e+00 | -- | Inf | 25.03%
829.27/831.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
829.27/831.78 c 832s| 300 | 22 | 2059k|6447.0 | 164M | 42 |5379 |5914 |5612 | 263 | 0 | 365 | 11 | 0.000000e+00 | -- | Inf | 25.03%
1107.69/1111.08 c 1111s| 400 | 21 | 2832k|6767.9 | 167M | 42 |5379 |5933 |5616 | 295 | 0 | 431 | 11 | 0.000000e+00 | -- | Inf | 25.03%
1384.42/1388.61 c 1389s| 500 | 25 | 3566k|6883.2 | 170M | 42 |5379 |5936 |5624 | 333 | 0 | 435 | 11 | 0.000000e+00 | -- | Inf | 25.03%
1686.79/1691.92 c 1692s| 600 | 23 | 4394k|7116.2 | 172M | 42 |5379 |5933 |5627 | 367 | 0 | 436 | 11 | 0.000000e+00 | -- | Inf | 25.03%
1831.04/1836.63 c 1837s| 700 | 25 | 4816k|6701.2 | 173M | 80 |5379 |5945 |5640 | 387 | 1 | 450 | 11 | 0.000000e+00 | -- | Inf | 25.03%
1928.73/1934.60 c 1935s| 800 | 25 | 5043k|6147.5 | 173M | 80 |5379 |5951 |5607 | 405 | 0 | 460 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2000.71/2006.89 c 2007s| 900 | 31 | 5241k|5683.5 | 174M | 80 |5379 |5919 |5611 | 435 | 1 | 466 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2055.53/2061.84 c 2062s| 1000 | 29 | 5404k|5278.1 | 176M | 80 |5379 |5911 |5611 | 466 | 0 | 467 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2134.38/2140.92 c 2141s| 1100 | 29 | 5617k|4991.4 | 179M | 80 |5379 |5912 |5611 | 508 | 0 | 479 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2217.62/2224.46 c 2224s| 1200 | 29 | 5850k|4769.0 | 182M | 80 |5379 |5929 |5635 | 546 | 0 | 509 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2474.52/2482.18 c 2482s| 1300 | 29 | 6551k|4941.6 | 183M | 80 |5379 |5964 | 0 | 575 | 0 | 552 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2554.46/2562.37 c 2562s| 1400 | 29 | 6774k|4747.6 | 188M | 80 |5379 |6032 |5620 | 641 | 1 | 630 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2629.52/2637.67 c 2638s| 1500 | 29 | 6972k|4563.5 | 191M | 80 |5379 |6025 |5612 | 714 | 1 | 687 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2715.25/2723.66 c 2724s| 1600 | 33 | 7220k|4433.0 | 196M | 80 |5379 |6037 |5619 | 768 | 0 | 719 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2785.23/2793.86 c 2794s| 1700 | 31 | 7428k|4294.5 | 203M | 80 |5379 |6061 |5618 | 834 | 0 | 769 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2848.73/2857.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2848.73/2857.53 c 2858s| 1800 | 35 | 7612k|4158.0 | 208M | 80 |5379 |6082 |5624 | 885 | 1 | 820 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2912.33/2921.36 c 2921s| 1900 | 33 | 7801k|4038.8 | 210M | 80 |5379 |6120 |5621 | 921 | 1 | 876 | 11 | 0.000000e+00 | -- | Inf | 25.03%
2976.03/2985.25 c 2985s| 2000 | 29 | 7990k|3931.1 | 212M | 80 |5379 |6143 |5621 | 951 | 0 | 947 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3057.78/3067.26 c 3067s| 2100 | 33 | 8218k|3852.3 | 213M | 80 |5379 |6065 | 0 |1004 | 0 | 993 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3124.17/3133.82 c 3134s| 2200 | 33 | 8402k|3760.8 | 215M | 80 |5379 |6086 |5613 |1058 | 0 |1063 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3180.49/3190.38 c 3190s| 2300 | 33 | 8560k|3666.1 | 215M | 80 |5379 |6105 |5618 |1093 | 0 |1093 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3234.42/3244.44 c 3244s| 2400 | 35 | 8716k|3578.2 | 216M | 80 |5379 |6157 |5629 |1135 | 1 |1165 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3310.93/3321.15 c 3321s| 2500 | 37 | 8932k|3521.5 | 217M | 80 |5379 |6115 |5608 |1200 | 0 |1195 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3445.38/3455.92 c 3456s| 2600 | 71 | 9314k|3533.1 | 218M | 80 |5379 |5976 |5601 |1289 | 1 |1230 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3509.52/3520.29 c 3520s| 2700 | 91 | 9485k|3465.6 | 220M | 80 |5379 |5948 |5603 |1344 | 0 |1284 | 11 | 0.000000e+00 | -- | Inf | 25.03%
3586.12/3597.01 c
3586.12/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.12/3597.01 c Solving Time (sec) : 3597.01
3586.12/3597.01 c Solving Nodes : 2784
3586.12/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.12/3597.01 c Dual Bound : +0.00000000000000e+00
3586.12/3597.01 c Gap : infinite
3586.12/3597.01 s UNKNOWN
3586.12/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.12/3597.01 c Total Time : 3597.01
3586.12/3597.01 c solving : 3597.01
3586.12/3597.01 c presolving : 6.66 (included in solving)
3586.12/3597.01 c reading : 0.02 (included in solving)
3586.12/3597.01 c copying : 0.96 (76 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.12/3597.01 c Original Problem :
3586.12/3597.01 c Problem name : HOME/instance-4507275-1751187285.opb
3586.12/3597.01 c Variables : 6120 (6120 binary, 0 integer, 0 continuous)
3586.12/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.12/3597.01 c Constraints : 6302 initial, 6302 maximal
3586.12/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.12/3597.01 c Presolved Problem :
3586.12/3597.01 c Problem name : t_HOME/instance-4507275-1751187285.opb
3586.12/3597.01 c Variables : 5379 (5379 binary, 0 integer, 0 continuous)
3586.12/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.12/3597.01 c Constraints : 5535 initial, 6159 maximal
3586.12/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.12/3597.01 c Nonzeros : 29590 constraint, 69212 clique table
3586.12/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.12/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c domcol : 0.09 0.00 10 0 0 0 0 0 0 0 0 9
3586.12/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c gateextraction : 0.02 0.00 11 0 0 0 0 0 1 0 0 0
3586.12/3597.01 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c milp : 0.07 0.00 1 92 1 0 0 0 0 0 0 0
3586.12/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c trivial : 0.00 0.00 30 284 0 0 0 0 0 0 0 0
3586.12/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c dualfix : 0.00 0.00 30 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c probing : 5.91 0.00 10 218 1 0 0 0 0 0 0 0
3586.12/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3586.12/3597.01 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c knapsack : 0.00 0.00 43 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c setppc : 0.05 0.00 43 0 0 0 0 0 68 0 0 0
3586.12/3597.01 c linear : 0.04 0.00 11 141 0 0 141 0 486 0 0 0
3586.12/3597.01 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c logicor : 0.29 0.00 43 64 0 0 0 0 215 0 0 428
3586.12/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c root node : - - - 28 - - 28 - - - - -
3586.12/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.12/3597.01 c integral : 0 0 0 0 1419 0 0 198 0 0 0 0 0 0 2838
3586.12/3597.01 c knapsack : 1+ 3 11 113273 0 0 22 194 1 0 4 0 0 0 0
3586.12/3597.01 c setppc : 1181+ 1199 11 114481 0 0 22 146 444023 174 91976 0 0 0 0
3586.12/3597.01 c linear : 0+ 231 11 18383 0 0 0 3 2121 2 750 6 2 0 0
3586.12/3597.01 c orbitope_pp : 3 3 0 21055 0 0 0 0 4936 0 602 0 0 0 0
3586.12/3597.01 c logicor : 4350+ 4778 11 83279 0 0 22 0 963445 74 123101 37 18 0 0
3586.12/3597.01 c fixedvar : 0 0 0 0 0 0 22 0 0 0 0 0 0 0 0
3586.12/3597.01 c countsols : 0 0 0 0 0 0 22 0 0 0 0 0 0 0 0
3586.12/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.12/3597.01 c integral : 6.13 0.00 0.00 0.00 6.13 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c knapsack : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c setppc : 1.11 0.00 0.00 0.97 0.00 0.01 0.00 0.00 0.10 0.03
3586.12/3597.01 c linear : 0.05 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.01
3586.12/3597.01 c orbitope_pp : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c logicor : 2.61 0.00 0.01 2.26 0.00 0.01 0.00 0.00 0.32 0.01
3586.12/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.12/3597.01 c dualfix : 1 0 0 0
3586.12/3597.01 c genvbounds : 0 0 0 0
3586.12/3597.01 c nlobbt : 0 0 0 0
3586.12/3597.01 c obbt : 0 0 0 0
3586.12/3597.01 c probing : 0 0 0 0
3586.12/3597.01 c pseudoobj : 0 0 0 0
3586.12/3597.01 c redcost : 0 0 0 0
3586.12/3597.01 c rootredcost : 0 0 0 0
3586.12/3597.01 c symmetry : 8625 0 0 119
3586.12/3597.01 c vbounds : 14944 0 0 0
3586.12/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.12/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c probing : 5.91 0.00 5.91 0.00 0.00 0.00
3586.12/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.12/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.12/3597.01 c symmetry : 0.08 0.00 0.02 0.06 0.00 0.00
3586.12/3597.01 c vbounds : 0.19 0.00 0.01 0.18 0.00 0.00
3586.12/3597.01 c Symmetry :
3586.12/3597.01 c #affected vars : 1132 (1132 bin, 0 int, 0 cont)
3586.12/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.12/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.12/3597.01 c lexicographic red: 119 reductions applied, 0 cutoffs
3586.12/3597.01 c shadow tree time : 0.01 s
3586.12/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.12/3597.01 c propagation : 0.03 241 94 - 962 158.6 9 5.4 - - -
3586.12/3597.01 c infeasible LP : 3.78 1295 597 - 9647 1219.1 6 20.0 5 130.6 0
3586.12/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.12/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.12/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.12/3597.01 c applied globally : 0.07 - - 0 1297 342.4 - - 5 - -
3586.12/3597.01 c applied locally : - - - 0 1 960.0 - - 0 - -
3586.12/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.12/3597.01 c cut pool : 0.08 - 432 21 - - 831 12088 - - - - - (maximal pool size: 528)
3586.12/3597.01 c aggregation : 0.07 0.00 61 11 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.12/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.12/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.12/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c clique : 0.33 0.00 11 11 0 0 84 2200 0 252 252 0 0
3586.12/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c gomory : 8.18 0.00 60 10 0 0 911 8768 334 526 509 17 0
3586.12/3597.01 c > gomorymi : - - - - - - - 4067 167 278 265 13 -
3586.12/3597.01 c > strongcg : - - - - - - - 4701 167 248 244 4 -
3586.12/3597.01 c impliedbounds : 0.08 0.00 61 11 0 0 92 414 0 200 200 0 0
3586.12/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c multilinear : 0.00 0.00 29 11 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c rapidlearning : 78.18 0.00 72 1 0 45912 0 0 0 0 0 0 760
3586.12/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.12/3597.01 c zerohalf : 4.04 0.00 61 11 0 0 213 706 135 409 300 109 0
3586.12/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.12/3597.01 c hybrid : 0.01 0.00 306 11 1441 0 9775 115 0 213
3586.12/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.12/3597.01 c problem variables: 0.00 - 0 0
3586.12/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.12/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c inference : 0.01 0.00 0 0 22 0 0 0 0 44
3586.12/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c relpscost : 6.13 0.00 1419 0 0 0 0 0 0 2838
3586.12/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.12/3597.01 c LP solutions : 0.00 - - 0 0
3586.12/3597.01 c relax solutions : 0.00 - - 0 0
3586.12/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.12/3597.01 c strong branching : 0.00 - - 0 0
3586.12/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c adaptivediving : 5.55 0.00 1 0 0
3586.12/3597.01 c alns : 11.61 0.00 4 0 0
3586.12/3597.01 c bound : 0.00 0.00 0 0 0
3586.12/3597.01 c clique : 0.03 0.00 1 0 0
3586.12/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c completesol : 0.00 0.00 0 0 0
3586.12/3597.01 c conflictdiving : 16.03 0.00 1 0 0
3586.12/3597.01 c crossover : 0.00 0.00 0 0 0
3586.12/3597.01 c dins : 0.00 0.00 0 0 0
3586.12/3597.01 c distributiondivin: 0.24 0.00 0 0 0
3586.12/3597.01 c dks : 0.00 0.00 0 0 0
3586.12/3597.01 c dps : 0.00 0.00 0 0 0
3586.12/3597.01 c dualval : 0.00 0.00 0 0 0
3586.12/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c feaspump : 31.76 0.00 1 0 0
3586.12/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.12/3597.01 c fracdiving : 2.17 0.00 1 0 0
3586.12/3597.01 c gins : 0.00 0.00 0 0 0
3586.12/3597.01 c guideddiving : 0.00 0.00 0 0 0
3586.12/3597.01 c indicator : 0.00 0.00 0 0 0
3586.12/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.12/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.12/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.12/3597.01 c locks : 0.02 0.00 1 0 0
3586.12/3597.01 c lpface : 0.01 0.00 0 0 0
3586.12/3597.01 c mpec : 0.00 0.00 0 0 0
3586.12/3597.01 c multistart : 0.00 0.00 0 0 0
3586.12/3597.01 c mutation : 0.00 0.00 0 0 0
3586.12/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3586.12/3597.01 c octane : 0.00 0.00 0 0 0
3586.12/3597.01 c ofins : 0.00 0.00 0 0 0
3586.12/3597.01 c oneopt : 0.00 0.00 0 0 0
3586.12/3597.01 c padm : 0.00 0.00 0 0 0
3586.12/3597.01 c proximity : 0.00 0.00 0 0 0
3586.12/3597.01 c pscostdiving : 4.76 0.00 1 0 0
3586.12/3597.01 c randrounding : 0.14 0.00 203 0 0
3586.12/3597.01 c rens : 0.12 0.00 1 0 0
3586.12/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.12/3597.01 c repair : 0.00 0.00 0 0 0
3586.12/3597.01 c rins : 0.00 0.00 0 0 0
3586.12/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3586.12/3597.01 c rounding : 0.12 0.00 535 0 0
3586.12/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.12/3597.01 c shiftandpropagate: 0.01 0.00 1 0 0
3586.12/3597.01 c shifting : 0.40 0.00 245 0 0
3586.12/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.12/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.12/3597.01 c trivial : 0.00 0.00 2 0 0
3586.12/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.12/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.12/3597.01 c trysol : 0.00 0.00 0 0 0
3586.12/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.12/3597.01 c undercover : 0.00 0.00 0 0 0
3586.12/3597.01 c vbounds : 0.05 0.00 1 0 0
3586.12/3597.01 c veclendiving : 15.07 0.00 1 0 0
3586.12/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.12/3597.01 c zirounding : 0.07 0.00 1000 0 0
3586.12/3597.01 c other solutions : - - - 0 -
3586.12/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.12/3597.01 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.12/3597.01 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.12/3597.01 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.12/3597.01 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.12/3597.01 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.12/3597.01 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.12/3597.01 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.12/3597.01 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.12/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.12/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.12/3597.01 c primal LP : 145.06 158 409153 22730.72 2820.57 0.77 140
3586.12/3597.01 c dual LP : 3251.58 3681 9118227 2749.77 2804.25 1.77 365
3586.12/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.12/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.12/3597.01 c resolve instable : 699.86 109 2031379 18636.50 2902.56
3586.12/3597.01 c diving/probing LP: 76.14 29 166730 5749.31 2189.76
3586.12/3597.01 c strong branching : 4.75 11 9207 837.00 1937.37 - - 13
3586.12/3597.01 c (at root node) : - 11 9207 837.00 -
3586.12/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.12/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.12/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3586.12/3597.01 c B&B Tree :
3586.12/3597.01 c number of runs : 1
3586.12/3597.01 c nodes : 2784 (1441 internal, 1343 leaves)
3586.12/3597.01 c feasible leaves : 0
3586.12/3597.01 c infeas. leaves : 1343
3586.12/3597.01 c objective leaves : 0
3586.12/3597.01 c nodes (total) : 2784 (1441 internal, 1343 leaves)
3586.12/3597.01 c nodes left : 97
3586.12/3597.01 c max depth : 80
3586.12/3597.01 c max depth (total): 80
3586.12/3597.01 c backtracks : 314 (11.3%)
3586.12/3597.01 c early backtracks : 0 (0.0%)
3586.12/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.12/3597.01 c delayed cutoffs : 2
3586.12/3597.01 c repropagations : 1600 (5641 domain reductions, 2 cutoffs)
3586.12/3597.01 c avg switch length: 3.27
3586.12/3597.01 c switching time : 1.39
3586.12/3597.01 c Root Node :
3586.12/3597.01 c First LP value : +0.00000000000000e+00
3586.12/3597.01 c First LP Iters : 10847 (3010.93 Iter/sec)
3586.12/3597.01 c First LP Time : 3.60
3586.12/3597.01 c Final Dual Bound : +0.00000000000000e+00
3586.12/3597.01 c Final Root Iters : 132151
3586.12/3597.01 c Root LP Estimate : +1.32758443582667e-02
3586.12/3597.01 c Solution :
3586.12/3597.01 c Solutions found : 0 (0 improvements)
3586.12/3597.01 c Primal Bound : -
3586.12/3597.01 c Dual Bound : +0.00000000000000e+00
3586.12/3597.01 c Gap : infinite
3586.12/3597.01 c Integrals : Total Avg%
3586.12/3597.01 c primal-dual : 359700.70 100.00
3586.12/3597.01 c primal-ref : - - (not evaluated)
3586.12/3597.01 c dual-ref : - - (not evaluated)
3586.12/3597.05 c Time complete (sec): 3586.178
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 (62928 MiB free)
memory of node 1: 64465 MiB (63377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507275-1751187285/watcher-4507275-1751187285 -o /tmp/evaluation-result-4507275-1751187285/solver-4507275-1751187285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22782 --watchdog 3760 pbsolver -f HOME/instance-4507275-1751187285.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23155, runsolver pid=23152
[startup+0.100061 s]*
/proc/loadavg: 4.01 4.07 4.08 4/262 23156
/proc/meminfo: memFree=129799236/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=56496 memory=46688 CPUtime=0.09 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 10324 0 0 0 8 1 0 0 20 0 1 0 34351049 57851904 11672 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 14124 11672 2496 2575 0 11031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56496 KiB
Current children cumulated memory: 46688 KiB
[startup+0.20549 s]*
/proc/loadavg: 4.01 4.07 4.08 4/262 23160
/proc/meminfo: memFree=129797232/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=61976 memory=52456 CPUtime=0.19 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 12235 0 0 0 17 2 0 0 20 0 1 0 34351049 63463424 13114 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 15494 13114 2592 2575 0 12401 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61976 KiB
Current children cumulated memory: 52456 KiB
[startup+0.30629 s]*
/proc/loadavg: 4.01 4.07 4.08 4/260 23164
/proc/meminfo: memFree=129754776/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=80848 memory=69096 CPUtime=0.3 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 16438 0 0 0 27 3 0 0 20 0 1 0 34351049 82788352 17274 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 20212 17274 2624 2575 0 17119 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80848 KiB
Current children cumulated memory: 69096 KiB
[startup+0.700192 s]
/proc/loadavg: 4.01 4.07 4.08 4/260 23164
/proc/meminfo: memFree=129746896/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=83068 memory=71272 CPUtime=0.67 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 16997 0 0 0 64 3 0 0 20 0 1 0 34351049 85061632 17818 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 20767 17818 2624 2575 0 17674 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 83068 KiB
Current children cumulated memory: 71272 KiB
[startup+1.5002 s]
/proc/loadavg: 4.01 4.07 4.08 4/259 23187
/proc/meminfo: memFree=129709220/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=84092 memory=72296 CPUtime=1.46 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 17253 0 0 0 142 4 0 0 20 0 1 0 34351049 86110208 18074 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 21023 18074 2624 2575 0 17930 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 84092 KiB
Current children cumulated memory: 72296 KiB
[startup+3.1055 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129609864/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=84092 memory=73192 CPUtime=3.06 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 17465 0 0 0 302 4 0 0 20 0 1 0 34351049 86110208 18298 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 21023 18298 2624 2575 0 17930 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 84092 KiB
Current children cumulated memory: 73192 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129610000/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=85320 memory=74344 CPUtime=6.25 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 17748 0 0 0 620 5 0 0 20 0 1 0 34351049 87367680 18586 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 21330 18586 2624 2575 0 18237 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 85320 KiB
Current children cumulated memory: 74344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129485352/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=150816 memory=121448 CPUtime=12.63 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 29527 0 0 0 1256 7 0 0 20 0 1 0 34351049 154435584 30362 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 37704 30362 2688 2575 0 34611 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 150816 KiB
Current children cumulated memory: 121448 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 23201
/proc/meminfo: memFree=129313592/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=151360 memory=122216 CPUtime=25.4 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 29727 0 0 0 2533 7 0 0 20 0 1 0 34351049 154992640 30554 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 37840 30554 2688 2575 0 34747 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 151360 KiB
Current children cumulated memory: 122216 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23202
/proc/meminfo: memFree=128930536/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=255640 memory=223824 CPUtime=50.94 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 54779 0 0 0 5081 13 0 0 20 0 1 0 34351049 261775360 55956 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 63910 55956 2688 2575 0 60817 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 255640 KiB
Current children cumulated memory: 223824 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 23204
/proc/meminfo: memFree=128912364/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=255640 memory=225872 CPUtime=101.99 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55292 0 0 0 10186 13 0 0 20 0 1 0 34351049 261775360 56468 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 63910 56468 2688 2575 0 60817 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 255640 KiB
Current children cumulated memory: 225872 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23206
/proc/meminfo: memFree=128881568/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=256600 memory=227408 CPUtime=161.83 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55669 0 0 0 16170 13 0 0 20 0 1 0 34351049 262758400 56852 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 64150 56852 2688 2575 0 61057 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 256600 KiB
Current children cumulated memory: 227408 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 23208
/proc/meminfo: memFree=128684052/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=256600 memory=227408 CPUtime=221.68 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55669 0 0 0 22155 13 0 0 20 0 1 0 34351049 262758400 56852 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 64150 56852 2688 2575 0 61057 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 256600 KiB
Current children cumulated memory: 227408 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 23210
/proc/meminfo: memFree=128655916/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=256600 memory=228560 CPUtime=281.52 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55687 0 0 0 28139 13 0 0 20 0 1 0 34351049 262758400 57140 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 64150 57140 2976 2575 0 61057 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 256600 KiB
Current children cumulated memory: 228560 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 23212
/proc/meminfo: memFree=128624768/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=256600 memory=228560 CPUtime=341.37 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55687 0 0 0 34124 13 0 0 20 0 1 0 34351049 262758400 57140 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 64150 57140 2976 2575 0 61057 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 256600 KiB
Current children cumulated memory: 228560 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 23227
/proc/meminfo: memFree=128606012/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=256600 memory=228560 CPUtime=401.18 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55687 0 0 0 40105 13 0 0 20 0 1 0 34351049 262758400 57140 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 64150 57140 2976 2575 0 61057 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 256600 KiB
Current children cumulated memory: 228560 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 23229
/proc/meminfo: memFree=128557724/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=256600 memory=228560 CPUtime=460.99 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 55687 0 0 0 46086 13 0 0 20 0 1 0 34351049 262758400 57140 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 64150 57140 2976 2575 0 61057 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.09 5/266 23377
/proc/meminfo: memFree=128267344/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=281516 memory=272808 CPUtime=3152.57 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 122073 0 0 0 315229 28 0 0 20 0 1 0 34351049 288272384 68202 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 70379 68202 2976 2575 0 67286 0
Current children cumulated CPU time: 3152.57 s
Current children cumulated vsize: 281516 KiB
Current children cumulated memory: 272808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 23379
/proc/meminfo: memFree=128266484/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=281516 memory=272808 CPUtime=3212.39 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 122073 0 0 0 321211 28 0 0 20 0 1 0 34351049 288272384 68202 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 70379 68202 2976 2575 0 67286 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 281516 KiB
Current children cumulated memory: 272808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23383
/proc/meminfo: memFree=128245192/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=283228 memory=274520 CPUtime=3272.22 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 126696 0 0 0 327193 29 0 0 20 0 1 0 34351049 290025472 68630 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 70807 68630 2976 2575 0 67714 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 283228 KiB
Current children cumulated memory: 274520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 23385
/proc/meminfo: memFree=128244912/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=283220 memory=274512 CPUtime=3332.07 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 133993 0 0 0 333176 31 0 0 20 0 1 0 34351049 290017280 68628 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 70805 68628 2976 2575 0 67712 0
Current children cumulated CPU time: 3332.07 s
Current children cumulated vsize: 283220 KiB
Current children cumulated memory: 274512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 23391
/proc/meminfo: memFree=128245536/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=283408 memory=274700 CPUtime=3391.91 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 136645 0 0 0 339160 31 0 0 20 0 1 0 34351049 290209792 68675 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 70852 68675 2976 2575 0 67759 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 283408 KiB
Current children cumulated memory: 274700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 23393
/proc/meminfo: memFree=128219556/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=287792 memory=279084 CPUtime=3451.76 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 145628 0 0 0 345142 34 0 0 20 0 1 0 34351049 294699008 69771 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 71948 69771 2976 2575 0 68855 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 287792 KiB
Current children cumulated memory: 279084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 23400
/proc/meminfo: memFree=128245604/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=287792 memory=279084 CPUtime=3511.61 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 150675 0 0 0 351126 35 0 0 20 0 1 0 34351049 294699008 69771 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 71948 69771 2976 2575 0 68855 0
Current children cumulated CPU time: 3511.61 s
Current children cumulated vsize: 287792 KiB
Current children cumulated memory: 279084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245264/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3571.45 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153929 0 0 0 357109 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3597.05 s]
# the end of solver process 23155 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.81 s, system=0.368975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3573.15 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153929 0 0 0 357279 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3579.53 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153929 0 0 0 357917 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3579.53 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3582.72 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153929 0 0 0 358236 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3582.72 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3584.32 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153930 0 0 0 358396 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3585.12 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153930 0 0 0 358476 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3585.12 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3585.92 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153930 0 0 0 358556 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23155] ppid=23152 vsize=289396 memory=280668 CPUtime=3586.12 cores=4,6
/proc/23155/stat : 23155 (pbsolver) R 23152 23155 22771 0 -1 4194304 153930 0 0 0 358576 36 0 0 20 0 1 0 34351049 296341504 70167 18446744073709551615 4198400 14743177 140734667468800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24248320 140734667475338 140734667475434 140734667475434 140734667481036 0
/proc/23155/statm: 72349 70167 2976 2575 0 69256 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 289396 KiB
Current children cumulated memory: 280668 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3586.18
CPU user time (s): 3585.81
CPU system time (s): 0.368975
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 301464
Max. memory (cumulated for all children) (KiB): 292512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.81
system time used= 0.368975
maximum resident set size= 292512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153947
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= 45
involuntary context switches= 2874
# summary of solver processes directly reported to runsolver:
# pid: 23155
# total CPU time (s): 3586.18
# total CPU user time (s): 3585.81
# total CPU system time (s): 0.368975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31723 second user time and 13.371 second system time
The end
Begin job on nodeC028 at 2025-06-29 10:54:45 IDJOB=4507275 IDBENCH=158339 IDSOLVER=3366 FILE ID=nodeC028/4507275-1751187285 RUNJOBID= nodeC028-1751183686-22782 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_K90.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507275-1751187285/watcher-4507275-1751187285 -o /tmp/evaluation-result-4507275-1751187285/solver-4507275-1751187285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22782 --watchdog 3760 pbsolver -f HOME/instance-4507275-1751187285.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418 RANDOM SEED=767391425 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 : 3600.058 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.074 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 : 3599.937 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.958 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.093 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.101 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 : 3598.114 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 : 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129317092 kB MemAvailable: 129032236 kB Buffers: 3280 kB Cached: 525848 kB SwapCached: 0 kB Active: 1106240 kB Inactive: 269476 kB Active(anon): 864660 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 269476 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48084 kB Writeback: 12 kB AnonPages: 848464 kB Mapped: 134264 kB Shmem: 18068 kB KReclaimable: 86652 kB Slab: 169708 kB SReclaimable: 86652 kB SUnreclaim: 83056 kB KernelStack: 4240 kB PageTables: 4356 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1227000 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 540672 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= 433000 MiB End job on nodeC028 at 2025-06-29 11:54:43