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 (50186 MiB free)
memory of node 1: 64465 MiB (61053 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509304-1751519701/watcher-4509304-1751519701 -o /tmp/evaluation-result-4509304-1751519701/solver-4509304-1751519701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751519701-73727 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1549056749 --ls=0 --inp-dombreaklim=0 HOME/instance-4509304-1751519701.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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=73773, runsolver pid=73759
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 0.88 2.27 3.33 6/265 73784
/proc/meminfo: memFree=113569752/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=96092 memory=72444 CPUtime=0.1 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 14712 0 0 0 8 2 0 0 20 0 1 0 67647992 98398208 18111 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 24023 18111 1024 1200 0 22503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 96092 KiB
Current children cumulated memory: 72444 KiB
[startup+0.205532 s]*
/proc/loadavg: 0.88 2.27 3.33 6/265 73784
/proc/meminfo: memFree=113420940/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=115752 memory=92796 CPUtime=0.19 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 19797 0 0 0 17 2 0 0 20 0 1 0 67647992 118530048 23199 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 28938 23199 1024 1200 0 27418 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115752 KiB
Current children cumulated memory: 92796 KiB
[startup+0.305615 s]*
/proc/loadavg: 0.88 2.27 3.33 6/265 73784
/proc/meminfo: memFree=113277168/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=147172 memory=124208 CPUtime=0.3 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 27373 0 0 0 26 4 0 0 20 0 1 0 67647992 150704128 31052 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 36793 31052 1184 1200 0 35273 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147172 KiB
Current children cumulated memory: 124208 KiB
[startup+0.70017 s]
/proc/loadavg: 1.13 2.30 3.33 6/265 73784
/proc/meminfo: memFree=113176424/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=147172 memory=124208 CPUtime=0.68 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 27398 0 0 0 64 4 0 0 20 0 1 0 67647992 150704128 31052 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 36793 31052 1184 1200 0 35273 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 147172 KiB
Current children cumulated memory: 124208 KiB
[startup+1.50014 s]
/proc/loadavg: 1.13 2.30 3.33 6/265 73784
/proc/meminfo: memFree=112869680/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=151260 memory=135388 CPUtime=1.48 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 28599 0 0 0 144 4 0 0 20 0 1 0 67647992 154890240 33847 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 37815 33847 1248 1200 0 36295 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 151260 KiB
Current children cumulated memory: 135388 KiB
[startup+3.10529 s]
/proc/loadavg: 1.13 2.30 3.33 6/265 73784
/proc/meminfo: memFree=112644056/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=197828 memory=191052 CPUtime=3.09 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 37616 0 0 0 302 7 0 0 20 0 1 0 67647992 202575872 47763 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 49457 47763 1248 1200 0 47937 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 197828 KiB
Current children cumulated memory: 191052 KiB
[startup+6.30016 s]
/proc/loadavg: 1.36 2.33 3.34 6/265 73784
/proc/meminfo: memFree=112271836/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=271200 memory=261684 CPUtime=6.26 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 50613 0 0 0 616 10 0 0 20 0 1 0 67647992 277708800 65421 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 67800 65421 1248 1200 0 66280 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 271200 KiB
Current children cumulated memory: 261684 KiB
[startup+12.7002 s]
/proc/loadavg: 1.74 2.39 3.35 6/265 73784
/proc/meminfo: memFree=111557604/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=477588 memory=417600 CPUtime=12.64 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 75309 0 0 0 1245 19 0 0 20 0 1 0 67647992 489050112 104400 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 119397 104400 1280 1200 0 117877 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 477588 KiB
Current children cumulated memory: 417600 KiB
[startup+25.5002 s]
/proc/loadavg: 2.08 2.44 3.36 6/265 73784
/proc/meminfo: memFree=110876684/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=713092 memory=598636 CPUtime=25.39 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 102875 0 0 0 2508 31 0 0 20 0 1 0 67647992 730206208 149659 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 178273 149659 1280 1200 0 176753 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 713092 KiB
Current children cumulated memory: 598636 KiB
[startup+51.1054 s]
/proc/loadavg: 2.84 2.59 3.38 6/266 73785
/proc/meminfo: memFree=109479016/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=807896 memory=773920 CPUtime=50.91 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 124814 0 0 0 5052 39 0 0 20 0 1 0 67647992 827285504 193480 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 201974 193480 1280 1200 0 200454 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 807896 KiB
Current children cumulated memory: 773920 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.84 3.43 6/267 73788
/proc/meminfo: memFree=106743688/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=1535360 memory=1174468 CPUtime=101.93 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 157302 0 0 0 10125 68 0 0 20 0 1 0 67647992 1572208640 293617 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 383840 293617 1280 1200 0 382320 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1535360 KiB
Current children cumulated memory: 1174468 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.07 3.47 6/266 73790
/proc/meminfo: memFree=105760472/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=1607696 memory=1457996 CPUtime=161.71 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 172840 0 0 0 16094 77 0 0 20 0 1 0 67647992 1646280704 364499 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 401924 364499 1280 1200 0 400404 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1607696 KiB
Current children cumulated memory: 1457996 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.26 3.51 6/266 73792
/proc/meminfo: memFree=105216308/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=1694208 memory=1528780 CPUtime=221.51 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 190931 0 0 0 22068 83 0 0 20 0 1 0 67647992 1734868992 382195 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 423552 382195 1280 1200 0 422032 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1694208 KiB
Current children cumulated memory: 1528780 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.43 3.55 6/266 73794
/proc/meminfo: memFree=104688240/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=2454512 memory=1849476 CPUtime=281.3 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 217820 0 0 0 28019 111 0 0 20 0 1 0 67647992 2513420288 462369 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 613628 462369 1280 1200 0 612108 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 2454512 KiB
Current children cumulated memory: 1849476 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.53 3.58 6/264 73796
/proc/meminfo: memFree=104022804/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=2695220 memory=2093908 CPUtime=341.09 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 267862 0 0 0 33982 127 0 0 20 0 1 0 67647992 2759905280 523477 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 673805 523477 1280 1200 0 672285 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 2695220 KiB
Current children cumulated memory: 2093908 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.65 3.62 6/262 73798
/proc/meminfo: memFree=103641132/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=2711448 memory=2107988 CPUtime=400.86 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 271412 0 0 0 39955 131 0 0 20 0 1 0 67647992 2776522752 526997 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 677862 526997 1280 1200 0 676342 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 2711448 KiB
Current children cumulated memory: 2107988 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.73 3.66 6/263 73805
/proc/meminfo: memFree=103465440/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=2722216 memory=2117716 CPUtime=460.66 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 273918 0 0 0 45934 132 0 0 20 0 1 0 67647992 2787549184 529429 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 680554 529429 1280 1200 0 679034 0
################
# More data... #
################
/proc/73773/statm: 1028867 872770 1312 1200 0 1027347 0
Current children cumulated CPU time: 2852.88 s
Current children cumulated vsize: 4115468 KiB
Current children cumulated memory: 3491080 KiB
[startup+2922.3 s]
/proc/loadavg: 4.60 4.21 4.07 6/264 73934
/proc/meminfo: memFree=91937960/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4116524 memory=3492104 CPUtime=2912.72 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 578448 0 0 0 290965 307 0 0 20 0 1 0 67647992 4215320576 873026 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1029131 873026 1312 1200 0 1027611 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 4116524 KiB
Current children cumulated memory: 3492104 KiB
[startup+2982.3 s]
/proc/loadavg: 4.47 4.26 4.10 6/264 73938
/proc/meminfo: memFree=91918040/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4116524 memory=3492104 CPUtime=2972.54 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 579195 0 0 0 296946 308 0 0 20 0 1 0 67647992 4215320576 873026 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1029131 873026 1312 1200 0 1027611 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 4116524 KiB
Current children cumulated memory: 3492104 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.09 6/264 73940
/proc/meminfo: memFree=91887980/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4116524 memory=3492104 CPUtime=3032.37 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 580370 0 0 0 302928 309 0 0 20 0 1 0 67647992 4215320576 873026 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1029131 873026 1312 1200 0 1027611 0
Current children cumulated CPU time: 3032.37 s
Current children cumulated vsize: 4116524 KiB
Current children cumulated memory: 3492104 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.20 4.09 6/263 73942
/proc/meminfo: memFree=91839692/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4119116 memory=3494408 CPUtime=3092.2 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 581988 0 0 0 308907 313 0 0 20 0 1 0 67647992 4217974784 873602 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1029779 873602 1312 1200 0 1028259 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 4119116 KiB
Current children cumulated memory: 3494408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.79 4.36 4.15 6/263 73945
/proc/meminfo: memFree=91800464/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4119116 memory=3494536 CPUtime=3152.03 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 582761 0 0 0 314888 315 0 0 20 0 1 0 67647992 4217974784 873634 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1029779 873634 1312 1200 0 1028259 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 4119116 KiB
Current children cumulated memory: 3494536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.34 4.31 4.15 6/263 73947
/proc/meminfo: memFree=91785640/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4142668 memory=3512328 CPUtime=3211.86 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 588518 0 0 0 320867 319 0 0 20 0 1 0 67647992 4242092032 878082 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1035667 878082 1312 1200 0 1034147 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 4142668 KiB
Current children cumulated memory: 3512328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.28 4.15 6/263 73949
/proc/meminfo: memFree=91728068/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4231804 memory=3581320 CPUtime=3271.69 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 606915 0 0 0 326843 326 0 0 20 0 1 0 67647992 4333367296 895330 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1057951 895330 1312 1200 0 1056431 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 4231804 KiB
Current children cumulated memory: 3581320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.24 4.14 6/263 73951
/proc/meminfo: memFree=91635648/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4231804 memory=3581448 CPUtime=3331.51 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 607600 0 0 0 332823 328 0 0 20 0 1 0 67647992 4333367296 895362 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1057951 895362 1312 1200 0 1056431 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 4231804 KiB
Current children cumulated memory: 3581448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.21 4.13 6/264 73954
/proc/meminfo: memFree=91585668/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4233728 memory=3585160 CPUtime=3391.34 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 609849 0 0 0 338803 331 0 0 20 0 1 0 67647992 4335337472 896290 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1058432 896290 1312 1200 0 1056912 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 4233728 KiB
Current children cumulated memory: 3585160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.13 6/264 73961
/proc/meminfo: memFree=91549172/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4240584 memory=3591560 CPUtime=3451.17 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 612204 0 0 0 344781 336 0 0 20 0 1 0 67647992 4342358016 897890 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1060146 897890 1312 1200 0 1058626 0
Current children cumulated CPU time: 3451.17 s
Current children cumulated vsize: 4240584 KiB
Current children cumulated memory: 3591560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.13 6/264 73963
/proc/meminfo: memFree=91438792/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4251584 memory=3602440 CPUtime=3511 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 615744 0 0 0 350760 340 0 0 20 0 1 0 67647992 4353622016 900610 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1062896 900610 1312 1200 0 1061376 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 4251584 KiB
Current children cumulated memory: 3602440 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.13 6/264 73967
/proc/meminfo: memFree=91434992/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4252912 memory=3603720 CPUtime=3570.82 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 617295 0 0 0 356739 343 0 0 20 0 1 0 67647992 4354981888 900930 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1063228 900930 1312 1200 0 1061708 0
Current children cumulated CPU time: 3570.82 s
Current children cumulated vsize: 4252912 KiB
Current children cumulated memory: 3603720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.10 4.16 4.12 3/258 74006
/proc/meminfo: memFree=108564660/131249996 swapFree=33004236/33010684
[pid=73773] ppid=73759 vsize=4255660 memory=3605896 CPUtime=3600.04 cores=5,7
/proc/73773/stat : 73773 (Exact) R 73759 73773 73714 0 -1 4194304 618160 0 0 0 359659 345 0 0 20 0 1 0 67647992 4357795840 901474 18446744073709551615 4198400 9112445 140737387049376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18698240 140737387051304 140737387051501 140737387051501 140737387057103 0
/proc/73773/statm: 1063915 901474 1312 1200 0 1062395 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4255660 KiB
Current children cumulated memory: 3605896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.85 s]
# the end of solver process 73773 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.77 s, system=3.53238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.8 s]*
/proc/loadavg: 4.01 4.14 4.12 5/263 74072
/proc/meminfo: memFree=112315560/131249996 swapFree=33004236/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.85
CPU time (s): 3600.3
CPU user time (s): 3596.77
CPU system time (s): 3.53238
CPU usage (%): 99.6802
Max. virtual memory (cumulated for all children) (KiB): 4256136
Max. memory (cumulated for all children) (KiB): 3606408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.77
system time used= 3.53238
maximum resident set size= 3606408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618487
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= 48
involuntary context switches= 21475
# summary of solver processes directly reported to runsolver:
# pid: 73773
# total CPU time (s): 3600.3
# total CPU user time (s): 3596.77
# total CPU system time (s): 3.53238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79296 second user time and 16.3433 second system time
The end
Begin job on nodeC023 at 2025-07-03 07:15:01
IDJOB=4509304
IDBENCH=158611
IDSOLVER=3318
FILE ID=nodeC023/4509304-1751519701
RUNJOBID= nodeC023-1751519701-73727
SLURM_JOB_ID= 9598640
Free space on /tmp= 431860 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509304-1751519701/watcher-4509304-1751519701 -o /tmp/evaluation-result-4509304-1751519701/solver-4509304-1751519701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751519701-73727 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1549056749 --ls=0 --inp-dombreaklim=0 HOME/instance-4509304-1751519701.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=1549056749
nodeC023 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 : 3600.246
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.619
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 : 3599.884
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 : 3600.064
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 : 3600.017
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.886
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 : 3599.710
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.522
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: 131249996 kB
MemFree: 113914924 kB
MemAvailable: 129665116 kB
Buffers: 16 kB
Cached: 16494740 kB
SwapCached: 596 kB
Active: 284020 kB
Inactive: 16289784 kB
Active(anon): 71992 kB
Inactive(anon): 20456 kB
Active(file): 212028 kB
Inactive(file): 16269328 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32724 kB
Writeback: 0 kB
AnonPages: 81520 kB
Mapped: 98472 kB
Shmem: 13400 kB
KReclaimable: 216152 kB
Slab: 306276 kB
SReclaimable: 216152 kB
SUnreclaim: 90124 kB
KernelStack: 4024 kB
PageTables: 2404 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431824 MiB
End job on nodeC023 at 2025-07-03 08:15:13