| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a1 | OPT | 50 | 2.49037 | 2.56194 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
| MD5SUM | 5095349793dd868b1b37aa3a48faf31c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 50 |
| Best CPU time to get the best result obtained on this benchmark | 1.05158 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 807 |
| Total number of constraints | 1823 |
| Number of constraints which are clauses | 1823 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 807 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 807 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 807 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.22/1.33 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4487587-1751326500.opb 1.22/1.33 c Solving mode: optimization 1.22/1.33 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 1.22/1.33 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 1.22/1.33 c original problem has 807 variables (807 bin, 0 int, 0 impl, 0 cont) and 1823 constraints 1.22/1.33 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 8.070000e+02 1.22/1.33 c presolving: 1.22/1.33 c (round 1, fast) 16 del vars, 128 del conss, 0 add conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4 clqs 1.22/1.33 c (round 2, exhaustive) 16 del vars, 177 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4 clqs 1.22/1.33 c (round 3, fast) 18 del vars, 179 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 4, fast) 19 del vars, 179 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 5, exhaustive) 19 del vars, 179 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1638 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 6, fast) 21 del vars, 179 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1638 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 7, exhaustive) 21 del vars, 179 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 2 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 8, exhaustive) 21 del vars, 976 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 9, fast) 35 del vars, 976 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 10, fast) 39 del vars, 976 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 16 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 11, fast) 40 del vars, 976 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 20 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 12, exhaustive) 40 del vars, 985 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 21 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 13, fast) 42 del vars, 985 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 21 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 14, fast) 44 del vars, 985 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 23 chg coeffs, 1644 upgd conss, 0 impls, 2 clqs 1.22/1.33 c (round 15, exhaustive) 284 del vars, 985 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 25 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 16, fast) 285 del vars, 1208 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3483 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 17, fast) 294 del vars, 1208 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3484 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 18, fast) 296 del vars, 1208 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3493 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 19, exhaustive) 296 del vars, 1212 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3495 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 20, exhaustive) 335 del vars, 1212 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3495 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 21, fast) 335 del vars, 1238 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3894 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 22, exhaustive) 337 del vars, 1238 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3894 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 23, fast) 337 del vars, 1239 del conss, 0 add conss, 16 chg bounds, 17 chg sides, 3896 chg coeffs, 1644 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (0.1s) probing: 51/470 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 1.22/1.33 c (0.1s) probing aborted: 50/50 successive totally useless probings 1.22/1.33 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 1.22/1.33 c (0.1s) symmetry computation finished: 26 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00) 1.22/1.33 c dynamic symmetry handling statistics: 1.22/1.33 c orbitopal reduction: no components 1.22/1.33 c orbital reduction: no components 1.22/1.33 c lexicographic reduction: no permutations 1.22/1.33 c handled 22 out of 22 symmetry components 1.22/1.33 c (round 24, exhaustive) 337 del vars, 1239 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 3896 chg coeffs, 1644 upgd conss, 0 impls, 26 clqs 1.22/1.33 c (round 25, exhaustive) 337 del vars, 1239 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 3896 chg coeffs, 1670 upgd conss, 0 impls, 26 clqs 1.22/1.33 c (round 26, exhaustive) 337 del vars, 1239 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 4236 chg coeffs, 1670 upgd conss, 0 impls, 26 clqs 1.22/1.33 c (round 27, fast) 359 del vars, 1307 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 4236 chg coeffs, 1670 upgd conss, 0 impls, 4 clqs 1.22/1.33 c (round 28, fast) 363 del vars, 1318 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 4236 chg coeffs, 1670 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 29, exhaustive) 365 del vars, 1318 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 4236 chg coeffs, 1670 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (round 30, fast) 365 del vars, 1318 del conss, 26 add conss, 16 chg bounds, 17 chg sides, 4250 chg coeffs, 1670 upgd conss, 0 impls, 0 clqs 1.22/1.33 c (0.1s) probing: 56/470 (11.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 1.22/1.33 c (0.1s) probing aborted: 50/50 successive totally useless probings 1.22/1.33 c presolving (31 rounds: 31 fast, 14 medium, 14 exhaustive): 1.22/1.33 c 365 deleted vars, 1318 deleted constraints, 26 added constraints, 16 tightened bounds, 0 added holes, 17 changed sides, 4250 changed coefficients 1.22/1.33 c 0 implications, 0 cliques 1.22/1.33 c presolved problem has 442 variables (442 bin, 0 int, 0 impl, 0 cont) and 531 constraints 1.22/1.33 c 531 constraints of type <logicor> 1.22/1.33 c transformed objective value is always integral (scale: 1) 1.22/1.33 c Presolving Time: 0.14 1.22/1.33 c 1.22/1.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 1.22/1.33 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 | 442 | 531 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.620000e+02 |2210.00%| unknown 1.22/1.33 c t 0.2s| 1 | 0 | 0 | - | trivial| 0 | 442 | 531 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.210000e+02 |2005.00%| unknown 1.22/1.33 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 442 | 531 | 531 | 0 | 0 | 0 | 0 | 2.000000e+01 | 5.700000e+01 | 185.00%| unknown 1.22/1.33 c i 0.2s| 1 | 0 | 0 | - | oneopt| 0 | 442 | 531 | 531 | 0 | 0 | 0 | 0 | 2.000000e+01 | 5.600000e+01 | 180.00%| unknown 1.22/1.33 c 0.2s| 1 | 0 | 251 | - | 24M | 0 | 442 | 531 | 531 | 0 | 0 | 0 | 0 | 4.631290e+01 | 5.600000e+01 | 20.92%| unknown 1.22/1.33 c 0.3s| 1 | 0 | 290 | - | 33M | 0 | 442 | 531 | 534 | 3 | 1 | 0 | 0 | 4.640094e+01 | 5.600000e+01 | 20.69%| unknown 1.22/1.33 c 0.4s| 1 | 0 | 349 | - | 42M | 0 | 442 | 531 | 536 | 5 | 2 | 0 | 0 | 4.648928e+01 | 5.600000e+01 | 20.46%| unknown 1.22/1.33 c 0.5s| 1 | 0 | 479 | - | 47M | 0 | 442 | 531 | 539 | 8 | 3 | 0 | 0 | 4.666292e+01 | 5.600000e+01 | 20.01%| unknown 1.22/1.33 c 0.6s| 1 | 0 | 507 | - | 54M | 0 | 442 | 531 | 541 | 10 | 4 | 0 | 0 | 4.669107e+01 | 5.600000e+01 | 19.94%| unknown 1.22/1.33 c 0.8s| 1 | 0 | 601 | - | 60M | 0 | 442 | 531 | 546 | 15 | 5 | 0 | 0 | 4.707185e+01 | 5.600000e+01 | 18.97%| unknown 1.22/1.33 c 0.9s| 1 | 0 | 621 | - | 71M | 0 | 442 | 531 | 549 | 18 | 6 | 0 | 0 | 4.707185e+01 | 5.600000e+01 | 18.97%| unknown 1.22/1.33 c 1.1s| 1 | 0 | 682 | - | 76M | 0 | 442 | 531 | 553 | 22 | 7 | 0 | 0 | 4.722596e+01 | 5.600000e+01 | 18.58%| unknown 2.41/2.50 c 1.2s| 1 | 0 | 886 | - | 85M | 0 | 442 | 531 | 558 | 27 | 8 | 0 | 0 | 4.751362e+01 | 5.600000e+01 | 17.86%| unknown 2.41/2.50 c 1.3s| 1 | 0 | 952 | - | 90M | 0 | 442 | 531 | 562 | 31 | 9 | 0 | 0 | 4.754088e+01 | 5.600000e+01 | 17.79%| unknown 2.41/2.50 c 1.4s| 1 | 0 | 1031 | - | 102M | 0 | 442 | 531 | 565 | 34 | 10 | 0 | 0 | 4.768343e+01 | 5.600000e+01 | 17.44%| unknown 2.41/2.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2.41/2.50 c 1.4s| 1 | 0 | 1119 | - | 102M | 0 | 442 | 531 | 566 | 36 | 11 | 0 | 0 | 4.773448e+01 | 5.600000e+01 | 17.32%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1210 | - | 102M | 0 | 442 | 531 | 570 | 40 | 12 | 0 | 0 | 4.782168e+01 | 5.600000e+01 | 17.10%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1237 | - | 102M | 0 | 442 | 531 | 572 | 42 | 13 | 0 | 0 | 4.783338e+01 | 5.600000e+01 | 17.07%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1244 | - | 102M | 0 | 442 | 531 | 574 | 44 | 14 | 0 | 0 | 4.783338e+01 | 5.600000e+01 | 17.07%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1274 | - | 102M | 0 | 442 | 531 | 576 | 46 | 15 | 0 | 0 | 4.786463e+01 | 5.600000e+01 | 17.00%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1321 | - | 102M | 0 | 442 | 531 | 578 | 48 | 16 | 0 | 0 | 4.802381e+01 | 5.600000e+01 | 16.61%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1343 | - | 102M | 0 | 442 | 531 | 573 | 51 | 17 | 0 | 0 | 4.804032e+01 | 5.600000e+01 | 16.57%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1371 | - | 102M | 0 | 442 | 531 | 575 | 53 | 18 | 0 | 0 | 4.808333e+01 | 5.600000e+01 | 16.46%| unknown 2.41/2.50 c 1.5s| 1 | 0 | 1519 | - | 102M | 0 | 442 | 531 | 578 | 56 | 19 | 0 | 0 | 4.820204e+01 | 5.600000e+01 | 16.18%| unknown 2.41/2.50 c 1.6s| 1 | 0 | 1562 | - | 102M | 0 | 442 | 531 | 580 | 58 | 20 | 0 | 0 | 4.829167e+01 | 5.600000e+01 | 15.96%| unknown 2.41/2.50 c 1.6s| 1 | 0 | 1567 | - | 102M | 0 | 442 | 531 | 581 | 59 | 21 | 0 | 0 | 4.829167e+01 | 5.600000e+01 | 15.96%| unknown 2.41/2.50 c 1.6s| 1 | 0 | 1571 | - | 102M | 0 | 442 | 531 | 582 | 60 | 22 | 0 | 0 | 4.829167e+01 | 5.600000e+01 | 15.96%| unknown 2.41/2.50 c 1.6s| 1 | 0 | 1574 | - | 102M | 0 | 442 | 531 | 574 | 63 | 23 | 0 | 0 | 4.829167e+01 | 5.600000e+01 | 15.96%| unknown 2.41/2.50 c o 1.6s| 1 | 0 | 1939 | - |feaspump| 0 | 442 | 531 | 574 | 63 | 24 | 0 | 0 | 4.829167e+01 | 5.300000e+01 | 9.75%| unknown 2.41/2.50 c L 1.6s| 1 | 0 | 1939 | - | rens| 0 | 442 | 531 | 574 | 63 | 24 | 0 | 0 | 4.829167e+01 | 5.100000e+01 | 5.61%| unknown 2.41/2.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2.41/2.50 c 1.6s| 1 | 0 | 1939 | - | 102M | 0 | 442 | 531 | 574 | 63 | 24 | 0 | 0 | 4.829167e+01 | 5.100000e+01 | 5.61%| unknown 2.41/2.50 c 1.7s| 1 | 2 | 1955 | - | 102M | 0 | 442 | 531 | 574 | 63 | 25 | 0 | 41 | 4.840278e+01 | 5.100000e+01 | 5.37%| unknown 2.41/2.50 c * 2.2s| 12 | 4 | 2510 | 83.7 | LP | 10 | 442 | 622 | 556 | 70 | 4 | 91 | 271 | 4.849419e+01 | 5.000000e+01 | 3.11%| 11.84% 2.41/2.50 c 2.41/2.50 c SCIP Status : problem is solved [optimal solution found] 2.41/2.50 c Solving Time (sec) : 2.29 2.41/2.50 c Solving Nodes : 16 2.41/2.50 c Primal Bound : +5.00000000000000e+01 (32 solutions) 2.41/2.50 c Dual Bound : +5.00000000000000e+01 2.41/2.50 c Gap : 0.00 % 2.41/2.50 c All original constraints are satisfied. 2.41/2.50 c SCIP's best solution is verified feasible for the original problem. 2.41/2.50 c SCIP found an optimal solution. 2.41/2.50 o 50 2.41/2.50 s OPTIMUM FOUND 2.41/2.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 2.41/2.50 v -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 2.41/2.50 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 x766 x767 x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 x805 -x806 -x807
OK 50
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 (62814 MiB free)
memory of node 1: 64465 MiB (63565 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487587-1751326500/watcher-4487587-1751326500 -o /tmp/evaluation-result-4487587-1751326500/solver-4487587-1751326500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751326494-44953 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4487587-1751326500.opb
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
solver pid=45603, runsolver pid=45592
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.21 2.69 3.57 4/266 45622
/proc/meminfo: memFree=129390380/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=82628 memory=25088 CPUtime=0.04 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 2867 0 0 0 4 0 0 0 20 0 1 0 48327565 84611072 6272 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 20657 6272 3872 1 0 3886 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 86820 KiB
Current children cumulated memory: 28160 KiB
[startup+0.205579 s]*
/proc/loadavg: 1.21 2.69 3.57 4/266 45622
/proc/meminfo: memFree=129359612/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1206836 memory=59520 CPUtime=0.14 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 7882 0 0 0 13 1 0 0 20 0 1 0 48327565 1235800064 14880 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 301709 14880 7872 1 0 273067 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1211028 KiB
Current children cumulated memory: 62592 KiB
[startup+0.305521 s]*
/proc/loadavg: 1.21 2.69 3.57 4/266 45622
/proc/meminfo: memFree=129352100/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1214456 memory=66688 CPUtime=0.23 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 9643 0 0 0 22 1 0 0 20 0 1 0 48327565 1243602944 16672 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 303614 16672 7936 1 0 274972 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1218648 KiB
Current children cumulated memory: 69760 KiB
[startup+0.700182 s]
/proc/loadavg: 1.21 2.69 3.57 4/266 45622
/proc/meminfo: memFree=129329924/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1245396 memory=96640 CPUtime=0.62 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 16935 0 0 0 59 3 0 0 20 0 1 0 48327565 1275285504 24160 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 311349 24160 8160 1 0 282707 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1249588 KiB
Current children cumulated memory: 99712 KiB
[startup+1.50016 s]
/proc/loadavg: 1.21 2.69 3.57 5/266 45648
/proc/meminfo: memFree=129302100/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1290412 memory=139136 CPUtime=1.41 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 27553 0 0 0 137 4 0 0 20 0 1 0 48327565 1321381888 34784 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 322603 34784 8160 1 0 293961 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 1294604 KiB
Current children cumulated memory: 142208 KiB
[startup+2.5619 s]
# the end of solver process 45603 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.42492 s, system=0.065451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6002 s]
/proc/loadavg: 1.21 2.69 3.57 5/266 45648
/proc/meminfo: memFree=129302100/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1299264 memory=148096 CPUtime=1.51 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 29800 0 0 0 147 4 0 0 20 0 1 0 48327565 1330446336 37024 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 324816 37024 8160 1 0 296174 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 1303456 KiB
Current children cumulated memory: 151168 KiB
[startup+2.00015 s]*
/proc/loadavg: 1.43 2.71 3.57 2/256 45687
/proc/meminfo: memFree=129293856/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1304588 memory=152192 CPUtime=1.91 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 30838 0 0 0 187 4 0 0 20 0 1 0 48327565 1335898112 38048 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 326147 38048 8160 1 0 297505 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 1308780 KiB
Current children cumulated memory: 155264 KiB
[startup+2.40015 s]
/proc/loadavg: 1.43 2.71 3.57 2/256 45687
/proc/meminfo: memFree=129293856/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1307780 memory=155264 CPUtime=2.31 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 31616 0 0 0 226 5 0 0 20 0 1 0 48327565 1339166720 38816 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 326945 38816 8160 1 0 298303 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 1311972 KiB
Current children cumulated memory: 158336 KiB
[startup+2.50016 s]
/proc/loadavg: 1.43 2.71 3.57 2/256 45687
/proc/meminfo: memFree=129293856/131249988 swapFree=33010684/33010684
[pid=45603] ppid=45592 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45603/stat : 45603 (scip-naps-1.00.) S 45592 45603 44940 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 48327561 4292608 768 18446744073709551615 94572925689856 94572926584389 140720817825008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94572926823440 94572926871184 94572941905920 140720817834401 140720817834498 140720817834498 140720817840100 0
/proc/45603/statm: 1048 768 704 219 0 110 0
[pid=45613] ppid=45603 vsize=1308292 memory=156032 CPUtime=2.41 cores=5,7
/proc/45613/stat : 45613 (python3) R 45603 45603 44940 0 -1 4194304 31748 0 0 0 236 5 0 0 20 0 1 0 48327565 1339691008 39008 18446744073709551615 94001030410240 94001030410617 140734104776176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94001030421912 94001030422532 94001041539072 140734104779111 140734104779298 140734104779298 140734104784871 0
/proc/45613/statm: 327073 39008 8224 1 0 298431 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 1312484 KiB
Current children cumulated memory: 159104 KiB
Child status: 0
Real time (s): 2.56194
CPU time (s): 2.49037
CPU user time (s): 2.42492
CPU system time (s): 0.065451
CPU usage (%): 97.2066
Max. virtual memory (cumulated for all children) (KiB): 1312484
Max. memory (cumulated for all children) (KiB): 159104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.42492
system time used= 0.065451
maximum resident set size= 156672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32383
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 421
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 45603
# total CPU time (s): 2.49037
# total CPU user time (s): 2.42492
# total CPU system time (s): 0.065451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019354 second user time and 0.036182 second system time
The end
Begin job on nodeC020 at 2025-07-01 01:35:00 IDJOB=4487587 IDBENCH=147199 IDSOLVER=3368 FILE ID=nodeC020/4487587-1751326500 RUNJOBID= nodeC020-1751326494-44953 SLURM_JOB_ID= 9594363 Free space on /tmp= 432936 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487587-1751326500/watcher-4487587-1751326500 -o /tmp/evaluation-result-4487587-1751326500/solver-4487587-1751326500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751326494-44953 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4487587-1751326500.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5095349793dd868b1b37aa3a48faf31c RANDOM SEED=100248082 nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.506 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.601 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.091 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.041 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.772 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.905 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.104 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.723 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129409176 kB MemAvailable: 129704036 kB Buffers: 3280 kB Cached: 1099604 kB SwapCached: 0 kB Active: 389380 kB Inactive: 791664 kB Active(anon): 96216 kB Inactive(anon): 0 kB Active(file): 293164 kB Inactive(file): 791664 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17236 kB Writeback: 112 kB AnonPages: 81312 kB Mapped: 103680 kB Shmem: 18056 kB KReclaimable: 98544 kB Slab: 186576 kB SReclaimable: 98544 kB SUnreclaim: 88032 kB KernelStack: 4144 kB PageTables: 2956 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 367252 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432928 MiB End job on nodeC020 at 2025-07-01 01:35:03