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 (61452 MiB free)
memory of node 1: 64465 MiB (59648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545866-1753259967/watcher-4545866-1753259967 -o /tmp/evaluation-result-4545866-1753259967/solver-4545866-1753259967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156384 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545866-1753259967.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
Current StackSize limit: 8192 KiB
solver pid=156945, runsolver pid=156942
[startup+0.100061 s]*
/proc/loadavg: 4.10 2.52 1.13 5/266 156946
/proc/meminfo: memFree=124007060/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=84272 memory=11648 CPUtime=0.09 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 689 0 0 0 6 3 0 0 20 0 1 0 241675306 86294528 2912 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+0.205492 s]*
/proc/loadavg: 4.10 2.52 1.13 5/266 156946
/proc/meminfo: memFree=124007060/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=84272 memory=11648 CPUtime=0.19 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 689 0 0 0 13 6 0 0 20 0 1 0 241675306 86294528 2912 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+0.30521 s]*
/proc/loadavg: 4.09 2.55 1.14 5/266 156946
/proc/meminfo: memFree=124007060/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=84272 memory=11648 CPUtime=0.29 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 689 0 0 0 20 9 0 0 20 0 1 0 241675306 86294528 2912 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+0.700135 s]
/proc/loadavg: 4.09 2.55 1.14 5/266 156946
/proc/meminfo: memFree=124007060/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=84272 memory=11648 CPUtime=0.68 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 689 0 0 0 45 23 0 0 20 0 1 0 241675306 86294528 2912 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+1.50013 s]
/proc/loadavg: 4.09 2.55 1.14 5/266 156946
/proc/meminfo: memFree=124007116/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=84272 memory=11648 CPUtime=1.47 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 689 0 0 0 99 48 0 0 20 0 1 0 241675306 86294528 2912 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+3.10529 s]
/proc/loadavg: 4.09 2.55 1.14 5/266 156946
/proc/meminfo: memFree=123999504/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=84272 memory=11648 CPUtime=3.08 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 689 0 0 0 209 99 0 0 20 0 1 0 241675306 86294528 2912 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 2.57 1.16 5/266 156946
/proc/meminfo: memFree=124000260/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=86076 memory=16448 CPUtime=6.27 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 1728 0 0 0 504 123 0 0 20 0 1 0 241675306 88141824 4112 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21519 4112 2496 595 0 6186 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86076 KiB
Current children cumulated memory: 16448 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 2.60 1.17 5/266 156946
/proc/meminfo: memFree=123992220/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=86980 memory=17288 CPUtime=12.65 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 2524 0 0 0 1016 249 0 0 20 0 1 0 241675306 89067520 4322 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21745 4322 2496 595 0 6412 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86980 KiB
Current children cumulated memory: 17288 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 2.66 1.21 5/266 156946
/proc/meminfo: memFree=123987056/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=87780 memory=18060 CPUtime=25.42 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 4511 0 0 0 2150 392 0 0 20 0 1 0 241675306 89886720 4515 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 21945 4515 2496 595 0 6612 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 87780 KiB
Current children cumulated memory: 18060 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 2.79 1.30 5/265 156946
/proc/meminfo: memFree=123951064/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=88676 memory=18892 CPUtime=50.97 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 8541 0 0 0 4413 684 0 0 20 0 1 0 241675306 90804224 4723 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22169 4723 2496 595 0 6836 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 88676 KiB
Current children cumulated memory: 18892 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 2.99 1.45 5/265 156949
/proc/meminfo: memFree=123936224/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=89636 memory=19812 CPUtime=102.04 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 15388 0 0 0 8898 1306 0 0 20 0 1 0 241675306 91787264 4953 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22409 4953 2496 595 0 7076 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 89636 KiB
Current children cumulated memory: 19812 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.21 1.62 5/265 156951
/proc/meminfo: memFree=123934876/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=90308 memory=20556 CPUtime=161.9 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 24019 0 0 0 14203 1987 0 0 20 0 1 0 241675306 92475392 5139 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22577 5139 2496 595 0 7244 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 90308 KiB
Current children cumulated memory: 20556 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.36 1.77 5/264 156953
/proc/meminfo: memFree=123942496/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=90916 memory=21176 CPUtime=221.74 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 32475 0 0 0 19630 2544 0 0 20 0 1 0 241675306 93097984 5294 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22729 5294 2496 595 0 7396 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 90916 KiB
Current children cumulated memory: 21176 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.51 1.93 5/264 156955
/proc/meminfo: memFree=123954440/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=90980 memory=23284 CPUtime=281.61 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 41402 0 0 0 24920 3241 0 0 20 0 1 0 241675306 93163520 5821 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22745 5821 2496 595 0 7412 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 90980 KiB
Current children cumulated memory: 23284 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.61 2.07 5/264 156957
/proc/meminfo: memFree=123933792/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=91012 memory=23412 CPUtime=341.46 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 48143 0 0 0 30155 3991 0 0 20 0 1 0 241675306 93196288 5853 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22753 5853 2496 595 0 7420 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 23412 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.70 2.19 5/265 157013
/proc/meminfo: memFree=124246320/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=91428 memory=23796 CPUtime=401.27 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 55753 0 0 0 35729 4398 0 0 20 0 1 0 241675306 93622272 5949 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22857 5949 2496 595 0 7524 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 91428 KiB
Current children cumulated memory: 23796 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.77 2.32 5/265 157015
/proc/meminfo: memFree=124213868/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=91492 memory=23796 CPUtime=461.07 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 65132 0 0 0 41125 4982 0 0 20 0 1 0 241675306 93687808 5949 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 22873 5949 2496 595 0 7540 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 27524 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.18 4.05 5/263 157159
/proc/meminfo: memFree=124147292/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95220 memory=27524 CPUtime=2853.01 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 346502 0 0 0 258285 27016 0 0 20 0 1 0 241675306 97505280 6881 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23805 6881 2496 595 0 8472 0
Current children cumulated CPU time: 2853.01 s
Current children cumulated vsize: 95220 KiB
Current children cumulated memory: 27524 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.16 4.05 5/263 157161
/proc/meminfo: memFree=124146916/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95348 memory=27652 CPUtime=2912.81 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 354154 0 0 0 263555 27726 0 0 20 0 1 0 241675306 97636352 6913 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23837 6913 2496 595 0 8504 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 27652 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.05 5/264 157164
/proc/meminfo: memFree=124139368/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95412 memory=27716 CPUtime=2972.62 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 362466 0 0 0 269074 28188 0 0 20 0 1 0 241675306 97701888 6929 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23853 6929 2496 595 0 8520 0
Current children cumulated CPU time: 2972.62 s
Current children cumulated vsize: 95412 KiB
Current children cumulated memory: 27716 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.05 5/264 157166
/proc/meminfo: memFree=124142360/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95412 memory=27716 CPUtime=3032.42 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 369264 0 0 0 274271 28971 0 0 20 0 1 0 241675306 97701888 6929 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23853 6929 2496 595 0 8520 0
Current children cumulated CPU time: 3032.42 s
Current children cumulated vsize: 95412 KiB
Current children cumulated memory: 27716 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.05 5/265 157169
/proc/meminfo: memFree=124145600/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95540 memory=27844 CPUtime=3092.22 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 375580 0 0 0 279731 29491 0 0 20 0 1 0 241675306 97832960 6961 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23885 6961 2496 595 0 8552 0
Current children cumulated CPU time: 3092.22 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 27844 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/264 157171
/proc/meminfo: memFree=124145252/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95540 memory=27844 CPUtime=3152.02 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 381337 0 0 0 285151 30051 0 0 20 0 1 0 241675306 97832960 6961 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23885 6961 2496 595 0 8552 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 27844 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/264 157173
/proc/meminfo: memFree=124141292/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95540 memory=27844 CPUtime=3211.81 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 387443 0 0 0 290686 30495 0 0 20 0 1 0 241675306 97832960 6961 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23885 6961 2496 595 0 8552 0
Current children cumulated CPU time: 3211.81 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 27844 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/263 157175
/proc/meminfo: memFree=124133132/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95540 memory=27844 CPUtime=3271.61 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 393119 0 0 0 296085 31076 0 0 20 0 1 0 241675306 97832960 6961 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23885 6961 2496 595 0 8552 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 27844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/263 157177
/proc/meminfo: memFree=124133388/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95540 memory=27844 CPUtime=3331.41 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 398408 0 0 0 301356 31785 0 0 20 0 1 0 241675306 97832960 6961 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23885 6961 2496 595 0 8552 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 27844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/264 157186
/proc/meminfo: memFree=124125964/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95540 memory=27844 CPUtime=3391.21 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 404213 0 0 0 306809 32312 0 0 20 0 1 0 241675306 97832960 6961 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23885 6961 2496 595 0 8552 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 27844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/263 157322
/proc/meminfo: memFree=124522656/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95796 memory=28100 CPUtime=3451.02 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 408032 0 0 0 312094 33008 0 0 20 0 1 0 241675306 98095104 7025 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23949 7025 2496 595 0 8616 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 95796 KiB
Current children cumulated memory: 28100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 157368
/proc/meminfo: memFree=124132884/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95796 memory=28100 CPUtime=3510.83 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 411731 0 0 0 317562 33521 0 0 20 0 1 0 241675306 98095104 7025 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23949 7025 2496 595 0 8616 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 95796 KiB
Current children cumulated memory: 28100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/263 157415
/proc/meminfo: memFree=121103796/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95796 memory=28100 CPUtime=3570.63 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 415241 0 0 0 322965 34098 0 0 20 0 1 0 241675306 98095104 7025 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23949 7025 2496 595 0 8616 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 95796 KiB
Current children cumulated memory: 28100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.14 4.13 4.08 5/263 157416
/proc/meminfo: memFree=121121792/131250000 swapFree=33010672/33010684
[pid=156945] ppid=156942 vsize=95796 memory=28100 CPUtime=3600.03 cores=1,3
/proc/156945/stat : 156945 (SynLSCD) R 156942 156945 156365 0 -1 4194304 417428 0 0 0 325870 34133 0 0 20 0 1 0 241675306 98095104 7025 18446744073709551615 94303085228032 94303087662633 140731501973024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94303088143608 94303088176640 94303099617280 140731501980035 140731501980170 140731501980170 140731501985774 0
/proc/156945/statm: 23949 7025 2496 595 0 8616 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 95796 KiB
Current children cumulated memory: 28100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.8 s]
# the end of solver process 156945 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3258.71 s, system=341.338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.8
CPU time (s): 3600.05
CPU user time (s): 3258.71
CPU system time (s): 341.338
CPU usage (%): 99.6746
Max. virtual memory (cumulated for all children) (KiB): 96052
Max. memory (cumulated for all children) (KiB): 28100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3258.71
system time used= 341.338
maximum resident set size= 28484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139
involuntary context switches= 1165
# summary of solver processes directly reported to runsolver:
# pid: 156945
# total CPU time (s): 3600.05
# total CPU user time (s): 3258.71
# total CPU system time (s): 341.338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51201 second user time and 14.7974 second system time
The end
Begin job on nodeC026 at 2025-07-23 10:39:27
IDJOB=4545866
IDBENCH=159217
IDSOLVER=3421
FILE ID=nodeC026/4545866-1753259967
RUNJOBID= nodeC026-1753259701-156384
SLURM_JOB_ID= 9689181
Free space on /tmp= 433012 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.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-4545866-1753259967/watcher-4545866-1753259967 -o /tmp/evaluation-result-4545866-1753259967/solver-4545866-1753259967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156384 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545866-1753259967.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01d829ad4c115fdb9b9dc327d7beaf7a
RANDOM SEED=1834945035
nodeC026 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 : 3599.783
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.59
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 : 3537.283
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.59
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.357
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.59
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 : 3599.824
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.59
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 : 3599.788
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.59
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.812
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.59
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 : 3601.003
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.59
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 : 3658.699
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124007204 kB
MemAvailable: 128990896 kB
Buffers: 2128 kB
Cached: 5608304 kB
SwapCached: 4 kB
Active: 1743648 kB
Inactive: 4466168 kB
Active(anon): 620308 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 4460824 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3744 kB
Writeback: 0 kB
AnonPages: 602572 kB
Mapped: 120916 kB
Shmem: 26268 kB
KReclaimable: 460328 kB
Slab: 564316 kB
SReclaimable: 460328 kB
SUnreclaim: 103988 kB
KernelStack: 4352 kB
PageTables: 4412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1023864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 337920 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC026 at 2025-07-23 11:39:39