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 (62139 MiB free)
memory of node 1: 64465 MiB (63324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546450-1753260256/watcher-4546450-1753260256 -o /tmp/evaluation-result-4546450-1753260256/solver-4546450-1753260256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753259701-199318 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546450-1753260256.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=199890, runsolver pid=199887
[startup+0.100062 s]*
/proc/loadavg: 4.10 3.52 1.95 5/266 199891
/proc/meminfo: memFree=128463116/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=101944 memory=26528 CPUtime=0.09 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 5267 0 0 0 8 1 0 0 20 0 1 0 241703177 104390656 6632 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 25486 6632 2400 595 0 10153 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101944 KiB
Current children cumulated memory: 26528 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.10 3.52 1.95 5/266 199891
/proc/meminfo: memFree=128406668/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76064 CPUtime=0.19 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17610 0 0 0 16 3 0 0 20 0 1 0 241703177 153686016 19016 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19016 2432 595 0 22188 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76064 KiB
[startup+0.305506 s]*
/proc/loadavg: 4.10 3.52 1.95 5/266 199891
/proc/meminfo: memFree=128406668/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=0.29 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17639 0 0 0 26 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+0.70016 s]
/proc/loadavg: 4.10 3.52 1.95 5/266 199891
/proc/meminfo: memFree=128406164/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=0.68 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17642 0 0 0 65 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 3.52 1.95 5/266 199891
/proc/meminfo: memFree=128406164/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=1.48 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17642 0 0 0 145 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+3.10531 s]
/proc/loadavg: 4.09 3.53 1.96 5/266 199891
/proc/meminfo: memFree=128406448/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=3.08 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17642 0 0 0 305 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+6.30013 s]
/proc/loadavg: 4.09 3.53 1.96 5/266 199891
/proc/meminfo: memFree=128406528/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=6.27 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17642 0 0 0 624 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 3.54 1.98 5/266 199891
/proc/meminfo: memFree=128406780/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=12.65 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17642 0 0 0 1262 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 3.58 2.01 5/266 199892
/proc/meminfo: memFree=128407032/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=25.42 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17643 0 0 0 2539 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 3.61 2.06 5/266 199892
/proc/meminfo: memFree=128407136/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=150084 memory=76192 CPUtime=50.95 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 17643 0 0 0 5092 3 0 0 20 0 1 0 241703177 153686016 19048 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 37521 19048 2432 595 0 22188 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 76192 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.71 2.19 5/267 199901
/proc/meminfo: memFree=128381772/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=175016 memory=107428 CPUtime=102.01 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 20602 0 0 0 10189 12 0 0 20 0 1 0 241703177 179216384 26857 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 43754 26857 2432 595 0 28421 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 175016 KiB
Current children cumulated memory: 107428 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.78 2.31 5/265 199903
/proc/meminfo: memFree=128388452/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=177236 memory=111640 CPUtime=161.86 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 21122 0 0 0 16173 13 0 0 20 0 1 0 241703177 181489664 27910 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 44309 27910 2432 595 0 28976 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 177236 KiB
Current children cumulated memory: 111640 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.84 2.42 5/264 199906
/proc/meminfo: memFree=128395344/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=181012 memory=120500 CPUtime=221.7 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 22133 0 0 0 22148 22 0 0 20 0 1 0 241703177 185356288 30125 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 45253 30125 2432 595 0 29920 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 181012 KiB
Current children cumulated memory: 120500 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.89 2.53 5/264 199908
/proc/meminfo: memFree=128393208/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=181012 memory=122292 CPUtime=281.55 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 22152 0 0 0 28132 23 0 0 20 0 1 0 241703177 185356288 30573 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 45253 30573 2432 595 0 29920 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 181012 KiB
Current children cumulated memory: 122292 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.92 2.63 5/264 199910
/proc/meminfo: memFree=128398688/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=183288 memory=124468 CPUtime=341.4 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 22711 0 0 0 34109 31 0 0 20 0 1 0 241703177 187686912 31117 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 45822 31117 2432 595 0 30489 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 183288 KiB
Current children cumulated memory: 124468 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.95 2.72 5/263 199912
/proc/meminfo: memFree=128398804/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=183492 memory=124724 CPUtime=401.24 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 22768 0 0 0 40092 32 0 0 20 0 1 0 241703177 187895808 31181 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 45873 31181 2432 595 0 30540 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 183492 KiB
Current children cumulated memory: 124724 KiB
[startup+462.3 s]
/proc/loadavg: 4.35 4.07 2.84 5/264 199915
/proc/meminfo: memFree=128390520/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=187572 memory=128820 CPUtime=461.09 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 23791 0 0 0 46066 43 0 0 20 0 1 0 241703177 192073728 32205 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 46893 32205 2432 595 0 31560 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
Current children cumulated memory: 171896 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/263 200064
/proc/meminfo: memFree=128305872/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=242724 memory=171896 CPUtime=2854.71 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32511 0 0 0 285168 303 0 0 20 0 1 0 241703177 248549376 42974 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 60681 42974 2432 595 0 45348 0
Current children cumulated CPU time: 2854.71 s
Current children cumulated vsize: 242724 KiB
Current children cumulated memory: 171896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/264 200067
/proc/meminfo: memFree=128305732/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=242896 memory=172024 CPUtime=2914.57 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32547 0 0 0 291147 310 0 0 20 0 1 0 241703177 248725504 43006 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 60724 43006 2432 595 0 45391 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 242896 KiB
Current children cumulated memory: 172024 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/265 200071
/proc/meminfo: memFree=128290652/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=243032 memory=172152 CPUtime=2974.42 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32582 0 0 0 297122 320 0 0 20 0 1 0 241703177 248864768 43038 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 60758 43038 2432 595 0 45425 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 243032 KiB
Current children cumulated memory: 172152 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/265 200073
/proc/meminfo: memFree=128290500/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=243032 memory=172152 CPUtime=3034.26 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32582 0 0 0 303106 320 0 0 20 0 1 0 241703177 248864768 43038 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 60758 43038 2432 595 0 45425 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 243032 KiB
Current children cumulated memory: 172152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.05 4/262 200091
/proc/meminfo: memFree=128300944/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=244324 memory=173432 CPUtime=3094.12 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32905 0 0 0 309082 330 0 0 20 0 1 0 241703177 250187776 43358 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 61081 43358 2432 595 0 45748 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 244324 KiB
Current children cumulated memory: 173432 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.05 4/265 200144
/proc/meminfo: memFree=128259312/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=244324 memory=173432 CPUtime=3153.97 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32905 0 0 0 315066 331 0 0 20 0 1 0 241703177 250187776 43358 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 61081 43358 2432 595 0 45748 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 244324 KiB
Current children cumulated memory: 173432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/266 200536
/proc/meminfo: memFree=125277996/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=244532 memory=173688 CPUtime=3213.81 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 32957 0 0 0 321041 340 0 0 20 0 1 0 241703177 250400768 43422 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 61133 43422 2432 595 0 45800 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 244532 KiB
Current children cumulated memory: 173688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 200539
/proc/meminfo: memFree=122269972/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=245412 memory=174456 CPUtime=3273.67 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33181 0 0 0 327016 351 0 0 20 0 1 0 241703177 251301888 43614 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 61353 43614 2432 595 0 46020 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 245412 KiB
Current children cumulated memory: 174456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 200541
/proc/meminfo: memFree=122199568/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=248528 memory=177144 CPUtime=3333.52 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33843 0 0 0 332991 361 0 0 20 0 1 0 241703177 254492672 44286 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 62132 44286 2432 595 0 46799 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 177144 KiB
[startup+3402.3 s]
/proc/loadavg: 3.87 4.04 4.04 4/259 200572
/proc/meminfo: memFree=122282996/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=248812 memory=177528 CPUtime=3393.38 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33932 0 0 0 338968 370 0 0 20 0 1 0 241703177 254783488 44382 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 62203 44382 2432 595 0 46870 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 248812 KiB
Current children cumulated memory: 177528 KiB
[startup+3462.3 s]
/proc/loadavg: 3.02 3.79 3.95 3/252 200605
/proc/meminfo: memFree=128201856/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=248812 memory=177528 CPUtime=3453.2 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33949 0 0 0 344949 371 0 0 20 0 1 0 241703177 254783488 44382 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 62203 44382 2432 595 0 46870 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 248812 KiB
Current children cumulated memory: 177528 KiB
[startup+3522.3 s]
/proc/loadavg: 2.47 3.49 3.84 3/252 200607
/proc/meminfo: memFree=128195596/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=249000 memory=177656 CPUtime=3513.01 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33985 0 0 0 350921 380 0 0 20 0 1 0 241703177 254976000 44414 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 62250 44414 2432 595 0 46917 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 249000 KiB
Current children cumulated memory: 177656 KiB
[startup+3582.3 s]
/proc/loadavg: 2.17 3.21 3.72 3/252 200610
/proc/meminfo: memFree=128187564/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=249000 memory=177656 CPUtime=3572.8 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33985 0 0 0 356897 383 0 0 20 0 1 0 241703177 254976000 44414 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 62250 44414 2432 595 0 46917 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 249000 KiB
Current children cumulated memory: 177656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 2.16 3.11 3.67 3/252 200611
/proc/meminfo: memFree=128187596/131250000 swapFree=33010160/33010684
[pid=199890] ppid=199887 vsize=249000 memory=177784 CPUtime=3600.02 cores=5,7
/proc/199890/stat : 199890 (SynLSCD-PS) R 199887 199890 199298 0 -1 4194304 33993 0 0 0 359618 384 0 0 20 0 1 0 241703177 254976000 44446 18446744073709551615 94039528620032 94039531055449 140726157180528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94039531535608 94039531568640 94039535869952 140726157187453 140726157187591 140726157187591 140726157193195 0
/proc/199890/statm: 62250 44446 2432 595 0 46917 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 249000 KiB
Current children cumulated memory: 177784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 199890 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.19 s, system=3.84165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.03
CPU user time (s): 3596.19
CPU system time (s): 3.84165
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 249000
Max. memory (cumulated for all children) (KiB): 177784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.19
system time used= 3.84165
maximum resident set size= 178296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34025
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= 160
involuntary context switches= 1906
# summary of solver processes directly reported to runsolver:
# pid: 199890
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.19
# total CPU system time (s): 3.84165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30982 second user time and 14.861 second system time
The end
Begin job on nodeC016 at 2025-07-23 10:44:16
IDJOB=4546450
IDBENCH=162182
IDSOLVER=3422
FILE ID=nodeC016/4546450-1753260256
RUNJOBID= nodeC016-1753259701-199318
SLURM_JOB_ID= 9689171
Free space on /tmp= 433016 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-6.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-4546450-1753260256/watcher-4546450-1753260256 -o /tmp/evaluation-result-4546450-1753260256/solver-4546450-1753260256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753259701-199318 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546450-1753260256.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 94dee3519407525a3e2f33fb04ced940
RANDOM SEED=748932326
nodeC016 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.711
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.48
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.725
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.48
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 : 3601.561
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.48
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.396
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.48
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.730
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.48
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 : 3596.943
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.48
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 : 3603.866
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.48
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 : 3599.736
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128474580 kB
MemAvailable: 129498784 kB
Buffers: 2144 kB
Cached: 1739156 kB
SwapCached: 24 kB
Active: 1435852 kB
Inactive: 502256 kB
Active(anon): 220940 kB
Inactive(anon): 2108 kB
Active(file): 1214912 kB
Inactive(file): 500148 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3948 kB
Writeback: 0 kB
AnonPages: 199884 kB
Mapped: 120064 kB
Shmem: 26240 kB
KReclaimable: 296768 kB
Slab: 396148 kB
SReclaimable: 296768 kB
SUnreclaim: 99380 kB
KernelStack: 4288 kB
PageTables: 3576 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 588772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 129024 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC016 at 2025-07-23 11:44:26