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: 63665 MiB (62087 MiB free)
memory of node 1: 64507 MiB (63038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545257-1753238046/watcher-4545257-1753238046 -o /tmp/evaluation-result-4545257-1753238046/solver-4545257-1753238046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753238044-202418 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4545257-1753238046.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=202521, runsolver pid=202518
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.12 1.10 1.11 5/263 202522
/proc/meminfo: memFree=128115952/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=31244 memory=16752 CPUtime=0.1 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 3509 0 0 0 10 0 0 0 20 0 1 0 239484852 31993856 4188 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 7811 4188 864 2593 0 4704 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31244 KiB
Current children cumulated memory: 16752 KiB
[startup+0.205294 s]*
/proc/loadavg: 1.12 1.10 1.11 5/263 202522
/proc/meminfo: memFree=128092264/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=44132 memory=29592 CPUtime=0.2 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 6834 0 0 0 20 0 0 0 20 0 1 0 239484852 45191168 7398 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 11033 7398 864 2593 0 7926 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44132 KiB
Current children cumulated memory: 29592 KiB
[startup+0.305243 s]*
/proc/loadavg: 1.12 1.10 1.11 5/263 202522
/proc/meminfo: memFree=128068424/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=57624 memory=42656 CPUtime=0.29 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 10383 0 0 0 29 0 0 0 20 0 1 0 239484852 59006976 10664 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 14406 10664 864 2593 0 11299 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57624 KiB
Current children cumulated memory: 42656 KiB
[startup+0.700158 s]
/proc/loadavg: 1.35 1.15 1.12 5/263 202522
/proc/meminfo: memFree=128028356/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=108912 memory=92536 CPUtime=0.69 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 22818 0 0 0 66 3 0 0 20 0 1 0 239484852 111525888 23134 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 27228 23134 896 2593 0 24121 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 92536 KiB
[startup+1.50016 s]
/proc/loadavg: 1.35 1.15 1.12 5/263 202522
/proc/meminfo: memFree=127930828/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=164492 memory=140988 CPUtime=1.49 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 30347 0 0 0 144 5 0 0 20 0 1 0 239484852 168439808 35247 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 41123 35247 896 2593 0 38016 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 164492 KiB
Current children cumulated memory: 140988 KiB
[startup+3.10513 s]
/proc/loadavg: 1.35 1.15 1.12 5/263 202522
/proc/meminfo: memFree=127619064/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=248360 memory=223984 CPUtime=3.08 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 39514 0 0 0 301 7 0 0 20 0 1 0 239484852 254320640 55996 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 62090 55996 896 2593 0 58983 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 248360 KiB
Current children cumulated memory: 223984 KiB
[startup+6.30015 s]
/proc/loadavg: 1.56 1.19 1.14 5/263 202522
/proc/meminfo: memFree=126859496/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=691652 memory=612540 CPUtime=6.27 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 62908 0 0 0 609 18 0 0 20 0 1 0 239484852 708251648 153135 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 172913 153135 896 2593 0 169806 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 691652 KiB
Current children cumulated memory: 612540 KiB
[startup+12.7002 s]
/proc/loadavg: 1.76 1.24 1.15 5/263 202522
/proc/meminfo: memFree=124748080/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2447072 memory=2234892 CPUtime=12.66 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 282292 0 0 0 1198 68 0 0 20 0 1 0 239484852 2505801728 558723 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 611768 558723 896 2593 0 608661 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2447072 KiB
Current children cumulated memory: 2234892 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.33 1.18 5/263 202522
/proc/meminfo: memFree=123974696/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2358872 memory=2150416 CPUtime=25.42 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 303552 0 0 0 2467 75 0 0 20 0 1 0 239484852 2415484928 537604 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 589718 537604 960 2593 0 586611 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2358872 KiB
Current children cumulated memory: 2150416 KiB
[startup+51.1053 s]
/proc/loadavg: 2.90 1.60 1.28 5/264 202569
/proc/meminfo: memFree=122660560/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2689504 memory=2481732 CPUtime=50.96 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 306328 0 0 0 5011 85 0 0 20 0 1 0 239484852 2754052096 620433 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 672376 620433 960 2593 0 669269 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2689504 KiB
Current children cumulated memory: 2481732 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.99 1.43 5/264 202569
/proc/meminfo: memFree=120462808/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2682068 memory=2389364 CPUtime=102.01 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 334354 0 0 0 10047 154 0 0 20 0 1 0 239484852 2746437632 597341 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 670517 597341 992 2593 0 667410 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2682068 KiB
Current children cumulated memory: 2389364 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.39 1.60 5/265 202572
/proc/meminfo: memFree=116442856/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2697600 memory=2424840 CPUtime=161.81 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 340497 0 0 0 16010 171 0 0 20 0 1 0 239484852 2762342400 606210 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 674400 606210 992 2593 0 671293 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2697600 KiB
Current children cumulated memory: 2424840 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.70 1.76 5/266 202577
/proc/meminfo: memFree=116968096/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2598784 memory=2360720 CPUtime=221.65 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 345042 0 0 0 21980 185 0 0 20 0 1 0 239484852 2661154816 590180 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 649696 590180 992 2593 0 646589 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2598784 KiB
Current children cumulated memory: 2360720 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.95 1.91 5/266 202624
/proc/meminfo: memFree=124998036/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2598040 memory=2360000 CPUtime=281.49 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 351466 0 0 0 27951 198 0 0 20 0 1 0 239484852 2660392960 590000 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 649510 590000 992 2593 0 646403 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 2598040 KiB
Current children cumulated memory: 2360000 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 3.21 2.06 5/265 202630
/proc/meminfo: memFree=124986408/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2597284 memory=2360268 CPUtime=341.32 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 353754 0 0 0 33925 207 0 0 20 0 1 0 239484852 2659618816 590067 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 649321 590067 992 2593 0 646214 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 2597284 KiB
Current children cumulated memory: 2360268 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 3.43 2.21 5/264 202632
/proc/meminfo: memFree=124971984/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2596088 memory=2359120 CPUtime=401.15 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 359293 0 0 0 39896 219 0 0 20 0 1 0 239484852 2658394112 589780 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 649022 589780 992 2593 0 645915 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 2596088 KiB
Current children cumulated memory: 2359120 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 3.56 2.34 5/263 202679
/proc/meminfo: memFree=125275292/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2595952 memory=2358984 CPUtime=460.95 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 361182 0 0 0 45869 226 0 0 20 0 1 0 239484852 2658254848 589746 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 648988 589746 992 2593 0 645881 0
################
# More data... #
################
Current children cumulated memory: 2427188 KiB
[startup+2862.3 s]
/proc/loadavg: 3.07 3.09 3.14 4/257 203061
/proc/meminfo: memFree=124701708/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2657148 memory=2427188 CPUtime=2854.51 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 425200 0 0 0 285070 381 0 0 20 0 1 0 239484852 2720919552 606797 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 664287 606797 992 2593 0 661180 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 2657148 KiB
Current children cumulated memory: 2427188 KiB
[startup+2922.3 s]
/proc/loadavg: 3.28 3.13 3.15 4/258 203064
/proc/meminfo: memFree=124690936/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2661996 memory=2432036 CPUtime=2914.34 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 426262 0 0 0 291049 385 0 0 20 0 1 0 239484852 2725883904 608009 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 665499 608009 992 2593 0 662392 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 2661996 KiB
Current children cumulated memory: 2432036 KiB
[startup+2982.3 s]
/proc/loadavg: 3.21 3.15 3.16 4/258 203066
/proc/meminfo: memFree=124591116/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2802800 memory=2532016 CPUtime=2974.17 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 429348 0 0 0 297027 390 0 0 20 0 1 0 239484852 2870067200 633004 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 700700 633004 992 2593 0 697593 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 2802800 KiB
Current children cumulated memory: 2532016 KiB
[startup+3042.3 s]
/proc/loadavg: 3.18 3.15 3.16 4/258 203068
/proc/meminfo: memFree=124591532/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2802800 memory=2532016 CPUtime=3033.99 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 430029 0 0 0 303009 390 0 0 20 0 1 0 239484852 2870067200 633004 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 700700 633004 992 2593 0 697593 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 2802800 KiB
Current children cumulated memory: 2532016 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.14 3.15 4/257 203071
/proc/meminfo: memFree=124667000/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2725708 memory=2461052 CPUtime=3093.81 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 432391 0 0 0 308986 395 0 0 20 0 1 0 239484852 2791124992 615263 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 681427 615263 992 2593 0 678320 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 2725708 KiB
Current children cumulated memory: 2461052 KiB
[startup+3162.3 s]
/proc/loadavg: 3.17 3.14 3.15 4/257 203073
/proc/meminfo: memFree=124658948/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2725708 memory=2463100 CPUtime=3153.66 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 432967 0 0 0 314971 395 0 0 20 0 1 0 239484852 2791124992 615775 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 681427 615775 992 2593 0 678320 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 2725708 KiB
Current children cumulated memory: 2463100 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.13 3.14 4/256 203075
/proc/meminfo: memFree=124606376/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2779676 memory=2517028 CPUtime=3213.5 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 436104 0 0 0 320949 401 0 0 20 0 1 0 239484852 2846388224 629257 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 694919 629257 992 2593 0 691812 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 2779676 KiB
Current children cumulated memory: 2517028 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.12 3.14 4/258 203081
/proc/meminfo: memFree=124581352/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2778320 memory=2515712 CPUtime=3273.35 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 438478 0 0 0 326929 406 0 0 20 0 1 0 239484852 2844999680 628928 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 694580 628928 992 2593 0 691473 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 2778320 KiB
Current children cumulated memory: 2515712 KiB
[startup+3342.3 s]
/proc/loadavg: 3.22 3.14 3.14 4/258 203083
/proc/meminfo: memFree=124581600/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2778320 memory=2515712 CPUtime=3333.19 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 439068 0 0 0 332913 406 0 0 20 0 1 0 239484852 2844999680 628928 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 694580 628928 992 2593 0 691473 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 2778320 KiB
Current children cumulated memory: 2515712 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.13 3.14 4/258 203089
/proc/meminfo: memFree=124641728/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2737936 memory=2475328 CPUtime=3393.04 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 443368 0 0 0 338890 414 0 0 20 0 1 0 239484852 2803646464 618832 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 684484 618832 992 2593 0 681377 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 2737936 KiB
Current children cumulated memory: 2475328 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.12 3.13 4/258 203091
/proc/meminfo: memFree=124641908/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2737936 memory=2475328 CPUtime=3452.89 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 443943 0 0 0 344875 414 0 0 20 0 1 0 239484852 2803646464 618832 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 684484 618832 992 2593 0 681377 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 2737936 KiB
Current children cumulated memory: 2475328 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.12 3.13 4/258 203093
/proc/meminfo: memFree=124641456/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2737936 memory=2475328 CPUtime=3512.73 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 444446 0 0 0 350859 414 0 0 20 0 1 0 239484852 2803646464 618832 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 684484 618832 992 2593 0 681377 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 2737936 KiB
Current children cumulated memory: 2475328 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.11 3.13 4/257 203095
/proc/meminfo: memFree=124641596/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2737912 memory=2475304 CPUtime=3572.58 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 447333 0 0 0 356838 420 0 0 20 0 1 0 239484852 2803621888 618826 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 684478 618826 992 2593 0 681371 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 2737912 KiB
Current children cumulated memory: 2475304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 3.13 3.12 3.13 4/257 203095
/proc/meminfo: memFree=124641932/131250000 swapFree=33008868/33010684
[pid=202521] ppid=202518 vsize=2737912 memory=2475304 CPUtime=3600.01 cores=4,6
/proc/202521/stat : 202521 (CASHWMaxSAT-Dis) R 202518 202521 201822 0 -1 4194304 447405 0 0 0 359581 420 0 0 20 0 1 0 239484852 2803621888 618826 18446744073709551615 4198400 14817773 140723353137904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50728960 140723353143656 140723353143771 140723353143771 140723353149375 0
/proc/202521/statm: 684478 618826 992 2593 0 681371 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2737912 KiB
Current children cumulated memory: 2475304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 202521 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.81 s, system=4.21163 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.02
CPU user time (s): 3595.81
CPU system time (s): 4.21163
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 3325020
Max. memory (cumulated for all children) (KiB): 3052180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.81
system time used= 4.21162
maximum resident set size= 3052180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447405
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= 158
involuntary context switches= 1851
# summary of solver processes directly reported to runsolver:
# pid: 202521
# total CPU time (s): 3600.02
# total CPU user time (s): 3595.81
# total CPU system time (s): 4.21163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35242 second user time and 15.2128 second system time
The end
Begin job on nodeC013 at 2025-07-23 04:34:06
IDJOB=4545257
IDBENCH=180787
IDSOLVER=3322
FILE ID=nodeC013/4545257-1753238046
RUNJOBID= nodeC013-1753238044-202418
SLURM_JOB_ID= 9687859
Free space on /tmp= 432964 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-20_c24.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545257-1753238046/watcher-4545257-1753238046 -o /tmp/evaluation-result-4545257-1753238046/solver-4545257-1753238046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753238044-202418 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4545257-1753238046.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fea607129b7127550b39e04c37b78aae
RANDOM SEED=593731022
nodeC013 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.828
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.67
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.838
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.007
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.67
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 : 3670.679
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.67
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 : 3600.190
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.67
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.847
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.67
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 : 3620.233
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.67
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.500
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128133656 kB
MemAvailable: 129293844 kB
Buffers: 1668 kB
Cached: 1900468 kB
SwapCached: 52 kB
Active: 1318652 kB
Inactive: 1042488 kB
Active(anon): 475568 kB
Inactive(anon): 4872 kB
Active(file): 843084 kB
Inactive(file): 1037616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 92744 kB
Writeback: 4 kB
AnonPages: 462076 kB
Mapped: 115592 kB
Shmem: 21424 kB
KReclaimable: 237056 kB
Slab: 334240 kB
SReclaimable: 237056 kB
SUnreclaim: 97184 kB
KernelStack: 4272 kB
PageTables: 3872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 832348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC013 at 2025-07-23 05:34:16