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 (63222 MiB free)
memory of node 1: 64465 MiB (63909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492779-1751140162/watcher-4492779-1751140162 -o /tmp/evaluation-result-4492779-1751140162/solver-4492779-1751140162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751133631-11646 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1408545748 --ls=360 --inp-dombreaklim=0 HOME/instance-4492779-1751140162.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13617, runsolver pid=13614
[startup+0.10006 s]*
/proc/loadavg: 3.07 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130168356/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=49652 memory=29052 CPUtime=0.09 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 6165 0 0 0 8 1 0 0 20 0 1 0 29692787 50843648 7263 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 12413 7263 1024 1200 0 10893 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49652 KiB
Current children cumulated memory: 29052 KiB
[startup+0.205361 s]*
/proc/loadavg: 3.07 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=67512 memory=47880 CPUtime=0.19 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 9615 0 0 0 18 1 0 0 20 0 1 0 29692787 69132288 11970 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 16878 11970 1024 1200 0 15358 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67512 KiB
Current children cumulated memory: 47880 KiB
[startup+0.30529 s]*
/proc/loadavg: 3.07 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=0.29 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10226 0 0 0 28 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+0.700174 s]
/proc/loadavg: 3.07 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=0.68 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10226 0 0 0 67 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+1.50017 s]
/proc/loadavg: 3.07 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=1.48 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10226 0 0 0 147 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+3.10546 s]
/proc/loadavg: 3.06 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=3.08 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10232 0 0 0 307 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+6.30017 s]
/proc/loadavg: 3.06 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=6.26 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10238 0 0 0 625 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+12.7002 s]
/proc/loadavg: 3.05 3.08 3.09 4/260 13618
/proc/meminfo: memFree=130152480/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=12.64 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10244 0 0 0 1263 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+25.5002 s]
/proc/loadavg: 3.04 3.07 3.08 4/260 13618
/proc/meminfo: memFree=130135864/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=25.41 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10245 0 0 0 2540 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+51.1054 s]
/proc/loadavg: 3.09 3.08 3.09 4/260 13619
/proc/meminfo: memFree=130131992/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=52396 CPUtime=50.94 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10258 0 0 0 5093 1 0 0 20 0 1 0 29692787 76476416 13099 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13099 1024 1200 0 17151 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 52396 KiB
[startup+102.3 s]
/proc/loadavg: 3.09 3.08 3.09 4/260 13621
/proc/meminfo: memFree=130125444/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=55084 CPUtime=101.97 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10289 0 0 0 10196 1 0 0 20 0 1 0 29692787 76476416 13771 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13771 1024 1200 0 17151 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 55084 KiB
[startup+162.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/259 13623
/proc/meminfo: memFree=130125628/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=55084 CPUtime=161.8 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10308 0 0 0 16179 1 0 0 20 0 1 0 29692787 76476416 13771 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13771 1024 1200 0 17151 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 55084 KiB
[startup+222.3 s]
/proc/loadavg: 3.06 3.08 3.09 4/258 13672
/proc/meminfo: memFree=130118468/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=55084 CPUtime=221.61 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10346 0 0 0 22160 1 0 0 20 0 1 0 29692787 76476416 13771 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13771 1024 1200 0 17151 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 55084 KiB
[startup+282.3 s]
/proc/loadavg: 3.06 3.08 3.09 4/259 13675
/proc/meminfo: memFree=130115220/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=55084 CPUtime=281.42 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10346 0 0 0 28141 1 0 0 20 0 1 0 29692787 76476416 13771 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13771 1024 1200 0 17151 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 55084 KiB
[startup+342.3 s]
/proc/loadavg: 3.13 3.09 3.09 4/259 13727
/proc/meminfo: memFree=130125020/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=74684 memory=55084 CPUtime=341.23 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 10365 0 0 0 34122 1 0 0 20 0 1 0 29692787 76476416 13771 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 18671 13771 1024 1200 0 17151 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 55084 KiB
[startup+402.3 s]
/proc/loadavg: 3.10 3.09 3.09 4/259 13729
/proc/meminfo: memFree=129985148/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=199812 memory=190812 CPUtime=401.05 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 22910 0 0 0 40098 7 0 0 20 0 1 0 29692787 204607488 47703 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 49953 47703 1248 1200 0 48433 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 199812 KiB
Current children cumulated memory: 190812 KiB
[startup+462.3 s]
/proc/loadavg: 3.12 3.09 3.09 4/259 13730
/proc/meminfo: memFree=129990052/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=247912 memory=211880 CPUtime=460.89 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 25602 0 0 0 46078 11 0 0 20 0 1 0 29692787 253861888 52970 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 61978 52970 1248 1200 0 60458 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 350644 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.13 3.09 4/258 13950
/proc/meminfo: memFree=129591908/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=402856 memory=350644 CPUtime=2914.08 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 48363 0 0 0 291308 100 0 0 20 0 1 0 29692787 412524544 87661 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 100714 87661 1248 1200 0 99194 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 402856 KiB
Current children cumulated memory: 350644 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.12 3.09 4/257 13951
/proc/meminfo: memFree=129591676/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=402856 memory=350772 CPUtime=2973.9 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 48379 0 0 0 297288 102 0 0 20 0 1 0 29692787 412524544 87693 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 100714 87693 1248 1200 0 99194 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 402856 KiB
Current children cumulated memory: 350772 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.11 3.09 4/256 13953
/proc/meminfo: memFree=129583748/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=405016 memory=352820 CPUtime=3033.71 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 48937 0 0 0 303267 104 0 0 20 0 1 0 29692787 414736384 88205 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 101254 88205 1248 1200 0 99734 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 405016 KiB
Current children cumulated memory: 352820 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.10 3.09 4/256 13955
/proc/meminfo: memFree=129575868/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=405304 memory=353204 CPUtime=3093.53 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 49033 0 0 0 309246 107 0 0 20 0 1 0 29692787 415031296 88301 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 101326 88301 1248 1200 0 99806 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 405304 KiB
Current children cumulated memory: 353204 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.10 3.09 4/256 13957
/proc/meminfo: memFree=129575484/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=405304 memory=353204 CPUtime=3153.34 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 49033 0 0 0 315226 108 0 0 20 0 1 0 29692787 415031296 88301 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 101326 88301 1248 1200 0 99806 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 405304 KiB
Current children cumulated memory: 353204 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.09 3.09 4/258 13963
/proc/meminfo: memFree=129575740/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=406648 memory=354484 CPUtime=3213.18 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 49370 0 0 0 321208 110 0 0 20 0 1 0 29692787 416407552 88621 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 101662 88621 1248 1200 0 100142 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 406648 KiB
Current children cumulated memory: 354484 KiB
[startup+3282.3 s]
/proc/loadavg: 3.37 3.17 3.11 4/258 13965
/proc/meminfo: memFree=129575288/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=406792 memory=354740 CPUtime=3273.02 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 49452 0 0 0 327190 112 0 0 20 0 1 0 29692787 416555008 88685 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 101698 88685 1248 1200 0 100178 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 406792 KiB
Current children cumulated memory: 354740 KiB
[startup+3342.3 s]
/proc/loadavg: 3.18 3.15 3.11 4/258 13971
/proc/meminfo: memFree=129575624/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=406792 memory=354740 CPUtime=3332.86 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 49468 0 0 0 333173 113 0 0 20 0 1 0 29692787 416555008 88685 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 101698 88685 1248 1200 0 100178 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 406792 KiB
Current children cumulated memory: 354740 KiB
[startup+3402.3 s]
/proc/loadavg: 3.17 3.15 3.11 4/258 13973
/proc/meminfo: memFree=129571520/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=408808 memory=356660 CPUtime=3392.69 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 49955 0 0 0 339153 116 0 0 20 0 1 0 29692787 418619392 89165 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 102202 89165 1248 1200 0 100682 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 408808 KiB
Current children cumulated memory: 356660 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.14 3.10 4/258 13975
/proc/meminfo: memFree=129555452/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=412976 memory=360884 CPUtime=3452.49 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 51032 0 0 0 345130 119 0 0 20 0 1 0 29692787 422887424 90221 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 103244 90221 1248 1200 0 101724 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 412976 KiB
Current children cumulated memory: 360884 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.13 3.10 4/258 13977
/proc/meminfo: memFree=129569112/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=416944 memory=364852 CPUtime=3512.3 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 52024 0 0 0 351109 121 0 0 20 0 1 0 29692787 426950656 91213 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 104236 91213 1248 1200 0 102716 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 416944 KiB
Current children cumulated memory: 364852 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.12 3.09 4/258 13980
/proc/meminfo: memFree=129561772/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=419648 memory=367540 CPUtime=3572.12 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 52700 0 0 0 357089 123 0 0 20 0 1 0 29692787 429719552 91885 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 104912 91885 1248 1200 0 103392 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 419648 KiB
Current children cumulated memory: 367540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.14 3.12 3.09 4/258 13982
/proc/meminfo: memFree=129560860/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=420128 memory=368052 CPUtime=3600.03 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 52860 0 0 0 359879 124 0 0 20 0 1 0 29692787 430211072 92013 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 105032 92013 1248 1200 0 103512 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 420128 KiB
Current children cumulated memory: 368052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 13617 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.81 s, system=1.24441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 3.14 3.12 3.09 4/258 13982
/proc/meminfo: memFree=129560860/131250000 swapFree=33010684/33010684
[pid=13617] ppid=13614 vsize=420128 memory=368052 CPUtime=3600.03 cores=5,7
/proc/13617/stat : 13617 (Exact) R 13614 13617 11628 0 -1 4194304 52860 0 0 0 359879 124 0 0 20 0 1 0 29692787 430211072 92013 18446744073709551615 4198400 9112445 140725435294480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34377728 140725435296038 140725435296237 140725435296237 140725435301839 0
/proc/13617/statm: 105032 92013 1248 1200 0 103512 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 420128 KiB
Current children cumulated memory: 368052 KiB
Child status: 0
Real time (s): 3610.32
CPU time (s): 3600.06
CPU user time (s): 3598.81
CPU system time (s): 1.24441
CPU usage (%): 99.7157
Max. virtual memory (cumulated for all children) (KiB): 420128
Max. memory (cumulated for all children) (KiB): 368052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.81
system time used= 1.24441
maximum resident set size= 368180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52870
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= 30
involuntary context switches= 2162
# summary of solver processes directly reported to runsolver:
# pid: 13617
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.81
# total CPU system time (s): 1.24441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51146 second user time and 14.9752 second system time
The end
Begin job on nodeC014 at 2025-06-28 21:49:22
IDJOB=4492779
IDBENCH=147823
IDSOLVER=3319
FILE ID=nodeC014/4492779-1751140162
RUNJOBID= nodeC014-1751133631-11646
SLURM_JOB_ID= 9587414
Free space on /tmp= 433032 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492779-1751140162/watcher-4492779-1751140162 -o /tmp/evaluation-result-4492779-1751140162/solver-4492779-1751140162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751133631-11646 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1408545748 --ls=360 --inp-dombreaklim=0 HOME/instance-4492779-1751140162.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 34508937f6127f0a8669d934526c1066
RANDOM SEED=1408545748
nodeC014 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 : 3556.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.085
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.462
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3603.485
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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.867
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130182916 kB
MemAvailable: 129768444 kB
Buffers: 3280 kB
Cached: 359196 kB
SwapCached: 0 kB
Active: 310820 kB
Inactive: 152488 kB
Active(anon): 118936 kB
Inactive(anon): 0 kB
Active(file): 191884 kB
Inactive(file): 152488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9828 kB
Writeback: 0 kB
AnonPages: 104004 kB
Mapped: 111208 kB
Shmem: 18068 kB
KReclaimable: 62036 kB
Slab: 143424 kB
SReclaimable: 62036 kB
SUnreclaim: 81388 kB
KernelStack: 4224 kB
PageTables: 3072 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 455908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC014 at 2025-06-28 22:49:32