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 (61893 MiB free)
memory of node 1: 64507 MiB (63335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541752-1753202322/watcher-4541752-1753202322 -o /tmp/evaluation-result-4541752-1753202322/solver-4541752-1753202322 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753198970-158509 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4541752-1753202322.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=158883, runsolver pid=158880
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.22 4.20 4.07 5/265 158884
/proc/meminfo: memFree=128234296/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=0.09 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1797 0 0 0 9 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+0.205645 s]*
/proc/loadavg: 4.22 4.20 4.07 5/265 158884
/proc/meminfo: memFree=128234296/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=0.2 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1797 0 0 0 20 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.22 4.20 4.07 5/265 158884
/proc/meminfo: memFree=128234296/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=0.3 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1797 0 0 0 30 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+0.700172 s]
/proc/loadavg: 4.22 4.20 4.07 5/265 158884
/proc/meminfo: memFree=128234296/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=0.68 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1798 0 0 0 68 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+1.50017 s]
/proc/loadavg: 4.22 4.20 4.07 5/265 158884
/proc/meminfo: memFree=128234296/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=1.48 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1800 0 0 0 148 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+3.10543 s]
/proc/loadavg: 4.28 4.22 4.08 6/266 158885
/proc/meminfo: memFree=128184148/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=3.08 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1801 0 0 0 308 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+6.30016 s]
/proc/loadavg: 4.28 4.22 4.08 6/266 158885
/proc/meminfo: memFree=128184148/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=45748 memory=11136 CPUtime=6.27 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 1802 0 0 0 627 0 0 0 20 0 1 0 235909884 46845952 2784 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 11437 2784 1152 6655 0 1672 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 11136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.21 4.08 6/267 158886
/proc/meminfo: memFree=128124268/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=149148 memory=64536 CPUtime=15.22 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 12656 0 0 0 1520 2 0 0 20 0 2 0 235909884 152727552 16134 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 37287 16134 3456 6655 0 14721 0
[pid=158883/tid=158886] ppid=158880 vsize=149148 memory=60568 CPUtime=2.56 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 3654 0 0 0 256 0 0 0 20 0 2 0 235910886 152727552 16134 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 149148 KiB
Current children cumulated memory: 64536 KiB
[startup+25.5002 s]
/proc/loadavg: 4.43 4.25 4.09 6/267 158886
/proc/meminfo: memFree=128124268/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=149400 memory=65944 CPUtime=40.67 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 27875 0 0 0 4063 4 0 0 20 0 2 0 235909884 152985600 16486 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 37350 16486 3456 6655 0 14852 0
[pid=158883/tid=158886] ppid=158880 vsize=149400 memory=65944 CPUtime=15.24 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 9734 0 0 0 1523 1 0 0 20 0 2 0 235910886 152985600 16486 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 40.67 s
Current children cumulated vsize: 149400 KiB
Current children cumulated memory: 65944 KiB
[startup+51.1055 s]
/proc/loadavg: 4.77 4.35 4.13 7/267 158887
/proc/meminfo: memFree=128108140/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=154904 memory=73240 CPUtime=91.57 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 36437 0 0 0 9152 5 0 0 20 0 2 0 235909884 158621696 18310 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 38726 18310 3520 6655 0 16555 0
[pid=158883/tid=158886] ppid=158880 vsize=154904 memory=66072 CPUtime=40.62 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 13735 0 0 0 4060 2 0 0 20 0 2 0 235910886 158621696 18310 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 91.57 s
Current children cumulated vsize: 154904 KiB
Current children cumulated memory: 73240 KiB
[startup+102.3 s]
/proc/loadavg: 5.52 4.62 4.23 7/267 158889
/proc/meminfo: memFree=128089344/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=157344 memory=78232 CPUtime=193.36 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 44918 0 0 0 19329 7 0 0 20 0 2 0 235909884 161120256 19558 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 39336 19558 3520 6655 0 18018 0
[pid=158883/tid=158886] ppid=158880 vsize=157344 memory=77208 CPUtime=91.34 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 17912 0 0 0 9132 2 0 0 20 0 2 0 235910886 161120256 19558 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 193.36 s
Current children cumulated vsize: 157344 KiB
Current children cumulated memory: 78232 KiB
[startup+162.3 s]
/proc/loadavg: 5.94 4.90 4.36 7/267 158939
/proc/meminfo: memFree=128360972/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=159688 memory=83352 CPUtime=312.65 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 61183 0 0 0 31256 9 0 0 20 0 2 0 235909884 163520512 20838 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 39922 20838 3520 6655 0 19305 0
[pid=158883/tid=158886] ppid=158880 vsize=159688 memory=10752 CPUtime=150.79 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 25863 0 0 0 15076 3 0 0 20 0 2 0 235910886 163520512 20838 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 312.65 s
Current children cumulated vsize: 159688 KiB
Current children cumulated memory: 83352 KiB
[startup+222.3 s]
/proc/loadavg: 5.98 5.11 4.46 7/268 158943
/proc/meminfo: memFree=128282880/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=106264 CPUtime=428.29 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) R 158880 158883 158492 0 -1 4194304 72725 0 0 0 42817 12 0 0 20 0 2 0 235909884 177577984 26566 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 26566 3520 6655 0 24806 0
[pid=158883/tid=158886] ppid=158880 vsize=173416 memory=106264 CPUtime=210.27 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 29528 0 0 0 21023 4 0 0 20 0 2 0 235910886 177577984 26566 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 428.29 s
Current children cumulated vsize: 173416 KiB
Current children cumulated memory: 106264 KiB
[startup+282.3 s]
/proc/loadavg: 6.06 5.29 4.57 6/268 158945
/proc/meminfo: memFree=128242760/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=106264 CPUtime=515.14 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 77673 0 0 0 51501 13 0 0 20 0 2 0 235909884 177577984 26566 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 26566 3520 6655 0 24806 0
[pid=158883/tid=158886] ppid=158880 vsize=173416 memory=106264 CPUtime=252 cores=0,2
/proc/158883/task/158886/stat : 158886 (LSIPExact) R 158880 158883 158492 0 -1 4194368 31862 0 0 0 25195 5 0 0 20 0 2 0 235910886 177577984 26566 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
Current children cumulated CPU time: 515.14 s
Current children cumulated vsize: 173416 KiB
Current children cumulated memory: 106264 KiB
[startup+342.3 s]
/proc/loadavg: 5.53 5.28 4.61 6/269 158955
/proc/meminfo: memFree=128193872/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=86160 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 21540 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 21540 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=65128 memory=58164 CPUtime=31.91 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 11085 0 0 0 3183 8 0 0 20 0 1 0 235940913 66691072 14541 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 16282 14541 1120 1011 0 15049 0
Current children cumulated CPU time: 574.96 s
Current children cumulated vsize: 238544 KiB
Current children cumulated memory: 144324 KiB
################
# More data... #
################
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 56275 0 0 0 242202 355 0 0 20 0 1 0 235940913 330088448 77508 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 80588 77508 1152 1011 0 79355 0
Current children cumulated CPU time: 2968.62 s
Current children cumulated vsize: 495768 KiB
Current children cumulated memory: 399136 KiB
[startup+2802.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/267 159083
/proc/meminfo: memFree=127172260/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=415332 memory=341680 CPUtime=2485.38 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 61778 0 0 0 248175 363 0 0 20 0 1 0 235940913 425299968 85420 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 103833 85420 1152 1011 0 102600 0
Current children cumulated CPU time: 3028.43 s
Current children cumulated vsize: 588748 KiB
Current children cumulated memory: 430784 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.11 5/267 159085
/proc/meminfo: memFree=127158368/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=424456 memory=363624 CPUtime=2545.2 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 64183 0 0 0 254152 368 0 0 20 0 1 0 235940913 434642944 90906 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 106114 90906 1152 1011 0 104881 0
Current children cumulated CPU time: 3088.25 s
Current children cumulated vsize: 597872 KiB
Current children cumulated memory: 452728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/267 159086
/proc/meminfo: memFree=127083016/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=434968 memory=383668 CPUtime=2605.01 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 66661 0 0 0 260126 375 0 0 20 0 1 0 235940913 445407232 95917 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 108742 95917 1152 1011 0 107509 0
Current children cumulated CPU time: 3148.06 s
Current children cumulated vsize: 608384 KiB
Current children cumulated memory: 472772 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/267 159089
/proc/meminfo: memFree=127106992/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=435960 memory=384692 CPUtime=2664.83 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 66914 0 0 0 266101 382 0 0 20 0 1 0 235940913 446423040 96173 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 108990 96173 1152 1011 0 107757 0
Current children cumulated CPU time: 3207.88 s
Current children cumulated vsize: 609376 KiB
Current children cumulated memory: 473796 KiB
[startup+3042.3 s]
/proc/loadavg: 4.38 4.16 4.12 5/267 159137
/proc/meminfo: memFree=127281328/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=435960 memory=384692 CPUtime=2724.64 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 66926 0 0 0 272075 389 0 0 20 0 1 0 235940913 446423040 96173 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 108990 96173 1152 1011 0 107757 0
Current children cumulated CPU time: 3267.69 s
Current children cumulated vsize: 609376 KiB
Current children cumulated memory: 473796 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.16 4.12 5/267 159231
/proc/meminfo: memFree=127567032/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=436504 memory=388404 CPUtime=2784.46 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 67087 0 0 0 278048 398 0 0 20 0 1 0 235940913 446980096 97101 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 109126 97101 1152 1011 0 107893 0
Current children cumulated CPU time: 3327.51 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 477508 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/267 159233
/proc/meminfo: memFree=127523144/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=436504 memory=396724 CPUtime=2844.29 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 67105 0 0 0 284025 404 0 0 20 0 1 0 235940913 446980096 99181 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 109126 99181 1152 1011 0 107893 0
Current children cumulated CPU time: 3387.34 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 485828 KiB
[startup+3163.93 s]
# the end of solver process 158883 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3384.81 s, system=4.19222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3163.2 s]
/proc/loadavg: 4.09 4.13 4.11 5/267 159233
/proc/meminfo: memFree=127523160/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=436504 memory=396724 CPUtime=2845.19 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 67105 0 0 0 284115 404 0 0 20 0 1 0 235940913 446980096 99181 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 109126 99181 1152 1011 0 107893 0
Current children cumulated CPU time: 3388.24 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 485828 KiB
[startup+3163.6 s]
/proc/loadavg: 4.09 4.13 4.11 5/267 159233
/proc/meminfo: memFree=127523160/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=436504 memory=396724 CPUtime=2845.59 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 67105 0 0 0 284155 404 0 0 20 0 1 0 235940913 446980096 99181 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 109126 99181 1152 1011 0 107893 0
Current children cumulated CPU time: 3388.64 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 485828 KiB
[startup+3163.8 s]
/proc/loadavg: 4.09 4.13 4.11 5/267 159233
/proc/meminfo: memFree=127523160/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=436504 memory=396724 CPUtime=2845.79 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 67105 0 0 0 284175 404 0 0 20 0 1 0 235940913 446980096 99181 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 109126 99181 1152 1011 0 107893 0
Current children cumulated CPU time: 3388.84 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 485828 KiB
[startup+3163.9 s]
/proc/loadavg: 4.09 4.13 4.11 5/267 159233
/proc/meminfo: memFree=127523160/131249996 swapFree=33003468/33010684
[pid=158883] ppid=158880 vsize=173416 memory=89104 CPUtime=543.05 cores=0,2
/proc/158883/stat : 158883 (LSIPExact) S 158880 158883 158492 0 -1 4194304 82684 0 0 0 54292 13 0 0 20 0 1 0 235909884 177577984 22276 18446744073709551615 94080567525376 94080594781777 140723763372368 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94080603284616 94080603716224 94080622735360 140723763374424 140723763374600 140723763374600 140723763380204 0
/proc/158883/statm: 43354 22276 3584 6655 0 24806 0
[pid=158954] ppid=158883 vsize=436504 memory=396724 CPUtime=2845.9 cores=0,2
/proc/158954/stat : 158954 (Exact) R 158883 158954 158954 0 -1 4194304 67105 0 0 0 284185 405 0 0 20 0 1 0 235940913 446980096 99181 18446744073709551615 4198400 8335837 140730902245312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16781312 140730902247609 140730902247963 140730902247963 140730902253519 0
/proc/158954/statm: 109126 99181 1152 1011 0 107893 0
Current children cumulated CPU time: 3388.95 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 485828 KiB
Child status: 0
Real time (s): 3163.93
CPU time (s): 3389
CPU user time (s): 3384.81
CPU system time (s): 4.19222
CPU usage (%): 107.113
Max. virtual memory (cumulated for all children) (KiB): 609920
Max. memory (cumulated for all children) (KiB): 485828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3384.81
system time used= 4.19222
maximum resident set size= 406700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 468
involuntary context switches= 7198
# summary of solver processes directly reported to runsolver:
# pid: 158883
# total CPU time (s): 3389
# total CPU user time (s): 3384.81
# total CPU system time (s): 4.19222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79186 second user time and 13.958 second system time
The end
Begin job on nodeC021 at 2025-07-22 18:38:42
IDJOB=4541752
IDBENCH=163377
IDSOLVER=3336
FILE ID=nodeC021/4541752-1753202322
RUNJOBID= nodeC021-1753198970-158509
SLURM_JOB_ID= 9687754
Free space on /tmp= 432892 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541752-1753202322/watcher-4541752-1753202322 -o /tmp/evaluation-result-4541752-1753202322/solver-4541752-1753202322 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753198970-158509 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4541752-1753202322.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=359947374
nodeC021 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.786
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.56
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.785
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.56
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 : 3582.209
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.56
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 : 3599.966
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.56
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.771
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.56
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 : 3599.777
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.56
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 : 3599.768
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.56
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 : 3601.029
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128234548 kB
MemAvailable: 129171784 kB
Buffers: 1056 kB
Cached: 1673348 kB
SwapCached: 56 kB
Active: 1680312 kB
Inactive: 580460 kB
Active(anon): 569520 kB
Inactive(anon): 38504 kB
Active(file): 1110792 kB
Inactive(file): 541956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 81304 kB
Writeback: 0 kB
AnonPages: 587392 kB
Mapped: 140876 kB
Shmem: 21656 kB
KReclaimable: 247052 kB
Slab: 342932 kB
SReclaimable: 247052 kB
SUnreclaim: 95880 kB
KernelStack: 4272 kB
PageTables: 4336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1017200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 411648 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432848 MiB
End job on nodeC021 at 2025-07-22 19:31:26