runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62098 MiB free)
memory of node 1: 64465 MiB (59446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541541-1753209881/watcher-4541541-1753209881 -o /tmp/evaluation-result-4541541-1753209881/solver-4541541-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753209881-166811 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4541541-1753209881.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
solver pid=166862, runsolver pid=166850
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 1.66 3.46 3.93 6/263 166867
/proc/meminfo: memFree=124444216/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=90628 memory=18048 CPUtime=0.07 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 2444 0 0 0 6 1 0 0 20 0 1 0 236666668 92803072 4512 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 22657 4512 2336 595 0 7324 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 90628 KiB
Current children cumulated memory: 18048 KiB
[startup+0.205471 s]*
/proc/loadavg: 1.66 3.46 3.93 6/263 166867
/proc/meminfo: memFree=124421708/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=102032 memory=28852 CPUtime=0.17 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 5543 0 0 0 15 2 0 0 20 0 1 0 236666668 104480768 7213 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 25508 7213 2464 595 0 10175 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 102032 KiB
Current children cumulated memory: 28852 KiB
[startup+0.305305 s]*
/proc/loadavg: 1.66 3.46 3.93 6/263 166867
/proc/meminfo: memFree=124421708/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=102032 memory=28852 CPUtime=0.27 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 5543 0 0 0 23 4 0 0 20 0 1 0 236666668 104480768 7213 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 25508 7213 2464 595 0 10175 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 102032 KiB
Current children cumulated memory: 28852 KiB
[startup+0.700098 s]
/proc/loadavg: 1.66 3.46 3.93 6/263 166867
/proc/meminfo: memFree=124421708/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=102032 memory=28852 CPUtime=0.66 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 5543 0 0 0 53 13 0 0 20 0 1 0 236666668 104480768 7213 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 25508 7213 2464 595 0 10175 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 102032 KiB
Current children cumulated memory: 28852 KiB
[startup+1.50009 s]
/proc/loadavg: 1.66 3.46 3.93 6/263 166867
/proc/meminfo: memFree=124421708/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=102032 memory=28852 CPUtime=1.46 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 5543 0 0 0 119 27 0 0 20 0 1 0 236666668 104480768 7213 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 25508 7213 2464 595 0 10175 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 102032 KiB
Current children cumulated memory: 28852 KiB
[startup+3.10447 s]
/proc/loadavg: 1.93 3.48 3.93 6/263 166867
/proc/meminfo: memFree=124422092/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=102032 memory=28852 CPUtime=3.06 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 5543 0 0 0 247 59 0 0 20 0 1 0 236666668 104480768 7213 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 25508 7213 2464 595 0 10175 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 102032 KiB
Current children cumulated memory: 28852 KiB
[startup+6.30011 s]
/proc/loadavg: 1.93 3.48 3.93 6/263 166867
/proc/meminfo: memFree=124418544/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=103596 memory=33032 CPUtime=6.24 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 5972 0 0 0 506 118 0 0 20 0 1 0 236666668 106082304 8258 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 25899 8258 2560 595 0 10566 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 103596 KiB
Current children cumulated memory: 33032 KiB
[startup+12.7002 s]
/proc/loadavg: 2.25 3.50 3.93 6/263 166867
/proc/meminfo: memFree=124374136/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=117524 memory=55144 CPUtime=12.63 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 9441 0 0 0 1141 122 0 0 20 0 1 0 236666668 120344576 13786 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 29381 13786 2592 595 0 14048 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117524 KiB
Current children cumulated memory: 55144 KiB
[startup+25.5002 s]
/proc/loadavg: 2.52 3.52 3.93 6/263 166868
/proc/meminfo: memFree=124291120/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=171120 memory=96288 CPUtime=25.39 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 14250 0 0 0 2411 128 0 0 20 0 1 0 236666668 175226880 24072 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 42780 24072 2592 595 0 27447 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 171120 KiB
Current children cumulated memory: 96288 KiB
[startup+51.1053 s]
/proc/loadavg: 3.11 3.57 3.94 6/263 166868
/proc/meminfo: memFree=124216536/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=178716 memory=104352 CPUtime=50.92 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 16242 0 0 0 4954 138 0 0 20 0 1 0 236666668 183005184 26088 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 44679 26088 2592 595 0 29346 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 178716 KiB
Current children cumulated memory: 104352 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 3.66 3.95 6/263 166870
/proc/meminfo: memFree=124101876/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=193840 memory=120572 CPUtime=101.98 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 19789 0 0 0 10039 159 0 0 20 0 1 0 236666668 198492160 30143 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 48460 30143 2592 595 0 33127 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 193840 KiB
Current children cumulated memory: 120572 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.74 3.96 6/263 166872
/proc/meminfo: memFree=124036156/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=202264 memory=134496 CPUtime=161.81 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 21763 0 0 0 16000 181 0 0 20 0 1 0 236666668 207118336 33624 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 50566 33624 2592 595 0 35233 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 202264 KiB
Current children cumulated memory: 134496 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.81 3.98 6/263 166874
/proc/meminfo: memFree=123993612/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=202596 memory=138080 CPUtime=221.62 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 21894 0 0 0 21959 203 0 0 20 0 1 0 236666668 207458304 34520 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 50649 34520 2592 595 0 35316 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 202596 KiB
Current children cumulated memory: 138080 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.86 3.99 6/262 166876
/proc/meminfo: memFree=123941844/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=206948 memory=142176 CPUtime=281.47 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 22914 0 0 0 27918 229 0 0 20 0 1 0 236666668 211914752 35544 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 51737 35544 2592 595 0 36404 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 206948 KiB
Current children cumulated memory: 142176 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.90 4.00 6/262 166878
/proc/meminfo: memFree=123949716/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=208696 memory=143712 CPUtime=341.3 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 23367 0 0 0 33882 248 0 0 20 0 1 0 236666668 213704704 35928 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 52174 35928 2592 595 0 36841 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 208696 KiB
Current children cumulated memory: 143712 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.94 4.00 6/262 166880
/proc/meminfo: memFree=123920112/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=211948 memory=147296 CPUtime=401.09 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 24256 0 0 0 39840 269 0 0 20 0 1 0 236666668 217034752 36824 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 52987 36824 2592 595 0 37654 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 211948 KiB
Current children cumulated memory: 147296 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.97 4.00 6/262 166882
/proc/meminfo: memFree=123897252/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=212424 memory=147552 CPUtime=460.88 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 24380 0 0 0 45794 294 0 0 20 0 1 0 236666668 217522176 36888 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 53106 36888 2592 595 0 37773 0
################
# More data... #
################
Current children cumulated memory: 185056 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.10 6/263 167008
/proc/meminfo: memFree=123716844/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=249424 memory=185056 CPUtime=2913.59 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 33802 0 0 0 289827 1532 0 0 20 0 1 0 236666668 255410176 46264 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 62356 46264 2592 595 0 47023 0
Current children cumulated CPU time: 2913.59 s
Current children cumulated vsize: 249424 KiB
Current children cumulated memory: 185056 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.10 6/263 167017
/proc/meminfo: memFree=123717272/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=249424 memory=185056 CPUtime=2973.42 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 33804 0 0 0 295791 1551 0 0 20 0 1 0 236666668 255410176 46264 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 62356 46264 2592 595 0 47023 0
Current children cumulated CPU time: 2973.42 s
Current children cumulated vsize: 249424 KiB
Current children cumulated memory: 185056 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/263 167019
/proc/meminfo: memFree=123709076/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=250532 memory=186080 CPUtime=3033.25 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 34083 0 0 0 301758 1567 0 0 20 0 1 0 236666668 256544768 46520 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 62633 46520 2592 595 0 47300 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 250532 KiB
Current children cumulated memory: 186080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/263 167021
/proc/meminfo: memFree=123696400/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=252152 memory=187744 CPUtime=3093.09 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 34488 0 0 0 307725 1584 0 0 20 0 1 0 236666668 258203648 46936 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 63038 46936 2592 595 0 47705 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 252152 KiB
Current children cumulated memory: 187744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/264 167024
/proc/meminfo: memFree=123684680/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=258928 memory=194144 CPUtime=3152.92 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 36102 0 0 0 313691 1601 0 0 20 0 1 0 236666668 265142272 48536 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 64732 48536 2592 595 0 49399 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 258928 KiB
Current children cumulated memory: 194144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 167026
/proc/meminfo: memFree=123692820/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=259072 memory=198604 CPUtime=3212.75 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 36164 0 0 0 319665 1610 0 0 20 0 1 0 236666668 265289728 49651 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 64768 49651 2592 595 0 49435 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 259072 KiB
Current children cumulated memory: 198604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 167028
/proc/meminfo: memFree=123689228/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=259424 memory=198988 CPUtime=3272.59 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 36218 0 0 0 325634 1625 0 0 20 0 1 0 236666668 265650176 49747 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 64856 49747 2592 595 0 49523 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 259424 KiB
Current children cumulated memory: 198988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 167030
/proc/meminfo: memFree=123636864/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=259424 memory=199116 CPUtime=3332.43 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 36260 0 0 0 331600 1643 0 0 20 0 1 0 236666668 265650176 49779 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 64856 49779 2592 595 0 49523 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 259424 KiB
Current children cumulated memory: 199116 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/264 167031
/proc/meminfo: memFree=123637452/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=259424 memory=199116 CPUtime=3392.26 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 36262 0 0 0 337566 1660 0 0 20 0 1 0 236666668 265650176 49779 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 64856 49779 2592 595 0 49523 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 259424 KiB
Current children cumulated memory: 199116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/264 167033
/proc/meminfo: memFree=123637460/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=259424 memory=199116 CPUtime=3452.1 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 36276 0 0 0 343536 1674 0 0 20 0 1 0 236666668 265650176 49779 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 64856 49779 2592 595 0 49523 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 259424 KiB
Current children cumulated memory: 199116 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/263 167035
/proc/meminfo: memFree=123637340/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=262624 memory=202188 CPUtime=3511.93 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 37040 0 0 0 349504 1689 0 0 20 0 1 0 236666668 268926976 50547 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 65656 50547 2592 595 0 50323 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 262624 KiB
Current children cumulated memory: 202188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.09 4.09 6/262 167043
/proc/meminfo: memFree=123609116/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=262764 memory=202316 CPUtime=3571.78 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 37053 0 0 0 355476 1702 0 0 20 0 1 0 236666668 269070336 50579 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 65691 50579 2592 595 0 50358 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 262764 KiB
Current children cumulated memory: 202316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.08 4.08 4.09 3/250 167069
/proc/meminfo: memFree=124314872/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=262764 memory=202316 CPUtime=3600.09 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 37053 0 0 0 358301 1708 0 0 20 0 1 0 236666668 269070336 50579 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 65691 50579 2592 595 0 50358 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 262764 KiB
Current children cumulated memory: 202316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.73 s]
# the end of solver process 166862 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.04 s, system=17.0895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.08 4.08 4.09 3/250 167069
/proc/meminfo: memFree=124314872/131249988 swapFree=33010416/33010684
[pid=166862] ppid=166850 vsize=262764 memory=202316 CPUtime=3600.09 cores=5,7
/proc/166862/stat : 166862 (SynLSCD-PS) R 166850 166862 166798 0 -1 4194304 37053 0 0 0 358301 1708 0 0 20 0 1 0 236666668 269070336 50579 18446744073709551615 94180563173376 94180565608377 140726331968048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94180566088952 94180566121984 94180576276480 140726331976030 140726331976166 140726331976166 140726331981770 0
/proc/166862/statm: 65691 50579 2592 595 0 50358 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 262764 KiB
Current children cumulated memory: 202316 KiB
Child status: 0
Real time (s): 3610.73
CPU time (s): 3600.13
CPU user time (s): 3583.04
CPU system time (s): 17.0895
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 262764
Max. memory (cumulated for all children) (KiB): 202316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.04
system time used= 17.0895
maximum resident set size= 202444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37078
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= 233
involuntary context switches= 20677
# summary of solver processes directly reported to runsolver:
# pid: 166862
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.04
# total CPU system time (s): 17.0895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42283 second user time and 15.2691 second system time
The end
Begin job on nodeC031 at 2025-07-22 20:44:41
IDJOB=4541541
IDBENCH=163136
IDSOLVER=3370
FILE ID=nodeC031/4541541-1753209881
RUNJOBID= nodeC031-1753209881-166811
SLURM_JOB_ID= 9687773
Free space on /tmp= 432952 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq5/normalized-30array_ineq5.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-4541541-1753209881/watcher-4541541-1753209881 -o /tmp/evaluation-result-4541541-1753209881/solver-4541541-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753209881-166811 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4541541-1753209881.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=942850719
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.982
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.215
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.013
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.432
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.881
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 124471608 kB
MemAvailable: 129581036 kB
Buffers: 2128 kB
Cached: 5794560 kB
SwapCached: 8 kB
Active: 1217328 kB
Inactive: 4660512 kB
Active(anon): 96936 kB
Inactive(anon): 10464 kB
Active(file): 1120392 kB
Inactive(file): 4650048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10692 kB
Writeback: 0 kB
AnonPages: 84224 kB
Mapped: 108752 kB
Shmem: 26248 kB
KReclaimable: 356456 kB
Slab: 455024 kB
SReclaimable: 356456 kB
SUnreclaim: 98568 kB
KernelStack: 3924 kB
PageTables: 2772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 359616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC031 at 2025-07-22 21:44:52