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: 63708 MiB (61721 MiB free)
memory of node 1: 64465 MiB (63347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519121-1751552888/watcher-4519121-1751552888 -o /tmp/evaluation-result-4519121-1751552888/solver-4519121-1751552888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751552888-75372 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519121-1751552888.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
solver pid=75424, runsolver pid=75415
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100059 s]*
/proc/loadavg: 0.18 0.69 1.40 5/266 75433
/proc/meminfo: memFree=127999440/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=36864 memory=22388 CPUtime=0.09 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 5154 0 0 0 9 0 0 0 20 0 1 0 70966362 37748736 5597 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 9216 5597 896 2593 0 6109 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 22388 KiB
[startup+0.205211 s]*
/proc/loadavg: 0.18 0.69 1.40 5/266 75433
/proc/meminfo: memFree=127964916/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=48880 memory=32744 CPUtime=0.2 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 8508 0 0 0 19 1 0 0 20 0 1 0 70966362 50053120 8186 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 12220 8186 960 2593 0 9113 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48880 KiB
Current children cumulated memory: 32744 KiB
[startup+0.305315 s]*
/proc/loadavg: 0.18 0.69 1.40 5/266 75433
/proc/meminfo: memFree=127922328/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=48956 memory=32888 CPUtime=0.3 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 9016 0 0 0 29 1 0 0 20 0 1 0 70966362 50130944 8222 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 12239 8222 960 2593 0 9132 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48956 KiB
Current children cumulated memory: 32888 KiB
[startup+0.700169 s]
/proc/loadavg: 0.18 0.69 1.40 5/266 75433
/proc/meminfo: memFree=127889568/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=49164 memory=32792 CPUtime=0.68 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 10963 0 0 0 67 1 0 0 20 0 1 0 70966362 50343936 8198 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 12291 8198 992 2593 0 9184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 32792 KiB
[startup+1.50008 s]
/proc/loadavg: 0.18 0.69 1.40 5/266 75433
/proc/meminfo: memFree=127865124/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=52316 memory=36028 CPUtime=1.49 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 12338 0 0 0 147 2 0 0 20 0 1 0 70966362 53571584 9007 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 13079 9007 992 2593 0 9972 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52316 KiB
Current children cumulated memory: 36028 KiB
[startup+3.10529 s]
/proc/loadavg: 0.18 0.69 1.40 5/266 75433
/proc/meminfo: memFree=127836152/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=52956 memory=36648 CPUtime=3.09 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 12778 0 0 0 307 2 0 0 20 0 1 0 70966362 54226944 9162 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 13239 9162 992 2593 0 10132 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 36648 KiB
[startup+6.30014 s]
/proc/loadavg: 0.48 0.74 1.41 5/266 75433
/proc/meminfo: memFree=127824016/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=56244 memory=39848 CPUtime=6.27 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 13601 0 0 0 625 2 0 0 20 0 1 0 70966362 57593856 9962 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 14061 9962 992 2593 0 10954 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56244 KiB
Current children cumulated memory: 39848 KiB
[startup+12.7001 s]
/proc/loadavg: 0.77 0.80 1.42 5/266 75433
/proc/meminfo: memFree=127792580/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=52864 memory=36740 CPUtime=12.65 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 17315 0 0 0 1262 3 0 0 20 0 1 0 70966362 54132736 9185 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 13216 9185 992 2593 0 10109 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52864 KiB
Current children cumulated memory: 36740 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.96 1.47 5/267 75434
/proc/meminfo: memFree=127748264/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=60516 memory=44368 CPUtime=25.4 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 21666 0 0 0 2536 4 0 0 20 0 1 0 70966362 61968384 11092 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 15129 11092 992 2593 0 12022 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 60516 KiB
Current children cumulated memory: 44368 KiB
[startup+51.1051 s]
/proc/loadavg: 2.34 1.20 1.54 5/267 75434
/proc/meminfo: memFree=127672144/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=70624 memory=54344 CPUtime=50.92 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 25257 0 0 0 5087 5 0 0 20 0 1 0 70966362 72318976 13586 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 17656 13586 992 2593 0 14549 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 70624 KiB
Current children cumulated memory: 54344 KiB
[startup+102.3 s]
/proc/loadavg: 3.33 1.65 1.67 5/267 75436
/proc/meminfo: memFree=127580792/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=70148 memory=53924 CPUtime=101.93 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 30058 0 0 0 10186 7 0 0 20 0 1 0 70966362 71831552 13481 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 17537 13481 992 2593 0 14430 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 70148 KiB
Current children cumulated memory: 53924 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.11 1.83 5/267 75439
/proc/meminfo: memFree=127565024/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=80672 memory=64464 CPUtime=161.72 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 35000 0 0 0 16164 8 0 0 20 0 1 0 70966362 82608128 16116 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 20168 16116 992 2593 0 17061 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 80672 KiB
Current children cumulated memory: 64464 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.47 1.97 5/266 75441
/proc/meminfo: memFree=127507616/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=100836 memory=85968 CPUtime=221.53 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 36994 0 0 0 22144 9 0 0 20 0 1 0 70966362 103256064 21492 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 25209 21492 992 2593 0 22102 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 100836 KiB
Current children cumulated memory: 85968 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.77 2.11 5/266 75533
/proc/meminfo: memFree=126666792/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=104028 memory=89296 CPUtime=281.34 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 37827 0 0 0 28125 9 0 0 20 0 1 0 70966362 106524672 22324 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 26007 22324 992 2593 0 22900 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 104028 KiB
Current children cumulated memory: 89296 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.01 2.24 5/264 75540
/proc/meminfo: memFree=126297380/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=104768 memory=90068 CPUtime=341.14 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 40350 0 0 0 34103 11 0 0 20 0 1 0 70966362 107282432 22517 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 26192 22517 992 2593 0 23085 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 104768 KiB
Current children cumulated memory: 90068 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.24 2.37 5/265 75543
/proc/meminfo: memFree=126303908/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=78204 memory=63504 CPUtime=400.93 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 44501 0 0 0 40080 13 0 0 20 0 1 0 70966362 80080896 15876 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 19551 15876 992 2593 0 16444 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 78204 KiB
Current children cumulated memory: 63504 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.40 2.47 5/265 75546
/proc/meminfo: memFree=126300800/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=88932 memory=74360 CPUtime=460.72 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 46746 0 0 0 46057 15 0 0 20 0 1 0 70966362 91066368 18590 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 22233 18590 992 2593 0 19126 0
Current children cumulated CPU time: 460.72 s
################
# More data... #
################
Current children cumulated memory: 155892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.14 4.03 5/264 75681
/proc/meminfo: memFree=125759056/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=175244 memory=160556 CPUtime=2912.54 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 125436 0 0 0 291160 94 0 0 20 0 1 0 70966362 179449856 40139 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 43811 40139 992 2593 0 40704 0
Current children cumulated CPU time: 2912.54 s
Current children cumulated vsize: 175244 KiB
Current children cumulated memory: 160556 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.03 5/266 75685
/proc/meminfo: memFree=125767620/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=176140 memory=161512 CPUtime=2972.37 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 127191 0 0 0 297141 96 0 0 20 0 1 0 70966362 180367360 40378 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 44035 40378 992 2593 0 40928 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 176140 KiB
Current children cumulated memory: 161512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.41 4.21 4.06 5/266 75687
/proc/meminfo: memFree=125762460/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=176616 memory=161988 CPUtime=3032.22 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 128664 0 0 0 303124 98 0 0 20 0 1 0 70966362 180854784 40497 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 44154 40497 992 2593 0 41047 0
Current children cumulated CPU time: 3032.22 s
Current children cumulated vsize: 176616 KiB
Current children cumulated memory: 161988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.19 4.06 5/266 75690
/proc/meminfo: memFree=125763708/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=177012 memory=162384 CPUtime=3092.05 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 130627 0 0 0 309105 100 0 0 20 0 1 0 70966362 181260288 40596 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 44253 40596 992 2593 0 41146 0
Current children cumulated CPU time: 3092.05 s
Current children cumulated vsize: 177012 KiB
Current children cumulated memory: 162384 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.16 4.06 5/266 75692
/proc/meminfo: memFree=125787768/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=177720 memory=163092 CPUtime=3151.88 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 131829 0 0 0 315086 102 0 0 20 0 1 0 70966362 181985280 40773 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 44430 40773 992 2593 0 41323 0
Current children cumulated CPU time: 3151.88 s
Current children cumulated vsize: 177720 KiB
Current children cumulated memory: 163092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.07 5/266 75694
/proc/meminfo: memFree=125776256/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=178280 memory=163652 CPUtime=3211.71 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 133068 0 0 0 321068 103 0 0 20 0 1 0 70966362 182558720 40913 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 44570 40913 992 2593 0 41463 0
Current children cumulated CPU time: 3211.71 s
Current children cumulated vsize: 178280 KiB
Current children cumulated memory: 163652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.23 4.10 5/265 75696
/proc/meminfo: memFree=125772212/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=180880 memory=166088 CPUtime=3271.56 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 134560 0 0 0 327051 105 0 0 20 0 1 0 70966362 185221120 41522 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 45220 41522 992 2593 0 42113 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 180880 KiB
Current children cumulated memory: 166088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.20 4.09 5/264 75702
/proc/meminfo: memFree=125767736/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=181744 memory=167044 CPUtime=3331.39 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 136730 0 0 0 333032 107 0 0 20 0 1 0 70966362 186105856 41761 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 45436 41761 992 2593 0 42329 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 181744 KiB
Current children cumulated memory: 167044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.81 4.37 4.16 5/264 75704
/proc/meminfo: memFree=125769624/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=182124 memory=167424 CPUtime=3391.22 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 137704 0 0 0 339013 109 0 0 20 0 1 0 70966362 186494976 41856 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 45531 41856 992 2593 0 42424 0
Current children cumulated CPU time: 3391.22 s
Current children cumulated vsize: 182124 KiB
Current children cumulated memory: 167424 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.31 4.15 5/264 75707
/proc/meminfo: memFree=125774028/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=182584 memory=167884 CPUtime=3451.06 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 139013 0 0 0 344995 111 0 0 20 0 1 0 70966362 186966016 41971 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 45646 41971 992 2593 0 42539 0
Current children cumulated CPU time: 3451.06 s
Current children cumulated vsize: 182584 KiB
Current children cumulated memory: 167884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.27 4.14 5/264 75711
/proc/meminfo: memFree=125765696/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=183028 memory=168328 CPUtime=3510.89 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 139912 0 0 0 350977 112 0 0 20 0 1 0 70966362 187420672 42082 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 45757 42082 992 2593 0 42650 0
Current children cumulated CPU time: 3510.89 s
Current children cumulated vsize: 183028 KiB
Current children cumulated memory: 168328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.23 4.14 5/263 75713
/proc/meminfo: memFree=125772156/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=183660 memory=168960 CPUtime=3570.73 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 141834 0 0 0 356959 114 0 0 20 0 1 0 70966362 188067840 42240 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 45915 42240 992 2593 0 42808 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 183660 KiB
Current children cumulated memory: 168960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.12 4.22 4.14 3/255 75729
/proc/meminfo: memFree=126256484/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=184060 memory=169360 CPUtime=3600.05 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 142242 0 0 0 359890 115 0 0 20 0 1 0 70966362 188477440 42340 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 46015 42340 992 2593 0 42908 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 184060 KiB
Current children cumulated memory: 169360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.7 s]
# the end of solver process 75424 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.9 s, system=1.15645 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.12 4.22 4.14 3/255 75729
/proc/meminfo: memFree=126256484/131250000 swapFree=33007332/33010684
[pid=75424] ppid=75415 vsize=184060 memory=169360 CPUtime=3600.05 cores=0,2
/proc/75424/stat : 75424 (CASHWMaxSAT-Dis) R 75415 75424 75315 0 -1 4194304 142242 0 0 0 359890 115 0 0 20 0 1 0 70966362 188477440 42340 18446744073709551615 4198400 14817773 140726469725712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29675520 140726469728618 140726469728733 140726469728733 140726469734335 0
/proc/75424/statm: 46015 42340 992 2593 0 42908 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 184060 KiB
Current children cumulated memory: 169360 KiB
Child status: 0
Real time (s): 3611.7
CPU time (s): 3600.06
CPU user time (s): 3598.9
CPU system time (s): 1.15645
CPU usage (%): 99.6776
Max. virtual memory (cumulated for all children) (KiB): 265220
Max. memory (cumulated for all children) (KiB): 250520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.9
system time used= 1.15645
maximum resident set size= 250520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 4596
# summary of solver processes directly reported to runsolver:
# pid: 75424
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.9
# total CPU system time (s): 1.15645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91073 second user time and 16.1081 second system time
The end
Begin job on nodeC019 at 2025-07-03 16:28:08
IDJOB=4519121
IDBENCH=177172
IDSOLVER=3322
FILE ID=nodeC019/4519121-1751552888
RUNJOBID= nodeC019-1751552888-75372
SLURM_JOB_ID= 9598736
Free space on /tmp= 431592 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519121-1751552888/watcher-4519121-1751552888 -o /tmp/evaluation-result-4519121-1751552888/solver-4519121-1751552888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751552888-75372 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519121-1751552888.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35fe9b1930bcbc7a02a3c0004c4836fe
RANDOM SEED=1654726558
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3601.034
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.682
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.674
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3598.473
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.798
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.679
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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.144
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128072824 kB
MemAvailable: 129774372 kB
Buffers: 904 kB
Cached: 2503980 kB
SwapCached: 440 kB
Active: 213432 kB
Inactive: 2358368 kB
Active(anon): 54372 kB
Inactive(anon): 27736 kB
Active(file): 159060 kB
Inactive(file): 2330632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55492 kB
Writeback: 24 kB
AnonPages: 69808 kB
Mapped: 103648 kB
Shmem: 15192 kB
KReclaimable: 102192 kB
Slab: 191000 kB
SReclaimable: 102192 kB
SUnreclaim: 88808 kB
KernelStack: 4080 kB
PageTables: 2756 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431496 MiB
End job on nodeC019 at 2025-07-03 17:28:20