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 (60375 MiB free)
memory of node 1: 64465 MiB (62834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545941-1753261938/watcher-4545941-1753261938 -o /tmp/evaluation-result-4545941-1753261938/solver-4545941-1753261938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166040 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545941-1753261938.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=167414, runsolver pid=167411
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126154724/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=89300 memory=16128 CPUtime=0.09 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 2076 0 0 0 8 1 0 0 20 0 1 0 241872656 91443200 4032 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 22325 4032 2208 595 0 6992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89300 KiB
Current children cumulated memory: 16128 KiB
[startup+0.212708 s]*
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126146660/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=99592 memory=25924 CPUtime=0.2 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 5054 0 0 0 18 2 0 0 20 0 1 0 241872656 101982208 6481 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 24898 6481 2464 595 0 9565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 25924 KiB
[startup+0.312773 s]*
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126147884/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=119668 memory=44996 CPUtime=0.3 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 9777 0 0 0 26 4 0 0 20 0 1 0 241872656 122540032 11249 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 29917 11249 2496 595 0 14584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119668 KiB
Current children cumulated memory: 44996 KiB
[startup+0.700326 s]
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126107564/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=0.68 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18052 0 0 0 61 7 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+1.50031 s]
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126107564/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=1.47 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18056 0 0 0 139 8 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+3.11244 s]
/proc/loadavg: 4.08 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126126676/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=3.08 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18056 0 0 0 297 11 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+6.30028 s]
/proc/loadavg: 4.08 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126159464/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=6.26 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 607 19 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.13 3.84 5/249 167416
/proc/meminfo: memFree=126206564/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=12.64 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 1229 35 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 3.85 5/249 167416
/proc/meminfo: memFree=126315132/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=25.41 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 2473 68 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+51.1125 s]
/proc/loadavg: 4.08 4.13 3.86 5/249 167416
/proc/meminfo: memFree=126527880/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=50.96 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 4969 127 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 3.88 5/249 167418
/proc/meminfo: memFree=126529956/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=162360 memory=105348 CPUtime=102.02 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 20715 0 0 0 10023 179 0 0 20 0 1 0 241872656 166256640 26337 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 40590 26337 2560 595 0 25257 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 162360 KiB
Current children cumulated memory: 105348 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.14 3.90 5/249 167420
/proc/meminfo: memFree=126536372/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=162712 memory=105732 CPUtime=161.87 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 20831 0 0 0 15881 306 0 0 20 0 1 0 241872656 166617088 26433 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 40678 26433 2560 595 0 25345 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 162712 KiB
Current children cumulated memory: 105732 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 3.91 5/249 167422
/proc/meminfo: memFree=126526856/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=182036 memory=120360 CPUtime=221.71 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 22664 0 0 0 21837 334 0 0 20 0 1 0 241872656 186404864 30090 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 45509 30090 2560 595 0 30176 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 182036 KiB
Current children cumulated memory: 120360 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 3.93 5/250 167431
/proc/meminfo: memFree=126524676/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=182212 memory=120360 CPUtime=281.56 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 22683 0 0 0 27697 459 0 0 20 0 1 0 241872656 186585088 30090 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 45553 30090 2560 595 0 30220 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 182212 KiB
Current children cumulated memory: 120360 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 3.94 5/250 167433
/proc/meminfo: memFree=126520168/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=184412 memory=122792 CPUtime=341.4 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 23263 0 0 0 33629 511 0 0 20 0 1 0 241872656 188837888 30698 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 46103 30698 2560 595 0 30770 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 184412 KiB
Current children cumulated memory: 122792 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 3.96 5/250 167435
/proc/meminfo: memFree=126520192/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=184672 memory=122920 CPUtime=401.26 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 23307 0 0 0 39512 614 0 0 20 0 1 0 241872656 189104128 30730 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 46168 30730 2560 595 0 30835 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 184672 KiB
Current children cumulated memory: 122920 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 3.97 5/250 167437
/proc/meminfo: memFree=126508552/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=189056 memory=127272 CPUtime=461.1 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 24405 0 0 0 45484 626 0 0 20 0 1 0 241872656 193593344 31818 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 47264 31818 2560 595 0 31931 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 171808 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 167971
/proc/meminfo: memFree=104726328/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=242876 memory=171808 CPUtime=2914.44 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32504 0 0 0 288584 2860 0 0 20 0 1 0 241872656 248705024 42952 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60719 42952 2560 595 0 45386 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 242876 KiB
Current children cumulated memory: 171808 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/251 167984
/proc/meminfo: memFree=104713488/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=243016 memory=171936 CPUtime=2974.28 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32544 0 0 0 294560 2868 0 0 20 0 1 0 241872656 248848384 42984 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60754 42984 2560 595 0 45421 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 243016 KiB
Current children cumulated memory: 171936 KiB
[startup+3042.3 s]
/proc/loadavg: 4.51 4.20 4.12 5/251 167986
/proc/meminfo: memFree=104694312/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=243984 memory=172832 CPUtime=3034.12 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32777 0 0 0 300485 2927 0 0 20 0 1 0 241872656 249839616 43208 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60996 43208 2560 595 0 45663 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 243984 KiB
Current children cumulated memory: 172832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.53 4.28 4.16 5/251 167988
/proc/meminfo: memFree=104613844/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=243984 memory=172832 CPUtime=3093.96 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32777 0 0 0 306367 3029 0 0 20 0 1 0 241872656 249839616 43208 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60996 43208 2560 595 0 45663 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 243984 KiB
Current children cumulated memory: 172832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.26 4.16 5/251 167990
/proc/meminfo: memFree=104605084/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244320 memory=173216 CPUtime=3153.81 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32861 0 0 0 312332 3049 0 0 20 0 1 0 241872656 250183680 43304 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61080 43304 2560 595 0 45747 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 244320 KiB
Current children cumulated memory: 173216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/251 167992
/proc/meminfo: memFree=104601252/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244320 memory=173216 CPUtime=3213.65 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32861 0 0 0 318174 3191 0 0 20 0 1 0 241872656 250183680 43304 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61080 43304 2560 595 0 45747 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 244320 KiB
Current children cumulated memory: 173216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/251 167994
/proc/meminfo: memFree=104603596/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244496 memory=173344 CPUtime=3273.5 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32905 0 0 0 324149 3201 0 0 20 0 1 0 241872656 250363904 43336 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61124 43336 2560 595 0 45791 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 244496 KiB
Current children cumulated memory: 173344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/251 168002
/proc/meminfo: memFree=104601576/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244960 memory=173856 CPUtime=3333.35 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33021 0 0 0 330083 3252 0 0 20 0 1 0 241872656 250839040 43464 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61240 43464 2560 595 0 45907 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 173856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/250 168004
/proc/meminfo: memFree=104595312/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244960 memory=173856 CPUtime=3393.2 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33051 0 0 0 335958 3362 0 0 20 0 1 0 241872656 250839040 43464 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61240 43464 2560 595 0 45907 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 173856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/251 168007
/proc/meminfo: memFree=104578784/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=245332 memory=174240 CPUtime=3453.05 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33128 0 0 0 341935 3370 0 0 20 0 1 0 241872656 251219968 43560 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61333 43560 2560 595 0 46000 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 245332 KiB
Current children cumulated memory: 174240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/251 168009
/proc/meminfo: memFree=104570012/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=245332 memory=174240 CPUtime=3512.9 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33128 0 0 0 347779 3511 0 0 20 0 1 0 241872656 251219968 43560 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61333 43560 2560 595 0 46000 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 245332 KiB
Current children cumulated memory: 174240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/251 168011
/proc/meminfo: memFree=104570692/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=245492 memory=174368 CPUtime=3572.74 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33168 0 0 0 353744 3530 0 0 20 0 1 0 241872656 251383808 43592 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61373 43592 2560 595 0 46040 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 245492 KiB
Current children cumulated memory: 174368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 168012
/proc/meminfo: memFree=104573372/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=246132 memory=175008 CPUtime=3600.07 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33328 0 0 0 356473 3534 0 0 20 0 1 0 241872656 252039168 43752 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61533 43752 2560 595 0 46200 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 246132 KiB
Current children cumulated memory: 175008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 167414 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.74 s, system=35.349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 168012
/proc/meminfo: memFree=104573372/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=246132 memory=175008 CPUtime=3600.07 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33328 0 0 0 356473 3534 0 0 20 0 1 0 241872656 252039168 43752 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61533 43752 2560 595 0 46200 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 246132 KiB
Current children cumulated memory: 175008 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.09
CPU user time (s): 3564.74
CPU system time (s): 35.349
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 246132
Max. memory (cumulated for all children) (KiB): 175008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.74
system time used= 35.349
maximum resident set size= 176408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33361
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= 155
involuntary context switches= 1867
# summary of solver processes directly reported to runsolver:
# pid: 167414
# total CPU time (s): 3600.09
# total CPU user time (s): 3564.74
# total CPU system time (s): 35.349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7464 second user time and 33.3558 second system time
The end
Begin job on nodeC002 at 2025-07-23 11:12:19
IDJOB=4545941
IDBENCH=162160
IDSOLVER=3421
FILE ID=nodeC002/4545941-1753261938
RUNJOBID= nodeC002-1753259701-166040
SLURM_JOB_ID= 9689157
Free space on /tmp= 432272 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-0.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545941-1753261938/watcher-4545941-1753261938 -o /tmp/evaluation-result-4545941-1753261938/solver-4545941-1753261938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166040 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545941-1753261938.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab6600e5fcf1c6d7769b5fd648c35e77
RANDOM SEED=427538893
nodeC002 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 : 3661.144
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.81
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 : 1197.228
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.81
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.669
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.81
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.856
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.81
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 : 3661.126
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.81
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 : 3662.064
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.81
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.833
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.81
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.249
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126167376 kB
MemAvailable: 127509752 kB
Buffers: 2128 kB
Cached: 2094212 kB
SwapCached: 28 kB
Active: 3062856 kB
Inactive: 985396 kB
Active(anon): 1971736 kB
Inactive(anon): 6300 kB
Active(file): 1091120 kB
Inactive(file): 979096 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3936 kB
Writeback: 0 kB
AnonPages: 1954984 kB
Mapped: 120576 kB
Shmem: 26124 kB
KReclaimable: 223572 kB
Slab: 314992 kB
SReclaimable: 223572 kB
SUnreclaim: 91420 kB
KernelStack: 4048 kB
PageTables: 7052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2419204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1859584 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432264 MiB
End job on nodeC002 at 2025-07-23 12:12:28