| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.23 | 3597.16 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb |
| MD5SUM | 8df9702f370312ff59707c84e3b82f3b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 28.0327 |
| 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 | 23324 |
| Total number of constraints | 23718 |
| Number of constraints which are clauses | 23522 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 196 |
| 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 | 197 |
| 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-4507131-1751183686.opb>
0.00/0.08 c original problem has 23324 variables (23324 bin, 0 int, 0 cont) and 23718 constraints
0.00/0.08 c problem read in 0.078 seconds
0.00/0.08 c problem without objective
0.10/0.17 c presolving:
0.10/0.21 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, 2703 clqs
0.20/0.22 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, 2687 clqs
0.20/0.22 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, 2708 clqs
0.20/0.23 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2739 clqs
0.20/0.23 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2762 clqs
0.20/0.24 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2772 clqs
0.20/0.30 c (0.3s) running MILP presolver
0.59/0.68 c (0.7s) MILP presolver (4 rounds): 1 aggregations, 197 fixings, 0 bound changes
0.59/0.70 c (round 7, medium) 1380 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2780 clqs
0.68/0.71 c (round 8, fast) 1380 del vars, 834 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2785 clqs
0.68/0.74 c (round 9, exhaustive) 1380 del vars, 1027 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2785 clqs
0.79/0.85 c (round 10, exhaustive) 1380 del vars, 1027 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 22691 upgd conss, 0 impls, 2785 clqs
0.99/1.05 c (round 11, exhaustive) 1488 del vars, 1027 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22691 upgd conss, 0 impls, 2773 clqs
0.99/1.06 c (round 12, fast) 1596 del vars, 1135 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22691 upgd conss, 0 impls, 2773 clqs
3.38/3.49 c (round 13, exhaustive) 1622 del vars, 1136 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22691 upgd conss, 0 impls, 141645 clqs
3.48/3.50 c (round 14, fast) 1623 del vars, 1162 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22691 upgd conss, 0 impls, 141657 clqs
5.98/6.03 c (round 15, exhaustive) 1648 del vars, 1162 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22691 upgd conss, 0 impls, 141629 clqs
5.98/6.04 c (round 16, fast) 1648 del vars, 1187 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22691 upgd conss, 0 impls, 141637 clqs
7.37/7.40 c (round 17, exhaustive) 1674 del vars, 1187 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22691 upgd conss, 0 impls, 141658 clqs
7.37/7.41 c (round 18, fast) 1675 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 287 chg coeffs, 22691 upgd conss, 0 impls, 141672 clqs
7.87/7.99 c (8.0s) probing: 1000/22276 (4.5%) - 94 fixings, 0 aggregations, 1122348 implications, 0 bound changes
8.17/8.25 c (round 19, exhaustive) 1701 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 287 chg coeffs, 22691 upgd conss, 0 impls, 141668 clqs
8.17/8.26 c (round 20, fast) 1701 del vars, 1239 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 22691 upgd conss, 0 impls, 141681 clqs
10.16/10.26 c (round 21, exhaustive) 1726 del vars, 1239 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 22691 upgd conss, 0 impls, 141667 clqs
10.16/10.27 c (round 22, fast) 1726 del vars, 1264 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 407 chg coeffs, 22691 upgd conss, 0 impls, 141683 clqs
10.46/10.58 c (round 23, exhaustive) 1751 del vars, 1264 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 407 chg coeffs, 22691 upgd conss, 0 impls, 141682 clqs
10.46/10.59 c (round 24, fast) 1751 del vars, 1289 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 463 chg coeffs, 22691 upgd conss, 0 impls, 141692 clqs
11.06/11.12 c (round 25, exhaustive) 1777 del vars, 1289 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 463 chg coeffs, 22691 upgd conss, 0 impls, 141703 clqs
11.06/11.13 c (round 26, fast) 1777 del vars, 1315 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 528 chg coeffs, 22691 upgd conss, 0 impls, 141716 clqs
12.65/12.79 c (round 27, exhaustive) 1802 del vars, 1315 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 528 chg coeffs, 22691 upgd conss, 0 impls, 138981 clqs
12.75/12.80 c (round 28, fast) 1802 del vars, 1340 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22691 upgd conss, 0 impls, 139003 clqs
13.25/13.31 c (round 29, exhaustive) 1827 del vars, 1340 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22691 upgd conss, 0 impls, 141720 clqs
13.25/13.32 c (round 30, fast) 1827 del vars, 1365 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 668 chg coeffs, 22691 upgd conss, 0 impls, 141728 clqs
17.44/17.58 c (round 31, exhaustive) 1852 del vars, 1365 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 668 chg coeffs, 22691 upgd conss, 0 impls, 141127 clqs
17.44/17.59 c (round 32, fast) 1852 del vars, 1390 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 732 chg coeffs, 22691 upgd conss, 0 impls, 141146 clqs
17.84/17.92 c (round 33, exhaustive) 1878 del vars, 1390 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 732 chg coeffs, 22691 upgd conss, 0 impls, 141729 clqs
17.84/17.93 c (round 34, fast) 1879 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 789 chg coeffs, 22691 upgd conss, 0 impls, 141735 clqs
19.44/19.58 c (19.6s) probing: 2000/22276 (9.0%) - 285 fixings, 1 aggregations, 3373022 implications, 0 bound changes
21.13/21.20 c (round 35, exhaustive) 1904 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 790 chg coeffs, 22691 upgd conss, 0 impls, 141696 clqs
21.13/21.21 c (round 36, fast) 1904 del vars, 1441 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 835 chg coeffs, 22691 upgd conss, 0 impls, 141702 clqs
21.43/21.53 c (round 37, exhaustive) 1930 del vars, 1441 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 835 chg coeffs, 22691 upgd conss, 0 impls, 141695 clqs
21.43/21.54 c (round 38, fast) 1932 del vars, 1468 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 880 chg coeffs, 22691 upgd conss, 0 impls, 141695 clqs
21.73/21.85 c (round 39, exhaustive) 1957 del vars, 1468 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 881 chg coeffs, 22691 upgd conss, 0 impls, 141481 clqs
21.73/21.86 c (round 40, fast) 1957 del vars, 1493 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 904 chg coeffs, 22691 upgd conss, 0 impls, 141481 clqs
22.04/22.16 c (round 41, exhaustive) 1982 del vars, 1493 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 904 chg coeffs, 22691 upgd conss, 0 impls, 141259 clqs
22.04/22.17 c (round 42, fast) 1982 del vars, 1518 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 928 chg coeffs, 22691 upgd conss, 0 impls, 141259 clqs
26.12/26.29 c (26.3s) probing: 3000/22276 (13.5%) - 400 fixings, 1 aggregations, 4557363 implications, 0 bound changes
28.81/28.98 c (round 43, exhaustive) 2007 del vars, 1518 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 928 chg coeffs, 22691 upgd conss, 0 impls, 141698 clqs
28.81/28.99 c (round 44, fast) 2007 del vars, 1543 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 22691 upgd conss, 0 impls, 141698 clqs
29.21/29.30 c (round 45, exhaustive) 2032 del vars, 1543 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 22691 upgd conss, 0 impls, 141678 clqs
29.21/29.31 c (round 46, fast) 2032 del vars, 1568 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 979 chg coeffs, 22691 upgd conss, 0 impls, 141678 clqs
32.30/32.46 c (32.5s) probing: 4000/22276 (18.0%) - 449 fixings, 1 aggregations, 5761712 implications, 0 bound changes
37.89/38.04 c (38.0s) probing: 5000/22276 (22.4%) - 450 fixings, 1 aggregations, 6963728 implications, 0 bound changes
37.99/38.18 c (round 47, exhaustive) 2057 del vars, 1568 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 979 chg coeffs, 22691 upgd conss, 0 impls, 141752 clqs
37.99/38.19 c (round 48, fast) 2057 del vars, 1593 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1008 chg coeffs, 22691 upgd conss, 0 impls, 141752 clqs
38.29/38.49 c (round 49, exhaustive) 2082 del vars, 1593 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1008 chg coeffs, 22691 upgd conss, 0 impls, 141585 clqs
38.39/38.50 c (round 50, fast) 2082 del vars, 1618 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 22691 upgd conss, 0 impls, 141585 clqs
42.98/43.18 c (43.2s) probing: 6000/22276 (26.9%) - 490 fixings, 1 aggregations, 7880318 implications, 0 bound changes
47.26/47.41 c (47.4s) probing: 7000/22276 (31.4%) - 492 fixings, 1 aggregations, 8835365 implications, 0 bound changes
48.56/48.72 c (48.7s) probing: 7309/22276 (32.8%) - 492 fixings, 1 aggregations, 9137174 implications, 0 bound changes
48.56/48.72 c (48.7s) probing aborted: 1000/1000 successive useless probings
48.56/48.76 c (48.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
48.65/48.82 c (48.8s) symmetry computation finished: 4 generators found (max: 1500, log10 of symmetry group size: 1.38) (symcode time: 0.02)
48.65/48.85 c dynamic symmetry handling statistics:
48.65/48.85 c orbitopal reduction: no components
48.65/48.85 c orbital reduction: no components
48.65/48.85 c lexicographic reduction: 2 permutations with support sizes 1842, 760
48.65/48.85 c handled 3 out of 3 symmetry components
48.65/48.85 c (round 51, exhaustive) 2101 del vars, 1634 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1057 chg coeffs, 22691 upgd conss, 0 impls, 141802 clqs
51.55/51.71 c (51.7s) probing: 8000/22276 (35.9%) - 512 fixings, 1 aggregations, 9774568 implications, 0 bound changes
56.14/56.31 c (56.3s) probing: 9000/22276 (40.4%) - 513 fixings, 1 aggregations, 10735805 implications, 0 bound changes
57.53/57.70 c (57.7s) probing: 9287/22276 (41.7%) - 513 fixings, 1 aggregations, 11016887 implications, 0 bound changes
57.53/57.70 c (57.7s) probing aborted: 1000/1000 successive useless probings
57.53/57.70 c (round 52, exhaustive) 2122 del vars, 1637 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22691 upgd conss, 0 impls, 141813 clqs
57.53/57.71 c (round 53, fast) 2122 del vars, 1658 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1090 chg coeffs, 22691 upgd conss, 0 impls, 141813 clqs
61.12/61.39 c (61.4s) probing: 10000/22276 (44.9%) - 518 fixings, 1 aggregations, 11689875 implications, 0 bound changes
62.62/62.83 c (62.8s) probing: 10294/22276 (46.2%) - 518 fixings, 1 aggregations, 11968575 implications, 0 bound changes
62.62/62.83 c (62.8s) probing aborted: 1000/1000 successive useless probings
62.62/62.86 c presolving (54 rounds: 54 fast, 26 medium, 25 exhaustive):
62.62/62.86 c 2127 deleted vars, 1658 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1090 changed coefficients
62.62/62.86 c 0 implications, 141934 cliques
62.62/62.86 c presolved problem has 21749 variables (21749 bin, 0 int, 0 cont) and 22056 constraints
62.62/62.86 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
62.62/62.86 c 1 constraints of type <knapsack>
62.62/62.86 c 2672 constraints of type <setppc>
62.62/62.86 c 1 constraints of type <orbitope_pp>
62.62/62.86 c 19382 constraints of type <logicor>
62.62/62.86 c transformed objective value is always integral (scale: 1)
62.62/62.86 c Presolving Time: 62.71
62.62/62.86 c
62.62/62.86 c - non default parameters ----------------------------------------------------------------------
62.62/62.86 c
62.62/62.86 c # SCIP version 10.0.0
62.62/62.86 c
62.62/62.86 c # maximal time in seconds to run
62.62/62.86 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
62.62/62.86 c limits/time = 3596.998059
62.62/62.86 c
62.62/62.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
62.62/62.86 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
62.62/62.86 c limits/memory = 27900
62.62/62.86 c
62.62/62.86 c # belongs reading time to solving time?
62.62/62.86 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
62.62/62.86 c timing/reading = TRUE
62.62/62.86 c
62.62/62.86 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
62.62/62.86 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
62.62/62.86 c reading/opbreader/maxintsize = 47
62.62/62.86 c
62.62/62.86 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
62.62/62.86 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
62.62/62.86 c propagating/genvbounds/timingmask = 0
62.62/62.86 c
62.62/62.86 c -----------------------------------------------------------------------------------------------
62.62/62.87 c
89.44/89.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
89.44/89.72 c 89.7s| 1 | 0 | 18280 | - | 415M | 0 | 21k| 22k| 22k| 0 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
288.28/289.16 c 289s| 1 | 0 |116646 | - | 444M | 0 | 21k| 22k| 22k| 7 | 1 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
324.39/325.34 c 325s| 1 | 0 |129033 | - | 455M | 0 | 21k| 22k| 22k| 15 | 2 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
360.20/361.26 c 361s| 1 | 0 |140854 | - | 461M | 0 | 21k| 22k| 22k| 27 | 3 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
399.89/401.01 c 401s| 1 | 0 |153204 | - | 466M | 0 | 21k| 22k| 22k| 38 | 4 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
442.88/444.10 c 444s| 1 | 0 |166460 | - | 469M | 0 | 21k| 22k| 22k| 52 | 5 | 195 | 0 | 0.000000e+00 | -- | Inf | unknown
486.16/487.58 c 488s| 1 | 0 |179219 | - | 471M | 0 | 21k| 22k| 22k| 59 | 6 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
529.55/531.04 c 531s| 1 | 0 |192102 | - | 476M | 0 | 21k| 22k| 22k| 66 | 7 | 206 | 0 | 0.000000e+00 | -- | Inf | unknown
589.29/590.99 c 591s| 1 | 0 |209476 | - | 483M | 0 | 21k| 22k| 22k| 79 | 8 | 211 | 0 | 0.000000e+00 | -- | Inf | unknown
633.47/635.22 c 635s| 1 | 0 |222519 | - | 486M | 0 | 21k| 22k| 22k| 93 | 9 | 221 | 0 | 0.000000e+00 | -- | Inf | unknown
676.56/678.47 c 678s| 1 | 0 |235547 | - | 492M | 0 | 21k| 22k| 22k| 101 | 10 | 226 | 0 | 0.000000e+00 | -- | Inf | unknown
723.04/725.06 c 725s| 1 | 0 |249790 | - | 495M | 0 | 21k| 22k| 22k| 117 | 11 | 228 | 0 | 0.000000e+00 | -- | Inf | unknown
1250.51/1253.92 c 1254s| 1 | 2 |440690 | - | 499M | 0 | 21k| 22k| 22k| 117 | 11 | 238 | 19 | 0.000000e+00 | -- | Inf | unknown
2906.23/2914.42 c 2914s| 100 | 41 | 1188k|9486.5 | 526M | 48 | 21k| 22k| 22k| 202 | 1 | 351 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.96/3597.00 c
3586.96/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.96/3597.00 c Solving Time (sec) : 3597.00
3586.96/3597.00 c Solving Nodes : 166
3586.96/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.96/3597.00 c Dual Bound : +0.00000000000000e+00
3586.96/3597.00 c Gap : infinite
3586.96/3597.00 s UNKNOWN
3586.96/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.96/3597.00 c Total Time : 3597.00
3586.96/3597.00 c solving : 3597.00
3586.96/3597.00 c presolving : 62.71 (included in solving)
3586.96/3597.00 c reading : 0.08 (included in solving)
3586.96/3597.00 c copying : 0.15 (3 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3586.96/3597.00 c Original Problem :
3586.96/3597.00 c Problem name : HOME/instance-4507131-1751183686.opb
3586.96/3597.00 c Variables : 23324 (23324 binary, 0 integer, 0 continuous)
3586.96/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.96/3597.00 c Constraints : 23718 initial, 23718 maximal
3586.96/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.96/3597.00 c Presolved Problem :
3586.96/3597.00 c Problem name : t_HOME/instance-4507131-1751183686.opb
3586.96/3597.00 c Variables : 21749 (21749 binary, 0 integer, 0 continuous)
3586.96/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.96/3597.00 c Constraints : 22056 initial, 22412 maximal
3586.96/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.96/3597.00 c Nonzeros : 120917 constraint, 305233 clique table
3586.96/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.96/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c domcol : 1.08 0.00 22 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 16 0 0 24
3586.96/3597.00 c gateextraction : 0.23 0.00 23 0 0 0 0 0 1 0 0 0
3586.96/3597.00 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c milp : 0.44 0.00 1 197 1 0 0 0 0 0 0 0
3586.96/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c sparsify : 0.75 0.00 4 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c trivial : 0.04 0.00 54 552 0 0 0 0 0 0 0 0
3586.96/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c dualfix : 0.03 0.00 54 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c probing : 54.39 0.00 22 518 1 0 0 0 0 0 0 0
3586.96/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c symmetry : 0.09 0.00 1 3 0 0 0 0 0 1 0 0
3586.96/3597.00 c vbounds : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c knapsack : 0.02 0.00 90 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c setppc : 0.26 0.00 90 0 0 0 0 0 112 0 0 0
3586.96/3597.00 c linear : 0.18 0.02 12 302 0 0 302 0 1027 0 0 0
3586.96/3597.00 c orbitope_pp : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c logicor : 5.03 0.01 90 109 0 0 0 0 502 0 0 1066
3586.96/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.96/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.96/3597.00 c integral : 0 0 0 0 112 0 0 15 0 0 0 0 0 0 224
3586.96/3597.00 c knapsack : 1 1 11 715644 0 0 0 11 0 0 0 0 0 0 0
3586.96/3597.00 c setppc : 2672+ 2798 11 725430 0 0 0 10 28519 338 18821 0 0 0 0
3586.96/3597.00 c linear : 0+ 8 0 12574 0 0 0 3 13 0 1339 0 0 0 0
3586.96/3597.00 c orbitope_pp : 1 1 0 223279 0 0 0 0 30 0 19 0 0 0 0
3586.96/3597.00 c logicor : 19382+ 19605 11 182181 0 0 0 0 80086 165 38134 16 10 0 0
3586.96/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.96/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.96/3597.00 c integral : 62.62 0.00 0.00 0.00 62.62 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c knapsack : 0.43 0.00 0.02 0.41 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c setppc : 5.72 0.00 0.01 5.69 0.00 0.00 0.00 0.00 0.01 0.01
3586.96/3597.00 c linear : 0.04 0.02 0.00 0.01 0.00 0.00 0.00 0.01 0.00 0.00
3586.96/3597.00 c orbitope_pp : 0.34 0.00 0.00 0.34 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c logicor : 14.80 0.01 0.04 14.69 0.00 0.00 0.00 0.00 0.03 0.02
3586.96/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.96/3597.00 c dualfix : 1 0 0 0
3586.96/3597.00 c genvbounds : 0 0 0 0
3586.96/3597.00 c nlobbt : 0 0 0 0
3586.96/3597.00 c obbt : 0 0 0 0
3586.96/3597.00 c probing : 0 0 0 0
3586.96/3597.00 c pseudoobj : 0 0 0 0
3586.96/3597.00 c redcost : 0 0 0 0
3586.96/3597.00 c rootredcost : 0 0 0 0
3586.96/3597.00 c symmetry : 798 0 0 2
3586.96/3597.00 c vbounds : 7348 0 0 0
3586.96/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.96/3597.00 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.96/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.96/3597.00 c probing : 54.40 0.00 54.39 0.00 0.00 0.00
3586.96/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.96/3597.00 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.96/3597.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.96/3597.00 c symmetry : 0.12 0.00 0.09 0.03 0.00 0.00
3586.96/3597.00 c vbounds : 0.17 0.00 0.04 0.13 0.00 0.00
3586.96/3597.00 c Symmetry :
3587.07/3597.00 c #affected vars : 3154 (3154 bin, 0 int, 0 cont)
3587.07/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.07/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.07/3597.00 c lexicographic red: 2 reductions applied, 0 cutoffs
3587.07/3597.00 c shadow tree time : 0.00 s
3587.07/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.07/3597.00 c propagation : 0.05 501 165 - 934 197.0 67 18.4 - - -
3587.07/3597.00 c infeasible LP : 0.42 40 8 - 160 562.8 0 0.0 8 1894.1 0
3587.07/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.07/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.07/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.07/3597.00 c applied globally : 0.01 - - 0 445 111.3 - - 7 - -
3587.07/3597.00 c applied locally : - - - 0 0 0.0 - - 1 - -
3587.07/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.07/3597.00 c cut pool : 0.01 - 46 21 - - 517 967 - - - - - (maximal pool size: 517)
3587.07/3597.00 c aggregation : 0.10 0.00 20 11 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.07/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.07/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.07/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c clique : 2.33 0.00 11 11 0 0 88 168 0 63 63 0 0
3587.07/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c gomory : 27.60 0.00 19 10 0 0 384 655 78 75 71 4 0
3587.07/3597.00 c > gomorymi : - - - - - - - 272 39 39 37 2 -
3587.07/3597.00 c > strongcg : - - - - - - - 383 39 36 34 2 -
3587.07/3597.00 c impliedbounds : 0.15 0.00 20 11 0 0 66 72 0 29 29 0 0
3587.07/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.07/3597.00 c zerohalf : 19.29 0.00 20 11 0 0 92 72 35 92 62 30 0
3587.07/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.07/3597.00 c hybrid : 0.01 0.00 26 11 269 0 827 117 0 132
3587.07/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.07/3597.00 c problem variables: 0.00 - 0 0
3587.07/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.07/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c relpscost : 62.62 0.00 112 0 0 0 0 0 0 224
3587.07/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.07/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.07/3597.00 c LP solutions : 0.00 - - 0 0
3587.07/3597.00 c relax solutions : 0.00 - - 0 0
3587.07/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.07/3597.00 c strong branching : 0.00 - - 0 0
3587.07/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c adaptivediving : 19.92 0.00 1 0 0
3587.07/3597.00 c alns : 0.50 0.00 2 0 0
3587.07/3597.00 c bound : 0.00 0.00 0 0 0
3587.07/3597.00 c clique : 0.08 0.00 1 0 0
3587.07/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c completesol : 0.00 0.00 0 0 0
3587.07/3597.00 c conflictdiving : 465.73 0.00 1 0 0
3587.07/3597.00 c crossover : 0.00 0.00 0 0 0
3587.07/3597.00 c dins : 0.00 0.00 0 0 0
3587.07/3597.00 c distributiondivin: 0.07 0.00 0 0 0
3587.07/3597.00 c dks : 0.00 0.00 0 0 0
3587.07/3597.00 c dps : 0.00 0.00 0 0 0
3587.07/3597.00 c dualval : 0.00 0.00 0 0 0
3587.07/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c feaspump : 161.85 0.00 1 0 0
3587.07/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.07/3597.00 c fracdiving : 149.56 0.00 1 0 0
3587.07/3597.00 c gins : 0.00 0.00 0 0 0
3587.07/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.07/3597.00 c indicator : 0.00 0.00 0 0 0
3587.07/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.07/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.07/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.07/3597.00 c locks : 0.10 0.00 1 0 0
3587.07/3597.00 c lpface : 0.01 0.00 0 0 0
3587.07/3597.00 c mpec : 0.00 0.00 0 0 0
3587.07/3597.00 c multistart : 0.00 0.00 0 0 0
3587.07/3597.00 c mutation : 0.00 0.00 0 0 0
3587.07/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3587.07/3597.00 c octane : 0.00 0.00 0 0 0
3587.07/3597.00 c ofins : 0.00 0.00 0 0 0
3587.07/3597.00 c oneopt : 0.00 0.00 0 0 0
3587.07/3597.00 c padm : 0.00 0.00 0 0 0
3587.07/3597.00 c proximity : 0.00 0.00 0 0 0
3587.07/3597.00 c pscostdiving : 522.39 0.00 1 0 0
3587.07/3597.00 c randrounding : 0.27 0.00 20 0 0
3587.07/3597.00 c rens : 0.49 0.00 1 0 0
3587.07/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.07/3597.00 c repair : 0.00 0.00 0 0 0
3587.07/3597.00 c rins : 0.00 0.00 0 0 0
3587.07/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3587.07/3597.00 c rounding : 0.13 0.00 120 0 0
3587.07/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.07/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3587.07/3597.00 c shifting : 0.35 0.00 34 0 0
3587.07/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.07/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.07/3597.00 c trivial : 0.02 0.00 2 0 0
3587.07/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.07/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.07/3597.00 c trysol : 0.00 0.00 0 0 0
3587.07/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.07/3597.00 c undercover : 0.00 0.00 0 0 0
3587.07/3597.00 c vbounds : 0.14 0.00 1 0 0
3587.07/3597.00 c veclendiving : 0.00 0.00 0 0 0
3587.07/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.07/3597.00 c zirounding : 0.03 0.00 112 0 0
3587.07/3597.00 c other solutions : - - - 0 -
3587.07/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.07/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.07/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.07/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.07/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.07/3597.00 c primal LP : 0.14 8 0 0.00 0.00 0.14 8
3587.07/3597.00 c dual LP : 2098.59 171 1104482 6458.96 526.30 0.00 0
3587.07/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.07/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.07/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.07/3597.00 c diving/probing LP: 1335.54 49 519422 10600.45 388.92
3587.07/3597.00 c strong branching : 44.55 19 18519 974.68 415.73 - - 37
3587.07/3597.00 c (at root node) : - 19 18519 974.68 -
3587.07/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.07/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.07/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.07/3597.00 c B&B Tree :
3587.07/3597.00 c number of runs : 1
3587.07/3597.00 c nodes : 166 (112 internal, 54 leaves)
3587.07/3597.00 c feasible leaves : 0
3587.07/3597.00 c infeas. leaves : 53
3587.07/3597.00 c objective leaves : 0
3587.07/3597.00 c nodes (total) : 166 (112 internal, 54 leaves)
3587.07/3597.00 c nodes left : 60
3587.07/3597.00 c max depth : 50
3587.07/3597.00 c max depth (total): 50
3587.07/3597.00 c backtracks : 19 (11.4%)
3587.07/3597.00 c early backtracks : 0 (0.0%)
3587.07/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.07/3597.00 c delayed cutoffs : 0
3587.07/3597.00 c repropagations : 286 (977 domain reductions, 0 cutoffs)
3587.07/3597.00 c avg switch length: 5.79
3587.07/3597.00 c switching time : 0.47
3587.07/3597.00 c Root Node :
3587.07/3597.00 c First LP value : +0.00000000000000e+00
3587.07/3597.00 c First LP Iters : 18280 (689.88 Iter/sec)
3587.07/3597.00 c First LP Time : 26.50
3587.07/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.07/3597.00 c Final Root Iters : 249790
3587.07/3597.00 c Root LP Estimate : +1.90811478932556e-03
3587.07/3597.00 c Solution :
3587.07/3597.00 c Solutions found : 0 (0 improvements)
3587.07/3597.00 c Primal Bound : -
3587.07/3597.00 c Dual Bound : +0.00000000000000e+00
3587.07/3597.00 c Gap : infinite
3587.07/3597.00 c Integrals : Total Avg%
3587.07/3597.00 c primal-dual : 359700.05 100.00
3587.07/3597.00 c primal-ref : - - (not evaluated)
3587.07/3597.00 c dual-ref : - - (not evaluated)
3587.17/3597.15 c Time complete (sec): 3587.225
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 (62997 MiB free)
memory of node 1: 64465 MiB (63994 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507131-1751183686/watcher-4507131-1751183686 -o /tmp/evaluation-result-4507131-1751183686/solver-4507131-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22784 --watchdog 3760 pbsolver -f HOME/instance-4507131-1751183686.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22839, runsolver pid=22824
[startup+0.100062 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129803832/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=83640 memory=74680 CPUtime=0.1 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 16596 0 0 0 8 2 0 0 20 0 1 0 33991155 85647360 18638 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 20910 18638 2368 2575 0 17817 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83640 KiB
Current children cumulated memory: 74680 KiB
[startup+0.20579 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129695728/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=118948 memory=106168 CPUtime=0.2 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 24466 0 0 0 17 3 0 0 20 0 1 0 33991155 121802752 26542 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 29737 26542 2400 2575 0 26644 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118948 KiB
Current children cumulated memory: 106168 KiB
[startup+0.305333 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129599180/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=150944 memory=138096 CPUtime=0.3 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 34339 0 0 0 25 5 0 0 20 0 1 0 33991155 154566656 34524 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 37736 34524 2432 2575 0 34643 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150944 KiB
Current children cumulated memory: 138096 KiB
[startup+0.700168 s]
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129599180/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=140448 memory=127932 CPUtime=0.68 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 34344 0 0 0 63 5 0 0 20 0 1 0 33991155 143818752 31983 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 35112 31983 2496 2575 0 32019 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140448 KiB
Current children cumulated memory: 127932 KiB
[startup+1.50016 s]
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129528368/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=197364 memory=182156 CPUtime=1.48 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 45596 0 0 0 141 7 0 0 20 0 1 0 33991155 202100736 45539 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 49341 45539 2592 2575 0 46248 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197364 KiB
Current children cumulated memory: 182156 KiB
[startup+3.10548 s]
/proc/loadavg: 1.95 2.11 2.65 6/265 22840
/proc/meminfo: memFree=129396788/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=216136 memory=200588 CPUtime=3.09 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 50187 0 0 0 301 8 0 0 20 0 1 0 33991155 221323264 50147 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 54034 50147 2624 2575 0 50941 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 216136 KiB
Current children cumulated memory: 200588 KiB
[startup+6.30016 s]
/proc/loadavg: 1.95 2.11 2.65 6/265 22840
/proc/meminfo: memFree=129389140/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=216704 memory=201228 CPUtime=6.27 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 50326 0 0 0 619 8 0 0 20 0 1 0 33991155 221904896 50307 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 54176 50307 2624 2575 0 51083 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216704 KiB
Current children cumulated memory: 201228 KiB
[startup+12.7002 s]
/proc/loadavg: 2.27 2.17 2.67 6/265 22840
/proc/meminfo: memFree=129356884/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=227384 memory=211852 CPUtime=12.65 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 52989 0 0 0 1257 8 0 0 20 0 1 0 33991155 232841216 52963 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 56846 52963 2624 2575 0 53753 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 227384 KiB
Current children cumulated memory: 211852 KiB
[startup+25.5002 s]
/proc/loadavg: 2.53 2.23 2.68 6/265 22841
/proc/meminfo: memFree=129348820/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=229104 memory=213644 CPUtime=25.42 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 53445 0 0 0 2533 9 0 0 20 0 1 0 33991155 234602496 53411 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 57276 53411 2624 2575 0 54183 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 229104 KiB
Current children cumulated memory: 213644 KiB
[startup+51.1055 s]
/proc/loadavg: 3.11 2.39 2.72 6/264 22841
/proc/meminfo: memFree=128795996/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=399576 memory=319488 CPUtime=50.96 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 78923 0 0 0 5083 13 0 0 20 0 1 0 33991155 409165824 79872 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 99894 79872 2624 2575 0 96801 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 399576 KiB
Current children cumulated memory: 319488 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.68 2.80 6/264 22844
/proc/meminfo: memFree=128718712/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=476436 memory=390468 CPUtime=102.01 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 96437 0 0 0 10186 15 0 0 20 0 1 0 33991155 487870464 97617 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 119109 97617 2688 2575 0 116016 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 476436 KiB
Current children cumulated memory: 390468 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.94 2.89 6/264 22846
/proc/meminfo: memFree=128708760/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=478620 memory=391364 CPUtime=161.84 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 96635 0 0 0 16169 15 0 0 20 0 1 0 33991155 490106880 97841 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 119655 97841 2688 2575 0 116562 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 478620 KiB
Current children cumulated memory: 391364 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.15 2.96 6/264 22848
/proc/meminfo: memFree=128671236/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=478620 memory=391364 CPUtime=221.67 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 96636 0 0 0 22152 15 0 0 20 0 1 0 33991155 490106880 97841 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 119655 97841 2688 2575 0 116562 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 478620 KiB
Current children cumulated memory: 391364 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.32 3.04 6/264 22850
/proc/meminfo: memFree=128303756/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=581332 memory=490172 CPUtime=281.5 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 104510 0 0 0 28133 17 0 0 20 0 1 0 33991155 595283968 122543 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 145333 122543 2688 2575 0 142240 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 581332 KiB
Current children cumulated memory: 490172 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.46 3.11 6/264 22855
/proc/meminfo: memFree=128252108/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=600812 memory=508732 CPUtime=341.35 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 109198 0 0 0 34116 19 0 0 20 0 1 0 33991155 615231488 127183 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 150203 127183 2688 2575 0 147110 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 600812 KiB
Current children cumulated memory: 508732 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.59 3.18 6/264 22868
/proc/meminfo: memFree=128235184/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=604928 memory=511548 CPUtime=401.19 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 109934 0 0 0 40100 19 0 0 20 0 1 0 33991155 619446272 127887 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 151232 127887 2688 2575 0 148139 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 604928 KiB
Current children cumulated memory: 511548 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 3.67 3.23 6/264 22874
/proc/meminfo: memFree=128196880/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=611832 memory=516028 CPUtime=461.03 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 111062 0 0 0 46084 19 0 0 20 0 1 0 33991155 626515968 129007 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 152958 129007 2688 2575 0 149865 0
################
# More data... #
################
/proc/loadavg: 4.08 4.12 4.09 6/263 23001
/proc/meminfo: memFree=127666708/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3213.26 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143170 0 0 0 321301 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/263 23003
/proc/meminfo: memFree=127666436/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3273.12 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143176 0 0 0 327287 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 23007
/proc/meminfo: memFree=127665960/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3332.97 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143176 0 0 0 333272 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/264 23009
/proc/meminfo: memFree=127666308/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3392.83 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143182 0 0 0 339258 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 23015
/proc/meminfo: memFree=127666276/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3452.69 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143237 0 0 0 345244 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/263 23017
/proc/meminfo: memFree=127665876/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3512.54 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143354 0 0 0 351229 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/263 23019
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3572.4 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143358 0 0 0 357215 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3597.16 s]
# the end of solver process 22839 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.97 s, system=0.257263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.09 6/263 23019
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3574.1 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143358 0 0 0 357385 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665048/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3580.48 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143484 0 0 0 358023 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3580.48 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3583.67 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143484 0 0 0 358342 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3583.67 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3585.27 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143484 0 0 0 358502 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3585.27 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3586.07 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143484 0 0 0 358582 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3586.86 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143484 0 0 0 358661 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=743728 memory=708864 CPUtime=3587.07 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143484 0 0 0 358682 25 0 0 20 0 1 0 33991155 761577472 177216 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 185932 177216 2688 2575 0 182839 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 743728 KiB
Current children cumulated memory: 708864 KiB
[startup+3597.1 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22839] ppid=22824 vsize=669336 memory=634560 CPUtime=3587.17 cores=5,7
/proc/22839/stat : 22839 (pbsolver) R 22824 22839 22771 0 -1 4194304 143570 0 0 0 358692 25 0 0 20 0 1 0 33991155 685400064 158640 18446744073709551615 4198400 14743177 140731371278064 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 35028992 140731371284874 140731371284970 140731371284970 140731371290572 0
/proc/22839/statm: 167334 158640 2688 2575 0 164241 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 669336 KiB
Current children cumulated memory: 634560 KiB
Child status: 0
Real time (s): 3597.16
CPU time (s): 3587.23
CPU user time (s): 3586.97
CPU system time (s): 0.257263
CPU usage (%): 99.724
Max. virtual memory (cumulated for all children) (KiB): 743728
Max. memory (cumulated for all children) (KiB): 708864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.97
system time used= 0.257263
maximum resident set size= 708864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143584
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= 28
involuntary context switches= 1531
# summary of solver processes directly reported to runsolver:
# pid: 22839
# total CPU time (s): 3587.23
# total CPU user time (s): 3586.97
# total CPU system time (s): 0.257263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05214 second user time and 14.238 second system time
The end
Begin job on nodeC028 at 2025-06-29 09:54:46 IDJOB=4507131 IDBENCH=158326 IDSOLVER=3366 FILE ID=nodeC028/4507131-1751183686 RUNJOBID= nodeC028-1751183686-22784 SLURM_JOB_ID= 9587572 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507131-1751183686/watcher-4507131-1751183686 -o /tmp/evaluation-result-4507131-1751183686/solver-4507131-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22784 --watchdog 3760 pbsolver -f HOME/instance-4507131-1751183686.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b RANDOM SEED=1630834033 nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.076 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.488 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.670 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.116 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.654 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.990 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.081 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.082 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130051684 kB MemAvailable: 129765668 kB Buffers: 3280 kB Cached: 524740 kB SwapCached: 0 kB Active: 323172 kB Inactive: 268372 kB Active(anon): 81608 kB Inactive(anon): 0 kB Active(file): 241564 kB Inactive(file): 268372 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 64768 kB Writeback: 20 kB AnonPages: 66564 kB Mapped: 102080 kB Shmem: 18068 kB KReclaimable: 86572 kB Slab: 169856 kB SReclaimable: 86572 kB SUnreclaim: 83284 kB KernelStack: 3988 kB PageTables: 2888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 330084 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC028 at 2025-06-29 10:54:44