| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.7 | 3597.06 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K102.opb |
| MD5SUM | 433935bc469f703143ab8083d95aeb05 |
| 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.08246 |
| 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 | 6936 |
| Total number of constraints | 7142 |
| Number of constraints which are clauses | 7040 |
| Number of constraints which are cardinality constraints (but not clauses) | 102 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 102 |
| 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 | 103 |
| 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-4507419-1751190885.opb>
0.00/0.02 c original problem has 6936 variables (6936 bin, 0 int, 0 cont) and 7142 constraints
0.00/0.02 c problem read in 0.022 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1387 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, 1374 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, 1379 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, 1405 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, 1420 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.09/0.15 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 102 fixings, 0 bound changes
0.09/0.15 c (round 6, medium) 686 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1418 clqs
0.09/0.15 c (round 7, fast) 686 del vars, 409 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1422 clqs
0.09/0.16 c (round 8, exhaustive) 686 del vars, 508 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1422 clqs
0.09/0.18 c (round 9, exhaustive) 686 del vars, 508 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6634 upgd conss, 0 impls, 1422 clqs
0.20/0.22 c (round 10, exhaustive) 748 del vars, 508 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6634 upgd conss, 0 impls, 1410 clqs
0.20/0.22 c (round 11, fast) 810 del vars, 570 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6634 upgd conss, 0 impls, 1410 clqs
0.99/1.07 c (round 12, exhaustive) 837 del vars, 571 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6634 upgd conss, 0 impls, 40957 clqs
0.99/1.07 c (round 13, fast) 837 del vars, 598 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 118 chg coeffs, 6634 upgd conss, 0 impls, 40969 clqs
1.49/1.50 c (round 14, exhaustive) 868 del vars, 598 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 119 chg coeffs, 6634 upgd conss, 0 impls, 41393 clqs
1.49/1.50 c (round 15, fast) 868 del vars, 629 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 6634 upgd conss, 0 impls, 41402 clqs
1.69/1.77 c (round 16, exhaustive) 894 del vars, 629 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 6634 upgd conss, 0 impls, 41133 clqs
1.69/1.77 c (round 17, fast) 895 del vars, 655 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 235 chg coeffs, 6634 upgd conss, 0 impls, 41144 clqs
1.99/2.02 c (round 18, exhaustive) 920 del vars, 655 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 235 chg coeffs, 6634 upgd conss, 0 impls, 41420 clqs
1.99/2.02 c (round 19, fast) 920 del vars, 680 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 276 chg coeffs, 6634 upgd conss, 0 impls, 41423 clqs
1.99/2.07 c (round 20, exhaustive) 945 del vars, 680 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 276 chg coeffs, 6634 upgd conss, 0 impls, 41353 clqs
1.99/2.07 c (round 21, fast) 945 del vars, 705 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 302 chg coeffs, 6634 upgd conss, 0 impls, 41354 clqs
2.19/2.29 c (2.3s) probing: 1000/6409 (15.6%) - 151 fixings, 1 aggregations, 648329 implications, 0 bound changes
3.38/3.44 c (round 22, exhaustive) 970 del vars, 705 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 302 chg coeffs, 6634 upgd conss, 0 impls, 41395 clqs
3.38/3.44 c (round 23, fast) 970 del vars, 730 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 328 chg coeffs, 6634 upgd conss, 0 impls, 41395 clqs
3.58/3.65 c (3.6s) probing: 2000/6409 (31.2%) - 181 fixings, 1 aggregations, 1202935 implications, 0 bound changes
3.58/3.66 c (round 24, exhaustive) 995 del vars, 730 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 328 chg coeffs, 6634 upgd conss, 0 impls, 41458 clqs
3.58/3.66 c (round 25, fast) 995 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 357 chg coeffs, 6634 upgd conss, 0 impls, 41458 clqs
4.08/4.17 c (round 26, exhaustive) 1020 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 357 chg coeffs, 6634 upgd conss, 0 impls, 41461 clqs
4.08/4.18 c (round 27, fast) 1020 del vars, 780 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 394 chg coeffs, 6634 upgd conss, 0 impls, 41461 clqs
4.78/4.89 c (4.9s) probing: 3000/6409 (46.8%) - 220 fixings, 1 aggregations, 1620729 implications, 0 bound changes
5.87/5.97 c (6.0s) probing: 4000/6409 (62.4%) - 221 fixings, 1 aggregations, 2050588 implications, 0 bound changes
6.08/6.11 c (6.1s) probing: 4141/6409 (64.6%) - 221 fixings, 1 aggregations, 2112072 implications, 0 bound changes
6.08/6.11 c (6.1s) probing aborted: 1000/1000 successive useless probings
6.08/6.11 c (round 28, exhaustive) 1034 del vars, 780 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 394 chg coeffs, 6634 upgd conss, 0 impls, 41501 clqs
6.08/6.11 c (round 29, fast) 1034 del vars, 794 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 415 chg coeffs, 6634 upgd conss, 0 impls, 41501 clqs
6.17/6.25 c (6.2s) probing: 4241/6409 (66.2%) - 221 fixings, 1 aggregations, 2154297 implications, 0 bound changes
6.17/6.25 c (6.2s) probing aborted: 1000/1000 successive useless probings
6.17/6.26 c (6.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.17/6.27 c (6.3s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.01)
6.17/6.28 c dynamic symmetry handling statistics:
6.17/6.28 c orbitopal reduction: no components
6.17/6.28 c orbital reduction: no components
6.17/6.28 c lexicographic reduction: 4 permutations with support sizes 192, 380, 192, 176
6.17/6.28 c handled 5 out of 5 symmetry components
6.17/6.29 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
6.17/6.29 c 1037 deleted vars, 794 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 415 changed coefficients
6.17/6.29 c 0 implications, 41538 cliques
6.17/6.29 c presolved problem has 6183 variables (6183 bin, 0 int, 0 cont) and 6351 constraints
6.17/6.29 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
6.17/6.29 c 1 constraints of type <knapsack>
6.17/6.29 c 1349 constraints of type <setppc>
6.17/6.29 c 3 constraints of type <orbitope_pp>
6.17/6.29 c 4998 constraints of type <logicor>
6.17/6.29 c transformed objective value is always integral (scale: 1)
6.17/6.29 c Presolving Time: 6.25
6.17/6.29 c
6.17/6.29 c - non default parameters ----------------------------------------------------------------------
6.17/6.29 c
6.17/6.29 c # SCIP version 10.0.0
6.17/6.29 c
6.17/6.29 c # maximal time in seconds to run
6.17/6.29 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.17/6.29 c limits/time = 3596.998392
6.17/6.29 c
6.17/6.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.17/6.29 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.17/6.29 c limits/memory = 27900
6.17/6.29 c
6.17/6.29 c # belongs reading time to solving time?
6.17/6.29 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.17/6.29 c timing/reading = TRUE
6.17/6.29 c
6.17/6.29 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.17/6.29 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
6.17/6.29 c reading/opbreader/maxintsize = 47
6.17/6.29 c
6.17/6.29 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
6.17/6.29 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
6.17/6.29 c propagating/genvbounds/timingmask = 0
6.17/6.29 c
6.17/6.29 c -----------------------------------------------------------------------------------------------
6.17/6.29 c
10.96/11.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.96/11.05 c 11.1s| 1 | 0 | 12268 | - | 137M | 0 |6183 |6471 |6345 | 0 | 0 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
56.94/57.14 c 57.1s| 1 | 0 | 74646 | - | 147M | 0 |6183 |6668 |6352 | 7 | 1 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
59.03/59.21 c 59.2s| 1 | 0 | 78058 | - | 152M | 0 |6183 |6669 |6356 | 11 | 2 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
61.03/61.21 c 61.2s| 1 | 0 | 81144 | - | 153M | 0 |6183 |6670 |6360 | 15 | 3 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
64.72/64.96 c 65.0s| 1 | 0 | 87988 | - | 154M | 0 |6183 |6671 |6369 | 24 | 4 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
67.31/67.55 c 67.5s| 1 | 0 | 92081 | - | 156M | 0 |6183 |6675 |6373 | 28 | 5 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
73.19/73.48 c 73.5s| 1 | 0 |102325 | - | 158M | 0 |6183 |6683 |6386 | 41 | 6 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
77.89/78.10 c 78.1s| 1 | 0 |109729 | - | 160M | 0 |6183 |6684 |6398 | 53 | 7 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
82.27/82.54 c 82.5s| 1 | 0 |117751 | - | 160M | 0 |6183 |6685 |6412 | 67 | 8 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
86.76/87.04 c 87.0s| 1 | 0 |125595 | - | 161M | 0 |6183 |6688 |6422 | 77 | 9 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
89.55/89.89 c 89.9s| 1 | 0 |129971 | - | 163M | 0 |6183 |6690 |6427 | 82 | 10 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
94.34/94.67 c 94.7s| 1 | 0 |139235 | - | 164M | 0 |6183 |6689 |6443 | 98 | 11 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
124.56/124.90 c 125s| 1 | 2 |177714 | - | 165M | 0 |6183 |6650 |6443 | 98 | 11 | 192 | 10 | 0.000000e+00 | -- | Inf | unknown
215.42/216.06 c 216s| 100 | 33 |365479 |2285.3 | 173M | 48 |6183 |6611 |6436 | 170 | 1 | 220 | 10 | 0.000000e+00 | -- | Inf | 50.00%
312.87/313.78 c 314s| 200 | 47 |578625 |2208.0 | 183M | 57 |6183 |6696 |6424 | 268 | 0 | 330 | 10 | 0.000000e+00 | -- | Inf | 50.00%
554.05/555.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
554.05/555.59 c 556s| 300 | 101 | 1158k|3408.3 | 200M | 57 |6183 |6712 |6431 | 413 | 0 | 443 | 10 | 0.000000e+00 | -- | Inf | 50.16%
599.33/600.90 c 601s| 400 | 109 | 1285k|2874.0 | 205M | 57 |6183 |6702 |6431 | 491 | 1 | 483 | 10 | 0.000000e+00 | -- | Inf | 50.16%
637.04/638.74 c 639s| 500 | 113 | 1394k|2516.1 | 213M | 57 |6183 |6788 |6411 | 571 | 0 | 620 | 10 | 0.000000e+00 | -- | Inf | 50.16%
718.63/720.55 c 721s| 600 | 129 | 1599k|2437.5 | 217M | 57 |6183 |6768 |6437 | 637 | 1 | 675 | 10 | 0.000000e+00 | -- | Inf | 50.18%
892.39/894.75 c 895s| 700 | 161 | 1993k|2653.2 | 221M | 57 |6183 |6858 |6438 | 718 | 1 | 843 | 10 | 0.000000e+00 | -- | Inf | 50.21%
1224.07/1227.20 c 1227s| 800 | 211 | 2692k|3196.0 | 229M | 57 |6183 |6980 |6411 | 854 | 0 |1236 | 10 | 0.000000e+00 | -- | Inf | 50.26%
1321.53/1324.98 c 1325s| 900 | 215 | 2963k|3141.8 | 236M | 57 |6183 |6932 |6434 | 995 | 0 |1293 | 10 | 0.000000e+00 | -- | Inf | 50.31%
1406.42/1410.02 c 1410s| 1000 | 229 | 3189k|3053.2 | 241M | 57 |6183 |7041 |6413 |1103 | 1 |1494 | 10 | 0.000000e+00 | -- | Inf | 50.41%
1485.71/1489.53 c 1490s| 1100 | 253 | 3421k|2986.9 | 243M | 57 |6183 |6954 |6446 |1225 | 2 |1506 | 10 | 0.000000e+00 | -- | Inf | 50.66%
1585.76/1589.81 c 1590s| 1200 | 263 | 3676k|2950.1 | 247M | 57 |6183 |7010 |6425 |1352 | 1 |1633 | 10 | 0.000000e+00 | -- | Inf | 50.90%
1741.76/1746.25 c 1746s| 1300 | 297 | 4060k|3018.5 | 255M | 57 |6183 |7006 |6424 |1588 | 2 |1700 | 10 | 0.000000e+00 | -- | Inf | 51.07%
1881.02/1885.92 c 1886s| 1400 | 301 | 4355k|3014.1 | 257M | 57 |6183 |7018 |6453 |1706 | 4 |1730 | 10 | 0.000000e+00 | -- | Inf | 51.22%
1969.55/1974.73 c 1975s| 1500 | 311 | 4576k|2960.3 | 259M | 57 |6183 |7036 |6418 |1767 | 1 |1786 | 10 | 0.000000e+00 | -- | Inf | 51.28%
2138.82/2144.56 c 2145s| 1600 | 347 | 4981k|3028.2 | 265M | 57 |6183 |7088 |6417 |1963 | 1 |1885 | 10 | 0.000000e+00 | -- | Inf | 51.43%
2202.17/2208.01 c 2208s| 1700 | 357 | 5152k|2950.8 | 265M | 57 |6183 |7075 |6451 |2088 | 1 |1893 | 10 | 0.000000e+00 | -- | Inf | 51.50%
2231.19/2237.12 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2233.29/2239.20 c (run 1, node 1743) performing user restart
2233.29/2239.20 c
2233.29/2239.20 c (restart) converted 56 cuts from the global cut pool into linear constraints
2233.29/2239.20 c
2233.29/2239.23 c presolving:
2233.29/2239.24 c (round 1, fast) 51 del vars, 41 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 170 chg coeffs, 0 upgd conss, 0 impls, 27624 clqs
2233.29/2239.25 c (round 2, exhaustive) 51 del vars, 84 del conss, 1 add conss, 0 chg bounds, 41 chg sides, 170 chg coeffs, 0 upgd conss, 0 impls, 27624 clqs
2233.29/2239.27 c (round 3, exhaustive) 51 del vars, 84 del conss, 1 add conss, 0 chg bounds, 41 chg sides, 170 chg coeffs, 211 upgd conss, 0 impls, 27624 clqs
2233.29/2239.27 c (round 4, medium) 51 del vars, 86 del conss, 13 add conss, 0 chg bounds, 75 chg sides, 234 chg coeffs, 211 upgd conss, 0 impls, 27634 clqs
2233.59/2239.51 c (round 5, exhaustive) 51 del vars, 110 del conss, 13 add conss, 0 chg bounds, 75 chg sides, 2572 chg coeffs, 211 upgd conss, 0 impls, 27634 clqs
2233.59/2239.52 c (round 6, exhaustive) 51 del vars, 142 del conss, 13 add conss, 0 chg bounds, 75 chg sides, 2594 chg coeffs, 211 upgd conss, 0 impls, 27635 clqs
2233.69/2239.69 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
2233.69/2239.69 c 51 deleted vars, 143 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 75 changed sides, 2659 changed coefficients
2233.69/2239.69 c 0 implications, 27636 cliques
2233.69/2239.69 c presolved problem has 6132 variables (6132 bin, 0 int, 0 cont) and 6979 constraints
2233.69/2239.69 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2233.69/2239.69 c 45 constraints of type <knapsack>
2233.69/2239.69 c 1430 constraints of type <setppc>
2233.69/2239.69 c 2 constraints of type <linear>
2233.69/2239.69 c 3 constraints of type <orbitope_pp>
2233.69/2239.69 c 5499 constraints of type <logicor>
2233.69/2239.69 c transformed objective value is always integral (scale: 1)
2233.69/2239.69 c Presolving Time: 6.72
2233.69/2239.69 c
2238.18/2244.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2238.18/2244.13 c 2244s| 1 | 0 | 5245k| - | 269M | 0 |6132 |6978 |6328 | 0 | 0 |1912 | 10 | 0.000000e+00 | -- | Inf | unknown
2242.46/2248.46 c 2248s| 1 | 0 | 5251k| - | 271M | 0 |6132 |6947 |6337 | 9 | 1 |1914 | 10 | 0.000000e+00 | -- | Inf | unknown
2247.85/2253.83 c 2254s| 1 | 0 | 5261k| - | 272M | 0 |6132 |6938 |6354 | 26 | 2 |1918 | 10 | 0.000000e+00 | -- | Inf | unknown
2251.54/2257.57 c 2258s| 1 | 0 | 5267k| - | 273M | 0 |6132 |6927 |6362 | 34 | 3 |1920 | 10 | 0.000000e+00 | -- | Inf | unknown
2257.53/2263.52 c 2264s| 1 | 0 | 5278k| - | 274M | 0 |6132 |6931 |6378 | 50 | 4 |1925 | 10 | 0.000000e+00 | -- | Inf | unknown
2264.02/2270.03 c 2270s| 1 | 0 | 5288k| - | 275M | 0 |6132 |6924 |6390 | 62 | 5 |1926 | 10 | 0.000000e+00 | -- | Inf | unknown
2271.29/2277.35 c 2277s| 1 | 0 | 5299k| - | 276M | 0 |6132 |6924 |6404 | 76 | 6 |1931 | 10 | 0.000000e+00 | -- | Inf | unknown
2278.08/2284.14 c 2284s| 1 | 0 | 5309k| - | 276M | 0 |6132 |6926 |6415 | 87 | 7 |1935 | 10 | 0.000000e+00 | -- | Inf | unknown
2283.16/2289.28 c 2289s| 1 | 0 | 5317k| - | 277M | 0 |6132 |6929 |6427 | 99 | 8 |1938 | 10 | 0.000000e+00 | -- | Inf | unknown
2289.55/2295.67 c 2296s| 1 | 0 | 5327k| - | 279M | 0 |6132 |6925 |6435 | 107 | 9 |1939 | 10 | 0.000000e+00 | -- | Inf | unknown
2296.33/2302.48 c 2302s| 1 | 0 | 5337k| - | 279M | 0 |6132 |6932 |6453 | 125 | 10 |1946 | 10 | 0.000000e+00 | -- | Inf | unknown
2301.82/2307.98 c 2308s| 1 | 0 | 5347k| - | 280M | 0 |6132 |6926 |6464 | 136 | 11 |1948 | 10 | 0.000000e+00 | -- | Inf | unknown
2337.43/2343.67 c 2344s| 1 | 2 | 5399k| - | 280M | 0 |6132 |6901 |6464 | 136 | 11 |1953 | 22 | 0.000000e+00 | -- | Inf | unknown
2429.80/2436.21 c 2436s| 100 | 35 | 5631k|2919.6 | 286M | 40 |6132 |6921 |6369 | 166 | 0 |1976 | 22 | 0.000000e+00 | -- | Inf | unknown
2498.92/2505.56 c 2506s| 200 | 39 | 5812k|2862.7 | 293M | 46 |6132 |6933 |6373 | 212 | 0 |2027 | 22 | 0.000000e+00 | -- | Inf | unknown
2545.51/2552.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2545.51/2552.21 c 2552s| 300 | 37 | 5948k|2789.1 | 300M | 52 |6132 |6942 | 0 | 337 | 0 |2062 | 22 | 0.000000e+00 | -- | Inf | unknown
2589.40/2596.25 c 2596s| 400 | 37 | 6078k|2719.5 | 306M | 52 |6132 |6956 |6385 | 424 | 1 |2102 | 22 | 0.000000e+00 | -- | Inf | unknown
2634.89/2641.84 c 2642s| 500 | 37 | 6210k|2657.1 | 309M | 52 |6132 |6928 |6385 | 504 | 1 |2127 | 22 | 0.000000e+00 | -- | Inf | unknown
2684.97/2692.00 c 2692s| 600 | 37 | 6361k|2608.2 | 312M | 52 |6132 |6944 |6384 | 601 | 1 |2151 | 22 | 0.000000e+00 | -- | Inf | unknown
2722.27/2729.42 c 2729s| 700 | 39 | 6476k|2548.4 | 313M | 52 |6132 |6955 |6384 | 664 | 1 |2180 | 22 | 0.000000e+00 | -- | Inf | unknown
2805.16/2812.50 c 2812s| 800 | 37 | 6710k|2540.3 | 314M | 52 |6132 |6933 |6370 | 795 | 0 |2196 | 22 | 0.000000e+00 | -- | Inf | 0.78%
2842.57/2850.00 c 2850s| 900 | 39 | 6822k|2486.5 | 318M | 52 |6132 |6943 |6386 | 867 | 0 |2211 | 22 | 0.000000e+00 | -- | Inf | 0.78%
2878.27/2885.87 c 2886s| 1000 | 37 | 6926k|2433.7 | 320M | 52 |6132 |6952 |6389 | 896 | 1 |2226 | 22 | 0.000000e+00 | -- | Inf | 0.78%
2914.58/2922.27 c 2922s| 1100 | 39 | 7032k|2385.5 | 322M | 52 |6132 |6958 |6385 | 959 | 0 |2240 | 22 | 0.000000e+00 | -- | Inf | 0.78%
2956.97/2964.77 c 2965s| 1200 | 37 | 7158k|2347.1 | 323M | 52 |6132 |6922 |6372 |1036 | 0 |2255 | 22 | 0.000000e+00 | -- | Inf | 0.78%
2996.66/3004.54 c 3005s| 1300 | 39 | 7279k|2309.8 | 325M | 52 |6132 |6939 |6385 |1102 | 0 |2280 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3041.85/3049.85 c 3050s| 1400 | 37 | 7417k|2280.2 | 327M | 52 |6132 |6954 |6388 |1196 | 1 |2305 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3090.22/3098.30 c 3098s| 1500 | 37 | 7562k|2254.5 | 329M | 52 |6132 |6965 |6394 |1345 | 2 |2335 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3119.44/3127.61 c 3128s| 1600 | 42 | 7649k|2213.2 | 330M | 60 |6132 |6981 |6396 |1391 | 1 |2362 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3143.79/3152.05 c 3152s| 1700 | 38 | 7722k|2170.2 | 331M | 64 |6132 |6998 |6386 |1431 | 1 |2391 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3177.89/3186.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3177.89/3186.26 c 3186s| 1800 | 37 | 7823k|2137.3 | 333M | 64 |6132 |7008 |6391 |1503 | 1 |2423 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3221.78/3230.25 c 3230s| 1900 | 35 | 7953k|2114.2 | 334M | 64 |6132 |6993 |6390 |1584 | 0 |2433 | 22 | 0.000000e+00 | -- | Inf | 0.78%
3306.76/3315.45 c 3315s| 2000 | 51 | 8164k|2114.2 | 335M | 64 |6132 |7004 |6364 |1621 | 1 |2515 | 22 | 0.000000e+00 | -- | Inf | 0.83%
3374.48/3383.34 c 3383s| 2100 | 49 | 8366k|2111.7 | 337M | 64 |6132 |7027 |6378 |1763 | 0 |2566 | 22 | 0.000000e+00 | -- | Inf | 0.85%
3422.36/3431.37 c 3431s| 2200 | 57 | 8510k|2094.6 | 337M | 64 |6132 |7007 |6384 |1855 | 1 |2606 | 22 | 0.000000e+00 | -- | Inf | 0.85%
3466.95/3476.08 c 3476s| 2300 | 56 | 8644k|2076.0 | 339M | 64 |6132 |7041 |6374 |1978 | 1 |2670 | 22 | 0.000000e+00 | -- | Inf | 0.85%
3514.62/3523.83 c 3524s| 2400 | 56 | 8789k|2060.9 | 339M | 64 |6132 |7049 |6387 |2085 | 1 |2704 | 22 | 0.000000e+00 | -- | Inf | 0.85%
3556.61/3565.98 c 3566s| 2500 | 56 | 8913k|2041.6 | 339M | 64 |6132 |7047 |6377 |2144 | 0 |2736 | 22 | 0.000000e+00 | -- | Inf | 0.85%
3587.53/3597.00 c
3587.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.53/3597.00 c Solving Time (sec) : 3597.00
3587.53/3597.00 c Solving Nodes : 2574 (total of 4317 nodes in 2 runs)
3587.53/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.53/3597.00 c Dual Bound : +0.00000000000000e+00
3587.53/3597.00 c Gap : infinite
3587.53/3597.00 s UNKNOWN
3587.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.53/3597.00 c Total Time : 3597.00
3587.53/3597.00 c solving : 3597.00
3587.53/3597.00 c presolving : 6.72 (included in solving)
3587.53/3597.00 c reading : 0.02 (included in solving)
3587.53/3597.00 c copying : 0.88 (61 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.53/3597.00 c Original Problem :
3587.53/3597.00 c Problem name : HOME/instance-4507419-1751190885.opb
3587.53/3597.00 c Variables : 6936 (6936 binary, 0 integer, 0 continuous)
3587.53/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.53/3597.00 c Constraints : 7142 initial, 7142 maximal
3587.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.53/3597.00 c Presolved Problem :
3587.53/3597.00 c Problem name : t_HOME/instance-4507419-1751190885.opb
3587.53/3597.00 c Variables : 6132 (6132 binary, 0 integer, 0 continuous)
3587.53/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.53/3597.00 c Constraints : 6979 initial, 7063 maximal
3587.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.53/3597.00 c Nonzeros : 78678 constraint, 61496 clique table
3587.53/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.53/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c domcol : 0.10 0.00 11 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c gateextraction : 0.04 0.00 16 0 0 0 0 0 3 1 0 0
3587.53/3597.00 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c milp : 0.09 0.00 1 102 1 0 0 0 0 0 0 0
3587.53/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c sparsify : 0.18 0.00 3 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c trivial : 0.00 0.00 37 335 0 0 0 0 0 0 0 0
3587.53/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c dualfix : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c probing : 5.37 0.00 10 221 1 0 0 0 0 0 0 0
3587.53/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c symmetry : 0.03 0.00 1 3 0 0 0 0 0 3 0 0
3587.53/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c knapsack : 0.01 0.00 61 0 0 0 0 0 0 12 34 135
3587.53/3597.00 c setppc : 0.06 0.00 61 0 0 0 0 0 112 0 0 0
3587.53/3597.00 c linear : 0.05 0.00 22 141 0 0 141 0 549 0 41 0
3587.53/3597.00 c orbitope_pp : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c logicor : 0.72 0.01 58 62 0 0 0 0 273 0 0 2939
3587.53/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c root node : - - - 51 - - 51 - - - - -
3587.53/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.53/3597.00 c integral : 0 0 0 0 2365 0 0 272 0 0 0 0 0 0 4730
3587.53/3597.00 c knapsack : 45 45 22 131857 0 0 0 267 36573 4 4121 0 0 0 0
3587.53/3597.00 c setppc : 1430+ 1457 22 133249 0 0 0 196 694211 249 150157 0 0 0 0
3587.53/3597.00 c linear : 2+ 22 11 51112 0 0 0 3 581 5 184 1 0 0 0
3587.53/3597.00 c orbitope_pp : 3 3 0 53489 0 0 0 0 2439 4 842 0 0 0 0
3587.53/3597.00 c logicor : 5499+ 5559 22 102101 0 0 0 0 1147686 335 249069 83 47 0 0
3587.53/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.53/3597.00 c integral : 13.46 0.00 0.00 0.00 13.46 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c knapsack : 0.25 0.00 0.06 0.18 0.00 0.00 0.00 0.00 0.01 0.00
3587.53/3597.00 c setppc : 1.47 0.00 0.00 1.22 0.00 0.00 0.00 0.00 0.19 0.06
3587.53/3597.00 c linear : 0.06 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.01
3587.53/3597.00 c orbitope_pp : 0.14 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c logicor : 2.93 0.01 0.02 2.49 0.00 0.00 0.00 0.00 0.40 0.02
3587.53/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.53/3597.00 c dualfix : 2 0 0 0
3587.53/3597.00 c genvbounds : 0 0 0 0
3587.53/3597.00 c nlobbt : 0 0 0 0
3587.53/3597.00 c obbt : 0 0 0 0
3587.53/3597.00 c probing : 0 0 0 0
3587.53/3597.00 c pseudoobj : 0 0 0 0
3587.53/3597.00 c redcost : 0 0 0 0
3587.53/3597.00 c rootredcost : 0 0 0 0
3587.53/3597.00 c symmetry : 23318 0 0 58
3587.53/3597.00 c vbounds : 30207 0 0 0
3587.53/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.53/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.00 c probing : 5.37 0.00 5.37 0.00 0.00 0.00
3587.53/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.53/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.53/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.53/3597.00 c symmetry : 0.09 0.00 0.03 0.07 0.00 0.00
3587.53/3597.00 c vbounds : 0.28 0.00 0.01 0.27 0.00 0.00
3587.53/3597.00 c Symmetry :
3587.53/3597.00 c #affected vars : 1300 (1300 bin, 0 int, 0 cont)
3587.53/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.53/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.53/3597.00 c lexicographic red: 58 reductions applied, 0 cutoffs
3587.53/3597.00 c shadow tree time : 0.01 s
3587.53/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.53/3597.00 c propagation : 0.14 589 438 - 3404 201.4 79 21.8 - - -
3587.53/3597.00 c infeasible LP : 7.47 1940 564 - 13347 1345.9 49 14.3 18 357.0 0
3587.53/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.53/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.53/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.53/3597.00 c applied globally : 0.09 - - 0 2713 208.5 - - 18 - -
3587.53/3597.00 c applied locally : - - - 0 27 1175.1 - - 0 - -
3587.53/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.53/3597.00 c cut pool : 0.48 - 815 42 - - 4002 60503 - - - - - (maximal pool size: 1873)
3587.53/3597.00 c aggregation : 0.27 0.00 225 22 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.53/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.53/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.53/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c clique : 0.72 0.00 22 22 0 0 175 1159 0 253 253 0 0
3587.53/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c gomory : 25.99 0.00 223 20 0 0 3614 53028 236 2188 2183 5 0
3587.53/3597.00 c > gomorymi : - - - - - - - 23856 118 1370 1369 1 -
3587.53/3597.00 c > strongcg : - - - - - - - 29172 118 818 814 4 -
3587.53/3597.00 c impliedbounds : 0.26 0.00 225 22 0 0 143 711 0 192 192 0 0
3587.53/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c multilinear : 0.00 0.00 68 22 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c rapidlearning : 36.77 0.00 56 2 0 37594 0 0 0 0 0 0 534
3587.53/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.53/3597.00 c zerohalf : 11.93 0.00 225 22 0 0 749 5605 443 1646 1257 389 0
3587.53/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.53/3597.00 c hybrid : 0.12 0.00 581 22 4387 0 55938 234 0 311
3587.53/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.53/3597.00 c problem variables: 0.00 - 0 0
3587.53/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.53/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c relpscost : 13.46 0.00 2365 0 0 0 0 0 0 4730
3587.53/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.53/3597.00 c LP solutions : 0.00 - - 0 0
3587.53/3597.00 c relax solutions : 0.00 - - 0 0
3587.53/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.53/3597.00 c strong branching : 0.00 - - 0 0
3587.53/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.53/3597.00 c adaptivediving : 54.46 0.00 7 0 0
3587.53/3597.00 c alns : 4.49 0.00 3 0 0
3587.53/3597.00 c bound : 0.00 0.00 0 0 0
3587.53/3597.00 c clique : 0.03 0.00 1 0 0
3587.53/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.53/3597.00 c completesol : 0.00 0.00 0 0 0
3587.53/3597.00 c conflictdiving : 94.52 0.00 10 0 0
3587.53/3597.00 c crossover : 0.00 0.00 0 0 0
3587.53/3597.00 c dins : 0.00 0.00 0 0 0
3587.53/3597.00 c distributiondivin: 27.51 0.00 9 0 0
3587.53/3597.00 c dks : 0.00 0.00 0 0 0
3587.53/3597.00 c dps : 0.00 0.00 0 0 0
3587.53/3597.00 c dualval : 0.00 0.00 0 0 0
3587.53/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.53/3597.00 c feaspump : 78.53 0.00 5 0 0
3587.53/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.53/3597.00 c fracdiving : 24.95 0.00 10 0 0
3587.53/3597.00 c gins : 0.00 0.00 0 0 0
3587.53/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.53/3597.00 c indicator : 0.00 0.00 0 0 0
3587.53/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.53/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.53/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.53/3597.00 c linesearchdiving : 14.61 0.00 9 0 0
3587.53/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.53/3597.00 c locks : 0.02 0.00 1 0 0
3587.53/3597.00 c lpface : 0.03 0.00 0 0 0
3587.53/3597.00 c mpec : 0.00 0.00 0 0 0
3587.53/3597.00 c multistart : 0.00 0.00 0 0 0
3587.53/3597.00 c mutation : 0.00 0.00 0 0 0
3587.53/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.53/3597.00 c objpscostdiving : 81.24 0.00 5 0 0
3587.53/3597.00 c octane : 0.00 0.00 0 0 0
3587.53/3597.00 c ofins : 0.00 0.00 0 0 0
3587.53/3597.00 c oneopt : 0.00 0.00 0 0 0
3587.53/3597.00 c padm : 0.00 0.00 0 0 0
3587.53/3597.00 c proximity : 0.00 0.00 0 0 0
3587.53/3597.00 c pscostdiving : 106.88 0.00 10 0 0
3587.53/3597.00 c randrounding : 0.23 0.00 282 0 0
3587.53/3597.00 c rens : 0.18 0.00 2 0 0
3587.53/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.53/3597.00 c repair : 0.00 0.00 0 0 0
3587.53/3597.00 c rins : 0.00 0.00 0 0 0
3587.53/3597.00 c rootsoldiving : 34.11 0.00 5 0 0
3587.53/3597.00 c rounding : 0.15 0.00 700 0 0
3587.53/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.53/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0
3587.53/3597.00 c shifting : 0.48 0.00 337 0 0
3587.53/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.53/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.53/3597.00 c trivial : 0.01 0.00 4 0 0
3587.53/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.53/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.53/3597.00 c trysol : 0.00 0.00 0 0 0
3587.53/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.53/3597.00 c undercover : 0.00 0.00 0 0 0
3587.53/3597.00 c vbounds : 0.07 0.00 2 0 0
3587.53/3597.00 c veclendiving : 44.36 0.00 10 0 0
3587.53/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.53/3597.00 c zirounding : 0.08 0.00 1000 0 0
3587.53/3597.00 c other solutions : - - - 0 -
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/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
3587.53/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.53/3597.00 c primal LP : 1.24 275 0 0.00 0.00 1.24 275
3587.53/3597.00 c dual LP : 2915.63 4855 7783061 1610.07 2669.43 0.83 21
3587.53/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.53/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.53/3597.00 c resolve instable : 2.42 5 12020 2404.00 4974.92
3587.53/3597.00 c diving/probing LP: 560.16 1186 1223306 1031.46 2183.83
3587.53/3597.00 c strong branching : 10.32 22 17970 816.82 1740.89 - - 30
3587.53/3597.00 c (at root node) : - 22 17970 816.82 -
3587.53/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.53/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.53/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.53/3597.00 c B&B Tree :
3587.53/3597.00 c number of runs : 2
3587.53/3597.00 c nodes : 2574 (1316 internal, 1258 leaves)
3587.53/3597.00 c feasible leaves : 0
3587.53/3597.00 c infeas. leaves : 1257
3587.53/3597.00 c objective leaves : 0
3587.53/3597.00 c nodes (total) : 4317 (2365 internal, 1952 leaves)
3587.53/3597.00 c nodes left : 57
3587.53/3597.00 c max depth : 64
3587.53/3597.00 c max depth (total): 64
3587.53/3597.00 c backtracks : 408 (15.9%)
3587.53/3597.00 c early backtracks : 0 (0.0%)
3587.53/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.53/3597.00 c delayed cutoffs : 3
3587.53/3597.00 c repropagations : 918 (7392 domain reductions, 3 cutoffs)
3587.53/3597.00 c avg switch length: 3.01
3587.53/3597.00 c switching time : 2.97
3587.53/3597.00 c Root Node :
3587.53/3597.00 c First LP value : +0.00000000000000e+00
3587.53/3597.00 c First LP Iters : 12268 (2641.77 Iter/sec)
3587.53/3597.00 c First LP Time : 4.64
3587.53/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.53/3597.00 c Final Root Iters : 253211
3587.53/3597.00 c Root LP Estimate : +2.90251790278761e-02
3587.53/3597.00 c Solution :
3587.53/3597.00 c Solutions found : 0 (0 improvements)
3587.53/3597.00 c Primal Bound : -
3587.53/3597.00 c Dual Bound : +0.00000000000000e+00
3587.53/3597.00 c Gap : infinite
3587.53/3597.00 c Integrals : Total Avg%
3587.53/3597.00 c primal-dual : 359699.90 100.00
3587.53/3597.00 c primal-ref : - - (not evaluated)
3587.53/3597.00 c dual-ref : - - (not evaluated)
3587.63/3597.06 c Time complete (sec): 3587.699
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 (62377 MiB free)
memory of node 1: 64465 MiB (63914 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507419-1751190885/watcher-4507419-1751190885 -o /tmp/evaluation-result-4507419-1751190885/solver-4507419-1751190885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22784 --watchdog 3760 pbsolver -f HOME/instance-4507419-1751190885.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23536, runsolver pid=23533
[startup+0.100061 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129275324/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=61768 memory=51976 CPUtime=0.09 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 11749 0 0 0 8 1 0 0 20 0 1 0 34711073 63250432 12994 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 15442 12994 2496 2575 0 12349 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61768 KiB
Current children cumulated memory: 51976 KiB
[startup+0.205593 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129275324/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=66140 memory=56412 CPUtime=0.2 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 13462 0 0 0 18 2 0 0 20 0 1 0 34711073 67727360 14103 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 16535 14103 2560 2575 0 13442 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 56412 KiB
[startup+0.30556 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129260708/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=82204 memory=69468 CPUtime=0.29 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 16790 0 0 0 27 2 0 0 20 0 1 0 34711073 84176896 17367 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 20551 17367 2560 2575 0 17458 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82204 KiB
Current children cumulated memory: 69468 KiB
[startup+0.700169 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129252644/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=90576 memory=77916 CPUtime=0.69 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 18867 0 0 0 66 3 0 0 20 0 1 0 34711073 92749824 19479 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 22644 19479 2592 2575 0 19551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90576 KiB
Current children cumulated memory: 77916 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129252644/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=90576 memory=77916 CPUtime=1.49 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 18867 0 0 0 146 3 0 0 20 0 1 0 34711073 92749824 19479 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 22644 19479 2592 2575 0 19551 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 90576 KiB
Current children cumulated memory: 77916 KiB
[startup+3.10534 s]
/proc/loadavg: 4.07 4.09 4.09 4/261 23545
/proc/meminfo: memFree=129818852/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=90576 memory=78684 CPUtime=3.09 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 19061 0 0 0 306 3 0 0 20 0 1 0 34711073 92749824 19671 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 22644 19671 2592 2575 0 19551 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 90576 KiB
Current children cumulated memory: 78684 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129706288/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=145644 memory=113884 CPUtime=6.27 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 27888 0 0 0 623 4 0 0 20 0 1 0 34711073 149139456 28471 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 36411 28471 2592 2575 0 33318 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 145644 KiB
Current children cumulated memory: 113884 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129649420/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=169632 memory=136796 CPUtime=12.65 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 33618 0 0 0 1260 5 0 0 20 0 1 0 34711073 173703168 34199 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 42408 34199 2656 2575 0 39315 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 136796 KiB
[startup+25.5001 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 23583
/proc/meminfo: memFree=129575960/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=171688 memory=137948 CPUtime=25.42 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 33922 0 0 0 2537 5 0 0 20 0 1 0 34711073 175808512 34487 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 42922 34487 2656 2575 0 39829 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 171688 KiB
Current children cumulated memory: 137948 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23583
/proc/meminfo: memFree=129255976/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=245772 memory=209240 CPUtime=50.96 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 51861 0 0 0 5088 8 0 0 20 0 1 0 34711073 251670528 52310 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 61443 52310 2688 2575 0 58350 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 245772 KiB
Current children cumulated memory: 209240 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23585
/proc/meminfo: memFree=129046660/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=273624 CPUtime=102.02 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 67966 0 0 0 10191 11 0 0 20 0 1 0 34711073 316780544 68406 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 68406 2688 2575 0 74246 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 273624 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 23587
/proc/meminfo: memFree=129017988/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=275800 CPUtime=161.86 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 68541 0 0 0 16175 11 0 0 20 0 1 0 34711073 316780544 68950 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 68950 2688 2575 0 74246 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 275800 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 23589
/proc/meminfo: memFree=128969988/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=275800 CPUtime=221.7 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 68541 0 0 0 22159 11 0 0 20 0 1 0 34711073 316780544 68950 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 68950 2688 2575 0 74246 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 275800 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 23593
/proc/meminfo: memFree=128972208/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=275800 CPUtime=281.55 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 68541 0 0 0 28144 11 0 0 20 0 1 0 34711073 316780544 68950 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 68950 2688 2575 0 74246 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 275800 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 23595
/proc/meminfo: memFree=128964636/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=276952 CPUtime=341.4 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 68574 0 0 0 34129 11 0 0 20 0 1 0 34711073 316780544 69238 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 69238 2944 2575 0 74246 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 276952 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 23608
/proc/meminfo: memFree=128940340/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=288728 CPUtime=401.24 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 68608 0 0 0 40113 11 0 0 20 0 1 0 34711073 316780544 72182 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 72182 2944 2575 0 74246 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 288728 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 23613
/proc/meminfo: memFree=128926372/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=309356 memory=290520 CPUtime=461.08 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 68677 0 0 0 46097 11 0 0 20 0 1 0 34711073 316780544 72630 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 77339 72630 2944 2575 0 74246 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
/proc/loadavg: 4.13 4.14 4.10 5/265 23748
/proc/meminfo: memFree=128736364/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=389376 memory=377516 CPUtime=3154.05 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 129889 0 0 0 315383 22 0 0 20 0 1 0 34711073 398721024 94379 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 97344 94379 2944 2575 0 94251 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 389376 KiB
Current children cumulated memory: 377516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 23751
/proc/meminfo: memFree=128738736/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=389376 memory=377516 CPUtime=3213.9 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 129890 0 0 0 321368 22 0 0 20 0 1 0 34711073 398721024 94379 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 97344 94379 2944 2575 0 94251 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 389376 KiB
Current children cumulated memory: 377516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/265 23753
/proc/meminfo: memFree=128705656/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=404732 memory=390760 CPUtime=3273.75 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 137436 0 0 0 327352 23 0 0 20 0 1 0 34711073 414445568 97690 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101183 97690 2944 2575 0 98090 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 404732 KiB
Current children cumulated memory: 390760 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 23755
/proc/meminfo: memFree=128726100/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=404732 memory=390760 CPUtime=3333.59 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 137454 0 0 0 333336 23 0 0 20 0 1 0 34711073 414445568 97690 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101183 97690 2944 2575 0 98090 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 404732 KiB
Current children cumulated memory: 390760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 23757
/proc/meminfo: memFree=128726512/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=406596 memory=394472 CPUtime=3393.43 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138415 0 0 0 339320 23 0 0 20 0 1 0 34711073 416354304 98618 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101649 98618 2944 2575 0 98556 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 406596 KiB
Current children cumulated memory: 394472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 23761
/proc/meminfo: memFree=128727892/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=406596 memory=394472 CPUtime=3453.28 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138523 0 0 0 345305 23 0 0 20 0 1 0 34711073 416354304 98618 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101649 98618 2944 2575 0 98556 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 406596 KiB
Current children cumulated memory: 394472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 23768
/proc/meminfo: memFree=128721496/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=406596 memory=394600 CPUtime=3513.12 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138569 0 0 0 351289 23 0 0 20 0 1 0 34711073 416354304 98650 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101649 98650 2944 2575 0 98556 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 406596 KiB
Current children cumulated memory: 394600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128714672/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3572.97 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 357274 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3597.06 s]
# the end of solver process 23536 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.46 s, system=0.241309 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715176/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3574.67 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 357444 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3574.67 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715176/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3581.05 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 358082 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3584.24 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 358401 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3585.83 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 358560 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 23778
/proc/meminfo: memFree=129005740/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3586.64 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 358641 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 23778
/proc/meminfo: memFree=129005740/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3587.43 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 358720 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 3/251 23832
/proc/meminfo: memFree=129338600/131250000 swapFree=33010684/33010684
[pid=23536] ppid=23533 vsize=407820 memory=395880 CPUtime=3587.63 cores=5,7
/proc/23536/stat : 23536 (pbsolver) R 23533 23536 22771 0 -1 4194304 138908 0 0 0 358740 23 0 0 20 0 1 0 34711073 417607680 98970 18446744073709551615 4198400 14743177 140734971725280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44146688 140734971730314 140734971730410 140734971730410 140734971736012 0
/proc/23536/statm: 101955 98970 2944 2575 0 98862 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 395880 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.7
CPU user time (s): 3587.46
CPU system time (s): 0.241309
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 420952
Max. memory (cumulated for all children) (KiB): 406700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.46
system time used= 0.241309
maximum resident set size= 407084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138926
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= 44
involuntary context switches= 1458
# summary of solver processes directly reported to runsolver:
# pid: 23536
# total CPU time (s): 3587.7
# total CPU user time (s): 3587.46
# total CPU system time (s): 0.241309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08877 second user time and 14.3199 second system time
The end
Begin job on nodeC028 at 2025-06-29 11:54:46 IDJOB=4507419 IDBENCH=158352 IDSOLVER=3366 FILE ID=nodeC028/4507419-1751190885 RUNJOBID= nodeC028-1751183686-22784 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_K102.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507419-1751190885/watcher-4507419-1751190885 -o /tmp/evaluation-result-4507419-1751190885/solver-4507419-1751190885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22784 --watchdog 3760 pbsolver -f HOME/instance-4507419-1751190885.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 433935bc469f703143ab8083d95aeb05 RANDOM SEED=1148741347 nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.085 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.084 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 : 3609.343 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 : 3597.501 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.070 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.955 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 : 3579.000 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 : 3600.078 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: 129322724 kB MemAvailable: 129037428 kB Buffers: 3280 kB Cached: 525392 kB SwapCached: 0 kB Active: 1070748 kB Inactive: 269016 kB Active(anon): 829168 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 269016 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 46060 kB Writeback: 52 kB AnonPages: 814236 kB Mapped: 135624 kB Shmem: 18068 kB KReclaimable: 86696 kB Slab: 169692 kB SReclaimable: 86696 kB SUnreclaim: 82996 kB KernelStack: 4272 kB PageTables: 4536 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1201436 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 608256 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= 433032 MiB End job on nodeC028 at 2025-06-29 12:54:43