| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 5.37479 | 5.39553 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb |
| MD5SUM | 24c7738c3c83b878554c33cfdaf58c44 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.47269 |
| 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 | 109662 |
| Total number of constraints | 2479 |
| Number of constraints which are clauses | 1247 |
| Number of constraints which are cardinality constraints (but not clauses) | 1232 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 14 |
| Maximum length of a constraint | 89 |
| 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 | 13 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 90 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4543761-1753214962.opb>
0.09/0.13 c original problem has 109662 variables (109662 bin, 0 int, 0 cont) and 2479 constraints
0.09/0.13 c problem read in 0.135 seconds
0.09/0.13 c problem without objective
0.29/0.33 c presolving:
0.40/0.48 c (0.5s) running MILP presolver
0.59/0.62 c (0.6s) MILP presolver found nothing
0.68/0.73 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1246 upgd conss, 0 impls, 1232 clqs
0.78/0.81 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2479 upgd conss, 0 impls, 1232 clqs
1.68/1.79 c (1.8s) probing: 51/109662 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.68/1.79 c (1.8s) probing aborted: 50/50 successive totally useless probings
1.78/1.85 c (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.68/2.71 c (2.7s) symmetry computation finished: 583 generators found (max: 583, log10 of symmetry group size: 889.32) (symcode time: 0.66)
2.78/2.88 c dynamic symmetry handling statistics:
2.78/2.88 c orbitopal reduction: no components
2.78/2.88 c orbital reduction: no components
2.78/2.88 c lexicographic reduction: no permutations
2.78/2.88 c handled 7 out of 7 symmetry components
2.88/2.92 c (round 3, exhaustive) 24859 del vars, 0 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2479 upgd conss, 0 impls, 1232 clqs
2.88/2.95 c (round 4, fast) 25921 del vars, 6 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 24859 chg coeffs, 2479 upgd conss, 0 impls, 1220 clqs
2.88/2.97 c (round 5, fast) 28015 del vars, 30 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 25903 chg coeffs, 2479 upgd conss, 0 impls, 1208 clqs
2.88/2.99 c (round 6, fast) 30061 del vars, 54 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 26923 chg coeffs, 2479 upgd conss, 0 impls, 1196 clqs
2.98/3.00 c (round 7, fast) 32059 del vars, 78 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 27919 chg coeffs, 2479 upgd conss, 0 impls, 1184 clqs
2.98/3.02 c (round 8, fast) 34009 del vars, 102 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 28891 chg coeffs, 2479 upgd conss, 0 impls, 1172 clqs
2.98/3.03 c (round 9, fast) 35911 del vars, 126 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 29839 chg coeffs, 2479 upgd conss, 0 impls, 1160 clqs
2.98/3.05 c (round 10, fast) 37765 del vars, 150 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 30763 chg coeffs, 2479 upgd conss, 0 impls, 1148 clqs
2.98/3.07 c (round 11, fast) 39571 del vars, 174 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 31663 chg coeffs, 2479 upgd conss, 0 impls, 1136 clqs
2.98/3.08 c (round 12, fast) 41329 del vars, 198 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 32539 chg coeffs, 2479 upgd conss, 0 impls, 1124 clqs
2.98/3.09 c (round 13, fast) 43039 del vars, 222 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 33391 chg coeffs, 2479 upgd conss, 0 impls, 1112 clqs
3.08/3.11 c (round 14, fast) 44701 del vars, 246 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 34219 chg coeffs, 2479 upgd conss, 0 impls, 1100 clqs
3.08/3.12 c (round 15, fast) 46315 del vars, 270 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 35023 chg coeffs, 2479 upgd conss, 0 impls, 1088 clqs
3.08/3.14 c (round 16, fast) 47881 del vars, 294 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 35803 chg coeffs, 2479 upgd conss, 0 impls, 1076 clqs
3.08/3.15 c (round 17, fast) 49399 del vars, 318 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 36559 chg coeffs, 2479 upgd conss, 0 impls, 1064 clqs
3.08/3.17 c (round 18, fast) 50869 del vars, 342 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 37291 chg coeffs, 2479 upgd conss, 0 impls, 1052 clqs
3.08/3.18 c (round 19, fast) 52291 del vars, 366 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 37999 chg coeffs, 2479 upgd conss, 0 impls, 1040 clqs
3.08/3.19 c (round 20, fast) 53665 del vars, 390 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 38683 chg coeffs, 2479 upgd conss, 0 impls, 1028 clqs
3.18/3.21 c (round 21, fast) 54991 del vars, 414 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 39343 chg coeffs, 2479 upgd conss, 0 impls, 1016 clqs
3.18/3.22 c (round 22, fast) 56269 del vars, 438 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 39979 chg coeffs, 2479 upgd conss, 0 impls, 1004 clqs
3.18/3.23 c (round 23, fast) 57499 del vars, 462 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 40591 chg coeffs, 2479 upgd conss, 0 impls, 992 clqs
3.18/3.24 c (round 24, fast) 58681 del vars, 486 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 41179 chg coeffs, 2479 upgd conss, 0 impls, 980 clqs
3.18/3.26 c (round 25, fast) 59815 del vars, 510 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 41743 chg coeffs, 2479 upgd conss, 0 impls, 968 clqs
3.18/3.27 c (round 26, fast) 60901 del vars, 534 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 42283 chg coeffs, 2479 upgd conss, 0 impls, 956 clqs
3.18/3.28 c (round 27, fast) 61939 del vars, 558 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 42799 chg coeffs, 2479 upgd conss, 0 impls, 944 clqs
3.18/3.29 c (round 28, fast) 62929 del vars, 582 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 43291 chg coeffs, 2479 upgd conss, 0 impls, 932 clqs
3.28/3.30 c (round 29, fast) 63871 del vars, 606 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 43759 chg coeffs, 2479 upgd conss, 0 impls, 920 clqs
3.28/3.31 c (round 30, fast) 64765 del vars, 630 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 44203 chg coeffs, 2479 upgd conss, 0 impls, 908 clqs
3.28/3.33 c (round 31, fast) 65611 del vars, 654 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 44623 chg coeffs, 2479 upgd conss, 0 impls, 896 clqs
3.28/3.34 c (round 32, fast) 66409 del vars, 678 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 45019 chg coeffs, 2479 upgd conss, 0 impls, 884 clqs
3.28/3.35 c (round 33, fast) 67159 del vars, 702 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 45391 chg coeffs, 2479 upgd conss, 0 impls, 872 clqs
3.28/3.36 c (round 34, fast) 67861 del vars, 726 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 45739 chg coeffs, 2479 upgd conss, 0 impls, 860 clqs
3.28/3.37 c (round 35, fast) 68515 del vars, 750 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 46063 chg coeffs, 2479 upgd conss, 0 impls, 848 clqs
3.28/3.38 c (round 36, fast) 69121 del vars, 774 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 46363 chg coeffs, 2479 upgd conss, 0 impls, 836 clqs
3.28/3.39 c (round 37, fast) 69679 del vars, 798 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 46639 chg coeffs, 2479 upgd conss, 0 impls, 824 clqs
3.38/3.40 c (round 38, fast) 70189 del vars, 822 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 46891 chg coeffs, 2479 upgd conss, 0 impls, 812 clqs
3.38/3.41 c (round 39, fast) 70651 del vars, 846 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47119 chg coeffs, 2479 upgd conss, 0 impls, 800 clqs
3.38/3.42 c (round 40, fast) 71065 del vars, 870 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47323 chg coeffs, 2479 upgd conss, 0 impls, 788 clqs
3.38/3.43 c (round 41, fast) 71431 del vars, 894 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47503 chg coeffs, 2479 upgd conss, 0 impls, 776 clqs
3.38/3.44 c (round 42, fast) 71749 del vars, 918 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47659 chg coeffs, 2479 upgd conss, 0 impls, 764 clqs
3.38/3.45 c (round 43, fast) 72019 del vars, 942 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47791 chg coeffs, 2479 upgd conss, 0 impls, 752 clqs
3.38/3.46 c (round 44, fast) 72241 del vars, 966 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47899 chg coeffs, 2479 upgd conss, 0 impls, 740 clqs
3.38/3.47 c (round 45, fast) 72415 del vars, 990 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 47983 chg coeffs, 2479 upgd conss, 0 impls, 728 clqs
3.38/3.48 c (round 46, fast) 72541 del vars, 1014 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 48043 chg coeffs, 2479 upgd conss, 0 impls, 716 clqs
3.38/3.49 c (round 47, fast) 72619 del vars, 1038 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 48079 chg coeffs, 2479 upgd conss, 0 impls, 704 clqs
3.48/3.50 c (round 48, fast) 72649 del vars, 1062 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 48097 chg coeffs, 2479 upgd conss, 0 impls, 704 clqs
3.48/3.55 c (round 49, medium) 72649 del vars, 1068 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 48097 chg coeffs, 2479 upgd conss, 0 impls, 704 clqs
3.67/3.71 c (3.7s) probing: 62/109662 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.67/3.71 c (3.7s) probing aborted: 50/50 successive totally useless probings
3.67/3.75 c presolving (50 rounds: 50 fast, 5 medium, 4 exhaustive):
3.67/3.75 c 72649 deleted vars, 1068 deleted constraints, 7 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 48097 changed coefficients
3.67/3.75 c 0 implications, 704 cliques
3.67/3.75 c presolved problem has 60773 variables (60773 bin, 0 int, 0 cont) and 1418 constraints
3.67/3.75 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.67/3.75 c 704 constraints of type <setppc>
3.67/3.75 c 1 constraints of type <orbitope_pp>
3.67/3.75 c 713 constraints of type <logicor>
3.67/3.75 c transformed objective value is always integral (scale: 1)
3.67/3.75 c Presolving Time: 3.45
3.67/3.75 c
3.67/3.75 c - non default parameters ----------------------------------------------------------------------
3.67/3.75 c
3.67/3.75 c # SCIP version 10.0.0
3.67/3.75 c
3.67/3.75 c # maximal time in seconds to run
3.67/3.75 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.67/3.75 c limits/time = 3596.998333
3.67/3.75 c
3.67/3.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.67/3.75 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.67/3.75 c limits/memory = 27900
3.67/3.75 c
3.67/3.75 c # belongs reading time to solving time?
3.67/3.75 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.67/3.75 c timing/reading = TRUE
3.67/3.75 c
3.67/3.75 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
3.67/3.75 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
3.67/3.75 c reading/opbreader/maxintsize = 47
3.67/3.75 c
3.67/3.75 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
3.67/3.75 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
3.67/3.75 c propagating/genvbounds/timingmask = 0
3.67/3.75 c
3.67/3.75 c -----------------------------------------------------------------------------------------------
3.67/3.76 c
5.08/5.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.08/5.15 c 5.1s| 1 | 0 | 12713 | - | 741M | 0 | 60k|1447 |1417 | 0 | 0 | 28 | 0 | cutoff | -- | 0.00%| unknown
5.08/5.15 c 5.1s| 1 | 0 | 12713 | - | 741M | 0 | 60k|1447 |1417 | 0 | 0 | 28 | 0 | cutoff | -- | 0.00%| unknown
5.08/5.15 c
5.08/5.15 c SCIP Status : problem is solved [infeasible]
5.08/5.15 c Solving Time (sec) : 5.15
5.08/5.15 c Solving Nodes : 1
5.08/5.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
5.08/5.15 c Dual Bound : +1.00000000000000e+20
5.08/5.15 c Gap : 0.00 %
5.08/5.15 s UNSATISFIABLE
5.08/5.15 c SCIP Status : problem is solved [infeasible]
5.08/5.15 c Total Time : 5.15
5.08/5.15 c solving : 5.15
5.08/5.15 c presolving : 3.45 (included in solving)
5.08/5.15 c reading : 0.14 (included in solving)
5.08/5.15 c copying : 0.00 (0 times copied the problem)
5.08/5.15 c Original Problem :
5.08/5.15 c Problem name : HOME/instance-4543761-1753214962.opb
5.08/5.15 c Variables : 109662 (109662 binary, 0 integer, 0 continuous)
5.08/5.15 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
5.08/5.15 c Constraints : 2479 initial, 2479 maximal
5.08/5.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
5.08/5.15 c Presolved Problem :
5.08/5.15 c Problem name : t_HOME/instance-4543761-1753214962.opb
5.08/5.15 c Variables : 60773 (60773 binary, 0 integer, 0 continuous)
5.08/5.15 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
5.08/5.15 c Constraints : 1418 initial, 1447 maximal
5.08/5.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
5.08/5.15 c Nonzeros : 127002 constraint, 60765 clique table
5.08/5.15 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
5.08/5.15 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c domcol : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
5.08/5.15 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c dualsparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
5.08/5.15 c gateextraction : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
5.08/5.15 c implics : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
5.08/5.15 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c milp : 0.24 0.00 1 0 0 0 0 0 0 0 0 0
5.08/5.15 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
5.08/5.15 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c trivial : 0.15 0.00 50 23760 0 0 0 0 0 0 0 0
5.08/5.15 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c dualfix : 0.13 0.00 50 0 0 0 0 0 0 0 0 0
5.08/5.15 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c probing : 0.73 0.00 2 0 0 0 0 0 0 0 0 0
5.08/5.15 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c symmetry : 1.06 0.00 1 24859 0 0 0 0 0 7 0 0
5.08/5.15 c vbounds : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
5.08/5.15 c setppc : 0.23 0.00 53 0 0 0 0 0 528 0 0 0
5.08/5.15 c linear : 0.15 0.02 4 0 0 0 0 0 0 0 0 0
5.08/5.15 c orbitope_pp : 0.01 0.00 2 0 0 0 0 0 6 0 0 0
5.08/5.15 c logicor : 0.33 0.00 55 270 0 0 0 0 534 0 0 48097
5.08/5.15 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
5.08/5.15 c root node : - - - 0 - - 0 - - - - -
5.08/5.15 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
5.08/5.15 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
5.08/5.15 c setppc : 704 704 0 2697 0 0 0 3 1523 93 0 0 0 0 0
5.08/5.15 c orbitope_pp : 1 1 0 2504 0 0 0 1 1760 0 0 0 0 0 0
5.08/5.15 c logicor : 713+ 742 0 934 0 0 0 1 22 17 0 0 0 0 0
5.08/5.15 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.08/5.15 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
5.08/5.15 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c setppc : 0.05 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c orbitope_pp : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c logicor : 0.03 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c Propagators : #Propagate #ResProp Cutoffs DomReds
5.08/5.15 c dualfix : 1 0 0 0
5.08/5.15 c genvbounds : 0 0 0 0
5.08/5.15 c nlobbt : 0 0 0 0
5.08/5.15 c obbt : 0 0 0 0
5.08/5.15 c probing : 0 0 0 0
5.08/5.15 c pseudoobj : 0 0 0 0
5.08/5.15 c redcost : 0 0 0 0
5.08/5.15 c rootredcost : 0 0 0 0
5.08/5.15 c symmetry : 0 0 0 0
5.08/5.15 c vbounds : 840 0 0 0
5.08/5.15 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
5.08/5.15 c dualfix : 0.13 0.00 0.13 0.00 0.00 0.00
5.08/5.15 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c probing : 0.74 0.00 0.73 0.00 0.00 0.00
5.08/5.15 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.08/5.15 c symmetry : 1.06 0.00 1.06 0.00 0.00 0.00
5.08/5.15 c vbounds : 0.07 0.00 0.06 0.02 0.00 0.00
5.08/5.15 c Symmetry :
5.08/5.17 c #affected vars : 51920 (51920 bin, 0 int, 0 cont)
5.08/5.17 c orbitopal red. : 0 reductions applied, 0 cutoffs
5.08/5.17 c orbital reduction: 0 reductions applied, 0 cutoffs
5.08/5.17 c lexicographic red: 0 reductions applied, 0 cutoffs
5.08/5.17 c shadow tree time : 0.00 s
5.08/5.17 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
5.08/5.17 c propagation : 0.00 99 19 - 45 119.1 0 0.0 - - -
5.08/5.17 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.08/5.17 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.08/5.17 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
5.08/5.17 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
5.08/5.17 c applied globally : 0.00 - - 0 28 88.7 - - 0 - -
5.08/5.17 c applied locally : - - - 0 0 0.0 - - 0 - -
5.08/5.17 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
5.08/5.17 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
5.08/5.17 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c > cmir : - - - - - - - 0 0 0 0 0 -
5.08/5.17 c > flowcover : - - - - - - - 0 0 0 0 0 -
5.08/5.17 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
5.08/5.17 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c > gomorymi : - - - - - - - 0 0 0 0 0 -
5.08/5.17 c > strongcg : - - - - - - - 0 0 0 0 0 -
5.08/5.17 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.08/5.17 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
5.08/5.17 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c Pricers : ExecTime SetupTime Calls Vars
5.08/5.17 c problem variables: 0.00 - 0 0
5.08/5.17 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
5.08/5.17 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c random : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
5.08/5.17 c Primal Heuristics : ExecTime SetupTime Calls Found Best
5.08/5.17 c LP solutions : 0.00 - - 0 0
5.08/5.17 c relax solutions : 0.00 - - 0 0
5.08/5.17 c pseudo solutions : 0.00 - - 0 0
5.08/5.17 c strong branching : 0.00 - - 0 0
5.08/5.17 c actconsdiving : 0.00 0.00 0 0 0
5.08/5.17 c adaptivediving : 0.00 0.00 0 0 0
5.08/5.17 c alns : 0.00 0.00 0 0 0
5.08/5.17 c bound : 0.00 0.00 0 0 0
5.08/5.17 c clique : 0.28 0.00 1 0 0
5.08/5.17 c coefdiving : 0.00 0.00 0 0 0
5.08/5.17 c completesol : 0.00 0.00 0 0 0
5.08/5.17 c conflictdiving : 0.00 0.00 0 0 0
5.08/5.17 c crossover : 0.00 0.00 0 0 0
5.08/5.17 c dins : 0.00 0.00 0 0 0
5.08/5.17 c distributiondivin: 0.00 0.00 0 0 0
5.08/5.17 c dks : 0.00 0.00 0 0 0
5.08/5.17 c dps : 0.00 0.00 0 0 0
5.08/5.17 c dualval : 0.00 0.00 0 0 0
5.08/5.17 c farkasdiving : 0.00 0.00 0 0 0
5.08/5.17 c feaspump : 0.00 0.00 0 0 0
5.08/5.17 c fixandinfer : 0.00 0.00 0 0 0
5.08/5.17 c fracdiving : 0.00 0.00 0 0 0
5.08/5.17 c gins : 0.00 0.00 0 0 0
5.08/5.17 c guideddiving : 0.00 0.00 0 0 0
5.08/5.17 c indicator : 0.00 0.00 0 0 0
5.08/5.17 c indicatordiving : 0.00 0.00 0 0 0
5.08/5.17 c intdiving : 0.00 0.00 0 0 0
5.08/5.17 c intshifting : 0.00 0.00 0 0 0
5.08/5.17 c linesearchdiving : 0.00 0.00 0 0 0
5.08/5.17 c localbranching : 0.00 0.00 0 0 0
5.08/5.17 c locks : 0.02 0.00 1 0 0
5.08/5.17 c lpface : 0.00 0.00 0 0 0
5.08/5.17 c mpec : 0.00 0.00 0 0 0
5.08/5.17 c multistart : 0.00 0.00 0 0 0
5.08/5.17 c mutation : 0.00 0.00 0 0 0
5.08/5.17 c nlpdiving : 0.00 0.00 0 0 0
5.08/5.17 c objpscostdiving : 0.00 0.00 0 0 0
5.08/5.17 c octane : 0.00 0.00 0 0 0
5.08/5.17 c ofins : 0.00 0.00 0 0 0
5.08/5.17 c oneopt : 0.00 0.00 0 0 0
5.08/5.17 c padm : 0.00 0.00 0 0 0
5.08/5.17 c proximity : 0.00 0.00 0 0 0
5.08/5.17 c pscostdiving : 0.00 0.00 0 0 0
5.08/5.17 c randrounding : 0.00 0.00 0 0 0
5.08/5.17 c rens : 0.00 0.00 0 0 0
5.08/5.17 c reoptsols : 0.00 0.00 0 0 0
5.08/5.17 c repair : 0.00 0.00 0 0 0
5.08/5.17 c rins : 0.00 0.00 0 0 0
5.08/5.17 c rootsoldiving : 0.00 0.00 0 0 0
5.08/5.17 c rounding : 0.00 0.00 0 0 0
5.08/5.17 c scheduler : 0.00 0.00 0 0 0
5.08/5.17 c shiftandpropagate: 0.07 0.00 1 0 0
5.08/5.17 c shifting : 0.00 0.00 0 0 0
5.08/5.17 c simplerounding : 0.00 0.00 0 0 0
5.08/5.17 c subnlp : 0.00 0.00 0 0 0
5.08/5.17 c trivial : 0.05 0.00 2 0 0
5.08/5.17 c trivialnegation : 0.00 0.00 0 0 0
5.08/5.17 c trustregion : 0.00 0.00 0 0 0
5.08/5.17 c trysol : 0.00 0.00 0 0 0
5.08/5.17 c twoopt : 0.00 0.00 0 0 0
5.08/5.17 c undercover : 0.00 0.00 0 0 0
5.08/5.17 c vbounds : 0.06 0.00 1 0 0
5.08/5.17 c veclendiving : 0.00 0.00 0 0 0
5.08/5.17 c zeroobj : 0.00 0.00 0 0 0
5.08/5.17 c zirounding : 0.00 0.00 0 0 0
5.08/5.17 c other solutions : - - - 0 -
5.08/5.17 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 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
5.08/5.17 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
5.08/5.17 c primal LP : 0.00 0 0 0.00 - 0.00 0
5.08/5.17 c dual LP : 0.93 1 12706 12706.00 13660.91 0.00 0
5.08/5.17 c lex dual LP : 0.00 0 0 0.00 -
5.08/5.17 c barrier LP : 0.00 0 0 0.00 - 0.00 0
5.08/5.17 c resolve instable : 0.00 0 0 0.00 -
5.08/5.17 c diving/probing LP: 0.02 1 7 7.00 328.61
5.08/5.17 c strong branching : 0.00 0 0 0.00 - - - 0
5.08/5.17 c (at root node) : - 0 0 0.00 -
5.08/5.17 c conflict analysis: 0.00 0 0 0.00 -
5.08/5.17 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
5.08/5.17 c benders : 0.00 0 0 0 0.00 0 0 0
5.08/5.17 c B&B Tree :
5.08/5.17 c number of runs : 1
5.08/5.17 c nodes : 1 (0 internal, 1 leaves)
5.08/5.17 c feasible leaves : 0
5.08/5.17 c infeas. leaves : 1
5.08/5.17 c objective leaves : 0
5.08/5.17 c nodes (total) : 1 (0 internal, 1 leaves)
5.08/5.17 c nodes left : 0
5.08/5.17 c max depth : 0
5.08/5.17 c max depth (total): 0
5.08/5.17 c backtracks : 0 (0.0%)
5.08/5.17 c early backtracks : 0 (0.0%)
5.08/5.17 c nodes exc. ref. : 0 (0.0%)
5.08/5.17 c delayed cutoffs : 0
5.08/5.17 c repropagations : 0 (0 domain reductions, 0 cutoffs)
5.08/5.17 c avg switch length: 2.00
5.08/5.17 c switching time : 0.00
5.08/5.17 c Root Node :
5.08/5.17 c First LP value : -
5.08/5.17 c First LP Iters : 0
5.08/5.17 c First LP Time : 0.93
5.08/5.17 c Final Dual Bound : -
5.08/5.17 c Final Root Iters : 12706
5.08/5.17 c Root LP Estimate : -
5.08/5.17 c Solution :
5.08/5.17 c Solutions found : 0 (0 improvements)
5.08/5.17 c Primal Bound : infeasible
5.08/5.17 c Dual Bound : -
5.08/5.17 c Gap : 0.00 %
5.08/5.17 c Integrals : Total Avg%
5.08/5.17 c primal-dual : - - (problem infeasible)
5.08/5.17 c primal-ref : - - (problem infeasible)
5.08/5.17 c dual-ref : - - (problem infeasible)
5.27/5.37 c Time complete (sec): 5.356
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 (60718 MiB free)
memory of node 1: 64465 MiB (49705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543761-1753214962/watcher-4543761-1753214962 -o /tmp/evaluation-result-4543761-1753214962/solver-4543761-1753214962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543761-1753214962.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=160337, runsolver pid=160334
[startup+0.100022 s]*
/proc/loadavg: 4.40 4.19 4.12 5/266 160338
/proc/meminfo: memFree=112985432/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=109696 memory=97920 CPUtime=0.09 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 22522 0 0 0 6 3 0 0 20 0 1 0 237170720 112328704 24480 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 27424 24480 2176 2575 0 24331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109696 KiB
Current children cumulated memory: 97920 KiB
[startup+0.2054 s]*
/proc/loadavg: 4.40 4.19 4.12 5/266 160338
/proc/meminfo: memFree=112873040/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=212140 memory=202308 CPUtime=0.2 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 48806 0 0 0 13 7 0 0 20 0 1 0 237170720 217231360 50577 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 53035 50577 2368 2575 0 49942 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 212140 KiB
Current children cumulated memory: 202308 KiB
[startup+0.305425 s]*
/proc/loadavg: 4.40 4.19 4.12 5/266 160338
/proc/meminfo: memFree=112800464/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=290168 memory=275012 CPUtime=0.29 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 66950 0 0 0 20 9 0 0 20 0 1 0 237170720 297132032 68753 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 72542 68753 2400 2575 0 69449 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 290168 KiB
Current children cumulated memory: 275012 KiB
[startup+0.700175 s]
/proc/loadavg: 4.40 4.19 4.12 5/266 160338
/proc/meminfo: memFree=112726940/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=339296 memory=320052 CPUtime=0.68 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 85375 0 0 0 55 13 0 0 20 0 1 0 237170720 347439104 80013 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 84824 80013 2496 2575 0 81731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 339296 KiB
Current children cumulated memory: 320052 KiB
[startup+1.50018 s]
/proc/loadavg: 4.40 4.19 4.12 5/266 160338
/proc/meminfo: memFree=112725680/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=355360 memory=332596 CPUtime=1.48 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 88442 0 0 0 134 14 0 0 20 0 1 0 237170720 363888640 83149 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 88840 83149 2560 2575 0 85747 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355360 KiB
Current children cumulated memory: 332596 KiB
[startup+3.10537 s]
/proc/loadavg: 4.36 4.18 4.12 5/266 160338
/proc/meminfo: memFree=112411692/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=725140 memory=654848 CPUtime=3.08 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 168544 0 0 0 284 24 0 0 20 0 1 0 237170720 742543360 163712 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 181285 163712 2560 2575 0 178192 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 725140 KiB
Current children cumulated memory: 654848 KiB
[startup+5.39548 s]
# the end of solver process 160337 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=5.07665 s, system=0.298132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2002 s]
/proc/loadavg: 4.36 4.18 4.12 5/266 160338
/proc/meminfo: memFree=112411692/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=725140 memory=654848 CPUtime=3.18 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 168544 0 0 0 294 24 0 0 20 0 1 0 237170720 742543360 163712 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 181285 163712 2560 2575 0 178192 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 725140 KiB
Current children cumulated memory: 654848 KiB
[startup+4.00016 s]*
/proc/loadavg: 4.36 4.18 4.12 5/266 160338
/proc/meminfo: memFree=112388328/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=753568 memory=682360 CPUtime=3.98 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 175230 0 0 0 372 26 0 0 20 0 1 0 237170720 771653632 170590 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 188392 170590 2624 2575 0 185299 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 753568 KiB
Current children cumulated memory: 682360 KiB
[startup+4.80013 s]
/proc/loadavg: 4.36 4.18 4.12 5/266 160338
/proc/meminfo: memFree=112388328/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=786920 memory=708344 CPUtime=4.77 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 181685 0 0 0 450 27 0 0 20 0 1 0 237170720 805806080 177086 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 196730 177086 2656 2575 0 193637 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 786920 KiB
Current children cumulated memory: 708344 KiB
[startup+5.20015 s]
/proc/loadavg: 4.36 4.18 4.12 5/266 160338
/proc/meminfo: memFree=112356080/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=786920 memory=708344 CPUtime=5.17 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 181689 0 0 0 490 27 0 0 20 0 1 0 237170720 805806080 177086 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 196730 177086 2656 2575 0 193637 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 786920 KiB
Current children cumulated memory: 708344 KiB
[startup+5.30018 s]
/proc/loadavg: 4.36 4.18 4.12 5/266 160338
/proc/meminfo: memFree=112356080/131249992 swapFree=33009392/33010684
[pid=160337] ppid=160334 vsize=733048 memory=654500 CPUtime=5.27 cores=0,2
/proc/160337/stat : 160337 (pbsolver) R 160334 160337 158250 0 -1 4194304 181690 0 0 0 500 27 0 0 20 0 1 0 237170720 750641152 163625 18446744073709551615 4198400 14743177 140731606410496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 33763328 140731606415752 140731606415848 140731606415848 140731606421452 0
/proc/160337/statm: 183262 163625 2656 2575 0 180169 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 733048 KiB
Current children cumulated memory: 654500 KiB
Child status: 0
Real time (s): 5.39553
CPU time (s): 5.37479
CPU user time (s): 5.07665
CPU system time (s): 0.298132
CPU usage (%): 99.6154
Max. virtual memory (cumulated for all children) (KiB): 786920
Max. memory (cumulated for all children) (KiB): 708344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07665
system time used= 0.298132
maximum resident set size= 708344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181690
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= 3
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 160337
# total CPU time (s): 5.37479
# total CPU user time (s): 5.07665
# total CPU system time (s): 0.298132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022027 second user time and 0.052624 second system time
The end
Begin job on nodeC035 at 2025-07-22 22:09:22 IDJOB=4543761 IDBENCH=174609 IDSOLVER=3366 FILE ID=nodeC035/4543761-1753214962 RUNJOBID= nodeC035-1753209881-158260 SLURM_JOB_ID= 9687779 Free space on /tmp= 432360 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_14_088.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543761-1753214962/watcher-4543761-1753214962 -o /tmp/evaluation-result-4543761-1753214962/solver-4543761-1753214962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543761-1753214962.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 24c7738c3c83b878554c33cfdaf58c44 RANDOM SEED=940770908 nodeC035 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 : 3597.666 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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.726 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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.774 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3531.310 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.686 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.756 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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.269 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.993 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 113073884 kB MemAvailable: 115382560 kB Buffers: 664 kB Cached: 3059708 kB SwapCached: 336 kB Active: 15203424 kB Inactive: 2189452 kB Active(anon): 14339500 kB Inactive(anon): 18908 kB Active(file): 863924 kB Inactive(file): 2170544 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16960 kB Writeback: 0 kB AnonPages: 14335004 kB Mapped: 141388 kB Shmem: 25904 kB KReclaimable: 226892 kB Slab: 322480 kB SReclaimable: 226892 kB SUnreclaim: 95588 kB KernelStack: 4284 kB PageTables: 31624 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 16370008 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 6164480 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432344 MiB End job on nodeC035 at 2025-07-22 22:09:27