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 (61314 MiB free)
memory of node 1: 64465 MiB (62958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490920-1751364206/watcher-4490920-1751364206 -o /tmp/evaluation-result-4490920-1751364206/solver-4490920-1751364206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751360343-50961 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490920-1751364206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51786, runsolver pid=51783
[startup+0.100065 s]*
/proc/loadavg: 7.59 7.81 7.85 8/269 51787
/proc/meminfo: memFree=127246628/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=0.09 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 9 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+0.20555 s]*
/proc/loadavg: 7.59 7.81 7.85 8/269 51787
/proc/meminfo: memFree=127246628/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=0.2 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 20 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+0.304563 s]*
/proc/loadavg: 7.59 7.81 7.85 8/269 51787
/proc/meminfo: memFree=127246628/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=0.29 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 29 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+0.700106 s]
/proc/loadavg: 7.59 7.81 7.85 8/269 51787
/proc/meminfo: memFree=127246880/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=0.68 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 68 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+1.5001 s]
/proc/loadavg: 7.59 7.81 7.85 8/269 51787
/proc/meminfo: memFree=127246880/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=1.48 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 148 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+3.105 s]
/proc/loadavg: 7.54 7.79 7.84 8/267 51787
/proc/meminfo: memFree=127247060/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=3.08 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 308 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+6.3001 s]
/proc/loadavg: 7.54 7.79 7.84 8/267 51787
/proc/meminfo: memFree=127247312/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=41284 memory=6784 CPUtime=6.27 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) R 51783 51786 50951 0 -1 4194304 666 0 0 0 627 0 0 0 20 0 1 0 52098149 42274816 1696 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 10321 1696 1184 6655 0 556 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 6784 KiB
[startup+12.7002 s]
/proc/loadavg: 7.50 7.78 7.84 8/268 51790
/proc/meminfo: memFree=127187328/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=70372 memory=61184 CPUtime=1.73 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 10688 0 0 0 170 3 0 0 20 0 1 0 52099242 72060928 15296 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 17593 15296 1120 1011 0 16360 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 197972 KiB
Current children cumulated memory: 92528 KiB
[startup+25.5002 s]
/proc/loadavg: 7.39 7.74 7.82 8/268 51790
/proc/meminfo: memFree=127083844/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=154612 memory=119556 CPUtime=14.5 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 21390 0 0 0 1435 15 0 0 20 0 1 0 52099242 158322688 29889 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 38653 29889 1120 1011 0 37420 0
Current children cumulated CPU time: 26.21 s
Current children cumulated vsize: 282212 KiB
Current children cumulated memory: 150900 KiB
[startup+51.1054 s]
/proc/loadavg: 7.32 7.70 7.81 8/268 51790
/proc/meminfo: memFree=127072940/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=155708 memory=120708 CPUtime=40.03 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 21686 0 0 0 3974 29 0 0 20 0 1 0 52099242 159444992 30177 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 38927 30177 1120 1011 0 37694 0
Current children cumulated CPU time: 51.74 s
Current children cumulated vsize: 283308 KiB
Current children cumulated memory: 152052 KiB
[startup+102.3 s]
/proc/loadavg: 7.18 7.60 7.77 8/268 51792
/proc/meminfo: memFree=127057128/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=158480 memory=123140 CPUtime=91.07 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 22315 0 0 0 9043 64 0 0 20 0 1 0 52099242 162283520 30785 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 39620 30785 1120 1011 0 38387 0
Current children cumulated CPU time: 102.78 s
Current children cumulated vsize: 286080 KiB
Current children cumulated memory: 154484 KiB
[startup+162.3 s]
/proc/loadavg: 7.18 7.52 7.73 8/268 51794
/proc/meminfo: memFree=127048264/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=163732 memory=128260 CPUtime=150.89 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 23627 0 0 0 14987 102 0 0 20 0 1 0 52099242 167661568 32065 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 40933 32065 1120 1011 0 39700 0
Current children cumulated CPU time: 162.6 s
Current children cumulated vsize: 291332 KiB
Current children cumulated memory: 159604 KiB
[startup+222.3 s]
/proc/loadavg: 7.13 7.44 7.69 8/268 51796
/proc/meminfo: memFree=127025932/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=165268 memory=129796 CPUtime=210.72 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 24008 0 0 0 20930 142 0 0 20 0 1 0 52099242 169234432 32449 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 41317 32449 1120 1011 0 40084 0
Current children cumulated CPU time: 222.43 s
Current children cumulated vsize: 292868 KiB
Current children cumulated memory: 161140 KiB
[startup+282.3 s]
/proc/loadavg: 7.16 7.40 7.66 8/268 51801
/proc/meminfo: memFree=126987032/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=167860 memory=132484 CPUtime=270.55 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 24689 0 0 0 26872 183 0 0 20 0 1 0 52099242 171888640 33121 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 41965 33121 1120 1011 0 40732 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 295460 KiB
Current children cumulated memory: 163828 KiB
[startup+342.3 s]
/proc/loadavg: 7.16 7.36 7.62 8/269 51806
/proc/meminfo: memFree=126943356/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
################
# More data... #
################
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 29390 0 0 0 68498 435 0 0 20 0 1 0 52099242 190676992 38277 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 46552 38277 1120 1011 0 45319 0
Current children cumulated CPU time: 701.04 s
Current children cumulated vsize: 313808 KiB
Current children cumulated memory: 184452 KiB
[startup+762.3 s]
/proc/loadavg: 7.16 7.17 7.43 8/267 51826
/proc/meminfo: memFree=126525236/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=188416 memory=155028 CPUtime=749.16 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 29891 0 0 0 74447 469 0 0 20 0 1 0 52099242 192937984 38757 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47104 38757 1120 1011 0 45871 0
Current children cumulated CPU time: 760.87 s
Current children cumulated vsize: 316016 KiB
Current children cumulated memory: 186372 KiB
[startup+822.3 s]
/proc/loadavg: 7.12 7.16 7.41 8/267 51828
/proc/meminfo: memFree=126470480/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=189068 memory=155540 CPUtime=808.98 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30016 0 0 0 80394 504 0 0 20 0 1 0 52099242 193605632 38885 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47267 38885 1120 1011 0 46034 0
Current children cumulated CPU time: 820.69 s
Current children cumulated vsize: 316668 KiB
Current children cumulated memory: 186884 KiB
[startup+875.334 s]
# the end of solver process 51786 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=868.251 s, system=5.34396 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 7.08 7.14 7.39 8/267 51829
/proc/meminfo: memFree=126453208/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191088 memory=156948 CPUtime=831.42 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30373 0 0 0 82627 515 0 0 20 0 1 0 52099242 195674112 39237 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47772 39237 1120 1011 0 46539 0
Current children cumulated CPU time: 843.13 s
Current children cumulated vsize: 318688 KiB
Current children cumulated memory: 188292 KiB
[startup+857.6 s]
/proc/loadavg: 7.14 7.15 7.39 8/267 51830
/proc/meminfo: memFree=126418172/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157204 CPUtime=844.18 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30429 0 0 0 83895 523 0 0 20 0 1 0 52099242 195870720 39301 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39301 1120 1011 0 46587 0
Current children cumulated CPU time: 855.89 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188548 KiB
[startup+864 s]*
/proc/loadavg: 7.12 7.15 7.39 8/267 51830
/proc/meminfo: memFree=126413636/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157204 CPUtime=850.57 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30444 0 0 0 84531 526 0 0 20 0 1 0 52099242 195870720 39301 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39301 1120 1011 0 46587 0
Current children cumulated CPU time: 862.28 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188548 KiB
[startup+870.4 s]
/proc/loadavg: 7.11 7.14 7.39 8/267 51830
/proc/meminfo: memFree=126398264/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157204 CPUtime=856.95 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30450 0 0 0 85166 529 0 0 20 0 1 0 52099242 195870720 39301 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39301 1120 1011 0 46587 0
Current children cumulated CPU time: 868.66 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188548 KiB
[startup+873.6 s]
/proc/loadavg: 7.10 7.14 7.39 8/267 51830
/proc/meminfo: memFree=126380116/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157204 CPUtime=860.13 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30450 0 0 0 85483 530 0 0 20 0 1 0 52099242 195870720 39301 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39301 1120 1011 0 46587 0
Current children cumulated CPU time: 871.84 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188548 KiB
[startup+874.4 s]
/proc/loadavg: 7.10 7.14 7.39 8/267 51830
/proc/meminfo: memFree=126376084/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157204 CPUtime=860.93 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30453 0 0 0 85562 531 0 0 20 0 1 0 52099242 195870720 39301 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39301 1120 1011 0 46587 0
Current children cumulated CPU time: 872.64 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188548 KiB
[startup+874.8 s]
/proc/loadavg: 7.10 7.14 7.39 8/267 51830
/proc/meminfo: memFree=126376084/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157332 CPUtime=861.33 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30470 0 0 0 85602 531 0 0 20 0 1 0 52099242 195870720 39333 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39333 1120 1011 0 46587 0
Current children cumulated CPU time: 873.04 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188676 KiB
[startup+875.2 s]
/proc/loadavg: 7.10 7.14 7.39 8/267 51830
/proc/meminfo: memFree=126376084/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157332 CPUtime=861.73 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30470 0 0 0 85641 532 0 0 20 0 1 0 52099242 195870720 39333 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39333 1120 1011 0 46587 0
Current children cumulated CPU time: 873.44 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188676 KiB
[startup+875.3 s]
/proc/loadavg: 7.10 7.14 7.39 8/267 51830
/proc/meminfo: memFree=126376084/131249988 swapFree=33010684/33010684
[pid=51786] ppid=51783 vsize=127600 memory=31344 CPUtime=11.71 cores=0,2
/proc/51786/stat : 51786 (LSIPExact) S 51783 51786 50951 0 -1 4194304 4641 230 0 0 1170 1 0 0 20 0 1 0 52098149 130662400 7836 18446744073709551615 93936287129600 93936314386001 140729904614688 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 93936322888840 93936323320448 93936335867904 140729904621914 140729904622090 140729904622090 140729904627692 0
/proc/51786/statm: 31900 7836 3552 6655 0 6548 0
[pid=51790] ppid=51786 vsize=191280 memory=157332 CPUtime=861.83 cores=0,2
/proc/51790/stat : 51790 (Exact) R 51786 51790 51790 0 -1 4194304 30470 0 0 0 85651 532 0 0 20 0 1 0 52099242 195870720 39333 18446744073709551615 4198400 8335837 140722927542144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18128896 140722927548596 140722927548957 140722927548957 140722927554511 0
/proc/51790/statm: 47820 39333 1120 1011 0 46587 0
Current children cumulated CPU time: 873.54 s
Current children cumulated vsize: 318880 KiB
Current children cumulated memory: 188676 KiB
Child status: 0
Real time (s): 875.334
CPU time (s): 873.595
CPU user time (s): 868.251
CPU system time (s): 5.34396
CPU usage (%): 99.8013
Max. virtual memory (cumulated for all children) (KiB): 318880
Max. memory (cumulated for all children) (KiB): 188676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 868.251
system time used= 5.34396
maximum resident set size= 157460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35346
page faults= 0
swaps= 0
block input operations= 152
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 443
involuntary context switches= 1817
# summary of solver processes directly reported to runsolver:
# pid: 51786
# total CPU time (s): 873.595
# total CPU user time (s): 868.251
# total CPU system time (s): 5.34396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65366 second user time and 4.08559 second system time
The end
Begin job on nodeC020 at 2025-07-01 12:03:26
IDJOB=4490920
IDBENCH=147636
IDSOLVER=3337
FILE ID=nodeC020/4490920-1751364206
RUNJOBID= nodeC020-1751360343-50961
SLURM_JOB_ID= 9598161
Free space on /tmp= 432812 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490920-1751364206/watcher-4490920-1751364206 -o /tmp/evaluation-result-4490920-1751364206/solver-4490920-1751364206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751360343-50961 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490920-1751364206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=462518831
nodeC020 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.141
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.79
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.888
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.79
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 : 3599.906
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.79
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.841
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.79
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.890
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.79
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.020
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.79
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 : 3599.896
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.79
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.888
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127254820 kB
MemAvailable: 127837992 kB
Buffers: 3280 kB
Cached: 1387516 kB
SwapCached: 0 kB
Active: 2308252 kB
Inactive: 1079112 kB
Active(anon): 2014624 kB
Inactive(anon): 0 kB
Active(file): 293628 kB
Inactive(file): 1079112 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44708 kB
Writeback: 4 kB
AnonPages: 1998796 kB
Mapped: 140732 kB
Shmem: 18056 kB
KReclaimable: 99340 kB
Slab: 187808 kB
SReclaimable: 99340 kB
SUnreclaim: 88468 kB
KernelStack: 4336 kB
PageTables: 7060 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2383928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 305152 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432768 MiB
End job on nodeC020 at 2025-07-01 12:18:01