Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP-NaPS 1.00a2 | UNSAT | 520.984 | 522.372 |
Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb |
MD5SUM | ba28cd3367cfe12555432753b09255a3 |
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 | 5.14641 |
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 | 42924 |
Total number of constraints | 10732 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 10714 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 12 |
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 | 8 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 24 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
498.96/500.35 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529969-1752261436.opb 498.96/500.35 c Solving mode: decision 498.96/500.35 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 498.96/500.35 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 498.96/500.35 c original problem has 42924 variables (42924 bin, 0 int, 0 impl, 0 cont) and 10732 constraints 498.96/500.35 c presolving: 498.96/500.35 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 147 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs 498.96/500.35 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 147 chg sides, 0 chg coeffs, 10565 upgd conss, 0 impls, 1 clqs 498.96/500.35 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 147 chg sides, 0 chg coeffs, 10689 upgd conss, 0 impls, 1 clqs 498.96/500.35 c (round 4, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 147 chg sides, 0 chg coeffs, 10732 upgd conss, 0 impls, 1 clqs 498.96/500.35 c (0.9s) probing: 51/42922 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 498.96/500.35 c (0.9s) probing aborted: 50/50 successive totally useless probings 498.96/500.35 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 498.96/500.35 c (1.3s) symmetry computation finished: 1491 generators found (max: 1491, log10 of symmetry group size: 0.0) (symcode time: 0.16) 498.96/500.35 c dynamic symmetry handling statistics: 498.96/500.35 c orbitopal reduction: no components 498.96/500.35 c orbital reduction: 79 components of sizes 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3 498.96/500.35 c lexicographic reduction: 237 permutations with support sizes 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 498.96/500.35 c handled 992 out of 992 symmetry components 498.96/500.35 c (round 5, exhaustive) 2 del vars, 0 del conss, 1254 add conss, 0 chg bounds, 147 chg sides, 0 chg coeffs, 10732 upgd conss, 0 impls, 1255 clqs 498.96/500.35 c (round 6, exhaustive) 2 del vars, 0 del conss, 1254 add conss, 0 chg bounds, 147 chg sides, 0 chg coeffs, 11986 upgd conss, 0 impls, 1255 clqs 498.96/500.35 c (1.5s) probing: 56/42922 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 498.96/500.35 c (1.5s) probing aborted: 50/50 successive totally useless probings 498.96/500.35 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive): 498.96/500.35 c 3 deleted vars, 1 deleted constraints, 1254 added constraints, 0 tightened bounds, 0 added holes, 147 changed sides, 0 changed coefficients 498.96/500.35 c 0 implications, 1254 cliques 498.96/500.35 c presolved problem has 42921 variables (42921 bin, 0 int, 0 impl, 0 cont) and 11985 constraints 498.96/500.35 c 10731 constraints of type <knapsack> 498.96/500.35 c 1254 constraints of type <setppc> 498.96/500.35 c transformed objective value is always integral (scale: 1) 498.96/500.35 c Presolving Time: 1.46 498.96/500.35 c 498.96/500.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 498.96/500.35 c 500s| 1 | 0 |384547 | - | 377M | 0 | 42k| 12k| 11k| 0 | 0 | 15 | 0 | 0.000000e+00 | -- | Inf | unknown 498.96/500.35 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead 498.96/500.35 c 498.96/500.35 c SCIP Status : solving was interrupted [time limit reached] 498.96/500.35 c Solving Time (sec) : 500.02 498.96/500.35 c Solving Nodes : 1 498.96/500.35 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.96/500.35 c Dual Bound : +0.00000000000000e+00 498.96/500.35 c Gap : infinite 498.96/500.35 c ---------------------------------------------------------------------- 498.96/500.35 c dual bound: 0.0 -> 0 498.96/500.35 c primal bound: 1e+20 -> 100000000000000000000 498.96/500.35 c scip-goal-lb: 0 498.96/500.35 c scip-goal-ub: 100000000000000000000 498.96/500.35 c writing output to: HOME/tmpz57ep8s8.opb 498.96/500.35 c appending fixed variable constraints 498.96/500.35 c scip-fixed vars: 0.01% (4/42921) 498.96/500.35 c ---------------------------------------------------------------------- 498.96/500.35 c executing external solver: HOME/naps-1.03a6 498.96/500.35 c ---------------------------------------------------------------------- 498.96/500.35 c command: HOME/naps-1.03a6 HOME/tmpz57ep8s8.opb 498.96/500.37 c NaPS 1.03a6. 498.96/500.37 c Input file name: HOME/tmpz57ep8s8.opb 520.58/522.07 c s UNSATISFIABLE 520.58/522.07 c _____________________________________________________________________________ 520.58/522.07 c std/band forms : 10732,0 520.58/522.07 c 2cl/3cl ITE-codings : 280963,0 520.58/522.07 c BDD/srt/adr Max costs : 41,10,0 520.58/522.07 c BDDraw/bin/mul/srt/adr: 10585,0,0,147,0 520.58/522.07 c BDD nodes : 444570 520.58/522.07 c Es1/CC detections : 0,0 520.58/522.07 c CC sort : 147 520.58/522.07 c SAT/UNSAT calls : 0,1 520.58/522.07 c regenrated variables : 0 520.58/522.07 c eliminated fixed lits : 3 520.58/522.07 c goal lit flips : 0 520.58/522.07 c goal stages : 0 520.58/522.07 c goal shrink : 0 520.58/522.07 c goal coeff separations: 0 520.58/522.07 c restarts : 4118 520.58/522.07 c conflicts : 92154 (4289 /sec) 520.58/522.07 c decisions : 10255032 (477288 /sec) 520.58/522.07 c propagations : 48276901 (2246897 /sec) 520.58/522.07 c inspects : 0 (0 /sec) 520.58/522.07 c CPU time (solving tm) : 21.49 s (20.01 s, SAT 0 s, UNSAT 20.01 s) 520.58/522.07 c Time for Opt-base : 0.001709 s 520.58/522.07 c Steps for Opt-base : 0 520.58/522.07 c Time for BDD coding : 0.9998 s 520.58/522.07 c Time for srt coding : 0.00051 s 520.58/522.07 c _____________________________________________________________________________ 520.58/522.08 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: 63708 MiB (60708 MiB free) memory of node 1: 64465 MiB (61181 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529969-1752261436/watcher-4529969-1752261436 -o /tmp/evaluation-result-4529969-1752261436/solver-4529969-1752261436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109748 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529969-1752261436.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 Current StackSize limit: 8192 KiB solver pid=112523, runsolver pid=112520 [startup+0.100064 s]* /proc/loadavg: 4.07 4.10 4.09 5/269 112528 /proc/meminfo: memFree=124811592/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1187900 memory=33068 CPUtime=0.07 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 3944 0 0 0 6 1 0 0 20 0 1 0 141822211 1216409600 8267 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 296975 8267 4947 1 0 268997 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 1192092 KiB Current children cumulated memory: 36140 KiB [startup+0.205665 s]* /proc/loadavg: 4.07 4.10 4.09 6/269 112528 /proc/meminfo: memFree=124757160/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1244544 memory=95788 CPUtime=0.17 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 17210 0 0 0 14 3 0 0 20 0 1 0 141822211 1274413056 23947 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 311136 23947 7603 1 0 282494 0 Current children cumulated CPU time: 0.17 s Current children cumulated vsize: 1248736 KiB Current children cumulated memory: 98860 KiB [startup+0.305571 s]* /proc/loadavg: 4.07 4.10 4.09 5/269 112528 /proc/meminfo: memFree=124700712/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1304284 memory=155820 CPUtime=0.27 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 32028 0 0 0 21 6 0 0 20 0 1 0 141822211 1335586816 38955 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 326071 38955 7795 1 0 297429 0 Current children cumulated CPU time: 0.27 s Current children cumulated vsize: 1308476 KiB Current children cumulated memory: 158892 KiB [startup+0.700213 s] /proc/loadavg: 4.07 4.10 4.09 5/269 112528 /proc/meminfo: memFree=124628136/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1390720 memory=234156 CPUtime=0.66 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 51722 0 0 0 57 9 0 0 20 0 1 0 141822211 1424097280 58539 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 347680 58539 7923 1 0 319038 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 1394912 KiB Current children cumulated memory: 237228 KiB [startup+1.50022 s] /proc/loadavg: 4.07 4.10 4.09 5/269 112528 /proc/meminfo: memFree=124620076/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=502384 CPUtime=1.46 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 121158 0 0 0 128 18 0 0 20 0 1 0 141822211 1771872256 125596 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 125596 7987 1 0 403944 0 Current children cumulated CPU time: 1.46 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 505456 KiB [startup+3.1057 s] /proc/loadavg: 4.06 4.10 4.09 5/269 112528 /proc/meminfo: memFree=124338088/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510064 CPUtime=3.06 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123049 0 0 0 287 19 0 0 20 0 1 0 141822211 1771872256 127516 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127516 8115 1 0 403944 0 Current children cumulated CPU time: 3.06 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513136 KiB [startup+6.3002 s] /proc/loadavg: 4.06 4.10 4.09 5/269 112528 /proc/meminfo: memFree=124340212/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510064 CPUtime=6.24 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123049 0 0 0 605 19 0 0 20 0 1 0 141822211 1771872256 127516 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127516 8115 1 0 403944 0 Current children cumulated CPU time: 6.24 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513136 KiB [startup+12.7002 s] /proc/loadavg: 4.05 4.10 4.09 5/270 112530 /proc/meminfo: memFree=124340212/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510064 CPUtime=12.63 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123049 0 0 0 1244 19 0 0 20 0 1 0 141822211 1771872256 127516 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127516 8115 1 0 403944 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513136 KiB [startup+25.5002 s] /proc/loadavg: 4.04 4.09 4.09 5/270 112530 /proc/meminfo: memFree=124341892/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510064 CPUtime=25.39 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123049 0 0 0 2520 19 0 0 20 0 1 0 141822211 1771872256 127516 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127516 8115 1 0 403944 0 Current children cumulated CPU time: 25.39 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513136 KiB [startup+51.1058 s] /proc/loadavg: 4.09 4.10 4.09 5/270 112530 /proc/meminfo: memFree=124340608/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510064 CPUtime=50.93 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123049 0 0 0 5074 19 0 0 20 0 1 0 141822211 1771872256 127516 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127516 8115 1 0 403944 0 Current children cumulated CPU time: 50.93 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513136 KiB [startup+102.3 s] /proc/loadavg: 4.09 4.10 4.09 5/270 112532 /proc/meminfo: memFree=124335580/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=102 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 10180 20 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 102 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+162.3 s] /proc/loadavg: 4.07 4.09 4.09 5/270 112534 /proc/meminfo: memFree=124334196/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=161.84 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 16164 20 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 161.84 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+222.3 s] /proc/loadavg: 4.34 4.15 4.11 5/270 112536 /proc/meminfo: memFree=124320788/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=221.68 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 22148 20 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 221.68 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+282.3 s] /proc/loadavg: 4.20 4.15 4.11 5/270 112538 /proc/meminfo: memFree=124321656/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=281.52 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 28132 20 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 281.52 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+342.3 s] /proc/loadavg: 4.18 4.15 4.11 5/270 112541 /proc/meminfo: memFree=124290872/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=341.36 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 34116 20 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 341.36 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+402.3 s] /proc/loadavg: 4.12 4.14 4.10 5/269 112545 /proc/meminfo: memFree=124324932/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=401.22 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 40101 21 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 401.22 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+462.3 s] /proc/loadavg: 4.17 4.14 4.10 5/270 112553 /proc/meminfo: memFree=124254664/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1730344 memory=510576 CPUtime=461.06 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 123059 0 0 0 46085 21 0 0 20 0 1 0 141822211 1771872256 127644 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 432586 127644 8243 1 0 403944 0 Current children cumulated CPU time: 461.06 s Current children cumulated vsize: 1734536 KiB Current children cumulated memory: 513648 KiB [startup+522.3 s] /proc/loadavg: 4.12 4.13 4.10 5/271 112556 /proc/meminfo: memFree=124019140/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1751792 memory=377312 CPUtime=520.89 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 181848 38148 0 0 49897 27 2149 16 20 0 1 0 141822211 1793835008 94328 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 437948 94328 8275 1 0 409306 0 Current children cumulated CPU time: 520.89 s Current children cumulated vsize: 1755984 KiB Current children cumulated memory: 380384 KiB [startup+522.372 s] # the end of solver process 112523 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=520.517 s, system=0.466297 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+522.3 s] /proc/loadavg: 4.12 4.13 4.10 5/271 112556 /proc/meminfo: memFree=124019140/131250000 swapFree=33010672/33010684 [pid=112523] ppid=112520 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112523/stat : 112523 (scip-naps-1.00a) S 112520 112523 109737 0 -1 4194304 260 341 0 0 0 0 0 0 20 0 1 0 141822209 4292608 768 18446744073709551615 94259952553984 94259953448517 140736535947008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94259953687568 94259953735312 94259964596224 140736535951771 140736535951870 140736535951870 140736535957474 0 /proc/112523/statm: 1048 768 704 219 0 110 0 [pid=112528] ppid=112523 vsize=1751792 memory=377312 CPUtime=520.89 cores=4,6 /proc/112528/stat : 112528 (python3) R 112523 112523 109737 0 -1 4194304 181848 38148 0 0 49897 27 2149 16 20 0 1 0 141822211 1793835008 94328 18446744073709551615 94772375158784 94772375159161 140736799800032 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94772375170456 94772375171076 94772384813056 140736799803727 140736799803936 140736799803936 140736799809511 0 /proc/112528/statm: 437948 94328 8275 1 0 409306 0 Current children cumulated CPU time: 520.89 s Current children cumulated vsize: 1755984 KiB Current children cumulated memory: 380384 KiB Child status: 0 Real time (s): 522.372 CPU time (s): 520.984 CPU user time (s): 520.517 CPU system time (s): 0.466297 CPU usage (%): 99.7342 Max. virtual memory (cumulated for all children) (KiB): 2039840 Max. memory (cumulated for all children) (KiB): 779900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 520.517 system time used= 0.466297 maximum resident set size= 534512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 229814 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2600 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 354 involuntary context switches= 284 # summary of solver processes directly reported to runsolver: # pid: 112523 # total CPU time (s): 520.984 # total CPU user time (s): 520.517 # total CPU system time (s): 0.466297 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.11854 second user time and 2.33462 second system time The end
Begin job on nodeC026 at 2025-07-11 21:17:16 IDJOB=4529969 IDBENCH=165244 IDSOLVER=3388 FILE ID=nodeC026/4529969-1752261436 RUNJOBID= nodeC026-1752253388-109748 SLURM_JOB_ID= 9682587 Free space on /tmp= 429824 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529969-1752261436/watcher-4529969-1752261436 -o /tmp/evaluation-result-4529969-1752261436/solver-4529969-1752261436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109748 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529969-1752261436.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba28cd3367cfe12555432753b09255a3 RANDOM SEED=1792808995 nodeC026 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.825 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.782 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.59 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 : 3598.017 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.59 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 : 3596.672 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.59 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 : 3597.004 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.59 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.787 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.550 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.524 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 124815372 kB MemAvailable: 128095464 kB Buffers: 2128 kB Cached: 3902728 kB SwapCached: 4 kB Active: 2157180 kB Inactive: 3228860 kB Active(anon): 1489576 kB Inactive(anon): 9684 kB Active(file): 667604 kB Inactive(file): 3219176 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6544 kB Writeback: 0 kB AnonPages: 1482076 kB Mapped: 133292 kB Shmem: 18076 kB KReclaimable: 454112 kB Slab: 557344 kB SReclaimable: 454112 kB SUnreclaim: 103232 kB KernelStack: 4384 kB PageTables: 6860 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 5124504 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 700416 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 429816 MiB End job on nodeC026 at 2025-07-11 21:25:58