| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3584.85 | 3597.12 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
| MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 15946 |
| Total number of constraints | 16216 |
| Number of constraints which are clauses | 16082 |
| Number of constraints which are cardinality constraints (but not clauses) | 134 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| 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 | 135 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4506735-1751175589.opb>
0.00/0.05 c original problem has 15946 variables (15946 bin, 0 int, 0 cont) and 16216 constraints
0.00/0.05 c problem read in 0.056 seconds
0.00/0.05 c problem without objective
0.09/0.12 c presolving:
0.09/0.15 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1835 clqs
0.09/0.16 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1819 clqs
0.09/0.16 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1840 clqs
0.09/0.17 c (round 4, fast) 1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1873 clqs
0.09/0.17 c (round 5, fast) 1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1894 clqs
0.09/0.18 c (round 6, fast) 1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1904 clqs
0.19/0.22 c (0.2s) running MILP presolver
0.39/0.46 c (0.5s) MILP presolver (4 rounds): 1 aggregations, 138 fixings, 0 bound changes
0.39/0.46 c (round 7, medium) 1320 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1912 clqs
0.39/0.47 c (round 8, fast) 1320 del vars, 775 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1917 clqs
0.39/0.49 c (round 9, exhaustive) 1320 del vars, 906 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1917 clqs
0.49/0.57 c (round 10, exhaustive) 1320 del vars, 906 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15310 upgd conss, 0 impls, 1917 clqs
0.67/0.72 c (round 11, exhaustive) 1426 del vars, 906 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15310 upgd conss, 0 impls, 1905 clqs
0.67/0.73 c (round 12, fast) 1532 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15310 upgd conss, 0 impls, 1905 clqs
2.47/2.50 c (round 13, exhaustive) 1558 del vars, 1013 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15310 upgd conss, 0 impls, 96814 clqs
2.47/2.51 c (round 14, fast) 1559 del vars, 1039 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15310 upgd conss, 0 impls, 96825 clqs
3.97/4.02 c (round 15, exhaustive) 1584 del vars, 1039 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15310 upgd conss, 0 impls, 96801 clqs
3.97/4.03 c (round 16, fast) 1584 del vars, 1064 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 213 chg coeffs, 15310 upgd conss, 0 impls, 96808 clqs
5.16/5.20 c (round 17, exhaustive) 1609 del vars, 1064 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 213 chg coeffs, 15310 upgd conss, 0 impls, 96814 clqs
5.16/5.21 c (round 18, fast) 1609 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 273 chg coeffs, 15310 upgd conss, 0 impls, 96826 clqs
5.86/5.97 c (round 19, exhaustive) 1635 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 273 chg coeffs, 15310 upgd conss, 0 impls, 96838 clqs
5.86/5.98 c (round 20, fast) 1636 del vars, 1115 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 342 chg coeffs, 15310 upgd conss, 0 impls, 96854 clqs
7.66/7.71 c (round 21, exhaustive) 1661 del vars, 1115 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 342 chg coeffs, 15310 upgd conss, 0 impls, 96832 clqs
7.66/7.71 c (round 22, fast) 1661 del vars, 1140 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 403 chg coeffs, 15310 upgd conss, 0 impls, 96852 clqs
7.86/7.95 c (round 23, exhaustive) 1687 del vars, 1140 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 403 chg coeffs, 15310 upgd conss, 0 impls, 96859 clqs
7.86/7.96 c (round 24, fast) 1688 del vars, 1166 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 465 chg coeffs, 15310 upgd conss, 0 impls, 96865 clqs
8.06/8.19 c (8.2s) probing: 1000/14959 (6.7%) - 170 fixings, 0 aggregations, 1065907 implications, 0 bound changes
8.06/8.19 c (round 25, exhaustive) 1716 del vars, 1166 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 465 chg coeffs, 15310 upgd conss, 0 impls, 96889 clqs
8.15/8.20 c (round 26, fast) 1720 del vars, 1195 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 538 chg coeffs, 15310 upgd conss, 0 impls, 96899 clqs
8.55/8.61 c (round 27, exhaustive) 1746 del vars, 1195 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 539 chg coeffs, 15310 upgd conss, 0 impls, 94482 clqs
8.55/8.62 c (round 28, fast) 1746 del vars, 1221 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 641 chg coeffs, 15310 upgd conss, 0 impls, 94508 clqs
12.74/12.85 c (round 29, exhaustive) 1771 del vars, 1221 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 641 chg coeffs, 15310 upgd conss, 0 impls, 96925 clqs
12.74/12.86 c (round 30, fast) 1771 del vars, 1246 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 699 chg coeffs, 15310 upgd conss, 0 impls, 96933 clqs
13.04/13.17 c (round 31, exhaustive) 1796 del vars, 1246 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 699 chg coeffs, 15310 upgd conss, 0 impls, 96920 clqs
13.04/13.17 c (round 32, fast) 1796 del vars, 1271 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 752 chg coeffs, 15310 upgd conss, 0 impls, 96931 clqs
13.34/13.44 c (round 33, exhaustive) 1825 del vars, 1271 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 752 chg coeffs, 15310 upgd conss, 0 impls, 96914 clqs
13.34/13.45 c (round 34, fast) 1829 del vars, 1300 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 800 chg coeffs, 15310 upgd conss, 0 impls, 96922 clqs
13.54/13.69 c (round 35, exhaustive) 1854 del vars, 1300 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 800 chg coeffs, 15310 upgd conss, 0 impls, 96773 clqs
13.54/13.69 c (round 36, fast) 1854 del vars, 1325 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 823 chg coeffs, 15310 upgd conss, 0 impls, 96773 clqs
13.84/13.92 c (round 37, exhaustive) 1879 del vars, 1325 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 823 chg coeffs, 15310 upgd conss, 0 impls, 96694 clqs
13.84/13.93 c (round 38, fast) 1879 del vars, 1350 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 848 chg coeffs, 15310 upgd conss, 0 impls, 96694 clqs
14.04/14.16 c (round 39, exhaustive) 1906 del vars, 1350 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 848 chg coeffs, 15310 upgd conss, 0 impls, 96822 clqs
14.04/14.17 c (round 40, fast) 1908 del vars, 1377 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 899 chg coeffs, 15310 upgd conss, 0 impls, 96827 clqs
14.33/14.40 c (round 41, exhaustive) 1933 del vars, 1377 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 899 chg coeffs, 15310 upgd conss, 0 impls, 96686 clqs
14.33/14.41 c (round 42, fast) 1933 del vars, 1402 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 921 chg coeffs, 15310 upgd conss, 0 impls, 96686 clqs
14.63/14.77 c (round 43, exhaustive) 1958 del vars, 1402 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 921 chg coeffs, 15310 upgd conss, 0 impls, 96593 clqs
14.63/14.77 c (round 44, fast) 1958 del vars, 1427 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 946 chg coeffs, 15310 upgd conss, 0 impls, 96593 clqs
16.63/16.72 c (16.7s) probing: 2000/14959 (13.4%) - 410 fixings, 1 aggregations, 2352772 implications, 0 bound changes
23.01/23.16 c (23.2s) probing: 3000/14959 (20.1%) - 424 fixings, 1 aggregations, 3559895 implications, 0 bound changes
23.70/23.81 c (round 45, exhaustive) 1983 del vars, 1427 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 946 chg coeffs, 15310 upgd conss, 0 impls, 97024 clqs
23.70/23.82 c (round 46, fast) 1983 del vars, 1452 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 972 chg coeffs, 15310 upgd conss, 0 impls, 97024 clqs
23.91/24.05 c (round 47, exhaustive) 2008 del vars, 1452 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 972 chg coeffs, 15310 upgd conss, 0 impls, 97052 clqs
23.91/24.06 c (round 48, fast) 2008 del vars, 1477 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 997 chg coeffs, 15310 upgd conss, 0 impls, 97052 clqs
28.89/29.09 c (29.1s) probing: 4000/14959 (26.7%) - 472 fixings, 1 aggregations, 4517297 implications, 0 bound changes
33.98/34.15 c (round 49, exhaustive) 2033 del vars, 1477 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 997 chg coeffs, 15310 upgd conss, 0 impls, 97075 clqs
33.98/34.16 c (round 50, fast) 2033 del vars, 1502 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1028 chg coeffs, 15310 upgd conss, 0 impls, 97077 clqs
34.27/34.42 c (round 51, exhaustive) 2058 del vars, 1502 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1028 chg coeffs, 15310 upgd conss, 0 impls, 97077 clqs
34.27/34.43 c (round 52, fast) 2058 del vars, 1527 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1055 chg coeffs, 15310 upgd conss, 0 impls, 97077 clqs
34.47/34.65 c (34.7s) probing: 5000/14959 (33.4%) - 500 fixings, 1 aggregations, 5387598 implications, 0 bound changes
39.96/40.11 c (40.1s) probing: 6000/14959 (40.1%) - 503 fixings, 1 aggregations, 6305124 implications, 0 bound changes
43.04/43.28 c (43.3s) probing: 6580/14959 (44.0%) - 503 fixings, 1 aggregations, 6837021 implications, 0 bound changes
43.04/43.28 c (43.3s) probing aborted: 1000/1000 successive useless probings
43.14/43.31 c (43.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
43.14/43.35 c (43.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
43.14/43.37 c dynamic symmetry handling statistics:
43.14/43.37 c orbitopal reduction: no components
43.14/43.37 c orbital reduction: no components
43.14/43.37 c lexicographic reduction: 3 permutations with support sizes 1222, 512, 244
43.14/43.37 c handled 4 out of 4 symmetry components
43.25/43.40 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
43.25/43.40 c 2064 deleted vars, 1530 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1058 changed coefficients
43.25/43.40 c 0 implications, 97116 cliques
43.25/43.40 c presolved problem has 14439 variables (14439 bin, 0 int, 0 cont) and 14687 constraints
43.25/43.40 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
43.25/43.40 c 1 constraints of type <knapsack>
43.25/43.40 c 1806 constraints of type <setppc>
43.25/43.40 c 1 constraints of type <orbitope_pp>
43.25/43.40 c 12879 constraints of type <logicor>
43.25/43.40 c transformed objective value is always integral (scale: 1)
43.25/43.40 c Presolving Time: 43.28
43.25/43.40 c
43.25/43.40 c - non default parameters ----------------------------------------------------------------------
43.25/43.40 c
43.25/43.40 c # SCIP version 10.0.0
43.25/43.40 c
43.25/43.40 c # maximal time in seconds to run
43.25/43.40 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
43.25/43.40 c limits/time = 3596.998011
43.25/43.40 c
43.25/43.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
43.25/43.40 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
43.25/43.40 c limits/memory = 27900
43.25/43.40 c
43.25/43.40 c # belongs reading time to solving time?
43.25/43.40 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
43.25/43.40 c timing/reading = TRUE
43.25/43.40 c
43.25/43.40 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
43.25/43.40 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
43.25/43.40 c reading/opbreader/maxintsize = 47
43.25/43.40 c
43.25/43.40 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
43.25/43.40 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
43.25/43.40 c propagating/genvbounds/timingmask = 0
43.25/43.40 c
43.25/43.40 c -----------------------------------------------------------------------------------------------
43.25/43.40 c
59.29/59.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
59.29/59.54 c 59.5s| 1 | 0 | 15815 | - | 284M | 0 | 14k| 14k| 14k| 0 | 0 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
298.97/300.05 c 300s| 1 | 0 |111145 | - | 310M | 0 | 14k| 14k| 14k| 6 | 1 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown
315.30/316.43 c 316s| 1 | 0 |120512 | - | 315M | 0 | 14k| 14k| 14k| 10 | 2 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
335.43/336.69 c 337s| 1 | 0 |131826 | - | 316M | 0 | 14k| 14k| 14k| 22 | 3 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
359.45/360.74 c 361s| 1 | 0 |143124 | - | 326M | 0 | 14k| 14k| 14k| 27 | 4 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
387.56/388.92 c 389s| 1 | 0 |156117 | - | 328M | 0 | 14k| 14k| 14k| 39 | 5 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
421.04/422.50 c 423s| 1 | 0 |170940 | - | 330M | 0 | 14k| 14k| 14k| 58 | 6 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
454.72/456.31 c 456s| 1 | 0 |185722 | - | 332M | 0 | 14k| 14k| 14k| 71 | 7 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
480.34/482.01 c 482s| 1 | 0 |197023 | - | 337M | 0 | 14k| 14k| 14k| 81 | 8 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
511.02/512.89 c 513s| 1 | 0 |210021 | - | 339M | 0 | 14k| 14k| 14k| 95 | 9 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
543.71/545.64 c 546s| 1 | 0 |223422 | - | 346M | 0 | 14k| 14k| 14k| 117 | 10 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
574.30/576.35 c 576s| 1 | 0 |236393 | - | 348M | 0 | 14k| 14k| 14k| 134 | 11 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
773.54/776.29 c 776s| 1 | 2 |284410 | - | 351M | 0 | 14k| 14k| 14k| 134 | 11 | 168 | 20 | 0.000000e+00 | -- | Inf | unknown
2277.21/2285.27 c 2285s| 100 | 27 | 1406k|11814.9 | 359M | 34 | 14k| 14k| 14k| 164 | 1 | 202 | 20 | 0.000000e+00 | -- | Inf | unknown
3196.63/3207.62 c 3208s| 200 | 35 | 2054k|9137.3 | 395M | 39 | 14k| 14k| 14k| 166 | 1 | 251 | 20 | 0.000000e+00 | -- | Inf | unknown
3584.63/3597.00 c
3584.63/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.63/3597.00 c Solving Time (sec) : 3597.00
3584.63/3597.00 c Solving Nodes : 266
3584.63/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.63/3597.00 c Dual Bound : +0.00000000000000e+00
3584.63/3597.00 c Gap : infinite
3584.63/3597.00 s UNKNOWN
3584.63/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.63/3597.00 c Total Time : 3597.00
3584.63/3597.00 c solving : 3597.00
3584.63/3597.00 c presolving : 43.28 (included in solving)
3584.63/3597.00 c reading : 0.06 (included in solving)
3584.63/3597.00 c copying : 0.15 (4 #copies) (minimal 0.03, maximal 0.05, average 0.04)
3584.63/3597.00 c Original Problem :
3584.63/3597.00 c Problem name : HOME/instance-4506735-1751175589.opb
3584.63/3597.00 c Variables : 15946 (15946 binary, 0 integer, 0 continuous)
3584.63/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.63/3597.00 c Constraints : 16216 initial, 16216 maximal
3584.63/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.63/3597.00 c Presolved Problem :
3584.63/3597.00 c Problem name : t_HOME/instance-4506735-1751175589.opb
3584.63/3597.00 c Variables : 14439 (14439 binary, 0 integer, 0 continuous)
3584.63/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.63/3597.00 c Constraints : 14687 initial, 14863 maximal
3584.63/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.63/3597.00 c Nonzeros : 80216 constraint, 208411 clique table
3584.63/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.63/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c domcol : 0.78 0.00 21 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 3 0 0 3
3584.63/3597.00 c gateextraction : 0.17 0.00 22 0 0 0 0 0 1 0 0 0
3584.63/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c milp : 0.28 0.00 1 138 1 0 0 0 0 0 0 0
3584.63/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c sparsify : 0.50 0.00 4 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c trivial : 0.03 0.00 53 557 0 0 0 0 0 0 0 0
3584.63/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c probing : 37.58 0.00 21 503 1 0 0 0 0 0 0 0
3584.63/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c symmetry : 0.07 0.00 1 3 0 0 0 0 0 1 0 0
3584.63/3597.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c knapsack : 0.01 0.00 87 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c setppc : 0.17 0.00 87 0 0 0 0 0 110 0 0 0
3584.63/3597.00 c linear : 0.13 0.01 12 303 0 0 303 0 906 0 0 0
3584.63/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c logicor : 3.43 0.01 87 107 0 0 0 0 510 0 0 1055
3584.63/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c root node : - - - 0 - - 0 - - - - -
3584.63/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.63/3597.00 c integral : 0 0 0 0 150 0 0 15 0 0 0 0 0 0 300
3584.63/3597.00 c knapsack : 1 1 11 196041 0 0 0 11 0 0 8 0 0 0 0
3584.63/3597.00 c setppc : 1806+ 1889 11 203472 0 0 0 11 68580 344 24711 0 0 0 0
3584.63/3597.00 c linear : 0+ 1 0 5722 0 0 0 3 0 1 0 0 0 0 0
3584.63/3597.00 c orbitope_pp : 1 1 0 9702 0 0 0 0 141 1 71 0 0 0 0
3584.63/3597.00 c logicor : 12879+ 12971 11 104889 0 0 0 0 224291 112 47592 21 8 0 0
3584.63/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.63/3597.00 c integral : 37.42 0.00 0.00 0.00 37.42 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c knapsack : 0.22 0.00 0.01 0.22 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c setppc : 3.24 0.00 0.01 3.19 0.00 0.00 0.00 0.00 0.02 0.02
3584.63/3597.00 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c orbitope_pp : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c logicor : 10.39 0.01 0.03 10.22 0.00 0.00 0.00 0.00 0.10 0.02
3584.63/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.63/3597.00 c dualfix : 1 0 0 0
3584.63/3597.00 c genvbounds : 0 0 0 0
3584.63/3597.00 c nlobbt : 0 0 0 0
3584.63/3597.00 c obbt : 0 0 0 0
3584.63/3597.00 c probing : 0 0 0 0
3584.63/3597.00 c pseudoobj : 0 0 0 0
3584.63/3597.00 c redcost : 0 0 0 0
3584.63/3597.00 c rootredcost : 0 0 0 0
3584.63/3597.00 c symmetry : 4772 0 0 2
3584.63/3597.00 c vbounds : 5259 0 0 0
3584.63/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.63/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3584.63/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.63/3597.00 c probing : 37.58 0.00 37.58 0.00 0.00 0.00
3584.63/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3584.63/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.63/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.63/3597.00 c symmetry : 0.08 0.00 0.07 0.02 0.00 0.00
3584.63/3597.00 c vbounds : 0.12 0.00 0.03 0.09 0.00 0.00
3584.63/3597.00 c Symmetry :
3584.63/3597.00 c #affected vars : 2344 (2344 bin, 0 int, 0 cont)
3584.63/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.63/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.63/3597.00 c lexicographic red: 2 reductions applied, 0 cutoffs
3584.63/3597.00 c shadow tree time : 0.00 s
3584.63/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.63/3597.00 c propagation : 0.04 454 112 - 455 207.4 5 8.0 - - -
3584.63/3597.00 c infeasible LP : 0.96 96 31 - 743 2440.3 2 64.5 1 2007.0 0
3584.63/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.63/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.63/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.63/3597.00 c applied globally : 0.01 - - 0 265 248.2 - - 1 - -
3584.63/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.63/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.63/3597.00 c cut pool : 0.00 - 47 21 - - 242 385 - - - - - (maximal pool size: 242)
3584.63/3597.00 c aggregation : 0.06 0.00 13 11 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.63/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.63/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.63/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c clique : 1.26 0.00 11 11 0 0 81 163 0 52 52 0 0
3584.63/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c gomory : 13.25 0.00 13 10 0 0 64 100 0 9 9 0 0
3584.63/3597.00 c > gomorymi : - - - - - - - 47 0 7 7 0 -
3584.63/3597.00 c > strongcg : - - - - - - - 53 0 2 2 0 -
3584.63/3597.00 c impliedbounds : 0.09 0.00 14 11 0 0 13 32 0 11 11 0 0
3584.63/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c multilinear : 0.00 0.00 20 11 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3584.63/3597.00 c zerohalf : 13.85 0.00 13 11 0 0 87 90 3 91 88 3 0
3584.63/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.63/3597.00 c hybrid : 0.00 0.00 23 11 172 0 237 135 0 120
3584.63/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.63/3597.00 c problem variables: 0.00 - 0 0
3584.63/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.63/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c relpscost : 37.42 0.00 150 0 0 0 0 0 0 300
3584.63/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.63/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.63/3597.00 c LP solutions : 0.00 - - 0 0
3584.63/3597.00 c relax solutions : 0.00 - - 0 0
3584.63/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.63/3597.00 c strong branching : 0.00 - - 0 0
3584.63/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c adaptivediving : 0.00 0.00 0 0 0
3584.63/3597.00 c alns : 81.87 0.00 3 0 0
3584.63/3597.00 c bound : 0.00 0.00 0 0 0
3584.63/3597.00 c clique : 0.07 0.00 1 0 0
3584.63/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c completesol : 0.00 0.00 0 0 0
3584.63/3597.00 c conflictdiving : 162.31 0.00 1 0 0
3584.63/3597.00 c crossover : 0.00 0.00 0 0 0
3584.63/3597.00 c dins : 0.00 0.00 0 0 0
3584.63/3597.00 c distributiondivin: 0.05 0.00 0 0 0
3584.63/3597.00 c dks : 0.00 0.00 0 0 0
3584.63/3597.00 c dps : 0.00 0.00 0 0 0
3584.63/3597.00 c dualval : 0.00 0.00 0 0 0
3584.63/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c feaspump : 220.06 0.00 1 0 0
3584.63/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.63/3597.00 c fracdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c gins : 0.00 0.00 0 0 0
3584.63/3597.00 c guideddiving : 0.00 0.00 0 0 0
3584.63/3597.00 c indicator : 0.00 0.00 0 0 0
3584.63/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3584.63/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.63/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.63/3597.00 c locks : 0.06 0.00 1 0 0
3584.63/3597.00 c lpface : 0.01 0.00 0 0 0
3584.63/3597.00 c mpec : 0.00 0.00 0 0 0
3584.63/3597.00 c multistart : 0.00 0.00 0 0 0
3584.63/3597.00 c mutation : 0.00 0.00 0 0 0
3584.63/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3584.63/3597.00 c octane : 0.00 0.00 0 0 0
3584.63/3597.00 c ofins : 0.00 0.00 0 0 0
3584.63/3597.00 c oneopt : 0.00 0.00 0 0 0
3584.63/3597.00 c padm : 0.00 0.00 0 0 0
3584.63/3597.00 c proximity : 0.00 0.00 0 0 0
3584.63/3597.00 c pscostdiving : 265.78 0.00 1 0 0
3584.63/3597.00 c randrounding : 0.21 0.00 20 0 0
3584.63/3597.00 c rens : 0.33 0.00 1 0 0
3584.63/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.63/3597.00 c repair : 0.00 0.00 0 0 0
3584.63/3597.00 c rins : 0.00 0.00 0 0 0
3584.63/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3584.63/3597.00 c rounding : 0.11 0.00 138 0 0
3584.63/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.63/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3584.63/3597.00 c shifting : 0.33 0.00 37 0 0
3584.63/3597.00 c simplerounding : 0.00 0.00 0 0 0
3584.63/3597.00 c subnlp : 0.00 0.00 0 0 0
3584.63/3597.00 c trivial : 0.01 0.00 2 0 0
3584.63/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.63/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.63/3597.00 c trysol : 0.00 0.00 0 0 0
3584.63/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.63/3597.00 c undercover : 0.00 0.00 0 0 0
3584.63/3597.00 c vbounds : 0.08 0.00 1 0 0
3584.63/3597.00 c veclendiving : 0.00 0.00 0 0 0
3584.63/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.63/3597.00 c zirounding : 0.05 0.00 150 0 0
3584.63/3597.00 c other solutions : - - - 0 -
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/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
3584.63/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.63/3597.00 c primal LP : 0.09 4 0 0.00 0.00 0.09 4
3584.63/3597.00 c dual LP : 2753.97 273 2178448 8098.32 791.02 0.73 4
3584.63/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.63/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.63/3597.00 c resolve instable : 9.99 1 14253 14253.00 1427.31
3584.63/3597.00 c diving/probing LP: 654.57 24 253834 10576.42 387.79
3584.63/3597.00 c strong branching : 30.45 20 16325 816.25 536.12 - - 30
3584.63/3597.00 c (at root node) : - 20 16325 816.25 -
3584.63/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3584.63/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3584.63/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3584.63/3597.00 c B&B Tree :
3584.63/3597.00 c number of runs : 1
3584.63/3597.00 c nodes : 266 (150 internal, 116 leaves)
3584.63/3597.00 c feasible leaves : 0
3584.63/3597.00 c infeas. leaves : 115
3584.63/3597.00 c objective leaves : 0
3584.63/3597.00 c nodes (total) : 266 (150 internal, 116 leaves)
3584.63/3597.00 c nodes left : 36
3584.63/3597.00 c max depth : 40
3584.63/3597.00 c max depth (total): 40
3584.63/3597.00 c backtracks : 26 (9.8%)
3584.63/3597.00 c early backtracks : 0 (0.0%)
3584.63/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.63/3597.00 c delayed cutoffs : 0
3584.63/3597.00 c repropagations : 244 (1420 domain reductions, 0 cutoffs)
3584.63/3597.00 c avg switch length: 3.46
3584.63/3597.00 c switching time : 0.30
3584.63/3597.00 c Root Node :
3584.63/3597.00 c First LP value : +0.00000000000000e+00
3584.63/3597.00 c First LP Iters : 15815 (995.32 Iter/sec)
3584.63/3597.00 c First LP Time : 15.89
3584.63/3597.00 c Final Dual Bound : +0.00000000000000e+00
3584.63/3597.00 c Final Root Iters : 236393
3584.63/3597.00 c Root LP Estimate : +7.42424322027147e-04
3584.63/3597.00 c Solution :
3584.63/3597.00 c Solutions found : 0 (0 improvements)
3584.63/3597.00 c Primal Bound : -
3584.63/3597.00 c Dual Bound : +0.00000000000000e+00
3584.63/3597.00 c Gap : infinite
3584.63/3597.00 c Integrals : Total Avg%
3584.63/3597.00 c primal-dual : 359699.83 100.00
3584.63/3597.00 c primal-ref : - - (not evaluated)
3584.63/3597.00 c dual-ref : - - (not evaluated)
3584.83/3597.11 c Time complete (sec): 3584.839
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 (48588 MiB free)
memory of node 1: 64465 MiB (59452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506735-1751175589/watcher-4506735-1751175589 -o /tmp/evaluation-result-4506735-1751175589/solver-4506735-1751175589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20913 --watchdog 3760 pbsolver -f HOME/instance-4506735-1751175589.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21384, runsolver pid=21381
[startup+0.10015 s]*
/proc/loadavg: 4.16 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110569696/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=76760 memory=67164 CPUtime=0.09 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 14735 0 0 0 7 2 0 0 20 0 1 0 33237497 78602240 16791 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 19190 16791 2368 2575 0 16097 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76760 KiB
Current children cumulated memory: 67164 KiB
[startup+0.205816 s]*
/proc/loadavg: 4.16 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110545504/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=99412 memory=86492 CPUtime=0.19 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 19576 0 0 0 16 3 0 0 20 0 1 0 33237497 101797888 21623 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 24853 21623 2432 2575 0 21760 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 86492 KiB
[startup+0.305685 s]*
/proc/loadavg: 4.16 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110529628/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=111852 memory=100072 CPUtime=0.29 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 24679 0 0 0 25 4 0 0 20 0 1 0 33237497 114536448 25018 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 27963 25018 2496 2575 0 24870 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111852 KiB
Current children cumulated memory: 100072 KiB
[startup+0.700179 s]
/proc/loadavg: 4.16 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110529628/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=121980 memory=109668 CPUtime=0.67 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 29316 0 0 0 63 4 0 0 20 0 1 0 33237497 124907520 27417 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 30495 27417 2560 2575 0 27402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121980 KiB
Current children cumulated memory: 109668 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110510980/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=158268 memory=143476 CPUtime=1.48 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 36415 0 0 0 142 6 0 0 20 0 1 0 33237497 162066432 35869 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 39567 35869 2592 2575 0 36474 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158268 KiB
Current children cumulated memory: 143476 KiB
[startup+3.10556 s]
/proc/loadavg: 4.15 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110490820/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=160120 memory=145268 CPUtime=3.08 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 36859 0 0 0 302 6 0 0 20 0 1 0 33237497 163962880 36317 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 40030 36317 2592 2575 0 36937 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 160120 KiB
Current children cumulated memory: 145268 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110482756/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=161248 memory=146420 CPUtime=6.26 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 37157 0 0 0 620 6 0 0 20 0 1 0 33237497 165117952 36605 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 40312 36605 2592 2575 0 37219 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 161248 KiB
Current children cumulated memory: 146420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.09 5/265 21385
/proc/meminfo: memFree=110482756/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=166796 memory=151796 CPUtime=12.64 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 38486 0 0 0 1258 6 0 0 20 0 1 0 33237497 170799104 37949 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 41699 37949 2592 2575 0 38606 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 166796 KiB
Current children cumulated memory: 151796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 4.09 5/265 21385
/proc/meminfo: memFree=110494104/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=168160 memory=153204 CPUtime=25.4 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 38852 0 0 0 2534 6 0 0 20 0 1 0 33237497 172195840 38301 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 42040 38301 2592 2575 0 38947 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 168160 KiB
Current children cumulated memory: 153204 KiB
[startup+51.1058 s]
/proc/loadavg: 4.07 4.14 4.09 5/265 21386
/proc/meminfo: memFree=110278016/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=326436 memory=265832 CPUtime=50.92 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 66615 0 0 0 5082 10 0 0 20 0 1 0 33237497 334270464 66458 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 81609 66458 2688 2575 0 78516 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 326436 KiB
Current children cumulated memory: 265832 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 21387
/proc/meminfo: memFree=110256452/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=333100 memory=272488 CPUtime=101.94 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 68282 0 0 0 10184 10 0 0 20 0 1 0 33237497 341094400 68122 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 83275 68122 2688 2575 0 80182 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 333100 KiB
Current children cumulated memory: 272488 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 21389
/proc/meminfo: memFree=110253648/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=333100 memory=272616 CPUtime=161.73 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 68320 0 0 0 16163 10 0 0 20 0 1 0 33237497 341094400 68154 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 83275 68154 2688 2575 0 80182 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 333100 KiB
Current children cumulated memory: 272616 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 21391
/proc/meminfo: memFree=110278876/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=334004 memory=273768 CPUtime=221.52 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 68620 0 0 0 22142 10 0 0 20 0 1 0 33237497 342020096 68442 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 83501 68442 2688 2575 0 80408 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 334004 KiB
Current children cumulated memory: 273768 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/264 21394
/proc/meminfo: memFree=110232124/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=391608 memory=327648 CPUtime=281.32 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 75182 0 0 0 28120 12 0 0 20 0 1 0 33237497 401006592 81912 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 97902 81912 2688 2575 0 94809 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 391608 KiB
Current children cumulated memory: 327648 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 21397
/proc/meminfo: memFree=110093564/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=409872 memory=343776 CPUtime=341.11 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 79257 0 0 0 34098 13 0 0 20 0 1 0 33237497 419708928 85944 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 102468 85944 2688 2575 0 99375 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 409872 KiB
Current children cumulated memory: 343776 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 21399
/proc/meminfo: memFree=110031376/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=418220 memory=351784 CPUtime=400.91 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 80763 0 0 0 40077 14 0 0 20 0 1 0 33237497 428257280 87946 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 104555 87946 2688 2575 0 101462 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 418220 KiB
Current children cumulated memory: 351784 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 21403
/proc/meminfo: memFree=110030612/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=423584 memory=355240 CPUtime=460.7 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 81623 0 0 0 46056 14 0 0 20 0 1 0 33237497 433750016 88810 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 105896 88810 2688 2575 0 102803 0
################
# More data... #
################
/proc/loadavg: 4.07 4.08 4.09 5/263 21555
/proc/meminfo: memFree=96371012/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=482344 CPUtime=3211.28 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113720 0 0 0 321108 20 0 0 20 0 1 0 33237497 568516608 120586 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 120586 2976 2575 0 135705 0
Current children cumulated CPU time: 3211.28 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 482344 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 21557
/proc/meminfo: memFree=96356296/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=482472 CPUtime=3271.06 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113733 0 0 0 327086 20 0 0 20 0 1 0 33237497 568516608 120618 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 120618 2976 2575 0 135705 0
Current children cumulated CPU time: 3271.06 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 482472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 21559
/proc/meminfo: memFree=96341528/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=482472 CPUtime=3330.86 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113735 0 0 0 333066 20 0 0 20 0 1 0 33237497 568516608 120618 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 120618 2976 2575 0 135705 0
Current children cumulated CPU time: 3330.86 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 482472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 21561
/proc/meminfo: memFree=96354104/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=482472 CPUtime=3390.65 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113748 0 0 0 339044 21 0 0 20 0 1 0 33237497 568516608 120618 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 120618 2976 2575 0 135705 0
Current children cumulated CPU time: 3390.65 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 482472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 21566
/proc/meminfo: memFree=95591432/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=482600 CPUtime=3450.43 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113759 0 0 0 345022 21 0 0 20 0 1 0 33237497 568516608 120650 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 120650 2976 2575 0 135705 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 482600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 21709
/proc/meminfo: memFree=128903128/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=485160 CPUtime=3510.23 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 351002 21 0 0 20 0 1 0 33237497 568516608 121290 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 121290 2976 2575 0 135705 0
Current children cumulated CPU time: 3510.23 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 485160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/266 21711
/proc/meminfo: memFree=128683424/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=494376 CPUtime=3570.07 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 356986 21 0 0 20 0 1 0 33237497 568516608 123594 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 123594 2976 2575 0 135705 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 494376 KiB
[startup+3597.12 s]
# the end of solver process 21384 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.63 s, system=0.224229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.12 4.10 5/266 21711
/proc/meminfo: memFree=128683424/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=494376 CPUtime=3571.77 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 357156 21 0 0 20 0 1 0 33237497 568516608 123594 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 123594 2976 2575 0 135705 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 494376 KiB
[startup+3590.4 s]
/proc/loadavg: 4.30 4.13 4.10 5/266 21711
/proc/meminfo: memFree=128683432/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=499496 CPUtime=3578.14 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 357793 21 0 0 20 0 1 0 33237497 568516608 124874 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 124874 2976 2575 0 135705 0
Current children cumulated CPU time: 3578.14 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 499496 KiB
[startup+3593.6 s]
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680088/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=499496 CPUtime=3581.33 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 358112 21 0 0 20 0 1 0 33237497 568516608 124874 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 124874 2976 2575 0 135705 0
Current children cumulated CPU time: 3581.33 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 499496 KiB
[startup+3595.2 s]
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680592/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=499496 CPUtime=3582.93 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 358272 21 0 0 20 0 1 0 33237497 568516608 124874 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 124874 2976 2575 0 135705 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 499496 KiB
[startup+3596 s]*
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680592/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=499496 CPUtime=3583.73 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 358352 21 0 0 20 0 1 0 33237497 568516608 124874 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 124874 2976 2575 0 135705 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 499496 KiB
[startup+3596.8 s]
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680592/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=499496 CPUtime=3584.53 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113762 0 0 0 358432 21 0 0 20 0 1 0 33237497 568516608 124874 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 124874 2976 2575 0 135705 0
Current children cumulated CPU time: 3584.53 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 499496 KiB
[startup+3597 s]*
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680592/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=555192 memory=499496 CPUtime=3584.73 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113764 0 0 0 358452 21 0 0 20 0 1 0 33237497 568516608 124874 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 138798 124874 2976 2575 0 135705 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 555192 KiB
Current children cumulated memory: 499496 KiB
[startup+3597.11 s]
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680592/131249996 swapFree=33010684/33010684
[pid=21384] ppid=21381 vsize=484948 memory=430612 CPUtime=3584.83 cores=1,3
/proc/21384/stat : 21384 (pbsolver) R 21381 21384 20901 0 -1 4194304 113819 0 0 0 358462 21 0 0 20 0 1 0 33237497 496586752 107653 18446744073709551615 4198400 14743177 140732156211744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 27148288 140732156213642 140732156213738 140732156213738 140732156219340 0
/proc/21384/statm: 121237 107653 2976 2575 0 118144 0
Current children cumulated CPU time: 3584.83 s
Current children cumulated vsize: 484948 KiB
Current children cumulated memory: 430612 KiB
Child status: 0
Real time (s): 3597.12
CPU time (s): 3584.85
CPU user time (s): 3584.63
CPU system time (s): 0.224229
CPU usage (%): 99.6589
Max. virtual memory (cumulated for all children) (KiB): 555192
Max. memory (cumulated for all children) (KiB): 499496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.63
system time used= 0.224229
maximum resident set size= 499496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113829
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= 6
involuntary context switches= 1667
# summary of solver processes directly reported to runsolver:
# pid: 21384
# total CPU time (s): 3584.85
# total CPU user time (s): 3584.63
# total CPU system time (s): 0.224229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58782 second user time and 17.7093 second system time
The end
Begin job on nodeC032 at 2025-06-29 07:39:49 IDJOB=4506735 IDBENCH=158262 IDSOLVER=3366 FILE ID=nodeC032/4506735-1751175589 RUNJOBID= nodeC032-1751171866-20913 SLURM_JOB_ID= 9587537 Free space on /tmp= 431692 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506735-1751175589/watcher-4506735-1751175589 -o /tmp/evaluation-result-4506735-1751175589/solver-4506735-1751175589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20913 --watchdog 3760 pbsolver -f HOME/instance-4506735-1751175589.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=505574314 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.842 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.844 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.619 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.580 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.833 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.534 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.237 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.263 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 110633640 kB MemAvailable: 110629892 kB Buffers: 3280 kB Cached: 806960 kB SwapCached: 0 kB Active: 19355728 kB Inactive: 566036 kB Active(anon): 19129592 kB Inactive(anon): 0 kB Active(file): 226136 kB Inactive(file): 566036 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16052 kB Writeback: 0 kB AnonPages: 19112564 kB Mapped: 134248 kB Shmem: 18068 kB KReclaimable: 86640 kB Slab: 169632 kB SReclaimable: 86640 kB SUnreclaim: 82992 kB KernelStack: 4272 kB PageTables: 40792 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 20182568 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4679680 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432008 MiB End job on nodeC032 at 2025-06-29 08:39:46