runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62307 MiB free)
memory of node 1: 64465 MiB (63700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506065-1751497021/watcher-4506065-1751497021 -o /tmp/evaluation-result-4506065-1751497021/solver-4506065-1751497021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751497021-71790 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4506065-1751497021.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=71834, runsolver pid=71827
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.09 2.22 3.27 5/264 71848
/proc/meminfo: memFree=128938852/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=40804 memory=26256 CPUtime=0.09 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 6235 0 0 0 8 1 0 0 20 0 1 0 65379593 41783296 6564 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 10201 6564 864 2593 0 7094 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40804 KiB
Current children cumulated memory: 26256 KiB
[startup+0.205516 s]*
/proc/loadavg: 1.09 2.22 3.27 5/264 71848
/proc/meminfo: memFree=128792244/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=62144 memory=47112 CPUtime=0.2 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 11956 0 0 0 18 2 0 0 20 0 1 0 65379593 63635456 11778 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 15536 11778 864 2593 0 12429 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62144 KiB
Current children cumulated memory: 47112 KiB
[startup+0.305429 s]*
/proc/loadavg: 1.09 2.22 3.27 5/264 71848
/proc/meminfo: memFree=128602092/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=78136 memory=63112 CPUtime=0.3 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 15960 0 0 0 27 3 0 0 20 0 1 0 65379593 80011264 15778 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 19534 15778 864 2593 0 16427 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78136 KiB
Current children cumulated memory: 63112 KiB
[startup+0.700173 s]
/proc/loadavg: 1.09 2.22 3.27 5/264 71848
/proc/meminfo: memFree=128517100/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=132044 memory=115700 CPUtime=0.69 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 29106 0 0 0 64 5 0 0 20 0 1 0 65379593 135213056 28925 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 33011 28925 864 2593 0 29904 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132044 KiB
Current children cumulated memory: 115700 KiB
[startup+1.50015 s]
/proc/loadavg: 1.09 2.22 3.27 5/264 71848
/proc/meminfo: memFree=128263828/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=283268 memory=267148 CPUtime=1.49 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 63923 0 0 0 138 11 0 0 20 0 1 0 65379593 290066432 66787 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 70817 66787 864 2593 0 67710 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 283268 KiB
Current children cumulated memory: 267148 KiB
[startup+3.10523 s]
/proc/loadavg: 1.09 2.22 3.27 5/264 71848
/proc/meminfo: memFree=127001400/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=556908 memory=538408 CPUtime=3.09 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 120005 0 0 0 288 21 0 0 20 0 1 0 65379593 570273792 134602 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 139227 134602 864 2593 0 136120 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 556908 KiB
Current children cumulated memory: 538408 KiB
[startup+6.30017 s]
/proc/loadavg: 1.33 2.25 3.28 5/264 71848
/proc/meminfo: memFree=125542068/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1002772 memory=963836 CPUtime=6.28 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 173352 0 0 0 594 34 0 0 20 0 1 0 65379593 1026838528 240959 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 250693 240959 896 2593 0 247586 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1002772 KiB
Current children cumulated memory: 963836 KiB
[startup+12.7002 s]
/proc/loadavg: 1.62 2.29 3.28 5/264 71848
/proc/meminfo: memFree=123954808/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1416536 memory=1360548 CPUtime=12.66 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 233358 0 0 0 1211 55 0 0 20 0 1 0 65379593 1450532864 340137 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 354134 340137 1152 2593 0 351027 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1416536 KiB
Current children cumulated memory: 1360548 KiB
[startup+25.5002 s]
/proc/loadavg: 2.22 2.39 3.30 5/264 71848
/proc/meminfo: memFree=118812436/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1412584 memory=1348784 CPUtime=25.43 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 245605 0 0 0 2463 80 0 0 20 0 1 0 65379593 1446486016 337196 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 353146 337196 1248 2593 0 350039 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1412584 KiB
Current children cumulated memory: 1348784 KiB
[startup+51.1054 s]
/proc/loadavg: 2.91 2.54 3.33 5/264 71848
/proc/meminfo: memFree=119076616/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1420380 memory=1368824 CPUtime=50.95 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 279363 0 0 0 4972 123 0 0 20 0 1 0 65379593 1454469120 342206 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 355095 342206 1248 2593 0 351988 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1420380 KiB
Current children cumulated memory: 1368824 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.78 3.37 5/265 71851
/proc/meminfo: memFree=118308296/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1364344 memory=1313004 CPUtime=102 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 326178 0 0 0 10012 188 0 0 20 0 1 0 65379593 1397088256 328251 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 341086 328251 1248 2593 0 337979 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1364344 KiB
Current children cumulated memory: 1313004 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.02 3.42 5/265 71854
/proc/meminfo: memFree=119495160/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1460332 memory=1393692 CPUtime=161.82 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 360032 0 0 0 15954 228 0 0 20 0 1 0 65379593 1495379968 348423 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 365083 348423 1248 2593 0 361976 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1460332 KiB
Current children cumulated memory: 1393692 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.22 3.46 5/267 71862
/proc/meminfo: memFree=119277508/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1570044 memory=1525624 CPUtime=221.64 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 372815 0 0 0 21912 252 0 0 20 0 1 0 65379593 1607725056 381406 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 392511 381406 1248 2593 0 389404 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1570044 KiB
Current children cumulated memory: 1525624 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.38 3.50 5/267 71881
/proc/meminfo: memFree=119102392/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1628720 memory=1553276 CPUtime=281.47 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 439061 0 0 0 27869 278 0 0 20 0 1 0 65379593 1667809280 388319 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 407180 388319 1248 2593 0 404073 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1628720 KiB
Current children cumulated memory: 1553276 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.51 3.54 5/266 71883
/proc/meminfo: memFree=118644636/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1633944 memory=1563284 CPUtime=341.28 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 442012 0 0 0 33846 282 0 0 20 0 1 0 65379593 1673158656 390821 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 408486 390821 1248 2593 0 405379 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1633944 KiB
Current children cumulated memory: 1563284 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.63 3.58 5/265 71885
/proc/meminfo: memFree=119339192/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1607380 memory=1541556 CPUtime=401.1 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 456803 0 0 0 39805 305 0 0 20 0 1 0 65379593 1645957120 385389 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 401845 385389 1248 2593 0 398738 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1607380 KiB
Current children cumulated memory: 1541556 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 3.77 3.63 5/265 71888
/proc/meminfo: memFree=119212852/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=1646420 memory=1578568 CPUtime=460.93 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 460516 0 0 0 45780 313 0 0 20 0 1 0 65379593 1685934080 394642 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 411605 394642 1248 2593 0 408498 0
################
# More data... #
################
Current children cumulated memory: 2441208 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 72009
/proc/meminfo: memFree=114408404/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2544248 memory=2477200 CPUtime=2913.34 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 902371 0 0 0 290554 780 0 0 20 0 1 0 65379593 2605309952 619300 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 636062 619300 1248 2593 0 632955 0
Current children cumulated CPU time: 2913.34 s
Current children cumulated vsize: 2544248 KiB
Current children cumulated memory: 2477200 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.06 5/263 72011
/proc/meminfo: memFree=114397012/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2472780 memory=2405732 CPUtime=2973.18 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 904059 0 0 0 296533 785 0 0 20 0 1 0 65379593 2532126720 601433 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 618195 601433 1248 2593 0 615088 0
Current children cumulated CPU time: 2973.18 s
Current children cumulated vsize: 2472780 KiB
Current children cumulated memory: 2405732 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/264 72014
/proc/meminfo: memFree=114435436/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2487036 memory=2419988 CPUtime=3033.01 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 907886 0 0 0 302507 794 0 0 20 0 1 0 65379593 2546724864 604997 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 621759 604997 1248 2593 0 618652 0
Current children cumulated CPU time: 3033.01 s
Current children cumulated vsize: 2487036 KiB
Current children cumulated memory: 2419988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/264 72016
/proc/meminfo: memFree=113362644/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2714212 memory=2636452 CPUtime=3092.85 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 976387 0 0 0 308470 815 0 0 20 0 1 0 65379593 2779353088 659113 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 678553 659113 1248 2593 0 675446 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 2714212 KiB
Current children cumulated memory: 2636452 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/264 72018
/proc/meminfo: memFree=113301252/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2754296 memory=2676404 CPUtime=3152.68 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 977738 0 0 0 314448 820 0 0 20 0 1 0 65379593 2820399104 669101 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 688574 669101 1248 2593 0 685467 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 2754296 KiB
Current children cumulated memory: 2676404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/264 72025
/proc/meminfo: memFree=113745320/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2760268 memory=2682712 CPUtime=3212.51 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 982984 0 0 0 320421 830 0 0 20 0 1 0 65379593 2826514432 670678 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 690067 670678 1248 2593 0 686960 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 2760268 KiB
Current children cumulated memory: 2682712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/265 72030
/proc/meminfo: memFree=113708928/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2938572 memory=2821192 CPUtime=3272.34 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 994091 0 0 0 326395 839 0 0 20 0 1 0 65379593 3009097728 705298 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 734643 705298 1248 2593 0 731536 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 2938572 KiB
Current children cumulated memory: 2821192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/263 72032
/proc/meminfo: memFree=113910128/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2763416 memory=2695640 CPUtime=3332.18 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1001970 0 0 0 332371 847 0 0 20 0 1 0 65379593 2829737984 673910 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 690854 673910 1248 2593 0 687747 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 2763416 KiB
Current children cumulated memory: 2695640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/263 72034
/proc/meminfo: memFree=113956672/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2795724 memory=2727948 CPUtime=3392.01 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1003733 0 0 0 338349 852 0 0 20 0 1 0 65379593 2862821376 681987 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 698931 681987 1248 2593 0 695824 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 2795724 KiB
Current children cumulated memory: 2727948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.13 4.08 5/263 72036
/proc/meminfo: memFree=113735404/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2787568 memory=2719916 CPUtime=3451.84 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1007912 0 0 0 344328 856 0 0 20 0 1 0 65379593 2854469632 679979 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 696892 679979 1248 2593 0 693785 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 2787568 KiB
Current children cumulated memory: 2719916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 72038
/proc/meminfo: memFree=113171552/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=3036488 memory=2918844 CPUtime=3511.68 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1027647 0 0 0 350296 872 0 0 20 0 1 0 65379593 3109363712 729711 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 759122 729711 1248 2593 0 756015 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 3036488 KiB
Current children cumulated memory: 2918844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 72041
/proc/meminfo: memFree=113461016/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2951500 memory=2866416 CPUtime=3571.51 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1034063 0 0 0 356272 879 0 0 20 0 1 0 65379593 3022336000 716604 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 737875 716604 1248 2593 0 734768 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 2951500 KiB
Current children cumulated memory: 2866416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 72042
/proc/meminfo: memFree=113515200/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2867048 memory=2798920 CPUtime=3600.04 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1035147 0 0 0 359118 886 0 0 20 0 1 0 65379593 2935857152 699730 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 716762 699730 1248 2593 0 713655 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2867048 KiB
Current children cumulated memory: 2798920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 71834 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.18 s, system=8.8783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 72042
/proc/meminfo: memFree=113515200/131249996 swapFree=33006296/33010684
[pid=71834] ppid=71827 vsize=2867048 memory=2798920 CPUtime=3600.04 cores=4,6
/proc/71834/stat : 71834 (CASHWMaxSAT-Dis) R 71827 71834 71779 0 -1 4194304 1035147 0 0 0 359118 886 0 0 20 0 1 0 65379593 2935857152 699730 18446744073709551615 4198400 14817773 140737314161136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48173056 140737314167146 140737314167261 140737314167261 140737314172863 0
/proc/71834/statm: 716762 699730 1248 2593 0 713655 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2867048 KiB
Current children cumulated memory: 2798920 KiB
Child status: 0
Real time (s): 3610.92
CPU time (s): 3600.06
CPU user time (s): 3591.18
CPU system time (s): 8.8783
CPU usage (%): 99.6993
Max. virtual memory (cumulated for all children) (KiB): 3442408
Max. memory (cumulated for all children) (KiB): 3314044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.18
system time used= 8.8783
maximum resident set size= 3314044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035147
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= 401
involuntary context switches= 3448
# summary of solver processes directly reported to runsolver:
# pid: 71834
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.18
# total CPU system time (s): 8.8783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74465 second user time and 16.267 second system time
The end
Begin job on nodeC015 at 2025-07-03 00:57:01
IDJOB=4506065
IDBENCH=157811
IDSOLVER=3322
FILE ID=nodeC015/4506065-1751497021
RUNJOBID= nodeC015-1751497021-71790
SLURM_JOB_ID= 9598571
Free space on /tmp= 432244 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506065-1751497021/watcher-4506065-1751497021 -o /tmp/evaluation-result-4506065-1751497021/solver-4506065-1751497021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751497021-71790 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4506065-1751497021.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c3fbcb3bbc6f19a0312d063de4b77764
RANDOM SEED=1432801480
nodeC015 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.753
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.14
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 : 3597.601
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.14
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.079
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.14
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 : 1614.867
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.14
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.072
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.14
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 : 1842.457
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.14
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 : 3600.250
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.14
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 : 3600.412
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129029140 kB
MemAvailable: 129716796 kB
Buffers: 1508 kB
Cached: 1471684 kB
SwapCached: 3880 kB
Active: 318368 kB
Inactive: 1233848 kB
Active(anon): 44368 kB
Inactive(anon): 48808 kB
Active(file): 274000 kB
Inactive(file): 1185040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 145064 kB
Writeback: 0 kB
AnonPages: 78292 kB
Mapped: 100056 kB
Shmem: 14152 kB
KReclaimable: 135712 kB
Slab: 225828 kB
SReclaimable: 135712 kB
SUnreclaim: 90116 kB
KernelStack: 4096 kB
PageTables: 2872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432204 MiB
End job on nodeC015 at 2025-07-03 01:57:12