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: 63837 MiB (62164 MiB free)
memory of node 1: 64465 MiB (63465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543963-1753229269/watcher-4543963-1753229269 -o /tmp/evaluation-result-4543963-1753229269/solver-4543963-1753229269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1753222044-164143 --watchdog 3760 pb_picat HOME/instance-4543963-1753229269.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=164914, runsolver pid=164911
[startup+0.100097 s]*
/proc/loadavg: 4.26 4.28 4.20 5/250 164915
/proc/meminfo: memFree=128613676/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2028512 memory=23496 CPUtime=0.1 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 1393 0 0 0 9 1 0 0 20 0 1 0 238606081 2077196288 5874 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507128 5874 1664 343 0 504192 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028512 KiB
Current children cumulated memory: 23496 KiB
[startup+0.213449 s]*
/proc/loadavg: 4.26 4.28 4.20 5/250 164915
/proc/meminfo: memFree=128609580/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2029024 memory=23760 CPUtime=0.21 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 1659 0 0 0 20 1 0 0 20 0 1 0 238606081 2077720576 5940 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507256 5940 1664 343 0 504320 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2029024 KiB
Current children cumulated memory: 23760 KiB
[startup+0.313022 s]*
/proc/loadavg: 4.26 4.28 4.20 6/250 164915
/proc/meminfo: memFree=128609076/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2029392 memory=23864 CPUtime=0.31 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 1838 0 0 0 30 1 0 0 20 0 1 0 238606081 2078097408 5966 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507348 5966 1664 343 0 504412 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029392 KiB
Current children cumulated memory: 23864 KiB
[startup+0.70025 s]
/proc/loadavg: 4.26 4.28 4.20 5/250 164915
/proc/meminfo: memFree=128596980/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2030160 memory=24560 CPUtime=0.68 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 2607 0 0 0 67 1 0 0 20 0 1 0 238606081 2078883840 6140 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507540 6140 1664 343 0 504604 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2030160 KiB
Current children cumulated memory: 24560 KiB
[startup+1.50027 s]
/proc/loadavg: 4.26 4.28 4.20 6/250 164915
/proc/meminfo: memFree=128592356/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2031392 memory=25300 CPUtime=1.48 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5193 0 0 0 146 2 0 0 20 0 1 0 238606081 2080145408 6325 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507848 6325 1664 343 0 504912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031392 KiB
Current children cumulated memory: 25300 KiB
[startup+3.11279 s]
/proc/loadavg: 4.24 4.27 4.19 6/250 164915
/proc/meminfo: memFree=128548184/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2030896 memory=25552 CPUtime=3.09 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 12813 0 0 0 306 3 0 0 20 0 1 0 238606081 2079637504 6388 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507724 6388 1664 343 0 504788 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2030896 KiB
Current children cumulated memory: 25552 KiB
[startup+6.30025 s]
/proc/loadavg: 4.24 4.27 4.19 6/250 164915
/proc/meminfo: memFree=128552092/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2033656 memory=27192 CPUtime=6.26 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 27846 0 0 0 621 5 0 0 20 0 1 0 238606081 2082463744 6798 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 508414 6798 1664 343 0 505478 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2033656 KiB
Current children cumulated memory: 27192 KiB
[startup+12.7003 s]
/proc/loadavg: 4.28 4.28 4.20 5/251 164967
/proc/meminfo: memFree=128485636/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2037656 memory=29008 CPUtime=12.63 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 56484 0 0 0 1251 12 0 0 20 0 1 0 238606081 2086559744 7252 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 509414 7252 1664 343 0 506478 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2037656 KiB
Current children cumulated memory: 29008 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.27 4.19 5/251 164967
/proc/meminfo: memFree=128441348/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2031132 memory=25892 CPUtime=25.4 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 104552 0 0 0 2517 23 0 0 20 0 1 0 238606081 2079879168 6473 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 507783 6473 1664 343 0 504847 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2031132 KiB
Current children cumulated memory: 25892 KiB
[startup+51.1129 s]
/proc/loadavg: 4.15 4.25 4.19 5/251 164968
/proc/meminfo: memFree=128361896/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2038300 memory=32980 CPUtime=50.94 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 207650 0 0 0 5048 46 0 0 20 0 1 0 238606081 2087219200 8245 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 509575 8245 1664 343 0 506639 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2038300 KiB
Current children cumulated memory: 32980 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.22 4.18 5/251 164969
/proc/meminfo: memFree=128373820/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2034256 memory=28904 CPUtime=101.98 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 369573 0 0 0 10115 83 0 0 20 0 1 0 238606081 2083078144 7226 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 508564 7226 1664 343 0 505628 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2034256 KiB
Current children cumulated memory: 28904 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/251 164971
/proc/meminfo: memFree=128373168/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2040164 memory=34488 CPUtime=161.82 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 547181 0 0 0 16056 126 0 0 20 0 1 0 238606081 2089127936 8622 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 510041 8622 1664 343 0 507105 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2040164 KiB
Current children cumulated memory: 34488 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/251 164973
/proc/meminfo: memFree=128387632/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2040164 memory=32036 CPUtime=221.65 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 687121 0 0 0 22004 161 0 0 20 0 1 0 238606081 2089127936 8009 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 510041 8009 1664 343 0 507105 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2040164 KiB
Current children cumulated memory: 32036 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/250 164975
/proc/meminfo: memFree=128356656/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2048600 memory=43156 CPUtime=281.47 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 814132 0 0 0 27952 195 0 0 20 0 1 0 238606081 2097766400 10789 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 512150 10789 1664 343 0 509214 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2048600 KiB
Current children cumulated memory: 43156 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.14 4.16 5/249 164977
/proc/meminfo: memFree=128329748/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2050648 memory=41552 CPUtime=341.3 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 973069 0 0 0 33895 235 0 0 20 0 1 0 238606081 2099863552 10388 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 512662 10388 1664 343 0 509726 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2050648 KiB
Current children cumulated memory: 41552 KiB
[startup+402.3 s]
/proc/loadavg: 4.72 4.32 4.22 5/249 164979
/proc/meminfo: memFree=128318780/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2050720 memory=39712 CPUtime=401.12 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 1089336 0 0 0 39845 267 0 0 20 0 1 0 238606081 2099937280 9928 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 512680 9928 1664 343 0 509744 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 2050720 KiB
Current children cumulated memory: 39712 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 4.30 4.22 5/249 164981
/proc/meminfo: memFree=128352432/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2050880 memory=41592 CPUtime=460.94 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 1217480 0 0 0 45790 304 0 0 20 0 1 0 238606081 2100101120 10398 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 512720 10398 1664 343 0 509784 0
################
# More data... #
################
Current children cumulated memory: 41400 KiB
[startup+2862.3 s]
/proc/loadavg: 4.29 4.25 4.15 5/249 165091
/proc/meminfo: memFree=127885700/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2172372 memory=117812 CPUtime=2853.96 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 4707789 0 0 0 284087 1309 0 0 20 0 1 0 238606081 2224508928 29453 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 543093 29453 1664 343 0 540157 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 2172372 KiB
Current children cumulated memory: 117812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/249 165093
/proc/meminfo: memFree=128065212/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2109124 memory=99492 CPUtime=2913.78 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 4749768 0 0 0 290054 1324 0 0 20 0 1 0 238606081 2159742976 24873 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 527281 24873 1664 343 0 524345 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 2109124 KiB
Current children cumulated memory: 99492 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.19 4.14 5/249 165095
/proc/meminfo: memFree=127679880/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2076356 memory=69936 CPUtime=2973.6 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 4817940 0 0 0 296019 1341 0 0 20 0 1 0 238606081 2126188544 17484 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 519089 17484 1664 343 0 516153 0
Current children cumulated CPU time: 2973.6 s
Current children cumulated vsize: 2076356 KiB
Current children cumulated memory: 69936 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/250 165104
/proc/meminfo: memFree=127953172/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2076356 memory=60720 CPUtime=3033.42 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 4879225 0 0 0 301983 1359 0 0 20 0 1 0 238606081 2126188544 15180 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 519089 15180 1664 343 0 516153 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 2076356 KiB
Current children cumulated memory: 60720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.19 4.14 5/250 165106
/proc/meminfo: memFree=128150672/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2055876 memory=55684 CPUtime=3093.25 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 4935044 0 0 0 307947 1378 0 0 20 0 1 0 238606081 2105217024 13921 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 513969 13921 1664 343 0 511033 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 2055876 KiB
Current children cumulated memory: 55684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.60 4.32 4.19 5/250 165108
/proc/meminfo: memFree=128043768/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2055876 memory=48256 CPUtime=3153.07 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 4996927 0 0 0 313908 1399 0 0 20 0 1 0 238606081 2105217024 12064 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 513969 12064 1664 343 0 511033 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 2055876 KiB
Current children cumulated memory: 48256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.27 4.18 5/251 165125
/proc/meminfo: memFree=127936048/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2045636 memory=45312 CPUtime=3212.9 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5052639 0 0 0 319871 1419 0 0 20 0 1 0 238606081 2094731264 11328 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 511409 11328 1664 343 0 508473 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 2045636 KiB
Current children cumulated memory: 45312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/251 165127
/proc/meminfo: memFree=127355384/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2072260 memory=55640 CPUtime=3272.73 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5125566 0 0 0 325834 1439 0 0 20 0 1 0 238606081 2121994240 13910 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 518065 13910 1664 343 0 515129 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 2072260 KiB
Current children cumulated memory: 55640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/250 165129
/proc/meminfo: memFree=127909708/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2072260 memory=68200 CPUtime=3332.56 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5199531 0 0 0 331796 1460 0 0 20 0 1 0 238606081 2121994240 17050 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 518065 17050 1664 343 0 515129 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 2072260 KiB
Current children cumulated memory: 68200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.18 4.16 5/250 165131
/proc/meminfo: memFree=128315876/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2055876 memory=54448 CPUtime=3392.39 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5249468 0 0 0 337763 1476 0 0 20 0 1 0 238606081 2105217024 13612 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 513969 13612 1664 343 0 511033 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 2055876 KiB
Current children cumulated memory: 54448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/250 165133
/proc/meminfo: memFree=128179432/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2072260 memory=57432 CPUtime=3452.22 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5323666 0 0 0 343724 1498 0 0 20 0 1 0 238606081 2121994240 14358 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 518065 14358 1664 343 0 515129 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 2072260 KiB
Current children cumulated memory: 57432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/250 165135
/proc/meminfo: memFree=128019796/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2076356 memory=62884 CPUtime=3512.05 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5445165 0 0 0 349675 1530 0 0 20 0 1 0 238606081 2126188544 15721 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 519089 15721 1664 343 0 516153 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 2076356 KiB
Current children cumulated memory: 62884 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/251 165138
/proc/meminfo: memFree=128075284/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2055876 memory=54576 CPUtime=3571.87 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5588455 0 0 0 355621 1566 0 0 20 0 1 0 238606081 2105217024 13644 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 513969 13644 1664 343 0 511033 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 2055876 KiB
Current children cumulated memory: 54576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.04 4.12 4.14 3/241 165177
/proc/meminfo: memFree=128990320/131382112 swapFree=33000116/33010684
[pid=164914] ppid=164911 vsize=2076356 memory=61112 CPUtime=3600.08 cores=5,7
/proc/164914/stat : 164914 (pb_picat) R 164911 164914 164125 0 -1 4194304 5619105 0 0 0 358432 1576 0 0 20 0 1 0 238606081 2126188544 15278 18446744073709551615 94180091379712 94180092781293 140720430110816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94180093052720 94180094926960 94180116340736 140720430119324 140720430119400 140720430119400 140720430125004 0
/proc/164914/statm: 519089 15278 1664 343 0 516153 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2076356 KiB
Current children cumulated memory: 61112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 164914 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3584.33 s, system=15.7617 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): 3610.6
CPU time (s): 3600.09
CPU user time (s): 3584.33
CPU system time (s): 15.7617
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 2199020
Max. memory (cumulated for all children) (KiB): 157048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.33
system time used= 15.7617
maximum resident set size= 157048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5619105
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= 74
involuntary context switches= 4803
# summary of solver processes directly reported to runsolver:
# pid: 164914
# total CPU time (s): 3600.09
# total CPU user time (s): 3584.33
# total CPU system time (s): 15.7617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0771 second user time and 34.4168 second system time
The end
Begin job on nodeC007 at 2025-07-23 02:07:49
IDJOB=4543963
IDBENCH=174721
IDSOLVER=3385
FILE ID=nodeC007/4543963-1753229269
RUNJOBID= nodeC007-1753222044-164143
SLURM_JOB_ID= 9687815
Free space on /tmp= 432972 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_10_016.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543963-1753229269/watcher-4543963-1753229269 -o /tmp/evaluation-result-4543963-1753229269/solver-4543963-1753229269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1753222044-164143 --watchdog 3760 pb_picat HOME/instance-4543963-1753229269.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a1449aeb0ea4317e9a99ca91ee17eb22
RANDOM SEED=1848272109
nodeC007 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 : 0xb00001f
cpu MHz : 3662.279
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3491.756
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.596
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.492
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3491.835
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.426
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.243
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.197
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128666348 kB
MemAvailable: 129206984 kB
Buffers: 16 kB
Cached: 1212172 kB
SwapCached: 2616 kB
Active: 1481208 kB
Inactive: 389028 kB
Active(anon): 645048 kB
Inactive(anon): 33312 kB
Active(file): 836160 kB
Inactive(file): 355716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16440 kB
Writeback: 4 kB
AnonPages: 658396 kB
Mapped: 111808 kB
Shmem: 20304 kB
KReclaimable: 376772 kB
Slab: 471088 kB
SReclaimable: 376772 kB
SUnreclaim: 94316 kB
KernelStack: 3996 kB
PageTables: 4388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6854360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 546816 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC007 at 2025-07-23 03:08:00