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 (60582 MiB free)
memory of node 1: 64465 MiB (59644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527211-1752235534/watcher-4527211-1752235534 -o /tmp/evaluation-result-4527211-1752235534/solver-4527211-1752235534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752232205-110738 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527211-1752235534.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=111934, runsolver pid=111931
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 6.36 6.21 6.08 8/266 111935
/proc/meminfo: memFree=123104588/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=0.09 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 9 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+0.205031 s]*
/proc/loadavg: 6.36 6.21 6.08 7/266 111935
/proc/meminfo: memFree=123104588/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=0.19 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 19 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+0.305717 s]*
/proc/loadavg: 6.36 6.21 6.08 7/266 111935
/proc/meminfo: memFree=123104588/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=0.29 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 29 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+0.700198 s]
/proc/loadavg: 6.36 6.21 6.08 7/266 111935
/proc/meminfo: memFree=123104588/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=0.68 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 68 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+1.50012 s]
/proc/loadavg: 6.36 6.21 6.08 7/266 111935
/proc/meminfo: memFree=123104588/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=1.48 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 148 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+3.1056 s]
/proc/loadavg: 6.36 6.21 6.08 7/266 111935
/proc/meminfo: memFree=123100272/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=3.08 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 308 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+6.30019 s]
/proc/loadavg: 6.41 6.22 6.08 7/267 111937
/proc/meminfo: memFree=123100524/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=46824 memory=12288 CPUtime=6.27 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 2073 0 0 0 627 0 0 0 20 0 1 0 139230977 47947776 3072 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 11706 3072 1184 6655 0 1941 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 12288 KiB
[startup+12.7002 s]
/proc/loadavg: 6.38 6.22 6.08 8/268 111938
/proc/meminfo: memFree=123069752/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=157028 memory=67448 CPUtime=15.21 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 13436 0 0 0 1519 2 0 0 20 0 2 0 139230977 160796672 16862 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 39257 16862 3520 6655 0 15414 0
[pid=111934/tid=111938] ppid=111931 vsize=157028 memory=6516 CPUtime=2.55 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 2424 0 0 0 255 0 0 0 20 0 2 0 139231979 160796672 16862 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 157028 KiB
Current children cumulated memory: 67448 KiB
[startup+25.5002 s]
/proc/loadavg: 6.52 6.26 6.10 8/268 111938
/proc/meminfo: memFree=123076860/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=162660 memory=74360 CPUtime=40.65 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 32852 0 0 0 4061 4 0 0 20 0 2 0 139230977 166563840 18590 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 40665 18590 3520 6655 0 17097 0
[pid=111934/tid=111938] ppid=111931 vsize=162660 memory=71672 CPUtime=15.23 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 6625 0 0 0 1522 1 0 0 20 0 2 0 139231979 166563840 18590 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 40.65 s
Current children cumulated vsize: 162660 KiB
Current children cumulated memory: 74360 KiB
[startup+51.106 s]
/proc/loadavg: 6.76 6.33 6.13 8/268 111938
/proc/meminfo: memFree=123070144/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=163596 memory=81400 CPUtime=91.54 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 46149 0 0 0 9149 5 0 0 20 0 2 0 139230977 167522304 20350 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 40899 20350 3520 6655 0 18953 0
[pid=111934/tid=111938] ppid=111931 vsize=163596 memory=81400 CPUtime=40.58 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 12905 0 0 0 4057 1 0 0 20 0 2 0 139231979 167522304 20350 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 91.54 s
Current children cumulated vsize: 163596 KiB
Current children cumulated memory: 81400 KiB
[startup+102.3 s]
/proc/loadavg: 7.04 6.47 6.19 8/269 111941
/proc/meminfo: memFree=123050984/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=163596 memory=83960 CPUtime=193.3 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 55176 0 0 0 19324 6 0 0 20 0 2 0 139230977 167522304 20990 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 40899 20990 3520 6655 0 19349 0
[pid=111934/tid=111938] ppid=111931 vsize=163596 memory=20608 CPUtime=91.3 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 17559 0 0 0 9128 2 0 0 20 0 2 0 139231979 167522304 20990 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 193.3 s
Current children cumulated vsize: 163596 KiB
Current children cumulated memory: 83960 KiB
[startup+162.3 s]
/proc/loadavg: 7.01 6.57 6.24 8/269 111943
/proc/meminfo: memFree=123051476/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=167596 memory=89592 CPUtime=308.13 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 70316 0 0 0 30805 8 0 0 20 0 2 0 139230977 171618304 22398 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 41899 22398 3520 6655 0 20784 0
[pid=111934/tid=111938] ppid=111931 vsize=167596 memory=84344 CPUtime=150.61 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 22868 0 0 0 15058 3 0 0 20 0 2 0 139231979 171618304 22398 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 308.13 s
Current children cumulated vsize: 167596 KiB
Current children cumulated memory: 89592 KiB
[startup+222.3 s]
/proc/loadavg: 7.08 6.67 6.30 8/268 111945
/proc/meminfo: memFree=122979704/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=169704 memory=103288 CPUtime=427.31 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 85200 0 0 0 42721 10 0 0 20 0 2 0 139230977 173776896 25822 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 42426 25822 3520 6655 0 24238 0
[pid=111934/tid=111938] ppid=111931 vsize=169704 memory=103288 CPUtime=210.38 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 32474 0 0 0 21034 4 0 0 20 0 2 0 139231979 173776896 25822 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 427.31 s
Current children cumulated vsize: 169704 KiB
Current children cumulated memory: 103288 KiB
[startup+282.3 s]
/proc/loadavg: 7.09 6.75 6.35 8/268 111947
/proc/meminfo: memFree=123055800/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=182668 memory=123112 CPUtime=545.83 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 107592 0 0 0 54570 13 0 0 20 0 2 0 139230977 187052032 30778 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 45667 30778 3520 6655 0 30490 0
[pid=111934/tid=111938] ppid=111931 vsize=182668 memory=16492 CPUtime=269.45 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 43523 0 0 0 26940 5 0 0 20 0 2 0 139231979 187052032 30778 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 545.83 s
Current children cumulated vsize: 182668 KiB
Current children cumulated memory: 123112 KiB
[startup+342.3 s]
/proc/loadavg: 7.08 6.81 6.40 8/267 111949
/proc/meminfo: memFree=123067448/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=182668 memory=123112 CPUtime=665 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 108043 0 0 0 66487 13 0 0 20 0 2 0 139230977 187052032 30778 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 45667 30778 3520 6655 0 30490 0
[pid=111934/tid=111938] ppid=111931 vsize=182668 memory=16492 CPUtime=329.2 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 43922 0 0 0 32915 5 0 0 20 0 2 0 139231979 187052032 30778 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 665 s
Current children cumulated vsize: 182668 KiB
Current children cumulated memory: 123112 KiB
################
# More data... #
################
[startup+462.3 s]
/proc/loadavg: 6.27 6.61 6.37 7/265 112411
/proc/meminfo: memFree=126431048/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=182668 memory=126268 CPUtime=903.44 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 122877 0 0 0 90329 15 0 0 20 0 2 0 139230977 187052032 31567 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 45667 31567 3520 6655 0 30490 0
[pid=111934/tid=111938] ppid=111931 vsize=182668 memory=7808 CPUtime=448.85 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 51636 0 0 0 44879 6 0 0 20 0 2 0 139231979 187052032 31567 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 903.44 s
Current children cumulated vsize: 182668 KiB
Current children cumulated memory: 126268 KiB
[startup+522.3 s]
/proc/loadavg: 6.17 6.53 6.36 7/266 112462
/proc/meminfo: memFree=126152944/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=183828 memory=128188 CPUtime=1022.67 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 136166 0 0 0 102250 17 0 0 20 0 2 0 139230977 188239872 32047 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 45957 32047 3520 6655 0 30780 0
[pid=111934/tid=111938] ppid=111931 vsize=183828 memory=128188 CPUtime=508.67 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 59478 0 0 0 50860 7 0 0 20 0 2 0 139231979 188239872 32047 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 1022.67 s
Current children cumulated vsize: 183828 KiB
Current children cumulated memory: 128188 KiB
[startup+582.3 s]
/proc/loadavg: 6.14 6.47 6.35 6/267 112470
/proc/meminfo: memFree=125159496/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=186676 memory=131132 CPUtime=1141.9 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 139911 0 0 0 114172 18 0 0 20 0 2 0 139230977 191156224 32783 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46669 32783 3520 6655 0 31492 0
[pid=111934/tid=111938] ppid=111931 vsize=186676 memory=20608 CPUtime=568.5 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 61625 0 0 0 56843 7 0 0 20 0 2 0 139231979 191156224 32783 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 1141.9 s
Current children cumulated vsize: 186676 KiB
Current children cumulated memory: 131132 KiB
[startup+642.3 s]
/proc/loadavg: 5.42 6.20 6.26 6/268 112473
/proc/meminfo: memFree=125148640/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131900 CPUtime=1261.11 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 141655 0 0 0 126092 19 0 0 20 0 2 0 139230977 191832064 32975 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32975 3520 6655 0 31657 0
[pid=111934/tid=111938] ppid=111931 vsize=187336 memory=131900 CPUtime=628.33 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 63016 0 0 0 62825 8 0 0 20 0 2 0 139231979 191832064 32975 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 1261.11 s
Current children cumulated vsize: 187336 KiB
Current children cumulated memory: 131900 KiB
[startup+702.3 s]
/proc/loadavg: 5.26 6.01 6.19 6/268 112475
/proc/meminfo: memFree=125123408/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131900 CPUtime=1380.33 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 154174 0 0 0 138012 21 0 0 20 0 2 0 139230977 191832064 32975 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32975 3520 6655 0 31657 0
[pid=111934/tid=111938] ppid=111931 vsize=187336 memory=131900 CPUtime=688.14 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 69368 0 0 0 68805 9 0 0 20 0 2 0 139231979 191832064 32975 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 1380.33 s
Current children cumulated vsize: 187336 KiB
Current children cumulated memory: 131900 KiB
[startup+732.84 s]
# the end of solver process 111934 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1433.98 s, system=0.256624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 5.20 5.96 6.17 6/268 112475
/proc/meminfo: memFree=125123224/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131900 CPUtime=1409.13 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 157345 0 0 0 140892 21 0 0 20 0 2 0 139230977 191832064 32975 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32975 3520 6655 0 31657 0
[pid=111934/tid=111938] ppid=111931 vsize=187336 memory=3328 CPUtime=702.6 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 72213 0 0 0 70251 9 0 0 20 0 2 0 139231979 191832064 32975 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 1409.13 s
Current children cumulated vsize: 187336 KiB
Current children cumulated memory: 131900 KiB
[startup+723.2 s]
/proc/loadavg: 5.18 5.95 6.16 6/268 112475
/proc/meminfo: memFree=125118624/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=133052 CPUtime=1421.84 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) R 111931 111934 110720 0 -1 4194304 158286 0 0 0 142163 21 0 0 20 0 2 0 139230977 191832064 33263 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 33263 3520 6655 0 31924 0
[pid=111934/tid=111938] ppid=111931 vsize=187336 memory=131900 CPUtime=708.99 cores=4,6
/proc/111934/task/111938/stat : 111938 (LSIPExact) R 111931 111934 110720 0 -1 4194368 73154 0 0 0 70889 10 0 0 20 0 2 0 139231979 191832064 33263 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
Current children cumulated CPU time: 1421.84 s
Current children cumulated vsize: 187336 KiB
Current children cumulated memory: 133052 KiB
[startup+729.6 s]
/proc/loadavg: 5.08 5.90 6.15 5/268 112476
/proc/meminfo: memFree=125090912/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131368 CPUtime=1427.45 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) S 111931 111934 110720 0 -1 4194304 160795 0 0 0 142724 21 0 0 20 0 1 0 139230977 191832064 32842 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32842 3584 6655 0 31924 0
[pid=112476] ppid=111934 vsize=48116 memory=33604 CPUtime=3.53 cores=4,6
/proc/112476/stat : 112476 (Exact) R 111934 112476 112476 0 -1 4194304 6646 0 0 0 351 2 0 0 20 0 1 0 139303580 49270784 8401 18446744073709551615 4198400 8335837 140724750231616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29442048 140724750235833 140724750236187 140724750236187 140724750241743 0
/proc/112476/statm: 12029 8401 1120 1011 0 10796 0
Current children cumulated CPU time: 1430.98 s
Current children cumulated vsize: 235452 KiB
Current children cumulated memory: 164972 KiB
[startup+731.2 s]
/proc/loadavg: 5.08 5.90 6.15 5/268 112476
/proc/meminfo: memFree=125090912/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131368 CPUtime=1427.45 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) S 111931 111934 110720 0 -1 4194304 160795 0 0 0 142724 21 0 0 20 0 1 0 139230977 191832064 32842 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32842 3584 6655 0 31924 0
[pid=112476] ppid=111934 vsize=49852 memory=35396 CPUtime=5.12 cores=4,6
/proc/112476/stat : 112476 (Exact) R 111934 112476 112476 0 -1 4194304 7093 0 0 0 510 2 0 0 20 0 1 0 139303580 51048448 8849 18446744073709551615 4198400 8335837 140724750231616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29442048 140724750235833 140724750236187 140724750236187 140724750241743 0
/proc/112476/statm: 12463 8849 1120 1011 0 11230 0
Current children cumulated CPU time: 1432.57 s
Current children cumulated vsize: 237188 KiB
Current children cumulated memory: 166764 KiB
[startup+732 s]*
/proc/loadavg: 5.08 5.90 6.15 5/268 112476
/proc/meminfo: memFree=125088140/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131368 CPUtime=1427.45 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) S 111931 111934 110720 0 -1 4194304 160795 0 0 0 142724 21 0 0 20 0 1 0 139230977 191832064 32842 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32842 3584 6655 0 31924 0
[pid=112476] ppid=111934 vsize=51080 memory=38640 CPUtime=5.92 cores=4,6
/proc/112476/stat : 112476 (Exact) R 111934 112476 112476 0 -1 4194304 7405 0 0 0 590 2 0 0 20 0 1 0 139303580 52305920 9660 18446744073709551615 4198400 8335837 140724750231616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29442048 140724750235833 140724750236187 140724750236187 140724750241743 0
/proc/112476/statm: 12770 9660 1120 1011 0 11537 0
Current children cumulated CPU time: 1433.37 s
Current children cumulated vsize: 238416 KiB
Current children cumulated memory: 170008 KiB
[startup+732.4 s]
/proc/loadavg: 5.08 5.90 6.15 5/268 112476
/proc/meminfo: memFree=125088140/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131368 CPUtime=1427.45 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) S 111931 111934 110720 0 -1 4194304 160795 0 0 0 142724 21 0 0 20 0 1 0 139230977 191832064 32842 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32842 3584 6655 0 31924 0
[pid=112476] ppid=111934 vsize=51080 memory=38640 CPUtime=6.32 cores=4,6
/proc/112476/stat : 112476 (Exact) R 111934 112476 112476 0 -1 4194304 7405 0 0 0 630 2 0 0 20 0 1 0 139303580 52305920 9660 18446744073709551615 4198400 8335837 140724750231616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29442048 140724750235833 140724750236187 140724750236187 140724750241743 0
/proc/112476/statm: 12770 9660 1120 1011 0 11537 0
Current children cumulated CPU time: 1433.77 s
Current children cumulated vsize: 238416 KiB
Current children cumulated memory: 170008 KiB
[startup+732.8 s]
/proc/loadavg: 5.08 5.90 6.15 5/268 112476
/proc/meminfo: memFree=125088140/131249988 swapFree=33010160/33010684
[pid=111934] ppid=111931 vsize=187336 memory=131368 CPUtime=1427.45 cores=4,6
/proc/111934/stat : 111934 (LSIPExact) S 111931 111934 110720 0 -1 4194304 160795 0 0 0 142724 21 0 0 20 0 1 0 139230977 191832064 32842 18446744073709551615 94839507542016 94839534799185 140720591365344 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94839543301256 94839543732864 94839562203136 140720591370584 140720591370760 140720591370760 140720591376364 0
/proc/111934/statm: 46834 32842 3584 6655 0 31924 0
[pid=112476] ppid=111934 vsize=51080 memory=38640 CPUtime=6.72 cores=4,6
/proc/112476/stat : 112476 (Exact) R 111934 112476 112476 0 -1 4194304 7408 0 0 0 670 2 0 0 20 0 1 0 139303580 52305920 9660 18446744073709551615 4198400 8335837 140724750231616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29442048 140724750235833 140724750236187 140724750236187 140724750241743 0
/proc/112476/statm: 12770 9660 1120 1011 0 11537 0
Current children cumulated CPU time: 1434.17 s
Current children cumulated vsize: 238416 KiB
Current children cumulated memory: 170008 KiB
Child status: 0
Real time (s): 732.84
CPU time (s): 1434.23
CPU user time (s): 1433.98
CPU system time (s): 0.256624
CPU usage (%): 195.709
Max. virtual memory (cumulated for all children) (KiB): 238416
Max. memory (cumulated for all children) (KiB): 170008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1433.98
system time used= 0.256624
maximum resident set size= 133308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169925
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= 368
involuntary context switches= 13223
# summary of solver processes directly reported to runsolver:
# pid: 111934
# total CPU time (s): 1434.23
# total CPU user time (s): 1433.98
# total CPU system time (s): 0.256624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53595 second user time and 3.33319 second system time
The end
Begin job on nodeC020 at 2025-07-11 14:05:34
IDJOB=4527211
IDBENCH=162307
IDSOLVER=3384
FILE ID=nodeC020/4527211-1752235534
RUNJOBID= nodeC020-1752232205-110738
SLURM_JOB_ID= 9682531
Free space on /tmp= 431336 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round21-6.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527211-1752235534/watcher-4527211-1752235534 -o /tmp/evaluation-result-4527211-1752235534/solver-4527211-1752235534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752232205-110738 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527211-1752235534.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e56d8b84f5330dfdc9b5c04d06629bab
RANDOM SEED=1910245197
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 : 3599.905
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 : 3600.092
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 : 3600.565
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.786
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.887
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 : 3599.653
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 : 3700.000
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.898
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: 123112400 kB
MemAvailable: 124168508 kB
Buffers: 2128 kB
Cached: 1845736 kB
SwapCached: 8 kB
Active: 6220328 kB
Inactive: 1274416 kB
Active(anon): 5640376 kB
Inactive(anon): 24548 kB
Active(file): 579952 kB
Inactive(file): 1249868 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44976 kB
Writeback: 0 kB
AnonPages: 5648528 kB
Mapped: 146336 kB
Shmem: 18044 kB
KReclaimable: 131056 kB
Slab: 224868 kB
SReclaimable: 131056 kB
SUnreclaim: 93812 kB
KernelStack: 4288 kB
PageTables: 14360 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 6167524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3282944 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= 431300 MiB
End job on nodeC020 at 2025-07-11 14:17:47