| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? (TO) | 3600.12 | 3611.31 |
| Name | PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-9.opb |
| MD5SUM | 623011bcb799422f8ca68e1af7825a24 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 47741 |
| Best CPU time to get the best result obtained on this benchmark | 21.3279 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 211564 |
| Total number of constraints | 2445434 |
| Number of constraints which are clauses | 2445434 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 579 |
| Number of terms in the objective function | 18980 |
| Biggest coefficient in the objective function | 581 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 10690980 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 581 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 10690980 |
| Number of bits of the biggest sum of numbers | 24 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4506376-1751493313.opb>
4.77/4.89 c original problem has 211564 variables (211564 bin, 0 int, 0 impl, 0 cont) and 2445434 constraints
4.77/4.89 c problem read in 4.89
8.85/8.97 c presolving:
14.24/14.39 c (round 1, fast) 135931 del vars, 1692923 del conss, 0 add conss, 135435 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 388159 clqs
15.05/15.13 c (round 2, fast) 137452 del vars, 1892845 del conss, 0 add conss, 135503 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 387464 clqs
15.24/15.32 c (round 3, fast) 140183 del vars, 1915375 del conss, 0 add conss, 135503 chg bounds, 28 chg sides, 51 chg coeffs, 0 upgd conss, 0 impls, 366188 clqs
15.34/15.41 c (round 4, fast) 140765 del vars, 1917051 del conss, 0 add conss, 135503 chg bounds, 28 chg sides, 52 chg coeffs, 0 upgd conss, 0 impls, 364698 clqs
16.23/16.36 c (16.3s) running MILP presolver
24.60/24.73 c (24.7s) MILP presolver (11 rounds): 1584 aggregations, 784 fixings, 0 bound changes
24.81/24.95 c (round 5, medium) 143136 del vars, 1917051 del conss, 0 add conss, 135503 chg bounds, 28 chg sides, 52 chg coeffs, 0 upgd conss, 0 impls, 351623 clqs
25.50/25.65 c (round 6, fast) 143152 del vars, 1931643 del conss, 0 add conss, 135503 chg bounds, 30 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 352456 clqs
27.49/27.69 c (round 7, exhaustive) 143195 del vars, 1931691 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 82 chg coeffs, 511829 upgd conss, 0 impls, 352413 clqs
27.99/28.17 c (round 8, fast) 143348 del vars, 1933055 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 82 chg coeffs, 511829 upgd conss, 0 impls, 351166 clqs
29.48/29.63 c (round 9, exhaustive) 143348 del vars, 1933055 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 82 chg coeffs, 513740 upgd conss, 0 impls, 351166 clqs
32.67/32.82 c (round 10, exhaustive) 143701 del vars, 1933055 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1459 chg coeffs, 513740 upgd conss, 0 impls, 351165 clqs
32.88/33.07 c (round 11, fast) 145210 del vars, 1944412 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1808 chg coeffs, 513740 upgd conss, 0 impls, 340702 clqs
33.17/33.30 c (round 12, fast) 145550 del vars, 1944578 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1808 chg coeffs, 513740 upgd conss, 0 impls, 340536 clqs
36.36/36.58 c (round 13, exhaustive) 145846 del vars, 1944592 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 1808 chg coeffs, 513740 upgd conss, 0 impls, 340531 clqs
36.56/36.79 c (round 14, fast) 145985 del vars, 1945021 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2093 chg coeffs, 513740 upgd conss, 0 impls, 340657 clqs
36.76/36.99 c (round 15, fast) 146122 del vars, 1945147 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2093 chg coeffs, 513740 upgd conss, 0 impls, 340531 clqs
39.75/39.94 c (round 16, exhaustive) 146365 del vars, 1945147 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2093 chg coeffs, 513740 upgd conss, 0 impls, 340530 clqs
39.95/40.15 c (round 17, fast) 146478 del vars, 1945495 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2327 chg coeffs, 513740 upgd conss, 0 impls, 340639 clqs
40.15/40.35 c (round 18, fast) 146597 del vars, 1945605 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2327 chg coeffs, 513740 upgd conss, 0 impls, 340529 clqs
43.14/43.35 c (round 19, exhaustive) 146792 del vars, 1945605 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2327 chg coeffs, 513740 upgd conss, 0 impls, 340527 clqs
43.34/43.56 c (round 20, fast) 146887 del vars, 1945890 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2515 chg coeffs, 513740 upgd conss, 0 impls, 340614 clqs
43.54/43.76 c (round 21, fast) 146978 del vars, 1945978 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2515 chg coeffs, 513740 upgd conss, 0 impls, 340526 clqs
46.53/46.76 c (round 22, exhaustive) 147140 del vars, 1945978 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2515 chg coeffs, 513740 upgd conss, 0 impls, 340526 clqs
46.73/46.97 c (round 23, fast) 147216 del vars, 1946208 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2669 chg coeffs, 513740 upgd conss, 0 impls, 340594 clqs
46.93/47.18 c (round 24, fast) 147289 del vars, 1946276 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2669 chg coeffs, 513740 upgd conss, 0 impls, 340526 clqs
49.92/50.19 c (round 25, exhaustive) 147415 del vars, 1946278 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2669 chg coeffs, 513740 upgd conss, 0 impls, 340524 clqs
50.22/50.40 c (round 26, fast) 147478 del vars, 1946458 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2786 chg coeffs, 513740 upgd conss, 0 impls, 340574 clqs
50.32/50.59 c (round 27, fast) 147532 del vars, 1946509 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2786 chg coeffs, 513740 upgd conss, 0 impls, 340523 clqs
53.21/53.45 c (round 28, exhaustive) 147633 del vars, 1946512 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2786 chg coeffs, 513740 upgd conss, 0 impls, 340519 clqs
53.41/53.65 c (round 29, fast) 147688 del vars, 1946664 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2882 chg coeffs, 513740 upgd conss, 0 impls, 340560 clqs
56.00/56.26 c (round 30, exhaustive) 147812 del vars, 1946706 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2882 chg coeffs, 513740 upgd conss, 0 impls, 340518 clqs
56.20/56.45 c (round 31, fast) 147871 del vars, 1946838 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2964 chg coeffs, 513740 upgd conss, 0 impls, 340550 clqs
58.69/59.00 c (round 32, exhaustive) 147972 del vars, 1946871 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 2964 chg coeffs, 513740 upgd conss, 0 impls, 340517 clqs
59.19/59.43 c (round 33, medium) 148042 del vars, 1947007 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 3032 chg coeffs, 513740 upgd conss, 0 impls, 340517 clqs
61.79/62.04 c (round 34, exhaustive) 148101 del vars, 1947008 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 3032 chg coeffs, 513740 upgd conss, 0 impls, 340516 clqs
62.28/62.50 c (round 35, medium) 148152 del vars, 1947110 del conss, 0 add conss, 135503 chg bounds, 42 chg sides, 3083 chg coeffs, 513740 upgd conss, 0 impls, 340516 clqs
84.91/85.21 c (85.2s) probing: 205/63583 (0.3%) - 0 fixings, 0 aggregations, 28 implications, 0 bound changes
84.91/85.21 c (85.2s) probing aborted: 50/50 successive totally useless probings
87.01/87.38 c (87.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
115.24/115.69 c (115.6s) symmetry computation finished: 1006 generators found (max: 1006, log10 of symmetry group size: 1120.0) (symcode time: 27.56)
125.52/125.99 c dynamic symmetry handling statistics:
125.52/125.99 c orbitopal reduction: no components
125.52/125.99 c orbital reduction: 148 components of sizes 7, 5, 7, 14, 3, 6, 6, 6, 5, 14, 7, 3, 5, 3, 6, 5, 5, 7, 6, 7, 6, 7, 6, 3, 7, 6, 7, 5, 3, 3, 6, 12, 12, 3, 3, 5, 7, 7, 13, 5, 5, 10, 6, 5, 5, 5, 5, 6, 8, 6, 6, 7, 8, 13, 13, 8, 8, 5, 5, 5, 8, 12, 5, 5, 14, 10, 7, 5, 12, 5, 7, 7, 6, 6, 5, 5, 5, 12, 5, 7, 12, 7, 3, 7, 5, 7, 12, 5, 5, 14, 8, 7, 7, 5, 5, 3, 3, 3, 5, 13, 5, 3, 5, 5, 13, 13, 13, 5, 13, 13, 5, 5, 6, 6, 14, 14, 5, 5, 5, 5, 14, 6, 5, 5, 5, 3, 4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 5
125.52/125.99 c lexicographic reduction: 943 permutations with support sizes 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2
125.52/125.99 c handled 203 out of 203 symmetry components
126.12/126.52 c presolving (36 rounds: 36 fast, 16 medium, 13 exhaustive):
126.12/126.52 c 150254 deleted vars, 1949072 deleted constraints, 63 added constraints, 135503 tightened bounds, 0 added holes, 42 changed sides, 3130 changed coefficients
126.12/126.52 c 0 implications, 340607 cliques
126.12/126.52 c presolved problem has 61529 variables (61529 bin, 0 int, 0 impl, 0 cont) and 496425 constraints
126.12/126.52 c 340478 constraints of type <setppc>
126.12/126.52 c 63 constraints of type <linear>
126.12/126.52 c 155884 constraints of type <logicor>
126.12/126.52 c transformed objective value is always integral (scale: 1)
126.12/126.52 c Presolving Time: 117.62
126.12/126.52 c - non default parameters ----------------------------------------------------------------------
126.12/126.52 c # SCIP version 10.0.0
126.12/126.52 c
126.12/126.52 c # maximal time in seconds to run
126.12/126.52 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
126.12/126.52 c limits/time = 3596.997011
126.12/126.52 c
126.12/126.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
126.12/126.52 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
126.12/126.52 c limits/memory = 27900
126.12/126.52 c
126.12/126.52 c # belongs reading time to solving time?
126.12/126.52 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
126.12/126.52 c timing/reading = TRUE
126.12/126.52 c
126.12/126.52 c -----------------------------------------------------------------------------------------------
126.12/126.52 c start solving
126.12/126.57 c
142.07/142.53 o 6155561
142.07/142.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
142.07/142.53 c p 142s| 1 | 0 | 0 | - | locks| 0 | 61k| 496k| 496k| 0 | 0 | 9 | 0 | 9.303000e+03 | 6.155561e+06 | Large | unknown
142.47/142.94 o 635296
142.47/142.94 c i 143s| 1 | 0 | 0 | - | oneopt| 0 | 61k| 496k| 496k| 0 | 0 | 9 | 0 | 9.303000e+03 | 6.352960e+05 |6728.94%| unknown
435.95/437.36 c 437s| 1 | 0 | 87138 | - | 3409M | 0 | 61k| 496k| 496k| 0 | 0 | 9 | 0 | 1.714750e+04 | 6.352960e+05 |3604.89%| unknown
1993.34/1999.79 c 2000s| 1 | 0 |169884 | - | 3520M | 0 | 61k| 496k| 496k| 143 | 1 | 9 | 0 | 1.792517e+04 | 6.352960e+05 |3444.16%| unknown
2497.14/2505.07 c 2505s| 1 | 0 |215920 | - | 3572M | 0 | 61k| 496k| 496k| 292 | 2 | 10 | 0 | 2.209283e+04 | 6.352960e+05 |2775.58%| unknown
2822.28/2831.16 c 2831s| 1 | 0 |244172 | - | 3620M | 0 | 61k| 496k| 496k| 396 | 3 | 11 | 0 | 2.680589e+04 | 6.352960e+05 |2269.99%| unknown
2980.08/2989.45 c 2989s| 1 | 0 |258470 | - | 3668M | 0 | 61k| 496k| 496k| 461 | 4 | 12 | 0 | 2.877450e+04 | 6.352960e+05 |2107.84%| unknown
3032.54/3042.09 c 3042s| 1 | 0 |267128 | - | 3719M | 0 | 61k| 496k| 496k| 504 | 5 | 13 | 0 | 2.954917e+04 | 6.352960e+05 |2049.96%| unknown
3088.65/3098.39 c 3098s| 1 | 0 |274957 | - | 3774M | 0 | 61k| 496k| 496k| 563 | 6 | 14 | 0 | 2.983950e+04 | 6.352960e+05 |2029.04%| unknown
3208.27/3218.35 c 3218s| 1 | 0 |286412 | - | 3825M | 0 | 61k| 496k| 497k| 615 | 7 | 15 | 0 | 2.993667e+04 | 6.352960e+05 |2022.13%| unknown
3247.86/3258.09 c 3258s| 1 | 0 |290897 | - | 3873M | 0 | 61k| 496k| 497k| 675 | 8 | 16 | 0 | 3.042067e+04 | 6.352960e+05 |1988.37%| unknown
3281.65/3291.95 c 3292s| 1 | 0 |294877 | - | 3922M | 0 | 61k| 496k| 497k| 712 | 9 | 17 | 0 | 3.051750e+04 | 6.352960e+05 |1981.74%| unknown
3339.25/3349.70 c 3350s| 1 | 0 |303498 | - | 3974M | 0 | 61k| 496k| 497k| 749 | 10 | 18 | 0 | 3.080833e+04 | 6.352960e+05 |1962.09%| unknown
3363.38/3373.98 c 3374s| 1 | 0 |304715 | - | 4030M | 0 | 61k| 496k| 497k| 770 | 11 | 19 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3378.84/3389.44 c 3389s| 1 | 0 |305442 | - | 4078M | 0 | 61k| 496k| 497k| 786 | 12 | 20 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3393.80/3404.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3393.80/3404.49 c 3404s| 1 | 0 |306109 | - | 4126M | 0 | 61k| 496k| 497k| 799 | 13 | 21 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3409.56/3420.25 c 3420s| 1 | 0 |306692 | - | 4183M | 0 | 61k| 496k| 497k| 814 | 14 | 22 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3426.31/3437.08 c 3437s| 1 | 0 |307230 | - | 4231M | 0 | 61k| 496k| 497k| 829 | 15 | 23 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3442.94/3453.78 c 3454s| 1 | 0 |307556 | - | 4280M | 0 | 61k| 496k| 497k| 844 | 16 | 24 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3495.09/3506.05 c 3506s| 1 | 0 |308307 | - | 4351M | 0 | 61k| 496k| 496k| 858 | 17 | 25 | 0 | 3.080850e+04 | 6.352960e+05 |1962.08%| unknown
3512.83/3523.80 c 3524s| 1 | 0 |308733 | - | 4405M | 0 | 61k| 496k| 496k| 869 | 18 | 26 | 0 | 3.080867e+04 | 6.352960e+05 |1962.07%| unknown
3527.00/3538.02 c 3538s| 1 | 0 |309097 | - | 4453M | 0 | 61k| 496k| 496k| 883 | 19 | 27 | 0 | 3.080867e+04 | 6.352960e+05 |1962.07%| unknown
3546.15/3557.26 c 3557s| 1 | 0 |309807 | - | 4501M | 0 | 61k| 496k| 496k| 904 | 20 | 28 | 0 | 3.080900e+04 | 6.352960e+05 |1962.05%| unknown
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 (60292 MiB free)
memory of node 1: 64465 MiB (61816 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506376-1751493313/watcher-4506376-1751493313 -o /tmp/evaluation-result-4506376-1751493313/solver-4506376-1751493313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751486098-70210 --watchdog 3760 pbscip -f HOME/instance-4506376-1751493313.opb -t 3600 -j 2 -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
Starting watchdog thread
solver pid=70994, runsolver pid=70991
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 70995
/proc/meminfo: memFree=124992596/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=95460 memory=66432 CPUtime=0.09 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 13681 0 0 0 7 2 0 0 20 0 1 0 65008902 97751040 16608 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 23865 16608 3232 3530 0 15316 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95460 KiB
Current children cumulated memory: 66432 KiB
[startup+0.205855 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 70995
/proc/meminfo: memFree=124960340/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=128624 memory=100224 CPUtime=0.2 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 22134 0 0 0 16 4 0 0 20 0 1 0 65008902 131710976 25056 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 32156 25056 3232 3530 0 23607 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128624 KiB
Current children cumulated memory: 100224 KiB
[startup+0.305789 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 70995
/proc/meminfo: memFree=124928084/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=155812 memory=127616 CPUtime=0.29 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 28981 0 0 0 24 5 0 0 20 0 1 0 65008902 159551488 31904 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 38953 31904 3232 3530 0 30404 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 155812 KiB
Current children cumulated memory: 127616 KiB
[startup+0.700168 s]
/proc/loadavg: 4.01 4.07 4.08 5/262 70995
/proc/meminfo: memFree=124871636/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=264760 memory=236528 CPUtime=0.68 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 55710 0 0 0 59 9 0 0 20 0 1 0 65008902 271114240 59132 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 66190 59132 3232 3530 0 57641 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 264760 KiB
Current children cumulated memory: 236528 KiB
[startup+1.50016 s]
/proc/loadavg: 4.01 4.07 4.08 5/262 70995
/proc/meminfo: memFree=124743384/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=493800 memory=465032 CPUtime=1.48 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 110773 0 0 0 131 17 0 0 20 0 1 0 65008902 505651200 116258 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 123450 116258 3232 3530 0 114901 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 493800 KiB
Current children cumulated memory: 465032 KiB
[startup+3.10555 s]
/proc/loadavg: 4.01 4.06 4.08 5/262 70995
/proc/meminfo: memFree=124186704/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=940400 memory=911036 CPUtime=3.08 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 217177 0 0 0 274 34 0 0 20 0 1 0 65008902 962969600 227759 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 235100 227759 3232 3530 0 226551 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 940400 KiB
Current children cumulated memory: 911036 KiB
[startup+6.30016 s]
/proc/loadavg: 4.01 4.06 4.08 5/262 70995
/proc/meminfo: memFree=123081324/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=2131448 memory=2102448 CPUtime=6.26 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 485542 0 0 0 549 77 0 0 20 0 1 0 65008902 2182602752 525612 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 532862 525612 3520 3530 0 524313 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2131448 KiB
Current children cumulated memory: 2102448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.06 4.08 5/262 70995
/proc/meminfo: memFree=121687844/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3418448 memory=3380968 CPUtime=12.65 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 719775 0 0 0 1147 118 0 0 20 0 1 0 65008902 3500490752 845242 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 854612 845242 3584 3530 0 846063 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3418448 KiB
Current children cumulated memory: 3380968 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 70995
/proc/meminfo: memFree=121019064/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3491944 memory=3452420 CPUtime=25.4 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 742426 0 0 0 2411 129 0 0 20 0 1 0 65008902 3575750656 863105 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 872986 863105 3712 3530 0 864437 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3491944 KiB
Current children cumulated memory: 3452420 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.08 4.09 5/262 70996
/proc/meminfo: memFree=120741164/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3629800 memory=3590416 CPUtime=50.92 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 774912 0 0 0 4958 134 0 0 20 0 1 0 65008902 3716915200 897604 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 907450 897604 3712 3530 0 898901 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3629800 KiB
Current children cumulated memory: 3590416 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 70998
/proc/meminfo: memFree=119781916/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3742068 memory=3677228 CPUtime=101.98 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 776181 0 0 0 10062 136 0 0 20 0 1 0 65008902 3831877632 919307 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 935517 919307 3776 3530 0 926968 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3742068 KiB
Current children cumulated memory: 3677228 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 71000
/proc/meminfo: memFree=119734736/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3795436 memory=3721356 CPUtime=161.81 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 782319 0 0 0 16043 138 0 0 20 0 1 0 65008902 3886526464 930339 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 948859 930339 3968 3530 0 940310 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 3795436 KiB
Current children cumulated memory: 3721356 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 71002
/proc/meminfo: memFree=118599532/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3812480 memory=3735492 CPUtime=221.63 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 785343 0 0 0 22024 139 0 0 20 0 1 0 65008902 3903979520 933873 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 953120 933873 3968 3530 0 944571 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 3812480 KiB
Current children cumulated memory: 3735492 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/263 71009
/proc/meminfo: memFree=118245664/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3814376 memory=3738436 CPUtime=281.43 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 786059 0 0 0 28004 139 0 0 20 0 1 0 65008902 3905921024 934609 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 953594 934609 3968 3530 0 945045 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 3814376 KiB
Current children cumulated memory: 3738436 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 71025
/proc/meminfo: memFree=118186788/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3815824 memory=3739972 CPUtime=341.24 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 786464 0 0 0 33984 140 0 0 20 0 1 0 65008902 3907403776 934993 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 953956 934993 3968 3530 0 945407 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 3815824 KiB
Current children cumulated memory: 3739972 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 71042
/proc/meminfo: memFree=118134976/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3816244 memory=3741892 CPUtime=401.05 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 786938 0 0 0 39965 140 0 0 20 0 1 0 65008902 3907833856 935473 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 954061 935473 3968 3530 0 945512 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 3816244 KiB
Current children cumulated memory: 3741892 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 71044
/proc/meminfo: memFree=117902192/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=3827420 memory=3752716 CPUtime=460.87 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 788622 0 0 0 45947 140 0 0 20 0 1 0 65008902 3919278080 938179 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 956855 938179 3968 3530 0 948306 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
/proc/70994/statm: 1050517 978774 3968 3530 0 1041968 0
Current children cumulated CPU time: 2853.37 s
Current children cumulated vsize: 4202068 KiB
Current children cumulated memory: 3915096 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 71200
/proc/meminfo: memFree=111366152/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4202068 memory=3915096 CPUtime=2913.16 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810404 0 0 0 291168 148 0 0 20 0 1 0 65008902 4302917632 978774 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1050517 978774 3968 3530 0 1041968 0
Current children cumulated CPU time: 2913.16 s
Current children cumulated vsize: 4202068 KiB
Current children cumulated memory: 3915096 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 71202
/proc/meminfo: memFree=111361824/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4202068 memory=3915096 CPUtime=2973 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810406 0 0 0 297152 148 0 0 20 0 1 0 65008902 4302917632 978774 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1050517 978774 3968 3530 0 1041968 0
Current children cumulated CPU time: 2973 s
Current children cumulated vsize: 4202068 KiB
Current children cumulated memory: 3915096 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/263 71204
/proc/meminfo: memFree=111365660/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4248652 memory=3915096 CPUtime=3032.83 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810553 0 0 0 303135 148 0 0 20 0 1 0 65008902 4350619648 978774 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1062163 978774 3968 3530 0 1053614 0
Current children cumulated CPU time: 3032.83 s
Current children cumulated vsize: 4248652 KiB
Current children cumulated memory: 3915096 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 71206
/proc/meminfo: memFree=111348988/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4295240 memory=3915224 CPUtime=3092.64 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810599 0 0 0 309116 148 0 0 20 0 1 0 65008902 4398325760 978806 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1073810 978806 3968 3530 0 1065261 0
Current children cumulated CPU time: 3092.64 s
Current children cumulated vsize: 4295240 KiB
Current children cumulated memory: 3915224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 71207
/proc/meminfo: memFree=111334732/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4341836 memory=3915352 CPUtime=3152.44 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810608 0 0 0 315096 148 0 0 20 0 1 0 65008902 4446040064 978838 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1085459 978838 3968 3530 0 1076910 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 4341836 KiB
Current children cumulated memory: 3915352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 71209
/proc/meminfo: memFree=111316888/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4341836 memory=3915352 CPUtime=3212.27 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810623 0 0 0 321078 149 0 0 20 0 1 0 65008902 4446040064 978838 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1085459 978838 3968 3530 0 1076910 0
Current children cumulated CPU time: 3212.27 s
Current children cumulated vsize: 4341836 KiB
Current children cumulated memory: 3915352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 71215
/proc/meminfo: memFree=111312144/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4435040 memory=3915480 CPUtime=3272.08 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810672 0 0 0 327059 149 0 0 20 0 1 0 65008902 4541480960 978870 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1108760 978870 3968 3530 0 1100211 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 4435040 KiB
Current children cumulated memory: 3915480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 71219
/proc/meminfo: memFree=111287744/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4481648 memory=3915736 CPUtime=3331.88 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810813 0 0 0 333039 149 0 0 20 0 1 0 65008902 4589207552 978934 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1120412 978934 3968 3530 0 1111863 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 4481648 KiB
Current children cumulated memory: 3915736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 71221
/proc/meminfo: memFree=111302284/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4629240 memory=3915864 CPUtime=3391.7 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 810904 0 0 0 339021 149 0 0 20 0 1 0 65008902 4740341760 978966 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1157310 978966 3968 3530 0 1148761 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 4629240 KiB
Current children cumulated memory: 3915864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 71223
/proc/meminfo: memFree=111282420/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4774888 memory=3924500 CPUtime=3451.51 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 811546 0 0 0 345002 149 0 0 20 0 1 0 65008902 4889485312 981125 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1193722 981125 3968 3530 0 1185173 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 4774888 KiB
Current children cumulated memory: 3924500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 71226
/proc/meminfo: memFree=111063624/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4892524 memory=3951204 CPUtime=3511.33 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 817722 0 0 0 350983 150 0 0 20 0 1 0 65008902 5009944576 987801 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1223131 987801 3968 3530 0 1214582 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 4892524 KiB
Current children cumulated memory: 3951204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.58 4.24 4.14 5/263 71228
/proc/meminfo: memFree=111005532/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4992792 memory=3960548 CPUtime=3571.17 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 820067 0 0 0 356967 150 0 0 20 0 1 0 65008902 5112619008 990137 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1248198 990137 3968 3530 0 1239649 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 4992792 KiB
Current children cumulated memory: 3960548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.14 4.17 4.12 3/251 71291
/proc/meminfo: memFree=119153060/131249988 swapFree=33010160/33010684
[pid=70994] ppid=70991 vsize=4992792 memory=3960676 CPUtime=3600.01 cores=1,3
/proc/70994/stat : 70994 (pbscip) R 70991 70994 70198 0 -1 4194304 820074 0 0 0 359850 151 0 0 20 0 1 0 65008902 5112619008 990169 18446744073709551615 4235264 18693293 140730786308432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53719040 140730786310537 140730786310636 140730786310636 140730786316238 0
/proc/70994/statm: 1248198 990169 3968 3530 0 1239649 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4992792 KiB
Current children cumulated memory: 3960676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 70994 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.5 s, system=1.62212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]*
/proc/loadavg: 4.14 4.17 4.12 3/251 71291
/proc/meminfo: memFree=122732496/131249988 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.31
CPU time (s): 3600.12
CPU user time (s): 3598.5
CPU system time (s): 1.62212
CPU usage (%): 99.6902
Max. virtual memory (cumulated for all children) (KiB): 4992792
Max. memory (cumulated for all children) (KiB): 3960676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.5
system time used= 1.62212
maximum resident set size= 3960676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 820074
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= 82
involuntary context switches= 5086
# summary of solver processes directly reported to runsolver:
# pid: 70994
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.5
# total CPU system time (s): 1.62212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69934 second user time and 16.124 second system time
The end
Begin job on nodeC020 at 2025-07-02 23:55:13 IDJOB=4506376 IDBENCH=158189 IDSOLVER=3365 FILE ID=nodeC020/4506376-1751493313 RUNJOBID= nodeC020-1751486098-70210 SLURM_JOB_ID= 9598538 Free space on /tmp= 431840 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.10-9.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506376-1751493313/watcher-4506376-1751493313 -o /tmp/evaluation-result-4506376-1751493313/solver-4506376-1751493313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751486098-70210 --watchdog 3760 pbscip -f HOME/instance-4506376-1751493313.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 623011bcb799422f8ca68e1af7825a24 RANDOM SEED=861501275 nodeC020 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.843 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.79 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.930 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.79 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 : 3594.761 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.79 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 : 3611.857 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.79 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.855 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.79 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.887 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.79 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 : 3700.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 : 6999.79 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 : 3598.903 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 125040644 kB MemAvailable: 125139972 kB Buffers: 2128 kB Cached: 898220 kB SwapCached: 12 kB Active: 5094604 kB Inactive: 362916 kB Active(anon): 4550128 kB Inactive(anon): 25084 kB Active(file): 544476 kB Inactive(file): 337832 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 226216 kB Writeback: 0 kB AnonPages: 4559964 kB Mapped: 135868 kB Shmem: 18040 kB KReclaimable: 112520 kB Slab: 201920 kB SReclaimable: 112520 kB SUnreclaim: 89400 kB KernelStack: 4256 kB PageTables: 12280 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 4969452 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 593920 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= 431816 MiB End job on nodeC020 at 2025-07-03 00:55:25