10.81/10.58 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
10.81/10.58 c numVar: 3571
10.81/10.58 c numCon: 1850
10.81/10.58 c numEqual: 1849
10.81/10.58 c intSize: 57
10.81/10.58 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
10.81/10.58 c ------------------- Paras list -------------------
10.81/10.58 c Name Type Now Default Comment
10.81/10.58 c timeout double 3600.000000 3600
10.81/10.58 c mip_time double 0.200000 0.5
10.81/10.58 c ls_time double 10.000000 10
10.81/10.58 c safe_mode int 1 1 1 trust; 2 feasible
10.81/10.58 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
10.81/10.58 c random_seed int 0 0
10.81/10.58 c sample_size int 50 50
10.81/10.58 c sub_score int 1 1
10.81/10.58 c tabu_base int 3 3
10.81/10.58 c tabu_variation int 1 1
10.81/10.58 c sub_div int 4 4
10.81/10.58 c nbcore int 2 1
10.81/10.58 c memlimit int 31000 31744 memory limit in megabytes
10.81/10.58 c print_sol int 1 1
10.81/10.58 c tmpdir string . "."
10.81/10.58 c home string HOME "."
10.81/10.58 c benchname string HOME/instance-4542051-1753213937.opb ""
10.81/10.58 c --------------------------------------------------
10.81/10.58 c Local Search solver
10.81/10.58 c MIP solver
10.81/10.58 c Branch and Bound solver find optimal solution
10.81/10.58 c failed: constraint #9 not satisfied. calculated value: -6914047, constant: 0, ==
10.81/10.58 c MIP solver objective value: 0
10.81/10.58 c failed: constraint #9 not satisfied. calculated value: -6914047, constant: 0, ==
10.81/10.58 c failed: constraint #9 not satisfied. calculated value: -6914047, constant: 0, ==
10.81/10.58 c use Exact solver
2556.29/2563.76 s UNKNOWN
2556.29/2563.76 c Total time: 2564
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 (61374 MiB free)
memory of node 1: 64507 MiB (62768 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542051-1753213937/watcher-4542051-1753213937 -o /tmp/evaluation-result-4542051-1753213937/solver-4542051-1753213937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176020 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542051-1753213937.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
solver pid=176263, runsolver pid=176260
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127121980/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=0.09 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 9 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+0.205739 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127121980/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=0.2 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 20 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+0.30561 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127121980/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=0.3 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 30 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+0.700195 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127122552/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=0.69 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 69 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+1.50018 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127122552/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=1.48 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 148 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+3.10548 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127122664/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=3.09 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 309 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 176264
/proc/meminfo: memFree=127122932/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=42308 memory=7552 CPUtime=6.27 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) R 176260 176263 176007 0 -1 4194304 928 0 0 0 627 0 0 0 20 0 1 0 237071443 43323392 1888 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 10577 1888 1120 6655 0 812 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 7552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 176266
/proc/meminfo: memFree=127072708/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=31340 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 7835 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 7835 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=49560 memory=33808 CPUtime=2.08 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 6523 0 0 0 206 2 0 0 20 0 1 0 237072501 50749440 8452 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 12390 8452 1120 1011 0 11157 0
Current children cumulated CPU time: 12.97 s
Current children cumulated vsize: 178748 KiB
Current children cumulated memory: 65148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.10 4.09 5/267 176266
/proc/meminfo: memFree=127017172/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=31340 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 7835 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 7835 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=102748 memory=91016 CPUtime=14.85 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 16472 0 0 0 1478 7 0 0 20 0 1 0 237072501 105213952 22754 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 25687 22754 1120 1011 0 24454 0
Current children cumulated CPU time: 25.74 s
Current children cumulated vsize: 231936 KiB
Current children cumulated memory: 122356 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 176267
/proc/meminfo: memFree=127006312/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=31340 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 7835 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 7835 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=128668 memory=113616 CPUtime=40.39 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 21625 0 0 0 4029 10 0 0 20 0 1 0 237072501 131756032 28404 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 32167 28404 1120 1011 0 30934 0
Current children cumulated CPU time: 51.28 s
Current children cumulated vsize: 257856 KiB
Current children cumulated memory: 144956 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.10 6/268 176317
/proc/meminfo: memFree=127368068/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=32108 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8027 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8027 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=163096 memory=142056 CPUtime=91.46 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 25069 0 0 0 9125 21 0 0 20 0 1 0 237072501 167010304 35514 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 40774 35514 1120 1011 0 39541 0
Current children cumulated CPU time: 102.35 s
Current children cumulated vsize: 292284 KiB
Current children cumulated memory: 174164 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 176320
/proc/meminfo: memFree=127236392/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=243144 memory=198380 CPUtime=151.31 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 33918 0 0 0 15098 33 0 0 20 0 1 0 237072501 248979456 49595 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 60786 49595 1120 1011 0 59553 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 372332 KiB
Current children cumulated memory: 232792 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 176322
/proc/meminfo: memFree=127191096/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=258096 memory=224364 CPUtime=211.15 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 37385 0 0 0 21069 46 0 0 20 0 1 0 237072501 264290304 56091 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 64524 56091 1152 1011 0 63291 0
Current children cumulated CPU time: 222.04 s
Current children cumulated vsize: 387284 KiB
Current children cumulated memory: 258776 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/268 176324
/proc/meminfo: memFree=127147560/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=271424 memory=233708 CPUtime=271 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 39732 0 0 0 27036 64 0 0 20 0 1 0 237072501 277938176 58427 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 67856 58427 1152 1011 0 66623 0
Current children cumulated CPU time: 281.89 s
Current children cumulated vsize: 400612 KiB
Current children cumulated memory: 268120 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 4.18 4.11 6/268 176374
/proc/meminfo: memFree=127270660/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
################
# More data... #
################
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 68285 0 0 0 212247 280 0 0 20 0 1 0 237072501 500060160 98303 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 122085 98303 1152 1011 0 120852 0
Current children cumulated CPU time: 2136.16 s
Current children cumulated vsize: 617528 KiB
Current children cumulated memory: 427624 KiB
[startup+2202.3 s]
/proc/loadavg: 4.95 4.86 4.72 6/267 176701
/proc/meminfo: memFree=102465620/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=491588 memory=396412 CPUtime=2185.09 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 69109 0 0 0 218222 287 0 0 20 0 1 0 237072501 503386112 99103 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 122897 99103 1152 1011 0 121664 0
Current children cumulated CPU time: 2195.98 s
Current children cumulated vsize: 620776 KiB
Current children cumulated memory: 430824 KiB
[startup+2262.3 s]
/proc/loadavg: 5.09 4.92 4.75 6/267 176707
/proc/meminfo: memFree=102456056/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=491588 memory=396412 CPUtime=2244.91 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 69179 0 0 0 224196 295 0 0 20 0 1 0 237072501 503386112 99103 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 122897 99103 1152 1011 0 121664 0
Current children cumulated CPU time: 2255.8 s
Current children cumulated vsize: 620776 KiB
Current children cumulated memory: 430824 KiB
[startup+2322.3 s]
/proc/loadavg: 5.03 4.94 4.77 6/267 176709
/proc/meminfo: memFree=102218940/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=519632 memory=424520 CPUtime=2304.72 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 75712 0 0 0 230162 310 0 0 20 0 1 0 237072501 532103168 106130 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 129908 106130 1152 1011 0 128675 0
Current children cumulated CPU time: 2315.61 s
Current children cumulated vsize: 648820 KiB
Current children cumulated memory: 458932 KiB
[startup+2382.3 s]
/proc/loadavg: 5.08 4.97 4.79 6/267 176711
/proc/meminfo: memFree=102163340/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=524704 memory=429512 CPUtime=2364.54 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76470 0 0 0 236132 322 0 0 20 0 1 0 237072501 537296896 107378 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131176 107378 1152 1011 0 129943 0
Current children cumulated CPU time: 2375.43 s
Current children cumulated vsize: 653892 KiB
Current children cumulated memory: 463924 KiB
[startup+2442.3 s]
/proc/loadavg: 5.05 4.98 4.81 6/267 176713
/proc/meminfo: memFree=102254768/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=524704 memory=429640 CPUtime=2424.36 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76591 0 0 0 242107 329 0 0 20 0 1 0 237072501 537296896 107410 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131176 107410 1152 1011 0 129943 0
Current children cumulated CPU time: 2435.25 s
Current children cumulated vsize: 653892 KiB
Current children cumulated memory: 464052 KiB
[startup+2502.3 s]
/proc/loadavg: 5.43 5.09 4.86 6/267 176715
/proc/meminfo: memFree=102128376/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=525792 memory=430664 CPUtime=2484.18 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76865 0 0 0 248084 334 0 0 20 0 1 0 237072501 538411008 107666 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131448 107666 1152 1011 0 130215 0
Current children cumulated CPU time: 2495.07 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 465076 KiB
[startup+2562.3 s]
/proc/loadavg: 5.26 5.10 4.89 6/267 176717
/proc/meminfo: memFree=102062064/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=525792 memory=430664 CPUtime=2544 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76935 0 0 0 254059 341 0 0 20 0 1 0 237072501 538411008 107666 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131448 107666 1152 1011 0 130215 0
Current children cumulated CPU time: 2554.89 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 465076 KiB
[startup+2563.77 s]
# the end of solver process 176263 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2552.93 s, system=3.43637 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2562.4 s]
/proc/loadavg: 5.26 5.10 4.89 6/267 176717
/proc/meminfo: memFree=102062064/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=525792 memory=430664 CPUtime=2544.1 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76935 0 0 0 254069 341 0 0 20 0 1 0 237072501 538411008 107666 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131448 107666 1152 1011 0 130215 0
Current children cumulated CPU time: 2554.99 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 465076 KiB
[startup+2563.2 s]
/proc/loadavg: 5.26 5.10 4.89 6/267 176717
/proc/meminfo: memFree=102062064/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=525792 memory=430664 CPUtime=2544.9 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76935 0 0 0 254149 341 0 0 20 0 1 0 237072501 538411008 107666 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131448 107666 1152 1011 0 130215 0
Current children cumulated CPU time: 2555.79 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 465076 KiB
[startup+2563.6 s]
/proc/loadavg: 5.26 5.10 4.89 6/267 176717
/proc/meminfo: memFree=102062064/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=525792 memory=430664 CPUtime=2545.3 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76935 0 0 0 254189 341 0 0 20 0 1 0 237072501 538411008 107666 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131448 107666 1152 1011 0 130215 0
Current children cumulated CPU time: 2556.19 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 465076 KiB
[startup+2563.7 s]
/proc/loadavg: 5.26 5.10 4.89 6/267 176717
/proc/meminfo: memFree=102062064/131249996 swapFree=33010416/33010684
[pid=176263] ppid=176260 vsize=129188 memory=34412 CPUtime=10.89 cores=5,7
/proc/176263/stat : 176263 (LSIPExact) S 176260 176263 176007 0 -1 4194304 4675 0 0 0 1088 1 0 0 20 0 1 0 237071443 132288512 8603 18446744073709551615 94758664929280 94758692186449 140730069301664 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94758700688520 94758701120128 94758728749056 140730069309784 140730069309960 140730069309960 140730069315564 0
/proc/176263/statm: 32297 8603 3520 6655 0 6675 0
[pid=176266] ppid=176263 vsize=525792 memory=430664 CPUtime=2545.4 cores=5,7
/proc/176266/stat : 176266 (Exact) R 176263 176266 176266 0 -1 4194304 76935 0 0 0 254199 341 0 0 20 0 1 0 237072501 538411008 107666 18446744073709551615 4198400 8335837 140720733411680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 34213888 140720733415609 140720733415963 140720733415963 140720733421519 0
/proc/176266/statm: 131448 107666 1152 1011 0 130215 0
Current children cumulated CPU time: 2556.29 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 465076 KiB
Child status: 0
Real time (s): 2563.77
CPU time (s): 2556.37
CPU user time (s): 2552.93
CPU system time (s): 3.43637
CPU usage (%): 99.7114
Max. virtual memory (cumulated for all children) (KiB): 686276
Max. memory (cumulated for all children) (KiB): 465076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2552.93
system time used= 3.43637
maximum resident set size= 449680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81614
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= 293
involuntary context switches= 1467
# summary of solver processes directly reported to runsolver:
# pid: 176263
# total CPU time (s): 2556.37
# total CPU user time (s): 2552.93
# total CPU system time (s): 3.43637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.22865 second user time and 12.0847 second system time
The end
Begin job on nodeC022 at 2025-07-22 21:52:17
IDJOB=4542051
IDBENCH=163735
IDSOLVER=3384
FILE ID=nodeC022/4542051-1753213937
RUNJOBID= nodeC022-1753211081-176020
SLURM_JOB_ID= 9687788
Free space on /tmp= 432680 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542051-1753213937/watcher-4542051-1753213937 -o /tmp/evaluation-result-4542051-1753213937/solver-4542051-1753213937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176020 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542051-1753213937.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=25908354
nodeC022 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.697
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.44
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.500
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.44
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 : 3616.005
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.44
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.304
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.44
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.719
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.44
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.697
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.44
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 : 3600.019
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.44
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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127122268 kB
MemAvailable: 128426688 kB
Buffers: 2128 kB
Cached: 2054572 kB
SwapCached: 32 kB
Active: 2406716 kB
Inactive: 912816 kB
Active(anon): 1286928 kB
Inactive(anon): 2124 kB
Active(file): 1119788 kB
Inactive(file): 910692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44724 kB
Writeback: 56 kB
AnonPages: 1263252 kB
Mapped: 160396 kB
Shmem: 26220 kB
KReclaimable: 225960 kB
Slab: 322904 kB
SReclaimable: 225960 kB
SUnreclaim: 96944 kB
KernelStack: 4288 kB
PageTables: 5804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1860220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1126400 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= 432560 MiB
End job on nodeC022 at 2025-07-22 22:35:01