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 (62812 MiB free)
memory of node 1: 64465 MiB (63790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523641-1751602168/watcher-4523641-1751602168 -o /tmp/evaluation-result-4523641-1751602168/solver-4523641-1751602168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751602168-84124 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523641-1751602168.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=84179, runsolver pid=84164
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129461460/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=86300 memory=51584 CPUtime=0.09 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 11922 0 0 0 8 1 0 0 20 0 1 0 75893504 88371200 12896 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 21575 12896 1120 6655 0 11810 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86300 KiB
Current children cumulated memory: 51584 KiB
[startup+0.204781 s]*
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440152/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=91052 memory=56320 CPUtime=0.19 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 13115 0 0 0 18 1 0 0 20 0 1 0 75893504 93237248 14080 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 22763 14080 1120 6655 0 12998 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56320 KiB
[startup+0.304983 s]*
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440152/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=91052 memory=56320 CPUtime=0.29 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 13117 0 0 0 28 1 0 0 20 0 1 0 75893504 93237248 14080 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 22763 14080 1120 6655 0 12998 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56320 KiB
[startup+0.700131 s]
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440152/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=91052 memory=56320 CPUtime=0.68 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 13117 0 0 0 67 1 0 0 20 0 1 0 75893504 93237248 14080 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 22763 14080 1120 6655 0 12998 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56320 KiB
[startup+1.50013 s]
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440328/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=91052 memory=56320 CPUtime=1.48 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 13118 0 0 0 147 1 0 0 20 0 1 0 75893504 93237248 14080 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 22763 14080 1120 6655 0 12998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56320 KiB
[startup+3.10493 s]
/proc/loadavg: 2.43 3.64 3.94 5/263 84180
/proc/meminfo: memFree=129442288/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=91052 memory=56320 CPUtime=3.08 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 13118 0 0 0 307 1 0 0 20 0 1 0 75893504 93237248 14080 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 22763 14080 1120 6655 0 12998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56320 KiB
[startup+6.30013 s]
/proc/loadavg: 2.43 3.64 3.94 5/263 84180
/proc/meminfo: memFree=129442344/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=91052 memory=56320 CPUtime=6.26 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 13119 0 0 0 625 1 0 0 20 0 1 0 75893504 93237248 14080 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 22763 14080 1120 6655 0 12998 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56320 KiB
[startup+12.7002 s]
/proc/loadavg: 2.99 3.72 3.96 9/267 84184
/proc/meminfo: memFree=128997412/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=265032 memory=191420 CPUtime=14.49 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 38035 0 0 0 1444 5 0 0 20 0 2 0 75893504 271392768 47855 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 66258 47855 3392 6655 0 46570 0
[pid=84179/tid=84183] ppid=84164 vsize=265032 memory=191292 CPUtime=1.83 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 5418 0 0 0 183 0 0 0 20 0 2 0 75894512 271392768 47855 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 265032 KiB
Current children cumulated memory: 191420 KiB
[startup+25.5002 s]
/proc/loadavg: 3.76 3.86 4.00 9/267 84184
/proc/meminfo: memFree=128917928/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=282316 memory=231140 CPUtime=39.85 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 95656 0 0 0 3974 11 0 0 20 0 2 0 75893504 289091584 57785 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 70579 57785 3392 6655 0 57782 0
[pid=84179/tid=84183] ppid=84164 vsize=282316 memory=14248 CPUtime=14.44 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 29896 0 0 0 1441 3 0 0 20 0 2 0 75894512 289091584 57785 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 39.85 s
Current children cumulated vsize: 282316 KiB
Current children cumulated memory: 231140 KiB
[startup+51.1056 s]
/proc/loadavg: 5.20 4.19 4.11 9/267 84185
/proc/meminfo: memFree=128760516/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=287288 memory=244892 CPUtime=90.71 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 122212 0 0 0 9056 15 0 0 20 0 2 0 75893504 294182912 61223 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 71822 61223 3392 6655 0 60785 0
[pid=84179/tid=84183] ppid=84164 vsize=287288 memory=14248 CPUtime=39.76 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 43970 0 0 0 3971 5 0 0 20 0 2 0 75894512 294182912 61223 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 90.71 s
Current children cumulated vsize: 287288 KiB
Current children cumulated memory: 244892 KiB
[startup+102.3 s]
/proc/loadavg: 6.87 4.84 4.34 9/269 84191
/proc/meminfo: memFree=128721216/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=304948 memory=259088 CPUtime=190.12 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 154378 0 0 0 18992 20 0 0 20 0 2 0 75893504 312266752 64772 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 76237 64772 3392 6655 0 65200 0
[pid=84179/tid=84183] ppid=84164 vsize=304948 memory=14248 CPUtime=88.16 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 57442 0 0 0 8809 7 0 0 20 0 2 0 75894512 312266752 64772 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 190.12 s
Current children cumulated vsize: 304948 KiB
Current children cumulated memory: 259088 KiB
[startup+162.3 s]
/proc/loadavg: 7.63 5.43 4.57 9/269 84197
/proc/meminfo: memFree=128643684/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=412136 memory=325348 CPUtime=308.98 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 186867 0 0 0 30870 28 0 0 20 0 2 0 75893504 422027264 81337 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 103034 81337 3392 6655 0 80901 0
[pid=84179/tid=84183] ppid=84164 vsize=412136 memory=325348 CPUtime=147.22 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 69111 0 0 0 14711 11 0 0 20 0 2 0 75894512 422027264 81337 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 308.98 s
Current children cumulated vsize: 412136 KiB
Current children cumulated memory: 325348 KiB
[startup+222.3 s]
/proc/loadavg: 7.96 5.93 4.80 10/269 84199
/proc/meminfo: memFree=128568932/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=353860 memory=316200 CPUtime=428.15 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 214511 0 0 0 42779 36 0 0 20 0 2 0 75893504 362352640 79050 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 88465 79050 3392 6655 0 78504 0
[pid=84179/tid=84183] ppid=84164 vsize=353860 memory=14248 CPUtime=206.58 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 89500 0 0 0 20639 19 0 0 20 0 2 0 75894512 362352640 79050 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 428.15 s
Current children cumulated vsize: 353860 KiB
Current children cumulated memory: 316200 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 6.32 5.01 9/269 84201
/proc/meminfo: memFree=128461716/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=464544 memory=376240 CPUtime=547.33 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 277998 0 0 0 54671 62 0 0 20 0 2 0 75893504 475693056 94060 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 116136 94060 3424 6655 0 101173 0
[pid=84179/tid=84183] ppid=84164 vsize=464544 memory=367684 CPUtime=265.95 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 125554 0 0 0 26558 37 0 0 20 0 2 0 75894512 475693056 94060 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 547.33 s
Current children cumulated vsize: 464544 KiB
Current children cumulated memory: 376240 KiB
[startup+342.3 s]
/proc/loadavg: 8.13 6.66 5.21 9/269 84203
/proc/meminfo: memFree=128361228/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=445796 memory=389172 CPUtime=666.53 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 309586 0 0 0 66582 71 0 0 20 0 2 0 75893504 456495104 97293 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 111449 97293 3424 6655 0 99569 0
[pid=84179/tid=84183] ppid=84164 vsize=445796 memory=367684 CPUtime=325.32 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 145434 0 0 0 32489 43 0 0 20 0 2 0 75894512 456495104 97293 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 666.53 s
Current children cumulated vsize: 445796 KiB
Current children cumulated memory: 389172 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=84179/tid=84183] ppid=84164 vsize=497056 memory=460408 CPUtime=1454.79 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 197696 0 0 0 145395 84 0 0 20 0 2 0 75894512 508985344 108009 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 2912.61 s
Current children cumulated vsize: 497056 KiB
Current children cumulated memory: 432036 KiB
[startup+1542.3 s]
/proc/loadavg: 8.19 8.14 7.39 9/268 84264
/proc/meminfo: memFree=127778356/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=464452 memory=416328 CPUtime=3031.76 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 522698 0 0 0 303002 174 0 0 20 0 2 0 75893504 475598848 104082 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 116113 104082 3520 6655 0 106007 0
[pid=84179/tid=84183] ppid=84164 vsize=464452 memory=14248 CPUtime=1514.58 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 202900 0 0 0 151371 87 0 0 20 0 2 0 75894512 475598848 104082 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 3031.76 s
Current children cumulated vsize: 464452 KiB
Current children cumulated memory: 416328 KiB
[startup+1602.3 s]
/proc/loadavg: 8.17 8.14 7.45 9/267 84266
/proc/meminfo: memFree=127652828/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=506260 memory=446036 CPUtime=3150.91 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 538196 0 0 0 314908 183 0 0 20 0 2 0 75893504 518410240 111509 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 126565 111509 3520 6655 0 116459 0
[pid=84179/tid=84183] ppid=84164 vsize=506260 memory=493304 CPUtime=1574.38 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 205972 0 0 0 157347 91 0 0 20 0 2 0 75894512 518410240 111509 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 3150.91 s
Current children cumulated vsize: 506260 KiB
Current children cumulated memory: 446036 KiB
[startup+1662.3 s]
/proc/loadavg: 8.11 8.13 7.49 9/266 84268
/proc/meminfo: memFree=127520904/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=568268 memory=482672 CPUtime=3270.03 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 547683 0 0 0 326815 188 0 0 20 0 2 0 75893504 581906432 120668 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 142067 120668 3520 6655 0 131961 0
[pid=84179/tid=84183] ppid=84164 vsize=568268 memory=493304 CPUtime=1634.16 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 208243 0 0 0 163324 92 0 0 20 0 2 0 75894512 581906432 120668 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 3270.03 s
Current children cumulated vsize: 568268 KiB
Current children cumulated memory: 482672 KiB
[startup+1722.3 s]
/proc/loadavg: 8.08 8.12 7.53 11/267 84271
/proc/meminfo: memFree=127417908/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=536144 memory=488572 CPUtime=3389.19 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 556620 0 0 0 338723 196 0 0 20 0 2 0 75893504 549011456 122143 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 134036 122143 3520 6655 0 123930 0
[pid=84179/tid=84183] ppid=84164 vsize=536144 memory=493304 CPUtime=1693.95 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 213139 0 0 0 169298 97 0 0 20 0 2 0 75894512 549011456 122143 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 3389.19 s
Current children cumulated vsize: 536144 KiB
Current children cumulated memory: 488572 KiB
[startup+1782.3 s]
/proc/loadavg: 8.08 8.11 7.57 9/267 84273
/proc/meminfo: memFree=127285424/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=608932 memory=546376 CPUtime=3508.32 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 563709 0 0 0 350627 205 0 0 20 0 2 0 75893504 623546368 136594 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 152233 136594 3520 6655 0 142193 0
[pid=84179/tid=84183] ppid=84164 vsize=608932 memory=17280 CPUtime=1753.75 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 215225 0 0 0 175272 103 0 0 20 0 2 0 75894512 623546368 136594 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 3508.32 s
Current children cumulated vsize: 608932 KiB
Current children cumulated memory: 546376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1828.5 s]
/proc/loadavg: 7.63 8.01 7.56 6/264 84415
/proc/meminfo: memFree=127875084/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=728184 memory=592072 CPUtime=3600.04 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) R 84164 84179 84111 0 -1 4194304 576755 0 0 0 359790 214 0 0 20 0 2 0 75893504 745660416 148018 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 182046 148018 3520 6655 0 156442 0
[pid=84179/tid=84183] ppid=84164 vsize=728184 memory=14248 CPUtime=1799.79 cores=5,7
/proc/84179/task/84183/stat : 84183 (LSIPExact) R 84164 84179 84111 0 -1 4194368 223141 0 0 0 179870 109 0 0 20 0 2 0 75894512 745660416 148018 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 728184 KiB
Current children cumulated memory: 592072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1830.52 s]
# the end of solver process 84179 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.85 s, system=2.20011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1828.8 s]
/proc/loadavg: 7.63 8.01 7.56 6/264 84415
/proc/meminfo: memFree=127875084/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=554148 memory=505560 CPUtime=3600.11 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) S 84164 84179 84111 0 -1 4194304 581627 228 0 0 359796 215 0 0 20 0 1 0 75893504 567447552 126390 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 138537 126390 3520 6655 0 128574 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 554148 KiB
Current children cumulated memory: 505560 KiB
[startup+1829.6 s]
/proc/loadavg: 7.63 8.01 7.56 5/264 84417
/proc/meminfo: memFree=127885676/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=554148 memory=505560 CPUtime=3600.11 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) S 84164 84179 84111 0 -1 4194304 581627 228 0 0 359796 215 0 0 20 0 1 0 75893504 567447552 126390 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 138537 126390 3520 6655 0 128574 0
[pid=84417] ppid=84179 vsize=80076 memory=62908 CPUtime=1 cores=5,7
/proc/84417/stat : 84417 (Exact) R 84179 84417 84417 0 -1 4194304 16278 0 0 0 97 3 0 0 20 0 1 0 76076361 81997824 15727 18446744073709551615 4198400 8335837 140727806442560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 14073856 140727806445748 140727806446109 140727806446109 140727806451663 0
/proc/84417/statm: 20019 15727 1120 1011 0 18786 0
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 634224 KiB
Current children cumulated memory: 568468 KiB
[startup+1830 s]*
/proc/loadavg: 7.63 8.01 7.56 5/264 84417
/proc/meminfo: memFree=127886464/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=554148 memory=505560 CPUtime=3600.11 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) S 84164 84179 84111 0 -1 4194304 581627 228 0 0 359796 215 0 0 20 0 1 0 75893504 567447552 126390 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 138537 126390 3520 6655 0 128574 0
[pid=84417] ppid=84179 vsize=80076 memory=62908 CPUtime=1.4 cores=5,7
/proc/84417/stat : 84417 (Exact) R 84179 84417 84417 0 -1 4194304 16278 0 0 0 137 3 0 0 20 0 1 0 76076361 81997824 15727 18446744073709551615 4198400 8335837 140727806442560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 14073856 140727806445748 140727806446109 140727806446109 140727806451663 0
/proc/84417/statm: 20019 15727 1120 1011 0 18786 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 634224 KiB
Current children cumulated memory: 568468 KiB
[startup+1830.4 s]
/proc/loadavg: 7.63 8.01 7.56 5/264 84417
/proc/meminfo: memFree=127886464/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=554148 memory=505560 CPUtime=3600.11 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) S 84164 84179 84111 0 -1 4194304 581627 228 0 0 359796 215 0 0 20 0 1 0 75893504 567447552 126390 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 138537 126390 3520 6655 0 128574 0
[pid=84417] ppid=84179 vsize=80076 memory=62908 CPUtime=1.8 cores=5,7
/proc/84417/stat : 84417 (Exact) R 84179 84417 84417 0 -1 4194304 16278 0 0 0 177 3 0 0 20 0 1 0 76076361 81997824 15727 18446744073709551615 4198400 8335837 140727806442560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 14073856 140727806445748 140727806446109 140727806446109 140727806451663 0
/proc/84417/statm: 20019 15727 1120 1011 0 18786 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 634224 KiB
Current children cumulated memory: 568468 KiB
[startup+1830.5 s]
/proc/loadavg: 7.63 8.01 7.56 5/264 84417
/proc/meminfo: memFree=127886464/131250000 swapFree=33008356/33010684
[pid=84179] ppid=84164 vsize=554148 memory=505560 CPUtime=3600.11 cores=5,7
/proc/84179/stat : 84179 (LSIPExact) S 84164 84179 84111 0 -1 4194304 581627 228 0 0 359796 215 0 0 20 0 1 0 75893504 567447552 126390 18446744073709551615 94291520651264 94291547907665 140726784297616 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94291556410504 94291556842112 94291580817408 140726784301402 140726784301578 140726784301578 140726784307180 0
/proc/84179/statm: 138537 126390 3520 6655 0 128574 0
[pid=84417] ppid=84179 vsize=80076 memory=62908 CPUtime=1.9 cores=5,7
/proc/84417/stat : 84417 (Exact) R 84179 84417 84417 0 -1 4194304 16278 0 0 0 187 3 0 0 20 0 1 0 76076361 81997824 15727 18446744073709551615 4198400 8335837 140727806442560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 14073856 140727806445748 140727806446109 140727806446109 140727806451663 0
/proc/84417/statm: 20019 15727 1120 1011 0 18786 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 634224 KiB
Current children cumulated memory: 568468 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1830.52
CPU time (s): 3602.05
CPU user time (s): 3599.85
CPU system time (s): 2.20011
CPU usage (%): 196.777
Max. virtual memory (cumulated for all children) (KiB): 755436
Max. memory (cumulated for all children) (KiB): 602992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 2.20011
maximum resident set size= 602992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601226
page faults= 0
swaps= 0
block input operations= 6288
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 565
involuntary context switches= 85600
# summary of solver processes directly reported to runsolver:
# pid: 84179
# total CPU time (s): 3602.05
# total CPU user time (s): 3599.85
# total CPU system time (s): 2.20011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68051 second user time and 8.43122 second system time
The end
Begin job on nodeC014 at 2025-07-04 06:09:29
IDJOB=4523641
IDBENCH=180369
IDSOLVER=3336
FILE ID=nodeC014/4523641-1751602168
RUNJOBID= nodeC014-1751602168-84124
SLURM_JOB_ID= 9598883
Free space on /tmp= 430480 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523641-1751602168/watcher-4523641-1751602168 -o /tmp/evaluation-result-4523641-1751602168/solver-4523641-1751602168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751602168-84124 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523641-1751602168.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b9738ec4eef81a08a451499c860dc376
RANDOM SEED=1540944078
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.167
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 : 7000.23
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.126
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 : 7000.23
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.113
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 : 7000.23
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 : 3700.000
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 : 7000.23
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 : 3600.115
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 : 7000.23
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 : 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 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 : 7000.23
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 : 7000.23
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 : 3600.126
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129650228 kB
MemAvailable: 129694548 kB
Buffers: 696 kB
Cached: 839712 kB
SwapCached: 1628 kB
Active: 408360 kB
Inactive: 508076 kB
Active(anon): 43300 kB
Inactive(anon): 49164 kB
Active(file): 365060 kB
Inactive(file): 458912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 191100 kB
Writeback: 16 kB
AnonPages: 77512 kB
Mapped: 102504 kB
Shmem: 16396 kB
KReclaimable: 119172 kB
Slab: 209468 kB
SReclaimable: 119172 kB
SUnreclaim: 90296 kB
KernelStack: 4000 kB
PageTables: 2800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 348976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430272 MiB
End job on nodeC014 at 2025-07-04 06:40:00