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: 63794 MiB (62872 MiB free)
memory of node 1: 64507 MiB (61597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527346-1752232206/watcher-4527346-1752232206 -o /tmp/evaluation-result-4527346-1752232206/solver-4527346-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752232205-108166 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527346-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
solver pid=108214, runsolver pid=108211
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 0.13 0.09 0.09 5/248 108216
/proc/meminfo: memFree=127417200/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=0.09 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 9 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+0.213079 s]*
/proc/loadavg: 0.13 0.09 0.09 5/247 108216
/proc/meminfo: memFree=127409136/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=0.21 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 21 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+0.313066 s]*
/proc/loadavg: 0.13 0.09 0.09 5/247 108216
/proc/meminfo: memFree=127409136/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=0.31 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 31 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+0.700261 s]
/proc/loadavg: 0.13 0.09 0.09 5/252 108225
/proc/meminfo: memFree=127352684/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=0.68 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 68 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+1.50026 s]
/proc/loadavg: 0.13 0.09 0.09 5/252 108225
/proc/meminfo: memFree=127188372/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=1.48 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 148 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+3.1123 s]
/proc/loadavg: 0.44 0.16 0.11 5/252 108225
/proc/meminfo: memFree=127059904/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=3.09 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 309 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+6.30024 s]
/proc/loadavg: 0.44 0.16 0.11 5/252 108225
/proc/meminfo: memFree=127060680/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=42508 memory=7936 CPUtime=6.27 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 978 0 0 0 627 0 0 0 20 0 1 0 138900095 43528192 1984 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 10627 1984 1152 6655 0 862 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+12.7001 s]
/proc/loadavg: 1.15 0.32 0.16 6/252 108239
/proc/meminfo: memFree=126561732/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=136612 memory=43924 CPUtime=15.19 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 7533 0 0 0 1517 2 0 0 20 0 2 0 138900095 139890688 10981 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 34153 10981 3328 6655 0 9540 0
[pid=108214/tid=108230] ppid=108211 vsize=136612 memory=37908 CPUtime=2.53 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 1576 0 0 0 253 0 0 0 20 0 2 0 138901097 139890688 10981 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 136612 KiB
Current children cumulated memory: 43924 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 0.54 0.24 7/252 108239
/proc/meminfo: memFree=126458412/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=142124 memory=57748 CPUtime=39.91 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 24299 0 0 0 3986 5 0 0 20 0 2 0 138900095 145534976 14437 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 35531 14437 3360 6655 0 12841 0
[pid=108214/tid=108230] ppid=108211 vsize=142124 memory=57748 CPUtime=14.75 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 8698 0 0 0 1473 2 0 0 20 0 2 0 138901097 145534976 14437 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 39.91 s
Current children cumulated vsize: 142124 KiB
Current children cumulated memory: 57748 KiB
[startup+51.1056 s]
/proc/loadavg: 3.87 1.09 0.43 7/256 108322
/proc/meminfo: memFree=126416740/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=170592 memory=104212 CPUtime=90.21 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) S 108211 108214 108148 0 -1 4194304 42240 0 0 0 9013 8 0 0 20 0 2 0 138900095 174686208 26053 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 42648 26053 3360 6655 0 24380 0
[pid=108214/tid=108230] ppid=108211 vsize=170592 memory=43924 CPUtime=40.26 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 16060 0 0 0 4023 3 0 0 20 0 2 0 138901097 174686208 26053 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 90.21 s
Current children cumulated vsize: 170592 KiB
Current children cumulated memory: 104212 KiB
[startup+102.3 s]
/proc/loadavg: 5.83 2.10 0.82 8/256 108507
/proc/meminfo: memFree=126168396/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=177684 memory=131988 CPUtime=191.17 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 65342 0 0 0 19105 12 0 0 20 0 2 0 138900095 181948416 32997 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 44421 32997 3360 6655 0 31315 0
[pid=108214/tid=108230] ppid=108211 vsize=177684 memory=114068 CPUtime=90.52 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 26889 0 0 0 9047 5 0 0 20 0 2 0 138901097 181948416 32997 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 191.17 s
Current children cumulated vsize: 177684 KiB
Current children cumulated memory: 131988 KiB
[startup+162.3 s]
/proc/loadavg: 7.16 3.16 1.26 9/257 108510
/proc/meminfo: memFree=125725808/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=312932 memory=263444 CPUtime=310.39 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 102969 0 0 0 31015 24 0 0 20 0 2 0 138900095 320442368 65861 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 78233 65861 3360 6655 0 64283 0
[pid=108214/tid=108230] ppid=108211 vsize=312932 memory=14304 CPUtime=150.29 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 44828 0 0 0 15018 11 0 0 20 0 2 0 138901097 320442368 65861 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 310.39 s
Current children cumulated vsize: 312932 KiB
Current children cumulated memory: 263444 KiB
[startup+222.3 s]
/proc/loadavg: 7.79 4.08 1.70 10/258 108513
/proc/meminfo: memFree=125509500/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=443200 memory=393620 CPUtime=429.6 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 144029 0 0 0 42925 35 0 0 20 0 2 0 138900095 453836800 98405 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 110800 98405 3360 6655 0 96821 0
[pid=108214/tid=108230] ppid=108211 vsize=443200 memory=350484 CPUtime=210.07 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 64863 0 0 0 20988 19 0 0 20 0 2 0 138901097 453836800 98405 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 429.6 s
Current children cumulated vsize: 443200 KiB
Current children cumulated memory: 393620 KiB
[startup+282.3 s]
/proc/loadavg: 8.29 4.89 2.13 9/259 108516
/proc/meminfo: memFree=125292640/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=568676 memory=514320 CPUtime=548.84 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 177650 0 0 0 54838 46 0 0 20 0 2 0 138900095 582324224 128580 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 142169 128580 3360 6655 0 127055 0
[pid=108214/tid=108230] ppid=108211 vsize=568676 memory=438288 CPUtime=269.86 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 82636 0 0 0 26962 24 0 0 20 0 2 0 138901097 582324224 128580 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 548.84 s
Current children cumulated vsize: 568676 KiB
Current children cumulated memory: 514320 KiB
[startup+342.3 s]
/proc/loadavg: 8.18 5.49 2.51 9/257 108519
/proc/meminfo: memFree=125100300/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=700128 memory=634000 CPUtime=668.08 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 209840 0 0 0 66753 55 0 0 20 0 2 0 138900095 716931072 158500 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 175032 158500 3360 6655 0 157028 0
[pid=108214/tid=108230] ppid=108211 vsize=700128 memory=438288 CPUtime=329.69 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 97967 0 0 0 32940 29 0 0 20 0 2 0 138901097 716931072 158500 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 668.08 s
Current children cumulated vsize: 700128 KiB
Current children cumulated memory: 634000 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=108214] ppid=108211 vsize=3555840 memory=3475640 CPUtime=2933.82 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1008469 0 0 0 293074 308 0 0 20 0 2 0 138900095 3641180160 868910 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 888960 868910 3360 6655 0 867467 0
[pid=108214/tid=108230] ppid=108211 vsize=3555840 memory=3443384 CPUtime=1464.96 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 501056 0 0 0 146318 178 0 0 20 0 2 0 138901097 3641180160 868910 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 2933.82 s
Current children cumulated vsize: 3555840 KiB
Current children cumulated memory: 3475640 KiB
[startup+1542.3 s]
/proc/loadavg: 8.07 8.06 6.61 9/254 108578
/proc/meminfo: memFree=120640188/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=3682732 memory=3594380 CPUtime=3053.09 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1043202 0 0 0 304986 323 0 0 20 0 2 0 138900095 3771117568 898595 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 920683 898595 3360 6655 0 897049 0
[pid=108214/tid=108230] ppid=108211 vsize=3682732 memory=3572108 CPUtime=1524.4 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 517242 0 0 0 152253 187 0 0 20 0 2 0 138901097 3771117568 898595 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 3053.09 s
Current children cumulated vsize: 3682732 KiB
Current children cumulated memory: 3594380 KiB
[startup+1602.3 s]
/proc/loadavg: 7.85 8.01 6.69 8/255 108581
/proc/meminfo: memFree=120508804/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=3816712 memory=3718748 CPUtime=3172.34 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1081597 0 0 0 316899 335 0 0 20 0 2 0 138900095 3908313088 929687 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 954178 929687 3360 6655 0 928089 0
[pid=108214/tid=108230] ppid=108211 vsize=3816712 memory=3714792 CPUtime=1583.83 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 534573 0 0 0 158189 194 0 0 20 0 2 0 138901097 3908313088 929687 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 3172.34 s
Current children cumulated vsize: 3816712 KiB
Current children cumulated memory: 3718748 KiB
[startup+1662.3 s]
/proc/loadavg: 7.94 8.00 6.77 9/254 108583
/proc/meminfo: memFree=120395600/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=3884636 memory=3845032 CPUtime=3291.61 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1116939 0 0 0 328816 345 0 0 20 0 2 0 138900095 3977867264 961258 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 971159 961258 3360 6655 0 960016 0
[pid=108214/tid=108230] ppid=108211 vsize=3884636 memory=14304 CPUtime=1643.28 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 553665 0 0 0 164128 200 0 0 20 0 2 0 138901097 3977867264 961258 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 3291.61 s
Current children cumulated vsize: 3884636 KiB
Current children cumulated memory: 3845032 KiB
[startup+1722.3 s]
/proc/loadavg: 8.06 8.02 6.86 9/255 108586
/proc/meminfo: memFree=120202640/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=4016700 memory=3973416 CPUtime=3410.87 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1155870 0 0 0 340730 357 0 0 20 0 2 0 138900095 4113100800 993354 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 1004175 993354 3360 6655 0 992014 0
[pid=108214/tid=108230] ppid=108211 vsize=4016700 memory=14304 CPUtime=1702.71 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 572148 0 0 0 170064 207 0 0 20 0 2 0 138901097 4113100800 993354 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 3410.87 s
Current children cumulated vsize: 4016700 KiB
Current children cumulated memory: 3973416 KiB
[startup+1782.3 s]
/proc/loadavg: 8.08 8.03 6.94 9/255 108588
/proc/meminfo: memFree=120005432/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=4147760 memory=4108832 CPUtime=3530.13 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1197733 0 0 0 352644 369 0 0 20 0 2 0 138900095 4247306240 1027208 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 1036940 1027208 3360 6655 0 1025788 0
[pid=108214/tid=108230] ppid=108211 vsize=4147760 memory=4078112 CPUtime=1762.15 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 593044 0 0 0 176000 215 0 0 20 0 2 0 138901097 4247306240 1027208 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 3530.13 s
Current children cumulated vsize: 4147760 KiB
Current children cumulated memory: 4108832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.5 s]
/proc/loadavg: 8.17 8.06 6.99 9/256 108590
/proc/meminfo: memFree=119908956/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=4250212 memory=4183400 CPUtime=3600.1 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1218422 0 0 0 359634 376 0 0 20 0 2 0 138900095 4352217088 1045850 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 1062553 1045850 3360 6655 0 1044346 0
[pid=108214/tid=108230] ppid=108211 vsize=4250212 memory=4133864 CPUtime=1797.02 cores=4,6
/proc/108214/task/108230/stat : 108230 (LSIPExact) R 108211 108214 108148 0 -1 4194368 603401 0 0 0 179482 220 0 0 20 0 2 0 138901097 4352217088 1045850 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 4250212 KiB
Current children cumulated memory: 4183400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.81 s]
# the end of solver process 108214 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.97 s, system=4.34197 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 8.17 8.06 6.99 9/256 108590
/proc/meminfo: memFree=119908956/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=4250212 memory=4181612 CPUtime=3600.21 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) R 108211 108214 108148 0 -1 4194304 1293306 0 0 0 359641 380 0 0 20 0 1 0 138900095 4352217088 1045403 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 1062553 1045403 3392 6655 0 1044353 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 4250212 KiB
Current children cumulated memory: 4181612 KiB
[startup+1818.4 s]
/proc/loadavg: 8.16 8.06 7.00 8/255 108590
/proc/meminfo: memFree=120511236/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=2939492 memory=2883228 CPUtime=3600.63 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) S 108211 108214 108148 0 -1 4194304 1570844 227 0 0 359663 400 0 0 20 0 1 0 138900095 3010039808 720807 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 734873 720807 3392 6655 0 725024 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 2939492 KiB
Current children cumulated memory: 2883228 KiB
[startup+1819.2 s]
/proc/loadavg: 8.16 8.06 7.00 8/256 108592
/proc/meminfo: memFree=121152740/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=2939492 memory=2883228 CPUtime=3600.63 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) S 108211 108214 108148 0 -1 4194304 1570844 227 0 0 359663 400 0 0 20 0 1 0 138900095 3010039808 720807 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 734873 720807 3392 6655 0 725024 0
[pid=108592] ppid=108214 vsize=81996 memory=63244 CPUtime=1.06 cores=4,6
/proc/108592/stat : 108592 (Exact) R 108214 108592 108592 0 -1 4194304 11570 0 1 0 102 4 0 0 20 0 1 0 139081903 83963904 15811 18446744073709551615 4198400 8335837 140733249546272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 16179200 140733249550514 140733249550875 140733249550875 140733249556431 0
/proc/108592/statm: 20499 15811 1120 1011 0 19266 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 3021488 KiB
Current children cumulated memory: 2946472 KiB
[startup+1819.4 s]
/proc/loadavg: 8.16 8.06 7.00 8/256 108592
/proc/meminfo: memFree=121152740/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=2939492 memory=2883228 CPUtime=3600.63 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) S 108211 108214 108148 0 -1 4194304 1570844 227 0 0 359663 400 0 0 20 0 1 0 138900095 3010039808 720807 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 734873 720807 3392 6655 0 725024 0
[pid=108592] ppid=108214 vsize=84668 memory=65676 CPUtime=1.26 cores=4,6
/proc/108592/stat : 108592 (Exact) R 108214 108592 108592 0 -1 4194304 12187 0 1 0 122 4 0 0 20 0 1 0 139081903 86700032 16419 18446744073709551615 4198400 8335837 140733249546272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 16179200 140733249550514 140733249550875 140733249550875 140733249556431 0
/proc/108592/statm: 21167 16419 1120 1011 0 19934 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 3024160 KiB
Current children cumulated memory: 2948904 KiB
[startup+1819.5 s]
/proc/loadavg: 8.16 8.06 7.00 8/256 108592
/proc/meminfo: memFree=121152740/131382120 swapFree=33010416/33010684
[pid=108214] ppid=108211 vsize=2939492 memory=2883228 CPUtime=3600.63 cores=4,6
/proc/108214/stat : 108214 (LSIPExact) S 108211 108214 108148 0 -1 4194304 1570844 227 0 0 359663 400 0 0 20 0 1 0 138900095 3010039808 720807 18446744073709551615 93872190578688 93872217835857 140727052405200 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93872226337928 93872226769536 93872231149568 140727052409176 140727052409352 140727052409352 140727052414956 0
/proc/108214/statm: 734873 720807 3392 6655 0 725024 0
[pid=108592] ppid=108214 vsize=86192 memory=67084 CPUtime=1.36 cores=4,6
/proc/108592/stat : 108592 (Exact) R 108214 108592 108592 0 -1 4194304 12538 0 1 0 132 4 0 0 20 0 1 0 139081903 88260608 16771 18446744073709551615 4198400 8335837 140733249546272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 16179200 140733249550514 140733249550875 140733249550875 140733249556431 0
/proc/108592/statm: 21548 16771 1120 1011 0 20315 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 3025684 KiB
Current children cumulated memory: 2950312 KiB
Child status: 0
Real time (s): 1819.81
CPU time (s): 3602.31
CPU user time (s): 3597.97
CPU system time (s): 4.34197
CPU usage (%): 197.95
Max. virtual memory (cumulated for all children) (KiB): 4250212
Max. memory (cumulated for all children) (KiB): 4183400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 4.34197
maximum resident set size= 4183528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1583619
page faults= 1
swaps= 0
block input operations= 240
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 658
involuntary context switches= 95077
# summary of solver processes directly reported to runsolver:
# pid: 108214
# total CPU time (s): 3602.31
# total CPU user time (s): 3597.97
# total CPU system time (s): 4.34197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.14529 second user time and 8.69645 second system time
The end
Begin job on nodeC006 at 2025-07-11 13:10:07
IDJOB=4527346
IDBENCH=147524
IDSOLVER=3384
FILE ID=nodeC006/4527346-1752232206
RUNJOBID= nodeC006-1752232205-108166
SLURM_JOB_ID= 9682517
Free space on /tmp= 431976 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.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-4527346-1752232206/watcher-4527346-1752232206 -o /tmp/evaluation-result-4527346-1752232206/solver-4527346-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752232205-108166 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527346-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1187949666
nodeC006 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.147
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.32
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.046
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.32
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.677
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.32
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.140
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.32
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.141
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.32
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 : 1197.140
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.32
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.233
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.32
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.110
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127457624 kB
MemAvailable: 129798448 kB
Buffers: 2128 kB
Cached: 3103664 kB
SwapCached: 12 kB
Active: 565060 kB
Inactive: 2635048 kB
Active(anon): 101308 kB
Inactive(anon): 10992 kB
Active(file): 463752 kB
Inactive(file): 2624056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 150660 kB
Writeback: 0 kB
AnonPages: 96324 kB
Mapped: 108652 kB
Shmem: 17948 kB
KReclaimable: 184904 kB
Slab: 273216 kB
SReclaimable: 184904 kB
SUnreclaim: 88312 kB
KernelStack: 3968 kB
PageTables: 3132 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 383116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3872 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431828 MiB
End job on nodeC006 at 2025-07-11 13:40:27