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 (62608 MiB free)
memory of node 1: 64465 MiB (61171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546325-1753259879/watcher-4546325-1753259879 -o /tmp/evaluation-result-4546325-1753259879/solver-4546325-1753259879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753259701-197380 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546325-1753259879.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
solver pid=197937, runsolver pid=197934
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 3.94 1.92 0.81 5/254 197938
/proc/meminfo: memFree=126750756/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=87652 memory=14748 CPUtime=0.09 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 1776 0 0 0 8 1 0 0 20 0 1 0 241667092 89755648 3687 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 21913 3687 2400 595 0 6580 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87652 KiB
Current children cumulated memory: 14748 KiB
[startup+0.21316 s]*
/proc/loadavg: 3.94 1.92 0.81 5/254 197938
/proc/meminfo: memFree=126750756/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=0.2 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 18 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+0.313201 s]*
/proc/loadavg: 3.94 1.92 0.81 5/254 197938
/proc/meminfo: memFree=126750756/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=0.3 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 28 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+0.700272 s]
/proc/loadavg: 3.94 1.92 0.81 5/254 197938
/proc/meminfo: memFree=126750756/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=0.68 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 66 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+1.50028 s]
/proc/loadavg: 3.94 1.92 0.81 5/254 197938
/proc/meminfo: memFree=126751008/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=1.47 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 145 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+3.11292 s]
/proc/loadavg: 3.94 1.96 0.83 5/254 197938
/proc/meminfo: memFree=126746892/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=3.08 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 306 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+6.30028 s]
/proc/loadavg: 3.94 1.96 0.83 5/254 197938
/proc/meminfo: memFree=126741812/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=6.26 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 624 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+12.7002 s]
/proc/loadavg: 3.95 1.99 0.84 5/254 197938
/proc/meminfo: memFree=126742316/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=93140 memory=20252 CPUtime=12.65 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 3138 0 0 0 1263 2 0 0 20 0 1 0 241667092 95375360 5063 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 23285 5063 2432 595 0 7952 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 20252 KiB
[startup+25.5003 s]
/proc/loadavg: 3.96 2.09 0.90 5/254 197939
/proc/meminfo: memFree=126739340/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=96416 memory=26348 CPUtime=25.42 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 4110 0 0 0 2538 4 0 0 20 0 1 0 241667092 98729984 6587 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 24104 6587 2464 595 0 8771 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96416 KiB
Current children cumulated memory: 26348 KiB
[startup+51.1131 s]
/proc/loadavg: 4.12 2.28 0.99 5/254 197939
/proc/meminfo: memFree=126715136/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=98152 memory=28012 CPUtime=50.96 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 4513 0 0 0 5091 5 0 0 20 0 1 0 241667092 100507648 7003 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 24538 7003 2464 595 0 9205 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 98152 KiB
Current children cumulated memory: 28012 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 2.55 1.15 5/255 197942
/proc/meminfo: memFree=126656404/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=100724 memory=30572 CPUtime=102.01 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 5158 0 0 0 10192 9 0 0 20 0 1 0 241667092 103141376 7643 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 25181 7643 2464 595 0 9848 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 100724 KiB
Current children cumulated memory: 30572 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 2.84 1.34 5/253 197988
/proc/meminfo: memFree=126609120/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=102704 memory=32620 CPUtime=161.87 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 5679 0 0 0 16171 16 0 0 20 0 1 0 241667092 105168896 8155 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 25676 8155 2464 595 0 10343 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 102704 KiB
Current children cumulated memory: 32620 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.07 1.52 5/252 198035
/proc/meminfo: memFree=121106212/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=103800 memory=33644 CPUtime=221.73 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 5939 0 0 0 22152 21 0 0 20 0 1 0 241667092 106291200 8411 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 25950 8411 2464 595 0 10617 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 103800 KiB
Current children cumulated memory: 33644 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.26 1.68 5/251 198083
/proc/meminfo: memFree=123265416/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=105344 memory=35308 CPUtime=281.56 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 6353 0 0 0 28129 27 0 0 20 0 1 0 241667092 107872256 8827 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 26336 8827 2464 595 0 11003 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 105344 KiB
Current children cumulated memory: 35308 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.41 1.83 5/251 198085
/proc/meminfo: memFree=113268088/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=106372 memory=36204 CPUtime=341.42 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 6589 0 0 0 34110 32 0 0 20 0 1 0 241667092 108924928 9051 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 26593 9051 2464 595 0 11260 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 106372 KiB
Current children cumulated memory: 36204 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.54 1.98 5/250 198087
/proc/meminfo: memFree=102810864/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=107188 memory=37100 CPUtime=401.28 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 6808 0 0 0 40090 38 0 0 20 0 1 0 241667092 109760512 9275 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 26797 9275 2464 595 0 11464 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 107188 KiB
Current children cumulated memory: 37100 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.64 2.11 5/250 198133
/proc/meminfo: memFree=126313520/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=107636 memory=37612 CPUtime=461.14 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 6918 0 0 0 46072 42 0 0 20 0 1 0 241667092 110219264 9403 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 26909 9403 2464 595 0 11576 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
Current children cumulated memory: 53228 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/250 198279
/proc/meminfo: memFree=126257772/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=123156 memory=53356 CPUtime=2974.57 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 10817 0 0 0 297116 341 0 0 20 0 1 0 241667092 126111744 13339 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 30789 13339 2464 595 0 15456 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 123156 KiB
Current children cumulated memory: 53356 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.13 4.02 5/250 198281
/proc/meminfo: memFree=126251360/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=123364 memory=53484 CPUtime=3034.41 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 10853 0 0 0 303096 345 0 0 20 0 1 0 241667092 126324736 13371 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 30841 13371 2464 595 0 15508 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 123364 KiB
Current children cumulated memory: 53484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.74 4.30 4.09 5/250 198283
/proc/meminfo: memFree=126250392/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=123364 memory=53612 CPUtime=3094.24 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 10897 0 0 0 309073 351 0 0 20 0 1 0 241667092 126324736 13403 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 30841 13403 2464 595 0 15508 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 123364 KiB
Current children cumulated memory: 53612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.24 4.08 5/250 198285
/proc/meminfo: memFree=126251272/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=123508 memory=53612 CPUtime=3154.08 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 10905 0 0 0 315052 356 0 0 20 0 1 0 241667092 126472192 13403 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 30877 13403 2464 595 0 15544 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 123508 KiB
Current children cumulated memory: 53612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.23 4.09 5/249 198287
/proc/meminfo: memFree=126243092/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=123792 memory=53868 CPUtime=3213.91 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 10980 0 0 0 321025 366 0 0 20 0 1 0 241667092 126763008 13467 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 30948 13467 2464 595 0 15615 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 123792 KiB
Current children cumulated memory: 53868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/250 198290
/proc/meminfo: memFree=126242644/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124384 memory=54508 CPUtime=3273.74 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11140 0 0 0 326996 378 0 0 20 0 1 0 241667092 127369216 13627 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31096 13627 2464 595 0 15763 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 124384 KiB
Current children cumulated memory: 54508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.18 4.09 5/250 198292
/proc/meminfo: memFree=126240944/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124384 memory=54508 CPUtime=3333.58 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11148 0 0 0 332974 384 0 0 20 0 1 0 241667092 127369216 13627 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31096 13627 2464 595 0 15763 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 124384 KiB
Current children cumulated memory: 54508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/250 198293
/proc/meminfo: memFree=126230632/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124528 memory=54636 CPUtime=3393.41 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11176 0 0 0 338952 389 0 0 20 0 1 0 241667092 127516672 13659 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31132 13659 2464 595 0 15799 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 124528 KiB
Current children cumulated memory: 54636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/250 198340
/proc/meminfo: memFree=126807904/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124688 memory=54764 CPUtime=3453.19 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11200 0 0 0 344921 398 0 0 20 0 1 0 241667092 127680512 13691 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31172 13691 2464 595 0 15839 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 124688 KiB
Current children cumulated memory: 54764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/251 198394
/proc/meminfo: memFree=122407224/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124848 memory=55020 CPUtime=3513.02 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11256 0 0 0 350897 405 0 0 20 0 1 0 241667092 127844352 13755 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31212 13755 2464 595 0 15879 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 124848 KiB
Current children cumulated memory: 55020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/251 198442
/proc/meminfo: memFree=127569576/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124848 memory=55020 CPUtime=3572.85 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11272 0 0 0 356875 410 0 0 20 0 1 0 241667092 127844352 13755 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31212 13755 2464 595 0 15879 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 124848 KiB
Current children cumulated memory: 55020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.18 4.16 4.10 5/251 198578
/proc/meminfo: memFree=126237504/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124848 memory=55020 CPUtime=3600.07 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11272 0 0 0 359595 412 0 0 20 0 1 0 241667092 127844352 13755 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31212 13755 2464 595 0 15879 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 124848 KiB
Current children cumulated memory: 55020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 197937 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.47 s, system=4.12154 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.18 4.16 4.10 5/251 198578
/proc/meminfo: memFree=126237504/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124848 memory=55020 CPUtime=3600.48 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11272 0 0 0 359636 412 0 0 20 0 1 0 241667092 127844352 13755 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31212 13755 2464 595 0 15879 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 124848 KiB
Current children cumulated memory: 55020 KiB
[startup+3610.11 s]
/proc/loadavg: 4.18 4.16 4.10 5/251 198578
/proc/meminfo: memFree=126237504/131382116 swapFree=33009904/33010684
[pid=197937] ppid=197934 vsize=124848 memory=55020 CPUtime=3600.58 cores=5,7
/proc/197937/stat : 197937 (SynLSCD-PS) R 197934 197937 197360 0 -1 4194304 11272 0 0 0 359646 412 0 0 20 0 1 0 241667092 127844352 13755 18446744073709551615 94682449317888 94682451753305 140725158795488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94682452233464 94682452266496 94682482700288 140725158799741 140725158799879 140725158799879 140725158805483 0
/proc/197937/statm: 31212 13755 2464 595 0 15879 0
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 124848 KiB
Current children cumulated memory: 55020 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.6
CPU user time (s): 3596.47
CPU system time (s): 4.12154
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 124848
Max. memory (cumulated for all children) (KiB): 55020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.47
system time used= 4.12154
maximum resident set size= 55276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11304
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= 139
involuntary context switches= 2496
# summary of solver processes directly reported to runsolver:
# pid: 197937
# total CPU time (s): 3600.6
# total CPU user time (s): 3596.47
# total CPU system time (s): 4.12154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6267 second user time and 34.461 second system time
The end
Begin job on nodeC004 at 2025-07-23 10:37:59
IDJOB=4546325
IDBENCH=160381
IDSOLVER=3422
FILE ID=nodeC004/4546325-1753259879
RUNJOBID= nodeC004-1753259701-197380
SLURM_JOB_ID= 9689159
Free space on /tmp= 432960 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x100split.cnf-plain.pb.metafix.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-4546325-1753259879/watcher-4546325-1753259879 -o /tmp/evaluation-result-4546325-1753259879/solver-4546325-1753259879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753259701-197380 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546325-1753259879.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=654685998
nodeC004 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 : 3578.719
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.74
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 : 3662.775
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.74
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.264
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.74
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.74
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 : 3660.857
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.74
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.217
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.74
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.836
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.74
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.688
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126750504 kB
MemAvailable: 127542696 kB
Buffers: 2128 kB
Cached: 1540124 kB
SwapCached: 32 kB
Active: 3406840 kB
Inactive: 473240 kB
Active(anon): 2353492 kB
Inactive(anon): 10468 kB
Active(file): 1053348 kB
Inactive(file): 462772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3788 kB
Writeback: 0 kB
AnonPages: 2340920 kB
Mapped: 120080 kB
Shmem: 26132 kB
KReclaimable: 231400 kB
Slab: 324212 kB
SReclaimable: 231400 kB
SUnreclaim: 92812 kB
KernelStack: 4096 kB
PageTables: 7892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2875520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1275904 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC004 at 2025-07-23 11:38:10