0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4453268-1721481464.opb
11.55/11.68 s UNSATISFIABLE
11.55/11.68 c _____________________________________________________________________________
11.55/11.68 c std/band forms : 1,0
11.55/11.68 c 2cl/3cl ITE-codings : 0,0
11.55/11.68 c BDD/srt/adr Max costs : 0,2584,0
11.55/11.68 c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
11.55/11.68 c BDD nodes : 0
11.55/11.68 c Es1/CC detections : 0,0
11.55/11.68 c CC sort : 1
11.55/11.68 c SAT/UNSAT calls : 0,1
11.55/11.68 c regenrated variables : 0
11.55/11.68 c eliminated fixed lits : 0
11.55/11.68 c goal lit flips : 0
11.55/11.68 c goal stages : 0
11.55/11.68 c goal shrink : 0
11.55/11.68 c goal coeff separations: 0
11.55/11.68 c restarts : 1348
11.55/11.68 c conflicts : 258160 (22197 /sec)
11.55/11.68 c decisions : 368209 (31659 /sec)
11.55/11.68 c propagations : 28927292 (2487217 /sec)
11.55/11.68 c inspects : 0 (0 /sec)
11.55/11.68 c CPU time (solving tm) : 11.63 s (11.63 s, SAT 0 s, UNSAT 11.63 s)
11.55/11.68 c Time for Opt-base : 1.2e-05 s
11.55/11.68 c Steps for Opt-base : 0
11.55/11.68 c Time for BDD coding : 0 s
11.55/11.68 c Time for srt coding : 0.000103 s
11.55/11.68 c _____________________________________________________________________________
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: 63931 MiB (62067 MiB free)
memory of node 1: 64510 MiB (63172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453268-1721481464/watcher-4453268-1721481464 -o /tmp/evaluation-result-4453268-1721481464/solver-4453268-1721481464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721481477-1070494 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4453268-1721481464.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1070548, runsolver pid=1070541
[startup+0.100098 s]*
/proc/loadavg: 1.19 2.25 3.15 4/254 1070575
/proc/meminfo: memFree=128233116/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=6404 memory=4368 CPUtime=0.1 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 727 0 0 0 10 0 0 0 20 0 1 0 200306662 6557696 1092 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 1601 1092 468 659 0 805 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16336 KiB
Current children cumulated memory: 7020 KiB
[startup+0.206592 s]*
/proc/loadavg: 1.19 2.25 3.15 4/248 1070591
/proc/meminfo: memFree=128233404/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=6404 memory=4368 CPUtime=0.2 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 763 0 0 0 20 0 0 0 20 0 1 0 200306662 6557696 1092 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 1601 1092 468 659 0 805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 16336 KiB
Current children cumulated memory: 7020 KiB
[startup+0.306188 s]*
/proc/loadavg: 1.19 2.25 3.15 3/252 1070603
/proc/meminfo: memFree=128231392/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=6404 memory=4632 CPUtime=0.3 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 793 0 0 0 30 0 0 0 20 0 1 0 200306662 6557696 1158 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 1601 1158 468 659 0 805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 16336 KiB
Current children cumulated memory: 7284 KiB
[startup+0.700178 s]
/proc/loadavg: 1.19 2.25 3.15 5/260 1070675
/proc/meminfo: memFree=128226068/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=9220 memory=6216 CPUtime=0.69 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 1174 0 0 0 69 0 0 0 20 0 1 0 200306662 9441280 1554 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 2305 1554 468 659 0 1509 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19152 KiB
Current children cumulated memory: 8868 KiB
[startup+1.50019 s]
/proc/loadavg: 1.19 2.25 3.15 5/260 1070675
/proc/meminfo: memFree=128210620/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=9860 memory=7800 CPUtime=1.48 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 1571 0 0 0 148 0 0 0 20 0 1 0 200306662 10096640 1950 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 2465 1950 468 659 0 1669 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19792 KiB
Current children cumulated memory: 10452 KiB
[startup+3.10583 s]
/proc/loadavg: 1.19 2.25 3.15 5/260 1070675
/proc/meminfo: memFree=128191132/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=13708 memory=11160 CPUtime=3.08 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 1923 0 0 0 308 0 0 0 20 0 1 0 200306662 14036992 2790 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 3427 2790 468 659 0 2631 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23640 KiB
Current children cumulated memory: 13812 KiB
[startup+6.30019 s]
/proc/loadavg: 1.42 2.28 3.15 5/260 1070675
/proc/meminfo: memFree=128171284/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=15356 memory=13268 CPUtime=6.27 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 2434 0 0 0 627 0 0 0 20 0 1 0 200306662 15724544 3317 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 3839 3317 468 659 0 3043 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 25288 KiB
Current children cumulated memory: 15920 KiB
[startup+11.6813 s]
# the end of solver process 1070548 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=11.6319 s, system=0.008457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40023 s]
/proc/loadavg: 1.42 2.28 3.15 5/260 1070675
/proc/meminfo: memFree=128171284/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=15356 memory=13268 CPUtime=6.37 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 2434 0 0 0 637 0 0 0 20 0 1 0 200306662 15724544 3317 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 3839 3317 468 659 0 3043 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 25288 KiB
Current children cumulated memory: 15920 KiB
[startup+9.60018 s]
/proc/loadavg: 1.62 2.31 3.16 5/260 1070677
/proc/meminfo: memFree=128155160/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=16388 memory=14360 CPUtime=9.55 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 2959 0 0 0 955 0 0 0 20 0 1 0 200306662 16781312 3590 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 4097 3590 468 659 0 3301 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 26320 KiB
Current children cumulated memory: 17012 KiB
[startup+10.4002 s]
/proc/loadavg: 1.62 2.31 3.16 5/260 1070677
/proc/meminfo: memFree=128150224/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=16388 memory=14360 CPUtime=10.35 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 2961 0 0 0 1035 0 0 0 20 0 1 0 200306662 16781312 3590 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 4097 3590 468 659 0 3301 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 26320 KiB
Current children cumulated memory: 17012 KiB
[startup+11.2002 s]
/proc/loadavg: 1.62 2.31 3.16 5/260 1070677
/proc/meminfo: memFree=128148124/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=20796 memory=16668 CPUtime=11.15 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 3026 0 0 0 1115 0 0 0 20 0 1 0 200306662 21295104 4167 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 5199 4167 468 659 0 4403 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 30728 KiB
Current children cumulated memory: 19320 KiB
[startup+11.6002 s]
/proc/loadavg: 1.62 2.31 3.16 5/260 1070677
/proc/meminfo: memFree=128148124/131524600 swapFree=131071996/131071996
[pid=1070548] ppid=1070541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/1070548/stat : 1070548 (naps-1.03.sh) S 1070541 1070548 1070484 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 200306662 10170368 663 134679101440 94515022524416 94515023603736 140723056224448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94515025702192 94515025749380 94515026845696 140723056227294 140723056227423 140723056227423 140723056234440 0
/proc/1070548/statm: 2483 663 584 264 0 134 0
[pid=1070573] ppid=1070548 vsize=20796 memory=16668 CPUtime=11.55 cores=0,2
/proc/1070573/stat : 1070573 (naps-1.03) R 1070548 1070548 1070484 0 -1 4194304 3026 0 0 0 1155 0 0 0 20 0 1 0 200306662 21295104 4167 134679101440 4194304 6891213 140732505414768 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22192128 140732505420783 140732505420899 140732505420899 140732505427915 0
/proc/1070573/statm: 5199 4167 468 659 0 4403 0
Current children cumulated CPU time: 11.55 s
Current children cumulated vsize: 30728 KiB
Current children cumulated memory: 19320 KiB
Child status: 10
Real time (s): 11.6814
CPU time (s): 11.6404
CPU user time (s): 11.6319
CPU system time (s): 0.008457
CPU usage (%): 99.6493
Max. virtual memory (cumulated for all children) (KiB): 32364
Max. memory (cumulated for all children) (KiB): 23116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6319
system time used= 0.008457
maximum resident set size= 20464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 1070548
# total CPU time (s): 11.6404
# total CPU user time (s): 11.6319
# total CPU system time (s): 0.008457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034471 second user time and 0.078902 second system time
The end
Begin job on nodeC015 at 2024-07-20 15:17:57
IDJOB=4453268
IDBENCH=170394
IDSOLVER=3062
FILE ID=nodeC015/4453268-1721481464
RUNJOBID= nodeC015-1721481477-1070494
SLURM_JOB_ID= 7545762
Free space on /tmp= 890084 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v3_shuffle/normalized-grid6_19.shuf-1.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453268-1721481464/watcher-4453268-1721481464 -o /tmp/evaluation-result-4453268-1721481464/solver-4453268-1721481464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721481477-1070494 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4453268-1721481464.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 531bd272698487ed1af127f2a6793d74
RANDOM SEED=1083210287
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3529.964
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3588.459
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3626.430
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3595.216
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3518.665
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3617.734
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3608.579
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3604.771
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128247008 kB
MemAvailable: 129668060 kB
Buffers: 573120 kB
Cached: 1681604 kB
SwapCached: 0 kB
Active: 1756648 kB
Inactive: 884132 kB
Active(anon): 1468 kB
Inactive(anon): 430528 kB
Active(file): 1755180 kB
Inactive(file): 453604 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21140 kB
Writeback: 4 kB
AnonPages: 384364 kB
Mapped: 107720 kB
Shmem: 45912 kB
KReclaimable: 103828 kB
Slab: 216796 kB
SReclaimable: 103828 kB
SUnreclaim: 112968 kB
KernelStack: 3808 kB
PageTables: 10028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 736040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 356352 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC015 at 2024-07-20 15:18:08