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: 64059 MiB (57407 MiB free)
memory of node 1: 64510 MiB (61514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443776-1721315870/watcher-4443776-1721315870 -o /tmp/evaluation-result-4443776-1721315870/solver-4443776-1721315870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961572 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443776-1721315870.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=962608, runsolver pid=962605
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 3.96 2.64 3.25 5/244 962612
/proc/meminfo: memFree=121650416/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=143976 memory=128296 CPUtime=0.09 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 3128 0 0 0 6 3 0 0 20 0 1 0 183745866 147431424 32074 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 35994 32074 922 2726 0 32742 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 162568 KiB
Current children cumulated memory: 132012 KiB
[startup+0.207898 s]*
/proc/loadavg: 3.96 2.64 3.25 5/244 962612
/proc/meminfo: memFree=121648000/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=146024 memory=130732 CPUtime=0.19 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 3744 0 0 0 16 3 0 0 20 0 1 0 183745866 149528576 32683 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 36506 32683 922 2726 0 33254 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164616 KiB
Current children cumulated memory: 134448 KiB
[startup+0.309153 s]*
/proc/loadavg: 3.96 2.64 3.25 5/244 962612
/proc/meminfo: memFree=121643796/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=150120 memory=134320 CPUtime=0.3 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 4100 0 0 0 26 4 0 0 20 0 1 0 183745866 153722880 33580 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 37530 33580 922 2726 0 34278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168712 KiB
Current children cumulated memory: 138036 KiB
[startup+0.700309 s]
/proc/loadavg: 3.96 2.64 3.25 5/244 962612
/proc/meminfo: memFree=121639524/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=158444 memory=142528 CPUtime=0.68 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 4628 0 0 0 64 4 0 0 20 0 1 0 183745866 162246656 35632 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 39611 35632 922 2726 0 36359 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177036 KiB
Current children cumulated memory: 146244 KiB
[startup+1.50043 s]
/proc/loadavg: 3.96 2.64 3.25 5/244 962612
/proc/meminfo: memFree=121625068/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=207596 memory=171268 CPUtime=1.48 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 5704 0 0 0 141 7 0 0 20 0 1 0 183745866 212578304 42817 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 51899 42817 922 2726 0 48647 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 226188 KiB
Current children cumulated memory: 174984 KiB
[startup+3.11355 s]
/proc/loadavg: 3.96 2.64 3.25 5/240 962633
/proc/meminfo: memFree=121622360/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=535412 memory=374132 CPUtime=3.09 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 6920 0 0 0 294 15 0 0 20 0 1 0 183745866 548261888 93533 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 133853 93533 922 2726 0 130601 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 554004 KiB
Current children cumulated memory: 377848 KiB
[startup+6.3005 s]
/proc/loadavg: 3.97 2.66 3.25 5/248 962647
/proc/meminfo: memFree=120302004/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=1301760 memory=1277780 CPUtime=6.27 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 23124 0 0 0 570 57 0 0 20 0 1 0 183745866 1333002240 319445 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 325440 319445 954 2726 0 322188 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1320352 KiB
Current children cumulated memory: 1281496 KiB
[startup+12.7005 s]
/proc/loadavg: 3.97 2.68 3.26 6/252 962684
/proc/meminfo: memFree=118145356/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=1500408 memory=1471684 CPUtime=12.65 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 26165 0 0 0 1204 61 0 0 20 0 1 0 183745866 1536417792 367921 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 375102 367921 1002 2726 0 371850 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1519000 KiB
Current children cumulated memory: 1475400 KiB
[startup+25.5005 s]
/proc/loadavg: 4.05 2.76 3.28 5/252 962787
/proc/meminfo: memFree=113245568/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=3086332 memory=3055472 CPUtime=25.42 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 502501 0 0 0 2407 135 0 0 20 0 1 0 183745866 3160403968 763868 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 771583 763868 1034 2726 0 768331 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3104924 KiB
Current children cumulated memory: 3059188 KiB
[startup+41.1102 s]
# the end of solver process 962608 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=38.8005 s, system=2.19695 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6006 s]
/proc/loadavg: 4.05 2.76 3.28 5/252 962787
/proc/meminfo: memFree=113245568/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=3099444 memory=3068404 CPUtime=25.52 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 505733 0 0 0 2417 135 0 0 20 0 1 0 183745866 3173830656 767101 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 774861 767101 1034 2726 0 771609 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 3118036 KiB
Current children cumulated memory: 3072120 KiB
[startup+32.0005 s]*
/proc/loadavg: 4.05 2.78 3.28 5/244 962821
/proc/meminfo: memFree=117510188/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=4506164 memory=4397196 CPUtime=31.91 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 640344 0 0 0 3016 175 0 0 20 0 1 0 183745866 4614311936 1099299 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 1126541 1099299 1066 2726 0 1123289 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 4524756 KiB
Current children cumulated memory: 4400912 KiB
[startup+35.2004 s]
/proc/loadavg: 4.12 2.82 3.29 5/244 962821
/proc/meminfo: memFree=116681728/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=4843356 memory=4713860 CPUtime=35.09 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 662883 0 0 0 3321 188 0 0 20 0 1 0 183745866 4959596544 1178465 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 1210839 1178465 1338 2726 0 1207587 0
Current children cumulated CPU time: 35.09 s
Current children cumulated vsize: 4861948 KiB
Current children cumulated memory: 4717576 KiB
[startup+38.4005 s]
/proc/loadavg: 4.12 2.82 3.29 5/248 962857
/proc/meminfo: memFree=115940212/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=4646172 memory=4476300 CPUtime=38.28 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 665962 0 0 0 3635 193 0 0 20 0 1 0 183745866 4757680128 1119075 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 1161543 1119075 1418 2726 0 1158291 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 4664764 KiB
Current children cumulated memory: 4480016 KiB
[startup+40.0005 s]*
/proc/loadavg: 4.11 2.84 3.29 6/252 962892
/proc/meminfo: memFree=114845344/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=5024600 memory=4854664 CPUtime=39.89 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 667062 0 0 0 3789 200 0 0 20 0 1 0 183745866 5145190400 1213666 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 1256150 1213666 1418 2726 0 1252898 0
Current children cumulated CPU time: 39.89 s
Current children cumulated vsize: 5043192 KiB
Current children cumulated memory: 4858380 KiB
[startup+40.8004 s]
/proc/loadavg: 4.11 2.84 3.29 6/252 962892
/proc/meminfo: memFree=114845344/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
[pid=962612] ppid=962611 vsize=4969292 memory=4796788 CPUtime=40.67 cores=1,3
/proc/962612/stat : 962612 (CASHWMaxSAT-Dis) R 962611 962611 961560 0 -1 4194304 667453 0 0 0 3867 200 0 0 20 0 1 0 183745866 5088555008 1199197 134679101440 4194304 15356333 140729658096096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52281344 140729658102786 140729658102932 140729658102932 140729658109919 0
/proc/962612/statm: 1242323 1199197 1418 2726 0 1239071 0
Current children cumulated CPU time: 40.67 s
Current children cumulated vsize: 4987884 KiB
Current children cumulated memory: 4800504 KiB
[startup+41.0004 s]*
/proc/loadavg: 4.11 2.84 3.29 5/248 962908
/proc/meminfo: memFree=115418152/131655788 swapFree=131071996/131071996
[pid=962608] ppid=962605 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/962608/stat : 962608 (Hybrid-CASHWMax) S 962605 962608 961560 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 183745865 10170368 682 134679101440 94506342084608 94506343163928 140735958162448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94506345262384 94506345309572 94506370097152 140735958164429 140735958164588 140735958164588 140735958171604 0
/proc/962608/statm: 2483 682 603 264 0 134 0
[pid=962611] ppid=962608 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/962611/stat : 962611 (timeout) S 962608 962611 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183745866 8867840 247 134679101440 94903788732416 94903788767432 140733486960096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94903790864848 94903790866980 94903814742016 140733486965757 140733486965916 140733486965916 140733486972903 0
/proc/962611/statm: 2165 247 222 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3716 KiB
Child status: 0
Real time (s): 41.1102
CPU time (s): 40.9974
CPU user time (s): 38.8005
CPU system time (s): 2.19695
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 5175392
Max. memory (cumulated for all children) (KiB): 4979020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.8005
system time used= 2.19695
maximum resident set size= 5186176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 962608
# total CPU time (s): 40.9974
# total CPU user time (s): 38.8005
# total CPU system time (s): 2.19695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.266924 second user time and 0.506619 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:18:04
IDJOB=4443776
IDBENCH=147885
IDSOLVER=3072
FILE ID=nodeC006/4443776-1721315870
RUNJOBID= nodeC006-1721315784-961572
SLURM_JOB_ID= 7542651
Free space on /tmp= 723372 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443776-1721315870/watcher-4443776-1721315870 -o /tmp/evaluation-result-4443776-1721315870/solver-4443776-1721315870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961572 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443776-1721315870.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=148534560
nodeC006.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 : 0xb00001f
cpu MHz : 3680.712
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 invpcid_single pti 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 : 6983.94
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.472
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 invpcid_single pti 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 : 6983.26
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.386
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 invpcid_single pti 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 : 6983.94
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 : 2394.640
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 invpcid_single pti 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 : 6983.26
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 : 3491.972
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 invpcid_single pti 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 : 6983.94
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 : 3491.971
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 invpcid_single pti 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 : 6983.26
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.506
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 invpcid_single pti 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 : 6983.94
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.476
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 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121776356 kB
MemAvailable: 128371016 kB
Buffers: 496828 kB
Cached: 6855972 kB
SwapCached: 0 kB
Active: 1237416 kB
Inactive: 7910824 kB
Active(anon): 1476 kB
Inactive(anon): 1831672 kB
Active(file): 1235940 kB
Inactive(file): 6079152 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 216288 kB
Writeback: 4 kB
AnonPages: 1795196 kB
Mapped: 110304 kB
Shmem: 37704 kB
KReclaimable: 239196 kB
Slab: 357592 kB
SReclaimable: 239196 kB
SUnreclaim: 118396 kB
KernelStack: 3872 kB
PageTables: 13064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2149876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1611776 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723516 MiB
End job on nodeC006 at 2024-07-18 17:18:45