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: 63968 MiB (50680 MiB free)
memory of node 1: 64473 MiB (63306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438190-1722986120/watcher-4438190-1722986120 -o /tmp/evaluation-result-4438190-1722986120/solver-4438190-1722986120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722982519-360322 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438190-1722986120.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=362867, runsolver pid=362864
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.22 4.14 4.10 5/265 362871
/proc/meminfo: memFree=116713232/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=27388 memory=12628 CPUtime=0.1 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 2817 0 0 0 10 0 0 0 20 0 1 0 65211927 28045312 3157 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 6847 3157 1002 2726 0 3595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45980 KiB
Current children cumulated memory: 16340 KiB
[startup+0.205908 s]*
/proc/loadavg: 4.22 4.14 4.10 5/265 362871
/proc/meminfo: memFree=116690188/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=51520 memory=42036 CPUtime=0.19 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 8994 0 0 0 19 0 0 0 20 0 1 0 65211927 52756480 10509 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 12880 10509 2618 2726 0 9628 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70112 KiB
Current children cumulated memory: 45748 KiB
[startup+0.305884 s]*
/proc/loadavg: 4.22 4.14 4.10 5/265 362871
/proc/meminfo: memFree=116686996/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=54628 memory=44996 CPUtime=0.29 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 9708 0 0 0 29 0 0 0 20 0 1 0 65211927 55939072 11249 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 13657 11249 2634 2726 0 10405 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73220 KiB
Current children cumulated memory: 48708 KiB
[startup+0.700296 s]
/proc/loadavg: 4.22 4.14 4.10 5/265 362871
/proc/meminfo: memFree=116686072/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=74532 memory=63728 CPUtime=0.68 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 15278 0 0 0 67 1 0 0 20 0 1 0 65211927 76320768 15932 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 18633 15932 2714 2726 0 15381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 67440 KiB
[startup+1.50029 s]
/proc/loadavg: 4.22 4.14 4.10 5/265 362871
/proc/meminfo: memFree=116639936/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=104368 memory=94472 CPUtime=1.49 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 22907 0 0 0 146 3 0 0 20 0 1 0 65211927 106872832 23618 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 26092 23618 2762 2726 0 22840 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122960 KiB
Current children cumulated memory: 98184 KiB
[startup+3.1045 s]
/proc/loadavg: 4.21 4.14 4.10 5/263 362871
/proc/meminfo: memFree=116620840/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=128572 memory=111104 CPUtime=3.08 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 27082 0 0 0 305 3 0 0 20 0 1 0 65211927 131657728 27776 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 32143 27776 2762 2726 0 28891 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 147164 KiB
Current children cumulated memory: 114816 KiB
[startup+6.30027 s]
/proc/loadavg: 4.21 4.14 4.10 5/263 362873
/proc/meminfo: memFree=116322156/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=142912 memory=125624 CPUtime=6.27 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 30705 0 0 0 623 4 0 0 20 0 1 0 65211927 146341888 31406 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 35728 31406 2762 2726 0 32476 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161504 KiB
Current children cumulated memory: 129336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 362873
/proc/meminfo: memFree=115427112/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=142912 memory=125624 CPUtime=12.65 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 30705 0 0 0 1261 4 0 0 20 0 1 0 65211927 146341888 31406 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 35728 31406 2762 2726 0 32476 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 161504 KiB
Current children cumulated memory: 129336 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 362876
/proc/meminfo: memFree=116586916/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=164956 memory=147260 CPUtime=25.42 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 37940 0 0 0 2536 6 0 0 20 0 1 0 65211927 168914944 36815 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 41239 36815 2762 2726 0 37987 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 183548 KiB
Current children cumulated memory: 150972 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 4.13 4.10 5/263 362879
/proc/meminfo: memFree=116538312/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=211800 memory=189412 CPUtime=50.96 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 49846 0 0 0 5087 9 0 0 20 0 1 0 65211927 216883200 47353 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 52950 47353 2762 2726 0 49698 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 230392 KiB
Current children cumulated memory: 193124 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 362889
/proc/meminfo: memFree=117135100/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=278656 memory=229708 CPUtime=102.01 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 70161 0 0 0 10184 17 0 0 20 0 1 0 65211927 285343744 57427 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 69664 57427 2762 2726 0 66412 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 297248 KiB
Current children cumulated memory: 233420 KiB
[startup+119.886 s]
# the end of solver process 362867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=119.339 s, system=0.208683 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 362889
/proc/meminfo: memFree=117135100/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=278656 memory=229708 CPUtime=102.11 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 70161 0 0 0 10194 17 0 0 20 0 1 0 65211927 285343744 57427 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 69664 57427 2762 2726 0 66412 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 297248 KiB
Current children cumulated memory: 233420 KiB
[startup+108.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 362891
/proc/meminfo: memFree=117120604/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=291296 memory=231820 CPUtime=108.49 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 70690 0 0 0 10831 18 0 0 20 0 1 0 65211927 298287104 57955 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 72824 57955 2762 2726 0 69572 0
Current children cumulated CPU time: 108.49 s
Current children cumulated vsize: 309888 KiB
Current children cumulated memory: 235532 KiB
[startup+115.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 362894
/proc/meminfo: memFree=124528768/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=298432 memory=233140 CPUtime=114.87 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 71010 0 0 0 11469 18 0 0 20 0 1 0 65211927 305594368 58285 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 74608 58285 2762 2726 0 71356 0
Current children cumulated CPU time: 114.87 s
Current children cumulated vsize: 317024 KiB
Current children cumulated memory: 236852 KiB
[startup+118.4 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 362894
/proc/meminfo: memFree=124494184/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=298432 memory=233140 CPUtime=118.07 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 71010 0 0 0 11788 19 0 0 20 0 1 0 65211927 305594368 58285 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 74608 58285 2762 2726 0 71356 0
Current children cumulated CPU time: 118.07 s
Current children cumulated vsize: 317024 KiB
Current children cumulated memory: 236852 KiB
[startup+119.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 362894
/proc/meminfo: memFree=124491264/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=298432 memory=233140 CPUtime=118.86 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 71010 0 0 0 11867 19 0 0 20 0 1 0 65211927 305594368 58285 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 74608 58285 2762 2726 0 71356 0
Current children cumulated CPU time: 118.86 s
Current children cumulated vsize: 317024 KiB
Current children cumulated memory: 236852 KiB
[startup+119.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 362894
/proc/meminfo: memFree=124491264/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=298432 memory=233140 CPUtime=119.26 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 71010 0 0 0 11907 19 0 0 20 0 1 0 65211927 305594368 58285 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 74608 58285 2762 2726 0 71356 0
Current children cumulated CPU time: 119.26 s
Current children cumulated vsize: 317024 KiB
Current children cumulated memory: 236852 KiB
[startup+119.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 362894
/proc/meminfo: memFree=124491264/131524600 swapFree=131071996/131071996
[pid=362867] ppid=362864 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/362867/stat : 362867 (Hybrid-CASHWMax) S 362864 362867 360310 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65211927 10170368 685 134679101440 94234824265728 94234825345048 140737241898192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94234827443504 94234827490692 94234835816448 140737241899982 140737241900141 140737241900141 140737241907156 0
/proc/362867/statm: 2483 685 608 264 0 134 0
[pid=362870] ppid=362867 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/362870/stat : 362870 (timeout) S 362867 362870 360310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65211927 8867840 243 134679101440 94608002560000 94608002595016 140723705979920 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94608004692432 94608004694564 94608033247232 140723705983998 140723705984157 140723705984157 140723705991143 0
/proc/362870/statm: 2165 243 219 9 0 87 0
[pid=362871] ppid=362870 vsize=298432 memory=233140 CPUtime=119.46 cores=1,3
/proc/362871/stat : 362871 (CASHWMaxSAT-Dis) R 362870 362870 360310 0 -1 4194304 71010 0 0 0 11927 19 0 0 20 0 1 0 65211927 305594368 58285 134679101440 4194304 15356333 140725994302400 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54804480 140725994308611 140725994308757 140725994308757 140725994315743 0
/proc/362871/statm: 74608 58285 2762 2726 0 71356 0
Current children cumulated CPU time: 119.46 s
Current children cumulated vsize: 317024 KiB
Current children cumulated memory: 236852 KiB
Child status: 0
Real time (s): 119.886
CPU time (s): 119.548
CPU user time (s): 119.339
CPU system time (s): 0.208683
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 317024
Max. memory (cumulated for all children) (KiB): 236852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.339
system time used= 0.208683
maximum resident set size= 235356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 166
# summary of solver processes directly reported to runsolver:
# pid: 362867
# total CPU time (s): 119.548
# total CPU user time (s): 119.339
# total CPU system time (s): 0.208683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263854 second user time and 0.579736 second system time
The end
Begin job on nodeC025 at 2024-08-07 01:15:20
IDJOB=4438190
IDBENCH=161078
IDSOLVER=3072
FILE ID=nodeC025/4438190-1722986120
RUNJOBID= nodeC025-1722982519-360322
SLURM_JOB_ID= 8259091
Free space on /tmp= 890024 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438190-1722986120/watcher-4438190-1722986120 -o /tmp/evaluation-result-4438190-1722986120/solver-4438190-1722986120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722982519-360322 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438190-1722986120.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c0ed74782a094447a70d45ad70101ed
RANDOM SEED=1829653888
nodeC025.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 : 3673.762
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.10
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 : 3667.329
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 : 7005.96
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.168
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.10
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 : 3659.320
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 : 7005.96
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 : 3673.756
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.10
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 : 3664.754
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 : 7005.96
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.326
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.10
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 : 3600.071
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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 116722932 kB
MemAvailable: 120891472 kB
Buffers: 350068 kB
Cached: 4637368 kB
SwapCached: 0 kB
Active: 667584 kB
Inactive: 13534048 kB
Active(anon): 1612 kB
Inactive(anon): 9250304 kB
Active(file): 665972 kB
Inactive(file): 4283744 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 20104 kB
Writeback: 48 kB
AnonPages: 9214204 kB
Mapped: 120672 kB
Shmem: 37720 kB
KReclaimable: 117296 kB
Slab: 212280 kB
SReclaimable: 117296 kB
SUnreclaim: 94984 kB
KernelStack: 4192 kB
PageTables: 27680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9928376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 30656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5249024 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: 361172 kB
DirectMap2M: 25626624 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC025 at 2024-08-07 01:17:20