runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (58933 MiB free)
memory of node 1: 64510 MiB (58158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443986-1721315913/watcher-4443986-1721315913 -o /tmp/evaluation-result-4443986-1721315913/solver-4443986-1721315913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443986-1721315913.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=962955, runsolver pid=962952
[startup+0.100095 s]*
/proc/loadavg: 4.11 2.84 3.29 5/248 962959
/proc/meminfo: memFree=119850668/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=50196 memory=34480 CPUtime=0.09 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 3635 0 0 0 9 0 0 0 20 0 1 0 183750086 51400704 8620 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 12549 8620 922 2726 0 9297 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68788 KiB
Current children cumulated memory: 38208 KiB
[startup+0.214131 s]*
/proc/loadavg: 4.11 2.84 3.29 5/248 962959
/proc/meminfo: memFree=119795048/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=58388 memory=40628 CPUtime=0.21 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 4155 0 0 0 20 1 0 0 20 0 1 0 183750086 59789312 10157 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 14597 10157 922 2726 0 11345 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 76980 KiB
Current children cumulated memory: 44356 KiB
[startup+0.31414 s]*
/proc/loadavg: 4.11 2.84 3.29 5/248 962959
/proc/meminfo: memFree=119808024/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=91160 memory=54744 CPUtime=0.31 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 4675 0 0 0 30 1 0 0 20 0 1 0 183750086 93347840 13686 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 22790 13686 922 2726 0 19538 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 109752 KiB
Current children cumulated memory: 58472 KiB
[startup+0.700411 s]
/proc/loadavg: 4.11 2.84 3.29 6/248 962959
/proc/meminfo: memFree=119747368/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=107540 memory=65212 CPUtime=0.68 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 5217 0 0 0 65 3 0 0 20 0 1 0 183750086 110120960 16303 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 26885 16303 922 2726 0 23633 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126132 KiB
Current children cumulated memory: 68940 KiB
[startup+1.50045 s]
/proc/loadavg: 4.11 2.84 3.29 5/248 962959
/proc/meminfo: memFree=119643268/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=336424 memory=316696 CPUtime=1.48 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 16347 0 0 0 136 12 0 0 20 0 1 0 183750086 344498176 79174 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 84106 79174 954 2726 0 80854 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355016 KiB
Current children cumulated memory: 320424 KiB
[startup+3.11463 s]
/proc/loadavg: 4.10 2.86 3.30 5/248 962959
/proc/meminfo: memFree=118961204/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=471936 memory=451804 CPUtime=3.09 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 69286 0 0 0 290 19 0 0 20 0 1 0 183750086 483262464 112951 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 117984 112951 1034 2726 0 114732 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 490528 KiB
Current children cumulated memory: 455532 KiB
[startup+6.30048 s]
/proc/loadavg: 4.10 2.86 3.30 5/248 962961
/proc/meminfo: memFree=118102000/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=812240 memory=789764 CPUtime=6.27 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 137303 0 0 0 596 31 0 0 20 0 1 0 183750086 831733760 197441 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 203060 197441 1146 2726 0 199808 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 830832 KiB
Current children cumulated memory: 793492 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 2.90 3.31 4/248 962998
/proc/meminfo: memFree=122470828/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=818088 memory=795888 CPUtime=12.64 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 138383 0 0 0 1233 31 0 0 20 0 1 0 183750086 837722112 198972 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 204522 198972 1146 2726 0 201270 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 836680 KiB
Current children cumulated memory: 799616 KiB
[startup+25.5005 s]
/proc/loadavg: 4.23 2.97 3.32 5/252 963051
/proc/meminfo: memFree=122317844/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=831836 memory=809800 CPUtime=25.39 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 139308 0 0 0 2508 31 0 0 20 0 1 0 183750086 851800064 202450 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 207959 202450 1146 2726 0 204707 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 850428 KiB
Current children cumulated memory: 813528 KiB
[startup+51.1138 s]
/proc/loadavg: 4.65 3.16 3.38 5/248 963121
/proc/meminfo: memFree=122489700/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=822656 memory=800624 CPUtime=50.9 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 142298 0 0 0 5055 35 0 0 20 0 1 0 183750086 842399744 200156 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 205664 200156 1146 2726 0 202412 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 841248 KiB
Current children cumulated memory: 804352 KiB
[startup+102.301 s]
/proc/loadavg: 5.50 3.66 3.54 5/252 964132
/proc/meminfo: memFree=122538456/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=788780 memory=766876 CPUtime=101.88 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 145654 0 0 0 10149 39 0 0 20 0 1 0 183750086 807710720 191719 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 197195 191719 1146 2726 0 193943 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 807372 KiB
Current children cumulated memory: 770604 KiB
[startup+111.196 s]
# the end of solver process 962955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=110.292 s, system=0.462451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 5.50 3.66 3.54 5/252 964132
/proc/meminfo: memFree=122538456/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=788780 memory=766876 CPUtime=101.98 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 145654 0 0 0 10159 39 0 0 20 0 1 0 183750086 807710720 191719 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 197195 191719 1146 2726 0 193943 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 807372 KiB
Current children cumulated memory: 770604 KiB
[startup+105.6 s]
/proc/loadavg: 5.50 3.66 3.54 5/252 964236
/proc/meminfo: memFree=122529208/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=797456 memory=775552 CPUtime=105.17 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 146418 0 0 0 10477 40 0 0 20 0 1 0 183750086 816594944 193888 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 199364 193888 1146 2726 0 196112 0
Current children cumulated CPU time: 105.17 s
Current children cumulated vsize: 816048 KiB
Current children cumulated memory: 779280 KiB
[startup+108.8 s]
/proc/loadavg: 5.38 3.66 3.54 5/252 964338
/proc/meminfo: memFree=122527668/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=797820 memory=775916 CPUtime=108.35 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 146783 0 0 0 10795 40 0 0 20 0 1 0 183750086 816967680 193979 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 199455 193979 1146 2726 0 196203 0
Current children cumulated CPU time: 108.35 s
Current children cumulated vsize: 816412 KiB
Current children cumulated memory: 779644 KiB
[startup+110.4 s]
/proc/loadavg: 5.38 3.66 3.54 5/245 964418
/proc/meminfo: memFree=122533896/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=797820 memory=775916 CPUtime=109.94 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 146784 0 0 0 10954 40 0 0 20 0 1 0 183750086 816967680 193979 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 199455 193979 1146 2726 0 196203 0
Current children cumulated CPU time: 109.94 s
Current children cumulated vsize: 816412 KiB
Current children cumulated memory: 779644 KiB
[startup+110.8 s]
/proc/loadavg: 5.38 3.66 3.54 5/245 964418
/proc/meminfo: memFree=122533896/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=797504 memory=775600 CPUtime=110.35 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 147560 0 0 0 10993 42 0 0 20 0 1 0 183750086 816644096 193900 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 199376 193900 1146 2726 0 196124 0
Current children cumulated CPU time: 110.35 s
Current children cumulated vsize: 816096 KiB
Current children cumulated memory: 779328 KiB
[startup+111 s]*
/proc/loadavg: 5.38 3.66 3.54 5/252 964440
/proc/meminfo: memFree=122525268/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=797504 memory=775600 CPUtime=110.56 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 147560 0 0 0 11014 42 0 0 20 0 1 0 183750086 816644096 193900 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 199376 193900 1146 2726 0 196124 0
Current children cumulated CPU time: 110.56 s
Current children cumulated vsize: 816096 KiB
Current children cumulated memory: 779328 KiB
[startup+111.114 s]
/proc/loadavg: 5.38 3.66 3.54 5/252 964440
/proc/meminfo: memFree=122525268/131655788 swapFree=131071996/131071996
[pid=962955] ppid=962952 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/962955/stat : 962955 (Hybrid-CASHWMax) S 962952 962955 961560 0 -1 4194304 239 99 0 0 0 0 0 0 20 0 1 0 183750086 10170368 695 134679101440 94277803331584 94277804410904 140723213229680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277806509360 94277806556548 94277810733056 140723213235149 140723213235308 140723213235308 140723213242324 0
/proc/962955/statm: 2483 695 616 264 0 134 0
[pid=962958] ppid=962955 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/962958/stat : 962958 (timeout) S 962955 962958 961560 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 183750086 8867840 237 134679101440 94135410548736 94135410583752 140730007331152 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94135412681168 94135412683300 94135439204352 140730007340029 140730007340188 140730007340188 140730007347175 0
/proc/962958/statm: 2165 237 212 9 0 87 0
[pid=962959] ppid=962958 vsize=797504 memory=775600 CPUtime=110.66 cores=0,2
/proc/962959/stat : 962959 (CASHWMaxSAT-Dis) R 962958 962958 961560 0 -1 4194304 147560 0 0 0 11024 42 0 0 20 0 1 0 183750086 816644096 193900 134679101440 4194304 15356333 140721870003424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35012608 140721870009346 140721870009492 140721870009492 140721870016479 0
/proc/962959/statm: 199376 193900 1146 2726 0 196124 0
Current children cumulated CPU time: 110.66 s
Current children cumulated vsize: 816096 KiB
Current children cumulated memory: 779328 KiB
Child status: 0
Real time (s): 111.196
CPU time (s): 110.755
CPU user time (s): 110.292
CPU system time (s): 0.462451
CPU usage (%): 99.6029
Max. virtual memory (cumulated for all children) (KiB): 900228
Max. memory (cumulated for all children) (KiB): 858408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.292
system time used= 0.462451
maximum resident set size= 859504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 759
# summary of solver processes directly reported to runsolver:
# pid: 962955
# total CPU time (s): 110.755
# total CPU user time (s): 110.292
# total CPU system time (s): 0.462451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.671437 second user time and 1.31899 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:18:46
IDJOB=4443986
IDBENCH=147892
IDSOLVER=3072
FILE ID=nodeC006/4443986-1721315913
RUNJOBID= nodeC006-1721315784-961570
SLURM_JOB_ID= 7542651
Free space on /tmp= 723528 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443986-1721315913/watcher-4443986-1721315913 -o /tmp/evaluation-result-4443986-1721315913/solver-4443986-1721315913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443986-1721315913.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1211178121
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.972
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3392.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.342
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3668.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3575.418
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.396
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.489
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119881104 kB
MemAvailable: 126320544 kB
Buffers: 496908 kB
Cached: 6702536 kB
SwapCached: 0 kB
Active: 1144536 kB
Inactive: 9899132 kB
Active(anon): 1492 kB
Inactive(anon): 3880428 kB
Active(file): 1143044 kB
Inactive(file): 6018704 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 167516 kB
Writeback: 0 kB
AnonPages: 3844252 kB
Mapped: 114840 kB
Shmem: 37704 kB
KReclaimable: 235444 kB
Slab: 353656 kB
SReclaimable: 235444 kB
SUnreclaim: 118212 kB
KernelStack: 3952 kB
PageTables: 16880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4190720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1366016 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723676 MiB
End job on nodeC006 at 2024-07-18 17:20:37