| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3588.23 | 3597.08 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb |
| MD5SUM | 7361f1d7a542e71300a3f7026fcde645 |
| 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 | 2.52945 |
| 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 | 7140 |
| Total number of constraints | 7352 |
| Number of constraints which are clauses | 7247 |
| Number of constraints which are cardinality constraints (but not clauses) | 105 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 105 |
| 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 | 106 |
| 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-4507563-1751191306.opb>
0.00/0.02 c original problem has 7140 variables (7140 bin, 0 int, 0 cont) and 7352 constraints
0.00/0.02 c problem read in 0.023 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.06 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, 1429 clqs
0.00/0.06 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, 1416 clqs
0.00/0.06 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, 1421 clqs
0.00/0.06 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, 1447 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, 1462 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.15 c (0.2s) MILP presolver (4 rounds): 1 aggregations, 103 fixings, 0 bound changes
0.09/0.15 c (round 6, medium) 687 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1461 clqs
0.09/0.16 c (round 7, fast) 687 del vars, 410 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1463 clqs
0.09/0.16 c (round 8, exhaustive) 687 del vars, 512 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1463 clqs
0.09/0.19 c (round 9, exhaustive) 687 del vars, 512 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6840 upgd conss, 0 impls, 1463 clqs
0.18/0.23 c (round 10, exhaustive) 749 del vars, 512 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6840 upgd conss, 0 impls, 1451 clqs
0.18/0.23 c (round 11, fast) 811 del vars, 574 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6840 upgd conss, 0 impls, 1451 clqs
1.06/1.11 c (round 12, exhaustive) 837 del vars, 575 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6840 upgd conss, 0 impls, 42136 clqs
1.06/1.11 c (round 13, fast) 838 del vars, 601 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 119 chg coeffs, 6840 upgd conss, 0 impls, 42152 clqs
1.45/1.51 c (round 14, exhaustive) 863 del vars, 601 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 120 chg coeffs, 6840 upgd conss, 0 impls, 42614 clqs
1.45/1.52 c (round 15, fast) 863 del vars, 626 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 168 chg coeffs, 6840 upgd conss, 0 impls, 42619 clqs
1.65/1.73 c (round 16, exhaustive) 888 del vars, 626 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 168 chg coeffs, 6840 upgd conss, 0 impls, 42626 clqs
1.65/1.74 c (round 17, fast) 888 del vars, 651 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 210 chg coeffs, 6840 upgd conss, 0 impls, 42633 clqs
2.05/2.13 c (round 18, exhaustive) 913 del vars, 651 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 210 chg coeffs, 6840 upgd conss, 0 impls, 42632 clqs
2.05/2.13 c (round 19, fast) 913 del vars, 676 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 259 chg coeffs, 6840 upgd conss, 0 impls, 42635 clqs
2.05/2.19 c (round 20, exhaustive) 940 del vars, 676 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 259 chg coeffs, 6840 upgd conss, 0 impls, 42526 clqs
2.05/2.19 c (round 21, fast) 942 del vars, 703 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 289 chg coeffs, 6840 upgd conss, 0 impls, 42527 clqs
2.24/2.38 c (2.4s) probing: 1000/6612 (15.1%) - 145 fixings, 1 aggregations, 661426 implications, 0 bound changes
3.74/3.80 c (3.8s) probing: 2000/6612 (30.2%) - 148 fixings, 1 aggregations, 1242105 implications, 0 bound changes
3.74/3.81 c (round 22, exhaustive) 967 del vars, 703 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 289 chg coeffs, 6840 upgd conss, 0 impls, 42644 clqs
3.74/3.81 c (round 23, fast) 967 del vars, 728 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 315 chg coeffs, 6840 upgd conss, 0 impls, 42644 clqs
3.74/3.87 c (round 24, exhaustive) 992 del vars, 728 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 315 chg coeffs, 6840 upgd conss, 0 impls, 42579 clqs
3.74/3.87 c (round 25, fast) 992 del vars, 753 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 340 chg coeffs, 6840 upgd conss, 0 impls, 42579 clqs
4.94/5.06 c (5.1s) probing: 3000/6612 (45.4%) - 188 fixings, 1 aggregations, 1675368 implications, 0 bound changes
5.53/5.68 c (round 26, exhaustive) 1017 del vars, 753 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 340 chg coeffs, 6840 upgd conss, 0 impls, 42628 clqs
5.53/5.68 c (round 27, fast) 1017 del vars, 778 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 385 chg coeffs, 6840 upgd conss, 0 impls, 42633 clqs
6.03/6.18 c (6.2s) probing: 4000/6612 (60.5%) - 218 fixings, 1 aggregations, 2089009 implications, 0 bound changes
6.93/7.00 c (7.0s) probing: 4817/6612 (72.9%) - 218 fixings, 1 aggregations, 2440727 implications, 0 bound changes
6.93/7.00 c (7.0s) probing aborted: 1000/1000 successive useless probings
6.93/7.00 c (round 28, exhaustive) 1036 del vars, 778 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 385 chg coeffs, 6840 upgd conss, 0 impls, 42691 clqs
6.93/7.00 c (round 29, fast) 1036 del vars, 797 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 413 chg coeffs, 6840 upgd conss, 0 impls, 42691 clqs
7.03/7.14 c (7.1s) probing: 4917/6612 (74.4%) - 218 fixings, 1 aggregations, 2478066 implications, 0 bound changes
7.03/7.14 c (7.1s) probing aborted: 1000/1000 successive useless probings
7.03/7.15 c (7.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.03/7.17 c (7.2s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.01)
7.03/7.18 c dynamic symmetry handling statistics:
7.03/7.18 c orbitopal reduction: no components
7.03/7.18 c orbital reduction: no components
7.03/7.18 c lexicographic reduction: 4 permutations with support sizes 198, 392, 198, 182
7.03/7.18 c handled 5 out of 5 symmetry components
7.03/7.19 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
7.03/7.19 c 1039 deleted vars, 797 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 413 changed coefficients
7.03/7.19 c 0 implications, 42759 cliques
7.03/7.19 c presolved problem has 6387 variables (6387 bin, 0 int, 0 cont) and 6558 constraints
7.03/7.19 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
7.03/7.19 c 1 constraints of type <knapsack>
7.03/7.19 c 1394 constraints of type <setppc>
7.03/7.19 c 3 constraints of type <orbitope_pp>
7.03/7.19 c 5160 constraints of type <logicor>
7.03/7.19 c transformed objective value is always integral (scale: 1)
7.03/7.19 c Presolving Time: 7.15
7.03/7.19 c
7.03/7.19 c - non default parameters ----------------------------------------------------------------------
7.03/7.19 c
7.03/7.19 c # SCIP version 10.0.0
7.03/7.19 c
7.03/7.19 c # maximal time in seconds to run
7.03/7.19 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.03/7.19 c limits/time = 3596.999025
7.03/7.19 c
7.03/7.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.03/7.19 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.03/7.19 c limits/memory = 27900
7.03/7.19 c
7.03/7.19 c # belongs reading time to solving time?
7.03/7.19 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.03/7.19 c timing/reading = TRUE
7.03/7.19 c
7.03/7.19 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
7.03/7.19 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
7.03/7.19 c reading/opbreader/maxintsize = 47
7.03/7.19 c
7.03/7.19 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
7.03/7.19 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
7.03/7.19 c propagating/genvbounds/timingmask = 0
7.03/7.19 c
7.03/7.19 c -----------------------------------------------------------------------------------------------
7.03/7.19 c
11.52/11.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.52/11.66 c 11.7s| 1 | 0 | 11377 | - | 135M | 0 |6387 |6658 |6552 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
51.12/51.36 c 51.4s| 1 | 0 | 71026 | - | 145M | 0 |6387 |6856 |6565 | 13 | 1 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
53.31/53.50 c 53.5s| 1 | 0 | 74529 | - | 148M | 0 |6387 |6858 |6577 | 25 | 2 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
55.71/55.95 c 55.9s| 1 | 0 | 78526 | - | 150M | 0 |6387 |6863 |6587 | 35 | 3 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
58.80/59.00 c 59.0s| 1 | 0 | 83524 | - | 156M | 0 |6387 |6864 |6598 | 46 | 4 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
63.29/63.54 c 63.5s| 1 | 0 | 91335 | - | 158M | 0 |6387 |6864 |6610 | 58 | 5 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
69.67/69.97 c 70.0s| 1 | 0 |101676 | - | 160M | 0 |6387 |6867 |6623 | 71 | 6 | 128 | 0 | 0.000000e+00 | -- | Inf | unknown
75.86/76.12 c 76.1s| 1 | 0 |111443 | - | 161M | 0 |6387 |6864 |6638 | 86 | 7 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
82.34/82.65 c 82.7s| 1 | 0 |121760 | - | 161M | 0 |6387 |6858 |6651 | 99 | 8 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
89.52/89.80 c 89.8s| 1 | 0 |131993 | - | 162M | 0 |6387 |6860 |6664 | 112 | 9 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
94.61/94.98 c 95.0s| 1 | 0 |139451 | - | 163M | 0 |6387 |6860 |6670 | 118 | 10 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
100.70/101.01 c 101s| 1 | 0 |149700 | - | 165M | 0 |6387 |6864 |6681 | 129 | 11 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
135.61/136.05 c 136s| 1 | 2 |188248 | - | 166M | 0 |6387 |6882 |6681 | 129 | 11 | 168 | 10 | 0.000000e+00 | -- | Inf | unknown
1109.58/1112.30 c 1112s| 100 | 73 | 1844k|17116.5 | 197M | 22 |6387 |7223 | 0 | 291 | 0 | 771 | 10 | 0.000000e+00 | -- | Inf | unknown
1529.97/1533.74 c 1534s| 200 | 143 | 2693k|12781.1 | 213M | 35 |6387 |7238 |6646 | 511 | 1 | 944 | 10 | 0.000000e+00 | -- | Inf | unknown
1557.21/1561.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1557.21/1561.02 c 1561s| 300 | 144 | 2781k|8802.9 | 221M | 40 |6387 |7283 |6650 | 556 | 1 |1002 | 10 | 0.000000e+00 | -- | Inf | unknown
1582.94/1586.88 c 1587s| 400 | 142 | 2866k|6808.5 | 227M | 40 |6387 |7302 |6652 | 594 | 3 |1072 | 10 | 0.000000e+00 | -- | Inf | unknown
1641.79/1645.89 c 1646s| 500 | 151 | 3039k|5791.7 | 240M | 50 |6387 |7265 |6652 | 655 | 1 |1119 | 10 | 0.000000e+00 | -- | Inf | unknown
1668.82/1672.90 c 1673s| 600 | 147 | 3131k|4978.6 | 247M | 51 |6387 |7236 |6661 | 689 | 0 |1158 | 10 | 0.000000e+00 | -- | Inf | unknown
1710.72/1714.97 c 1715s| 700 | 162 | 3262k|4452.6 | 251M | 51 |6387 |7228 |6649 | 752 | 0 |1188 | 10 | 0.000000e+00 | -- | Inf | unknown
1734.26/1738.56 c 1739s| 800 | 161 | 3342k|3996.0 | 260M | 51 |6387 |7235 |6651 | 773 | 0 |1222 | 10 | 0.000000e+00 | -- | Inf | unknown
1758.30/1762.67 c 1763s| 900 | 169 | 3422k|3640.3 | 263M | 51 |6387 |7252 |6650 | 812 | 1 |1259 | 10 | 0.000000e+00 | -- | Inf | unknown
1783.14/1787.51 c 1788s| 1000 | 166 | 3503k|3357.2 | 269M | 51 |6387 |7250 |6657 | 888 | 0 |1290 | 10 | 0.000000e+00 | -- | Inf | unknown
1807.88/1812.30 c 1812s| 1100 | 168 | 3582k|3123.2 | 276M | 51 |6387 |7274 |6659 | 972 | 1 |1336 | 10 | 0.000000e+00 | -- | Inf | unknown
1833.62/1838.15 c 1838s| 1200 | 168 | 3664k|2931.5 | 281M | 51 |6387 |7309 |6675 |1056 | 1 |1376 | 10 | 0.000000e+00 | -- | Inf | unknown
1857.56/1862.12 c 1862s| 1300 | 160 | 3740k|2764.5 | 286M | 51 |6387 |7298 |6661 |1138 | 0 |1408 | 10 | 0.000000e+00 | -- | Inf | unknown
1881.69/1886.34 c 1886s| 1400 | 162 | 3819k|2623.4 | 288M | 51 |6387 |7307 |6659 |1196 | 1 |1447 | 10 | 0.000000e+00 | -- | Inf | unknown
1916.02/1920.77 c 1921s| 1500 | 164 | 3929k|2521.8 | 290M | 51 |6387 |7283 |6667 |1352 | 1 |1458 | 10 | 0.000000e+00 | -- | Inf | unknown
1942.75/1947.56 c 1948s| 1600 | 162 | 4014k|2417.2 | 292M | 51 |6387 |7282 |6664 |1460 | 1 |1474 | 10 | 0.000000e+00 | -- | Inf | unknown
1973.37/1978.29 c 1978s| 1700 | 160 | 4111k|2331.9 | 296M | 51 |6387 |7296 |6662 |1579 | 1 |1500 | 10 | 0.000000e+00 | -- | Inf | unknown
2002.50/2007.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2002.50/2007.46 c 2007s| 1800 | 160 | 4204k|2254.2 | 300M | 51 |6387 |7255 |6663 |1708 | 1 |1521 | 10 | 0.000000e+00 | -- | Inf | unknown
2029.23/2034.26 c 2034s| 1900 | 162 | 4292k|2181.3 | 302M | 51 |6387 |7252 |6647 |1920 | 1 |1546 | 10 | 0.000000e+00 | -- | Inf | unknown
2056.47/2061.51 c 2062s| 2000 | 164 | 4379k|2115.7 | 303M | 51 |6387 |7252 |6681 |2000 | 0 |1554 | 10 | 0.000000e+00 | -- | Inf | unknown
2080.71/2085.81 c 2086s| 2100 | 162 | 4457k|2052.2 | 303M | 51 |6387 |7259 |6681 |2151 | 1 |1565 | 10 | 0.000000e+00 | -- | Inf | unknown
2109.53/2114.76 c 2115s| 2200 | 158 | 4549k|2000.9 | 306M | 51 |6387 |7265 |6683 |2334 | 1 |1581 | 10 | 0.000000e+00 | -- | Inf | unknown
2136.77/2142.08 c 2142s| 2300 | 160 | 4636k|1951.6 | 307M | 51 |6387 |7263 |6680 |2418 | 0 |1586 | 10 | 0.000000e+00 | -- | Inf | unknown
2161.11/2166.45 c 2166s| 2400 | 160 | 4714k|1902.8 | 307M | 51 |6387 |7266 |6675 |2455 | 0 |1594 | 10 | 0.000000e+00 | -- | Inf | unknown
2185.54/2190.99 c 2191s| 2500 | 162 | 4792k|1857.8 | 308M | 51 |6387 |7277 |6680 |2552 | 1 |1623 | 10 | 0.000000e+00 | -- | Inf | unknown
2214.77/2220.26 c 2220s| 2600 | 158 | 4885k|1822.3 | 308M | 51 |6387 |7287 |6658 |2644 | 1 |1640 | 10 | 0.000000e+00 | -- | Inf | unknown
2243.31/2248.89 c 2249s| 2700 | 158 | 4974k|1787.6 | 312M | 51 |6387 |7294 |6679 |2780 | 1 |1661 | 10 | 0.000000e+00 | -- | Inf | unknown
2271.93/2277.52 c 2278s| 2800 | 156 | 5064k|1755.8 | 314M | 51 |6387 |7300 |6683 |2912 | 1 |1670 | 10 | 0.000000e+00 | -- | Inf | unknown
2300.75/2306.44 c 2306s| 2900 | 168 | 5151k|1725.3 | 314M | 51 |6387 |7262 |6661 |3007 | 1 |1699 | 10 | 0.000000e+00 | -- | Inf | unknown
2316.42/2322.13 c 2322s| 3000 | 164 | 5201k|1684.6 | 314M | 51 |6387 |7255 |6669 |3058 | 0 |1711 | 10 | 0.000000e+00 | -- | Inf | unknown
2333.58/2339.34 c 2339s| 3100 | 164 | 5260k|1649.3 | 315M | 51 |6387 |7264 |6667 |3122 | 1 |1726 | 10 | 0.000000e+00 | -- | Inf | unknown
2350.93/2356.72 c 2357s| 3200 | 164 | 5317k|1615.5 | 316M | 51 |6387 |7290 |6676 |3158 | 1 |1762 | 10 | 0.000000e+00 | -- | Inf | unknown
2366.30/2372.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2366.30/2372.12 c 2372s| 3300 | 168 | 5368k|1582.0 | 316M | 51 |6387 |7294 |6672 |3207 | 0 |1769 | 10 | 0.000000e+00 | -- | Inf | unknown
2380.46/2386.31 c 2386s| 3400 | 178 | 5416k|1549.4 | 317M | 51 |6387 |7296 |6675 |3238 | 1 |1794 | 10 | 0.000000e+00 | -- | Inf | unknown
2391.33/2397.23 c 2397s| 3500 | 178 | 5456k|1516.7 | 321M | 51 |6387 |7282 |6674 |3298 | 0 |1804 | 10 | 0.000000e+00 | -- | Inf | unknown
2403.10/2409.06 c 2409s| 3600 | 176 | 5496k|1485.6 | 321M | 51 |6387 |7312 |6674 |3326 | 0 |1851 | 10 | 0.000000e+00 | -- | Inf | unknown
2414.87/2420.85 c 2421s| 3700 | 170 | 5539k|1457.1 | 322M | 51 |6387 |7337 |6671 |3346 | 0 |1893 | 10 | 0.000000e+00 | -- | Inf | unknown
2427.14/2433.15 c 2433s| 3800 | 168 | 5582k|1430.2 | 323M | 51 |6387 |7350 |6677 |3388 | 0 |1918 | 10 | 0.000000e+00 | -- | Inf | unknown
2445.59/2451.69 c 2452s| 3900 | 166 | 5646k|1409.7 | 324M | 51 |6387 |7367 |6681 |3437 | 2 |1950 | 10 | 0.000000e+00 | -- | Inf | unknown
2464.84/2470.93 c 2471s| 4000 | 164 | 5711k|1390.7 | 324M | 51 |6387 |7371 |6677 |3477 | 0 |1967 | 10 | 0.000000e+00 | -- | Inf | unknown
2483.10/2489.24 c 2489s| 4100 | 168 | 5773k|1372.0 | 327M | 51 |6387 |7379 |6677 |3536 | 1 |1999 | 10 | 0.000000e+00 | -- | Inf | unknown
2502.15/2508.32 c 2508s| 4200 | 164 | 5837k|1354.6 | 328M | 51 |6387 |7365 |6680 |3629 | 0 |2024 | 10 | 0.000000e+00 | -- | Inf | unknown
2524.20/2530.48 c 2530s| 4300 | 164 | 5912k|1340.4 | 328M | 51 |6387 |7414 |6676 |3739 | 1 |2102 | 10 | 0.000000e+00 | -- | Inf | unknown
2542.35/2548.69 c 2549s| 4400 | 162 | 5973k|1323.9 | 329M | 51 |6387 |7400 |6687 |3823 | 2 |2130 | 10 | 0.000000e+00 | -- | Inf | unknown
2564.20/2570.59 c 2571s| 4500 | 166 | 6045k|1310.5 | 330M | 51 |6387 |7425 |6680 |3854 | 1 |2171 | 10 | 0.000000e+00 | -- | Inf | unknown
2586.04/2592.49 c 2592s| 4600 | 166 | 6119k|1298.0 | 331M | 51 |6387 |7412 |6687 |3933 | 1 |2215 | 10 | 0.000000e+00 | -- | Inf | unknown
2606.60/2613.08 c 2613s| 4700 | 162 | 6187k|1285.0 | 332M | 51 |6387 |7398 |6682 |4041 | 1 |2247 | 10 | 0.000000e+00 | -- | Inf | unknown
2627.64/2634.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2627.64/2634.15 c 2634s| 4800 | 164 | 6257k|1272.7 | 332M | 51 |6387 |7392 |6681 |4155 | 0 |2290 | 10 | 0.000000e+00 | -- | Inf | unknown
2648.29/2654.88 c 2655s| 4900 | 166 | 6326k|1260.8 | 333M | 51 |6387 |7415 |6683 |4268 | 1 |2352 | 10 | 0.000000e+00 | -- | Inf | unknown
2672.33/2678.98 c 2679s| 5000 | 164 | 6403k|1251.1 | 334M | 51 |6387 |7403 |6683 |4357 | 1 |2357 | 10 | 0.000000e+00 | -- | Inf | unknown
2695.27/2701.93 c 2702s| 5100 | 160 | 6478k|1241.2 | 334M | 51 |6387 |7406 |6686 |4451 | 1 |2394 | 10 | 0.000000e+00 | -- | Inf | unknown
2719.91/2726.67 c 2727s| 5200 | 164 | 6558k|1232.8 | 335M | 51 |6387 |7378 |6688 |4549 | 1 |2448 | 10 | 0.000000e+00 | -- | Inf | unknown
2735.47/2742.26 c 2742s| 5300 | 167 | 6613k|1219.9 | 335M | 51 |6387 |7399 |6662 |4588 | 1 |2484 | 10 | 0.000000e+00 | -- | Inf | unknown
2752.33/2759.16 c 2759s| 5400 | 165 | 6671k|1207.9 | 335M | 51 |6387 |7403 |6687 |4624 | 0 |2513 | 10 | 0.000000e+00 | -- | Inf | unknown
2769.09/2776.00 c 2776s| 5500 | 167 | 6729k|1196.5 | 336M | 51 |6387 |7405 |6666 |4678 | 1 |2524 | 10 | 0.000000e+00 | -- | Inf | unknown
2784.65/2791.56 c 2792s| 5600 | 165 | 6783k|1184.9 | 338M | 51 |6387 |7436 |6667 |4703 | 0 |2631 | 10 | 0.000000e+00 | -- | Inf | unknown
2802.00/2808.96 c 2809s| 5700 | 161 | 6843k|1174.5 | 338M | 51 |6387 |7421 |6658 |4748 | 1 |2658 | 10 | 0.000000e+00 | -- | Inf | unknown
2822.95/2829.93 c 2830s| 5800 | 163 | 6914k|1166.5 | 339M | 51 |6387 |7413 |6662 |4800 | 0 |2671 | 10 | 0.000000e+00 | -- | Inf | unknown
2844.50/2851.51 c 2852s| 5900 | 163 | 6987k|1159.1 | 339M | 51 |6387 |7419 |6665 |4833 | 1 |2688 | 10 | 0.000000e+00 | -- | Inf | unknown
2866.05/2873.19 c 2873s| 6000 | 161 | 7060k|1152.0 | 340M | 51 |6387 |7406 |6661 |4883 | 0 |2738 | 10 | 0.000000e+00 | -- | Inf | unknown
2887.39/2894.59 c 2895s| 6100 | 167 | 7131k|1144.8 | 341M | 51 |6387 |7393 |6659 |4901 | 1 |2759 | 10 | 0.000000e+00 | -- | Inf | unknown
2910.84/2918.02 c 2918s| 6200 | 163 | 7209k|1138.9 | 341M | 51 |6387 |7402 |6663 |4964 | 0 |2779 | 10 | 0.000000e+00 | -- | Inf | unknown
2933.78/2941.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2933.78/2941.07 c 2941s| 6300 | 163 | 7285k|1132.8 | 343M | 51 |6387 |7410 |6660 |4991 | 0 |2797 | 10 | 0.000000e+00 | -- | Inf | unknown
2958.31/2965.63 c 2966s| 6400 | 163 | 7365k|1127.7 | 344M | 51 |6387 |7420 |6665 |5034 | 1 |2822 | 10 | 0.000000e+00 | -- | Inf | unknown
2986.64/2994.08 c 2994s| 6500 | 161 | 7458k|1124.5 | 344M | 51 |6387 |7411 |6658 |5078 | 0 |2846 | 10 | 0.000000e+00 | -- | Inf | unknown
3008.28/3015.71 c 3016s| 6600 | 165 | 7529k|1118.2 | 344M | 51 |6387 |7401 |6660 |5119 | 1 |2853 | 10 | 0.000000e+00 | -- | Inf | unknown
3033.32/3040.82 c 3041s| 6700 | 165 | 7610k|1113.8 | 345M | 51 |6387 |7405 |6667 |5196 | 0 |2882 | 10 | 0.000000e+00 | -- | Inf | unknown
3052.37/3059.91 c 3060s| 6800 | 165 | 7672k|1106.5 | 345M | 55 |6387 |7412 |6665 |5232 | 0 |2898 | 10 | 0.000000e+00 | -- | Inf | unknown
3077.61/3085.25 c 3085s| 6900 | 162 | 7753k|1102.1 | 346M | 55 |6387 |7390 |6679 |5317 | 0 |2911 | 10 | 0.000000e+00 | -- | Inf | unknown
3102.85/3110.52 c 3111s| 7000 | 162 | 7835k|1098.1 | 346M | 55 |6387 |7383 |6670 |5379 | 1 |2924 | 10 | 0.000000e+00 | -- | Inf | unknown
3126.89/3134.67 c 3135s| 7100 | 164 | 7912k|1093.5 | 346M | 55 |6387 |7386 | 0 |5432 | 0 |2937 | 10 | 0.000000e+00 | -- | Inf | unknown
3149.93/3157.76 c 3158s| 7200 | 162 | 7987k|1088.7 | 347M | 55 |6387 |7392 |6659 |5489 | 1 |2978 | 10 | 0.000000e+00 | -- | Inf | unknown
3178.16/3186.06 c 3186s| 7300 | 162 | 8078k|1086.3 | 347M | 55 |6387 |7400 |6675 |5556 | 0 |2998 | 10 | 0.000000e+00 | -- | Inf | unknown
3202.10/3210.06 c 3210s| 7400 | 163 | 8154k|1081.9 | 347M | 55 |6387 |7431 |6677 |5594 | 1 |3068 | 10 | 0.000000e+00 | -- | Inf | unknown
3224.44/3232.43 c 3232s| 7500 | 162 | 8223k|1076.7 | 350M | 55 |6387 |7445 |6660 |5656 | 1 |3170 | 10 | 0.000000e+00 | -- | Inf | unknown
3248.28/3256.30 c 3256s| 7600 | 160 | 8300k|1072.6 | 350M | 55 |6387 |7407 |6672 |5726 | 1 |3197 | 10 | 0.000000e+00 | -- | Inf | unknown
3273.42/3281.51 c 3282s| 7700 | 163 | 8382k|1069.3 | 351M | 55 |6387 |7408 |6671 |5855 | 1 |3220 | 10 | 0.000000e+00 | -- | Inf | unknown
3297.76/3305.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3297.76/3305.97 c 3306s| 7800 | 161 | 8460k|1065.6 | 352M | 55 |6387 |7401 |6671 |5936 | 1 |3245 | 10 | 0.000000e+00 | -- | Inf | unknown
3322.10/3330.36 c 3330s| 7900 | 159 | 8539k|1062.1 | 354M | 55 |6387 |7411 | 0 |5987 | 0 |3261 | 10 | 0.000000e+00 | -- | Inf | unknown
3346.94/3355.30 c 3355s| 8000 | 157 | 8616k|1058.5 | 359M | 55 |6387 |7424 |6667 |6048 | 1 |3287 | 10 | 0.000000e+00 | -- | Inf | unknown
3370.98/3379.33 c 3379s| 8100 | 163 | 8692k|1054.8 | 360M | 55 |6387 |7386 |6672 |6137 | 0 |3307 | 10 | 0.000000e+00 | -- | Inf | unknown
3384.85/3393.29 c 3393s| 8200 | 163 | 8740k|1047.8 | 360M | 55 |6387 |7402 |6678 |6178 | 1 |3343 | 10 | 0.000000e+00 | -- | Inf | unknown
3403.20/3411.66 c 3412s| 8300 | 162 | 8802k|1042.6 | 360M | 55 |6387 |7398 |6677 |6247 | 2 |3369 | 10 | 0.000000e+00 | -- | Inf | unknown
3417.47/3425.98 c 3426s| 8400 | 160 | 8850k|1036.0 | 361M | 55 |6387 |7440 |6671 |6304 | 0 |3430 | 10 | 0.000000e+00 | -- | Inf | unknown
3434.12/3442.61 c 3443s| 8500 | 162 | 8905k|1030.2 | 361M | 55 |6387 |7446 |6674 |6394 | 0 |3453 | 10 | 0.000000e+00 | -- | Inf | unknown
3448.09/3456.68 c 3457s| 8600 | 160 | 8953k|1023.8 | 361M | 55 |6387 |7459 |6676 |6425 | 0 |3475 | 10 | 0.000000e+00 | -- | Inf | unknown
3464.35/3472.93 c 3473s| 8700 | 160 | 9007k|1018.2 | 362M | 55 |6387 |7453 |6677 |6513 | 0 |3494 | 10 | 0.000000e+00 | -- | Inf | unknown
3483.70/3492.37 c 3492s| 8800 | 161 | 9064k|1013.2 | 362M | 55 |6387 |7493 |6674 |6544 | 0 |3557 | 10 | 0.000000e+00 | -- | Inf | unknown
3504.75/3513.45 c 3513s| 8900 | 157 | 9133k|1009.5 | 363M | 55 |6387 |7497 |6682 |6617 | 1 |3601 | 10 | 0.000000e+00 | -- | Inf | unknown
3529.39/3538.19 c 3538s| 9000 | 158 | 9212k|1007.1 | 363M | 55 |6387 |7479 |6692 |6772 | 0 |3623 | 10 | 0.000000e+00 | -- | Inf | unknown
3557.12/3565.93 c 3566s| 9100 | 162 | 9303k|1006.0 | 364M | 55 |6387 |7479 |6683 |6869 | 2 |3704 | 10 | 0.000000e+00 | -- | Inf | unknown
3580.96/3589.82 c 3590s| 9200 | 162 | 9380k|1003.4 | 364M | 55 |6387 |7520 |6664 |7058 | 0 |3778 | 10 | 0.000000e+00 | -- | Inf | unknown
3588.04/3597.00 c
3588.04/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.04/3597.00 c Solving Time (sec) : 3597.00
3588.04/3597.00 c Solving Nodes : 9241
3588.04/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.04/3597.00 c Dual Bound : +0.00000000000000e+00
3588.04/3597.00 c Gap : infinite
3588.04/3597.00 s UNKNOWN
3588.04/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.04/3597.00 c Total Time : 3597.00
3588.04/3597.00 c solving : 3597.00
3588.04/3597.00 c presolving : 7.15 (included in solving)
3588.04/3597.00 c reading : 0.02 (included in solving)
3588.04/3597.00 c copying : 0.37 (24 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3588.04/3597.00 c Original Problem :
3588.04/3597.00 c Problem name : HOME/instance-4507563-1751191306.opb
3588.04/3597.00 c Variables : 7140 (7140 binary, 0 integer, 0 continuous)
3588.04/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.04/3597.00 c Constraints : 7352 initial, 7352 maximal
3588.04/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.04/3597.00 c Presolved Problem :
3588.04/3597.00 c Problem name : t_HOME/instance-4507563-1751191306.opb
3588.04/3597.00 c Variables : 6387 (6387 binary, 0 integer, 0 continuous)
3588.04/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.04/3597.00 c Constraints : 6558 initial, 7522 maximal
3588.04/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.04/3597.00 c Nonzeros : 35157 constraint, 91702 clique table
3588.04/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.04/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c domcol : 0.10 0.00 10 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c gateextraction : 0.02 0.00 11 0 0 0 0 0 1 0 0 0
3588.04/3597.00 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c milp : 0.09 0.00 1 103 1 0 0 0 0 0 0 0
3588.04/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c sparsify : 0.17 0.00 3 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c trivial : 0.00 0.00 30 286 0 0 0 0 0 0 0 0
3588.04/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c dualfix : 0.00 0.00 30 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c probing : 6.26 0.00 10 218 1 0 0 0 0 0 0 0
3588.04/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c symmetry : 0.03 0.00 1 3 0 0 0 0 0 3 0 0
3588.04/3597.00 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c knapsack : 0.00 0.00 43 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c setppc : 0.05 0.00 43 0 0 0 0 0 68 0 0 0
3588.04/3597.00 c linear : 0.05 0.00 11 141 0 0 141 0 512 0 0 0
3588.04/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c logicor : 0.35 0.00 43 62 0 0 0 0 216 0 0 413
3588.04/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.04/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.04/3597.00 c integral : 0 0 0 0 4718 0 0 312 0 0 0 0 0 0 9436
3588.04/3597.00 c knapsack : 1+ 3 11 147355 0 0 0 308 421 1 671 0 0 0 0
3588.04/3597.00 c setppc : 1394+ 1521 11 168091 0 0 0 301 1681470 236 149728 0 0 0 0
3588.04/3597.00 c linear : 0+ 214 11 83045 0 0 0 3 4122 11 1655 3 2 0 0
3588.04/3597.00 c orbitope_pp : 3 3 0 84246 0 0 0 0 3180 0 369 0 0 0 0
3588.04/3597.00 c logicor : 5160+ 5812 11 134402 0 0 0 0 3506615 328 291313 26 12 0 0
3588.04/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.04/3597.00 c integral : 7.02 0.00 0.00 0.00 7.02 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c knapsack : 0.12 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c setppc : 1.80 0.00 0.00 1.40 0.00 0.00 0.00 0.01 0.37 0.02
3588.04/3597.00 c linear : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.01 0.00
3588.04/3597.00 c orbitope_pp : 0.28 0.00 0.00 0.28 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c logicor : 4.22 0.00 0.01 2.88 0.00 0.00 0.00 0.00 1.32 0.01
3588.04/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.04/3597.00 c dualfix : 1 0 0 0
3588.04/3597.00 c genvbounds : 0 0 0 0
3588.04/3597.00 c nlobbt : 0 0 0 0
3588.04/3597.00 c obbt : 0 0 0 0
3588.04/3597.00 c probing : 0 0 0 0
3588.04/3597.00 c pseudoobj : 0 0 0 0
3588.04/3597.00 c redcost : 0 0 0 0
3588.04/3597.00 c rootredcost : 0 0 0 0
3588.04/3597.00 c symmetry : 61001 0 0 5
3588.04/3597.00 c vbounds : 45784 0 0 0
3588.04/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.04/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.04/3597.00 c probing : 6.26 0.00 6.26 0.00 0.00 0.00
3588.04/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3588.04/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.04/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.04/3597.00 c symmetry : 0.23 0.00 0.03 0.20 0.00 0.00
3588.04/3597.00 c vbounds : 0.66 0.00 0.01 0.66 0.00 0.00
3588.04/3597.00 c Symmetry :
3588.04/3597.00 c #affected vars : 1342 (1342 bin, 0 int, 0 cont)
3588.04/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.04/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.04/3597.00 c lexicographic red: 5 reductions applied, 0 cutoffs
3588.04/3597.00 c shadow tree time : 0.02 s
3588.04/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.04/3597.00 c propagation : 0.25 563 411 - 3674 266.8 98 74.7 - - -
3588.04/3597.00 c infeasible LP : 18.03 4388 1419 - 34164 1644.0 55 53.2 30 533.3 0
3588.04/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.04/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.04/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.04/3597.00 c applied globally : 0.13 - - 0 3717 383.9 - - 30 - -
3588.04/3597.00 c applied locally : - - - 0 48 1611.5 - - 0 - -
3588.04/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.04/3597.00 c cut pool : 0.81 - 1249 21 - - 4106 87124 - - - - - (maximal pool size: 1266)
3588.04/3597.00 c aggregation : 0.26 0.00 236 11 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.04/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.04/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.04/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c clique : 0.40 0.00 11 11 0 0 94 675 0 182 182 0 0
3588.04/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c gomory : 17.10 0.00 235 10 0 0 4792 83590 1029 4927 4894 33 0
3588.04/3597.00 c > gomorymi : - - - - - - - 37621 519 2690 2669 21 -
3588.04/3597.00 c > strongcg : - - - - - - - 45969 510 2237 2225 12 -
3588.04/3597.00 c impliedbounds : 0.34 0.00 236 11 0 0 76 150 0 75 75 0 0
3588.04/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c multilinear : 0.00 0.00 26 11 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c rapidlearning : 13.85 0.00 20 1 0 13795 0 0 0 0 0 0 340
3588.04/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3588.04/3597.00 c zerohalf : 7.54 0.00 236 11 0 0 696 2709 523 1925 1464 461 0
3588.04/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.04/3597.00 c hybrid : 0.21 0.00 1022 11 7146 0 81543 129 0 144
3588.04/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.04/3597.00 c problem variables: 0.00 - 0 0
3588.04/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.04/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c relpscost : 7.02 0.00 4718 0 0 0 0 0 0 9436
3588.04/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.04/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.04/3597.00 c LP solutions : 0.00 - - 0 0
3588.04/3597.00 c relax solutions : 0.00 - - 0 0
3588.04/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.04/3597.00 c strong branching : 0.00 - - 0 0
3588.04/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.04/3597.00 c adaptivediving : 29.90 0.00 9 0 0
3588.04/3597.00 c alns : 11.08 0.00 5 0 0
3588.04/3597.00 c bound : 0.00 0.00 0 0 0
3588.04/3597.00 c clique : 0.02 0.00 1 0 0
3588.04/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.04/3597.00 c completesol : 0.00 0.00 0 0 0
3588.04/3597.00 c conflictdiving : 91.05 0.00 7 0 0
3588.04/3597.00 c crossover : 0.00 0.00 0 0 0
3588.04/3597.00 c dins : 0.00 0.00 0 0 0
3588.04/3597.00 c distributiondivin: 90.08 0.00 6 0 0
3588.04/3597.00 c dks : 0.00 0.00 0 0 0
3588.04/3597.00 c dps : 0.00 0.00 0 0 0
3588.04/3597.00 c dualval : 0.00 0.00 0 0 0
3588.04/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.04/3597.00 c feaspump : 62.61 0.00 3 0 0
3588.04/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.04/3597.00 c fracdiving : 76.81 0.00 7 0 0
3588.04/3597.00 c gins : 0.00 0.00 0 0 0
3588.04/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.04/3597.00 c indicator : 0.00 0.00 0 0 0
3588.04/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.04/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.04/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.04/3597.00 c linesearchdiving : 70.67 0.00 6 0 0
3588.04/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.04/3597.00 c locks : 0.02 0.00 1 0 0
3588.04/3597.00 c lpface : 0.06 0.00 0 0 0
3588.04/3597.00 c mpec : 0.00 0.00 0 0 0
3588.04/3597.00 c multistart : 0.00 0.00 0 0 0
3588.04/3597.00 c mutation : 0.00 0.00 0 0 0
3588.04/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.04/3597.00 c objpscostdiving : 324.31 0.00 2 0 0
3588.04/3597.00 c octane : 0.00 0.00 0 0 0
3588.04/3597.00 c ofins : 0.00 0.00 0 0 0
3588.04/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.04/3597.00 c padm : 0.00 0.00 0 0 0
3588.04/3597.00 c proximity : 0.00 0.00 0 0 0
3588.04/3597.00 c pscostdiving : 128.04 0.00 7 0 0
3588.04/3597.00 c randrounding : 0.18 0.00 317 0 0
3588.04/3597.00 c rens : 0.19 0.00 1 0 0
3588.04/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.04/3597.00 c repair : 0.00 0.00 0 0 0
3588.04/3597.00 c rins : 0.00 0.00 0 0 0
3588.04/3597.00 c rootsoldiving : 32.72 0.00 4 0 0
3588.04/3597.00 c rounding : 0.19 0.00 1004 0 0
3588.04/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.04/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3588.04/3597.00 c shifting : 0.65 0.00 478 0 0
3588.04/3597.00 c simplerounding : 0.00 0.00 0 0 0
3588.04/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.04/3597.00 c trivial : 0.00 0.00 2 0 0
3588.04/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.04/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.04/3597.00 c trysol : 0.00 0.00 0 0 0
3588.04/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.04/3597.00 c undercover : 0.00 0.00 0 0 0
3588.04/3597.00 c vbounds : 0.02 0.00 1 0 0
3588.04/3597.00 c veclendiving : 70.02 0.00 7 0 0
3588.04/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.04/3597.00 c zirounding : 0.07 0.00 1000 0 0
3588.04/3597.00 c other solutions : - - - 0 -
3588.04/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.04/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
3588.04/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
3588.04/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
3588.04/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
3588.04/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
3588.04/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
3588.04/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
3588.04/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
3588.04/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.04/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.04/3597.00 c primal LP : 2.12 539 0 0.00 0.00 2.12 539
3588.04/3597.00 c dual LP : 2517.94 10105 7720103 765.28 3066.04 0.03 17
3588.04/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.04/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.04/3597.00 c resolve instable : 11.59 46 20595 447.72 1776.26
3588.04/3597.00 c diving/probing LP: 972.40 1864 1682911 902.85 1730.67
3588.04/3597.00 c strong branching : 4.76 10 7864 786.40 1650.86 - - 14
3588.04/3597.00 c (at root node) : - 10 7864 786.40 -
3588.04/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.04/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.04/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3588.04/3597.00 c B&B Tree :
3588.04/3597.00 c number of runs : 1
3588.04/3597.00 c nodes : 9241 (4718 internal, 4523 leaves)
3588.04/3597.00 c feasible leaves : 0
3588.04/3597.00 c infeas. leaves : 4522
3588.04/3597.00 c objective leaves : 0
3588.04/3597.00 c nodes (total) : 9241 (4718 internal, 4523 leaves)
3588.04/3597.00 c nodes left : 165
3588.04/3597.00 c max depth : 55
3588.04/3597.00 c max depth (total): 55
3588.04/3597.00 c backtracks : 1478 (16.0%)
3588.04/3597.00 c early backtracks : 0 (0.0%)
3588.04/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.04/3597.00 c delayed cutoffs : 32
3588.04/3597.00 c repropagations : 3247 (15969 domain reductions, 25 cutoffs)
3588.04/3597.00 c avg switch length: 2.94
3588.04/3597.00 c switching time : 3.81
3588.04/3597.00 c Root Node :
3588.04/3597.00 c First LP value : +0.00000000000000e+00
3588.04/3597.00 c First LP Iters : 11377 (2588.19 Iter/sec)
3588.04/3597.00 c First LP Time : 4.40
3588.04/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.04/3597.00 c Final Root Iters : 149700
3588.04/3597.00 c Root LP Estimate : +4.84014050579004e-02
3588.04/3597.00 c Solution :
3588.04/3597.00 c Solutions found : 0 (0 improvements)
3588.04/3597.00 c Primal Bound : -
3588.04/3597.00 c Dual Bound : +0.00000000000000e+00
3588.04/3597.00 c Gap : infinite
3588.04/3597.00 c Integrals : Total Avg%
3588.04/3597.00 c primal-dual : 359699.96 100.00
3588.04/3597.00 c primal-ref : - - (not evaluated)
3588.04/3597.00 c dual-ref : - - (not evaluated)
3588.15/3597.07 c Time complete (sec): 3588.223
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: 63665 MiB (62711 MiB free)
memory of node 1: 64507 MiB (64003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507563-1751191306/watcher-4507563-1751191306 -o /tmp/evaluation-result-4507563-1751191306/solver-4507563-1751191306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21829 --watchdog 3760 pbsolver -f HOME/instance-4507563-1751191306.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=21874, runsolver pid=21868
[startup+0.100061 s]*
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129584116/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=62644 memory=52884 CPUtime=0.09 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 12005 0 0 0 8 1 0 0 20 0 1 0 34810553 64147456 13221 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 15661 13221 2496 2575 0 12568 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62644 KiB
Current children cumulated memory: 52884 KiB
[startup+0.205602 s]*
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129568020/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=66500 memory=57008 CPUtime=0.18 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 13650 0 0 0 17 1 0 0 20 0 1 0 34810553 68096000 14252 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 16625 14252 2560 2575 0 13532 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66500 KiB
Current children cumulated memory: 57008 KiB
[startup+0.30563 s]*
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129518380/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=83716 memory=71472 CPUtime=0.28 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 17356 0 0 0 26 2 0 0 20 0 1 0 34810553 85725184 17868 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 20929 17868 2560 2575 0 17836 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83716 KiB
Current children cumulated memory: 71472 KiB
[startup+0.700191 s]
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129492424/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=92488 memory=80304 CPUtime=0.66 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 19547 0 0 0 63 3 0 0 20 0 1 0 34810553 94707712 20076 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 23122 20076 2592 2575 0 20029 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 92488 KiB
Current children cumulated memory: 80304 KiB
[startup+1.50019 s]
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129492424/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=92488 memory=80304 CPUtime=1.45 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 19547 0 0 0 142 3 0 0 20 0 1 0 34810553 94707712 20076 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 23122 20076 2592 2575 0 20029 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 92488 KiB
Current children cumulated memory: 80304 KiB
[startup+3.1058 s]
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129489240/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=92488 memory=80816 CPUtime=3.04 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 19674 0 0 0 301 3 0 0 20 0 1 0 34810553 94707712 20204 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 23122 20204 2592 2575 0 20029 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 92488 KiB
Current children cumulated memory: 80816 KiB
[startup+6.30015 s]
/proc/loadavg: 0.98 1.38 2.41 5/264 21887
/proc/meminfo: memFree=129449700/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=93544 memory=81840 CPUtime=6.23 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 19955 0 0 0 620 3 0 0 20 0 1 0 34810553 95789056 20460 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 23386 20460 2592 2575 0 20293 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 93544 KiB
Current children cumulated memory: 81840 KiB
[startup+12.7001 s]
/proc/loadavg: 1.22 1.43 2.42 5/264 21887
/proc/meminfo: memFree=129288728/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=168104 memory=134832 CPUtime=12.61 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 33216 0 0 0 1256 5 0 0 20 0 1 0 34810553 172138496 33708 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 42026 33708 2656 2575 0 38933 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 168104 KiB
Current children cumulated memory: 134832 KiB
[startup+25.5001 s]
/proc/loadavg: 1.92 1.57 2.45 5/264 21887
/proc/meminfo: memFree=129287512/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=168512 memory=135216 CPUtime=25.38 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 33314 0 0 0 2533 5 0 0 20 0 1 0 34810553 172556288 33804 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 42128 33804 2656 2575 0 39035 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 168512 KiB
Current children cumulated memory: 135216 KiB
[startup+51.1053 s]
/proc/loadavg: 2.63 1.77 2.49 5/264 21888
/proc/meminfo: memFree=128993384/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=251936 memory=215412 CPUtime=50.93 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 53638 0 0 0 5084 9 0 0 20 0 1 0 34810553 257982464 53853 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 62984 53853 2688 2575 0 59891 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 215412 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.58 5/264 21890
/proc/meminfo: memFree=128949576/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=251936 memory=224500 CPUtime=101.99 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 53984 0 0 0 10190 9 0 0 20 0 1 0 34810553 257982464 56125 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 62984 56125 2688 2575 0 59891 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 224500 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.50 2.68 5/265 21894
/proc/meminfo: memFree=128925808/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=252000 memory=232460 CPUtime=161.83 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 65365 0 0 0 16173 10 0 0 20 0 1 0 34810553 258048000 58115 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 63000 58115 2688 2575 0 59907 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 252000 KiB
Current children cumulated memory: 232460 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.77 5/265 21896
/proc/meminfo: memFree=128902092/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=252000 memory=239244 CPUtime=221.69 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 65442 0 0 0 22159 10 0 0 20 0 1 0 34810553 258048000 59811 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 63000 59811 2688 2575 0 59907 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 252000 KiB
Current children cumulated memory: 239244 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.03 2.85 5/265 21900
/proc/meminfo: memFree=128879476/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=252000 memory=239244 CPUtime=281.56 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 65567 0 0 0 28145 11 0 0 20 0 1 0 34810553 258048000 59811 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 63000 59811 2688 2575 0 59907 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 252000 KiB
Current children cumulated memory: 239244 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.24 2.94 5/263 21904
/proc/meminfo: memFree=128903996/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=252000 memory=239244 CPUtime=341.42 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 65586 0 0 0 34131 11 0 0 20 0 1 0 34810553 258048000 59811 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 63000 59811 2688 2575 0 59907 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 252000 KiB
Current children cumulated memory: 239244 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.39 3.01 5/263 21906
/proc/meminfo: memFree=128852524/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=252000 memory=239244 CPUtime=401.28 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 65652 0 0 0 40117 11 0 0 20 0 1 0 34810553 258048000 59811 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 63000 59811 2688 2575 0 59907 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 252000 KiB
Current children cumulated memory: 239244 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.54 3.09 5/263 21908
/proc/meminfo: memFree=128845896/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=252000 memory=239244 CPUtime=461.14 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 65709 0 0 0 46103 11 0 0 20 0 1 0 34810553 258048000 59811 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 63000 59811 2688 2575 0 59907 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.02 5/264 22035
/proc/meminfo: memFree=128501292/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=416556 memory=402432 CPUtime=3154.52 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 113782 0 0 0 315433 19 0 0 20 0 1 0 34810553 426553344 100608 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 104139 100608 2944 2575 0 101046 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 416556 KiB
Current children cumulated memory: 402432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 22037
/proc/meminfo: memFree=128501100/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=416556 memory=402432 CPUtime=3214.37 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 113782 0 0 0 321418 19 0 0 20 0 1 0 34810553 426553344 100608 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 104139 100608 2944 2575 0 101046 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 416556 KiB
Current children cumulated memory: 402432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 22041
/proc/meminfo: memFree=128473624/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=416556 memory=402432 CPUtime=3274.22 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 113933 0 0 0 327403 19 0 0 20 0 1 0 34810553 426553344 100608 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 104139 100608 2944 2575 0 101046 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 416556 KiB
Current children cumulated memory: 402432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/263 22045
/proc/meminfo: memFree=128477064/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=416556 memory=404736 CPUtime=3334.07 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 113933 0 0 0 333388 19 0 0 20 0 1 0 34810553 426553344 101184 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 104139 101184 2944 2575 0 101046 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 416556 KiB
Current children cumulated memory: 404736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/263 22047
/proc/meminfo: memFree=128461148/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3393.92 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 117952 0 0 0 339372 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3393.92 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22049
/proc/meminfo: memFree=128463844/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3453.78 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118007 0 0 0 345358 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/263 22051
/proc/meminfo: memFree=128424388/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3513.63 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118014 0 0 0 351343 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/263 22064
/proc/meminfo: memFree=128419332/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3573.48 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118124 0 0 0 357328 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3597.08 s]
# the end of solver process 21874 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.02 s, system=0.209147 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.04 5/263 22064
/proc/meminfo: memFree=128419364/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3575.18 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118124 0 0 0 357498 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3575.18 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419164/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3581.56 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118171 0 0 0 358136 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3581.56 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419204/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3584.75 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118171 0 0 0 358455 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419212/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3586.35 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118171 0 0 0 358615 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3587.15 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118171 0 0 0 358695 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3587.94 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118173 0 0 0 358774 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21874] ppid=21868 vsize=431428 memory=417052 CPUtime=3588.15 cores=4,6
/proc/21874/stat : 21874 (pbsolver) R 21868 21874 21818 0 -1 4194304 118173 0 0 0 358795 20 0 0 20 0 1 0 34810553 441782272 104263 18446744073709551615 4198400 14743177 140724211103024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49672192 140724211108234 140724211108330 140724211108330 140724211113932 0
/proc/21874/statm: 107857 104263 2944 2575 0 104764 0
Current children cumulated CPU time: 3588.15 s
Current children cumulated vsize: 431428 KiB
Current children cumulated memory: 417052 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3588.23
CPU user time (s): 3588.02
CPU system time (s): 0.209147
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (KiB): 434608
Max. memory (cumulated for all children) (KiB): 420096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.02
system time used= 0.209147
maximum resident set size= 420352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118193
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= 42
involuntary context switches= 2761
# summary of solver processes directly reported to runsolver:
# pid: 21874
# total CPU time (s): 3588.23
# total CPU user time (s): 3588.02
# total CPU system time (s): 0.209147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43371 second user time and 14.6945 second system time
The end
Begin job on nodeC027 at 2025-06-29 12:01:47 IDJOB=4507563 IDBENCH=158365 IDSOLVER=3366 FILE ID=nodeC027/4507563-1751191306 RUNJOBID= nodeC027-1751191306-21829 SLURM_JOB_ID= 9587579 Free space on /tmp= 433064 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507563-1751191306/watcher-4507563-1751191306 -o /tmp/evaluation-result-4507563-1751191306/solver-4507563-1751191306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21829 --watchdog 3760 pbsolver -f HOME/instance-4507563-1751191306.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645 RANDOM SEED=246740614 nodeC027 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 : 3601.765 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.592 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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.648 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3600.169 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.679 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.669 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3595.669 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.626 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129757740 kB MemAvailable: 129812652 kB Buffers: 3280 kB Cached: 860552 kB SwapCached: 0 kB Active: 328012 kB Inactive: 606636 kB Active(anon): 88940 kB Inactive(anon): 0 kB Active(file): 239072 kB Inactive(file): 606636 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 61080 kB Writeback: 8 kB AnonPages: 74208 kB Mapped: 102760 kB Shmem: 18068 kB KReclaimable: 96488 kB Slab: 182012 kB SReclaimable: 96488 kB SUnreclaim: 85524 kB KernelStack: 4020 kB PageTables: 2448 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 336284 kB VmallocTotal: 34359738367 kB VmallocUsed: 150344 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433004 MiB End job on nodeC027 at 2025-06-29 13:01:44