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 (59142 MiB free)
memory of node 1: 64465 MiB (58568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527792-1752236113/watcher-4527792-1752236113 -o /tmp/evaluation-result-4527792-1752236113/solver-4527792-1752236113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113512 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527792-1752236113.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=115114, runsolver pid=115111
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.44 6.43 7.08 5/269 115115
/proc/meminfo: memFree=120504528/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=86920 memory=52224 CPUtime=0.08 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 12075 0 0 0 8 0 0 0 20 0 1 0 139290775 89006080 13056 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 21730 13056 1152 6655 0 11965 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86920 KiB
Current children cumulated memory: 52224 KiB
[startup+0.205608 s]*
/proc/loadavg: 4.44 6.43 7.08 5/269 115115
/proc/meminfo: memFree=120496464/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=91012 memory=56448 CPUtime=0.2 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 13107 0 0 0 19 1 0 0 20 0 1 0 139290775 93196288 14112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 22753 14112 1152 6655 0 12988 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56448 KiB
[startup+0.30556 s]*
/proc/loadavg: 4.44 6.43 7.08 5/269 115115
/proc/meminfo: memFree=120496464/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=91012 memory=56448 CPUtime=0.3 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 13107 0 0 0 29 1 0 0 20 0 1 0 139290775 93196288 14112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 22753 14112 1152 6655 0 12988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56448 KiB
[startup+0.700171 s]
/proc/loadavg: 4.44 6.43 7.08 5/269 115115
/proc/meminfo: memFree=120496464/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=91012 memory=56448 CPUtime=0.69 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 13108 0 0 0 68 1 0 0 20 0 1 0 139290775 93196288 14112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 22753 14112 1152 6655 0 12988 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56448 KiB
[startup+1.50017 s]
/proc/loadavg: 4.40 6.39 7.06 5/269 115115
/proc/meminfo: memFree=120496464/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=91012 memory=56448 CPUtime=1.48 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 13111 0 0 0 147 1 0 0 20 0 1 0 139290775 93196288 14112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 22753 14112 1152 6655 0 12988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56448 KiB
[startup+3.1054 s]
/proc/loadavg: 4.40 6.39 7.06 5/269 115115
/proc/meminfo: memFree=120496784/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=91012 memory=56448 CPUtime=3.09 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 13111 0 0 0 308 1 0 0 20 0 1 0 139290775 93196288 14112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 22753 14112 1152 6655 0 12988 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56448 KiB
[startup+6.30016 s]
/proc/loadavg: 4.37 6.35 7.04 5/269 115115
/proc/meminfo: memFree=120497268/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=91012 memory=56448 CPUtime=6.27 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 13113 0 0 0 626 1 0 0 20 0 1 0 139290775 93196288 14112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 22753 14112 1152 6655 0 12988 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 6.32 7.03 6/270 115116
/proc/meminfo: memFree=120376900/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=263196 memory=185840 CPUtime=14.54 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 37301 0 0 0 1448 6 0 0 20 0 2 0 139290775 269512704 46460 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 65799 46460 3360 6655 0 45963 0
[pid=115114/tid=115116] ppid=115111 vsize=263196 memory=16532 CPUtime=1.88 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 4716 0 0 0 188 0 0 0 20 0 2 0 139291786 269512704 46460 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 14.54 s
Current children cumulated vsize: 263196 KiB
Current children cumulated memory: 185840 KiB
[startup+25.5002 s]
/proc/loadavg: 4.59 6.30 7.02 6/270 115117
/proc/meminfo: memFree=120342028/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=249940 memory=183112 CPUtime=39.96 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 60719 0 0 0 3987 9 0 0 20 0 2 0 139290775 255938560 45778 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 62485 45778 3360 6655 0 44608 0
[pid=115114/tid=115116] ppid=115111 vsize=249940 memory=176164 CPUtime=14.53 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 14719 0 0 0 1451 2 0 0 20 0 2 0 139291786 255938560 45778 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 39.96 s
Current children cumulated vsize: 249940 KiB
Current children cumulated memory: 183112 KiB
[startup+51.1059 s]
/proc/loadavg: 4.68 6.16 6.95 6/270 115117
/proc/meminfo: memFree=120281872/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=278124 memory=232024 CPUtime=89.93 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 118510 0 0 0 8978 15 0 0 20 0 2 0 139290775 284798976 58006 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 69531 58006 3360 6655 0 57292 0
[pid=115114/tid=115116] ppid=115111 vsize=278124 memory=16532 CPUtime=39.13 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 39037 0 0 0 3907 6 0 0 20 0 2 0 139291786 284798976 58006 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 89.93 s
Current children cumulated vsize: 278124 KiB
Current children cumulated memory: 232024 KiB
[startup+102.3 s]
/proc/loadavg: 4.91 5.99 6.85 6/270 115119
/proc/meminfo: memFree=120254244/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=281788 memory=235636 CPUtime=191.68 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 141185 0 0 0 19149 19 0 0 20 0 2 0 139290775 288550912 58909 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 70447 58909 3360 6655 0 58208 0
[pid=115114/tid=115116] ppid=115111 vsize=281788 memory=16532 CPUtime=89.83 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 48998 0 0 0 8974 9 0 0 20 0 2 0 139291786 288550912 58909 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 191.68 s
Current children cumulated vsize: 281788 KiB
Current children cumulated memory: 235636 KiB
[startup+162.3 s]
/proc/loadavg: 4.85 5.79 6.72 5/263 115152
/proc/meminfo: memFree=120366576/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=289496 memory=252952 CPUtime=310.91 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 166215 0 0 0 31068 23 0 0 20 0 2 0 139290775 296443904 63238 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 72374 63238 3360 6655 0 62356 0
[pid=115114/tid=115116] ppid=115111 vsize=289496 memory=243984 CPUtime=149.22 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 61975 0 0 0 14910 12 0 0 20 0 2 0 139291786 296443904 63238 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 310.91 s
Current children cumulated vsize: 289496 KiB
Current children cumulated memory: 252952 KiB
[startup+222.3 s]
/proc/loadavg: 4.39 5.48 6.55 5/262 115154
/proc/meminfo: memFree=120383288/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=293896 memory=257264 CPUtime=430.08 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 196422 0 0 0 42981 27 0 0 20 0 2 0 139290775 300949504 64316 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 73474 64316 3360 6655 0 63456 0
[pid=115114/tid=115116] ppid=115111 vsize=293896 memory=16532 CPUtime=208.58 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 78906 0 0 0 20843 15 0 0 20 0 2 0 139291786 300949504 64316 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 430.08 s
Current children cumulated vsize: 293896 KiB
Current children cumulated memory: 257264 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 5.24 6.40 5/261 115156
/proc/meminfo: memFree=120320992/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=294952 memory=260448 CPUtime=549.25 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 203036 0 0 0 54895 30 0 0 20 0 2 0 139290775 302030848 65112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 73738 65112 3360 6655 0 63939 0
[pid=115114/tid=115116] ppid=115111 vsize=294952 memory=257264 CPUtime=267.93 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 80962 0 0 0 26776 17 0 0 20 0 2 0 139291786 302030848 65112 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 549.25 s
Current children cumulated vsize: 294952 KiB
Current children cumulated memory: 260448 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 5.02 6.25 5/261 115159
/proc/meminfo: memFree=120305900/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=379480 memory=285572 CPUtime=668.44 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 207038 0 0 0 66811 33 0 0 20 0 2 0 139290775 388587520 71393 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 94870 71393 3360 6655 0 70682 0
[pid=115114/tid=115116] ppid=115111 vsize=379480 memory=285444 CPUtime=327.29 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 83151 0 0 0 32709 20 0 0 20 0 2 0 139291786 388587520 71393 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 668.44 s
Current children cumulated vsize: 379480 KiB
Current children cumulated memory: 285572 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/115114/statm: 130158 112370 3360 6655 0 110888 0
[pid=115114/tid=115116] ppid=115111 vsize=520632 memory=425160 CPUtime=1397.01 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 122247 0 0 0 139653 48 0 0 20 0 2 0 139291786 533127168 112370 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 2815.13 s
Current children cumulated vsize: 520632 KiB
Current children cumulated memory: 449480 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.13 4.72 5/263 115218
/proc/meminfo: memFree=120106316/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=520632 memory=450504 CPUtime=2934.38 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 287734 0 0 0 293372 66 0 0 20 0 2 0 139290775 533127168 112626 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 130158 112626 3360 6655 0 111160 0
[pid=115114/tid=115116] ppid=115111 vsize=520632 memory=450504 CPUtime=1456.43 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 124162 0 0 0 145595 48 0 0 20 0 2 0 139291786 533127168 112626 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 2934.38 s
Current children cumulated vsize: 520632 KiB
Current children cumulated memory: 450504 KiB
[startup+1542.3 s]
/proc/loadavg: 4.13 4.13 4.69 5/263 115220
/proc/meminfo: memFree=120104720/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=520632 memory=453704 CPUtime=3053.6 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 288711 0 0 0 305293 67 0 0 20 0 2 0 139290775 533127168 113426 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 130158 113426 3360 6655 0 111957 0
[pid=115114/tid=115116] ppid=115111 vsize=520632 memory=451400 CPUtime=1515.82 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 125031 0 0 0 151533 49 0 0 20 0 2 0 139291786 533127168 113426 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 3053.6 s
Current children cumulated vsize: 520632 KiB
Current children cumulated memory: 453704 KiB
[startup+1602.3 s]
/proc/loadavg: 4.09 4.12 4.65 5/263 115222
/proc/meminfo: memFree=120085056/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=524508 memory=457652 CPUtime=3172.79 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 289533 0 0 0 317211 68 0 0 20 0 2 0 139290775 537096192 114413 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 131127 114413 3360 6655 0 112943 0
[pid=115114/tid=115116] ppid=115111 vsize=524508 memory=451400 CPUtime=1575.2 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 125083 0 0 0 157470 50 0 0 20 0 2 0 139291786 537096192 114413 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 3172.79 s
Current children cumulated vsize: 524508 KiB
Current children cumulated memory: 457652 KiB
[startup+1662.3 s]
/proc/loadavg: 4.15 4.13 4.61 5/264 115232
/proc/meminfo: memFree=120084492/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=461956 CPUtime=3292 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 290140 0 0 0 329131 69 0 0 20 0 2 0 139290775 541585408 115489 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115489 3360 6655 0 114039 0
[pid=115114/tid=115116] ppid=115111 vsize=528892 memory=451400 CPUtime=1634.58 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 125105 0 0 0 163407 51 0 0 20 0 2 0 139291786 541585408 115489 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 3292 s
Current children cumulated vsize: 528892 KiB
Current children cumulated memory: 461956 KiB
[startup+1722.3 s]
/proc/loadavg: 4.20 4.14 4.58 5/264 115234
/proc/meminfo: memFree=120083924/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=462084 CPUtime=3411.2 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 290178 0 0 0 341049 71 0 0 20 0 2 0 139290775 541585408 115521 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115521 3360 6655 0 114039 0
[pid=115114/tid=115116] ppid=115111 vsize=528892 memory=451400 CPUtime=1693.95 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 125126 0 0 0 169343 52 0 0 20 0 2 0 139291786 541585408 115521 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 3411.2 s
Current children cumulated vsize: 528892 KiB
Current children cumulated memory: 462084 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.12 4.55 5/262 115236
/proc/meminfo: memFree=120084248/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=462212 CPUtime=3530.41 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 290437 0 0 0 352969 72 0 0 20 0 2 0 139290775 541585408 115553 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115553 3360 6655 0 114110 0
[pid=115114/tid=115116] ppid=115111 vsize=528892 memory=462212 CPUtime=1753.34 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 125211 0 0 0 175280 54 0 0 20 0 2 0 139291786 541585408 115553 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 3530.41 s
Current children cumulated vsize: 528892 KiB
Current children cumulated memory: 462212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.4 s]
/proc/loadavg: 4.11 4.12 4.53 5/262 115237
/proc/meminfo: memFree=120069660/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=462212 CPUtime=3600.15 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) R 115111 115114 113493 0 -1 4194304 294207 0 0 0 359942 73 0 0 20 0 2 0 139290775 541585408 115553 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115553 3360 6655 0 114110 0
[pid=115114/tid=115116] ppid=115111 vsize=528892 memory=215587488049 CPUtime=1788.07 cores=1,3
/proc/115114/task/115116/stat : 115116 (LSIPExact) R 115111 115114 113493 0 -1 4194368 126879 0 0 0 178753 54 0 0 20 0 2 0 139291786 541585408 115553 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 528892 KiB
Current children cumulated memory: 462212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1819.42 s]
# the end of solver process 115114 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3601.35 s, system=0.794599 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 4.11 4.12 4.53 5/262 115237
/proc/meminfo: memFree=120069660/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=460504 CPUtime=3600.2 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) S 115111 115114 113493 0 -1 4194304 300956 228 0 0 359947 73 0 0 20 0 1 0 139290775 541585408 115126 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115126 3392 6655 0 114110 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 528892 KiB
Current children cumulated memory: 460504 KiB
[startup+1818.4 s]
/proc/loadavg: 4.11 4.12 4.53 4/262 115239
/proc/meminfo: memFree=119989476/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=460504 CPUtime=3600.2 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) S 115111 115114 113493 0 -1 4194304 300956 228 0 0 359947 73 0 0 20 0 1 0 139290775 541585408 115126 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115126 3392 6655 0 114110 0
[pid=115239] ppid=115114 vsize=97712 memory=78200 CPUtime=0.9 cores=1,3
/proc/115239/stat : 115239 (Exact) R 115114 115239 115239 0 -1 4194304 17564 0 0 0 86 4 0 0 20 0 1 0 139472521 100057088 19550 18446744073709551615 4198400 8335837 140723179214720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 18259968 140723179219122 140723179219483 140723179219483 140723179225039 0
/proc/115239/statm: 24428 19550 1120 1011 0 23195 0
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 626604 KiB
Current children cumulated memory: 538704 KiB
[startup+1819.2 s]
/proc/loadavg: 4.11 4.12 4.53 4/262 115239
/proc/meminfo: memFree=119989732/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=460504 CPUtime=3600.2 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) S 115111 115114 113493 0 -1 4194304 300956 228 0 0 359947 73 0 0 20 0 1 0 139290775 541585408 115126 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115126 3392 6655 0 114110 0
[pid=115239] ppid=115114 vsize=97712 memory=78200 CPUtime=1.7 cores=1,3
/proc/115239/stat : 115239 (Exact) R 115114 115239 115239 0 -1 4194304 17564 0 0 0 166 4 0 0 20 0 1 0 139472521 100057088 19550 18446744073709551615 4198400 8335837 140723179214720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 18259968 140723179219122 140723179219483 140723179219483 140723179225039 0
/proc/115239/statm: 24428 19550 1120 1011 0 23195 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 626604 KiB
Current children cumulated memory: 538704 KiB
[startup+1819.4 s]
/proc/loadavg: 4.11 4.12 4.53 4/262 115239
/proc/meminfo: memFree=119989732/131250000 swapFree=33009904/33010684
[pid=115114] ppid=115111 vsize=528892 memory=460504 CPUtime=3600.2 cores=1,3
/proc/115114/stat : 115114 (LSIPExact) S 115111 115114 113493 0 -1 4194304 300956 228 0 0 359947 73 0 0 20 0 1 0 139290775 541585408 115126 18446744073709551615 94788051062784 94788078319953 140720925401728 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94788086822024 94788087253632 94788118425600 140720925403480 140720925403656 140720925403656 140720925409260 0
/proc/115114/statm: 132223 115126 3392 6655 0 114110 0
[pid=115239] ppid=115114 vsize=97712 memory=78200 CPUtime=1.9 cores=1,3
/proc/115239/stat : 115239 (Exact) R 115114 115239 115239 0 -1 4194304 17564 0 0 0 186 4 0 0 20 0 1 0 139472521 100057088 19550 18446744073709551615 4198400 8335837 140723179214720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 18259968 140723179219122 140723179219483 140723179219483 140723179225039 0
/proc/115239/statm: 24428 19550 1120 1011 0 23195 0
Current children cumulated CPU time: 3602.1 s
Current children cumulated vsize: 626604 KiB
Current children cumulated memory: 538704 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1819.42
CPU time (s): 3602.15
CPU user time (s): 3601.35
CPU system time (s): 0.794599
CPU usage (%): 197.983
Max. virtual memory (cumulated for all children) (KiB): 626604
Max. memory (cumulated for all children) (KiB): 538704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.35
system time used= 0.794599
maximum resident set size= 462468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322428
page faults= 0
swaps= 0
block input operations= 6280
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 533
involuntary context switches= 24783
# summary of solver processes directly reported to runsolver:
# pid: 115114
# total CPU time (s): 3602.15
# total CPU user time (s): 3601.35
# total CPU system time (s): 0.794599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.29968 second user time and 8.41446 second system time
The end
Begin job on nodeC033 at 2025-07-11 14:15:14
IDJOB=4527792
IDBENCH=180367
IDSOLVER=3384
FILE ID=nodeC033/4527792-1752236113
RUNJOBID= nodeC033-1752232205-113512
SLURM_JOB_ID= 9682544
Free space on /tmp= 429632 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_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-4527792-1752236113/watcher-4527792-1752236113 -o /tmp/evaluation-result-4527792-1752236113/solver-4527792-1752236113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113512 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527792-1752236113.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f6e958af03e3a467ac7f878ded31fa6
RANDOM SEED=261742251
nodeC033 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.072
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.13
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.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 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.13
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.983
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.13
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.13
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.062
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.063
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.13
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.13
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 : 3700.000
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120536520 kB
MemAvailable: 129160544 kB
Buffers: 2128 kB
Cached: 9345932 kB
SwapCached: 68 kB
Active: 1220364 kB
Inactive: 8674188 kB
Active(anon): 559132 kB
Inactive(anon): 5388 kB
Active(file): 661232 kB
Inactive(file): 8668800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47552 kB
Writeback: 8 kB
AnonPages: 543480 kB
Mapped: 155192 kB
Shmem: 18028 kB
KReclaimable: 266464 kB
Slab: 361536 kB
SReclaimable: 266464 kB
SUnreclaim: 95072 kB
KernelStack: 4324 kB
PageTables: 4336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 960536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 96256 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429632 MiB
End job on nodeC033 at 2025-07-11 14:45:33