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 (60121 MiB free)
memory of node 1: 64465 MiB (62924 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519443-1751556501/watcher-4519443-1751556501 -o /tmp/evaluation-result-4519443-1751556501/solver-4519443-1751556501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751552888-75372 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519443-1751556501.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
Starting watchdog thread
solver pid=75847, runsolver pid=75844
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.22 4.14 5/263 75848
/proc/meminfo: memFree=125929352/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=36928 memory=22344 CPUtime=0.1 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 5283 0 0 0 9 1 0 0 20 0 1 0 71327663 37814272 5586 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 9232 5586 864 2593 0 6125 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36928 KiB
Current children cumulated memory: 22344 KiB
[startup+0.205546 s]*
/proc/loadavg: 4.12 4.22 4.14 5/263 75848
/proc/meminfo: memFree=125852672/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=55220 memory=40468 CPUtime=0.2 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 9810 0 0 0 18 2 0 0 20 0 1 0 71327663 56545280 10117 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 13805 10117 864 2593 0 10698 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55220 KiB
Current children cumulated memory: 40468 KiB
[startup+0.305562 s]*
/proc/loadavg: 4.12 4.22 4.14 5/263 75848
/proc/meminfo: memFree=125812508/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=77720 memory=61728 CPUtime=0.29 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 15143 0 0 0 27 2 0 0 20 0 1 0 71327663 79585280 15432 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 19430 15432 864 2593 0 16323 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77720 KiB
Current children cumulated memory: 61728 KiB
[startup+0.700174 s]
/proc/loadavg: 4.12 4.22 4.14 5/263 75848
/proc/meminfo: memFree=125723548/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=148080 memory=132152 CPUtime=0.69 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 30203 0 0 0 64 5 0 0 20 0 1 0 71327663 151633920 33038 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 37020 33038 864 2593 0 33913 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148080 KiB
Current children cumulated memory: 132152 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.22 4.14 5/263 75848
/proc/meminfo: memFree=125444180/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=290112 memory=271952 CPUtime=1.48 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 53413 0 0 0 138 10 0 0 20 0 1 0 71327663 297074688 67988 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 72528 67988 864 2593 0 69421 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 290112 KiB
Current children cumulated memory: 271952 KiB
[startup+3.10543 s]
/proc/loadavg: 4.11 4.22 4.14 5/263 75848
/proc/meminfo: memFree=124555232/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=515596 memory=478088 CPUtime=3.09 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 76041 0 0 0 293 16 0 0 20 0 1 0 71327663 527970304 119522 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 128899 119522 896 2593 0 125792 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 515596 KiB
Current children cumulated memory: 478088 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.22 4.14 5/264 75850
/proc/meminfo: memFree=123385088/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=861020 memory=790972 CPUtime=6.27 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 110461 0 0 0 595 32 0 0 20 0 1 0 71327663 881684480 197743 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 215255 197743 960 2593 0 212148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 861020 KiB
Current children cumulated memory: 790972 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.21 4.13 5/264 75850
/proc/meminfo: memFree=121586072/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=800832 memory=731560 CPUtime=12.66 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 119515 0 0 0 1217 49 0 0 20 0 1 0 71327663 820051968 182890 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 200208 182890 992 2593 0 197101 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 800832 KiB
Current children cumulated memory: 731560 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.20 4.13 5/264 75850
/proc/meminfo: memFree=120517316/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=859568 memory=776916 CPUtime=25.42 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 128445 0 0 0 2477 65 0 0 20 0 1 0 71327663 880197632 194229 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 214892 194229 992 2593 0 211785 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 859568 KiB
Current children cumulated memory: 776916 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.20 4.13 5/264 75850
/proc/meminfo: memFree=119875976/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=866436 memory=789928 CPUtime=50.96 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 134899 0 0 0 5010 86 0 0 20 0 1 0 71327663 887230464 197482 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 216609 197482 992 2593 0 213502 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 866436 KiB
Current children cumulated memory: 789928 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/265 75853
/proc/meminfo: memFree=120038124/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=870268 memory=793760 CPUtime=102.01 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 153290 0 0 0 10056 145 0 0 20 0 1 0 71327663 891154432 198440 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 217567 198440 992 2593 0 214460 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 870268 KiB
Current children cumulated memory: 793760 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/265 75857
/proc/meminfo: memFree=120093312/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=872508 memory=796000 CPUtime=161.85 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 166246 0 0 0 15994 191 0 0 20 0 1 0 71327663 893448192 199000 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 218127 199000 992 2593 0 215020 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 872508 KiB
Current children cumulated memory: 796000 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/265 75859
/proc/meminfo: memFree=120020220/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=872636 memory=796128 CPUtime=221.68 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 175306 0 0 0 21945 223 0 0 20 0 1 0 71327663 893579264 199032 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 218159 199032 992 2593 0 215052 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 872636 KiB
Current children cumulated memory: 796128 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/266 75907
/proc/meminfo: memFree=121363652/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=876272 memory=799764 CPUtime=281.5 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 183424 0 0 0 27900 250 0 0 20 0 1 0 71327663 897302528 199941 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 219068 199941 992 2593 0 215961 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 876272 KiB
Current children cumulated memory: 799764 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/266 75914
/proc/meminfo: memFree=121014100/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=878528 memory=802020 CPUtime=341.29 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 191039 0 0 0 33851 278 0 0 20 0 1 0 71327663 899612672 200505 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 219632 200505 992 2593 0 216525 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 878528 KiB
Current children cumulated memory: 802020 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/265 75916
/proc/meminfo: memFree=120781732/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=881376 memory=804868 CPUtime=401.09 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 197333 0 0 0 39806 303 0 0 20 0 1 0 71327663 902529024 201217 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 220344 201217 992 2593 0 217237 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 881376 KiB
Current children cumulated memory: 804868 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/265 75919
/proc/meminfo: memFree=121020252/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=882112 memory=805604 CPUtime=460.89 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 203122 0 0 0 45764 325 0 0 20 0 1 0 71327663 903282688 201401 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 220528 201401 992 2593 0 217421 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 948472 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 76053
/proc/meminfo: memFree=119116988/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=903516 memory=829456 CPUtime=2912.63 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 371221 0 0 0 290405 858 0 0 20 0 1 0 71327663 925200384 207364 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 225879 207364 992 2593 0 222772 0
Current children cumulated CPU time: 2912.63 s
Current children cumulated vsize: 903516 KiB
Current children cumulated memory: 829456 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 76055
/proc/meminfo: memFree=119592996/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=903548 memory=829488 CPUtime=2972.45 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 372961 0 0 0 296380 865 0 0 20 0 1 0 71327663 925233152 207372 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 225887 207372 992 2593 0 222780 0
Current children cumulated CPU time: 2972.45 s
Current children cumulated vsize: 903548 KiB
Current children cumulated memory: 829488 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 76057
/proc/meminfo: memFree=119567896/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=900212 memory=826152 CPUtime=3032.27 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 375328 0 0 0 302354 873 0 0 20 0 1 0 71327663 921817088 206538 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 225053 206538 992 2593 0 221946 0
Current children cumulated CPU time: 3032.27 s
Current children cumulated vsize: 900212 KiB
Current children cumulated memory: 826152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 76061
/proc/meminfo: memFree=119568796/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=906928 memory=832868 CPUtime=3092.08 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 376491 0 0 0 308330 878 0 0 20 0 1 0 71327663 928694272 208217 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226732 208217 992 2593 0 223625 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 906928 KiB
Current children cumulated memory: 832868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 76063
/proc/meminfo: memFree=119581828/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=913956 memory=839896 CPUtime=3151.89 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 377420 0 0 0 314306 883 0 0 20 0 1 0 71327663 935890944 209974 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 228489 209974 992 2593 0 225382 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 913956 KiB
Current children cumulated memory: 839896 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 76065
/proc/meminfo: memFree=119564484/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=910992 memory=836932 CPUtime=3211.71 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 379074 0 0 0 320280 891 0 0 20 0 1 0 71327663 932855808 209233 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 227748 209233 992 2593 0 224641 0
Current children cumulated CPU time: 3211.71 s
Current children cumulated vsize: 910992 KiB
Current children cumulated memory: 836932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 76111
/proc/meminfo: memFree=121362112/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=912824 memory=840812 CPUtime=3271.53 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 380885 0 0 0 326253 900 0 0 20 0 1 0 71327663 934731776 210203 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 228206 210203 992 2593 0 225099 0
Current children cumulated CPU time: 3271.53 s
Current children cumulated vsize: 912824 KiB
Current children cumulated memory: 840812 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/265 76113
/proc/meminfo: memFree=121306944/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=904488 memory=832476 CPUtime=3331.33 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 382253 0 0 0 332226 907 0 0 20 0 1 0 71327663 926195712 208119 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226122 208119 992 2593 0 223015 0
Current children cumulated CPU time: 3331.33 s
Current children cumulated vsize: 904488 KiB
Current children cumulated memory: 832476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 76120
/proc/meminfo: memFree=121300400/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=905828 memory=833816 CPUtime=3391.14 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 384393 0 0 0 338197 917 0 0 20 0 1 0 71327663 927567872 208454 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226457 208454 992 2593 0 223350 0
Current children cumulated CPU time: 3391.14 s
Current children cumulated vsize: 905828 KiB
Current children cumulated memory: 833816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 76122
/proc/meminfo: memFree=121275716/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=905920 memory=833908 CPUtime=3450.95 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 386182 0 0 0 344170 925 0 0 20 0 1 0 71327663 927662080 208477 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226480 208477 992 2593 0 223373 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 905920 KiB
Current children cumulated memory: 833908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 76124
/proc/meminfo: memFree=121276768/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=906068 memory=834056 CPUtime=3510.75 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 388991 0 0 0 350139 936 0 0 20 0 1 0 71327663 927813632 208514 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226517 208514 992 2593 0 223410 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 834056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 76129
/proc/meminfo: memFree=121280256/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=909188 memory=837176 CPUtime=3570.56 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 390385 0 0 0 356112 944 0 0 20 0 1 0 71327663 931008512 209294 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 227297 209294 992 2593 0 224190 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 909188 KiB
Current children cumulated memory: 837176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 76220
/proc/meminfo: memFree=126779632/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=906772 memory=834760 CPUtime=3600.06 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 391046 0 0 0 359059 947 0 0 20 0 1 0 71327663 928534528 208690 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226693 208690 992 2593 0 223586 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 906772 KiB
Current children cumulated memory: 834760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.92 s]
# the end of solver process 75847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.6 s, system=9.49343 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 76220
/proc/meminfo: memFree=126779632/131250000 swapFree=33007332/33010684
[pid=75847] ppid=75844 vsize=906772 memory=834760 CPUtime=3600.06 cores=0,2
/proc/75847/stat : 75847 (CASHWMaxSAT-Dis) R 75844 75847 75315 0 -1 4194304 391046 0 0 0 359059 947 0 0 20 0 1 0 71327663 928534528 208690 18446744073709551615 4198400 14817773 140729341630672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48852992 140729341634922 140729341635037 140729341635037 140729341640639 0
/proc/75847/statm: 226693 208690 992 2593 0 223586 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 906772 KiB
Current children cumulated memory: 834760 KiB
Child status: 0
Real time (s): 3611.92
CPU time (s): 3600.09
CPU user time (s): 3590.6
CPU system time (s): 9.49343
CPU usage (%): 99.6725
Max. virtual memory (cumulated for all children) (KiB): 1490100
Max. memory (cumulated for all children) (KiB): 1415776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.6
system time used= 9.49343
maximum resident set size= 1415776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391046
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= 6
involuntary context switches= 4543
# summary of solver processes directly reported to runsolver:
# pid: 75847
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.6
# total CPU system time (s): 9.49343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84334 second user time and 15.5076 second system time
The end
Begin job on nodeC019 at 2025-07-03 17:28:22
IDJOB=4519443
IDBENCH=177259
IDSOLVER=3322
FILE ID=nodeC019/4519443-1751556501
RUNJOBID= nodeC019-1751552888-75372
SLURM_JOB_ID= 9598736
Free space on /tmp= 431464 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519443-1751556501/watcher-4519443-1751556501 -o /tmp/evaluation-result-4519443-1751556501/solver-4519443-1751556501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751552888-75372 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519443-1751556501.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c8ceefdda568d430d72bfadd598002dc
RANDOM SEED=527462048
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 : 3628.409
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.677
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.677
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 : 3599.619
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.673
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.518
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 : 3599.758
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 : 3700.000
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: 125998780 kB
MemAvailable: 127792780 kB
Buffers: 904 kB
Cached: 2596328 kB
SwapCached: 440 kB
Active: 2172092 kB
Inactive: 2450696 kB
Active(anon): 2013016 kB
Inactive(anon): 27736 kB
Active(file): 159076 kB
Inactive(file): 2422960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127952 kB
Writeback: 0 kB
AnonPages: 2027572 kB
Mapped: 121484 kB
Shmem: 15192 kB
KReclaimable: 102404 kB
Slab: 191144 kB
SReclaimable: 102404 kB
SUnreclaim: 88740 kB
KernelStack: 4240 kB
PageTables: 6408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2710256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1695744 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= 431528 MiB
End job on nodeC019 at 2025-07-03 18:28:34