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: 63665 MiB (62910 MiB free)
memory of node 1: 64507 MiB (60824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514389-1751217476/watcher-4514389-1751217476 -o /tmp/evaluation-result-4514389-1751217476/solver-4514389-1751217476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31561 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4514389-1751217476.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=32164, runsolver pid=32161
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.12 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126697164/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=87448 memory=14720 CPUtime=0.08 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 1648 0 0 0 8 0 0 0 20 0 1 0 37425345 89546752 3680 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 21862 3680 2336 595 0 6529 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 87448 KiB
Current children cumulated memory: 14720 KiB
[startup+0.205541 s]*
/proc/loadavg: 4.12 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126691620/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=100480 memory=26696 CPUtime=0.19 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 5375 0 0 0 18 1 0 0 20 0 1 0 37425345 102891520 6674 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 25120 6674 2464 595 0 9787 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100480 KiB
Current children cumulated memory: 26696 KiB
[startup+0.305488 s]*
/proc/loadavg: 4.12 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126691620/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=101328 memory=27720 CPUtime=0.29 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 5622 0 0 0 28 1 0 0 20 0 1 0 37425345 103759872 6930 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 25332 6930 2464 595 0 9999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 27720 KiB
[startup+0.700145 s]
/proc/loadavg: 4.12 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126687592/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=105156 memory=31816 CPUtime=0.67 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 6618 0 0 0 65 2 0 0 20 0 1 0 37425345 107679744 7954 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 26289 7954 2496 595 0 10956 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 31816 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126687592/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=105156 memory=31816 CPUtime=1.47 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 6618 0 0 0 142 5 0 0 20 0 1 0 37425345 107679744 7954 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 26289 7954 2496 595 0 10956 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 31816 KiB
[startup+3.10539 s]
/proc/loadavg: 4.11 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126663148/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=105156 memory=31816 CPUtime=3.07 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 6618 0 0 0 295 12 0 0 20 0 1 0 37425345 107679744 7954 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 26289 7954 2496 595 0 10956 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 31816 KiB
[startup+6.30013 s]
/proc/loadavg: 4.11 4.00 3.34 5/265 32165
/proc/meminfo: memFree=126663400/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=105156 memory=31816 CPUtime=6.26 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 6618 0 0 0 604 22 0 0 20 0 1 0 37425345 107679744 7954 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 26289 7954 2496 595 0 10956 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 31816 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.00 3.35 5/265 32165
/proc/meminfo: memFree=126655460/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=105156 memory=31816 CPUtime=12.65 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 6618 0 0 0 1219 46 0 0 20 0 1 0 37425345 107679744 7954 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 26289 7954 2496 595 0 10956 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 31816 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.00 3.35 5/265 32165
/proc/meminfo: memFree=126642224/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=105156 memory=31816 CPUtime=25.42 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 6618 0 0 0 2452 90 0 0 20 0 1 0 37425345 107679744 7954 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 26289 7954 2496 595 0 10956 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 31816 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.00 3.37 5/264 32166
/proc/meminfo: memFree=126616116/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=109652 memory=46628 CPUtime=50.96 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 7720 0 0 0 4939 157 0 0 20 0 1 0 37425345 112283648 11657 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 27413 11657 2560 595 0 12080 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 109652 KiB
Current children cumulated memory: 46628 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.03 3.42 5/263 32168
/proc/meminfo: memFree=126614044/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=111708 memory=54952 CPUtime=102.03 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 8255 0 0 0 10039 164 0 0 20 0 1 0 37425345 114388992 13738 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 27927 13738 2560 595 0 12594 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 111708 KiB
Current children cumulated memory: 54952 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.04 3.47 5/263 32170
/proc/meminfo: memFree=126580140/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=125556 memory=59956 CPUtime=161.88 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 8744 0 0 0 16018 170 0 0 20 0 1 0 37425345 128569344 14989 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 31389 14989 2560 595 0 16056 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 125556 KiB
Current children cumulated memory: 59956 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.04 3.51 5/264 32173
/proc/meminfo: memFree=126579020/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=125944 memory=60340 CPUtime=221.74 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 8841 0 0 0 21847 327 0 0 20 0 1 0 37425345 128966656 15085 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 31486 15085 2560 595 0 16153 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 125944 KiB
Current children cumulated memory: 60340 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.05 3.55 5/264 32175
/proc/meminfo: memFree=126571076/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=127160 memory=61620 CPUtime=281.59 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 9163 0 0 0 27823 336 0 0 20 0 1 0 37425345 130211840 15405 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 31790 15405 2560 595 0 16457 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 127160 KiB
Current children cumulated memory: 61620 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.05 3.58 5/263 32177
/proc/meminfo: memFree=126570988/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=127160 memory=61620 CPUtime=341.45 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 9180 0 0 0 33652 493 0 0 20 0 1 0 37425345 130211840 15405 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 31790 15405 2560 595 0 16457 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 127160 KiB
Current children cumulated memory: 61620 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.06 3.62 5/263 32182
/proc/meminfo: memFree=126571132/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=128060 memory=62388 CPUtime=401.3 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 9383 0 0 0 39632 498 0 0 20 0 1 0 37425345 131133440 15597 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 32015 15597 2560 595 0 16682 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 128060 KiB
Current children cumulated memory: 62388 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.09 3.66 5/264 32189
/proc/meminfo: memFree=126569516/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=128252 memory=62644 CPUtime=461.16 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 9449 0 0 0 45458 658 0 0 20 0 1 0 37425345 131330048 15661 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 32063 15661 2560 595 0 16730 0
################
# More data... #
################
Current children cumulated memory: 70836 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 32716
/proc/meminfo: memFree=126682696/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=135300 memory=70964 CPUtime=2854.92 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11103 0 0 0 283693 1799 0 0 20 0 1 0 37425345 138547200 17741 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 33825 17741 2560 595 0 18492 0
Current children cumulated CPU time: 2854.92 s
Current children cumulated vsize: 135300 KiB
Current children cumulated memory: 70964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 32723
/proc/meminfo: memFree=126538440/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=135452 memory=71092 CPUtime=2914.73 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11124 0 0 0 289668 1805 0 0 20 0 1 0 37425345 138702848 17773 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 33863 17773 2560 595 0 18530 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 135452 KiB
Current children cumulated memory: 71092 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 32725
/proc/meminfo: memFree=126537508/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=135696 memory=71348 CPUtime=2974.54 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11218 0 0 0 295644 1810 0 0 20 0 1 0 37425345 138952704 17837 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 33924 17837 2560 595 0 18591 0
Current children cumulated CPU time: 2974.54 s
Current children cumulated vsize: 135696 KiB
Current children cumulated memory: 71348 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 32727
/proc/meminfo: memFree=126537412/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=135852 memory=71476 CPUtime=3034.36 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11230 0 0 0 301619 1817 0 0 20 0 1 0 37425345 139112448 17869 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 33963 17869 2560 595 0 18630 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 135852 KiB
Current children cumulated memory: 71476 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 32774
/proc/meminfo: memFree=126588296/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=135852 memory=71476 CPUtime=3094.17 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11237 0 0 0 307592 1825 0 0 20 0 1 0 37425345 139112448 17869 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 33963 17869 2560 595 0 18630 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 135852 KiB
Current children cumulated memory: 71476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 32820
/proc/meminfo: memFree=126434604/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=136000 memory=71732 CPUtime=3153.98 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11300 0 0 0 313570 1828 0 0 20 0 1 0 37425345 139264000 17933 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34000 17933 2560 595 0 18667 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 136000 KiB
Current children cumulated memory: 71732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/264 32914
/proc/meminfo: memFree=120755436/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=136760 memory=72116 CPUtime=3213.8 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11414 0 0 0 319543 1837 0 0 20 0 1 0 37425345 140042240 18029 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34190 18029 2560 595 0 18857 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 136760 KiB
Current children cumulated memory: 72116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 32917
/proc/meminfo: memFree=120934248/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=136760 memory=72244 CPUtime=3273.61 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11415 0 0 0 325521 1840 0 0 20 0 1 0 37425345 140042240 18061 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34190 18061 2560 595 0 18857 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 136760 KiB
Current children cumulated memory: 72244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/265 32919
/proc/meminfo: memFree=120911140/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=136760 memory=72244 CPUtime=3333.41 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11415 0 0 0 331496 1845 0 0 20 0 1 0 37425345 140042240 18061 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34190 18061 2560 595 0 18857 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 136760 KiB
Current children cumulated memory: 72244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 32921
/proc/meminfo: memFree=120886764/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=137016 memory=72500 CPUtime=3393.23 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11463 0 0 0 337473 1850 0 0 20 0 1 0 37425345 140304384 18125 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34254 18125 2560 595 0 18921 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 137016 KiB
Current children cumulated memory: 72500 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.16 4.11 6/265 32925
/proc/meminfo: memFree=120857224/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=137016 memory=72500 CPUtime=3453.05 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11463 0 0 0 343434 1871 0 0 20 0 1 0 37425345 140304384 18125 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34254 18125 2560 595 0 18921 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 137016 KiB
Current children cumulated memory: 72500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.11 6/265 32927
/proc/meminfo: memFree=120831836/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=137016 memory=72628 CPUtime=3512.86 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11489 0 0 0 349415 1871 0 0 20 0 1 0 37425345 140304384 18157 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34254 18157 2560 595 0 18921 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 137016 KiB
Current children cumulated memory: 72628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.10 6/264 32980
/proc/meminfo: memFree=120383408/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=137380 memory=72884 CPUtime=3572.67 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11552 0 0 0 355396 1871 0 0 20 0 1 0 37425345 140677120 18221 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34345 18221 2560 595 0 19012 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 137380 KiB
Current children cumulated memory: 72884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.12 4.13 4.10 6/264 32981
/proc/meminfo: memFree=120294984/131249996 swapFree=33010684/33010684
[pid=32164] ppid=32161 vsize=137380 memory=72884 CPUtime=3600.08 cores=0,2
/proc/32164/stat : 32164 (SynLSCD-PS) R 32161 32164 31551 0 -1 4194304 11552 0 0 0 358137 1871 0 0 20 0 1 0 37425345 140677120 18221 18446744073709551615 94373514526720 94373516961721 140733001524560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94373517442296 94373517475328 94373527494656 140733001533792 140733001533928 140733001533928 140733001539530 0
/proc/32164/statm: 34345 18221 2560 595 0 19012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 137380 KiB
Current children cumulated memory: 72884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 32164 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.38 s, system=18.7152 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.1
CPU user time (s): 3581.38
CPU system time (s): 18.7152
CPU usage (%): 99.7311
Max. virtual memory (cumulated for all children) (KiB): 137380
Max. memory (cumulated for all children) (KiB): 72884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.38
system time used= 18.7152
maximum resident set size= 75164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11583
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= 151
involuntary context switches= 4743
# summary of solver processes directly reported to runsolver:
# pid: 32164
# total CPU time (s): 3600.1
# total CPU user time (s): 3581.38
# total CPU system time (s): 18.7152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7285 second user time and 14.8922 second system time
The end
Begin job on nodeC017 at 2025-06-29 19:17:56
IDJOB=4514389
IDBENCH=162673
IDSOLVER=3370
FILE ID=nodeC017/4514389-1751217476
RUNJOBID= nodeC017-1751216507-31561
SLURM_JOB_ID= 9587656
Free space on /tmp= 433000 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.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-4514389-1751217476/watcher-4514389-1751217476 -o /tmp/evaluation-result-4514389-1751217476/solver-4514389-1751217476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31561 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4514389-1751217476.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fddd5a63b4237b93179de1569c49542
RANDOM SEED=673092666
nodeC017 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.022
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 : 7000.12
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 : 3600.056
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 : 7000.12
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 : 3747.654
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 : 7000.12
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 : 3598.845
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 : 7000.12
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.086
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 : 7000.12
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 : 3600.072
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 : 7000.12
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 : 3575.224
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 : 7000.12
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 : 3700.000
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126704976 kB
MemAvailable: 129447040 kB
Buffers: 2380 kB
Cached: 3514732 kB
SwapCached: 0 kB
Active: 665680 kB
Inactive: 3209576 kB
Active(anon): 376208 kB
Inactive(anon): 16 kB
Active(file): 289472 kB
Inactive(file): 3209560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4268 kB
Writeback: 0 kB
AnonPages: 359560 kB
Mapped: 114268 kB
Shmem: 18080 kB
KReclaimable: 164144 kB
Slab: 252292 kB
SReclaimable: 164144 kB
SUnreclaim: 88148 kB
KernelStack: 4368 kB
PageTables: 3928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 723424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 210944 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432568 MiB
End job on nodeC017 at 2025-06-29 20:18:06