| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 172.591 | 173.168 |
| Name | PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb |
| MD5SUM | 1cec7467f4817916a0b2c766a10a10ef |
| 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 | 0.307536 |
| 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 | 9071 |
| Total number of constraints | 25914 |
| Number of constraints which are clauses | 25190 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 724 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| 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 | 39 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 132 |
| 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-4491835-1751144566.opb>
0.00/0.04 c original problem has 9071 variables (9071 bin, 0 int, 0 cont) and 25914 constraints
0.00/0.04 c problem read in 0.046 seconds
0.00/0.04 c problem without objective
0.00/0.09 c presolving:
0.09/0.12 c (round 1, fast) 16 del vars, 7 del conss, 0 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 0 upgd conss, 0 impls, 17032 clqs
0.09/0.13 c (round 2, fast) 27 del vars, 35 del conss, 0 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 0 upgd conss, 0 impls, 17036 clqs
0.09/0.15 c (0.2s) running MILP presolver
2.08/2.10 c (2.1s) MILP presolver (22 rounds): 933 aggregations, 1038 fixings, 0 bound changes
2.08/2.11 c (round 3, medium) 1998 del vars, 25914 del conss, 20661 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 0 upgd conss, 0 impls, 13236 clqs
2.08/2.19 c (round 4, exhaustive) 1998 del vars, 25916 del conss, 20661 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 20659 upgd conss, 0 impls, 13388 clqs
2.17/2.26 c (round 5, exhaustive) 1998 del vars, 45541 del conss, 27193 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 20659 upgd conss, 0 impls, 13388 clqs
2.17/2.28 c (round 6, exhaustive) 2018 del vars, 45566 del conss, 27198 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 20659 upgd conss, 0 impls, 13376 clqs
2.98/3.07 c (round 7, exhaustive) 2043 del vars, 45566 del conss, 27198 add conss, 1 chg bounds, 362 chg sides, 724 chg coeffs, 20659 upgd conss, 0 impls, 63786 clqs
2.98/3.07 c (round 8, fast) 2056 del vars, 45591 del conss, 27198 add conss, 1 chg bounds, 362 chg sides, 737 chg coeffs, 20662 upgd conss, 0 impls, 63708 clqs
2.98/3.09 c (round 9, exhaustive) 2056 del vars, 45622 del conss, 27229 add conss, 1 chg bounds, 362 chg sides, 737 chg coeffs, 20662 upgd conss, 0 impls, 63711 clqs
3.57/3.65 c (round 10, exhaustive) 2082 del vars, 45622 del conss, 27229 add conss, 1 chg bounds, 362 chg sides, 738 chg coeffs, 20662 upgd conss, 0 impls, 66009 clqs
3.57/3.65 c (round 11, fast) 2086 del vars, 45635 del conss, 27229 add conss, 1 chg bounds, 362 chg sides, 743 chg coeffs, 20666 upgd conss, 0 impls, 65996 clqs
3.57/3.66 c (round 12, exhaustive) 2091 del vars, 45650 del conss, 27242 add conss, 1 chg bounds, 362 chg sides, 743 chg coeffs, 20666 upgd conss, 0 impls, 65921 clqs
3.57/3.67 c (round 13, exhaustive) 2105 del vars, 45669 del conss, 27246 add conss, 1 chg bounds, 362 chg sides, 743 chg coeffs, 20666 upgd conss, 0 impls, 65753 clqs
4.77/4.86 c (4.9s) probing: 1000/7064 (14.2%) - 26 fixings, 33 aggregations, 572145 implications, 0 bound changes
6.76/6.87 c (6.9s) probing: 1850/7064 (26.2%) - 26 fixings, 33 aggregations, 1068035 implications, 0 bound changes
6.76/6.87 c (6.9s) probing aborted: 1000/1000 successive useless probings
6.76/6.88 c (round 14, exhaustive) 2114 del vars, 45673 del conss, 27246 add conss, 1 chg bounds, 362 chg sides, 743 chg coeffs, 20667 upgd conss, 0 impls, 66249 clqs
6.86/6.90 c (round 15, exhaustive) 2126 del vars, 45687 del conss, 27248 add conss, 1 chg bounds, 362 chg sides, 743 chg coeffs, 20667 upgd conss, 0 impls, 66067 clqs
7.46/7.51 c (7.5s) probing: 2000/7064 (28.3%) - 38 fixings, 33 aggregations, 1238225 implications, 0 bound changes
8.16/8.25 c (round 16, exhaustive) 2153 del vars, 45687 del conss, 27248 add conss, 1 chg bounds, 362 chg sides, 743 chg coeffs, 20667 upgd conss, 0 impls, 66029 clqs
8.16/8.25 c (round 17, fast) 2173 del vars, 45705 del conss, 27248 add conss, 1 chg bounds, 362 chg sides, 761 chg coeffs, 20676 upgd conss, 0 impls, 65897 clqs
9.85/9.93 c (9.9s) probing: 3000/7064 (42.5%) - 51 fixings, 34 aggregations, 1807619 implications, 0 bound changes
12.34/12.46 c (12.5s) probing: 4000/7064 (56.6%) - 56 fixings, 37 aggregations, 2436397 implications, 0 bound changes
15.43/15.57 c (15.6s) probing: 5000/7064 (70.8%) - 58 fixings, 37 aggregations, 3258866 implications, 0 bound changes
18.62/18.78 c (18.8s) probing: 6000/7064 (84.9%) - 63 fixings, 37 aggregations, 4132646 implications, 0 bound changes
20.81/20.97 c (round 18, exhaustive) 2198 del vars, 45706 del conss, 27249 add conss, 1 chg bounds, 362 chg sides, 761 chg coeffs, 20676 upgd conss, 0 impls, 66049 clqs
20.81/20.98 c (round 19, fast) 2203 del vars, 45733 del conss, 27249 add conss, 1 chg bounds, 362 chg sides, 767 chg coeffs, 20694 upgd conss, 0 impls, 66033 clqs
20.81/20.99 c (round 20, exhaustive) 2203 del vars, 45737 del conss, 27253 add conss, 1 chg bounds, 362 chg sides, 767 chg coeffs, 20694 upgd conss, 0 impls, 66051 clqs
21.21/21.36 c (21.4s) probing: 6932/7064 (98.1%) - 75 fixings, 38 aggregations, 4784847 implications, 0 bound changes
21.21/21.36 c (21.4s) probing aborted: 50/50 successive totally useless probings
21.21/21.36 c (21.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
21.21/21.39 c (21.4s) no symmetry present (symcode time: 0.01)
21.21/21.39 c presolving (21 rounds: 21 fast, 15 medium, 14 exhaustive):
21.21/21.39 c 2207 deleted vars, 45738 deleted constraints, 27253 added constraints, 1 tightened bounds, 0 added holes, 362 changed sides, 767 changed coefficients
21.21/21.39 c 0 implications, 66375 cliques
21.21/21.39 c presolved problem has 6877 variables (6877 bin, 0 int, 0 cont) and 7391 constraints
21.21/21.39 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
21.21/21.39 c 724 constraints of type <knapsack>
21.21/21.39 c 373 constraints of type <setppc>
21.21/21.39 c 6282 constraints of type <and>
21.21/21.39 c 12 constraints of type <logicor>
21.21/21.39 c transformed objective value is always integral (scale: 1)
21.21/21.39 c Presolving Time: 21.31
21.21/21.39 c
21.21/21.39 c - non default parameters ----------------------------------------------------------------------
21.21/21.39 c
21.21/21.39 c # SCIP version 10.0.0
21.21/21.39 c
21.21/21.39 c # maximal time in seconds to run
21.21/21.39 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
21.21/21.39 c limits/time = 3596.998054
21.21/21.39 c
21.21/21.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.21/21.39 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
21.21/21.39 c limits/memory = 27900
21.21/21.39 c
21.21/21.39 c # belongs reading time to solving time?
21.21/21.39 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
21.21/21.39 c timing/reading = TRUE
21.21/21.39 c
21.21/21.39 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
21.21/21.39 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
21.21/21.39 c reading/opbreader/maxintsize = 47
21.21/21.39 c
21.21/21.39 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
21.21/21.39 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
21.21/21.39 c propagating/genvbounds/timingmask = 0
21.21/21.39 c
21.21/21.39 c -----------------------------------------------------------------------------------------------
21.21/21.39 c
21.71/21.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.71/21.85 c 21.9s| 1 | 0 | 3195 | - | 123M | 0 |6877 |7430 | 13k| 0 | 0 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
23.61/23.72 c 23.7s| 1 | 0 | 11064 | - | 137M | 0 |6877 |7431 | 14k| 624 | 1 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
24.40/24.59 c 24.6s| 1 | 0 | 13595 | - | 141M | 0 |6877 |7432 | 14k|1214 | 2 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
25.30/25.40 c 25.4s| 1 | 0 | 16040 | - | 147M | 0 |6877 |7435 | 15k|1657 | 3 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
26.30/26.41 c 26.4s| 1 | 0 | 18995 | - | 152M | 0 |6877 |7437 | 15k|2025 | 4 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
27.39/27.59 c 27.6s| 1 | 0 | 21717 | - | 158M | 0 |6877 |7439 | 16k|2402 | 5 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
28.79/28.92 c 28.9s| 1 | 0 | 25103 | - | 164M | 0 |6877 |7440 | 16k|2778 | 6 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
29.99/30.12 c 30.1s| 1 | 0 | 27486 | - | 174M | 0 |6877 |7443 | 16k|3072 | 7 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
31.48/31.63 c 31.6s| 1 | 0 | 30368 | - | 181M | 0 |6877 |7445 | 16k|3335 | 8 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
32.77/32.95 c 32.9s| 1 | 0 | 32541 | - | 188M | 0 |6877 |7447 | 17k|3552 | 9 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
34.67/34.83 c 34.8s| 1 | 0 | 35262 | - | 199M | 0 |6877 |7448 | 17k|3747 | 10 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
35.98/36.17 c 36.2s| 1 | 0 | 37944 | - | 202M | 0 |6877 |7449 | 17k|3969 | 11 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
45.53/45.76 c 45.8s| 1 | 2 | 45804 | - | 203M | 0 |6877 |7456 | 17k|3969 | 11 | 72 | 13 | 0.000000e+00 | -- | Inf | unknown
56.50/56.77 c 56.8s| 100 | 33 | 80028 | 425.1 | 217M | 20 |6877 |7558 | 15k|5668 | 1 | 174 | 13 | 0.000000e+00 | -- | Inf | 5.47%
65.87/66.13 c 66.1s| 200 | 7 |112688 | 375.6 | 235M | 27 |6877 |7730 | 16k|8185 | 2 | 349 | 13 | 0.000000e+00 | -- | Inf | 53.12%
80.82/81.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.82/81.11 c 81.1s| 300 | 15 |171424 | 446.4 | 269M | 27 |6877 |8053 | 17k| 14k| 2 | 679 | 13 | 0.000000e+00 | -- | Inf | 61.72%
98.95/99.36 c 99.4s| 400 | 12 |251106 | 534.2 | 296M | 27 |6877 |8223 | 16k| 22k| 2 | 895 | 13 | 0.000000e+00 | -- | Inf | 68.75%
129.36/129.89 c 130s| 500 | 12 |352517 | 630.4 | 315M | 27 |6877 |8321 | 0 | 33k| 0 |1080 | 13 | 0.000000e+00 | -- | Inf | 76.66%
149.29/149.82 c 150s| 600 | 7 |457947 | 701.2 | 333M | 27 |6877 |8441 | 17k| 43k| 2 |1288 | 13 | 0.000000e+00 | -- | Inf | 82.81%
172.11/172.78 c 173s| 700 | 2 |573446 | 766.1 | 337M | 27 |6877 |5917 | 16k| 54k| 2 |1428 | 13 | 0.000000e+00 | -- | Inf | 99.61%
172.42/173.07 c
172.42/173.07 c SCIP Status : problem is solved [infeasible]
172.42/173.07 c Solving Time (sec) : 173.07
172.42/173.07 c Solving Nodes : 702
172.42/173.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
172.42/173.07 c Dual Bound : +1.00000000000000e+20
172.42/173.07 c Gap : 0.00 %
172.42/173.07 s UNSATISFIABLE
172.42/173.07 c SCIP Status : problem is solved [infeasible]
172.42/173.07 c Total Time : 173.07
172.42/173.07 c solving : 173.07
172.42/173.07 c presolving : 21.31 (included in solving)
172.42/173.07 c reading : 0.05 (included in solving)
172.42/173.07 c copying : 0.83 (51 #copies) (minimal 0.02, maximal 0.02, average 0.02)
172.42/173.07 c Original Problem :
172.42/173.07 c Problem name : HOME/instance-4491835-1751144566.opb
172.42/173.07 c Variables : 9071 (9071 binary, 0 integer, 0 continuous)
172.42/173.07 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
172.42/173.07 c Constraints : 25914 initial, 25914 maximal
172.42/173.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
172.42/173.07 c Presolved Problem :
172.42/173.07 c Problem name : t_HOME/instance-4491835-1751144566.opb
172.42/173.07 c Variables : 6877 (6877 binary, 0 integer, 0 continuous)
172.42/173.07 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
172.42/173.07 c Constraints : 7391 initial, 8486 maximal
172.42/173.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
172.42/173.07 c Nonzeros : 27656 constraint, 132269 clique table
172.42/173.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
172.42/173.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c domcol : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
172.42/173.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
172.42/173.07 c gateextraction : 0.05 0.00 13 0 0 0 0 0 19625 6532 0 0
172.42/173.07 c implics : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
172.42/173.07 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c milp : 1.98 0.00 1 1038 933 0 0 0 25879 20661 0 0
172.42/173.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
172.42/173.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c trivial : 0.00 0.00 21 13 0 0 0 0 0 0 0 0
172.42/173.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c dualfix : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
172.42/173.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c probing : 18.87 0.00 6 75 38 0 0 0 0 0 0 0
172.42/173.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
172.42/173.07 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
172.42/173.07 c knapsack : 0.01 0.00 42 0 0 0 0 0 0 0 0 0
172.42/173.07 c setppc : 0.02 0.00 42 0 1 0 0 0 46 0 0 0
172.42/173.07 c and : 0.15 0.00 28 0 91 0 0 0 148 60 0 42
172.42/173.07 c linear : 0.11 0.01 8 1 4 0 1 0 37 0 362 724
172.42/173.07 c logicor : 0.01 0.00 36 0 0 0 0 0 3 0 0 1
172.42/173.07 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
172.42/173.07 c root node : - - - 2980 - - 2980 - - - - -
172.42/173.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
172.42/173.07 c integral : 0 0 0 0 444 0 0 40 0 0 0 0 0 0 888
172.42/173.07 c knapsack : 724 724 11 87692 0 0 0 36 218 12 28 2203 153 0 0
172.42/173.07 c setppc : 373+ 425 11 87679 0 0 0 0 4203 33 3521 9 2 0 0
172.42/173.07 c and : 6282 6282 904 87647 0 0 0 0 91843 239 236456 104949 46399 0 0
172.42/173.07 c linear : 0+ 24 0 11853 0 0 0 3 114 63 142 0 0 0 0
172.42/173.07 c logicor : 12+ 1043 11 14844 0 0 0 0 3244 83 1969 2 1 0 0
172.42/173.07 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
172.42/173.07 c integral : 5.90 0.00 0.00 0.00 5.90 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c knapsack : 0.44 0.00 0.02 0.43 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c setppc : 0.37 0.00 0.00 0.37 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c and : 11.31 0.00 0.85 10.39 0.00 0.00 0.00 0.00 0.04 0.04
172.42/173.07 c linear : 0.02 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c logicor : 0.07 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
172.42/173.07 c dualfix : 2 0 0 0
172.42/173.07 c genvbounds : 0 0 0 0
172.42/173.07 c nlobbt : 0 0 0 0
172.42/173.07 c obbt : 0 0 0 0
172.42/173.07 c probing : 0 0 0 0
172.42/173.07 c pseudoobj : 0 0 0 0
172.42/173.07 c redcost : 0 0 0 0
172.42/173.07 c rootredcost : 0 0 0 0
172.42/173.07 c symmetry : 0 0 0 0
172.42/173.07 c vbounds : 12269 0 0 0
172.42/173.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
172.42/173.07 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c probing : 18.87 0.00 18.87 0.00 0.00 0.00
172.42/173.07 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
172.42/173.07 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
172.42/173.07 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
172.42/173.07 c symmetry : 0.03 0.00 0.03 0.01 0.00 0.00
172.42/173.07 c vbounds : 0.68 0.00 0.01 0.66 0.00 0.00
172.42/173.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
172.42/173.07 c propagation : 0.06 424 297 - 1431 32.2 36 25.5 - - -
172.42/173.07 c infeasible LP : 0.09 71 71 - 191 19.5 4 11.5 71 3.4 0
172.42/173.07 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
172.42/173.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
172.42/173.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
172.42/173.07 c applied globally : 0.09 - - 0 1359 19.2 - - 71 - -
172.42/173.07 c applied locally : - - - 0 0 0.0 - - 0 - -
172.42/173.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
172.42/173.07 c cut pool : 0.39 - 206 21 - - 15323 34577 - - - - - (maximal pool size: 12774)
172.42/173.07 c aggregation : 0.30 0.00 75 11 0 0 243 1997 2 378 376 2 0
172.42/173.07 c > cmir : - - - - - - - 1484 0 294 294 0 -
172.42/173.07 c > flowcover : - - - - - - - 503 0 82 82 0 -
172.42/173.07 c > knapsackcover : - - - - - - - 10 2 2 0 2 -
172.42/173.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c clique : 1.96 0.00 11 11 0 0 88 214 0 24 24 0 0
172.42/173.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c gomory : 7.41 0.00 76 10 0 0 5332 8934 593 763 728 35 0
172.42/173.07 c > gomorymi : - - - - - - - 2981 300 246 226 20 -
172.42/173.07 c > strongcg : - - - - - - - 5953 293 517 502 15 -
172.42/173.07 c impliedbounds : 0.30 0.00 77 11 0 0 9738 21207 0 5687 5687 0 0
172.42/173.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
172.42/173.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c multilinear : 0.00 0.00 50 11 0 0 0 0 0 0 0 0 0
172.42/173.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
172.42/173.07 c rapidlearning : 4.38 0.00 49 1 0 4879 0 0 0 0 0 0 85
172.42/173.07 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
172.42/173.07 c zerohalf : 1.02 0.00 75 11 0 0 804 2225 287 1229 1088 141 0
172.42/173.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
172.42/173.07 c hybrid : 0.27 0.00 791 11 54641 17 87484 3969 0 24633
172.42/173.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c Pricers : ExecTime SetupTime Calls Vars
172.42/173.07 c problem variables: 0.00 - 0 0
172.42/173.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
172.42/173.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c relpscost : 5.89 0.00 444 0 0 0 0 0 0 888
172.42/173.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
172.42/173.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
172.42/173.07 c LP solutions : 0.00 - - 0 0
172.42/173.07 c relax solutions : 0.00 - - 0 0
172.42/173.07 c pseudo solutions : 0.00 - - 0 0
172.42/173.07 c strong branching : 0.00 - - 0 0
172.42/173.07 c actconsdiving : 0.00 0.00 0 0 0
172.42/173.07 c adaptivediving : 1.97 0.00 4 0 0
172.42/173.07 c alns : 0.06 0.00 4 0 0
172.42/173.07 c bound : 0.00 0.00 0 0 0
172.42/173.07 c clique : 0.07 0.00 1 0 0
172.42/173.07 c coefdiving : 0.00 0.00 0 0 0
172.42/173.07 c completesol : 0.00 0.00 0 0 0
172.42/173.07 c conflictdiving : 5.19 0.00 2 0 0
172.42/173.07 c crossover : 0.00 0.00 0 0 0
172.42/173.07 c dins : 0.00 0.00 0 0 0
172.42/173.07 c distributiondivin: 0.14 0.00 2 0 0
172.42/173.07 c dks : 0.00 0.00 0 0 0
172.42/173.07 c dps : 0.00 0.00 0 0 0
172.42/173.07 c dualval : 0.00 0.00 0 0 0
172.42/173.07 c farkasdiving : 0.00 0.00 0 0 0
172.42/173.07 c feaspump : 0.69 0.00 1 0 0
172.42/173.07 c fixandinfer : 0.00 0.00 0 0 0
172.42/173.07 c fracdiving : 0.72 0.00 2 0 0
172.42/173.07 c gins : 0.00 0.00 0 0 0
172.42/173.07 c guideddiving : 0.00 0.00 0 0 0
172.42/173.07 c indicator : 0.00 0.00 0 0 0
172.42/173.07 c indicatordiving : 0.00 0.00 0 0 0
172.42/173.07 c intdiving : 0.00 0.00 0 0 0
172.42/173.07 c intshifting : 0.00 0.00 0 0 0
172.42/173.07 c linesearchdiving : 0.01 0.00 2 0 0
172.42/173.07 c localbranching : 0.00 0.00 0 0 0
172.42/173.07 c locks : 0.01 0.00 1 0 0
172.42/173.07 c lpface : 0.00 0.00 0 0 0
172.42/173.07 c mpec : 0.00 0.00 0 0 0
172.42/173.07 c multistart : 0.00 0.00 0 0 0
172.42/173.07 c mutation : 0.00 0.00 0 0 0
172.42/173.07 c nlpdiving : 0.00 0.00 0 0 0
172.42/173.07 c objpscostdiving : 11.65 0.00 2 0 0
172.42/173.07 c octane : 0.00 0.00 0 0 0
172.42/173.07 c ofins : 0.00 0.00 0 0 0
172.42/173.07 c oneopt : 0.00 0.00 0 0 0
172.42/173.07 c padm : 0.00 0.00 0 0 0
172.42/173.07 c proximity : 0.00 0.00 0 0 0
172.42/173.07 c pscostdiving : 0.84 0.00 2 0 0
172.42/173.07 c randrounding : 0.10 0.00 45 0 0
172.42/173.07 c rens : 0.10 0.00 1 0 0
172.42/173.07 c reoptsols : 0.00 0.00 0 0 0
172.42/173.07 c repair : 0.00 0.00 0 0 0
172.42/173.07 c rins : 0.00 0.00 0 0 0
172.42/173.07 c rootsoldiving : 0.18 0.00 1 0 0
172.42/173.07 c rounding : 0.27 0.00 469 0 0
172.42/173.07 c scheduler : 0.00 0.00 0 0 0
172.42/173.07 c shiftandpropagate: 0.04 0.00 1 0 0
172.42/173.07 c shifting : 1.05 0.00 120 0 0
172.42/173.07 c simplerounding : 0.00 0.00 0 0 0
172.42/173.07 c subnlp : 0.00 0.00 0 0 0
172.42/173.07 c trivial : 0.00 0.00 2 0 0
172.42/173.07 c trivialnegation : 0.00 0.00 0 0 0
172.42/173.07 c trustregion : 0.00 0.00 0 0 0
172.42/173.07 c trysol : 0.00 0.00 0 0 0
172.42/173.07 c twoopt : 0.00 0.00 0 0 0
172.42/173.07 c undercover : 0.09 0.00 1 0 0
172.42/173.07 c vbounds : 0.08 0.00 1 0 0
172.42/173.07 c veclendiving : 1.20 0.00 2 0 0
172.42/173.07 c zeroobj : 0.00 0.00 0 0 0
172.42/173.07 c zirounding : 0.13 0.00 444 0 0
172.42/173.07 c other solutions : - - - 0 -
172.42/173.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 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
172.42/173.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
172.42/173.07 c primal LP : 0.14 46 0 0.00 0.00 0.14 46
172.42/173.07 c dual LP : 98.28 1348 514669 383.22 5236.63 0.01 5
172.42/173.07 c lex dual LP : 0.00 0 0 0.00 -
172.42/173.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
172.42/173.07 c resolve instable : 0.00 0 0 0.00 -
172.42/173.07 c diving/probing LP: 22.21 180 60306 335.03 2715.03
172.42/173.07 c strong branching : 5.14 13 11954 919.54 2327.51 - - 23
172.42/173.07 c (at root node) : - 13 11954 919.54 -
172.42/173.07 c conflict analysis: 0.00 0 0 0.00 -
172.42/173.07 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
172.42/173.07 c benders : 0.00 0 0 0 0.00 0 0 0
172.42/173.07 c B&B Tree :
172.42/173.07 c number of runs : 1
172.42/173.07 c nodes : 702 (444 internal, 258 leaves)
172.42/173.07 c feasible leaves : 0
172.42/173.07 c infeas. leaves : 258
172.42/173.07 c objective leaves : 0
172.42/173.07 c nodes (total) : 702 (444 internal, 258 leaves)
172.42/173.07 c nodes left : 0
172.42/173.07 c max depth : 27
172.42/173.07 c max depth (total): 27
172.42/173.07 c backtracks : 205 (29.2%)
172.42/173.07 c early backtracks : 0 (0.0%)
172.42/173.07 c nodes exc. ref. : 0 (0.0%)
172.42/173.07 c delayed cutoffs : 187
172.42/173.07 c repropagations : 459 (51134 domain reductions, 134 cutoffs)
172.42/173.07 c avg switch length: 3.20
172.42/173.07 c switching time : 0.72
172.42/173.07 c Root Node :
172.42/173.07 c First LP value : +0.00000000000000e+00
172.42/173.07 c First LP Iters : 3195 (12993.56 Iter/sec)
172.42/173.07 c First LP Time : 0.25
172.42/173.07 c Final Dual Bound : -
172.42/173.07 c Final Root Iters : 37944
172.42/173.07 c Root LP Estimate : +6.14373937198574e-02
172.42/173.07 c Solution :
172.42/173.07 c Solutions found : 0 (0 improvements)
172.42/173.07 c Primal Bound : infeasible
172.42/173.07 c Dual Bound : -
172.42/173.07 c Gap : 0.00 %
172.42/173.07 c Integrals : Total Avg%
172.42/173.07 c primal-dual : - - (problem infeasible)
172.42/173.07 c primal-ref : - - (problem infeasible)
172.42/173.07 c dual-ref : - - (problem infeasible)
172.52/173.16 c Time complete (sec): 172.587
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 (63116 MiB free)
memory of node 1: 64465 MiB (63934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491835-1751144566/watcher-4491835-1751144566 -o /tmp/evaluation-result-4491835-1751144566/solver-4491835-1751144566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751144566-13228 --watchdog 3760 pbsolver -f HOME/instance-4491835-1751144566.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13273, runsolver pid=13270
[startup+0.100065 s]*
/proc/loadavg: 1.75 3.46 3.87 5/265 13284
/proc/meminfo: memFree=129979872/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=77544 memory=66944 CPUtime=0.09 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 14574 0 0 0 7 2 0 0 20 0 1 0 30135161 79405056 16736 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 19386 16736 2400 2575 0 16293 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77544 KiB
Current children cumulated memory: 66944 KiB
[startup+0.20549 s]*
/proc/loadavg: 1.75 3.46 3.87 5/265 13284
/proc/meminfo: memFree=129851572/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=98700 memory=87724 CPUtime=0.19 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 21417 0 0 0 16 3 0 0 20 0 1 0 30135161 101068800 21931 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 24675 21931 2528 2575 0 21582 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98700 KiB
Current children cumulated memory: 87724 KiB
[startup+0.305506 s]*
/proc/loadavg: 1.75 3.46 3.87 5/265 13284
/proc/meminfo: memFree=129730864/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=98700 memory=87724 CPUtime=0.29 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 21417 0 0 0 26 3 0 0 20 0 1 0 30135161 101068800 21931 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 24675 21931 2528 2575 0 21582 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98700 KiB
Current children cumulated memory: 87724 KiB
[startup+0.700178 s]
/proc/loadavg: 1.75 3.46 3.87 5/265 13284
/proc/meminfo: memFree=129600076/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=98700 memory=87724 CPUtime=0.68 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 21417 0 0 0 65 3 0 0 20 0 1 0 30135161 101068800 21931 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 24675 21931 2528 2575 0 21582 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98700 KiB
Current children cumulated memory: 87724 KiB
[startup+1.50018 s]
/proc/loadavg: 1.75 3.46 3.87 5/265 13284
/proc/meminfo: memFree=129491520/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=98700 memory=87724 CPUtime=1.47 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 21417 0 0 0 144 3 0 0 20 0 1 0 30135161 101068800 21931 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 24675 21931 2528 2575 0 21582 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 98700 KiB
Current children cumulated memory: 87724 KiB
[startup+3.1055 s]
/proc/loadavg: 1.75 3.46 3.87 4/261 13325
/proc/meminfo: memFree=129467784/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=111132 memory=99228 CPUtime=3.08 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 26479 0 0 0 304 4 0 0 20 0 1 0 30135161 113799168 24807 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 27783 24807 2592 2575 0 24690 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111132 KiB
Current children cumulated memory: 99228 KiB
[startup+6.30019 s]
/proc/loadavg: 1.93 3.46 3.87 5/265 13329
/proc/meminfo: memFree=129444872/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=111492 memory=99484 CPUtime=6.26 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 26553 0 0 0 622 4 0 0 20 0 1 0 30135161 114167808 24871 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 27873 24871 2592 2575 0 24780 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 111492 KiB
Current children cumulated memory: 99484 KiB
[startup+12.7002 s]
/proc/loadavg: 2.10 3.47 3.87 5/265 13329
/proc/meminfo: memFree=129444648/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=112516 memory=100508 CPUtime=12.64 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 26809 0 0 0 1260 4 0 0 20 0 1 0 30135161 115216384 25127 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 28129 25127 2592 2575 0 25036 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 112516 KiB
Current children cumulated memory: 100508 KiB
[startup+25.5002 s]
/proc/loadavg: 2.52 3.50 3.87 5/265 13329
/proc/meminfo: memFree=129228440/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=221752 memory=198012 CPUtime=25.4 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 52217 0 0 0 2532 8 0 0 20 0 1 0 30135161 227074048 49503 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 55438 49503 2688 2575 0 52345 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 221752 KiB
Current children cumulated memory: 198012 KiB
[startup+51.1055 s]
/proc/loadavg: 3.10 3.56 3.88 5/265 13330
/proc/meminfo: memFree=128724656/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=301952 memory=270076 CPUtime=50.92 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 70247 0 0 0 5082 10 0 0 20 0 1 0 30135161 309198848 67519 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 75488 67519 2688 2575 0 72395 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 301952 KiB
Current children cumulated memory: 270076 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 3.64 3.90 5/266 13468
/proc/meminfo: memFree=128623076/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=357200 memory=299780 CPUtime=101.94 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 81071 0 0 0 10180 14 0 0 20 0 1 0 30135161 365772800 74945 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 89300 74945 2688 2575 0 86207 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 357200 KiB
Current children cumulated memory: 299780 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 3.73 3.91 5/266 13470
/proc/meminfo: memFree=128412552/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=383176 memory=308740 CPUtime=161.74 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82361 0 0 0 16160 14 0 0 20 0 1 0 30135161 392372224 77185 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 95794 77185 2688 2575 0 92701 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 383176 KiB
Current children cumulated memory: 308740 KiB
[startup+173.168 s]
# the end of solver process 13273 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=172.44 s, system=0.151462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 3.93 3.73 3.91 5/266 13470
/proc/meminfo: memFree=128413308/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=383868 memory=313220 CPUtime=165.83 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82471 0 0 0 16569 14 0 0 20 0 1 0 30135161 393080832 78305 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 95967 78305 2688 2575 0 92874 0
Current children cumulated CPU time: 165.83 s
Current children cumulated vsize: 383868 KiB
Current children cumulated memory: 313220 KiB
[startup+169.6 s]
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128409416/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=383868 memory=313476 CPUtime=169.02 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82518 0 0 0 16888 14 0 0 20 0 1 0 30135161 393080832 78369 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 95967 78369 2688 2575 0 92874 0
Current children cumulated CPU time: 169.02 s
Current children cumulated vsize: 383868 KiB
Current children cumulated memory: 313476 KiB
[startup+171.2 s]
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128417444/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=384264 memory=313860 CPUtime=170.62 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82621 0 0 0 17048 14 0 0 20 0 1 0 30135161 393486336 78465 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 96066 78465 2688 2575 0 92973 0
Current children cumulated CPU time: 170.62 s
Current children cumulated vsize: 384264 KiB
Current children cumulated memory: 313860 KiB
[startup+172 s]*
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128417228/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=384436 memory=313988 CPUtime=171.42 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82664 0 0 0 17128 14 0 0 20 0 1 0 30135161 393662464 78497 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 96109 78497 2688 2575 0 93016 0
Current children cumulated CPU time: 171.42 s
Current children cumulated vsize: 384436 KiB
Current children cumulated memory: 313988 KiB
[startup+172.8 s]
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128417228/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=384436 memory=313988 CPUtime=172.21 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82665 0 0 0 17207 14 0 0 20 0 1 0 30135161 393662464 78497 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 96109 78497 2688 2575 0 93016 0
Current children cumulated CPU time: 172.21 s
Current children cumulated vsize: 384436 KiB
Current children cumulated memory: 313988 KiB
[startup+173 s]*
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128417228/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=384436 memory=313988 CPUtime=172.42 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82665 0 0 0 17228 14 0 0 20 0 1 0 30135161 393662464 78497 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 96109 78497 2688 2575 0 93016 0
Current children cumulated CPU time: 172.42 s
Current children cumulated vsize: 384436 KiB
Current children cumulated memory: 313988 KiB
[startup+173.105 s]
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128417228/131249988 swapFree=33010684/33010684
[pid=13273] ppid=13270 vsize=372200 memory=301876 CPUtime=172.52 cores=5,7
/proc/13273/stat : 13273 (pbsolver) R 13270 13273 13215 0 -1 4194304 82665 0 0 0 17238 14 0 0 20 0 1 0 30135161 381132800 75469 18446744073709551615 4198400 14743177 140730599821008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39796736 140730599823754 140730599823850 140730599823850 140730599829452 0
/proc/13273/statm: 93050 75469 2688 2575 0 89957 0
Current children cumulated CPU time: 172.52 s
Current children cumulated vsize: 372200 KiB
Current children cumulated memory: 301876 KiB
Child status: 0
Real time (s): 173.168
CPU time (s): 172.591
CPU user time (s): 172.44
CPU system time (s): 0.151462
CPU usage (%): 99.6667
Max. virtual memory (cumulated for all children) (KiB): 384436
Max. memory (cumulated for all children) (KiB): 313988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.44
system time used= 0.151462
maximum resident set size= 313988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82666
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= 30
involuntary context switches= 1047
# summary of solver processes directly reported to runsolver:
# pid: 13273
# total CPU time (s): 172.591
# total CPU user time (s): 172.44
# total CPU system time (s): 0.151462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.357208 second user time and 0.744549 second system time
The end
Begin job on nodeC031 at 2025-06-28 23:02:46 IDJOB=4491835 IDBENCH=147739 IDSOLVER=3366 FILE ID=nodeC031/4491835-1751144566 RUNJOBID= nodeC031-1751144566-13228 SLURM_JOB_ID= 9587441 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491835-1751144566/watcher-4491835-1751144566 -o /tmp/evaluation-result-4491835-1751144566/solver-4491835-1751144566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751144566-13228 --watchdog 3760 pbsolver -f HOME/instance-4491835-1751144566.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1cec7467f4817916a0b2c766a10a10ef RANDOM SEED=2038710925 nodeC031 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.135 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.78 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 : 3602.337 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.78 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.891 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.78 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 : 3599.882 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.78 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 : 3600.752 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.78 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.530 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.78 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 : 3599.957 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.78 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.259 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 130118048 kB MemAvailable: 129739116 kB Buffers: 3280 kB Cached: 408196 kB SwapCached: 0 kB Active: 288864 kB Inactive: 201624 kB Active(anon): 97076 kB Inactive(anon): 0 kB Active(file): 191788 kB Inactive(file): 201624 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 65448 kB Writeback: 0 kB AnonPages: 82360 kB Mapped: 102296 kB Shmem: 18064 kB KReclaimable: 84076 kB Slab: 166072 kB SReclaimable: 84076 kB SUnreclaim: 81996 kB KernelStack: 4124 kB PageTables: 2700 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 341308 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432996 MiB End job on nodeC031 at 2025-06-28 23:05:39