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 (62242 MiB free)
memory of node 1: 64510 MiB (63449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458274-1722988863/watcher-4458274-1722988863 -o /tmp/evaluation-result-4458274-1722988863/solver-4458274-1722988863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722982399-352753 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4458274-1722988863.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=356818, runsolver pid=356815
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 4.07 4.11 4.09 5/265 356822
/proc/meminfo: memFree=128680064/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=46200 memory=36652 CPUtime=0.09 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 7371 0 0 0 8 1 0 0 20 0 1 0 65485619 47308800 9163 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 11550 9163 2350 2417 0 8652 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64792 KiB
Current children cumulated memory: 40332 KiB
[startup+0.20585 s]*
/proc/loadavg: 4.07 4.11 4.09 5/265 356822
/proc/meminfo: memFree=128669984/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=56604 memory=47728 CPUtime=0.2 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 9960 0 0 0 19 1 0 0 20 0 1 0 65485619 57962496 11932 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 14151 11932 2510 2417 0 11253 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75196 KiB
Current children cumulated memory: 51408 KiB
[startup+0.305694 s]*
/proc/loadavg: 4.07 4.11 4.09 5/265 356822
/proc/meminfo: memFree=128669648/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=56896 memory=48052 CPUtime=0.29 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 10017 0 0 0 28 1 0 0 20 0 1 0 65485619 58261504 12013 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 14224 12013 2526 2417 0 11326 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75488 KiB
Current children cumulated memory: 51732 KiB
[startup+0.70021 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 356822
/proc/meminfo: memFree=128668976/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=60820 memory=51748 CPUtime=0.68 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 10985 0 0 0 67 1 0 0 20 0 1 0 65485619 62279680 12937 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 15205 12937 2526 2417 0 12307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79412 KiB
Current children cumulated memory: 55428 KiB
[startup+1.50028 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 356822
/proc/meminfo: memFree=128651056/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=77136 memory=66268 CPUtime=1.48 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 14626 0 0 0 146 2 0 0 20 0 1 0 65485619 78987264 16567 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 19284 16567 2526 2417 0 16386 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95728 KiB
Current children cumulated memory: 69948 KiB
[startup+3.10557 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 356822
/proc/meminfo: memFree=128628344/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=103060 memory=90820 CPUtime=3.08 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 20725 0 0 0 305 3 0 0 20 0 1 0 65485619 105533440 22705 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 25765 22705 2526 2417 0 22867 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121652 KiB
Current children cumulated memory: 94500 KiB
[startup+6.30027 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 356825
/proc/meminfo: memFree=128615396/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=119652 memory=101644 CPUtime=6.27 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 23452 0 0 0 623 4 0 0 20 0 1 0 65485619 122523648 25411 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 29913 25411 2526 2417 0 27015 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 138244 KiB
Current children cumulated memory: 105324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 356825
/proc/meminfo: memFree=128604152/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=131596 memory=112468 CPUtime=12.64 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 26149 0 0 0 1260 4 0 0 20 0 1 0 65485619 134754304 28117 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 32899 28117 2526 2417 0 30001 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 150188 KiB
Current children cumulated memory: 116148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/265 356826
/proc/meminfo: memFree=128598552/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=136232 memory=117712 CPUtime=25.4 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 27482 0 0 0 2536 4 0 0 20 0 1 0 65485619 139501568 29428 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 34058 29428 2526 2417 0 31160 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 154824 KiB
Current children cumulated memory: 121392 KiB
[startup+51.1055 s]
/proc/loadavg: 4.03 4.09 4.08 5/265 356831
/proc/meminfo: memFree=128592964/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 662 585 264 0 134 0
[pid=356821] ppid=356818 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/356821/stat : 356821 (timeout) S 356818 356821 352743 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65485619 8867840 258 134679101440 94216519380992 94216519416008 140736110680208 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94216521513424 94216521515556 94216540172288 140736110683148 140736110683293 140736110683293 140736110690279 0
/proc/356821/statm: 2165 258 234 9 0 87 0
[pid=356822] ppid=356821 vsize=140200 memory=122524 CPUtime=50.94 cores=0,2
/proc/356822/stat : 356822 (CASHWMaxSAT-Dis) R 356821 356821 352743 0 -1 4194304 28669 0 0 0 5089 5 0 0 20 0 1 0 65485619 143564800 30631 134679101440 4194304 14093885 140723970262160 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44531712 140723970270226 140723970270358 140723970270358 140723970277344 0
/proc/356822/statm: 35050 30631 2542 2417 0 32152 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 158792 KiB
Current children cumulated memory: 126204 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 356839
/proc/meminfo: memFree=128540824/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 65485619 10170368 662 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
################
# More data... #
################
/proc/358082/statm: 15352 12324 748 737 0 14440 0
Current children cumulated CPU time: 3390.06 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/264 359089
/proc/meminfo: memFree=126624352/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1658.04 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16094 0 0 0 165796 8 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3449.87 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/264 359100
/proc/meminfo: memFree=126599468/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1717.85 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16113 0 0 0 171777 8 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3509.68 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.25 4.16 5/266 359115
/proc/meminfo: memFree=126561592/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1777.66 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 177757 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3569.49 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3596.03 s]
# the end of solver process 356818 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.94 s, system=0.265036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.34 4.25 4.16 5/266 359115
/proc/meminfo: memFree=126581312/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1779.36 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 177927 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3590.4 s]
/proc/loadavg: 4.31 4.25 4.16 5/266 359117
/proc/meminfo: memFree=126579604/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1785.74 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 178565 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3577.57 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3593.6 s]
/proc/loadavg: 4.29 4.24 4.16 5/266 359117
/proc/meminfo: memFree=126577524/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1788.93 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 178884 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3595.2 s]
/proc/loadavg: 4.29 4.24 4.16 5/266 359119
/proc/meminfo: memFree=126937324/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1790.52 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 179043 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3595.6 s]
/proc/loadavg: 4.29 4.24 4.16 5/266 359119
/proc/meminfo: memFree=126937324/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1790.92 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 179083 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3582.75 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
[startup+3596 s]*
/proc/loadavg: 4.26 4.24 4.16 5/266 359120
/proc/meminfo: memFree=126922004/131524600 swapFree=131071996/131071996
[pid=356818] ppid=356815 vsize=9932 memory=2712 CPUtime=1791.83 cores=0,2
/proc/356818/stat : 356818 (Hybrid-CASHWMax) S 356815 356818 352743 0 -1 4194304 272 72174 0 0 0 0 179167 16 20 0 1 0 65485619 10170368 678 134679101440 94113203630080 94113204709400 140721096087664 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94113206807856 94113206855044 94113212682240 140721096094672 140721096094830 140721096094830 140721096101845 0
/proc/356818/statm: 2483 678 585 264 0 134 0
[pid=358081] ppid=356818 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/358081/stat : 358081 (timeout) S 356818 358081 352743 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65665420 8867840 249 134679101440 94426977144832 94426977179848 140722604434368 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94426979277264 94426979279396 94426991882240 140722604438516 140722604438685 140722604438685 140722604445671 0
/proc/358081/statm: 2165 249 225 9 0 87 0
[pid=358082] ppid=358081 vsize=61408 memory=49372 CPUtime=1791.32 cores=0,2
/proc/358082/stat : 358082 (Exact) R 358081 358081 352743 0 -1 4194304 16131 0 0 0 179123 9 0 0 20 0 1 0 65665420 62881792 12343 134679101440 4194304 7210733 140732755471072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 20353024 140732755473424 140732755473574 140732755473574 140732755480560 0
/proc/358082/statm: 15352 12343 748 737 0 14440 0
Current children cumulated CPU time: 3583.15 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 53080 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3583.2
CPU user time (s): 3582.94
CPU system time (s): 0.265036
CPU usage (%): 99.6434
Max. virtual memory (cumulated for all children) (KiB): 349228
Max. memory (cumulated for all children) (KiB): 327548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.94
system time used= 0.265036
maximum resident set size= 323884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91628
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= 107
involuntary context switches= 27698
# summary of solver processes directly reported to runsolver:
# pid: 356818
# total CPU time (s): 3583.2
# total CPU user time (s): 3582.94
# total CPU system time (s): 0.265036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.88162 second user time and 16.0968 second system time
The end
Begin job on nodeC023 at 2024-08-07 02:01:03
IDJOB=4458274
IDBENCH=177189
IDSOLVER=3073
FILE ID=nodeC023/4458274-1722988863
RUNJOBID= nodeC023-1722982399-352753
SLURM_JOB_ID= 8259088
Free space on /tmp= 890032 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458274-1722988863/watcher-4458274-1722988863 -o /tmp/evaluation-result-4458274-1722988863/solver-4458274-1722988863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722982399-352753 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4458274-1722988863.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 858e72f790302981bac4f28574add405
RANDOM SEED=747987928
nodeC023.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 : 3652.261
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 : 3683.758
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.53
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 : 3671.233
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 : 3600.253
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.53
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 : 3666.674
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 : 3683.799
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.53
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.225
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 : 3599.953
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128709180 kB
MemAvailable: 129654268 kB
Buffers: 361352 kB
Cached: 1427952 kB
SwapCached: 0 kB
Active: 674784 kB
Inactive: 1613620 kB
Active(anon): 1644 kB
Inactive(anon): 535156 kB
Active(file): 673140 kB
Inactive(file): 1078464 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17356 kB
Writeback: 36 kB
AnonPages: 498820 kB
Mapped: 108364 kB
Shmem: 37720 kB
KReclaimable: 66264 kB
Slab: 159512 kB
SReclaimable: 66264 kB
SUnreclaim: 93248 kB
KernelStack: 4144 kB
PageTables: 10360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 871288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 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: 262868 kB
DirectMap2M: 17336320 kB
DirectMap1G: 118489088 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC023 at 2024-08-07 03:00:59