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: 63665 MiB (57767 MiB free)
memory of node 1: 64507 MiB (59421 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527796-1752236115/watcher-4527796-1752236115 -o /tmp/evaluation-result-4527796-1752236115/solver-4527796-1752236115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752232205-108024 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527796-1752236115.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=109011, runsolver pid=109008
[startup+0.100066 s]*
/proc/loadavg: 4.40 4.89 5.68 5/266 109012
/proc/meminfo: memFree=119968276/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=86432 memory=51712 CPUtime=0.09 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 11976 0 0 0 7 2 0 0 20 0 1 0 139291355 88506368 12928 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 21608 12928 1120 6655 0 11843 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86432 KiB
Current children cumulated memory: 51712 KiB
[startup+0.205639 s]*
/proc/loadavg: 4.40 4.89 5.68 5/266 109012
/proc/meminfo: memFree=119964496/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=91052 memory=56192 CPUtime=0.2 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 13117 0 0 0 18 2 0 0 20 0 1 0 139291355 93237248 14048 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 22763 14048 1120 6655 0 12998 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56192 KiB
[startup+0.30557 s]*
/proc/loadavg: 4.40 4.89 5.68 5/266 109012
/proc/meminfo: memFree=119964496/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=91052 memory=56192 CPUtime=0.3 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 13119 0 0 0 28 2 0 0 20 0 1 0 139291355 93237248 14048 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 22763 14048 1120 6655 0 12998 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56192 KiB
[startup+0.700189 s]
/proc/loadavg: 4.40 4.89 5.68 5/266 109012
/proc/meminfo: memFree=119964496/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=91052 memory=56192 CPUtime=0.69 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 13119 0 0 0 67 2 0 0 20 0 1 0 139291355 93237248 14048 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 22763 14048 1120 6655 0 12998 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56192 KiB
[startup+1.5002 s]
/proc/loadavg: 4.40 4.89 5.68 5/266 109012
/proc/meminfo: memFree=119964496/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=91052 memory=56192 CPUtime=1.48 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 13120 0 0 0 146 2 0 0 20 0 1 0 139291355 93237248 14048 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 22763 14048 1120 6655 0 12998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56192 KiB
[startup+3.10548 s]
/proc/loadavg: 4.40 4.89 5.68 5/266 109012
/proc/meminfo: memFree=119962928/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=91052 memory=56192 CPUtime=3.08 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 13120 0 0 0 306 2 0 0 20 0 1 0 139291355 93237248 14048 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 22763 14048 1120 6655 0 12998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56192 KiB
[startup+6.30019 s]
/proc/loadavg: 4.37 4.87 5.68 5/266 109012
/proc/meminfo: memFree=119962928/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=91052 memory=56192 CPUtime=6.27 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 13121 0 0 0 625 2 0 0 20 0 1 0 139291355 93237248 14048 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 22763 14048 1120 6655 0 12998 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91052 KiB
Current children cumulated memory: 56192 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.87 5.67 6/267 109013
/proc/meminfo: memFree=119834088/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=272164 memory=198212 CPUtime=14.46 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 41257 0 0 0 1440 6 0 0 20 0 2 0 139291355 278695936 49553 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 68041 49553 3424 6655 0 48353 0
[pid=109011/tid=109013] ppid=109008 vsize=272164 memory=190936 CPUtime=1.82 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 5418 0 0 0 181 1 0 0 20 0 2 0 139292365 278695936 49585 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 14.46 s
Current children cumulated vsize: 272164 KiB
Current children cumulated memory: 198212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.51 4.88 5.66 6/267 109014
/proc/meminfo: memFree=119781772/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=294256 memory=239184 CPUtime=39.82 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 88084 0 0 0 3971 11 0 0 20 0 2 0 139291355 301318144 59796 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 73564 59796 3424 6655 0 60018 0
[pid=109011/tid=109013] ppid=109008 vsize=294256 memory=239184 CPUtime=14.42 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 25359 0 0 0 1440 2 0 0 20 0 2 0 139292365 301318144 59796 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 39.82 s
Current children cumulated vsize: 294256 KiB
Current children cumulated memory: 239184 KiB
[startup+51.1056 s]
/proc/loadavg: 4.70 4.89 5.64 6/267 109014
/proc/meminfo: memFree=119744772/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=294256 memory=256304 CPUtime=90.68 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 105352 0 0 0 9055 13 0 0 20 0 2 0 139291355 301318144 64076 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 73564 64076 3424 6655 0 62611 0
[pid=109011/tid=109013] ppid=109008 vsize=294256 memory=14720 CPUtime=39.76 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 37642 0 0 0 3972 4 0 0 20 0 2 0 139292365 301318144 64076 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 90.68 s
Current children cumulated vsize: 294256 KiB
Current children cumulated memory: 256304 KiB
[startup+102.3 s]
/proc/loadavg: 4.95 4.93 5.61 6/267 109018
/proc/meminfo: memFree=120077764/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=319932 memory=268616 CPUtime=189.99 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 142279 0 0 0 18980 19 0 0 20 0 2 0 139291355 327610368 67154 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 79983 67154 3424 6655 0 69030 0
[pid=109011/tid=109013] ppid=109008 vsize=319932 memory=14720 CPUtime=88.06 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 49143 0 0 0 8800 6 0 0 20 0 2 0 139292365 327610368 67154 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 189.99 s
Current children cumulated vsize: 319932 KiB
Current children cumulated memory: 268616 KiB
[startup+162.3 s]
/proc/loadavg: 5.03 4.96 5.58 6/267 109020
/proc/meminfo: memFree=119641524/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=319932 memory=268616 CPUtime=309.21 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 157837 0 0 0 30900 21 0 0 20 0 2 0 139291355 327610368 67154 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 79983 67154 3424 6655 0 69030 0
[pid=109011/tid=109013] ppid=109008 vsize=319932 memory=14720 CPUtime=147.44 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 58647 0 0 0 14737 7 0 0 20 0 2 0 139292365 327610368 67154 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 309.21 s
Current children cumulated vsize: 319932 KiB
Current children cumulated memory: 268616 KiB
[startup+222.3 s]
/proc/loadavg: 5.05 4.98 5.54 6/267 109022
/proc/meminfo: memFree=119640332/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=319932 memory=268616 CPUtime=428.4 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 182945 0 0 0 42816 24 0 0 20 0 2 0 139291355 327610368 67154 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 79983 67154 3424 6655 0 69030 0
[pid=109011/tid=109013] ppid=109008 vsize=319932 memory=268616 CPUtime=206.81 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 71417 0 0 0 20673 8 0 0 20 0 2 0 139292365 327610368 67154 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 428.4 s
Current children cumulated vsize: 319932 KiB
Current children cumulated memory: 268616 KiB
[startup+282.3 s]
/proc/loadavg: 5.12 5.02 5.52 6/266 109024
/proc/meminfo: memFree=119601016/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=319932 memory=271932 CPUtime=547.62 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 202068 0 0 0 54736 26 0 0 20 0 2 0 139291355 327610368 67983 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 79983 67983 3520 6655 0 69030 0
[pid=109011/tid=109013] ppid=109008 vsize=319932 memory=271932 CPUtime=266.19 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 83794 0 0 0 26610 9 0 0 20 0 2 0 139292365 327610368 67983 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 547.62 s
Current children cumulated vsize: 319932 KiB
Current children cumulated memory: 271932 KiB
[startup+342.3 s]
/proc/loadavg: 5.09 5.03 5.49 6/266 109026
/proc/meminfo: memFree=119600680/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=319932 memory=271932 CPUtime=666.83 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 205999 0 0 0 66657 26 0 0 20 0 2 0 139291355 327610368 67983 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 79983 67983 3520 6655 0 69030 0
[pid=109011/tid=109013] ppid=109008 vsize=319932 memory=271932 CPUtime=325.57 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 86536 0 0 0 32548 9 0 0 20 0 2 0 139292365 327610368 67983 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 666.83 s
Current children cumulated vsize: 319932 KiB
Current children cumulated memory: 271932 KiB
################
# More data... #
################
Current children cumulated CPU time: 2807.78 s
Current children cumulated vsize: 343808 KiB
Current children cumulated memory: 312384 KiB
[startup+1482.3 s]
/proc/loadavg: 2.10 2.42 3.58 3/245 109173
/proc/meminfo: memFree=127690232/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=312384 CPUtime=2927.06 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 304195 0 0 0 292663 43 0 0 20 0 2 0 139291355 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 78096 3520 6655 0 76132 0
[pid=109011/tid=109013] ppid=109008 vsize=343808 memory=312384 CPUtime=1449.05 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 138845 0 0 0 144883 22 0 0 20 0 2 0 139292365 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 2927.06 s
Current children cumulated vsize: 343808 KiB
Current children cumulated memory: 312384 KiB
[startup+1542.3 s]
/proc/loadavg: 2.09 2.35 3.48 3/245 109175
/proc/meminfo: memFree=127689976/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=312384 CPUtime=3046.34 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 304301 0 0 0 304590 44 0 0 20 0 2 0 139291355 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 78096 3520 6655 0 76132 0
[pid=109011/tid=109013] ppid=109008 vsize=343808 memory=14720 CPUtime=1508.5 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 138918 0 0 0 150827 23 0 0 20 0 2 0 139292365 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 3046.34 s
Current children cumulated vsize: 343808 KiB
Current children cumulated memory: 312384 KiB
[startup+1602.3 s]
/proc/loadavg: 2.07 2.30 3.39 4/245 109177
/proc/meminfo: memFree=127690232/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=312384 CPUtime=3165.61 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 304317 0 0 0 316517 44 0 0 20 0 2 0 139291355 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 78096 3520 6655 0 76132 0
[pid=109011/tid=109013] ppid=109008 vsize=343808 memory=312384 CPUtime=1567.93 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 138931 0 0 0 156770 23 0 0 20 0 2 0 139292365 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 3165.61 s
Current children cumulated vsize: 343808 KiB
Current children cumulated memory: 312384 KiB
[startup+1662.3 s]
/proc/loadavg: 2.06 2.26 3.31 3/246 109186
/proc/meminfo: memFree=127690596/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=312384 CPUtime=3284.9 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 304330 0 0 0 328445 45 0 0 20 0 2 0 139291355 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 78096 3520 6655 0 76132 0
[pid=109011/tid=109013] ppid=109008 vsize=343808 memory=14720 CPUtime=1627.37 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 138940 0 0 0 162714 23 0 0 20 0 2 0 139292365 352059392 78096 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 3284.9 s
Current children cumulated vsize: 343808 KiB
Current children cumulated memory: 312384 KiB
[startup+1722.3 s]
/proc/loadavg: 2.11 2.24 3.23 3/246 109188
/proc/meminfo: memFree=127668628/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=367372 memory=333900 CPUtime=3404.16 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 304608 0 0 0 340370 46 0 0 20 0 2 0 139291355 376188928 83475 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 91843 83475 3520 6655 0 82023 0
[pid=109011/tid=109013] ppid=109008 vsize=367372 memory=312384 CPUtime=1686.78 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 139217 0 0 0 168654 24 0 0 20 0 2 0 139292365 376188928 83475 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 3404.16 s
Current children cumulated vsize: 367372 KiB
Current children cumulated memory: 333900 KiB
[startup+1782.3 s]
/proc/loadavg: 2.15 2.22 3.16 3/246 109190
/proc/meminfo: memFree=127669708/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=367372 memory=333900 CPUtime=3523.41 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 304608 0 0 0 352295 46 0 0 20 0 2 0 139291355 376188928 83475 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 91843 83475 3520 6655 0 82023 0
[pid=109011/tid=109013] ppid=109008 vsize=367372 memory=20352 CPUtime=1746.17 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 139217 0 0 0 174593 24 0 0 20 0 2 0 139292365 376188928 83475 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 3523.41 s
Current children cumulated vsize: 367372 KiB
Current children cumulated memory: 333900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820.9 s]
/proc/loadavg: 2.14 2.21 3.12 3/246 109192
/proc/meminfo: memFree=127669000/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=367372 memory=333900 CPUtime=3600.12 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) R 109008 109011 108004 0 -1 4194304 305868 0 0 0 359966 46 0 0 20 0 2 0 139291355 376188928 83475 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 91843 83475 3520 6655 0 82023 0
[pid=109011/tid=109013] ppid=109008 vsize=367372 memory=-7952409967739699063 CPUtime=1784.39 cores=5,7
/proc/109011/task/109013/stat : 109013 (LSIPExact) R 109008 109011 108004 0 -1 4194368 139217 0 0 0 178414 25 0 0 20 0 2 0 139292365 376188928 83475 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 367372 KiB
Current children cumulated memory: 333900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1822.91 s]
# the end of solver process 109011 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3601.6 s, system=0.505221 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1821.6 s]
/proc/loadavg: 2.21 2.23 3.12 2/246 109194
/proc/meminfo: memFree=127677896/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=310548 CPUtime=3600.16 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) S 109008 109011 108004 0 -1 4194304 310583 229 0 0 359970 46 0 0 20 0 1 0 139291355 352059392 77637 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 77637 3552 6655 0 76132 0
[pid=109194] ppid=109011 vsize=78108 memory=58520 CPUtime=0.61 cores=5,7
/proc/109194/stat : 109194 (Exact) R 109011 109194 109194 0 -1 4194304 16103 0 0 0 59 2 0 0 20 0 1 0 139473450 79982592 14630 18446744073709551615 4198400 8335837 140732714986448 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9148648 9230840 25952256 140732714993842 140732714994203 140732714994203 140732714999759 0
/proc/109194/statm: 19527 14630 1120 1011 0 18294 0
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 421916 KiB
Current children cumulated memory: 369068 KiB
[startup+1822.4 s]
/proc/loadavg: 2.21 2.23 3.12 2/246 109194
/proc/meminfo: memFree=127626420/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=310548 CPUtime=3600.16 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) S 109008 109011 108004 0 -1 4194304 310583 229 0 0 359970 46 0 0 20 0 1 0 139291355 352059392 77637 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 77637 3552 6655 0 76132 0
[pid=109194] ppid=109011 vsize=78108 memory=60660 CPUtime=1.4 cores=5,7
/proc/109194/stat : 109194 (Exact) R 109011 109194 109194 0 -1 4194304 16104 0 0 0 138 2 0 0 20 0 1 0 139473450 79982592 15165 18446744073709551615 4198400 8335837 140732714986448 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9148648 9230840 25952256 140732714993842 140732714994203 140732714994203 140732714999759 0
/proc/109194/statm: 19527 15165 1120 1011 0 18294 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 421916 KiB
Current children cumulated memory: 371208 KiB
[startup+1822.8 s]
/proc/loadavg: 2.21 2.23 3.12 2/246 109194
/proc/meminfo: memFree=127626420/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=310548 CPUtime=3600.16 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) S 109008 109011 108004 0 -1 4194304 310583 229 0 0 359970 46 0 0 20 0 1 0 139291355 352059392 77637 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 77637 3552 6655 0 76132 0
[pid=109194] ppid=109011 vsize=78108 memory=60660 CPUtime=1.8 cores=5,7
/proc/109194/stat : 109194 (Exact) R 109011 109194 109194 0 -1 4194304 16104 0 0 0 178 2 0 0 20 0 1 0 139473450 79982592 15165 18446744073709551615 4198400 8335837 140732714986448 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9148648 9230840 25952256 140732714993842 140732714994203 140732714994203 140732714999759 0
/proc/109194/statm: 19527 15165 1120 1011 0 18294 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 421916 KiB
Current children cumulated memory: 371208 KiB
[startup+1822.9 s]
/proc/loadavg: 2.21 2.23 3.12 2/246 109194
/proc/meminfo: memFree=127626420/131250000 swapFree=33010416/33010684
[pid=109011] ppid=109008 vsize=343808 memory=310548 CPUtime=3600.16 cores=5,7
/proc/109011/stat : 109011 (LSIPExact) S 109008 109011 108004 0 -1 4194304 310583 229 0 0 359970 46 0 0 20 0 1 0 139291355 352059392 77637 18446744073709551615 94884415471616 94884442728785 140730490774112 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94884451230856 94884451662464 94884483919872 140730490779992 140730490780168 140730490780168 140730490785772 0
/proc/109011/statm: 85952 77637 3552 6655 0 76132 0
[pid=109194] ppid=109011 vsize=78108 memory=60660 CPUtime=1.9 cores=5,7
/proc/109194/stat : 109194 (Exact) R 109011 109194 109194 0 -1 4194304 16104 0 0 0 188 2 0 0 20 0 1 0 139473450 79982592 15165 18446744073709551615 4198400 8335837 140732714986448 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9148648 9230840 25952256 140732714993842 140732714994203 140732714994203 140732714999759 0
/proc/109194/statm: 19527 15165 1120 1011 0 18294 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 421916 KiB
Current children cumulated memory: 371208 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1822.91
CPU time (s): 3602.1
CPU user time (s): 3601.6
CPU system time (s): 0.505221
CPU usage (%): 197.602
Max. virtual memory (cumulated for all children) (KiB): 421916
Max. memory (cumulated for all children) (KiB): 371208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.6
system time used= 0.505221
maximum resident set size= 347316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326927
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= 543
involuntary context switches= 41440
# summary of solver processes directly reported to runsolver:
# pid: 109011
# total CPU time (s): 3602.1
# total CPU user time (s): 3601.6
# total CPU system time (s): 0.505221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5004 second user time and 7.3133 second system time
The end
Begin job on nodeC027 at 2025-07-11 14:15:15
IDJOB=4527796
IDBENCH=180369
IDSOLVER=3384
FILE ID=nodeC027/4527796-1752236115
RUNJOBID= nodeC027-1752232205-108024
SLURM_JOB_ID= 9682538
Free space on /tmp= 430972 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-4527796-1752236115/watcher-4527796-1752236115 -o /tmp/evaluation-result-4527796-1752236115/solver-4527796-1752236115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752232205-108024 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527796-1752236115.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b9738ec4eef81a08a451499c860dc376
RANDOM SEED=492757674
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.634
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3599.685
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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.622
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3598.801
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.638
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120001200 kB
MemAvailable: 121950672 kB
Buffers: 2488 kB
Cached: 2742320 kB
SwapCached: 12 kB
Active: 8373560 kB
Inactive: 2181820 kB
Active(anon): 7825836 kB
Inactive(anon): 2792 kB
Active(file): 547724 kB
Inactive(file): 2179028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47496 kB
Writeback: 0 kB
AnonPages: 7806692 kB
Mapped: 152072 kB
Shmem: 18056 kB
KReclaimable: 123520 kB
Slab: 215232 kB
SReclaimable: 123520 kB
SUnreclaim: 91712 kB
KernelStack: 4300 kB
PageTables: 18896 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8545284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4356096 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: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431136 MiB
End job on nodeC027 at 2025-07-11 14:45:38