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 (57417 MiB free)
memory of node 1: 64473 MiB (63265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458117-1722989841/watcher-4458117-1722989841 -o /tmp/evaluation-result-4458117-1722989841/solver-4458117-1722989841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722984445-354509 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458117-1722989841.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=357741, runsolver pid=357738
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.08 4.12 4.09 5/264 357745
/proc/meminfo: memFree=123564084/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=33232 memory=18872 CPUtime=0.09 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 4509 0 0 0 9 0 0 0 20 0 1 0 65588731 34029568 4718 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 8308 4718 1146 2726 0 5056 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51824 KiB
Current children cumulated memory: 22680 KiB
[startup+0.205807 s]*
/proc/loadavg: 4.08 4.12 4.09 5/264 357745
/proc/meminfo: memFree=123562900/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=33436 memory=19144 CPUtime=0.19 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 4769 0 0 0 19 0 0 0 20 0 1 0 65588731 34238464 4786 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 8359 4786 1146 2726 0 5107 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52028 KiB
Current children cumulated memory: 22952 KiB
[startup+0.305382 s]*
/proc/loadavg: 4.08 4.12 4.09 5/264 357745
/proc/meminfo: memFree=123562400/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=33656 memory=19368 CPUtime=0.29 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 5398 0 0 0 29 0 0 0 20 0 1 0 65588731 34463744 4842 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 8414 4842 1146 2726 0 5162 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52248 KiB
Current children cumulated memory: 23176 KiB
[startup+0.700225 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 357745
/proc/meminfo: memFree=123562512/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=37384 memory=22548 CPUtime=0.68 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 6521 0 0 0 68 0 0 0 20 0 1 0 65588731 38281216 5637 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 9346 5637 1146 2726 0 6094 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55976 KiB
Current children cumulated memory: 26356 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 357745
/proc/meminfo: memFree=123560756/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=37368 memory=22548 CPUtime=1.48 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 6926 0 0 0 148 0 0 0 20 0 1 0 65588731 38264832 5637 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 9342 5637 1146 2726 0 6090 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 26356 KiB
[startup+3.10558 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 357746
/proc/meminfo: memFree=123559000/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=37684 memory=22884 CPUtime=3.09 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 8884 0 0 0 308 1 0 0 20 0 1 0 65588731 38588416 5721 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 9421 5721 1146 2726 0 6169 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56276 KiB
Current children cumulated memory: 26692 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 357746
/proc/meminfo: memFree=123556160/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=40644 memory=25788 CPUtime=6.27 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 10910 0 0 0 626 1 0 0 20 0 1 0 65588731 41619456 6447 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 10161 6447 1146 2726 0 6909 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59236 KiB
Current children cumulated memory: 29596 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 357746
/proc/meminfo: memFree=123555384/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=40540 memory=25888 CPUtime=12.65 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 12880 0 0 0 1263 2 0 0 20 0 1 0 65588731 41512960 6472 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 10135 6472 1146 2726 0 6883 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 29696 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 357750
/proc/meminfo: memFree=123540068/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=55732 memory=40800 CPUtime=25.42 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 15885 0 0 0 2539 3 0 0 20 0 1 0 65588731 57069568 10200 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 13933 10200 1146 2726 0 10681 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 74324 KiB
Current children cumulated memory: 44608 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 357754
/proc/meminfo: memFree=123544620/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=357744] ppid=357741 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/357744/stat : 357744 (timeout) S 357741 357744 354496 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65588731 8867840 247 134679101440 94584462589952 94584462624968 140725542206784 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94584464722384 94584464724516 94584471826432 140725542208510 140725542208669 140725542208669 140725542215655 0
/proc/357744/statm: 2165 247 223 9 0 87 0
[pid=357745] ppid=357744 vsize=50768 memory=35508 CPUtime=50.95 cores=5,7
/proc/357745/stat : 357745 (CASHWMaxSAT-Dis) R 357744 357744 354496 0 -1 4194304 23337 0 0 0 5090 5 0 0 20 0 1 0 65588731 51986432 8877 134679101440 4194304 15356333 140728506894016 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54820864 140728506897411 140728506897557 140728506897557 140728506904543 0
/proc/357745/statm: 12692 8877 1146 2726 0 9440 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 69360 KiB
Current children cumulated memory: 39316 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 357762
/proc/meminfo: memFree=123521216/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=0 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
################
# More data... #
################
/proc/358899/statm: 24229 18470 852 745 0 23294 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 115508 KiB
Current children cumulated memory: 77720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 359783
/proc/meminfo: memFree=123362388/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=96916 memory=73924 CPUtime=1660.37 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11166 0 0 0 166034 3 0 0 20 0 1 0 65768532 99241984 18481 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24229 18481 852 745 0 23294 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 115508 KiB
Current children cumulated memory: 77764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 359809
/proc/meminfo: memFree=123341832/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=73968 CPUtime=1720.24 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11247 0 0 0 172021 3 0 0 20 0 1 0 65768532 99450880 18492 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18492 852 745 0 23345 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 77808 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 359820
/proc/meminfo: memFree=123341824/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1780.1 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11286 0 0 0 178007 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
[startup+3596.02 s]
# the end of solver process 357741 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.06 s, system=0.623936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.13 4.09 5/262 359822
/proc/meminfo: memFree=123341796/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1781.8 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11287 0 0 0 178177 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3574.66 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 359822
/proc/meminfo: memFree=123341800/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1788.18 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11289 0 0 0 178815 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3581.04 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 359824
/proc/meminfo: memFree=123341756/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1791.37 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11292 0 0 0 179134 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 359824
/proc/meminfo: memFree=123341756/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1792.97 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11292 0 0 0 179294 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 359824
/proc/meminfo: memFree=123341756/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1793.37 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11292 0 0 0 179334 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.09 5/262 359824
/proc/meminfo: memFree=123341756/131524600 swapFree=131071996/131071996
[pid=357741] ppid=357738 vsize=9932 memory=2820 CPUtime=1792.86 cores=5,7
/proc/357741/stat : 357741 (Hybrid-CASHWMax) S 357738 357741 354496 0 -1 4194304 278 105002 0 0 0 0 179229 57 20 0 1 0 65588731 10170368 705 134679101440 94096512004096 94096513083416 140729033527904 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096515181872 94096515229060 94096529989632 140729033536462 140729033536621 140729033536621 140729033543636 0
/proc/357741/statm: 2483 705 612 264 0 134 0
[pid=358898] ppid=357741 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/358898/stat : 358898 (timeout) S 357741 358898 354496 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65768532 8867840 255 134679101440 94798285737984 94798285773000 140728305695296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94798287870416 94798287872548 94798317383680 140728305701876 140728305702045 140728305702045 140728305709031 0
/proc/358898/statm: 2165 255 231 9 0 87 0
[pid=358899] ppid=358898 vsize=97120 memory=74192 CPUtime=1793.77 cores=5,7
/proc/358899/stat : 358899 (Exact) R 358898 358898 354496 0 -1 4194304 11292 0 0 0 179374 3 0 0 20 0 1 0 65768532 99450880 18548 134679101440 4194304 7243121 140736963150976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 33005568 140736963154960 140736963155110 140736963155110 140736963162096 0
/proc/358899/statm: 24280 18548 852 745 0 23345 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 115712 KiB
Current children cumulated memory: 78032 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3586.68
CPU user time (s): 3586.06
CPU system time (s): 0.623936
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 203820
Max. memory (cumulated for all children) (KiB): 174844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.06
system time used= 0.623936
maximum resident set size= 171036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118148
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= 81
involuntary context switches= 2082
# summary of solver processes directly reported to runsolver:
# pid: 357741
# total CPU time (s): 3586.68
# total CPU user time (s): 3586.06
# total CPU system time (s): 0.623936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52187 second user time and 17.7514 second system time
The end
Begin job on nodeC035 at 2024-08-07 02:17:21
IDJOB=4458117
IDBENCH=177145
IDSOLVER=3072
FILE ID=nodeC035/4458117-1722989841
RUNJOBID= nodeC035-1722984445-354509
SLURM_JOB_ID= 8259107
Free space on /tmp= 890024 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458117-1722989841/watcher-4458117-1722989841 -o /tmp/evaluation-result-4458117-1722989841/solver-4458117-1722989841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722984445-354509 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458117-1722989841.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e18c86f02508cf43f5cae5e82895ebd
RANDOM SEED=394299024
nodeC035.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 : 3666.605
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.79
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 : 3670.550
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
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.689
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.687
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.663
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.79
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 : 3663.877
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
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.663
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.79
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 : 3673.624
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123579688 kB
MemAvailable: 129636504 kB
Buffers: 339960 kB
Cached: 6555580 kB
SwapCached: 0 kB
Active: 650600 kB
Inactive: 6755316 kB
Active(anon): 1604 kB
Inactive(anon): 546484 kB
Active(file): 648996 kB
Inactive(file): 6208832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 19308 kB
Writeback: 0 kB
AnonPages: 506532 kB
Mapped: 109204 kB
Shmem: 37720 kB
KReclaimable: 77624 kB
Slab: 171936 kB
SReclaimable: 77624 kB
SUnreclaim: 94312 kB
KernelStack: 4224 kB
PageTables: 10104 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 923396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 356352 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: 346836 kB
DirectMap2M: 24592384 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC035 at 2024-08-07 03:17:17