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 (50322 MiB free)
memory of node 1: 64510 MiB (51598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438401-1722964930/watcher-4438401-1722964930 -o /tmp/evaluation-result-4438401-1722964930/solver-4438401-1722964930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722961045-343093 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438401-1722964930.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=345811, runsolver pid=345808
[startup+0.101036 s]*
/proc/loadavg: 4.16 4.16 4.10 5/266 345815
/proc/meminfo: memFree=104344500/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=43892 memory=24484 CPUtime=0.09 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 5148 0 0 0 9 0 0 0 20 0 1 0 63090955 44945408 6121 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 10973 6121 798 2417 0 8075 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62484 KiB
Current children cumulated memory: 28240 KiB
[startup+0.206098 s]*
/proc/loadavg: 4.16 4.16 4.10 5/266 345815
/proc/meminfo: memFree=104311744/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=76924 memory=55780 CPUtime=0.19 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 11789 0 0 0 18 1 0 0 20 0 1 0 63090955 78770176 13945 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 19231 13945 798 2417 0 16333 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95516 KiB
Current children cumulated memory: 59536 KiB
[startup+0.306118 s]*
/proc/loadavg: 4.16 4.16 4.10 5/266 345815
/proc/meminfo: memFree=104274780/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=119420 memory=96380 CPUtime=0.3 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 19869 0 0 0 27 3 0 0 20 0 1 0 63090955 122286080 24095 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 29855 24095 798 2417 0 26957 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 100136 KiB
[startup+0.700316 s]
/proc/loadavg: 4.16 4.16 4.10 5/266 345817
/proc/meminfo: memFree=104253672/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=144036 memory=110116 CPUtime=0.68 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 24385 0 0 0 65 3 0 0 20 0 1 0 63090955 147492864 27529 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 36009 27529 798 2417 0 33111 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162628 KiB
Current children cumulated memory: 113872 KiB
[startup+1.50032 s]
/proc/loadavg: 4.16 4.16 4.10 5/266 345817
/proc/meminfo: memFree=104231664/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=308904 memory=283980 CPUtime=1.48 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 65278 0 0 0 140 8 0 0 20 0 1 0 63090955 316317696 70995 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 77226 70995 2142 2417 0 74328 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 327496 KiB
Current children cumulated memory: 287736 KiB
[startup+3.10596 s]
/proc/loadavg: 4.15 4.16 4.10 5/266 345817
/proc/meminfo: memFree=103489396/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=862136 memory=830860 CPUtime=3.08 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 195162 0 0 0 284 24 0 0 20 0 1 0 63090955 882827264 207715 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 215534 207715 2350 2417 0 212636 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 880728 KiB
Current children cumulated memory: 834616 KiB
[startup+6.3003 s]
/proc/loadavg: 4.15 4.16 4.10 5/266 345817
/proc/meminfo: memFree=103164184/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1131416 memory=1099304 CPUtime=6.27 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 259208 0 0 0 593 34 0 0 20 0 1 0 63090955 1158569984 274826 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 282854 274826 2398 2417 0 279956 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1150008 KiB
Current children cumulated memory: 1103060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.15 4.10 5/266 345818
/proc/meminfo: memFree=102972788/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1220448 memory=1183232 CPUtime=12.65 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 268629 0 0 0 1229 36 0 0 20 0 1 0 63090955 1249738752 295808 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 305112 295808 2414 2417 0 302214 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1239040 KiB
Current children cumulated memory: 1186988 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.14 4.09 5/266 345820
/proc/meminfo: memFree=101691244/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=2425452 memory=2244132 CPUtime=25.42 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 377933 0 0 0 2475 67 0 0 20 0 1 0 63090955 2483662848 561033 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 606363 561033 2526 2417 0 603465 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2444044 KiB
Current children cumulated memory: 2247888 KiB
[startup+51.1063 s]
/proc/loadavg: 4.13 4.15 4.09 5/265 345825
/proc/meminfo: memFree=101328816/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=2439176 memory=2258720 CPUtime=50.96 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 380628 0 0 0 5028 68 0 0 20 0 1 0 63090955 2497716224 564680 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 609794 564680 2526 2417 0 606896 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2457768 KiB
Current children cumulated memory: 2262476 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 345883
/proc/meminfo: memFree=98277924/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
################
# More data... #
################
/proc/345815/statm: 612669 568265 2526 2417 0 609771 0
Current children cumulated CPU time: 759.89 s
Current children cumulated vsize: 2469268 KiB
Current children cumulated memory: 2276816 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 346675
/proc/meminfo: memFree=100241160/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=2450676 memory=2273060 CPUtime=819.7 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 384578 0 0 0 81880 90 0 0 20 0 1 0 63090955 2509492224 568265 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 612669 568265 2526 2417 0 609771 0
Current children cumulated CPU time: 819.7 s
Current children cumulated vsize: 2469268 KiB
Current children cumulated memory: 2276816 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 346686
/proc/meminfo: memFree=99520428/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=2450676 memory=2273060 CPUtime=879.5 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 384795 0 0 0 87859 91 0 0 20 0 1 0 63090955 2509492224 568265 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 612669 568265 2526 2417 0 609771 0
Current children cumulated CPU time: 879.5 s
Current children cumulated vsize: 2469268 KiB
Current children cumulated memory: 2276816 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 346698
/proc/meminfo: memFree=98055356/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=939.31 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 93836 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 939.31 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
[startup+955.283 s]
# the end of solver process 345811 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=951.265 s, system=0.999993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 346698
/proc/meminfo: memFree=97977668/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=944.2 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 94325 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 944.2 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
[startup+950.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 346698
/proc/meminfo: memFree=97924648/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=947.39 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 94644 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 947.39 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
[startup+953.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 346700
/proc/meminfo: memFree=97906020/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=950.58 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 94963 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 950.58 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
[startup+954.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 346700
/proc/meminfo: memFree=97906020/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=951.38 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 95043 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 951.38 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
[startup+954.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 346700
/proc/meminfo: memFree=97906020/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=951.77 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 95082 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 951.77 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
[startup+955.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 346700
/proc/meminfo: memFree=97856428/131524600 swapFree=131071472/131071996
[pid=345811] ppid=345808 vsize=9932 memory=2776 CPUtime=0 cores=5,7
/proc/345811/stat : 345811 (Hybrid-CASHWMax) S 345808 345811 343080 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 63090955 10170368 694 134679101440 94260392775680 94260393855000 140722391417088 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94260395953456 94260396000644 94260408750080 140722391426000 140722391426158 140722391426158 140722391433173 0
/proc/345811/statm: 2483 694 615 264 0 134 0
[pid=345814] ppid=345811 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/345814/stat : 345814 (timeout) S 345811 345814 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63090955 8867840 245 134679101440 94443570315264 94443570350280 140736348448720 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94443572447696 94443572449828 94443579621376 140736348451852 140736348451997 140736348451997 140736348458983 0
/proc/345814/statm: 2165 245 221 9 0 87 0
[pid=345815] ppid=345814 vsize=1779740 memory=1732596 CPUtime=952.17 cores=5,7
/proc/345815/stat : 345815 (CASHWMaxSAT-Dis) R 345814 345814 343080 0 -1 4194304 387485 0 0 0 95122 95 0 0 20 0 1 0 63090955 1822453760 433149 134679101440 4194304 14093885 140732763679248 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30613504 140732763685906 140732763686038 140732763686038 140732763693024 0
/proc/345815/statm: 444935 433149 2526 2417 0 442037 0
Current children cumulated CPU time: 952.17 s
Current children cumulated vsize: 1798332 KiB
Current children cumulated memory: 1736352 KiB
Child status: 0
Real time (s): 955.283
CPU time (s): 952.265
CPU user time (s): 951.265
CPU system time (s): 0.999993
CPU usage (%): 99.6841
Max. virtual memory (cumulated for all children) (KiB): 2469268
Max. memory (cumulated for all children) (KiB): 2277176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 951.265
system time used= 0.999993
maximum resident set size= 2273420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 497
# summary of solver processes directly reported to runsolver:
# pid: 345811
# total CPU time (s): 952.265
# total CPU user time (s): 951.265
# total CPU system time (s): 0.999993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.31326 second user time and 5.03435 second system time
The end
Begin job on nodeC020 at 2024-08-06 19:22:11
IDJOB=4438401
IDBENCH=148746
IDSOLVER=3073
FILE ID=nodeC020/4438401-1722964930
RUNJOBID= nodeC020-1722961045-343093
SLURM_JOB_ID= 8259048
Free space on /tmp= 889768 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438401-1722964930/watcher-4438401-1722964930 -o /tmp/evaluation-result-4438401-1722964930/solver-4438401-1722964930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722961045-343093 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438401-1722964930.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 58dd15cc966460e0e417ebf8ee1b56d5
RANDOM SEED=291715213
nodeC020.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 : 3672.614
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 : 7000.38
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 : 3682.926
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.413
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 : 7000.38
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 : 3654.824
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 : 7007.00
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 : 3672.630
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 : 7000.38
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 : 3670.181
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.361
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 : 7000.38
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 : 3663.991
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 104368112 kB
MemAvailable: 112839168 kB
Buffers: 347028 kB
Cached: 8945712 kB
SwapCached: 28 kB
Active: 889644 kB
Inactive: 25664928 kB
Active(anon): 1936 kB
Inactive(anon): 17297236 kB
Active(file): 887708 kB
Inactive(file): 8367692 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 17388 kB
Writeback: 0 kB
AnonPages: 17259428 kB
Mapped: 109524 kB
Shmem: 37668 kB
KReclaimable: 110608 kB
Slab: 204288 kB
SReclaimable: 110608 kB
SUnreclaim: 93680 kB
KernelStack: 4200 kB
PageTables: 44896 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 20009160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5992448 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: 287444 kB
DirectMap2M: 27797504 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889748 MiB
End job on nodeC020 at 2024-08-06 19:38:06