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 (60106 MiB free)
memory of node 1: 64465 MiB (48357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509308-1751518668/watcher-4509308-1751518668 -o /tmp/evaluation-result-4509308-1751518668/solver-4509308-1751518668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751517541-72047 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4509308-1751518668.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=72470, runsolver pid=72467
[startup+0.100065 s]*
/proc/loadavg: 4.16 4.16 4.05 5/265 72471
/proc/meminfo: memFree=111043476/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=44764 memory=21524 CPUtime=0.09 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 4888 0 0 0 9 0 0 0 20 0 1 0 67545247 45838336 5381 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 11191 5381 736 2416 0 8293 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 21524 KiB
[startup+0.205549 s]*
/proc/loadavg: 4.16 4.16 4.05 5/265 72471
/proc/meminfo: memFree=111043476/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=52740 memory=26736 CPUtime=0.19 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 6362 0 0 0 19 0 0 0 20 0 1 0 67545247 54005760 6684 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 13185 6684 736 2416 0 10287 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52740 KiB
Current children cumulated memory: 26736 KiB
[startup+0.30549 s]*
/proc/loadavg: 4.16 4.16 4.05 5/265 72471
/proc/meminfo: memFree=111043476/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=61684 memory=34160 CPUtime=0.3 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 8211 0 0 0 29 1 0 0 20 0 1 0 67545247 63164416 8540 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 15421 8540 736 2416 0 12523 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61684 KiB
Current children cumulated memory: 34160 KiB
[startup+0.700174 s]
/proc/loadavg: 4.16 4.16 4.05 5/265 72471
/proc/meminfo: memFree=111043728/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=137092 memory=106500 CPUtime=0.68 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 19914 0 0 0 65 3 0 0 20 0 1 0 67545247 140382208 26625 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 34273 26625 768 2416 0 31375 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137092 KiB
Current children cumulated memory: 106500 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.16 4.05 5/265 72471
/proc/meminfo: memFree=110974860/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=355944 memory=301176 CPUtime=1.49 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 34595 0 0 0 139 10 0 0 20 0 1 0 67545247 364486656 75294 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 88986 75294 768 2416 0 86088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 355944 KiB
Current children cumulated memory: 301176 KiB
[startup+3.10535 s]
/proc/loadavg: 4.14 4.15 4.05 5/265 72471
/proc/meminfo: memFree=110584064/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=594088 memory=558152 CPUtime=3.09 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 52191 0 0 0 292 17 0 0 20 0 1 0 67545247 608346112 139538 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 148522 139538 768 2416 0 145624 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 594088 KiB
Current children cumulated memory: 558152 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.15 4.05 5/265 72471
/proc/meminfo: memFree=110075724/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=1152260 memory=1069000 CPUtime=6.27 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 86618 0 0 0 595 32 0 0 20 0 1 0 67545247 1179914240 267250 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 288065 267250 768 2416 0 285167 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1152260 KiB
Current children cumulated memory: 1069000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.05 5/265 72471
/proc/meminfo: memFree=109575008/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=2037276 memory=1820180 CPUtime=12.65 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 189681 0 0 0 1203 62 0 0 20 0 1 0 67545247 2086170624 455045 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 509319 455045 768 2416 0 506421 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2037276 KiB
Current children cumulated memory: 1820180 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.04 5/265 72471
/proc/meminfo: memFree=105065476/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7148992 memory=6146404 CPUtime=25.41 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 496777 0 0 0 2363 178 0 0 20 0 1 0 67545247 7320567808 1536601 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1787248 1536601 768 2416 0 1784350 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 7148992 KiB
Current children cumulated memory: 6146404 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.13 4.04 5/265 72472
/proc/meminfo: memFree=104528960/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7286568 memory=6554076 CPUtime=50.94 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 527822 0 0 0 4897 197 0 0 20 0 1 0 67545247 7461445632 1638519 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1821642 1638519 768 2416 0 1818744 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 7286568 KiB
Current children cumulated memory: 6554076 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/264 72474
/proc/meminfo: memFree=103426180/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=9479136 memory=7720284 CPUtime=101.99 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 662821 0 0 0 9941 258 0 0 20 0 1 0 67545247 9706635264 1929559 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 2369784 1929559 768 2416 0 2366886 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 9479136 KiB
Current children cumulated memory: 7720284 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/264 72475
/proc/meminfo: memFree=104364648/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6618976 CPUtime=161.82 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 665481 0 0 0 15891 291 0 0 20 0 1 0 67545247 7603101696 1654744 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1654744 800 2416 0 1853328 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6618976 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/264 72493
/proc/meminfo: memFree=104256340/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6639456 CPUtime=221.65 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 666025 0 0 0 21874 291 0 0 20 0 1 0 67545247 7603101696 1659864 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1659864 800 2416 0 1853328 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6639456 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 72495
/proc/meminfo: memFree=103960948/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6664032 CPUtime=281.47 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 666425 0 0 0 27855 292 0 0 20 0 1 0 67545247 7603101696 1666008 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1666008 800 2416 0 1853328 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6664032 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.06 5/264 72497
/proc/meminfo: memFree=103868904/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6686560 CPUtime=341.3 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 666864 0 0 0 33838 292 0 0 20 0 1 0 67545247 7603101696 1671640 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1671640 800 2416 0 1853328 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6686560 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/263 72499
/proc/meminfo: memFree=103776620/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6707040 CPUtime=401.13 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 667149 0 0 0 39820 293 0 0 20 0 1 0 67545247 7603101696 1676760 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1676760 800 2416 0 1853328 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6707040 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/264 72504
/proc/meminfo: memFree=104105584/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6741856 CPUtime=460.96 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 667538 0 0 0 45802 294 0 0 20 0 1 0 67545247 7603101696 1685464 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1685464 800 2416 0 1853328 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 6798168 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 72754
/proc/meminfo: memFree=111666408/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6629216 CPUtime=2913.8 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 700009 0 0 0 290941 439 0 0 20 0 1 0 67545247 7603101696 1657304 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1657304 800 2416 0 1853328 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6629216 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 72757
/proc/meminfo: memFree=111575952/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6657888 CPUtime=2973.63 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 700766 0 0 0 296923 440 0 0 20 0 1 0 67545247 7603101696 1664472 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1664472 800 2416 0 1853328 0
Current children cumulated CPU time: 2973.63 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6657888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 72759
/proc/meminfo: memFree=111466488/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6745952 CPUtime=3033.45 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 701214 0 0 0 302903 442 0 0 20 0 1 0 67545247 7603101696 1686488 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1686488 800 2416 0 1853328 0
Current children cumulated CPU time: 3033.45 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6745952 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 72762
/proc/meminfo: memFree=111364072/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6774624 CPUtime=3093.27 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 701610 0 0 0 308884 443 0 0 20 0 1 0 67545247 7603101696 1693656 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1693656 800 2416 0 1853328 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6774624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 72764
/proc/meminfo: memFree=111507104/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7992432 memory=6802904 CPUtime=3153.08 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 702941 0 0 0 314864 444 0 0 20 0 1 0 67545247 8184250368 1700726 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1998108 1700726 800 2416 0 1995210 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 7992432 KiB
Current children cumulated memory: 6802904 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 72767
/proc/meminfo: memFree=111617908/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6666720 CPUtime=3212.9 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 704513 0 0 0 320830 460 0 0 20 0 1 0 67545247 7603101696 1666680 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1666680 800 2416 0 1853328 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6666720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 72774
/proc/meminfo: memFree=111464300/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6719968 CPUtime=3272.71 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 705412 0 0 0 326809 462 0 0 20 0 1 0 67545247 7603101696 1679992 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1679992 800 2416 0 1853328 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6719968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 72776
/proc/meminfo: memFree=111524928/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6748640 CPUtime=3332.52 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 706367 0 0 0 332790 462 0 0 20 0 1 0 67545247 7603101696 1687160 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1687160 800 2416 0 1853328 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6748640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 72778
/proc/meminfo: memFree=111456660/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6777312 CPUtime=3392.34 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 707583 0 0 0 338771 463 0 0 20 0 1 0 67545247 7603101696 1694328 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1694328 800 2416 0 1853328 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6777312 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 72783
/proc/meminfo: memFree=111535272/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7992432 memory=6804952 CPUtime=3452.15 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 709163 0 0 0 344750 465 0 0 20 0 1 0 67545247 8184250368 1701238 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1998108 1701238 800 2416 0 1995210 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 7992432 KiB
Current children cumulated memory: 6804952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 72787
/proc/meminfo: memFree=111505052/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6779360 CPUtime=3511.96 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 710843 0 0 0 350711 485 0 0 20 0 1 0 67545247 7603101696 1694840 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1694840 800 2416 0 1853328 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6779360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 72789
/proc/meminfo: memFree=111337040/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7992432 memory=6807000 CPUtime=3571.78 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 712407 0 0 0 356691 487 0 0 20 0 1 0 67545247 8184250368 1701750 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1998108 1701750 800 2416 0 1995210 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 7992432 KiB
Current children cumulated memory: 6807000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 72791
/proc/meminfo: memFree=111664248/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6625760 CPUtime=3600.09 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 713474 0 0 0 359508 501 0 0 20 0 1 0 67545247 7603101696 1656440 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1656440 800 2416 0 1853328 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6625760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.79 s]
# the end of solver process 72470 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.09 s, system=5.1111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 72791
/proc/meminfo: memFree=111664248/131249996 swapFree=33010160/33010684
[pid=72470] ppid=72467 vsize=7424904 memory=6625760 CPUtime=3600.09 cores=1,3
/proc/72470/stat : 72470 (CASHWMaxSAT-Dis) R 72467 72470 72033 0 -1 4194304 713474 0 0 0 359508 501 0 0 20 0 1 0 67545247 7603101696 1656440 18446744073709551615 4198400 14093885 140732660104416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46596096 140732660111722 140732660111837 140732660111837 140732660117439 0
/proc/72470/statm: 1856226 1656440 800 2416 0 1853328 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 7424904 KiB
Current children cumulated memory: 6625760 KiB
Child status: 0
Real time (s): 3610.79
CPU time (s): 3600.2
CPU user time (s): 3595.09
CPU system time (s): 5.1111
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 9479136
Max. memory (cumulated for all children) (KiB): 8385884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.09
system time used= 5.1111
maximum resident set size= 8385884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713474
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= 112
involuntary context switches= 3223
# summary of solver processes directly reported to runsolver:
# pid: 72470
# total CPU time (s): 3600.2
# total CPU user time (s): 3595.09
# total CPU system time (s): 5.1111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66929 second user time and 15.4047 second system time
The end
Begin job on nodeC029 at 2025-07-03 06:57:48
IDJOB=4509308
IDBENCH=158611
IDSOLVER=3323
FILE ID=nodeC029/4509308-1751518668
RUNJOBID= nodeC029-1751517541-72047
SLURM_JOB_ID= 9598634
Free space on /tmp= 432216 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509308-1751518668/watcher-4509308-1751518668 -o /tmp/evaluation-result-4509308-1751518668/solver-4509308-1751518668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751517541-72047 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4509308-1751518668.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=1608839913
nodeC029 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 : 3599.719
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.46
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 : 3598.430
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.46
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 : 3603.012
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.46
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.723
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.46
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.713
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.46
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.798
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.46
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 : 3601.434
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.46
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 : 3541.819
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 111067420 kB
MemAvailable: 113936760 kB
Buffers: 2128 kB
Cached: 3662852 kB
SwapCached: 40 kB
Active: 16194012 kB
Inactive: 3223324 kB
Active(anon): 15765608 kB
Inactive(anon): 4768 kB
Active(file): 428404 kB
Inactive(file): 3218556 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14788 kB
Writeback: 0 kB
AnonPages: 15755428 kB
Mapped: 127720 kB
Shmem: 18020 kB
KReclaimable: 123240 kB
Slab: 212336 kB
SReclaimable: 123240 kB
SUnreclaim: 89096 kB
KernelStack: 4272 kB
PageTables: 34628 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 18915060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6164480 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432212 MiB
End job on nodeC029 at 2025-07-03 07:57:59