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 (62487 MiB free)
memory of node 1: 64507 MiB (63580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542138-1753212081/watcher-4542138-1753212081 -o /tmp/evaluation-result-4542138-1753212081/solver-4542138-1753212081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172649 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542138-1753212081.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=172710, runsolver pid=172707
[startup+0.100062 s]*
/proc/loadavg: 1.16 1.48 2.64 5/267 172711
/proc/meminfo: memFree=129052536/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=41940 memory=21264 CPUtime=0.09 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 4820 0 0 0 9 0 0 0 20 0 1 0 236887795 42946560 5316 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 10485 5316 736 2416 0 7587 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41940 KiB
Current children cumulated memory: 21264 KiB
[startup+0.205319 s]*
/proc/loadavg: 1.16 1.48 2.64 5/267 172711
/proc/meminfo: memFree=129024312/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=60224 memory=38860 CPUtime=0.2 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 9397 0 0 0 19 1 0 0 20 0 1 0 236887795 61669376 9715 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 15056 9715 736 2416 0 12158 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60224 KiB
Current children cumulated memory: 38860 KiB
[startup+0.305597 s]*
/proc/loadavg: 1.16 1.48 2.64 5/267 172711
/proc/meminfo: memFree=128985768/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=78268 memory=55116 CPUtime=0.3 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 13478 0 0 0 29 1 0 0 20 0 1 0 236887795 80146432 13779 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 19567 13779 736 2416 0 16669 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78268 KiB
Current children cumulated memory: 55116 KiB
[startup+0.70013 s]
/proc/loadavg: 1.16 1.48 2.64 5/267 172711
/proc/meminfo: memFree=128910544/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=141972 memory=117900 CPUtime=0.69 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 29198 0 0 0 66 3 0 0 20 0 1 0 236887795 145379328 29475 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 35493 29475 736 2416 0 32595 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 141972 KiB
Current children cumulated memory: 117900 KiB
[startup+1.50013 s]
/proc/loadavg: 1.38 1.52 2.65 5/267 172711
/proc/meminfo: memFree=128755728/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=282260 memory=246108 CPUtime=1.49 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 58633 0 0 0 141 8 0 0 20 0 1 0 236887795 289034240 61527 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 70565 61527 736 2416 0 67667 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 282260 KiB
Current children cumulated memory: 246108 KiB
[startup+3.10543 s]
/proc/loadavg: 1.38 1.52 2.65 5/267 172711
/proc/meminfo: memFree=128114440/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=572768 memory=510240 CPUtime=3.09 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 112316 0 0 0 291 18 0 0 20 0 1 0 236887795 586514432 127560 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 143192 127560 736 2416 0 140294 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 572768 KiB
Current children cumulated memory: 510240 KiB
[startup+6.30013 s]
/proc/loadavg: 1.59 1.56 2.66 5/267 172711
/proc/meminfo: memFree=127145448/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=1086796 memory=1021036 CPUtime=6.27 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 204569 0 0 0 589 38 0 0 20 0 1 0 236887795 1112879104 255259 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 271699 255259 736 2416 0 268801 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1086796 KiB
Current children cumulated memory: 1021036 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 1.62 2.67 5/267 172711
/proc/meminfo: memFree=125652800/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=2289164 memory=2175892 CPUtime=12.66 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 386897 0 0 0 1188 78 0 0 20 0 1 0 236887795 2344103936 543941 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 572291 543973 736 2416 0 569393 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2289164 KiB
Current children cumulated memory: 2175892 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.70 2.69 5/267 172711
/proc/meminfo: memFree=124775416/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=2962580 memory=2844372 CPUtime=25.43 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 467479 0 0 0 2439 104 0 0 20 0 1 0 236887795 3033681920 711093 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 740645 711093 768 2416 0 737747 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2962580 KiB
Current children cumulated memory: 2844372 KiB
[startup+51.1056 s]
/proc/loadavg: 2.91 1.92 2.73 5/267 172712
/proc/meminfo: memFree=123177008/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4808980 memory=4323220 CPUtime=50.96 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 563178 0 0 0 4942 154 0 0 20 0 1 0 236887795 4924395520 1080805 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1202245 1080805 768 2416 0 1199347 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4808980 KiB
Current children cumulated memory: 4323220 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.27 2.81 5/268 172720
/proc/meminfo: memFree=123286508/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4698064 memory=4168552 CPUtime=102.03 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 577899 0 0 0 9979 224 0 0 20 0 1 0 236887795 4810817536 1042138 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1174516 1042138 800 2416 0 1171618 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 4698064 KiB
Current children cumulated memory: 4168552 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.59 2.89 5/268 172722
/proc/meminfo: memFree=123164364/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4698064 memory=4236296 CPUtime=161.88 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 583188 0 0 0 15910 278 0 0 20 0 1 0 236887795 4810817536 1059074 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1174516 1059074 800 2416 0 1171618 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 4698064 KiB
Current children cumulated memory: 4236296 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.86 2.96 5/267 172724
/proc/meminfo: memFree=123130832/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4716720 memory=4199912 CPUtime=221.72 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 594956 0 0 0 21821 351 0 0 20 0 1 0 236887795 4829921280 1049978 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1179180 1049978 800 2416 0 1176282 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 4716720 KiB
Current children cumulated memory: 4199912 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.10 3.04 5/268 172727
/proc/meminfo: memFree=122631480/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4530456 memory=4194668 CPUtime=281.56 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 607699 0 0 0 27741 415 0 0 20 0 1 0 236887795 4639186944 1048667 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1132614 1048667 800 2416 0 1129716 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 4530456 KiB
Current children cumulated memory: 4194668 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.28 3.11 5/265 172729
/proc/meminfo: memFree=122901744/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4764596 memory=4263508 CPUtime=341.41 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 617089 0 0 0 33676 465 0 0 20 0 1 0 236887795 4878946304 1065877 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1191149 1065877 800 2416 0 1188251 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 4764596 KiB
Current children cumulated memory: 4263508 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.45 3.18 5/264 172731
/proc/meminfo: memFree=122782980/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4581620 memory=4257288 CPUtime=401.26 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 630716 0 0 0 39598 528 0 0 20 0 1 0 236887795 4691578880 1064322 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1145405 1064322 800 2416 0 1142507 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 4581620 KiB
Current children cumulated memory: 4257288 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.57 3.24 5/264 172734
/proc/meminfo: memFree=122676792/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=4822880 memory=4326888 CPUtime=461.1 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 642891 0 0 0 45528 582 0 0 20 0 1 0 236887795 4938629120 1081722 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1205720 1081722 800 2416 0 1202822 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
/proc/172710/statm: 1365723 1269658 800 2416 0 1362825 0
Current children cumulated CPU time: 2854.75 s
Current children cumulated vsize: 5462892 KiB
Current children cumulated memory: 5078632 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 172864
/proc/meminfo: memFree=120704792/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5680888 memory=5114124 CPUtime=2914.56 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1062526 0 0 0 288666 2790 0 0 20 0 1 0 236887795 5817229312 1278531 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1420222 1278531 800 2416 0 1417324 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 5680888 KiB
Current children cumulated memory: 5114124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 172869
/proc/meminfo: memFree=120704524/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5473532 memory=5072504 CPUtime=2974.36 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1066169 0 0 0 294629 2807 0 0 20 0 1 0 236887795 5604896768 1268126 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1368383 1268126 800 2416 0 1365485 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 5473532 KiB
Current children cumulated memory: 5072504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 172871
/proc/meminfo: memFree=120682316/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5485008 memory=5106120 CPUtime=3034.18 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1071626 0 0 0 300593 2825 0 0 20 0 1 0 236887795 5616648192 1276530 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1371252 1276530 800 2416 0 1368354 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 5485008 KiB
Current children cumulated memory: 5106120 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 172878
/proc/meminfo: memFree=120641720/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5498076 memory=5114492 CPUtime=3093.99 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1077000 0 0 0 306554 2845 0 0 20 0 1 0 236887795 5630029824 1278623 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1374519 1278623 800 2416 0 1371621 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 5498076 KiB
Current children cumulated memory: 5114492 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 172880
/proc/meminfo: memFree=120574976/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5722496 memory=5164344 CPUtime=3153.8 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1081218 0 0 0 312524 2856 0 0 20 0 1 0 236887795 5859835904 1291086 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1430624 1291086 800 2416 0 1427726 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 5722496 KiB
Current children cumulated memory: 5164344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/264 172881
/proc/meminfo: memFree=120552096/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5732624 memory=5184112 CPUtime=3213.6 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1086681 0 0 0 318476 2884 0 0 20 0 1 0 236887795 5870206976 1296028 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1433156 1296028 800 2416 0 1430258 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 5732624 KiB
Current children cumulated memory: 5184112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 172883
/proc/meminfo: memFree=120299928/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=6085636 memory=5557784 CPUtime=3273.42 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1095578 0 0 0 324386 2956 0 0 20 0 1 0 236887795 6231691264 1389446 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1521409 1389446 800 2416 0 1518511 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 6085636 KiB
Current children cumulated memory: 5557784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 172885
/proc/meminfo: memFree=120431084/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5751492 memory=5254540 CPUtime=3333.22 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1105767 0 0 0 330286 3036 0 0 20 0 1 0 236887795 5889527808 1313635 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1437873 1313635 800 2416 0 1434975 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 5751492 KiB
Current children cumulated memory: 5254540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.03 5/262 172887
/proc/meminfo: memFree=120499792/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5542712 memory=5152036 CPUtime=3393.03 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1111043 0 0 0 336230 3073 0 0 20 0 1 0 236887795 5675737088 1288009 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1385678 1288009 800 2416 0 1382780 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 5542712 KiB
Current children cumulated memory: 5152036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/263 172890
/proc/meminfo: memFree=120430236/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5768264 memory=5200696 CPUtime=3452.84 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1116330 0 0 0 342191 3093 0 0 20 0 1 0 236887795 5906702336 1300174 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1442066 1300174 800 2416 0 1439168 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 5768264 KiB
Current children cumulated memory: 5200696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 172894
/proc/meminfo: memFree=120446248/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5555604 memory=5149920 CPUtime=3512.64 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1117877 0 0 0 348162 3102 0 0 20 0 1 0 236887795 5688938496 1287480 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1388901 1287480 800 2416 0 1386003 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 5555604 KiB
Current children cumulated memory: 5149920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/266 172900
/proc/meminfo: memFree=120428412/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=5561332 memory=5169544 CPUtime=3572.45 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1121428 0 0 0 354125 3120 0 0 20 0 1 0 236887795 5694803968 1292386 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1390333 1292386 800 2416 0 1387435 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 5561332 KiB
Current children cumulated memory: 5169544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.11 4.09 4.03 2/254 172926
/proc/meminfo: memFree=123772736/131249996 swapFree=33005016/33010684
[pid=172710] ppid=172707 vsize=6121560 memory=5550216 CPUtime=3600.07 cores=0,2
/proc/172710/stat : 172710 (CASHWMaxSAT-Dis) R 172707 172710 172639 0 -1 4194304 1123871 0 0 0 356869 3138 0 0 20 0 1 0 236887795 6268477440 1387554 18446744073709551615 4198400 14093885 140736849455104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40300544 140736849463656 140736849463771 140736849463771 140736849469375 0
/proc/172710/statm: 1530390 1387554 800 2416 0 1527492 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6121560 KiB
Current children cumulated memory: 5550216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 172710 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.7 s, system=31.5064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]*
/proc/loadavg: 4.11 4.09 4.03 2/254 172926
/proc/meminfo: memFree=128151876/131249996 swapFree=33005016/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.13
CPU time (s): 3600.21
CPU user time (s): 3568.7
CPU system time (s): 31.5064
CPU usage (%): 99.7252
Max. virtual memory (cumulated for all children) (KiB): 6121560
Max. memory (cumulated for all children) (KiB): 5624080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.7
system time used= 31.5064
maximum resident set size= 5624080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1123871
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= 45
involuntary context switches= 8030
# summary of solver processes directly reported to runsolver:
# pid: 172710
# total CPU time (s): 3600.21
# total CPU user time (s): 3568.7
# total CPU system time (s): 31.5064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70608 second user time and 15.7702 second system time
The end
Begin job on nodeC030 at 2025-07-22 21:21:22
IDJOB=4542138
IDBENCH=163903
IDSOLVER=3323
FILE ID=nodeC030/4542138-1753212081
RUNJOBID= nodeC030-1753212081-172649
SLURM_JOB_ID= 9687801
Free space on /tmp= 432708 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542138-1753212081/watcher-4542138-1753212081 -o /tmp/evaluation-result-4542138-1753212081/solver-4542138-1753212081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172649 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542138-1753212081.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c26c89c819410142827dd0be6bce850a
RANDOM SEED=1883705223
nodeC030 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 : 3602.381
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 : 7000.62
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 : 3600.318
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 : 7000.62
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.328
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 : 7000.62
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 : 3601.397
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 : 7000.62
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.340
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 : 7000.62
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 : 3600.329
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 : 7000.62
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 : 3586.847
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 : 7000.62
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 : 3596.723
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129105016 kB
MemAvailable: 129487404 kB
Buffers: 16 kB
Cached: 1149040 kB
SwapCached: 232 kB
Active: 890448 kB
Inactive: 477820 kB
Active(anon): 203064 kB
Inactive(anon): 37904 kB
Active(file): 687384 kB
Inactive(file): 439916 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 154096 kB
Writeback: 0 kB
AnonPages: 222468 kB
Mapped: 113316 kB
Shmem: 21756 kB
KReclaimable: 188256 kB
Slab: 283672 kB
SReclaimable: 188256 kB
SUnreclaim: 95416 kB
KernelStack: 4304 kB
PageTables: 3384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 603176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432696 MiB
End job on nodeC030 at 2025-07-22 22:21:32