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 (61924 MiB free)
memory of node 1: 64465 MiB (61027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528621-1752247464/watcher-4528621-1752247464 -o /tmp/evaluation-result-4528621-1752247464/solver-4528621-1752247464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141646 --watchdog 3760 pb_picat HOME/instance-4528621-1752247464.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=142325, runsolver pid=142322
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125870640/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2027148 memory=33732 CPUtime=0.09 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 978 0 0 0 9 0 0 0 20 0 1 0 140424864 2075799552 8433 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 506787 8433 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 33732 KiB
[startup+0.205521 s]*
/proc/loadavg: 4.10 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125858112/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2027148 memory=52208 CPUtime=0.19 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 987 0 0 0 19 0 0 0 20 0 1 0 140424864 2075799552 13052 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 506787 13052 1504 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 52208 KiB
[startup+0.305412 s]*
/proc/loadavg: 4.10 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125833600/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2027148 memory=70640 CPUtime=0.3 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 996 0 0 0 29 1 0 0 20 0 1 0 140424864 2075799552 17660 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 506787 17660 1504 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 70640 KiB
[startup+0.700135 s]
/proc/loadavg: 4.10 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125809024/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2040152 memory=101192 CPUtime=0.68 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 3038 0 0 0 67 1 0 0 20 0 1 0 140424864 2089115648 25298 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 510038 25298 1632 343 0 507102 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2040152 KiB
Current children cumulated memory: 101192 KiB
[startup+1.50012 s]
/proc/loadavg: 4.10 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125809024/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2044312 memory=102972 CPUtime=1.48 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 4679 0 0 0 147 1 0 0 20 0 1 0 140424864 2093375488 25743 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 511078 25743 1632 343 0 508142 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2044312 KiB
Current children cumulated memory: 102972 KiB
[startup+3.10531 s]
/proc/loadavg: 4.09 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125800700/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2052832 memory=107048 CPUtime=3.09 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 8360 0 0 0 306 3 0 0 20 0 1 0 140424864 2102099968 26762 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 513208 26762 1632 343 0 510272 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2052832 KiB
Current children cumulated memory: 107048 KiB
[startup+6.30012 s]
/proc/loadavg: 4.09 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125794240/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2052832 memory=112176 CPUtime=6.27 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 12226 0 0 0 624 3 0 0 20 0 1 0 140424864 2102099968 28044 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 513208 28044 1632 343 0 510272 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2052832 KiB
Current children cumulated memory: 112176 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125812320/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2070184 memory=115948 CPUtime=12.66 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 20814 0 0 0 1260 6 0 0 20 0 1 0 140424864 2119868416 28987 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 517546 28987 1632 343 0 514610 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2070184 KiB
Current children cumulated memory: 115948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.18 4.14 5/263 142326
/proc/meminfo: memFree=125794768/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2070184 memory=126796 CPUtime=25.42 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 26090 0 0 0 2534 8 0 0 20 0 1 0 140424864 2119868416 31699 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 517546 31699 1632 343 0 514610 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2070184 KiB
Current children cumulated memory: 126796 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.17 4.14 5/263 142327
/proc/meminfo: memFree=125767220/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2088360 memory=134744 CPUtime=50.94 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 36311 0 0 0 5083 11 0 0 20 0 1 0 140424864 2138480640 33686 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 522090 33686 1632 343 0 519154 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2088360 KiB
Current children cumulated memory: 134744 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/263 142328
/proc/meminfo: memFree=125764964/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2104744 memory=147368 CPUtime=101.98 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 46942 0 0 0 10181 17 0 0 20 0 1 0 140424864 2155257856 36842 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 526186 36842 1632 343 0 523250 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2104744 KiB
Current children cumulated memory: 147368 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/264 142337
/proc/meminfo: memFree=125759104/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2107872 memory=157612 CPUtime=161.78 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 55148 0 0 0 16156 22 0 0 20 0 1 0 140424864 2158460928 39403 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 526968 39403 1632 343 0 524032 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2107872 KiB
Current children cumulated memory: 157612 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.12 4.12 5/264 142339
/proc/meminfo: memFree=125760420/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2107872 memory=161708 CPUtime=221.59 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 61573 0 0 0 22133 26 0 0 20 0 1 0 140424864 2158460928 40427 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 526968 40427 1632 343 0 524032 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2107872 KiB
Current children cumulated memory: 161708 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/264 142341
/proc/meminfo: memFree=125753484/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2140640 memory=167852 CPUtime=281.39 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 68482 0 0 0 28109 30 0 0 20 0 1 0 140424864 2192015360 41963 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 535160 41963 1632 343 0 532224 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 2140640 KiB
Current children cumulated memory: 167852 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 4.19 4.14 5/264 142343
/proc/meminfo: memFree=125736324/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2140640 memory=169900 CPUtime=341.2 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 75821 0 0 0 34085 35 0 0 20 0 1 0 140424864 2192015360 42475 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 535160 42475 1632 343 0 532224 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 2140640 KiB
Current children cumulated memory: 169900 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.18 4.14 5/264 142345
/proc/meminfo: memFree=125738980/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2173408 memory=175584 CPUtime=401.01 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 81070 0 0 0 40063 38 0 0 20 0 1 0 140424864 2225569792 43896 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 543352 43896 1632 343 0 540416 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 2173408 KiB
Current children cumulated memory: 175584 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/263 142347
/proc/meminfo: memFree=125749176/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2140640 memory=167392 CPUtime=460.81 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 83351 0 0 0 46042 39 0 0 20 0 1 0 140424864 2192015360 41848 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 535160 41848 1632 343 0 532224 0
################
# More data... #
################
Current children cumulated memory: 240064 KiB
[startup+2862.3 s]
/proc/loadavg: 3.30 3.80 3.98 4/256 142593
/proc/meminfo: memFree=123257408/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=235968 CPUtime=2853.16 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 183027 0 0 0 285200 116 0 0 20 0 1 0 140424864 2239627264 58992 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 58992 1664 343 0 543848 0
Current children cumulated CPU time: 2853.16 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 235968 KiB
[startup+2922.3 s]
/proc/loadavg: 3.17 3.67 3.92 4/256 142595
/proc/meminfo: memFree=123282820/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=244160 CPUtime=2912.99 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 183665 0 0 0 291181 118 0 0 20 0 1 0 140424864 2239627264 61040 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 61040 1664 343 0 543848 0
Current children cumulated CPU time: 2912.99 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 244160 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.56 3.86 4/256 142597
/proc/meminfo: memFree=123133488/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=240064 CPUtime=2972.8 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 184297 0 0 0 297162 118 0 0 20 0 1 0 140424864 2239627264 60016 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 60016 1664 343 0 543848 0
Current children cumulated CPU time: 2972.8 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 240064 KiB
[startup+3042.3 s]
/proc/loadavg: 3.14 3.49 3.82 4/256 142599
/proc/meminfo: memFree=123304940/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=238016 CPUtime=3032.62 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 185562 0 0 0 303142 120 0 0 20 0 1 0 140424864 2239627264 59504 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 59504 1664 343 0 543848 0
Current children cumulated CPU time: 3032.62 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 238016 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.41 3.77 4/256 142601
/proc/meminfo: memFree=123198556/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=240064 CPUtime=3092.44 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 186198 0 0 0 309123 121 0 0 20 0 1 0 140424864 2239627264 60016 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 60016 1664 343 0 543848 0
Current children cumulated CPU time: 3092.44 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 240064 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.35 3.72 4/257 142604
/proc/meminfo: memFree=123327824/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=238016 CPUtime=3152.27 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 186830 0 0 0 315105 122 0 0 20 0 1 0 140424864 2239627264 59504 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 59504 1664 343 0 543848 0
Current children cumulated CPU time: 3152.27 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 238016 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.31 3.69 4/258 142613
/proc/meminfo: memFree=123254452/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=238016 CPUtime=3212.09 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 187461 0 0 0 321086 123 0 0 20 0 1 0 140424864 2239627264 59504 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 59504 1664 343 0 543848 0
Current children cumulated CPU time: 3212.09 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 238016 KiB
[startup+3282.3 s]
/proc/loadavg: 3.04 3.25 3.64 4/258 142615
/proc/meminfo: memFree=123315796/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=231872 CPUtime=3271.9 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 188725 0 0 0 327066 124 0 0 20 0 1 0 140424864 2239627264 57968 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 57968 1664 343 0 543848 0
Current children cumulated CPU time: 3271.9 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 231872 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.24 3.61 4/258 142617
/proc/meminfo: memFree=123299224/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=244160 CPUtime=3331.72 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 192546 0 0 0 333045 127 0 0 20 0 1 0 140424864 2239627264 61040 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 61040 1664 343 0 543848 0
Current children cumulated CPU time: 3331.72 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 244160 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.21 3.58 4/258 142619
/proc/meminfo: memFree=123255020/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=238016 CPUtime=3391.54 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 193178 0 0 0 339026 128 0 0 20 0 1 0 140424864 2239627264 59504 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 59504 1664 343 0 543848 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 238016 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.18 3.54 4/257 142621
/proc/meminfo: memFree=123256212/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=238016 CPUtime=3451.36 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 193809 0 0 0 345007 129 0 0 20 0 1 0 140424864 2239627264 59504 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 59504 1664 343 0 543848 0
Current children cumulated CPU time: 3451.36 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 238016 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.16 3.51 4/257 142624
/proc/meminfo: memFree=122778468/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=245028 CPUtime=3511.18 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 194663 0 0 0 350988 130 0 0 20 0 1 0 140424864 2239627264 61257 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 61257 1664 343 0 543848 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 245028 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.14 3.48 4/257 142627
/proc/meminfo: memFree=123303652/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=231104 CPUtime=3571 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 196057 0 0 0 356968 132 0 0 20 0 1 0 140424864 2239627264 57776 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 57776 1664 343 0 543848 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 231104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.11 3.15 3.47 4/257 142629
/proc/meminfo: memFree=123274892/131249996 swapFree=33010160/33010684
[pid=142325] ppid=142322 vsize=2187136 memory=241676 CPUtime=3600.01 cores=4,6
/proc/142325/stat : 142325 (pb_picat) R 142322 142325 116643 0 -1 4194304 196149 0 0 0 359869 132 0 0 20 0 1 0 140424864 2239627264 60419 18446744073709551615 94022567936000 94022569337581 140721886463312 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94022569609008 94022571483248 94022594609152 140721886472604 140721886472680 140721886472680 140721886478284 0
/proc/142325/statm: 546784 60419 1664 343 0 543848 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2187136 KiB
Current children cumulated memory: 241676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.4 s]
# the end of solver process 142325 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.7 s, system=1.32868 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.4
CPU time (s): 3600.02
CPU user time (s): 3598.7
CPU system time (s): 1.32868
CPU usage (%): 99.6849
Max. virtual memory (cumulated for all children) (KiB): 2252672
Max. memory (cumulated for all children) (KiB): 247484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.32868
maximum resident set size= 247484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196149
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= 84
involuntary context switches= 3609
# summary of solver processes directly reported to runsolver:
# pid: 142325
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.7
# total CPU system time (s): 1.32868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36387 second user time and 15.4466 second system time
The end
Begin job on nodeC029 at 2025-07-11 17:24:24
IDJOB=4528621
IDBENCH=176113
IDSOLVER=3385
FILE ID=nodeC029/4528621-1752247464
RUNJOBID= nodeC029-1752242351-141646
SLURM_JOB_ID= 9682547
Free space on /tmp= 432196 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528621-1752247464/watcher-4528621-1752247464 -o /tmp/evaluation-result-4528621-1752247464/solver-4528621-1752247464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141646 --watchdog 3760 pb_picat HOME/instance-4528621-1752247464.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c
RANDOM SEED=656731602
nodeC029 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.729
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.46
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.722
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.46
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 : 3576.327
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3786.518
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.46
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 : 3600.062
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.46
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.962
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.46
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 : 3700.000
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125902956 kB
MemAvailable: 129570788 kB
Buffers: 2128 kB
Cached: 4454924 kB
SwapCached: 40 kB
Active: 682860 kB
Inactive: 4011688 kB
Active(anon): 250756 kB
Inactive(anon): 4764 kB
Active(file): 432104 kB
Inactive(file): 4006924 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5204 kB
Writeback: 8 kB
AnonPages: 240216 kB
Mapped: 117284 kB
Shmem: 18020 kB
KReclaimable: 136084 kB
Slab: 229480 kB
SReclaimable: 136084 kB
SUnreclaim: 93396 kB
KernelStack: 4252 kB
PageTables: 3712 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6564152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 122880 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432176 MiB
End job on nodeC029 at 2025-07-11 18:24:36