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 (62641 MiB free)
memory of node 1: 64465 MiB (63765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513165-1751213159/watcher-4513165-1751213159 -o /tmp/evaluation-result-4513165-1751213159/solver-4513165-1751213159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751209547-24651 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513165-1751213159.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25067, runsolver pid=25064
[startup+0.100101 s]*
/proc/loadavg: 4.14 4.10 4.04 5/251 25068
/proc/meminfo: memFree=129425396/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=89036 memory=15744 CPUtime=0.09 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 2006 0 0 0 8 1 0 0 20 0 1 0 36994556 91172864 3936 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 22259 3936 2208 595 0 6926 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89036 KiB
Current children cumulated memory: 15744 KiB
[startup+0.213081 s]*
/proc/loadavg: 4.14 4.10 4.04 5/251 25068
/proc/meminfo: memFree=129417332/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=99436 memory=25524 CPUtime=0.2 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 4995 0 0 0 18 2 0 0 20 0 1 0 36994556 101822464 6381 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 24859 6381 2432 595 0 9526 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 25524 KiB
[startup+0.313117 s]*
/proc/loadavg: 4.14 4.10 4.04 5/251 25068
/proc/meminfo: memFree=129413648/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=109676 memory=34612 CPUtime=0.3 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 7258 0 0 0 27 3 0 0 20 0 1 0 36994556 112308224 8653 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 27419 8653 2464 595 0 12086 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109676 KiB
Current children cumulated memory: 34612 KiB
[startup+0.700329 s]
/proc/loadavg: 4.14 4.10 4.04 4/247 25076
/proc/meminfo: memFree=129529616/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=0.67 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17521 0 0 0 61 6 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+1.50032 s]
/proc/loadavg: 4.14 4.10 4.04 5/249 25080
/proc/meminfo: memFree=129529472/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=1.48 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17524 0 0 0 140 8 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+3.1129 s]
/proc/loadavg: 4.14 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129476640/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=3.08 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17524 0 0 0 297 11 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129476896/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=6.26 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17525 0 0 0 608 18 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.10 4.04 5/251 25114
/proc/meminfo: memFree=129477060/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=12.64 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17525 0 0 0 1232 32 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.04 5/251 25114
/proc/meminfo: memFree=129477060/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=25.41 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17525 0 0 0 2479 62 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+51.1129 s]
/proc/loadavg: 4.13 4.10 4.04 5/251 25114
/proc/meminfo: memFree=129477060/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=149716 memory=75700 CPUtime=50.96 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 17525 0 0 0 4974 122 0 0 20 0 1 0 36994556 153309184 18925 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 37429 18925 2464 595 0 22096 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 149716 KiB
Current children cumulated memory: 75700 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/251 25116
/proc/meminfo: memFree=129409236/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=160532 memory=101108 CPUtime=102.01 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 20267 0 0 0 10033 168 0 0 20 0 1 0 36994556 164384768 25277 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 40133 25277 2496 595 0 24800 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 160532 KiB
Current children cumulated memory: 101108 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/250 25122
/proc/meminfo: memFree=129358892/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=162928 memory=103028 CPUtime=161.83 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 20765 0 0 0 15883 300 0 0 20 0 1 0 36994556 166838272 25757 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 40732 25757 2496 595 0 25399 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 162928 KiB
Current children cumulated memory: 103028 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/250 25124
/proc/meminfo: memFree=129291284/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=179456 memory=113692 CPUtime=221.65 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 21802 0 0 0 21835 330 0 0 20 0 1 0 36994556 183762944 28423 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 44864 28423 2496 595 0 29531 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 179456 KiB
Current children cumulated memory: 113692 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/250 25127
/proc/meminfo: memFree=129290256/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=179996 memory=115484 CPUtime=281.5 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 21982 0 0 0 27697 453 0 0 20 0 1 0 36994556 184315904 28871 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 44999 28871 2496 595 0 29666 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 179996 KiB
Current children cumulated memory: 115484 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.12 4.05 5/250 25130
/proc/meminfo: memFree=129264964/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=184060 memory=119196 CPUtime=341.34 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 22961 0 0 0 33632 502 0 0 20 0 1 0 36994556 188477440 29799 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 46015 29799 2496 595 0 30682 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 184060 KiB
Current children cumulated memory: 119196 KiB
[startup+402.3 s]
/proc/loadavg: 4.70 4.28 4.12 5/251 25135
/proc/meminfo: memFree=129266664/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=184272 memory=119452 CPUtime=401.2 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 23046 0 0 0 39513 607 0 0 20 0 1 0 36994556 188694528 29863 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 46068 29863 2496 595 0 30735 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 184272 KiB
Current children cumulated memory: 119452 KiB
[startup+462.3 s]
/proc/loadavg: 4.70 4.34 4.14 5/252 25138
/proc/meminfo: memFree=129247520/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=189224 memory=130532 CPUtime=461.05 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 24276 0 0 0 45485 620 0 0 20 0 1 0 36994556 193765376 32633 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 47306 32633 2496 595 0 31973 0
################
# More data... #
################
Current children cumulated memory: 176028 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/251 25294
/proc/meminfo: memFree=129144676/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=244596 memory=176284 CPUtime=2914.17 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 32857 0 0 0 288451 2966 0 0 20 0 1 0 36994556 250466304 44071 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61149 44071 2496 595 0 45816 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 244596 KiB
Current children cumulated memory: 176284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.13 5/251 25296
/proc/meminfo: memFree=129147180/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=244596 memory=176284 CPUtime=2973.99 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 32857 0 0 0 294306 3093 0 0 20 0 1 0 36994556 250466304 44071 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61149 44071 2496 595 0 45816 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 244596 KiB
Current children cumulated memory: 176284 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/251 25298
/proc/meminfo: memFree=129139904/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=244876 memory=176668 CPUtime=3033.79 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 32944 0 0 0 300275 3104 0 0 20 0 1 0 36994556 250753024 44167 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61219 44167 2496 595 0 45886 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 244876 KiB
Current children cumulated memory: 176668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/252 25301
/proc/meminfo: memFree=129133192/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=245196 memory=176924 CPUtime=3093.62 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 33021 0 0 0 306207 3155 0 0 20 0 1 0 36994556 251080704 44231 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61299 44231 2496 595 0 45966 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 245196 KiB
Current children cumulated memory: 176924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/250 25303
/proc/meminfo: memFree=129130120/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=245196 memory=177052 CPUtime=3153.43 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 33032 0 0 0 312081 3262 0 0 20 0 1 0 36994556 251080704 44263 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61299 44263 2496 595 0 45966 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 245196 KiB
Current children cumulated memory: 177052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.10 4.10 5/251 25310
/proc/meminfo: memFree=129137472/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=245924 memory=177692 CPUtime=3213.25 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 33210 0 0 0 318051 3274 0 0 20 0 1 0 36994556 251826176 44423 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61481 44423 2496 595 0 46148 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 245924 KiB
Current children cumulated memory: 177692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/251 25312
/proc/meminfo: memFree=129134652/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=245924 memory=177692 CPUtime=3273.06 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 33210 0 0 0 323913 3393 0 0 20 0 1 0 36994556 251826176 44423 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61481 44423 2496 595 0 46148 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 245924 KiB
Current children cumulated memory: 177692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/251 25325
/proc/meminfo: memFree=129136960/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=246116 memory=177820 CPUtime=3332.88 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 33272 0 0 0 329853 3435 0 0 20 0 1 0 36994556 252022784 44455 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61529 44455 2496 595 0 46196 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 246116 KiB
Current children cumulated memory: 177820 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 25327
/proc/meminfo: memFree=129144984/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=247952 memory=179612 CPUtime=3392.68 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 33717 0 0 0 335821 3447 0 0 20 0 1 0 36994556 253902848 44903 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 61988 44903 2496 595 0 46655 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 247952 KiB
Current children cumulated memory: 179612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 25332
/proc/meminfo: memFree=129136204/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=249524 memory=181276 CPUtime=3452.48 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 34109 0 0 0 341791 3457 0 0 20 0 1 0 36994556 255512576 45319 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 62381 45319 2496 595 0 47048 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 249524 KiB
Current children cumulated memory: 181276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/252 25334
/proc/meminfo: memFree=129124924/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=250228 memory=181916 CPUtime=3512.28 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 34287 0 0 0 347760 3468 0 0 20 0 1 0 36994556 256233472 45479 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 62557 45479 2496 595 0 47224 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 250228 KiB
Current children cumulated memory: 181916 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/252 25336
/proc/meminfo: memFree=129116952/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=250228 memory=181916 CPUtime=3572.1 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 34287 0 0 0 353601 3609 0 0 20 0 1 0 36994556 256233472 45479 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 62557 45479 2496 595 0 47224 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 250228 KiB
Current children cumulated memory: 181916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 25337
/proc/meminfo: memFree=129119808/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=250228 memory=181916 CPUtime=3600.01 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 34287 0 0 0 356383 3618 0 0 20 0 1 0 36994556 256233472 45479 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 62557 45479 2496 595 0 47224 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 250228 KiB
Current children cumulated memory: 181916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 25067 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.83 s, system=36.1909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 25337
/proc/meminfo: memFree=129119808/131382120 swapFree=33010684/33010684
[pid=25067] ppid=25064 vsize=250228 memory=181916 CPUtime=3600.01 cores=5,7
/proc/25067/stat : 25067 (SynLSCD-PS) R 25064 25067 24638 0 -1 4194304 34287 0 0 0 356383 3618 0 0 20 0 1 0 36994556 256233472 45479 18446744073709551615 94775191015424 94775193450425 140721717677488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94775193931000 94775193964032 94775202873344 140721717684576 140721717684712 140721717684712 140721717690314 0
/proc/25067/statm: 62557 45479 2496 595 0 47224 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 250228 KiB
Current children cumulated memory: 181916 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.03
CPU user time (s): 3563.83
CPU system time (s): 36.1909
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 250228
Max. memory (cumulated for all children) (KiB): 181916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.83
system time used= 36.1909
maximum resident set size= 182172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34317
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= 154
involuntary context switches= 1859
# summary of solver processes directly reported to runsolver:
# pid: 25067
# total CPU time (s): 3600.03
# total CPU user time (s): 3563.83
# total CPU system time (s): 36.1909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3745 second user time and 34.07 second system time
The end
Begin job on nodeC003 at 2025-06-29 18:05:59
IDJOB=4513165
IDBENCH=162283
IDSOLVER=3370
FILE ID=nodeC003/4513165-1751213159
RUNJOBID= nodeC003-1751209547-24651
SLURM_JOB_ID= 9587643
Free space on /tmp= 432744 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-3.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-4513165-1751213159/watcher-4513165-1751213159 -o /tmp/evaluation-result-4513165-1751213159/solver-4513165-1751213159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751209547-24651 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513165-1751213159.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ddf61ddf9175117d21c5f59d371263b
RANDOM SEED=881444431
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.623
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.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 : 0xb00001f
cpu MHz : 3662.530
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.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 : 0xb00001f
cpu MHz : 1197.429
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.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 : 0xb00001f
cpu MHz : 1197.311
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.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 : 0xb00001f
cpu MHz : 3700.000
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.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 : 0xb00001f
cpu MHz : 1197.340
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.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 : 0xb00001f
cpu MHz : 1396.689
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.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 : 0xb00001f
cpu MHz : 1197.164
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129465968 kB
MemAvailable: 129598592 kB
Buffers: 3280 kB
Cached: 942356 kB
SwapCached: 0 kB
Active: 632856 kB
Inactive: 728536 kB
Active(anon): 433720 kB
Inactive(anon): 0 kB
Active(file): 199136 kB
Inactive(file): 728536 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8052 kB
Writeback: 0 kB
AnonPages: 418552 kB
Mapped: 114696 kB
Shmem: 17960 kB
KReclaimable: 89156 kB
Slab: 170828 kB
SReclaimable: 89156 kB
SUnreclaim: 81672 kB
KernelStack: 4064 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 788968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432740 MiB
End job on nodeC003 at 2025-06-29 19:06:09