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 (62843 MiB free)
memory of node 1: 64473 MiB (61697 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450786-1721422890/watcher-4450786-1721422890 -o /tmp/evaluation-result-4450786-1721422890/solver-4450786-1721422890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721422904-1025512 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4450786-1721422890.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1025568, runsolver pid=1025559
[startup+0.100656 s]*
/proc/loadavg: 1.16 1.20 1.80 6/268 1025591
/proc/meminfo: memFree=127458420/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=39000 memory=23260 CPUtime=0.09 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 5314 0 0 0 9 0 0 0 20 0 1 0 194452567 39936000 5749 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 9750 5749 1066 2726 0 6498 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57592 KiB
Current children cumulated memory: 27132 KiB
[startup+0.206185 s]*
/proc/loadavg: 1.16 1.20 1.80 5/268 1025591
/proc/meminfo: memFree=127426700/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=43684 memory=28024 CPUtime=0.2 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 6812 0 0 0 19 1 0 0 20 0 1 0 194452567 44732416 7006 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 10921 7006 1146 2726 0 7669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62276 KiB
Current children cumulated memory: 31896 KiB
[startup+0.306673 s]*
/proc/loadavg: 1.16 1.20 1.80 6/268 1025591
/proc/meminfo: memFree=127415448/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=46380 memory=30664 CPUtime=0.3 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 7488 0 0 0 29 1 0 0 20 0 1 0 194452567 47493120 7666 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 11595 7666 1146 2726 0 8343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64972 KiB
Current children cumulated memory: 34536 KiB
[startup+0.700293 s]
/proc/loadavg: 1.16 1.20 1.80 6/268 1025591
/proc/meminfo: memFree=127411880/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=50056 memory=34376 CPUtime=0.68 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 9070 0 0 0 67 1 0 0 20 0 1 0 194452567 51257344 8594 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 12514 8594 1146 2726 0 9262 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68648 KiB
Current children cumulated memory: 38248 KiB
[startup+1.50027 s]
/proc/loadavg: 1.16 1.20 1.80 6/268 1025591
/proc/meminfo: memFree=127401724/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=52936 memory=37252 CPUtime=1.47 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 10011 0 0 0 146 1 0 0 20 0 1 0 194452567 54206464 9313 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 13234 9313 1146 2726 0 9982 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71528 KiB
Current children cumulated memory: 41124 KiB
[startup+3.10655 s]
/proc/loadavg: 1.16 1.20 1.80 6/268 1025591
/proc/meminfo: memFree=127394496/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=50168 memory=34736 CPUtime=3.07 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 10944 0 0 0 306 1 0 0 20 0 1 0 194452567 51372032 8684 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 12542 8684 1146 2726 0 9290 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 68760 KiB
Current children cumulated memory: 38608 KiB
[startup+6.30026 s]
/proc/loadavg: 1.39 1.25 1.81 6/268 1025591
/proc/meminfo: memFree=127386936/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=52360 memory=36768 CPUtime=6.26 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 13941 0 0 0 624 2 0 0 20 0 1 0 194452567 53616640 9192 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 13090 9192 1146 2726 0 9838 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70952 KiB
Current children cumulated memory: 40640 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 1.31 1.83 6/268 1025593
/proc/meminfo: memFree=127357164/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=56680 memory=41292 CPUtime=12.63 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 15214 0 0 0 1260 3 0 0 20 0 1 0 194452567 58040320 10323 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 14170 10323 1146 2726 0 10918 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 75272 KiB
Current children cumulated memory: 45164 KiB
[startup+25.5003 s]
/proc/loadavg: 2.20 1.45 1.86 6/268 1025594
/proc/meminfo: memFree=127324748/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=69712 memory=54744 CPUtime=25.39 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 19415 0 0 0 2534 5 0 0 20 0 1 0 194452567 71385088 13686 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 17428 13686 1146 2726 0 14176 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 88304 KiB
Current children cumulated memory: 58616 KiB
[startup+51.1066 s]
/proc/loadavg: 2.81 1.65 1.92 6/268 1025599
/proc/meminfo: memFree=127250932/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1025583] ppid=1025568 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/1025583/stat : 1025583 (timeout) S 1025568 1025583 1025502 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194452567 8867840 261 134679101440 94341491519488 94341491554504 140730623695888 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341493651920 94341493654052 94341520502784 140730623702012 140730623702171 140730623702171 140730623709159 0
/proc/1025583/statm: 2165 261 236 9 0 87 0
[pid=1025584] ppid=1025583 vsize=83988 memory=68884 CPUtime=50.91 cores=0,2
/proc/1025584/stat : 1025584 (CASHWMaxSAT-Dis) R 1025583 1025583 1025502 0 -1 4194304 19962 0 0 0 5086 5 0 0 20 0 1 0 194452567 86003712 17221 134679101440 4194304 15356333 140736619829424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31846400 140736619836417 140736619836563 140736619836563 140736619843551 0
/proc/1025584/statm: 20997 17221 1146 2726 0 17745 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 102580 KiB
Current children cumulated memory: 72756 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.05 2.04 6/268 1025607
/proc/meminfo: memFree=127126904/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
################
# More data... #
################
/proc/1026578/statm: 16286 14045 820 745 0 15351 0
Current children cumulated CPU time: 2069.95 s
Current children cumulated vsize: 83736 KiB
Current children cumulated memory: 59984 KiB
[startup+2142.3 s]
/proc/loadavg: 4.08 4.08 3.92 5/263 1026642
/proc/meminfo: memFree=127186236/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=65972 memory=56916 CPUtime=343.08 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10516 0 0 0 34305 3 0 0 20 0 1 0 194632368 67555328 14229 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16493 14229 820 745 0 15558 0
Current children cumulated CPU time: 2129.75 s
Current children cumulated vsize: 84564 KiB
Current children cumulated memory: 60720 KiB
[startup+2173.8 s]
# the end of solver process 1025568 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2160.32 s, system=0.842211 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2150.4 s]
/proc/loadavg: 4.06 4.08 3.92 5/263 1026644
/proc/meminfo: memFree=127185300/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=66464 memory=57432 CPUtime=351.15 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10641 0 0 0 35112 3 0 0 20 0 1 0 194632368 68059136 14358 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16616 14358 820 745 0 15681 0
Current children cumulated CPU time: 2137.82 s
Current children cumulated vsize: 85056 KiB
Current children cumulated memory: 61236 KiB
[startup+2163.2 s]
/proc/loadavg: 4.13 4.09 3.92 5/262 1026646
/proc/meminfo: memFree=127184840/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=66884 memory=57956 CPUtime=363.91 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10747 0 0 0 36388 3 0 0 20 0 1 0 194632368 68489216 14489 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16721 14489 820 745 0 15786 0
Current children cumulated CPU time: 2150.58 s
Current children cumulated vsize: 85476 KiB
Current children cumulated memory: 61760 KiB
[startup+2169.6 s]
/proc/loadavg: 4.11 4.09 3.92 5/262 1026647
/proc/meminfo: memFree=127184240/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=67336 memory=58220 CPUtime=370.29 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10860 0 0 0 37026 3 0 0 20 0 1 0 194632368 68952064 14555 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16834 14555 820 745 0 15899 0
Current children cumulated CPU time: 2156.96 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62024 KiB
[startup+2171.2 s]
/proc/loadavg: 4.11 4.09 3.92 5/262 1026647
/proc/meminfo: memFree=127183720/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=67336 memory=58220 CPUtime=371.88 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10860 0 0 0 37185 3 0 0 20 0 1 0 194632368 68952064 14555 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16834 14555 820 745 0 15899 0
Current children cumulated CPU time: 2158.55 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62024 KiB
[startup+2172.8 s]
/proc/loadavg: 4.11 4.09 3.92 5/262 1026647
/proc/meminfo: memFree=127183688/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=67336 memory=58220 CPUtime=373.48 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10860 0 0 0 37345 3 0 0 20 0 1 0 194632368 68952064 14555 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16834 14555 820 745 0 15899 0
Current children cumulated CPU time: 2160.15 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62024 KiB
[startup+2173.2 s]
/proc/loadavg: 4.11 4.09 3.92 5/262 1026647
/proc/meminfo: memFree=127183760/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=67336 memory=58220 CPUtime=373.87 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10860 0 0 0 37384 3 0 0 20 0 1 0 194632368 68952064 14555 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16834 14555 820 745 0 15899 0
Current children cumulated CPU time: 2160.54 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62024 KiB
[startup+2173.6 s]
/proc/loadavg: 4.11 4.09 3.92 5/262 1026647
/proc/meminfo: memFree=127183760/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=67336 memory=58220 CPUtime=374.27 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10860 0 0 0 37424 3 0 0 20 0 1 0 194632368 68952064 14555 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16834 14555 820 745 0 15899 0
Current children cumulated CPU time: 2160.94 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62024 KiB
[startup+2173.7 s]
/proc/loadavg: 4.11 4.09 3.92 5/262 1026647
/proc/meminfo: memFree=127183760/131524600 swapFree=131071996/131071996
[pid=1025568] ppid=1025559 vsize=9932 memory=2828 CPUtime=1786.67 cores=0,2
/proc/1025568/stat : 1025568 (Hybrid-CASHWMax) S 1025559 1025568 1025502 0 -1 4194304 271 70600 0 0 0 0 178587 80 20 0 1 0 194452567 10170368 707 134679101440 94586615488512 94586616567832 140731273459072 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94586618666288 94586618713476 94586620325888 140731273466828 140731273466987 140731273466987 140731273474004 0
/proc/1025568/statm: 2483 707 614 264 0 134 0
[pid=1026577] ppid=1025568 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/1026577/stat : 1026577 (timeout) S 1025568 1026577 1025502 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 194632367 8867840 244 134679101440 94830303862784 94830303897800 140731506224752 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94830305995216 94830305997348 94830325112832 140731506230258 140731506230427 140731506230427 140731506237415 0
/proc/1026577/statm: 2165 244 219 9 0 87 0
[pid=1026578] ppid=1026577 vsize=67336 memory=58220 CPUtime=374.37 cores=0,2
/proc/1026578/stat : 1026578 (Exact) R 1026577 1026577 1025502 0 -1 4194304 10860 0 0 0 37434 3 0 0 20 0 1 0 194632368 68952064 14555 134679101440 4194304 7243121 140735517233824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 38051840 140735517238286 140735517238436 140735517238436 140735517245424 0
/proc/1026578/statm: 16834 14555 820 745 0 15899 0
Current children cumulated CPU time: 2161.04 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 62024 KiB
Child status: 0
Real time (s): 2173.8
CPU time (s): 2161.16
CPU user time (s): 2160.32
CPU system time (s): 0.842211
CPU usage (%): 99.4185
Max. virtual memory (cumulated for all children) (KiB): 344340
Max. memory (cumulated for all children) (KiB): 314588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2160.32
system time used= 0.842211
maximum resident set size= 310716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 19659
# summary of solver processes directly reported to runsolver:
# pid: 1025568
# total CPU time (s): 2161.16
# total CPU user time (s): 2160.32
# total CPU system time (s): 0.842211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03207 second user time and 12.2035 second system time
The end
Begin job on nodeC020 at 2024-07-19 23:01:44
IDJOB=4450786
IDBENCH=162276
IDSOLVER=3072
FILE ID=nodeC020/4450786-1721422890
RUNJOBID= nodeC020-1721422904-1025512
SLURM_JOB_ID= 7545602
Free space on /tmp= 890084 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round21-4.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450786-1721422890/watcher-4450786-1721422890 -o /tmp/evaluation-result-4450786-1721422890/solver-4450786-1721422890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721422904-1025512 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4450786-1721422890.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f504409cca969bd8c5b41a512643c0a3
RANDOM SEED=1667280370
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3812.191
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.05
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 : 3733.362
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.84
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 : 3666.813
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.05
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 : 3624.206
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.84
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 : 3845.235
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.05
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 : 3699.259
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.84
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 : 3611.332
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.05
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 : 3612.755
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127531328 kB
MemAvailable: 129688668 kB
Buffers: 545524 kB
Cached: 2438444 kB
SwapCached: 0 kB
Active: 940028 kB
Inactive: 2399520 kB
Active(anon): 1480 kB
Inactive(anon): 400328 kB
Active(file): 938548 kB
Inactive(file): 1999192 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 77860 kB
Writeback: 8 kB
AnonPages: 354856 kB
Mapped: 107136 kB
Shmem: 45912 kB
KReclaimable: 118848 kB
Slab: 234328 kB
SReclaimable: 118848 kB
SUnreclaim: 115480 kB
KernelStack: 3940 kB
PageTables: 10252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 794616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 352256 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC020 at 2024-07-19 23:37:58