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: 63665 MiB (62883 MiB free)
memory of node 1: 64507 MiB (62892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517377-1751232348/watcher-4517377-1751232348 -o /tmp/evaluation-result-4517377-1751232348/solver-4517377-1751232348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751231931-30945 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517377-1751232348.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=33376, runsolver pid=33373
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.31 3.76 3.39 5/267 33377
/proc/meminfo: memFree=128790760/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=0.08 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 8 0 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+0.205409 s]*
/proc/loadavg: 4.31 3.76 3.39 5/267 33377
/proc/meminfo: memFree=128790760/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=0.19 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 17 2 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+0.304928 s]*
/proc/loadavg: 4.31 3.76 3.39 5/267 33377
/proc/meminfo: memFree=128790760/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=0.28 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 26 2 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+0.700097 s]
/proc/loadavg: 4.31 3.76 3.39 5/267 33377
/proc/meminfo: memFree=128790760/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=0.67 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 63 4 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+1.5001 s]
/proc/loadavg: 4.31 3.76 3.39 5/267 33377
/proc/meminfo: memFree=128790760/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=1.47 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 137 10 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+3.10499 s]
/proc/loadavg: 4.29 3.77 3.39 5/267 33377
/proc/meminfo: memFree=128791012/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=3.07 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 281 26 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+6.3001 s]
/proc/loadavg: 4.29 3.77 3.39 5/267 33377
/proc/meminfo: memFree=128789968/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=6.26 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 568 58 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+12.7001 s]
/proc/loadavg: 4.24 3.77 3.40 5/267 33377
/proc/meminfo: memFree=128790224/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=86868 memory=14036 CPUtime=12.65 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 1413 0 0 0 1155 110 0 0 20 0 1 0 38912602 88952832 3509 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 21717 3509 2464 595 0 6384 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86868 KiB
Current children cumulated memory: 14036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 3.80 3.41 5/267 33377
/proc/meminfo: memFree=128762440/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=109060 memory=52560 CPUtime=25.41 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 6923 0 0 0 2410 131 0 0 20 0 1 0 38912602 111677440 13140 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 27265 13140 2496 595 0 11932 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 109060 KiB
Current children cumulated memory: 52560 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 3.81 3.43 5/266 33377
/proc/meminfo: memFree=128697756/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=157260 memory=81828 CPUtime=50.94 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 10286 0 0 0 4956 138 0 0 20 0 1 0 38912602 161034240 20457 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 39315 20457 2496 595 0 23982 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 157260 KiB
Current children cumulated memory: 81828 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.86 3.47 5/266 33379
/proc/meminfo: memFree=128669144/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=178320 memory=103556 CPUtime=102 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 14197 0 0 0 10053 147 0 0 20 0 1 0 38912602 182599680 25889 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 44580 25889 2496 595 0 29247 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 178320 KiB
Current children cumulated memory: 103556 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.92 3.52 5/265 33381
/proc/meminfo: memFree=128669256/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=190320 memory=119344 CPUtime=161.83 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 16557 0 0 0 16006 177 0 0 20 0 1 0 38912602 194887680 29836 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 47580 29836 2592 595 0 32247 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 190320 KiB
Current children cumulated memory: 119344 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.95 3.56 5/264 33383
/proc/meminfo: memFree=128658260/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=190320 memory=119472 CPUtime=221.64 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 16584 0 0 0 21957 207 0 0 20 0 1 0 38912602 194887680 29868 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 47580 29868 2592 595 0 32247 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 190320 KiB
Current children cumulated memory: 119472 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.99 3.60 5/264 33386
/proc/meminfo: memFree=128658504/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=190320 memory=119600 CPUtime=281.44 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 16615 0 0 0 27896 248 0 0 20 0 1 0 38912602 194887680 29900 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 47580 29900 2592 595 0 32247 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 190320 KiB
Current children cumulated memory: 119600 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.01 3.63 5/264 33390
/proc/meminfo: memFree=128674016/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=190320 memory=119600 CPUtime=341.23 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 16634 0 0 0 33821 302 0 0 20 0 1 0 38912602 194887680 29900 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 47580 29900 2592 595 0 32247 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 190320 KiB
Current children cumulated memory: 119600 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.02 3.66 5/264 33392
/proc/meminfo: memFree=128672764/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=190320 memory=119600 CPUtime=401.03 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 16637 0 0 0 39763 340 0 0 20 0 1 0 38912602 194887680 29900 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 47580 29900 2592 595 0 32247 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 190320 KiB
Current children cumulated memory: 119600 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.05 3.69 5/264 33394
/proc/meminfo: memFree=128641080/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=191152 memory=129712 CPUtime=460.86 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 16830 0 0 0 45702 384 0 0 20 0 1 0 38912602 195739648 32428 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 47788 32428 2592 595 0 32455 0
################
# More data... #
################
Current children cumulated memory: 145456 KiB
[startup+2922.3 s]
/proc/loadavg: 1.11 1.33 2.08 2/245 33676
/proc/meminfo: memFree=128919736/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216532 memory=151728 CPUtime=2913.95 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21686 0 0 0 289262 2133 0 0 20 0 1 0 38912602 221728768 37932 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54133 37932 2592 595 0 38800 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 216532 KiB
Current children cumulated memory: 151728 KiB
[startup+2982.3 s]
/proc/loadavg: 1.09 1.29 2.01 2/245 33678
/proc/meminfo: memFree=128920412/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216532 memory=154544 CPUtime=2973.81 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21688 0 0 0 295202 2179 0 0 20 0 1 0 38912602 221728768 38636 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54133 38636 2592 595 0 38800 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 216532 KiB
Current children cumulated memory: 154544 KiB
[startup+3042.3 s]
/proc/loadavg: 1.07 1.25 1.95 2/245 33684
/proc/meminfo: memFree=128921276/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216532 memory=154672 CPUtime=3033.67 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21781 0 0 0 301140 2227 0 0 20 0 1 0 38912602 221728768 38668 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54133 38668 2592 595 0 38800 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 216532 KiB
Current children cumulated memory: 154672 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.23 1.90 2/244 33686
/proc/meminfo: memFree=128921384/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216532 memory=154672 CPUtime=3093.54 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21784 0 0 0 307089 2265 0 0 20 0 1 0 38912602 221728768 38668 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54133 38668 2592 595 0 38800 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 216532 KiB
Current children cumulated memory: 154672 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.20 1.85 2/245 33689
/proc/meminfo: memFree=128930088/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=154800 CPUtime=3153.41 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21814 0 0 0 313046 2295 0 0 20 0 1 0 38912602 221990912 38700 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38700 2592 595 0 38864 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 154800 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.19 1.80 2/245 33691
/proc/meminfo: memFree=128929948/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=154800 CPUtime=3213.27 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21817 0 0 0 318989 2338 0 0 20 0 1 0 38912602 221990912 38700 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38700 2592 595 0 38864 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 154800 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.17 1.76 2/245 33693
/proc/meminfo: memFree=128930324/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=154800 CPUtime=3273.14 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21817 0 0 0 324923 2391 0 0 20 0 1 0 38912602 221990912 38700 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38700 2592 595 0 38864 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 154800 KiB
[startup+3342.3 s]
/proc/loadavg: 1.16 1.17 1.72 2/245 33695
/proc/meminfo: memFree=128930688/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=155312 CPUtime=3333.01 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21820 0 0 0 330866 2435 0 0 20 0 1 0 38912602 221990912 38828 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38828 2592 595 0 38864 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 155312 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.15 1.68 2/245 33697
/proc/meminfo: memFree=128930572/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=155312 CPUtime=3392.87 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21820 0 0 0 336821 2466 0 0 20 0 1 0 38912602 221990912 38828 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38828 2592 595 0 38864 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 155312 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.14 1.64 2/245 33702
/proc/meminfo: memFree=128933804/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=155312 CPUtime=3452.73 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21820 0 0 0 342792 2481 0 0 20 0 1 0 38912602 221990912 38828 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38828 2592 595 0 38864 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 155312 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.14 1.61 2/245 33704
/proc/meminfo: memFree=128934152/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=216788 memory=155312 CPUtime=3512.59 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21821 0 0 0 348739 2520 0 0 20 0 1 0 38912602 221990912 38828 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54197 38828 2592 595 0 38864 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 216788 KiB
Current children cumulated memory: 155312 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.13 1.57 2/246 33708
/proc/meminfo: memFree=128920608/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=217044 memory=155568 CPUtime=3572.46 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21872 0 0 0 354692 2554 0 0 20 0 1 0 38912602 222253056 38892 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54261 38892 2592 595 0 38928 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 217044 KiB
Current children cumulated memory: 155568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 1.13 1.13 1.56 2/246 33713
/proc/meminfo: memFree=128918700/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=217044 memory=155568 CPUtime=3600 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21872 0 0 0 357305 2695 0 0 20 0 1 0 38912602 222253056 38892 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54261 38892 2592 595 0 38928 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 217044 KiB
Current children cumulated memory: 155568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 33376 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.06 s, system=26.9553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 1.13 1.13 1.56 2/246 33713
/proc/meminfo: memFree=128918700/131249996 swapFree=33010684/33010684
[pid=33376] ppid=33373 vsize=217044 memory=155568 CPUtime=3600 cores=0,2
/proc/33376/stat : 33376 (SynLSCD-PS) R 33373 33376 30935 0 -1 4194304 21872 0 0 0 357305 2695 0 0 20 0 1 0 38912602 222253056 38892 18446744073709551615 93915979960320 93915982395321 140735978404848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93915982875896 93915982908928 93916020379648 140735978412384 140735978412520 140735978412520 140735978418122 0
/proc/33376/statm: 54261 38892 2592 595 0 38928 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 217044 KiB
Current children cumulated memory: 155568 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.01
CPU user time (s): 3573.06
CPU system time (s): 26.9553
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 217044
Max. memory (cumulated for all children) (KiB): 155568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.06
system time used= 26.9553
maximum resident set size= 155568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21898
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= 175
involuntary context switches= 7899
# summary of solver processes directly reported to runsolver:
# pid: 33376
# total CPU time (s): 3600.01
# total CPU user time (s): 3573.06
# total CPU system time (s): 26.9553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60838 second user time and 14.6473 second system time
The end
Begin job on nodeC022 at 2025-06-29 23:25:48
IDJOB=4517377
IDBENCH=176059
IDSOLVER=3370
FILE ID=nodeC022/4517377-1751232348
RUNJOBID= nodeC022-1751231931-30945
SLURM_JOB_ID= 9587707
Free space on /tmp= 433052 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-16diag_spec_greater.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517377-1751232348/watcher-4517377-1751232348 -o /tmp/evaluation-result-4517377-1751232348/solver-4517377-1751232348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751231931-30945 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517377-1751232348.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6887599ad065147dc61a02d711e5083c
RANDOM SEED=1345013627
nodeC022 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.690
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.44
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.712
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.44
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 : 3529.892
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.44
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.768
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.708
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
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.44
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 : 3709.049
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.44
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 : 3540.290
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128794288 kB
MemAvailable: 129473420 kB
Buffers: 3280 kB
Cached: 1483344 kB
SwapCached: 0 kB
Active: 566384 kB
Inactive: 1234984 kB
Active(anon): 332804 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 1234984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3428 kB
Writeback: 0 kB
AnonPages: 317804 kB
Mapped: 114568 kB
Shmem: 18060 kB
KReclaimable: 99212 kB
Slab: 186380 kB
SReclaimable: 99212 kB
SUnreclaim: 87168 kB
KernelStack: 4320 kB
PageTables: 3780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 698796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-30 00:25:59