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 (48480 MiB free)
memory of node 1: 64465 MiB (55522 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517459-1751525284/watcher-4517459-1751525284 -o /tmp/evaluation-result-4517459-1751525284/solver-4517459-1751525284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71837 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517459-1751525284.opb -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=72670, runsolver pid=72664
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.07 4.09 4.03 5/261 72673
/proc/meminfo: memFree=106494872/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=15528 memory=14900 CPUtime=0.09 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 3597 0 0 0 9 0 0 0 20 0 1 0 68206935 15900672 3725 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 3882 3725 544 484 0 3293 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15528 KiB
Current children cumulated memory: 14900 KiB
[startup+0.205283 s]*
/proc/loadavg: 4.07 4.09 4.03 4/259 72683
/proc/meminfo: memFree=106494824/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=16316 memory=15532 CPUtime=0.2 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 4302 0 0 0 20 0 0 0 20 0 1 0 68206935 16707584 3883 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 4079 3883 544 484 0 3490 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 16316 KiB
Current children cumulated memory: 15532 KiB
[startup+0.304607 s]*
/proc/loadavg: 4.07 4.09 4.03 4/259 72691
/proc/meminfo: memFree=106494460/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=16212 memory=15584 CPUtime=0.3 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 4738 0 0 0 30 0 0 0 20 0 1 0 68206935 16601088 3896 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 4053 3896 544 484 0 3464 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 16212 KiB
Current children cumulated memory: 15584 KiB
[startup+0.700166 s]
/proc/loadavg: 4.07 4.09 4.03 5/263 72704
/proc/meminfo: memFree=106490808/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=17344 memory=16740 CPUtime=0.68 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 6441 0 0 0 68 0 0 0 20 0 1 0 68206935 17760256 4185 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 4336 4185 544 484 0 3747 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 17344 KiB
Current children cumulated memory: 16740 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 4.09 4.03 5/263 72704
/proc/meminfo: memFree=106429020/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=17872 memory=17192 CPUtime=1.49 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 8050 0 0 0 148 1 0 0 20 0 1 0 68206935 18300928 4298 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 4468 4298 544 484 0 3879 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 17872 KiB
Current children cumulated memory: 17192 KiB
[startup+3.10534 s]
/proc/loadavg: 4.14 4.11 4.04 5/263 72704
/proc/meminfo: memFree=106416208/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=17720 memory=17064 CPUtime=3.09 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 10513 0 0 0 308 1 0 0 20 0 1 0 68206935 18145280 4266 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 4430 4266 544 484 0 3841 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 17720 KiB
Current children cumulated memory: 17064 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.11 4.04 5/263 72704
/proc/meminfo: memFree=106211680/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=21612 memory=20924 CPUtime=6.27 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 15305 0 0 0 625 2 0 0 20 0 1 0 68206935 22130688 5231 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 5403 5231 544 484 0 4814 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21612 KiB
Current children cumulated memory: 20924 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.04 5/263 72704
/proc/meminfo: memFree=106383776/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=20212 memory=19328 CPUtime=12.66 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 18993 0 0 0 1263 3 0 0 20 0 1 0 68206935 20697088 4832 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 5053 4832 544 484 0 4464 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 20212 KiB
Current children cumulated memory: 19328 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.04 5/263 72704
/proc/meminfo: memFree=106144044/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=31916 memory=31228 CPUtime=25.42 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 26755 0 0 0 2537 5 0 0 20 0 1 0 68206935 32681984 7807 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 7979 7807 544 484 0 7390 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31916 KiB
Current children cumulated memory: 31228 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 4.12 4.04 5/263 72704
/proc/meminfo: memFree=106247172/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=29872 memory=29264 CPUtime=50.96 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 30524 0 0 0 5089 7 0 0 20 0 1 0 68206935 30588928 7316 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 7468 7316 544 484 0 6879 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 29264 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/263 72706
/proc/meminfo: memFree=106168480/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=51200 memory=50556 CPUtime=102 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 39872 0 0 0 10190 10 0 0 20 0 1 0 68206935 52428800 12639 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 12800 12639 544 484 0 12211 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 50556 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/263 72708
/proc/meminfo: memFree=106058140/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=57572 memory=56956 CPUtime=161.84 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 45910 0 0 0 16171 13 0 0 20 0 1 0 68206935 58953728 14239 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 14393 14239 544 484 0 13804 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 57572 KiB
Current children cumulated memory: 56956 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/263 72710
/proc/meminfo: memFree=106041920/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=62292 memory=61564 CPUtime=221.67 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 48787 0 0 0 22152 15 0 0 20 0 1 0 68206935 63787008 15391 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 15573 15391 544 484 0 14984 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 62292 KiB
Current children cumulated memory: 61564 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 72715
/proc/meminfo: memFree=105657136/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=80656 memory=79976 CPUtime=281.51 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 50375 0 0 0 28135 16 0 0 20 0 1 0 68206935 82591744 19994 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 20164 19994 544 484 0 19575 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 80656 KiB
Current children cumulated memory: 79976 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 72721
/proc/meminfo: memFree=105946472/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=64184 memory=63484 CPUtime=341.33 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 54554 0 0 0 34115 18 0 0 20 0 1 0 68206935 65724416 15871 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 16046 15871 544 484 0 15457 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 64184 KiB
Current children cumulated memory: 63484 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.06 5/263 72723
/proc/meminfo: memFree=105884216/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=81620 memory=80892 CPUtime=401.16 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 55336 0 0 0 40098 18 0 0 20 0 1 0 68206935 83578880 20223 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 20405 20223 544 484 0 19816 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 81620 KiB
Current children cumulated memory: 80892 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/263 72725
/proc/meminfo: memFree=105803408/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=103464 memory=102780 CPUtime=460.99 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 56709 0 0 0 46080 19 0 0 20 0 1 0 68206935 105947136 25695 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 25866 25695 544 484 0 25277 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 166540 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 72979
/proc/meminfo: memFree=106183180/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=170816 memory=169052 CPUtime=2854.51 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 119385 0 0 0 285354 97 0 0 20 0 1 0 68206935 174915584 42263 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42704 42263 544 484 0 42115 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 170816 KiB
Current children cumulated memory: 169052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 72981
/proc/meminfo: memFree=106172884/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=166928 memory=165164 CPUtime=2914.35 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 121672 0 0 0 291334 101 0 0 20 0 1 0 68206935 170934272 41291 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 41732 41291 544 484 0 41143 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 166928 KiB
Current children cumulated memory: 165164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 72983
/proc/meminfo: memFree=106138476/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=163756 memory=161992 CPUtime=2974.2 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 123568 0 0 0 297316 104 0 0 20 0 1 0 68206935 167686144 40498 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 40939 40498 544 484 0 40350 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 163756 KiB
Current children cumulated memory: 161992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 72985
/proc/meminfo: memFree=106151380/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=173692 memory=171928 CPUtime=3034.05 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 126542 0 0 0 303296 109 0 0 20 0 1 0 68206935 177860608 42982 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 43423 42982 544 484 0 42834 0
Current children cumulated CPU time: 3034.05 s
Current children cumulated vsize: 173692 KiB
Current children cumulated memory: 171928 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 72987
/proc/meminfo: memFree=106137804/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=167472 memory=165708 CPUtime=3093.89 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 128200 0 0 0 309277 112 0 0 20 0 1 0 68206935 171491328 41427 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 41868 41427 544 484 0 41279 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 167472 KiB
Current children cumulated memory: 165708 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 72989
/proc/meminfo: memFree=106163360/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=169672 memory=167908 CPUtime=3153.73 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 130237 0 0 0 315257 116 0 0 20 0 1 0 68206935 173744128 41977 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42418 41977 544 484 0 41829 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 169672 KiB
Current children cumulated memory: 167908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 72991
/proc/meminfo: memFree=106197564/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=171212 memory=169448 CPUtime=3213.58 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 131881 0 0 0 321238 120 0 0 20 0 1 0 68206935 175321088 42362 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42803 42362 544 484 0 42214 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 171212 KiB
Current children cumulated memory: 169448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 72993
/proc/meminfo: memFree=106126004/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=164776 memory=163012 CPUtime=3273.43 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 133901 0 0 0 327218 125 0 0 20 0 1 0 68206935 168730624 40753 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 41194 40753 544 484 0 40605 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 164776 KiB
Current children cumulated memory: 163012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 72998
/proc/meminfo: memFree=106114692/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=167036 memory=165272 CPUtime=3333.27 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 135728 0 0 0 333199 128 0 0 20 0 1 0 68206935 171044864 41318 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 41759 41318 544 484 0 41170 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 167036 KiB
Current children cumulated memory: 165272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 73004
/proc/meminfo: memFree=106140828/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=170520 memory=168764 CPUtime=3393.12 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 137829 0 0 0 339180 132 0 0 20 0 1 0 68206935 174612480 42191 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42630 42191 544 484 0 42041 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 170520 KiB
Current children cumulated memory: 168764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 73009
/proc/meminfo: memFree=106128304/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=168924 memory=167160 CPUtime=3452.96 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 139730 0 0 0 345160 136 0 0 20 0 1 0 68206935 172978176 41790 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42231 41790 544 484 0 41642 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 168924 KiB
Current children cumulated memory: 167160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 73011
/proc/meminfo: memFree=106128016/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=164584 memory=162820 CPUtime=3512.81 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 141971 0 0 0 351141 140 0 0 20 0 1 0 68206935 168534016 40705 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 41146 40705 544 484 0 40557 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 164584 KiB
Current children cumulated memory: 162820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 73102
/proc/meminfo: memFree=108511784/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=168364 memory=166600 CPUtime=3572.64 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 144002 0 0 0 357121 143 0 0 20 0 1 0 68206935 172404736 41650 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42091 41650 544 484 0 41502 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 166600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 73102
/proc/meminfo: memFree=108479868/131249988 swapFree=33010416/33010684
[pid=72670] ppid=72664 vsize=170300 memory=168536 CPUtime=3600.06 cores=1,3
/proc/72670/stat : 72670 (uwrmaxsat) R 72664 72670 71825 0 -1 4194304 144836 0 0 0 359860 146 0 0 20 0 1 0 68206935 174387200 42134 18446744073709551615 4198400 6176925 140729684046912 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 21843968 140729684048234 140729684048361 140729684048361 140729684053963 0
/proc/72670/statm: 42575 42134 544 484 0 41986 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 170300 KiB
Current children cumulated memory: 168536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 72670 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.6 s, system=1.46162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.8
CPU time (s): 3600.07
CPU user time (s): 3598.6
CPU system time (s): 1.46162
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 226884
Max. memory (cumulated for all children) (KiB): 225076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.46162
maximum resident set size= 225076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144837
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= 26
involuntary context switches= 1691
# summary of solver processes directly reported to runsolver:
# pid: 72670
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.6
# total CPU system time (s): 1.46162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0637 second user time and 16.2471 second system time
The end
Begin job on nodeC031 at 2025-07-03 08:48:04
IDJOB=4517459
IDBENCH=176086
IDSOLVER=3372
FILE ID=nodeC031/4517459-1751525284
RUNJOBID= nodeC031-1751521621-71837
SLURM_JOB_ID= 9598645
Free space on /tmp= 432080 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517459-1751525284/watcher-4517459-1751525284 -o /tmp/evaluation-result-4517459-1751525284/solver-4517459-1751525284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71837 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517459-1751525284.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=1874076446
nodeC031 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.891
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.78
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.877
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.78
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 : 3569.471
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.78
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 : 3591.452
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.78
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 : 3599.895
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.78
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.941
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.78
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.062
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.78
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.261
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106498744 kB
MemAvailable: 127258824 kB
Buffers: 2128 kB
Cached: 21444936 kB
SwapCached: 12 kB
Active: 2807944 kB
Inactive: 21038232 kB
Active(anon): 2406696 kB
Inactive(anon): 10468 kB
Active(file): 401248 kB
Inactive(file): 21027764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5872 kB
Writeback: 0 kB
AnonPages: 2402244 kB
Mapped: 108676 kB
Shmem: 18052 kB
KReclaimable: 340616 kB
Slab: 432612 kB
SReclaimable: 340616 kB
SUnreclaim: 91996 kB
KernelStack: 4208 kB
PageTables: 7712 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2919420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1040384 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432088 MiB
End job on nodeC031 at 2025-07-03 09:48:14