| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | UNSAT | 549.634 | 552.434 |
| Name | PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
| MD5SUM | 209c63ac31a13f6816f27826d17fc4ad |
| 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 | 19.2254 |
| 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 | 62704 |
| Total number of constraints | 187107 |
| Number of constraints which are clauses | 186603 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 504 |
| 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 | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
12.71/14.14 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491549-1751142855.opb 12.71/14.14 c Solving mode: decision 12.71/14.14 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 12.71/14.14 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 12.71/14.14 c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints 12.71/14.14 c presolving: 12.71/14.14 c (round 1, fast) 64 del vars, 2 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124606 clqs 12.71/14.14 c (round 2, fast) 126 del vars, 159 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124637 clqs 12.71/14.14 c (round 3, medium) 624 del vars, 159 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 123639 clqs 12.71/14.14 c (round 4, fast) 624 del vars, 1157 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 123643 clqs 12.71/14.14 c (round 5, exhaustive) 624 del vars, 1164 del conss, 0 add conss, 1 chg bounds, 257 chg sides, 504 chg coeffs, 185941 upgd conss, 0 impls, 123643 clqs 12.71/14.14 c (round 6, exhaustive) 631 del vars, 186553 del conss, 61792 add conss, 1 chg bounds, 257 chg sides, 504 chg coeffs, 185941 upgd conss, 0 impls, 123632 clqs 12.71/14.14 c (round 7, exhaustive) 1038 del vars, 186563 del conss, 61800 add conss, 1 chg bounds, 257 chg sides, 504 chg coeffs, 185941 upgd conss, 0 impls, 122760 clqs 12.71/14.14 c (round 8, fast) 1337 del vars, 186623 del conss, 61800 add conss, 1 chg bounds, 257 chg sides, 564 chg coeffs, 185941 upgd conss, 0 impls, 122701 clqs 12.71/14.14 c (round 9, exhaustive) 1342 del vars, 186758 del conss, 61935 add conss, 1 chg bounds, 257 chg sides, 564 chg coeffs, 185941 upgd conss, 0 impls, 122690 clqs 12.71/14.14 c (round 10, exhaustive) 1426 del vars, 186851 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 565 chg coeffs, 185941 upgd conss, 0 impls, 122525 clqs 12.71/14.14 c (round 11, exhaustive) 1491 del vars, 186923 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 565 chg coeffs, 185941 upgd conss, 0 impls, 122393 clqs 12.71/14.14 c (round 12, exhaustive) 2147 del vars, 186923 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 565 chg coeffs, 185941 upgd conss, 0 impls, 147196 clqs 12.71/14.14 c (round 13, fast) 2414 del vars, 187198 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 832 chg coeffs, 186147 upgd conss, 0 impls, 146695 clqs 12.71/14.14 c (round 14, exhaustive) 2466 del vars, 187207 del conss, 61945 add conss, 1 chg bounds, 257 chg sides, 834 chg coeffs, 186151 upgd conss, 0 impls, 146742 clqs 12.71/14.14 c (round 15, exhaustive) 2466 del vars, 187255 del conss, 61991 add conss, 1 chg bounds, 257 chg sides, 834 chg coeffs, 186151 upgd conss, 0 impls, 146749 clqs 12.71/14.14 c (round 16, exhaustive) 2814 del vars, 187299 del conss, 61991 add conss, 1 chg bounds, 257 chg sides, 834 chg coeffs, 186151 upgd conss, 0 impls, 161080 clqs 12.71/14.14 c (round 17, fast) 2953 del vars, 187444 del conss, 61991 add conss, 1 chg bounds, 257 chg sides, 978 chg coeffs, 186314 upgd conss, 0 impls, 160771 clqs 12.71/14.14 c (round 18, exhaustive) 3364 del vars, 187474 del conss, 61995 add conss, 1 chg bounds, 257 chg sides, 979 chg coeffs, 186316 upgd conss, 0 impls, 165045 clqs 12.71/14.14 c (round 19, fast) 3537 del vars, 187654 del conss, 61995 add conss, 1 chg bounds, 257 chg sides, 1157 chg coeffs, 186507 upgd conss, 0 impls, 164491 clqs 12.71/14.14 c (round 20, exhaustive) 3767 del vars, 187692 del conss, 62004 add conss, 1 chg bounds, 257 chg sides, 1157 chg coeffs, 186507 upgd conss, 0 impls, 169924 clqs 12.71/14.14 c (round 21, fast) 3852 del vars, 187790 del conss, 62004 add conss, 1 chg bounds, 257 chg sides, 1247 chg coeffs, 186608 upgd conss, 0 impls, 169590 clqs 12.71/14.14 c (round 22, exhaustive) 4312 del vars, 187817 del conss, 62015 add conss, 1 chg bounds, 257 chg sides, 1247 chg coeffs, 186608 upgd conss, 0 impls, 174071 clqs 12.71/14.14 c (round 23, fast) 4532 del vars, 188048 del conss, 62015 add conss, 1 chg bounds, 257 chg sides, 1472 chg coeffs, 186829 upgd conss, 0 impls, 172962 clqs 12.71/14.14 c (round 24, exhaustive) 4544 del vars, 188090 del conss, 62024 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 173059 clqs 12.71/14.14 c (round 25, exhaustive) 4704 del vars, 188262 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 172407 clqs 12.71/14.14 c (round 26, exhaustive) 4824 del vars, 188387 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 171733 clqs 12.71/14.14 c (round 27, exhaustive) 4993 del vars, 188409 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 177663 clqs 12.71/14.14 c (round 28, fast) 5041 del vars, 188465 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1526 chg coeffs, 186892 upgd conss, 0 impls, 177379 clqs 12.71/14.14 c (round 29, exhaustive) 5608 del vars, 188478 del conss, 62037 add conss, 1 chg bounds, 257 chg sides, 1526 chg coeffs, 186892 upgd conss, 0 impls, 188450 clqs 12.71/14.14 c (round 30, fast) 5767 del vars, 188640 del conss, 62037 add conss, 1 chg bounds, 257 chg sides, 1686 chg coeffs, 187126 upgd conss, 0 impls, 187395 clqs 12.71/14.14 c (round 31, exhaustive) 5786 del vars, 188682 del conss, 62044 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 187434 clqs 12.71/14.14 c (round 32, exhaustive) 5894 del vars, 188798 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 186837 clqs 12.71/14.14 c (round 33, exhaustive) 5973 del vars, 188883 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 186246 clqs 12.71/14.14 c (round 34, exhaustive) 6922 del vars, 188903 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 209409 clqs 12.71/14.14 c (round 35, fast) 7151 del vars, 189132 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1919 chg coeffs, 187179 upgd conss, 0 impls, 208926 clqs 12.71/14.14 c (round 36, exhaustive) 7217 del vars, 189135 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1921 chg coeffs, 187182 upgd conss, 0 impls, 208728 clqs 12.71/14.14 c (round 37, exhaustive) 7233 del vars, 189212 del conss, 62116 add conss, 1 chg bounds, 257 chg sides, 1921 chg coeffs, 187182 upgd conss, 0 impls, 208627 clqs 12.71/14.14 c (round 38, exhaustive) 7317 del vars, 189221 del conss, 62116 add conss, 1 chg bounds, 257 chg sides, 1921 chg coeffs, 187182 upgd conss, 0 impls, 212999 clqs 12.71/14.14 c (round 39, fast) 7334 del vars, 189248 del conss, 62116 add conss, 1 chg bounds, 257 chg sides, 1943 chg coeffs, 187210 upgd conss, 0 impls, 212886 clqs 12.71/14.14 c (round 40, exhaustive) 7911 del vars, 189252 del conss, 62120 add conss, 1 chg bounds, 257 chg sides, 1943 chg coeffs, 187210 upgd conss, 0 impls, 219286 clqs 12.71/14.14 c (round 41, fast) 8072 del vars, 189416 del conss, 62120 add conss, 1 chg bounds, 257 chg sides, 2105 chg coeffs, 187436 upgd conss, 0 impls, 217883 clqs 12.71/14.14 c (round 42, exhaustive) 8293 del vars, 189451 del conss, 62127 add conss, 1 chg bounds, 257 chg sides, 2105 chg coeffs, 187436 upgd conss, 0 impls, 229502 clqs 12.71/14.14 c (round 43, fast) 8392 del vars, 189561 del conss, 62127 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187539 upgd conss, 0 impls, 228510 clqs 12.71/14.14 c (round 44, exhaustive) 8430 del vars, 189600 del conss, 62148 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187540 upgd conss, 0 impls, 228225 clqs 12.71/14.14 c (round 45, exhaustive) 8569 del vars, 189785 del conss, 62185 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187540 upgd conss, 0 impls, 227004 clqs 12.71/14.14 c (round 46, exhaustive) 8674 del vars, 189898 del conss, 62185 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187540 upgd conss, 0 impls, 225798 clqs 12.71/14.14 c (11.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 12.71/14.14 c (11.5s) no symmetry present (symcode time: 0.05) 12.71/14.14 c presolving (47 rounds: 47 fast, 32 medium, 31 exhaustive): 509.42/512.15 c 8717 deleted vars, 189914 deleted constraints, 62185 added constraints, 1 tightened bounds, 0 added holes, 257 changed sides, 2205 changed coefficients 509.42/512.15 c 0 implications, 255901 cliques 509.42/512.15 c presolved problem has 54290 variables (54290 bin, 0 int, 0 impl, 0 cont) and 56156 constraints 509.42/512.15 c 504 constraints of type <knapsack> 509.42/512.15 c 1706 constraints of type <setppc> 509.42/512.15 c 53946 constraints of type <and> 509.42/512.15 c transformed objective value is always integral (scale: 1) 509.42/512.15 c Presolving Time: 11.07 509.42/512.15 c 509.42/512.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 509.42/512.15 c 13.6s| 1 | 0 | 2059 | - | 746M | 0 | 54k| 56k| 110k| 0 | 0 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 30.9s| 1 | 0 | 9126 | - | 772M | 0 | 54k| 56k| 109k| 401 | 1 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 44.6s| 1 | 0 | 10814 | - | 786M | 0 | 54k| 56k| 109k| 836 | 2 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 59.2s| 1 | 0 | 13061 | - | 800M | 0 | 54k| 56k| 109k|1316 | 3 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 75.7s| 1 | 0 | 16327 | - | 813M | 0 | 54k| 56k| 110k|1838 | 4 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 94.8s| 1 | 0 | 20318 | - | 827M | 0 | 54k| 56k| 111k|2441 | 5 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 116s| 1 | 0 | 24502 | - | 842M | 0 | 54k| 56k| 111k|3198 | 6 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 138s| 1 | 0 | 30094 | - | 856M | 0 | 54k| 56k| 112k|3936 | 7 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 160s| 1 | 0 | 35896 | - | 869M | 0 | 54k| 56k| 113k|4776 | 8 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 182s| 1 | 0 | 41258 | - | 883M | 0 | 54k| 56k| 114k|5577 | 9 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 210s| 1 | 0 | 49635 | - | 899M | 0 | 54k| 56k| 114k|6286 | 10 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 236s| 1 | 0 | 59051 | - | 911M | 0 | 54k| 56k| 115k|7153 | 11 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 237s| 1 | 0 | 59265 | - | 912M | 0 | 54k| 55k| 115k|7153 | 11 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 262s| 1 | 0 | 66869 | - | 925M | 0 | 54k| 55k| 116k|8087 | 12 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 291s| 1 | 0 | 76452 | - | 937M | 0 | 54k| 55k| 117k|8877 | 13 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 509.42/512.15 c 322s| 1 | 0 | 86080 | - | 949M | 0 | 54k| 55k| 118k|9735 | 14 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 350s| 1 | 0 | 94224 | - | 961M | 0 | 54k| 55k| 117k| 10k| 15 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 376s| 1 | 0 |102184 | - | 973M | 0 | 54k| 55k| 118k| 11k| 16 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 404s| 1 | 0 |111293 | - | 985M | 0 | 54k| 55k| 118k| 12k| 17 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 432s| 1 | 0 |119365 | - | 997M | 0 | 54k| 55k| 119k| 12k| 18 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 460s| 1 | 0 |127544 | - | 1010M | 0 | 54k| 55k| 120k| 13k| 19 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 490s| 1 | 0 |136572 | - | 1022M | 0 | 54k| 55k| 121k| 14k| 20 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c 509s| 1 | 0 |136572 | - | 1022M | 0 | 54k| 55k| 121k| 14k| 21 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown 509.42/512.15 c (node 1) LP solver hit time limit in LP 29 -- using pseudo solution instead 509.42/512.15 c 509.42/512.15 c SCIP Status : solving was interrupted [time limit reached] 509.42/512.15 c Solving Time (sec) : 509.36 509.42/512.15 c Solving Nodes : 1 509.42/512.15 c Primal Bound : +1.00000000000000e+20 (0 solutions) 509.42/512.15 c Dual Bound : +0.00000000000000e+00 509.42/512.15 c Gap : infinite 509.42/512.15 c ---------------------------------------------------------------------- 509.42/512.15 c dual bound: 0.0 -> 0 509.42/512.15 c primal bound: 1e+20 -> 100000000000000000000 509.42/512.15 c scip-goal-lb: 0 509.42/512.15 c scip-goal-ub: 100000000000000000000 509.42/512.15 c writing output to: HOME/tmpj2q_ze1z.opb 509.42/512.15 c appending fixed variable constraints 509.42/512.15 c scip-fixed vars: 11.17% (6065/54290) 509.42/512.15 c ---------------------------------------------------------------------- 509.42/512.15 c executing external solver: HOME/naps-1.03a6 509.42/512.15 c ---------------------------------------------------------------------- 509.42/512.15 c command: HOME/naps-1.03a6 HOME/tmpj2q_ze1z.opb 509.42/512.17 c NaPS 1.03a6. 509.42/512.17 c Input file name: HOME/tmpj2q_ze1z.opb 548.60/551.42 c _____________________________________________________________________________ 548.60/551.42 c std/band forms : 504,0 548.60/551.42 c 2cl/3cl ITE-codings : 25736,0 548.60/551.42 c BDD/srt/adr Max costs : 126,0,0 548.60/551.42 c BDDraw/bin/mul/srt/adr: 0,0,504,0,0 548.60/551.42 c BDD nodes : 41328 548.60/551.42 c Es1/CC detections : 0,0 548.60/551.42 c CC sort : 0 548.60/551.42 c SAT/UNSAT calls : 0,1 548.60/551.42 c regenrated variables : 0 548.60/551.42 c eliminated fixed lits : 10489 548.60/551.42 c goal lit flips : 0 548.60/551.42 c goal stages : 0 548.60/551.42 c goal shrink : 0 548.60/551.42 c goal coeff separations: 0 548.60/551.42 c restarts : 12147 548.60/551.42 c conflicts : 205207 (5247 /sec) 548.60/551.42 c decisions : 930171 (23785 /sec) 548.60/551.42 c propagations : 311323930 (7960669 /sec) 548.60/551.42 c inspects : 0 (0 /sec) 548.60/551.42 c CPU time (solving tm) : 39.11 s (36.35 s, SAT 0 s, UNSAT 36.35 s) 548.60/551.42 c Time for Opt-base : 0.09186 s 548.60/551.42 c Steps for Opt-base : 207900 548.60/551.42 c Time for BDD coding : 0.2202 s 548.60/551.42 c Time for srt coding : 0 s 548.60/551.42 c _____________________________________________________________________________ 548.60/551.42 s UNSATISFIABLE
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: 63837 MiB (63381 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-4491549-1751142855/watcher-4491549-1751142855 -o /tmp/evaluation-result-4491549-1751142855/solver-4491549-1751142855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14397 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491549-1751142855.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=14446, runsolver pid=14433
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 1.16 1.25 2.08 6/249 14457
/proc/meminfo: memFree=130355980/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=11676 memory=8576 CPUtime=0.05 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 1227 0 0 0 4 1 0 0 20 0 1 0 29964982 11956224 2144 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 2919 2144 1088 1 0 1167 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 15868 KiB
Current children cumulated memory: 11520 KiB
[startup+0.213628 s]*
/proc/loadavg: 1.16 1.25 2.08 2/252 14462
/proc/meminfo: memFree=130349772/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=23596 memory=14336 CPUtime=0.07 cores=4,6
/proc/14457/stat : 14457 (python3) D 14446 14446 11315 0 -1 4194304 1884 0 2 0 6 1 0 0 20 0 1 0 29964982 24162304 3584 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 5899 3584 2016 1 0 1896 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27788 KiB
Current children cumulated memory: 17280 KiB
[startup+0.313295 s]*
/proc/loadavg: 1.55 1.33 2.10 2/255 14471
/proc/meminfo: memFree=130348764/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=45024 memory=14464 CPUtime=0.07 cores=4,6
/proc/14457/stat : 14457 (python3) D 14446 14446 11315 0 -1 4194304 1898 0 4 0 6 1 0 0 20 0 1 0 29964982 46104576 3616 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 11256 3616 2048 1 0 3404 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49216 KiB
Current children cumulated memory: 17408 KiB
[startup+0.700325 s]
/proc/loadavg: 1.55 1.33 2.10 2/256 14472
/proc/meminfo: memFree=130338952/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=64080 memory=22528 CPUtime=0.13 cores=4,6
/proc/14457/stat : 14457 (python3) D 14446 14446 11315 0 -1 4194304 2746 0 49 0 10 3 0 0 20 0 1 0 29964982 65617920 5632 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 16020 5632 3296 1 0 3827 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 68272 KiB
Current children cumulated memory: 25472 KiB
[startup+1.50036 s]
/proc/loadavg: 1.55 1.33 2.10 2/257 14473
/proc/meminfo: memFree=130300444/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=1191672 memory=36380 CPUtime=0.31 cores=4,6
/proc/14457/stat : 14457 (python3) D 14446 14446 11315 0 -1 4194304 4679 0 82 0 25 6 0 0 20 0 1 0 29964982 1220272128 9095 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 297918 9095 5096 1 0 269687 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 1195864 KiB
Current children cumulated memory: 39324 KiB
[startup+3.11394 s]
/proc/loadavg: 1.55 1.33 2.10 6/259 14475
/proc/meminfo: memFree=129578556/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=1556584 memory=400284 CPUtime=1.75 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 93168 0 186 0 143 32 0 0 20 0 1 0 29964982 1593942016 100039 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 389146 100071 7720 1 0 360504 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 1560776 KiB
Current children cumulated memory: 403228 KiB
heavy processes:
[startup+6.30038 s]
/proc/loadavg: 1.74 1.38 2.11 6/259 14475
/proc/meminfo: memFree=128576084/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=1707696 memory=548124 CPUtime=4.92 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 130501 0 186 0 454 38 0 0 20 0 1 0 29964982 1748680704 137031 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 426924 137031 7784 1 0 398282 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 1711888 KiB
Current children cumulated memory: 551068 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 1.92 1.42 2.12 6/259 14524
/proc/meminfo: memFree=128177828/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=1718996 memory=559772 CPUtime=11.3 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 133521 0 186 0 1091 39 0 0 20 0 1 0 29964982 1760251904 139943 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 429749 139943 7784 1 0 401107 0
Current children cumulated CPU time: 11.31 s
Current children cumulated vsize: 1723188 KiB
Current children cumulated memory: 562716 KiB
[startup+25.5004 s]
/proc/loadavg: 2.24 1.51 2.14 5/258 14623
/proc/meminfo: memFree=126178288/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2281332 memory=1025992 CPUtime=24.04 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 254106 0 186 0 2347 57 0 0 20 0 1 0 29964982 2336083968 256498 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 570333 256498 7976 1 0 541691 0
Current children cumulated CPU time: 24.05 s
Current children cumulated vsize: 2285524 KiB
Current children cumulated memory: 1028936 KiB
[startup+51.1139 s]
/proc/loadavg: 2.99 1.76 2.21 5/258 14672
/proc/meminfo: memFree=125656420/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2281332 memory=1026888 CPUtime=49.58 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 254334 0 186 0 4900 58 0 0 20 0 1 0 29964982 2336083968 256722 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 570333 256722 7976 1 0 541691 0
Current children cumulated CPU time: 49.59 s
Current children cumulated vsize: 2285524 KiB
Current children cumulated memory: 1029832 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.12 2.31 5/259 14678
/proc/meminfo: memFree=124468208/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2281332 memory=1034312 CPUtime=100.6 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 255030 0 186 0 10002 58 0 0 20 0 1 0 29964982 2336083968 258578 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 570333 258578 7976 1 0 541691 0
Current children cumulated CPU time: 100.61 s
Current children cumulated vsize: 2285524 KiB
Current children cumulated memory: 1037256 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.50 2.43 5/259 14684
/proc/meminfo: memFree=124766544/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2281332 memory=1034952 CPUtime=160.47 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 255211 0 186 0 15988 59 0 0 20 0 1 0 29964982 2336083968 258738 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 570333 258738 7976 1 0 541691 0
Current children cumulated CPU time: 160.48 s
Current children cumulated vsize: 2285524 KiB
Current children cumulated memory: 1037896 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 2.82 2.55 5/260 14687
/proc/meminfo: memFree=124466292/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2281332 memory=1035976 CPUtime=220.32 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 255423 0 186 0 21973 59 0 0 20 0 1 0 29964982 2336083968 258994 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 570333 258994 7976 1 0 541691 0
################
# More data... #
################
Current children cumulated CPU time: 340.03 s
Current children cumulated vsize: 2285524 KiB
Current children cumulated memory: 1045320 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.53 2.89 5/255 14693
/proc/meminfo: memFree=124356496/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2305620 memory=1050316 CPUtime=399.87 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 257044 0 186 0 39928 59 0 0 20 0 1 0 29964982 2360954880 262579 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 576405 262579 7976 1 0 547763 0
Current children cumulated CPU time: 399.88 s
Current children cumulated vsize: 2309812 KiB
Current children cumulated memory: 1053260 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.64 2.96 5/254 14695
/proc/meminfo: memFree=124368216/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2334544 memory=1059596 CPUtime=459.72 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 257811 0 186 0 45912 60 0 0 20 0 1 0 29964982 2390573056 264899 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 583636 264899 7976 1 0 554994 0
Current children cumulated CPU time: 459.73 s
Current children cumulated vsize: 2338736 KiB
Current children cumulated memory: 1062540 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 3.73 3.04 5/254 14748
/proc/meminfo: memFree=124590812/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2380656 memory=1094796 CPUtime=509.46 cores=4,6
/proc/14457/stat : 14457 (python3) S 14446 14446 11315 0 -1 4194304 266947 0 187 0 50884 62 0 0 20 0 1 0 29964982 2437791744 273699 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 595164 273699 7976 1 0 566522 0
[pid=14697] ppid=14457 vsize=54472 memory=45808 CPUtime=10.1 cores=4,6
/proc/14697/stat : 14697 (naps-1.03a6) R 14457 14697 14697 0 -1 4194304 17335 0 0 0 1005 5 0 0 20 0 1 0 30016193 55779328 11452 18446744073709551615 4198400 7047149 140720965106256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19595264 140720965110161 140720965110259 140720965110259 140720965115849 0
/proc/14697/statm: 13618 11452 544 696 0 12779 0
Current children cumulated CPU time: 519.57 s
Current children cumulated vsize: 2439320 KiB
Current children cumulated memory: 1143548 KiB
[startup+552.434 s]
# the end of solver process 14446 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=548.856 s, system=0.777814 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.10 3.75 3.06 5/255 14749
/proc/meminfo: memFree=123906064/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2380656 memory=1095308 CPUtime=509.46 cores=4,6
/proc/14457/stat : 14457 (python3) S 14446 14446 11315 0 -1 4194304 266947 0 187 0 50884 62 0 0 20 0 1 0 29964982 2437791744 273827 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 595164 273827 7976 1 0 566522 0
[pid=14697] ppid=14457 vsize=54472 memory=45808 CPUtime=25.36 cores=4,6
/proc/14697/stat : 14697 (naps-1.03a6) R 14457 14697 14697 0 -1 4194304 17344 0 0 0 2531 5 0 0 20 0 1 0 30016193 55779328 11452 18446744073709551615 4198400 7047149 140720965106256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19595264 140720965110161 140720965110259 140720965110259 140720965115849 0
/proc/14697/statm: 13618 11452 544 696 0 12779 0
Current children cumulated CPU time: 534.83 s
Current children cumulated vsize: 2439320 KiB
Current children cumulated memory: 1144060 KiB
[startup+544 s]*
/proc/loadavg: 4.09 3.75 3.06 5/255 14749
/proc/meminfo: memFree=123818876/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2380656 memory=1095308 CPUtime=509.46 cores=4,6
/proc/14457/stat : 14457 (python3) S 14446 14446 11315 0 -1 4194304 266947 0 187 0 50884 62 0 0 20 0 1 0 29964982 2437791744 273827 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 595164 273827 7976 1 0 566522 0
[pid=14697] ppid=14457 vsize=54472 memory=45808 CPUtime=31.76 cores=4,6
/proc/14697/stat : 14697 (naps-1.03a6) R 14457 14697 14697 0 -1 4194304 17345 0 0 0 3171 5 0 0 20 0 1 0 30016193 55779328 11452 18446744073709551615 4198400 7047149 140720965106256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19595264 140720965110161 140720965110259 140720965110259 140720965115849 0
/proc/14697/statm: 13618 11452 544 696 0 12779 0
Current children cumulated CPU time: 541.23 s
Current children cumulated vsize: 2439320 KiB
Current children cumulated memory: 1144060 KiB
[startup+547.2 s]
/proc/loadavg: 4.16 3.77 3.07 5/255 14749
/proc/meminfo: memFree=123782836/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2380656 memory=1095308 CPUtime=509.46 cores=4,6
/proc/14457/stat : 14457 (python3) S 14446 14446 11315 0 -1 4194304 266947 0 187 0 50884 62 0 0 20 0 1 0 29964982 2437791744 273827 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 595164 273827 7976 1 0 566522 0
[pid=14697] ppid=14457 vsize=54376 memory=45808 CPUtime=34.94 cores=4,6
/proc/14697/stat : 14697 (naps-1.03a6) R 14457 14697 14697 0 -1 4194304 17346 0 0 0 3489 5 0 0 20 0 1 0 30016193 55681024 11452 18446744073709551615 4198400 7047149 140720965106256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19595264 140720965110161 140720965110259 140720965110259 140720965115849 0
/proc/14697/statm: 13594 11452 544 696 0 12755 0
Current children cumulated CPU time: 544.41 s
Current children cumulated vsize: 2439224 KiB
Current children cumulated memory: 1144060 KiB
[startup+550.4 s]
/proc/loadavg: 4.16 3.77 3.07 5/255 14749
/proc/meminfo: memFree=123734068/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2380656 memory=1095308 CPUtime=509.46 cores=4,6
/proc/14457/stat : 14457 (python3) S 14446 14446 11315 0 -1 4194304 266947 0 187 0 50884 62 0 0 20 0 1 0 29964982 2437791744 273827 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 595164 273827 7976 1 0 566522 0
[pid=14697] ppid=14457 vsize=54376 memory=45808 CPUtime=38.13 cores=4,6
/proc/14697/stat : 14697 (naps-1.03a6) R 14457 14697 14697 0 -1 4194304 17346 0 0 0 3808 5 0 0 20 0 1 0 30016193 55681024 11452 18446744073709551615 4198400 7047149 140720965106256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19595264 140720965110161 140720965110259 140720965110259 140720965115849 0
/proc/14697/statm: 13594 11452 544 696 0 12755 0
Current children cumulated CPU time: 547.6 s
Current children cumulated vsize: 2439224 KiB
Current children cumulated memory: 1144060 KiB
[startup+551.2 s]
/proc/loadavg: 4.15 3.78 3.08 5/255 14749
/proc/meminfo: memFree=123726256/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2380656 memory=1095308 CPUtime=509.46 cores=4,6
/proc/14457/stat : 14457 (python3) S 14446 14446 11315 0 -1 4194304 266947 0 187 0 50884 62 0 0 20 0 1 0 29964982 2437791744 273827 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 595164 273827 7976 1 0 566522 0
[pid=14697] ppid=14457 vsize=54376 memory=45808 CPUtime=38.93 cores=4,6
/proc/14697/stat : 14697 (naps-1.03a6) R 14457 14697 14697 0 -1 4194304 17346 0 0 0 3888 5 0 0 20 0 1 0 30016193 55681024 11452 18446744073709551615 4198400 7047149 140720965106256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19595264 140720965110161 140720965110259 140720965110259 140720965115849 0
/proc/14697/statm: 13594 11452 544 696 0 12755 0
Current children cumulated CPU time: 548.4 s
Current children cumulated vsize: 2439224 KiB
Current children cumulated memory: 1144060 KiB
[startup+552 s]*
/proc/loadavg: 4.15 3.78 3.08 5/254 14749
/proc/meminfo: memFree=123762056/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
[pid=14457] ppid=14446 vsize=2379132 memory=1093876 CPUtime=549.17 cores=4,6
/proc/14457/stat : 14457 (python3) R 14446 14446 11315 0 -1 4194304 277373 17347 187 0 50939 63 3910 5 20 0 1 0 29964982 2436231168 273469 18446744073709551615 94610528653312 94610528653689 140725231091888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94610528664984 94610528665604 94610529546240 140725231094104 140725231094306 140725231094306 140725231099879 0
/proc/14457/statm: 594783 273469 7976 1 0 566141 0
Current children cumulated CPU time: 549.18 s
Current children cumulated vsize: 2383324 KiB
Current children cumulated memory: 1096820 KiB
[startup+552.4 s]
/proc/loadavg: 4.15 3.78 3.08 5/254 14749
/proc/meminfo: memFree=123762056/131382116 swapFree=33010684/33010684
[pid=14446] ppid=14433 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/14446/stat : 14446 (scip-naps-1.00.) S 14433 14446 11315 0 -1 4194304 256 340 0 0 0 0 0 1 20 0 1 0 29964977 4292608 736 18446744073709551615 94282034876416 94282035770949 140727338214208 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94282036010000 94282036057744 94282058285056 140727338219937 140727338220034 140727338220034 140727338225636 0
/proc/14446/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 552.434
CPU time (s): 549.634
CPU user time (s): 548.856
CPU system time (s): 0.777814
CPU usage (%): 99.4932
Max. virtual memory (cumulated for all children) (KiB): 2462364
Max. memory (cumulated for all children) (KiB): 1160356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 548.856
system time used= 0.777814
maximum resident set size= 1095308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308069
page faults= 187
swaps= 0
block input operations= 23032
block output operations= 11224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 922
involuntary context switches= 560
# summary of solver processes directly reported to runsolver:
# pid: 14446
# total CPU time (s): 549.634
# total CPU user time (s): 548.856
# total CPU system time (s): 0.777814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.0418 second user time and 5.52526 second system time
The end
Begin job on nodeC010 at 2025-06-28 22:34:16 IDJOB=4491549 IDBENCH=147718 IDSOLVER=3368 FILE ID=nodeC010/4491549-1751142855 RUNJOBID= nodeC010-1751142855-14397 SLURM_JOB_ID= 9587410 Free space on /tmp= 433048 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491549-1751142855/watcher-4491549-1751142855 -o /tmp/evaluation-result-4491549-1751142855/solver-4491549-1751142855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14397 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491549-1751142855.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 209c63ac31a13f6816f27826d17fc4ad RANDOM SEED=556527623 nodeC010 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 : 0xb00001f cpu MHz : 1197.107 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.114 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.376 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.280 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.152 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.176 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.171 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.134 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 130344716 kB MemAvailable: 129961316 kB Buffers: 3280 kB Cached: 400228 kB SwapCached: 0 kB Active: 277852 kB Inactive: 194080 kB Active(anon): 86388 kB Inactive(anon): 0 kB Active(file): 191464 kB Inactive(file): 194080 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 32264 kB Writeback: 0 kB AnonPages: 71520 kB Mapped: 102332 kB Shmem: 17960 kB KReclaimable: 83536 kB Slab: 162140 kB SReclaimable: 83536 kB SUnreclaim: 78604 kB KernelStack: 3828 kB PageTables: 2648 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 340512 kB VmallocTotal: 34359738367 kB VmallocUsed: 149240 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 432984 MiB End job on nodeC010 at 2025-06-28 22:43:28