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: 63837 MiB (62931 MiB free)
memory of node 1: 64465 MiB (63551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527345-1752232206/watcher-4527345-1752232206 -o /tmp/evaluation-result-4527345-1752232206/solver-4527345-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752232205-110925 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527345-1752232206.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=110974, runsolver pid=110970
[startup+0.100066 s]*
/proc/loadavg: 0.15 0.11 0.09 5/247 110975
/proc/meminfo: memFree=129479120/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=0.08 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 8 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+0.212074 s]*
/proc/loadavg: 0.15 0.11 0.09 5/247 110975
/proc/meminfo: memFree=129478868/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=0.19 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 19 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+0.309615 s]*
/proc/loadavg: 0.15 0.11 0.09 5/247 110975
/proc/meminfo: memFree=129478868/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=0.29 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 29 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+0.700249 s]
/proc/loadavg: 0.15 0.11 0.09 5/252 110984
/proc/meminfo: memFree=129413848/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=0.67 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 67 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+1.50024 s]
/proc/loadavg: 0.15 0.11 0.09 5/252 110984
/proc/meminfo: memFree=129240792/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=1.46 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 146 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+3.11228 s]
/proc/loadavg: 0.46 0.17 0.11 5/252 110984
/proc/meminfo: memFree=129120244/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=3.07 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 307 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+6.30022 s]
/proc/loadavg: 0.46 0.17 0.11 5/252 110984
/proc/meminfo: memFree=129120560/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=42532 memory=7936 CPUtime=6.26 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 979 0 0 0 626 0 0 0 20 0 1 0 138900093 43552768 1984 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+12.7001 s]
/proc/loadavg: 1.16 0.33 0.17 6/251 110996
/proc/meminfo: memFree=128554116/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=135444 memory=43520 CPUtime=15.19 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 7480 0 0 0 1517 2 0 0 20 0 2 0 138900093 138694656 10880 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 33861 10880 3328 6655 0 9250 0
[pid=110974/tid=110995] ppid=110970 vsize=135444 memory=638036 CPUtime=2.53 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 1613 0 0 0 253 0 0 0 20 0 2 0 138901096 138694656 10880 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 135444 KiB
Current children cumulated memory: 43520 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 0.55 0.24 7/251 110996
/proc/meminfo: memFree=128456052/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=151636 memory=80512 CPUtime=39.97 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 30529 0 0 0 3992 5 0 0 20 0 2 0 138900093 155275264 20128 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 37909 20128 3360 6655 0 18512 0
[pid=110974/tid=110995] ppid=110970 vsize=151636 memory=68352 CPUtime=14.67 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 10993 0 0 0 1465 2 0 0 20 0 2 0 138901096 155275264 20128 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 39.97 s
Current children cumulated vsize: 151636 KiB
Current children cumulated memory: 80512 KiB
[startup+51.1053 s]
/proc/loadavg: 3.81 1.09 0.43 7/253 111091
/proc/meminfo: memFree=128343772/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=158080 memory=91136 CPUtime=90.88 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 46303 0 0 0 9081 7 0 0 20 0 2 0 138900093 161873920 22784 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 39520 22784 3360 6655 0 21266 0
[pid=110974/tid=110995] ppid=110970 vsize=158080 memory=16096 CPUtime=40.04 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 18990 0 0 0 4001 3 0 0 20 0 2 0 138901096 161873920 22784 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 90.88 s
Current children cumulated vsize: 158080 KiB
Current children cumulated memory: 91136 KiB
[startup+102.3 s]
/proc/loadavg: 5.78 2.10 0.81 8/255 111262
/proc/meminfo: memFree=127990156/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=165684 memory=103040 CPUtime=192.01 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 65134 0 0 0 19190 11 0 0 20 0 2 0 138900093 169660416 25760 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 41421 25760 3360 6655 0 24472 0
[pid=110974/tid=110995] ppid=110970 vsize=165684 memory=16096 CPUtime=90.12 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 25136 0 0 0 9006 6 0 0 20 0 2 0 138901096 169660416 25760 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 192.01 s
Current children cumulated vsize: 165684 KiB
Current children cumulated memory: 103040 KiB
[startup+162.3 s]
/proc/loadavg: 7.08 3.13 1.25 9/256 111310
/proc/meminfo: memFree=128092828/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=270384 memory=180208 CPUtime=311.26 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 93593 0 0 0 31106 20 0 0 20 0 2 0 138900093 276873216 45052 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 67596 45052 3360 6655 0 43512 0
[pid=110974/tid=110995] ppid=110970 vsize=270384 memory=169456 CPUtime=149.54 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 38956 0 0 0 14943 11 0 0 20 0 2 0 138901096 276873216 45052 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 311.26 s
Current children cumulated vsize: 270384 KiB
Current children cumulated memory: 180208 KiB
[startup+222.3 s]
/proc/loadavg: 7.76 4.05 1.69 9/255 111312
/proc/meminfo: memFree=127967296/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=330748 memory=295408 CPUtime=430.48 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 133812 0 0 0 43019 29 0 0 20 0 2 0 138900093 338685952 73852 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 82687 73852 3360 6655 0 72238 0
[pid=110974/tid=110995] ppid=110970 vsize=330748 memory=268528 CPUtime=208.95 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 58181 0 0 0 20878 17 0 0 20 0 2 0 138901096 338685952 73852 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 430.48 s
Current children cumulated vsize: 330748 KiB
Current children cumulated memory: 295408 KiB
[startup+282.3 s]
/proc/loadavg: 7.92 4.77 2.08 9/255 111314
/proc/meminfo: memFree=127787564/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=446968 memory=398408 CPUtime=549.75 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 161384 0 0 0 54939 36 0 0 20 0 2 0 138900093 457695232 99602 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 111742 99602 3360 6655 0 98040 0
[pid=110974/tid=110995] ppid=110970 vsize=446968 memory=16096 CPUtime=268.37 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 72260 0 0 0 26816 21 0 0 20 0 2 0 138901096 457695232 99602 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 549.75 s
Current children cumulated vsize: 446968 KiB
Current children cumulated memory: 398408 KiB
[startup+342.3 s]
/proc/loadavg: 8.19 5.44 2.48 9/253 111316
/proc/meminfo: memFree=127607124/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=560984 memory=492952 CPUtime=669.03 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 189930 0 0 0 66859 44 0 0 20 0 2 0 138900093 574447616 123238 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 140246 123238 3360 6655 0 121550 0
[pid=110974/tid=110995] ppid=110970 vsize=560984 memory=455704 CPUtime=327.8 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 86721 0 0 0 32755 25 0 0 20 0 2 0 138901096 574447616 123238 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 669.03 s
Current children cumulated vsize: 560984 KiB
Current children cumulated memory: 492952 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/110974/statm: 508653 498908 3360 6655 0 497803 0
[pid=110974/tid=110995] ppid=110970 vsize=2034612 memory=1819680 CPUtime=1404.31 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 314730 0 0 0 140326 105 0 0 20 0 2 0 138901096 2083442688 498908 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 2815.64 s
Current children cumulated vsize: 2034612 KiB
Current children cumulated memory: 1995632 KiB
[startup+1482.3 s]
/proc/loadavg: 8.11 8.07 6.49 9/255 111372
/proc/meminfo: memFree=124636204/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2136068 memory=2067372 CPUtime=2934.9 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 666085 0 0 0 293304 186 0 0 20 0 2 0 138900093 2187333632 516843 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 534017 516843 3360 6655 0 515705 0
[pid=110974/tid=110995] ppid=110970 vsize=2136068 memory=16256 CPUtime=1464.15 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 327368 0 0 0 146307 108 0 0 20 0 2 0 138901096 2187333632 516843 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 2934.9 s
Current children cumulated vsize: 2136068 KiB
Current children cumulated memory: 2067372 KiB
[startup+1542.3 s]
/proc/loadavg: 8.08 8.07 6.60 9/255 111374
/proc/meminfo: memFree=124508972/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2169400 memory=2134828 CPUtime=3054.17 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 686756 0 0 0 305225 192 0 0 20 0 2 0 138900093 2221465600 533707 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 542350 533707 3360 6655 0 532332 0
[pid=110974/tid=110995] ppid=110970 vsize=2169400 memory=2129580 CPUtime=1524.01 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 337837 0 0 0 152290 111 0 0 20 0 2 0 138901096 2221465600 533707 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 3054.17 s
Current children cumulated vsize: 2169400 KiB
Current children cumulated memory: 2134828 KiB
[startup+1602.3 s]
/proc/loadavg: 8.15 8.09 6.70 9/254 111376
/proc/meminfo: memFree=124370708/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2268128 memory=2202540 CPUtime=3173.45 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 711382 0 0 0 317145 200 0 0 20 0 2 0 138900093 2322563072 550635 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 567032 550635 3360 6655 0 549125 0
[pid=110974/tid=110995] ppid=110970 vsize=2268128 memory=16256 CPUtime=1583.86 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 350605 0 0 0 158271 115 0 0 20 0 2 0 138901096 2322563072 550635 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 3173.45 s
Current children cumulated vsize: 2268128 KiB
Current children cumulated memory: 2202540 KiB
[startup+1662.3 s]
/proc/loadavg: 8.10 8.08 6.79 9/254 111378
/proc/meminfo: memFree=124238580/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2303204 memory=2269484 CPUtime=3292.73 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 736784 0 0 0 329066 207 0 0 20 0 2 0 138900093 2358480896 567371 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 575801 567371 3360 6655 0 565883 0
[pid=110974/tid=110995] ppid=110970 vsize=2303204 memory=2261548 CPUtime=1643.73 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 363084 0 0 0 164253 120 0 0 20 0 2 0 138901096 2358480896 567371 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 3292.73 s
Current children cumulated vsize: 2303204 KiB
Current children cumulated memory: 2269484 KiB
[startup+1722.3 s]
/proc/loadavg: 8.15 8.10 6.88 9/253 111380
/proc/meminfo: memFree=124104772/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2400856 memory=2332204 CPUtime=3412.02 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 757385 0 0 0 340988 214 0 0 20 0 2 0 138900093 2458476544 583051 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 600214 583051 3360 6655 0 581523 0
[pid=110974/tid=110995] ppid=110970 vsize=2400856 memory=2266796 CPUtime=1703.59 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 373463 0 0 0 170236 123 0 0 20 0 2 0 138901096 2458476544 583051 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 3412.02 s
Current children cumulated vsize: 2400856 KiB
Current children cumulated memory: 2332204 KiB
[startup+1782.3 s]
/proc/loadavg: 8.06 8.08 6.95 9/253 111382
/proc/meminfo: memFree=123958620/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2498696 memory=2400892 CPUtime=3531.3 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 782303 0 0 0 352909 221 0 0 20 0 2 0 138900093 2558664704 600223 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 624674 600223 3360 6655 0 598796 0
[pid=110974/tid=110995] ppid=110970 vsize=2498696 memory=2384428 CPUtime=1763.44 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 385896 0 0 0 176216 128 0 0 20 0 2 0 138901096 2558664704 600223 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 3531.3 s
Current children cumulated vsize: 2498696 KiB
Current children cumulated memory: 2400892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.9 s]
/proc/loadavg: 7.75 8.00 6.97 8/253 111383
/proc/meminfo: memFree=123876980/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2517544 memory=2436988 CPUtime=3600.06 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) R 110970 110974 110907 0 -1 4194304 794839 0 0 0 359782 224 0 0 20 0 2 0 138900093 2577965056 609247 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 629386 609247 3360 6655 0 607782 0
[pid=110974/tid=110995] ppid=110970 vsize=2517544 memory=2435452 CPUtime=1797.95 cores=4,6
/proc/110974/task/110995/stat : 110995 (LSIPExact) R 110970 110974 110907 0 -1 4194368 392073 0 0 0 179665 130 0 0 20 0 2 0 138901096 2577965056 609247 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2517544 KiB
Current children cumulated memory: 2436988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.09 s]
# the end of solver process 110974 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.61 s, system=2.55025 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 7.75 8.00 6.97 7/252 111383
/proc/meminfo: memFree=123876988/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2452008 memory=2356868 CPUtime=3600.28 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) S 110970 110974 110907 0 -1 4194304 923339 227 0 0 359796 232 0 0 20 0 1 0 138900093 2510856192 589217 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 613002 589217 3392 6655 0 603087 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 2452008 KiB
Current children cumulated memory: 2356868 KiB
[startup+1818.4 s]
/proc/loadavg: 7.61 7.97 6.96 7/253 111385
/proc/meminfo: memFree=123909580/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2452008 memory=2356868 CPUtime=3600.28 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) S 110970 110974 110907 0 -1 4194304 923339 227 0 0 359796 232 0 0 20 0 1 0 138900093 2510856192 589217 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 613002 589217 3392 6655 0 603087 0
[pid=111385] ppid=110974 vsize=76296 memory=59228 CPUtime=1.18 cores=4,6
/proc/111385/stat : 111385 (Exact) R 110974 111385 111385 0 -1 4194304 9533 0 1 0 115 3 0 0 20 0 1 0 139081809 78127104 14807 18446744073709551615 4198400 8335837 140732507444640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 31698944 140732507449522 140732507449883 140732507449883 140732507455439 0
/proc/111385/statm: 19074 14807 1120 1011 0 17841 0
Current children cumulated CPU time: 3601.46 s
Current children cumulated vsize: 2528304 KiB
Current children cumulated memory: 2416096 KiB
[startup+1818.8 s]
/proc/loadavg: 7.61 7.97 6.96 7/253 111385
/proc/meminfo: memFree=123909580/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2452008 memory=2356868 CPUtime=3600.28 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) S 110970 110974 110907 0 -1 4194304 923339 227 0 0 359796 232 0 0 20 0 1 0 138900093 2510856192 589217 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 613002 589217 3392 6655 0 603087 0
[pid=111385] ppid=110974 vsize=84572 memory=66524 CPUtime=1.58 cores=4,6
/proc/111385/stat : 111385 (Exact) R 110974 111385 111385 0 -1 4194304 11392 0 1 0 154 4 0 0 20 0 1 0 139081809 86601728 16631 18446744073709551615 4198400 8335837 140732507444640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 31698944 140732507449522 140732507449883 140732507449883 140732507455439 0
/proc/111385/statm: 21143 16631 1120 1011 0 19910 0
Current children cumulated CPU time: 3601.86 s
Current children cumulated vsize: 2536580 KiB
Current children cumulated memory: 2423392 KiB
[startup+1818.9 s]
/proc/loadavg: 7.61 7.97 6.96 7/253 111385
/proc/meminfo: memFree=123909580/131382116 swapFree=33005528/33010684
[pid=110974] ppid=110970 vsize=2452008 memory=2356868 CPUtime=3600.28 cores=4,6
/proc/110974/stat : 110974 (LSIPExact) S 110970 110974 110907 0 -1 4194304 923339 227 0 0 359796 232 0 0 20 0 1 0 138900093 2510856192 589217 18446744073709551615 94656257581056 94656284838225 140727621033504 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94656293340296 94656293771904 94656318435328 140727621036376 140727621036552 140727621036552 140727621042156 0
/proc/110974/statm: 613002 589217 3392 6655 0 603087 0
[pid=111385] ppid=110974 vsize=84572 memory=66524 CPUtime=1.69 cores=4,6
/proc/111385/stat : 111385 (Exact) R 110974 111385 111385 0 -1 4194304 11393 0 1 0 164 5 0 0 20 0 1 0 139081809 86601728 16631 18446744073709551615 4198400 8335837 140732507444640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 31698944 140732507449522 140732507449883 140732507449883 140732507455439 0
/proc/111385/statm: 21143 16631 1120 1011 0 19910 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 2536580 KiB
Current children cumulated memory: 2423392 KiB
Child status: 0
Real time (s): 1819.09
CPU time (s): 3602.16
CPU user time (s): 3599.61
CPU system time (s): 2.55025
CPU usage (%): 198.021
Max. virtual memory (cumulated for all children) (KiB): 2536580
Max. memory (cumulated for all children) (KiB): 2436988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 2.55025
maximum resident set size= 2437116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934969
page faults= 1
swaps= 0
block input operations= 264
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 643
involuntary context switches= 74974
# summary of solver processes directly reported to runsolver:
# pid: 110974
# total CPU time (s): 3602.16
# total CPU user time (s): 3599.61
# total CPU system time (s): 2.55025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04926 second user time and 7.93256 second system time
The end
Begin job on nodeC010 at 2025-07-11 13:10:06
IDJOB=4527345
IDBENCH=147534
IDSOLVER=3384
FILE ID=nodeC010/4527345-1752232206
RUNJOBID= nodeC010-1752232205-110925
SLURM_JOB_ID= 9682521
Free space on /tmp= 429752 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527345-1752232206/watcher-4527345-1752232206 -o /tmp/evaluation-result-4527345-1752232206/solver-4527345-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752232205-110925 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527345-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=1187949666
nodeC010 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 : 0xb00001f
cpu MHz : 1197.145
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.575
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.315
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.219
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.145
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129518948 kB
MemAvailable: 129823880 kB
Buffers: 228 kB
Cached: 1099484 kB
SwapCached: 4296 kB
Active: 385472 kB
Inactive: 847548 kB
Active(anon): 94664 kB
Inactive(anon): 52272 kB
Active(file): 290808 kB
Inactive(file): 795276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 152300 kB
Writeback: 0 kB
AnonPages: 132220 kB
Mapped: 107212 kB
Shmem: 13628 kB
KReclaimable: 116952 kB
Slab: 203880 kB
SReclaimable: 116952 kB
SUnreclaim: 86928 kB
KernelStack: 3952 kB
PageTables: 2988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 452980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 429648 MiB
End job on nodeC010 at 2025-07-11 13:40:26