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: 63794 MiB (62626 MiB free)
memory of node 1: 64507 MiB (63383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521882-1751576257/watcher-4521882-1751576257 -o /tmp/evaluation-result-4521882-1751576257/solver-4521882-1751576257 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751566511-80448 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521882-1751576257.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=82423, runsolver pid=82420
[startup+0.100041 s]*
/proc/loadavg: 4.11 4.16 4.17 5/252 82424
/proc/meminfo: memFree=129034348/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=28896 memory=10112 CPUtime=0.09 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1949 0 0 0 9 0 0 0 20 0 1 0 73305605 29589504 2528 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 7224 2528 736 2416 0 4326 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 10112 KiB
[startup+0.21304 s]*
/proc/loadavg: 4.11 4.16 4.17 5/252 82424
/proc/meminfo: memFree=129034348/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=35300 memory=15488 CPUtime=0.19 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 3308 0 0 0 18 1 0 0 20 0 1 0 73305605 36147200 3872 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 8825 3872 736 2416 0 5927 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35300 KiB
Current children cumulated memory: 15488 KiB
[startup+0.312463 s]*
/proc/loadavg: 4.11 4.16 4.17 5/252 82424
/proc/meminfo: memFree=129030568/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=41460 memory=20608 CPUtime=0.28 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 4658 0 0 0 27 1 0 0 20 0 1 0 73305605 42455040 5152 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 10365 5152 736 2416 0 7467 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41460 KiB
Current children cumulated memory: 20608 KiB
[startup+0.700181 s]
/proc/loadavg: 4.11 4.16 4.17 5/252 82424
/proc/meminfo: memFree=129018472/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=71136 memory=48144 CPUtime=0.63 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 11735 0 0 0 60 3 0 0 20 0 1 0 73305605 72843264 12036 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 17784 12036 736 2416 0 14886 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 71136 KiB
Current children cumulated memory: 48144 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.16 4.17 6/252 82424
/proc/meminfo: memFree=128963788/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=173932 memory=133072 CPUtime=1.42 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 32536 0 0 0 135 7 0 0 20 0 1 0 73305605 178106368 33268 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 43483 33268 736 2416 0 40585 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 173932 KiB
Current children cumulated memory: 133072 KiB
[startup+3.1053 s]
/proc/loadavg: 4.10 4.16 4.17 6/252 82424
/proc/meminfo: memFree=128681668/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=415100 memory=362604 CPUtime=3.01 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 84813 0 0 0 284 17 0 0 20 0 1 0 73305605 425062400 90651 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 103775 90651 736 2416 0 100877 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 415100 KiB
Current children cumulated memory: 362604 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.15 4.17 6/252 82424
/proc/meminfo: memFree=128203192/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=953952 memory=874440 CPUtime=6.18 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 175725 0 0 0 582 36 0 0 20 0 1 0 73305605 976846848 218610 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 238488 218610 736 2416 0 235590 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 953952 KiB
Current children cumulated memory: 874440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.15 4.17 6/252 82424
/proc/meminfo: memFree=127223544/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=2056788 memory=1867100 CPUtime=12.53 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 332529 0 0 0 1180 73 0 0 20 0 1 0 73305605 2106150912 466775 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 514197 466775 736 2416 0 511299 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 2056788 KiB
Current children cumulated memory: 1867100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.15 4.17 6/251 82425
/proc/meminfo: memFree=125480116/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=3782676 memory=3480780 CPUtime=25.21 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 569200 0 0 0 2390 131 0 0 20 0 1 0 73305605 3873460224 870195 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 945669 870195 768 2416 0 942771 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 3782676 KiB
Current children cumulated memory: 3480780 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.15 4.17 6/251 82425
/proc/meminfo: memFree=124656348/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=4677008 memory=4288576 CPUtime=50.57 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 651213 0 0 0 4895 162 0 0 20 0 1 0 73305605 4789256192 1072144 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1169252 1072144 768 2416 0 1166354 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 4677008 KiB
Current children cumulated memory: 4288576 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/250 82427
/proc/meminfo: memFree=122958488/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6337124 memory=5881804 CPUtime=101.57 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 813223 0 0 0 9907 250 0 0 20 0 1 0 73305605 6489214976 1470451 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1584281 1470451 800 2416 0 1581383 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 6337124 KiB
Current children cumulated memory: 5881804 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/249 82429
/proc/meminfo: memFree=122851492/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6337124 memory=5914176 CPUtime=161.4 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 825245 0 0 0 15808 332 0 0 20 0 1 0 73305605 6489214976 1478544 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1584281 1478544 800 2416 0 1581383 0
Current children cumulated CPU time: 161.4 s
Current children cumulated vsize: 6337124 KiB
Current children cumulated memory: 5914176 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.15 6/250 82443
/proc/meminfo: memFree=122739276/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6337124 memory=5992000 CPUtime=221.2 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 831208 0 0 0 21719 401 0 0 20 0 1 0 73305605 6489214976 1498000 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1584281 1498000 800 2416 0 1581383 0
Current children cumulated CPU time: 221.2 s
Current children cumulated vsize: 6337124 KiB
Current children cumulated memory: 5992000 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/250 82445
/proc/meminfo: memFree=122591920/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6715724 memory=6057340 CPUtime=281.02 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 844860 0 0 0 27629 473 0 0 20 0 1 0 73305605 6876901376 1514335 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1678931 1514335 800 2416 0 1676033 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 6715724 KiB
Current children cumulated memory: 6057340 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.14 6/251 82448
/proc/meminfo: memFree=122549688/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6400320 memory=6043196 CPUtime=340.82 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 861043 0 0 0 33532 550 0 0 20 0 1 0 73305605 6553927680 1510799 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1600080 1510799 800 2416 0 1597182 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 6400320 KiB
Current children cumulated memory: 6043196 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.14 6/251 82450
/proc/meminfo: memFree=122439980/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6420656 memory=6072432 CPUtime=400.62 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 873012 0 0 0 39447 615 0 0 20 0 1 0 73305605 6574751744 1518108 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1605164 1518108 800 2416 0 1602266 0
Current children cumulated CPU time: 400.62 s
Current children cumulated vsize: 6420656 KiB
Current children cumulated memory: 6072432 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.13 6/251 82458
/proc/meminfo: memFree=122389840/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=6448440 memory=6057956 CPUtime=460.43 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 885970 0 0 0 45366 677 0 0 20 0 1 0 73305605 6603202560 1514489 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1612110 1514489 800 2416 0 1609212 0
Current children cumulated CPU time: 460.43 s
################
# More data... #
################
Current children cumulated memory: 6812876 KiB
[startup+2862.3 s]
/proc/loadavg: 1.08 1.63 2.55 2/231 82665
/proc/meminfo: memFree=122603788/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7651476 memory=6954560 CPUtime=2853.69 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1302116 0 0 0 282597 2772 0 0 20 0 1 0 73305605 7835111424 1738640 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1912869 1738640 800 2416 0 1909971 0
Current children cumulated CPU time: 2853.69 s
Current children cumulated vsize: 7651476 KiB
Current children cumulated memory: 6954560 KiB
[startup+2922.3 s]
/proc/loadavg: 1.07 1.53 2.45 2/233 82675
/proc/meminfo: memFree=122723048/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7315924 memory=6831748 CPUtime=2913.48 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1310998 0 0 0 288524 2824 0 0 20 0 1 0 73305605 7491506176 1707937 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1828981 1707937 800 2416 0 1826083 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 7315924 KiB
Current children cumulated memory: 6831748 KiB
[startup+2982.3 s]
/proc/loadavg: 1.13 1.46 2.37 2/233 82677
/proc/meminfo: memFree=122693936/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7330632 memory=6879012 CPUtime=2973.27 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1318052 0 0 0 294472 2855 0 0 20 0 1 0 73305605 7506567168 1719753 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1832658 1719753 800 2416 0 1829760 0
Current children cumulated CPU time: 2973.27 s
Current children cumulated vsize: 7330632 KiB
Current children cumulated memory: 6879012 KiB
[startup+3042.3 s]
/proc/loadavg: 1.10 1.39 2.29 2/233 82679
/proc/meminfo: memFree=122251292/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7900528 memory=7388700 CPUtime=3033.06 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1322375 0 0 0 300427 2879 0 0 20 0 1 0 73305605 8090140672 1847175 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1975132 1847175 800 2416 0 1972234 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 7900528 KiB
Current children cumulated memory: 7388700 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 1.33 2.21 2/233 82681
/proc/meminfo: memFree=122663624/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7356072 memory=6901580 CPUtime=3092.88 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1333334 0 0 0 306347 2941 0 0 20 0 1 0 73305605 7532617728 1725395 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1839018 1725395 800 2416 0 1836120 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 7356072 KiB
Current children cumulated memory: 6901580 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.29 2.14 2/234 82685
/proc/meminfo: memFree=122605408/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7379616 memory=6967168 CPUtime=3152.68 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1342388 0 0 0 312283 2985 0 0 20 0 1 0 73305605 7556726784 1741792 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1844904 1741792 800 2416 0 1842006 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 7379616 KiB
Current children cumulated memory: 6967168 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.25 2.07 2/235 82688
/proc/meminfo: memFree=122635464/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7391032 memory=6905772 CPUtime=3212.49 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1350657 0 0 0 318212 3037 0 0 20 0 1 0 73305605 7568416768 1726443 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1847758 1726443 800 2416 0 1844860 0
Current children cumulated CPU time: 3212.49 s
Current children cumulated vsize: 7391032 KiB
Current children cumulated memory: 6905772 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.21 2.00 2/235 82690
/proc/meminfo: memFree=122549776/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7399704 memory=7016328 CPUtime=3272.31 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1358321 0 0 0 324135 3096 0 0 20 0 1 0 73305605 7577296896 1754082 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1849926 1754082 800 2416 0 1847028 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 7399704 KiB
Current children cumulated memory: 7016328 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.19 1.94 2/235 82692
/proc/meminfo: memFree=122612412/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7407424 memory=6932752 CPUtime=3332.14 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1367377 0 0 0 330052 3162 0 0 20 0 1 0 73305605 7585202176 1733188 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1851856 1733188 800 2416 0 1848958 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 7407424 KiB
Current children cumulated memory: 6932752 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.17 1.89 2/235 82694
/proc/meminfo: memFree=122559836/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7413608 memory=7007968 CPUtime=3391.95 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1373011 0 0 0 335981 3214 0 0 20 0 1 0 73305605 7591534592 1751992 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1853402 1751992 800 2416 0 1850504 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 7413608 KiB
Current children cumulated memory: 7007968 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.16 1.84 2/234 82696
/proc/meminfo: memFree=122525784/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7421736 memory=7035948 CPUtime=3451.76 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1381483 0 0 0 341899 3277 0 0 20 0 1 0 73305605 7599857664 1758987 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1855434 1758987 800 2416 0 1852536 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 7421736 KiB
Current children cumulated memory: 7035948 KiB
[startup+3522.3 s]
/proc/loadavg: 1.04 1.13 1.78 2/233 82704
/proc/meminfo: memFree=122552820/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7426768 memory=7012404 CPUtime=3511.58 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1388908 0 0 0 347831 3327 0 0 20 0 1 0 73305605 7605010432 1753101 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1856692 1753101 800 2416 0 1853794 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 7426768 KiB
Current children cumulated memory: 7012404 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.14 1.74 2/232 82706
/proc/meminfo: memFree=122282204/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7991780 memory=7470288 CPUtime=3571.41 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1395418 0 0 0 353769 3372 0 0 20 0 1 0 73305605 8183582720 1867572 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1997945 1867572 800 2416 0 1995047 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 7991780 KiB
Current children cumulated memory: 7470288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 1.08 1.12 1.72 2/232 82707
/proc/meminfo: memFree=122525660/131382112 swapFree=33010416/33010684
[pid=82423] ppid=82420 vsize=7435272 memory=7044352 CPUtime=3600.03 cores=5,7
/proc/82423/stat : 82423 (CASHWMaxSAT-Dis) R 82420 82423 80435 0 -1 4194304 1397405 0 0 0 356615 3388 0 0 20 0 1 0 73305605 7613718528 1761088 18446744073709551615 4198400 14093885 140737443273424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26771456 140737443281258 140737443281373 140737443281373 140737443286975 0
/proc/82423/statm: 1858818 1761088 800 2416 0 1855920 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7435272 KiB
Current children cumulated memory: 7044352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.09 s]
# the end of solver process 82423 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.16 s, system=33.9603 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.09
CPU time (s): 3600.12
CPU user time (s): 3566.16
CPU system time (s): 33.9603
CPU usage (%): 99.6962
Max. virtual memory (cumulated for all children) (KiB): 8334356
Max. memory (cumulated for all children) (KiB): 7522284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.16
system time used= 33.9603
maximum resident set size= 7522284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1397405
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= 209
involuntary context switches= 5816
# summary of solver processes directly reported to runsolver:
# pid: 82423
# total CPU time (s): 3600.12
# total CPU user time (s): 3566.16
# total CPU system time (s): 33.9603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4776 second user time and 33.5947 second system time
The end
Begin job on nodeC012 at 2025-07-03 22:57:39
IDJOB=4521882
IDBENCH=178517
IDSOLVER=3323
FILE ID=nodeC012/4521882-1751576257
RUNJOBID= nodeC012-1751566511-80448
SLURM_JOB_ID= 9598779
Free space on /tmp= 431716 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521882-1751576257/watcher-4521882-1751576257 -o /tmp/evaluation-result-4521882-1751576257/solver-4521882-1751576257 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751566511-80448 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521882-1751576257.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1922683040
nodeC012 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 : 0xb00001f
cpu MHz : 3662.070
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3630.123
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.802
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.143
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3662.021
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.157
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129034348 kB
MemAvailable: 129379868 kB
Buffers: 2136 kB
Cached: 1145900 kB
SwapCached: 16 kB
Active: 1226108 kB
Inactive: 527720 kB
Active(anon): 616740 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 520724 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 125376 kB
Writeback: 4 kB
AnonPages: 608848 kB
Mapped: 133968 kB
Shmem: 17944 kB
KReclaimable: 109724 kB
Slab: 195252 kB
SReclaimable: 109724 kB
SUnreclaim: 85528 kB
KernelStack: 4064 kB
PageTables: 4264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1001260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431740 MiB
End job on nodeC012 at 2025-07-03 23:57:50