| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3588.02 | 3597.79 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb |
| MD5SUM | de861f201885d7430b03c8868c66597b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 17850 |
| Total number of constraints | 18152 |
| Number of constraints which are clauses | 18002 |
| Number of constraints which are cardinality constraints (but not clauses) | 150 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 150 |
| 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 | 151 |
| 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-4507095-1751183686.opb>
0.00/0.06 c original problem has 17850 variables (17850 bin, 0 int, 0 cont) and 18152 constraints
0.00/0.06 c problem read in 0.060 seconds
0.00/0.06 c problem without objective
0.09/0.12 c presolving:
0.09/0.15 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2059 clqs
0.09/0.16 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2043 clqs
0.09/0.17 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, 2064 clqs
0.09/0.17 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, 2095 clqs
0.09/0.17 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, 2118 clqs
0.09/0.17 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, 2128 clqs
0.20/0.22 c (0.2s) running MILP presolver
0.39/0.50 c (0.5s) MILP presolver (4 rounds): 1 aggregations, 150 fixings, 0 bound changes
0.49/0.51 c (round 7, medium) 1333 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2138 clqs
0.49/0.52 c (round 8, fast) 1333 del vars, 787 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2142 clqs
0.49/0.54 c (round 9, exhaustive) 1333 del vars, 934 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2142 clqs
0.59/0.62 c (round 10, exhaustive) 1333 del vars, 934 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17218 upgd conss, 0 impls, 2142 clqs
0.68/0.77 c (round 11, exhaustive) 1442 del vars, 934 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 17218 upgd conss, 0 impls, 2129 clqs
0.68/0.78 c (round 12, fast) 1551 del vars, 1043 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 17218 upgd conss, 0 impls, 2129 clqs
2.88/2.90 c (round 13, exhaustive) 1577 del vars, 1044 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 17218 upgd conss, 0 impls, 108399 clqs
2.88/2.90 c (round 14, fast) 1578 del vars, 1070 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 17218 upgd conss, 0 impls, 108414 clqs
4.37/4.48 c (round 15, exhaustive) 1604 del vars, 1070 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 17218 upgd conss, 0 impls, 108380 clqs
4.37/4.49 c (round 16, fast) 1605 del vars, 1096 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 224 chg coeffs, 17218 upgd conss, 0 impls, 108389 clqs
4.98/5.00 c (round 17, exhaustive) 1630 del vars, 1096 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 224 chg coeffs, 17218 upgd conss, 0 impls, 108405 clqs
4.98/5.01 c (round 18, fast) 1630 del vars, 1121 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 17218 upgd conss, 0 impls, 108419 clqs
6.27/6.37 c (round 19, exhaustive) 1656 del vars, 1121 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 17218 upgd conss, 0 impls, 108421 clqs
6.27/6.37 c (round 20, fast) 1657 del vars, 1147 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 17218 upgd conss, 0 impls, 108433 clqs
6.56/6.61 c (round 21, exhaustive) 1683 del vars, 1147 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 17218 upgd conss, 0 impls, 108446 clqs
6.56/6.61 c (round 22, fast) 1683 del vars, 1173 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 402 chg coeffs, 17218 upgd conss, 0 impls, 108456 clqs
6.86/6.90 c (6.9s) probing: 1000/16848 (5.9%) - 128 fixings, 0 aggregations, 1094318 implications, 0 bound changes
7.26/7.30 c (round 23, exhaustive) 1709 del vars, 1173 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 402 chg coeffs, 17218 upgd conss, 0 impls, 108463 clqs
7.26/7.31 c (round 24, fast) 1710 del vars, 1199 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 469 chg coeffs, 17218 upgd conss, 0 impls, 108484 clqs
7.46/7.59 c (round 25, exhaustive) 1736 del vars, 1199 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 469 chg coeffs, 17218 upgd conss, 0 impls, 107783 clqs
7.46/7.59 c (round 26, fast) 1738 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 546 chg coeffs, 17218 upgd conss, 0 impls, 107798 clqs
7.76/7.83 c (round 27, exhaustive) 1764 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 548 chg coeffs, 17218 upgd conss, 0 impls, 108500 clqs
7.76/7.84 c (round 28, fast) 1765 del vars, 1252 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 613 chg coeffs, 17218 upgd conss, 0 impls, 108514 clqs
8.36/8.47 c (round 29, exhaustive) 1791 del vars, 1252 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 613 chg coeffs, 17218 upgd conss, 0 impls, 106883 clqs
8.36/8.48 c (round 30, fast) 1791 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 693 chg coeffs, 17218 upgd conss, 0 impls, 106897 clqs
12.65/12.78 c (round 31, exhaustive) 1816 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 693 chg coeffs, 17218 upgd conss, 0 impls, 108205 clqs
12.65/12.78 c (round 32, fast) 1816 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 755 chg coeffs, 17218 upgd conss, 0 impls, 108218 clqs
12.95/13.03 c (round 33, exhaustive) 1842 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 755 chg coeffs, 17218 upgd conss, 0 impls, 108558 clqs
12.95/13.04 c (round 34, fast) 1843 del vars, 1329 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 805 chg coeffs, 17218 upgd conss, 0 impls, 108560 clqs
13.24/13.30 c (round 35, exhaustive) 1868 del vars, 1329 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 805 chg coeffs, 17218 upgd conss, 0 impls, 108525 clqs
13.24/13.30 c (round 36, fast) 1868 del vars, 1354 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 842 chg coeffs, 17218 upgd conss, 0 impls, 108529 clqs
13.44/13.53 c (round 37, exhaustive) 1893 del vars, 1354 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 842 chg coeffs, 17218 upgd conss, 0 impls, 108469 clqs
13.44/13.53 c (round 38, fast) 1893 del vars, 1379 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 867 chg coeffs, 17218 upgd conss, 0 impls, 108469 clqs
13.64/13.75 c (round 39, exhaustive) 1918 del vars, 1379 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 867 chg coeffs, 17218 upgd conss, 0 impls, 108417 clqs
13.64/13.76 c (round 40, fast) 1918 del vars, 1404 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 17218 upgd conss, 0 impls, 108417 clqs
13.84/13.98 c (round 41, exhaustive) 1945 del vars, 1404 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 17218 upgd conss, 0 impls, 108523 clqs
13.84/13.99 c (round 42, fast) 1947 del vars, 1431 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 17218 upgd conss, 0 impls, 108526 clqs
14.24/14.32 c (round 43, exhaustive) 1972 del vars, 1431 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 17218 upgd conss, 0 impls, 108403 clqs
14.24/14.33 c (round 44, fast) 1972 del vars, 1456 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 949 chg coeffs, 17218 upgd conss, 0 impls, 108403 clqs
14.84/14.96 c (15.0s) probing: 2000/16848 (11.9%) - 420 fixings, 1 aggregations, 2554566 implications, 0 bound changes
16.94/17.05 c (round 45, exhaustive) 1997 del vars, 1456 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 949 chg coeffs, 17218 upgd conss, 0 impls, 108609 clqs
16.94/17.06 c (round 46, fast) 1997 del vars, 1481 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 975 chg coeffs, 17218 upgd conss, 0 impls, 108609 clqs
17.13/17.28 c (round 47, exhaustive) 2022 del vars, 1481 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 975 chg coeffs, 17218 upgd conss, 0 impls, 108646 clqs
17.13/17.28 c (round 48, fast) 2022 del vars, 1506 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1000 chg coeffs, 17218 upgd conss, 0 impls, 108646 clqs
19.62/19.79 c (19.8s) probing: 3000/16848 (17.8%) - 463 fixings, 1 aggregations, 3720713 implications, 0 bound changes
24.20/24.32 c (24.3s) probing: 4000/16848 (23.7%) - 471 fixings, 1 aggregations, 4858799 implications, 0 bound changes
28.09/28.27 c (28.3s) probing: 5000/16848 (29.7%) - 475 fixings, 1 aggregations, 5793551 implications, 0 bound changes
28.59/28.74 c (round 49, exhaustive) 2047 del vars, 1506 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1000 chg coeffs, 17218 upgd conss, 0 impls, 108647 clqs
28.59/28.75 c (round 50, fast) 2047 del vars, 1531 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1035 chg coeffs, 17218 upgd conss, 0 impls, 108649 clqs
28.79/28.98 c (round 51, exhaustive) 2072 del vars, 1531 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1035 chg coeffs, 17218 upgd conss, 0 impls, 108661 clqs
28.79/28.99 c (round 52, fast) 2072 del vars, 1556 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 17218 upgd conss, 0 impls, 108661 clqs
32.47/32.62 c (32.6s) probing: 6000/16848 (35.6%) - 506 fixings, 1 aggregations, 6683592 implications, 0 bound changes
36.37/36.59 c (36.6s) probing: 7000/16848 (41.5%) - 507 fixings, 1 aggregations, 7601162 implications, 0 bound changes
37.07/37.21 c (37.2s) probing: 7157/16848 (42.5%) - 507 fixings, 1 aggregations, 7749113 implications, 0 bound changes
37.07/37.21 c (37.2s) probing aborted: 1000/1000 successive useless probings
37.07/37.25 c (37.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
37.07/37.29 c (37.3s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
37.16/37.32 c dynamic symmetry handling statistics:
37.16/37.32 c orbitopal reduction: no components
37.16/37.32 c orbital reduction: no components
37.16/37.32 c lexicographic reduction: 3 permutations with support sizes 1382, 576, 276
37.16/37.32 c handled 4 out of 4 symmetry components
37.16/37.34 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
37.16/37.34 c 2081 deleted vars, 1562 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1069 changed coefficients
37.16/37.34 c 0 implications, 108681 cliques
37.16/37.34 c presolved problem has 16327 variables (16327 bin, 0 int, 0 cont) and 16591 constraints
37.16/37.34 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
37.16/37.34 c 1 constraints of type <knapsack>
37.16/37.34 c 2031 constraints of type <setppc>
37.16/37.34 c 1 constraints of type <orbitope_pp>
37.16/37.34 c 14558 constraints of type <logicor>
37.16/37.34 c transformed objective value is always integral (scale: 1)
37.16/37.34 c Presolving Time: 37.23
37.16/37.34 c
37.16/37.34 c - non default parameters ----------------------------------------------------------------------
37.16/37.34 c
37.16/37.34 c # SCIP version 10.0.0
37.16/37.34 c
37.16/37.34 c # maximal time in seconds to run
37.16/37.34 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
37.16/37.34 c limits/time = 3596.998131
37.16/37.34 c
37.16/37.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.16/37.34 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
37.16/37.34 c limits/memory = 27900
37.16/37.34 c
37.16/37.34 c # belongs reading time to solving time?
37.16/37.34 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
37.16/37.34 c timing/reading = TRUE
37.16/37.34 c
37.16/37.34 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
37.16/37.34 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
37.16/37.34 c reading/opbreader/maxintsize = 47
37.16/37.34 c
37.16/37.34 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
37.16/37.34 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
37.16/37.34 c propagating/genvbounds/timingmask = 0
37.16/37.34 c
37.16/37.34 c -----------------------------------------------------------------------------------------------
37.16/37.34 c
57.29/57.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.29/57.57 c 57.6s| 1 | 0 | 18235 | - | 319M | 0 | 16k| 16k| 16k| 0 | 0 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
269.85/270.84 c 271s| 1 | 0 |117754 | - | 344M | 0 | 16k| 16k| 16k| 4 | 1 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
292.88/293.96 c 294s| 1 | 0 |129510 | - | 350M | 0 | 16k| 16k| 16k| 19 | 2 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
319.78/320.90 c 321s| 1 | 0 |142288 | - | 353M | 0 | 16k| 16k| 16k| 38 | 3 | 145 | 0 | 0.000000e+00 | -- | Inf | unknown
344.59/345.86 c 346s| 1 | 0 |154356 | - | 357M | 0 | 16k| 16k| 16k| 43 | 4 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
375.29/376.61 c 377s| 1 | 0 |168080 | - | 361M | 0 | 16k| 16k| 16k| 63 | 5 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
412.77/414.27 c 414s| 1 | 0 |184533 | - | 363M | 0 | 16k| 16k| 16k| 86 | 6 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
453.82/455.41 c 455s| 1 | 0 |201119 | - | 373M | 0 | 16k| 16k| 16k| 102 | 7 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
488.00/489.74 c 490s| 1 | 0 |215302 | - | 376M | 0 | 16k| 16k| 16k| 123 | 8 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
517.60/519.48 c 519s| 1 | 0 |227332 | - | 380M | 0 | 16k| 16k| 16k| 129 | 9 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
554.27/556.29 c 556s| 1 | 0 |241397 | - | 384M | 0 | 16k| 16k| 16k| 150 | 10 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown
582.58/584.62 c 585s| 1 | 0 |253411 | - | 385M | 0 | 16k| 16k| 16k| 156 | 11 | 195 | 0 | 0.000000e+00 | -- | Inf | unknown
830.69/833.55 c 834s| 1 | 2 |318078 | - | 387M | 0 | 16k| 16k| 16k| 156 | 11 | 203 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.82/3597.68 c
3587.82/3597.68 c SCIP Status : solving was interrupted [time limit reached]
3587.82/3597.68 c Solving Time (sec) : 3597.69
3587.82/3597.68 c Solving Nodes : 18
3587.82/3597.68 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.82/3597.68 c Dual Bound : +0.00000000000000e+00
3587.82/3597.68 c Gap : infinite
3587.82/3597.68 s UNKNOWN
3587.82/3597.68 c SCIP Status : solving was interrupted [time limit reached]
3587.82/3597.68 c Total Time : 3597.69
3587.82/3597.68 c solving : 3597.69
3587.82/3597.68 c presolving : 37.23 (included in solving)
3587.82/3597.68 c reading : 0.06 (included in solving)
3587.82/3597.68 c copying : 0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3587.82/3597.68 c Original Problem :
3587.82/3597.68 c Problem name : HOME/instance-4507095-1751183686.opb
3587.82/3597.68 c Variables : 17850 (17850 binary, 0 integer, 0 continuous)
3587.82/3597.68 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.82/3597.68 c Constraints : 18152 initial, 18152 maximal
3587.82/3597.69 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.82/3597.69 c Presolved Problem :
3587.82/3597.69 c Problem name : t_HOME/instance-4507095-1751183686.opb
3587.82/3597.69 c Variables : 16327 (16327 binary, 0 integer, 0 continuous)
3587.82/3597.69 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.82/3597.69 c Constraints : 16591 initial, 16804 maximal
3587.82/3597.69 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.82/3597.69 c Nonzeros : 90731 constraint, 233397 clique table
3587.82/3597.69 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.82/3597.69 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c domcol : 0.85 0.00 21 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 6 0 0 6
3587.82/3597.69 c gateextraction : 0.16 0.00 22 0 0 0 0 0 1 0 0 0
3587.82/3597.69 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c milp : 0.33 0.00 1 150 1 0 0 0 0 0 0 0
3587.82/3597.69 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c sparsify : 0.48 0.00 4 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c trivial : 0.02 0.00 53 558 0 0 0 0 0 0 0 0
3587.82/3597.69 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c probing : 31.44 0.00 21 507 1 0 0 0 0 0 0 0
3587.82/3597.69 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c symmetry : 0.07 0.00 1 3 0 0 0 0 0 1 0 0
3587.82/3597.69 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c knapsack : 0.01 0.00 87 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c setppc : 0.17 0.00 87 0 0 0 0 0 110 0 0 0
3587.82/3597.69 c linear : 0.13 0.01 12 302 0 0 302 0 934 0 0 0
3587.82/3597.69 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c logicor : 3.42 0.01 87 110 0 0 0 0 511 0 0 1063
3587.82/3597.69 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c root node : - - - 0 - - 0 - - - - -
3587.82/3597.69 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.82/3597.69 c integral : 0 0 0 0 18 0 0 7 0 0 0 0 0 0 36
3587.82/3597.69 c knapsack : 1 1 11 323451 0 0 0 3 1 0 0 0 0 0 0
3587.82/3597.69 c setppc : 2031+ 2114 11 328264 0 0 0 3 8927 339 1613 0 0 0 0
3587.82/3597.69 c orbitope_pp : 1 1 0 15771 0 0 0 0 8 0 0 0 0 0 0
3587.82/3597.69 c logicor : 14558+ 14689 11 120248 0 0 0 0 36641 106 5946 29 9 0 0
3587.82/3597.69 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.82/3597.69 c integral : 49.39 0.00 0.00 0.00 49.39 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c knapsack : 0.23 0.00 0.01 0.22 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c setppc : 3.19 0.00 0.00 3.15 0.00 0.00 0.00 0.00 0.00 0.02
3587.82/3597.69 c orbitope_pp : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c logicor : 9.69 0.01 0.03 9.61 0.00 0.00 0.00 0.00 0.01 0.02
3587.82/3597.69 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.82/3597.69 c dualfix : 1 0 0 0
3587.82/3597.69 c genvbounds : 0 0 0 0
3587.82/3597.69 c nlobbt : 0 0 0 0
3587.82/3597.69 c obbt : 0 0 0 0
3587.82/3597.69 c probing : 0 0 0 0
3587.82/3597.69 c pseudoobj : 0 0 0 0
3587.82/3597.69 c redcost : 0 0 0 0
3587.82/3597.69 c rootredcost : 0 0 0 0
3587.82/3597.69 c symmetry : 9457 0 0 1
3587.82/3597.69 c vbounds : 5642 0 0 0
3587.82/3597.69 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.82/3597.69 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.82/3597.69 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.82/3597.69 c probing : 31.44 0.00 31.44 0.00 0.00 0.00
3587.82/3597.69 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.82/3597.69 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.82/3597.69 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.82/3597.69 c symmetry : 0.09 0.00 0.07 0.02 0.00 0.00
3587.82/3597.69 c vbounds : 0.04 0.00 0.02 0.02 0.00 0.00
3587.82/3597.69 c Symmetry :
3587.82/3597.69 c #affected vars : 2648 (2648 bin, 0 int, 0 cont)
3587.82/3597.69 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.82/3597.69 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.82/3597.69 c lexicographic red: 1 reductions applied, 0 cutoffs
3587.82/3597.69 c shadow tree time : 0.00 s
3587.82/3597.69 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.82/3597.69 c propagation : 0.03 443 109 - 560 116.7 9 5.7 - - -
3587.82/3597.69 c infeasible LP : 0.20 12 1 - 19 2062.7 1 2.0 0 0.0 0
3587.82/3597.69 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.82/3597.69 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.82/3597.69 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.82/3597.69 c applied globally : 0.01 - - 0 253 60.3 - - 0 - -
3587.82/3597.69 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.82/3597.69 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.82/3597.69 c cut pool : 0.00 - 21 21 - - 250 372 - - - - - (maximal pool size: 250)
3587.82/3597.69 c aggregation : 0.06 0.00 11 11 0 0 6 11 0 3 3 0 0
3587.82/3597.69 c > cmir : - - - - - - - 11 0 3 3 0 -
3587.82/3597.69 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.82/3597.69 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.82/3597.69 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c clique : 1.53 0.00 11 11 0 0 99 202 0 24 24 0 0
3587.82/3597.69 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c gomory : 13.31 0.00 10 10 0 0 14 16 0 2 2 0 0
3587.82/3597.69 c > gomorymi : - - - - - - - 8 0 1 1 0 -
3587.82/3597.69 c > strongcg : - - - - - - - 8 0 1 1 0 -
3587.82/3597.69 c impliedbounds : 0.06 0.00 11 11 0 0 26 28 0 15 15 0 0
3587.82/3597.69 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.82/3597.69 c zerohalf : 13.26 0.00 11 11 0 0 105 115 0 103 103 0 0
3587.82/3597.69 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.82/3597.69 c hybrid : 0.00 0.00 11 11 156 0 245 156 0 245
3587.82/3597.69 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c Pricers : ExecTime SetupTime Calls Vars
3587.82/3597.69 c problem variables: 0.00 - 0 0
3587.82/3597.69 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.82/3597.69 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c relpscost : 49.39 0.00 18 0 0 0 0 0 0 36
3587.82/3597.69 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.82/3597.69 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.82/3597.69 c LP solutions : 0.00 - - 0 0
3587.82/3597.69 c relax solutions : 0.00 - - 0 0
3587.82/3597.69 c pseudo solutions : 0.00 - - 0 0
3587.82/3597.69 c strong branching : 0.00 - - 0 0
3587.82/3597.69 c actconsdiving : 0.00 0.00 0 0 0
3587.82/3597.69 c adaptivediving : 73.63 0.00 1 0 0
3587.82/3597.69 c alns : 0.00 0.00 0 0 0
3587.82/3597.69 c bound : 0.00 0.00 0 0 0
3587.82/3597.69 c clique : 0.06 0.00 1 0 0
3587.82/3597.69 c coefdiving : 0.00 0.00 0 0 0
3587.82/3597.69 c completesol : 0.00 0.00 0 0 0
3587.82/3597.69 c conflictdiving : 199.16 0.00 1 0 0
3587.82/3597.69 c crossover : 0.00 0.00 0 0 0
3587.82/3597.69 c dins : 0.00 0.00 0 0 0
3587.82/3597.69 c distributiondivin: 150.41 0.00 1 0 0
3587.82/3597.69 c dks : 0.00 0.00 0 0 0
3587.82/3597.69 c dps : 0.00 0.00 0 0 0
3587.82/3597.69 c dualval : 0.00 0.00 0 0 0
3587.82/3597.69 c farkasdiving : 0.00 0.00 0 0 0
3587.82/3597.69 c feaspump : 184.67 0.00 1 0 0
3587.82/3597.69 c fixandinfer : 0.00 0.00 0 0 0
3587.82/3597.69 c fracdiving : 74.49 0.00 1 0 0
3587.82/3597.69 c gins : 0.00 0.00 0 0 0
3587.82/3597.69 c guideddiving : 0.00 0.00 0 0 0
3587.82/3597.69 c indicator : 0.00 0.00 0 0 0
3587.82/3597.69 c indicatordiving : 0.00 0.00 0 0 0
3587.82/3597.69 c intdiving : 0.00 0.00 0 0 0
3587.82/3597.69 c intshifting : 0.00 0.00 0 0 0
3587.82/3597.69 c linesearchdiving : 0.00 0.00 0 0 0
3587.82/3597.69 c localbranching : 0.00 0.00 0 0 0
3587.82/3597.69 c locks : 0.06 0.00 1 0 0
3587.82/3597.69 c lpface : 0.00 0.00 0 0 0
3587.82/3597.69 c mpec : 0.00 0.00 0 0 0
3587.82/3597.69 c multistart : 0.00 0.00 0 0 0
3587.82/3597.69 c mutation : 0.00 0.00 0 0 0
3587.82/3597.69 c nlpdiving : 0.00 0.00 0 0 0
3587.82/3597.69 c objpscostdiving : 1858.13 0.00 1 0 0
3587.82/3597.69 c octane : 0.00 0.00 0 0 0
3587.82/3597.69 c ofins : 0.00 0.00 0 0 0
3587.82/3597.69 c oneopt : 0.00 0.00 0 0 0
3587.82/3597.69 c padm : 0.00 0.00 0 0 0
3587.82/3597.69 c proximity : 0.00 0.00 0 0 0
3587.82/3597.69 c pscostdiving : 184.62 0.00 1 0 0
3587.82/3597.69 c randrounding : 0.20 0.00 12 0 0
3587.82/3597.69 c rens : 0.37 0.00 1 0 0
3587.82/3597.69 c reoptsols : 0.00 0.00 0 0 0
3587.82/3597.69 c repair : 0.00 0.00 0 0 0
3587.82/3597.69 c rins : 0.00 0.00 0 0 0
3587.82/3597.69 c rootsoldiving : 0.00 0.00 0 0 0
3587.82/3597.69 c rounding : 0.04 0.00 29 0 0
3587.82/3597.69 c scheduler : 0.00 0.00 0 0 0
3587.82/3597.69 c shiftandpropagate: 0.02 0.00 1 0 0
3587.82/3597.69 c shifting : 0.15 0.00 12 0 0
3587.82/3597.69 c simplerounding : 0.00 0.00 0 0 0
3587.82/3597.69 c subnlp : 0.00 0.00 0 0 0
3587.82/3597.69 c trivial : 0.01 0.00 2 0 0
3587.82/3597.69 c trivialnegation : 0.00 0.00 0 0 0
3587.82/3597.69 c trustregion : 0.00 0.00 0 0 0
3587.82/3597.69 c trysol : 0.00 0.00 0 0 0
3587.82/3597.69 c twoopt : 0.00 0.00 0 0 0
3587.82/3597.69 c undercover : 0.00 0.00 0 0 0
3587.82/3597.69 c vbounds : 0.10 0.00 1 0 0
3587.82/3597.69 c veclendiving : 117.71 0.00 1 0 0
3587.82/3597.69 c zeroobj : 0.00 0.00 0 0 0
3587.82/3597.69 c zirounding : 0.01 0.00 17 0 0
3587.82/3597.69 c other solutions : - - - 0 -
3587.82/3597.69 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 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.82/3597.69 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.82/3597.69 c primal LP : 0.02 1 0 0.00 0.00 0.02 1
3587.82/3597.69 c dual LP : 638.67 29 333712 11507.31 522.51 0.00 0
3587.82/3597.69 c lex dual LP : 0.00 0 0 0.00 -
3587.82/3597.69 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.82/3597.69 c resolve instable : 183.22 102 19734 193.47 107.71
3587.82/3597.69 c diving/probing LP: 2858.83 997 875859 878.49 306.37
3587.82/3597.69 c strong branching : 29.40 19 16400 863.16 557.80 - - 32
3587.82/3597.69 c (at root node) : - 19 16400 863.16 -
3587.82/3597.69 c conflict analysis: 0.00 0 0 0.00 -
3587.82/3597.69 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.82/3597.69 c benders : 0.00 0 0 0 0.00 0 0 0
3587.82/3597.69 c B&B Tree :
3587.82/3597.69 c number of runs : 1
3587.82/3597.69 c nodes : 18 (18 internal, 0 leaves)
3587.82/3597.69 c feasible leaves : 0
3587.82/3597.69 c infeas. leaves : 0
3587.82/3597.69 c objective leaves : 0
3587.82/3597.69 c nodes (total) : 18 (18 internal, 0 leaves)
3587.82/3597.69 c nodes left : 19
3587.82/3597.69 c max depth : 9
3587.82/3597.69 c max depth (total): 9
3587.82/3597.69 c backtracks : 5 (27.8%)
3587.82/3597.69 c early backtracks : 0 (0.0%)
3587.82/3597.69 c nodes exc. ref. : 0 (0.0%)
3587.82/3597.69 c delayed cutoffs : 0
3587.82/3597.69 c repropagations : 3 (1 domain reductions, 0 cutoffs)
3587.82/3597.69 c avg switch length: 2.00
3587.82/3597.69 c switching time : 0.04
3587.82/3597.69 c Root Node :
3587.82/3597.69 c First LP value : +0.00000000000000e+00
3587.82/3597.69 c First LP Iters : 18235 (912.94 Iter/sec)
3587.82/3597.69 c First LP Time : 19.97
3587.82/3597.69 c Final Dual Bound : +0.00000000000000e+00
3587.82/3597.69 c Final Root Iters : 253411
3587.82/3597.69 c Root LP Estimate : +1.02444104545764e-03
3587.82/3597.69 c Solution :
3587.82/3597.69 c Solutions found : 0 (0 improvements)
3587.82/3597.69 c Primal Bound : -
3587.82/3597.69 c Dual Bound : +0.00000000000000e+00
3587.82/3597.69 c Gap : infinite
3587.82/3597.69 c Integrals : Total Avg%
3587.82/3597.69 c primal-dual : 359768.65 100.00
3587.82/3597.69 c primal-ref : - - (not evaluated)
3587.82/3597.69 c dual-ref : - - (not evaluated)
3587.92/3597.78 c Time complete (sec): 3588.014
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 (63001 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-4507095-1751183686/watcher-4507095-1751183686 -o /tmp/evaluation-result-4507095-1751183686/solver-4507095-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22782 --watchdog 3760 pbsolver -f HOME/instance-4507095-1751183686.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22835, runsolver pid=22823
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129821976/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=83064 memory=73548 CPUtime=0.09 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 16315 0 0 0 8 1 0 0 20 0 1 0 33991155 85057536 18387 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 20766 18387 2368 2575 0 17673 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83064 KiB
Current children cumulated memory: 73548 KiB
[startup+0.2056 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129695728/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=107448 memory=94840 CPUtime=0.2 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 21111 0 0 0 18 2 0 0 20 0 1 0 33991155 110026752 23710 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 26862 23710 2432 2575 0 23769 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107448 KiB
Current children cumulated memory: 94840 KiB
[startup+0.305241 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129607244/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=121488 memory=109504 CPUtime=0.29 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 26786 0 0 0 27 2 0 0 20 0 1 0 33991155 124403712 27376 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 30372 27376 2496 2575 0 27279 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121488 KiB
Current children cumulated memory: 109504 KiB
[startup+0.700168 s]
/proc/loadavg: 1.77 2.08 2.64 7/265 22840
/proc/meminfo: memFree=129599180/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=134840 memory=122900 CPUtime=0.68 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 32837 0 0 0 65 3 0 0 20 0 1 0 33991155 138076160 30725 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 33710 30725 2560 2575 0 30617 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134840 KiB
Current children cumulated memory: 122900 KiB
[startup+1.50016 s]
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129532148/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=175180 memory=159072 CPUtime=1.48 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 40444 0 0 0 143 5 0 0 20 0 1 0 33991155 179384320 39768 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 43795 39768 2592 2575 0 40702 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175180 KiB
Current children cumulated memory: 159072 KiB
[startup+3.10526 s]
/proc/loadavg: 1.95 2.11 2.65 6/265 22840
/proc/meminfo: memFree=129396788/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=177276 memory=161120 CPUtime=3.08 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 40974 0 0 0 303 5 0 0 20 0 1 0 33991155 181530624 40280 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 44319 40280 2592 2575 0 41226 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 177276 KiB
Current children cumulated memory: 161120 KiB
[startup+6.30017 s]
/proc/loadavg: 1.95 2.11 2.65 6/265 22840
/proc/meminfo: memFree=129389140/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=178468 memory=162400 CPUtime=6.27 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 41274 0 0 0 622 5 0 0 20 0 1 0 33991155 182751232 40600 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 44617 40600 2592 2575 0 41524 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178468 KiB
Current children cumulated memory: 162400 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=22835] ppid=22823 vsize=184640 memory=168672 CPUtime=12.65 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 42842 0 0 0 1259 6 0 0 20 0 1 0 33991155 189071360 42168 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 46160 42168 2592 2575 0 43067 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 184640 KiB
Current children cumulated memory: 168672 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=22835] ppid=22823 vsize=186188 memory=170080 CPUtime=25.4 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 43207 0 0 0 2534 6 0 0 20 0 1 0 33991155 190656512 42520 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 46547 42520 2592 2575 0 43454 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 186188 KiB
Current children cumulated memory: 170080 KiB
[startup+51.1052 s]
/proc/loadavg: 3.11 2.39 2.72 6/264 22841
/proc/meminfo: memFree=128795996/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=366224 memory=297192 CPUtime=50.92 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 74671 0 0 0 5080 12 0 0 20 0 1 0 33991155 375013376 74298 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 91556 74298 2688 2575 0 88463 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 366224 KiB
Current children cumulated memory: 297192 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=22835] ppid=22823 vsize=372616 memory=303456 CPUtime=101.93 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 75717 0 0 0 10180 13 0 0 20 0 1 0 33991155 381558784 75864 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 93154 75864 2688 2575 0 90061 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 372616 KiB
Current children cumulated memory: 303456 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=22835] ppid=22823 vsize=372616 memory=303712 CPUtime=161.72 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 75766 0 0 0 16159 13 0 0 20 0 1 0 33991155 381558784 75928 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 93154 75928 2688 2575 0 90061 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 372616 KiB
Current children cumulated memory: 303712 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=22835] ppid=22823 vsize=373584 memory=305120 CPUtime=221.52 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 76125 0 0 0 22138 14 0 0 20 0 1 0 33991155 382550016 76280 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 93396 76280 2688 2575 0 90303 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 373584 KiB
Current children cumulated memory: 305120 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=22835] ppid=22823 vsize=446376 memory=374844 CPUtime=281.32 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 84372 0 0 0 28116 16 0 0 20 0 1 0 33991155 457089024 93711 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 111594 93711 2688 2575 0 108501 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 446376 KiB
Current children cumulated memory: 374844 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=22835] ppid=22823 vsize=454936 memory=382896 CPUtime=341.1 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 85891 0 0 0 34094 16 0 0 20 0 1 0 33991155 465854464 95724 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 113734 95724 2688 2575 0 110641 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 454936 KiB
Current children cumulated memory: 382896 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=22835] ppid=22823 vsize=462548 memory=390320 CPUtime=400.91 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 87776 0 0 0 40074 17 0 0 20 0 1 0 33991155 473649152 97580 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 115637 97580 2688 2575 0 112544 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 462548 KiB
Current children cumulated memory: 390320 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=22835] ppid=22823 vsize=474344 memory=400432 CPUtime=460.7 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 90299 0 0 0 46052 18 0 0 20 0 1 0 33991155 485728256 100108 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 118586 100108 2688 2575 0 115493 0
################
# More data... #
################
/proc/loadavg: 4.08 4.12 4.09 6/263 23001
/proc/meminfo: memFree=127666708/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3213.48 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109428 0 0 0 321311 37 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3273.33 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109548 0 0 0 327295 38 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3333.17 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109548 0 0 0 333279 38 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3393.02 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109548 0 0 0 339263 39 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3452.86 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109653 0 0 0 345247 39 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3512.71 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109657 0 0 0 351231 40 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3572.56 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 357215 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 KiB
[startup+3597.79 s]
# the end of solver process 22835 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.6 s, system=0.414837 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3574.26 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 357385 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3580.64 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 358023 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3583.83 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 358342 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3583.83 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3585.43 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 358502 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 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=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3587.02 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 358661 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 KiB
[startup+3597.2 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3587.42 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 358701 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 KiB
[startup+3597.6 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=552068 memory=522416 CPUtime=3587.82 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109668 0 0 0 358741 41 0 0 20 0 1 0 33991155 565317632 130604 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 138017 130604 2688 2575 0 134924 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 522416 KiB
[startup+3597.7 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22835] ppid=22823 vsize=512896 memory=483368 CPUtime=3587.92 cores=4,6
/proc/22835/stat : 22835 (pbsolver) R 22823 22835 22771 0 -1 4194304 109689 0 0 0 358751 41 0 0 20 0 1 0 33991155 525205504 120842 18446744073709551615 4198400 14743177 140726798435840 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33665024 140726798444938 140726798445034 140726798445034 140726798450636 0
/proc/22835/statm: 128224 120842 2688 2575 0 125131 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 512896 KiB
Current children cumulated memory: 483368 KiB
Child status: 0
Real time (s): 3597.79
CPU time (s): 3588.02
CPU user time (s): 3587.6
CPU system time (s): 0.414837
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 552068
Max. memory (cumulated for all children) (KiB): 522416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.6
system time used= 0.414837
maximum resident set size= 522416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109745
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= 22
involuntary context switches= 2911
# summary of solver processes directly reported to runsolver:
# pid: 22835
# total CPU time (s): 3588.02
# total CPU user time (s): 3587.6
# total CPU system time (s): 0.414837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98086 second user time and 13.8281 second system time
The end
Begin job on nodeC028 at 2025-06-29 09:54:46 IDJOB=4507095 IDBENCH=158322 IDSOLVER=3366 FILE ID=nodeC028/4507095-1751183686 RUNJOBID= nodeC028-1751183686-22782 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_K150.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507095-1751183686/watcher-4507095-1751183686 -o /tmp/evaluation-result-4507095-1751183686/solver-4507095-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22782 --watchdog 3760 pbsolver -f HOME/instance-4507095-1751183686.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= de861f201885d7430b03c8868c66597b 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