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 (61894 MiB free)
memory of node 1: 64507 MiB (62281 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524319-1751606996/watcher-4524319-1751606996 -o /tmp/evaluation-result-4524319-1751606996/solver-4524319-1751606996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94077 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4524319-1751606996.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
Starting watchdog thread
solver pid=94915, runsolver pid=94912
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=127104564/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=40464 memory=25784 CPUtime=0.1 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 6153 0 0 0 9 1 0 0 20 0 1 0 76377426 41435136 6446 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 10116 6446 864 2593 0 7009 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40464 KiB
Current children cumulated memory: 25784 KiB
[startup+0.205442 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=127080372/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=53568 memory=38968 CPUtime=0.2 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 9462 0 0 0 19 1 0 0 20 0 1 0 76377426 54853632 9742 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 13392 9742 864 2593 0 10285 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53568 KiB
Current children cumulated memory: 38968 KiB
[startup+0.305387 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=127048368/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=70396 memory=55236 CPUtime=0.3 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 13520 0 0 0 28 2 0 0 20 0 1 0 76377426 72085504 13809 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 17599 13809 864 2593 0 14492 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 55236 KiB
[startup+0.700156 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=126983856/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=107764 memory=87876 CPUtime=0.69 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 21685 0 0 0 66 3 0 0 20 0 1 0 76377426 110350336 21969 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 26941 21969 864 2593 0 23834 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107764 KiB
Current children cumulated memory: 87876 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=126835124/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=183736 memory=154180 CPUtime=1.49 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 38216 0 0 0 142 7 0 0 20 0 1 0 76377426 188145664 38545 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 45934 38545 896 2593 0 42827 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 183736 KiB
Current children cumulated memory: 154180 KiB
[startup+3.1053 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=126337924/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=222096 memory=190860 CPUtime=3.08 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 45251 0 0 0 300 8 0 0 20 0 1 0 76377426 227426304 47715 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 55524 47715 1152 2593 0 52417 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 190860 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=125682464/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=223180 memory=191884 CPUtime=6.27 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 45513 0 0 0 619 8 0 0 20 0 1 0 76377426 228536320 47971 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 55795 47971 1152 2593 0 52688 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 223180 KiB
Current children cumulated memory: 191884 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.14 4.10 5/263 94916
/proc/meminfo: memFree=124342804/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=235876 memory=206952 CPUtime=12.65 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 46310 0 0 0 1256 9 0 0 20 0 1 0 76377426 241537024 51738 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 58969 51738 1152 2593 0 55862 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 235876 KiB
Current children cumulated memory: 206952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.15 4.10 5/264 94917
/proc/meminfo: memFree=120605744/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1008832 memory=953604 CPUtime=25.4 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 146752 0 0 0 2498 42 0 0 20 0 1 0 76377426 1033043968 238401 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 252208 238401 1216 2593 0 249101 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1008832 KiB
Current children cumulated memory: 953604 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 94917
/proc/meminfo: memFree=115672920/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1036976 memory=979828 CPUtime=50.93 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 166183 0 0 0 5026 67 0 0 20 0 1 0 76377426 1061863424 244957 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 259244 244957 1248 2593 0 256137 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1036976 KiB
Current children cumulated memory: 979828 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 94920
/proc/meminfo: memFree=109821952/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1062328 memory=1007600 CPUtime=101.96 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 174795 0 0 0 10102 94 0 0 20 0 1 0 76377426 1087823872 251900 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 265582 251900 1248 2593 0 262475 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1062328 KiB
Current children cumulated memory: 1007600 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.21 4.12 5/264 94922
/proc/meminfo: memFree=107429220/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1216720 memory=1176300 CPUtime=161.77 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 178761 0 0 0 16070 107 0 0 20 0 1 0 76377426 1245921280 294075 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 304180 294075 1248 2593 0 301073 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1216720 KiB
Current children cumulated memory: 1176300 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/264 94924
/proc/meminfo: memFree=107114044/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1063372 memory=1023004 CPUtime=221.59 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 180103 0 0 0 22045 114 0 0 20 0 1 0 76377426 1088892928 255751 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 265843 255751 1248 2593 0 262736 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1063372 KiB
Current children cumulated memory: 1023004 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/265 94931
/proc/meminfo: memFree=106709792/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1064232 memory=1030160 CPUtime=281.4 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 183608 0 0 0 28012 128 0 0 20 0 1 0 76377426 1089773568 257540 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 266058 257540 1248 2593 0 262951 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1064232 KiB
Current children cumulated memory: 1030160 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/264 94933
/proc/meminfo: memFree=106255184/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1064972 memory=1032952 CPUtime=341.22 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 185171 0 0 0 33987 135 0 0 20 0 1 0 76377426 1090531328 258238 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 266243 258238 1248 2593 0 263136 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1064972 KiB
Current children cumulated memory: 1032952 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 94936
/proc/meminfo: memFree=105998596/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1037136 memory=1005116 CPUtime=401.04 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 186896 0 0 0 39963 141 0 0 20 0 1 0 76377426 1062027264 251279 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 259284 251279 1248 2593 0 256177 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 1037136 KiB
Current children cumulated memory: 1005116 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 94938
/proc/meminfo: memFree=105305392/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1172848 memory=1120440 CPUtime=460.85 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 213641 0 0 0 45926 159 0 0 20 0 1 0 76377426 1200996352 280110 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 293212 280110 1248 2593 0 290105 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 1332692 KiB
[startup+2922.3 s]
/proc/loadavg: 1.10 1.25 2.16 2/247 95206
/proc/meminfo: memFree=127591860/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1417504 memory=1343412 CPUtime=2913.78 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 332556 0 0 0 290957 421 0 0 20 0 1 0 76377426 1451524096 335853 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 354376 335853 1248 2593 0 351269 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 1417504 KiB
Current children cumulated memory: 1343412 KiB
[startup+2982.3 s]
/proc/loadavg: 1.11 1.22 2.09 2/247 95208
/proc/meminfo: memFree=127642948/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1360244 memory=1307472 CPUtime=2973.64 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 333979 0 0 0 296939 425 0 0 20 0 1 0 76377426 1392889856 326868 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 340061 326868 1248 2593 0 336954 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 1360244 KiB
Current children cumulated memory: 1307472 KiB
[startup+3042.3 s]
/proc/loadavg: 1.09 1.19 2.03 2/247 95213
/proc/meminfo: memFree=127666996/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1295544 memory=1274540 CPUtime=3033.5 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 334909 0 0 0 302922 428 0 0 20 0 1 0 76377426 1326637056 318635 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 323886 318635 1248 2593 0 320779 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 1295544 KiB
Current children cumulated memory: 1274540 KiB
[startup+3102.3 s]
/proc/loadavg: 1.08 1.17 1.96 2/245 95215
/proc/meminfo: memFree=127660396/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1332852 memory=1311764 CPUtime=3093.35 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 337074 0 0 0 308904 431 0 0 20 0 1 0 76377426 1364840448 327941 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 333213 327941 1248 2593 0 330106 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 1332852 KiB
Current children cumulated memory: 1311764 KiB
[startup+3162.3 s]
/proc/loadavg: 1.14 1.17 1.91 2/245 95217
/proc/meminfo: memFree=127705848/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1290944 memory=1239236 CPUtime=3153.22 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 342078 0 0 0 314875 447 0 0 20 0 1 0 76377426 1321926656 309809 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 322736 309809 1248 2593 0 319629 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 1290944 KiB
Current children cumulated memory: 1239236 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.15 1.86 2/245 95219
/proc/meminfo: memFree=127707256/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1290944 memory=1239236 CPUtime=3213.08 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 342334 0 0 0 320861 447 0 0 20 0 1 0 76377426 1321926656 309809 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 322736 309809 1248 2593 0 319629 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 1290944 KiB
Current children cumulated memory: 1239236 KiB
[startup+3282.3 s]
/proc/loadavg: 1.21 1.17 1.82 2/245 95221
/proc/meminfo: memFree=127673024/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1323936 memory=1272100 CPUtime=3272.94 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 343502 0 0 0 326844 450 0 0 20 0 1 0 76377426 1355710464 318025 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 330984 318025 1248 2593 0 327877 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 1323936 KiB
Current children cumulated memory: 1272100 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.15 1.77 2/245 95224
/proc/meminfo: memFree=127644360/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1352684 memory=1300848 CPUtime=3332.81 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 346680 0 0 0 332823 458 0 0 20 0 1 0 76377426 1385148416 325212 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 338171 325212 1248 2593 0 335064 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 1352684 KiB
Current children cumulated memory: 1300848 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.14 1.72 2/246 95231
/proc/meminfo: memFree=127609200/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1423764 memory=1352400 CPUtime=3392.67 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 347861 0 0 0 338807 460 0 0 20 0 1 0 76377426 1457934336 338100 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 355941 338100 1248 2593 0 352834 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 1423764 KiB
Current children cumulated memory: 1352400 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.14 1.69 2/246 95233
/proc/meminfo: memFree=127609564/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1423764 memory=1352400 CPUtime=3452.53 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 348302 0 0 0 344793 460 0 0 20 0 1 0 76377426 1457934336 338100 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 355941 338100 1248 2593 0 352834 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 1423764 KiB
Current children cumulated memory: 1352400 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.13 1.65 2/246 95235
/proc/meminfo: memFree=127658844/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1362904 memory=1310020 CPUtime=3512.4 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 350056 0 0 0 350775 465 0 0 20 0 1 0 76377426 1395613696 327505 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 340726 327505 1248 2593 0 337619 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 1362904 KiB
Current children cumulated memory: 1310020 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.12 1.61 2/246 95237
/proc/meminfo: memFree=127656320/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1365520 memory=1312636 CPUtime=3572.26 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 351574 0 0 0 356757 469 0 0 20 0 1 0 76377426 1398292480 328159 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 341380 328159 1248 2593 0 338273 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 1365520 KiB
Current children cumulated memory: 1312636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 1.10 1.12 1.60 2/246 95237
/proc/meminfo: memFree=127651828/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1366372 memory=1313416 CPUtime=3600 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 356365 0 0 0 359526 474 0 0 20 0 1 0 76377426 1399164928 328354 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 341593 328354 1248 2593 0 338486 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1366372 KiB
Current children cumulated memory: 1313416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 94915 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.26 s, system=4.75173 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 1.10 1.12 1.60 2/246 95237
/proc/meminfo: memFree=127651828/131250000 swapFree=33010416/33010684
[pid=94915] ppid=94912 vsize=1366372 memory=1313416 CPUtime=3600 cores=4,6
/proc/94915/stat : 94915 (CASHWMaxSAT-Dis) R 94912 94915 94066 0 -1 4194304 356365 0 0 0 359526 474 0 0 20 0 1 0 76377426 1399164928 328354 18446744073709551615 4198400 14817773 140731861659952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31612928 140731861662058 140731861662173 140731861662173 140731861667775 0
/proc/94915/statm: 341593 328354 1248 2593 0 338486 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1366372 KiB
Current children cumulated memory: 1313416 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.02
CPU user time (s): 3595.26
CPU system time (s): 4.75173
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 1809164
Max. memory (cumulated for all children) (KiB): 1736824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.26
system time used= 4.75173
maximum resident set size= 1736824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356365
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= 256
involuntary context switches= 2187
# summary of solver processes directly reported to runsolver:
# pid: 94915
# total CPU time (s): 3600.02
# total CPU user time (s): 3595.26
# total CPU system time (s): 4.75173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40904 second user time and 15.1252 second system time
The end
Begin job on nodeC018 at 2025-07-04 07:29:56
IDJOB=4524319
IDBENCH=180653
IDSOLVER=3322
FILE ID=nodeC018/4524319-1751606996
RUNJOBID= nodeC018-1751599765-94077
SLURM_JOB_ID= 9598876
Free space on /tmp= 431648 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-SameQueensKnights-b-35_c24.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524319-1751606996/watcher-4524319-1751606996 -o /tmp/evaluation-result-4524319-1751606996/solver-4524319-1751606996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94077 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4524319-1751606996.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85006dfa006eef4f5ff7a59d59a5be2d
RANDOM SEED=2101537618
nodeC018 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.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.437
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3561.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3519.665
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.563
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3598.864
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127164584 kB
MemAvailable: 128810000 kB
Buffers: 2128 kB
Cached: 2409124 kB
SwapCached: 32 kB
Active: 1437520 kB
Inactive: 1934156 kB
Active(anon): 978188 kB
Inactive(anon): 288 kB
Active(file): 459332 kB
Inactive(file): 1933868 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 947660 kB
Writeback: 56 kB
AnonPages: 961920 kB
Mapped: 116372 kB
Shmem: 18044 kB
KReclaimable: 182512 kB
Slab: 272780 kB
SReclaimable: 182512 kB
SUnreclaim: 90268 kB
KernelStack: 4236 kB
PageTables: 4824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1321220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC018 at 2025-07-04 08:30:06