runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62104 MiB free)
memory of node 1: 64465 MiB (55900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527349-1752232206/watcher-4527349-1752232206 -o /tmp/evaluation-result-4527349-1752232206/solver-4527349-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752232205-121538 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527349-1752232206.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=121578, runsolver pid=121574
[startup+0.100056 s]*
/proc/loadavg: 0.09 0.10 0.09 5/254 121579
/proc/meminfo: memFree=120776560/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=0.09 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 9 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.204315 s]*
/proc/loadavg: 0.09 0.10 0.09 5/259 121589
/proc/meminfo: memFree=120716988/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=0.19 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 19 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.3046 s]*
/proc/loadavg: 0.09 0.10 0.09 4/262 121593
/proc/meminfo: memFree=120563052/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=0.29 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 29 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700095 s]
/proc/loadavg: 0.09 0.10 0.09 5/264 121598
/proc/meminfo: memFree=120212492/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=0.68 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 68 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+1.50009 s]
/proc/loadavg: 0.09 0.10 0.09 5/264 121598
/proc/meminfo: memFree=119877500/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=1.48 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 148 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+3.10421 s]
/proc/loadavg: 0.09 0.10 0.09 5/265 121599
/proc/meminfo: memFree=119402272/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=3.08 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 308 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30009 s]
/proc/loadavg: 0.48 0.18 0.12 5/265 121599
/proc/meminfo: memFree=119402936/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=42508 memory=8064 CPUtime=6.26 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 979 0 0 0 626 0 0 0 20 0 1 0 138899471 43528192 2016 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7002 s]
/proc/loadavg: 0.77 0.24 0.14 7/268 121602
/proc/meminfo: memFree=117993200/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=135548 memory=43264 CPUtime=15.2 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 7399 0 0 0 1519 1 0 0 20 0 2 0 138899471 138801152 10816 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 33887 10816 3328 6655 0 9364 0
[pid=121578/tid=121601] ppid=121574 vsize=135548 memory=42752 CPUtime=2.55 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 1672 0 0 0 255 0 0 0 20 0 2 0 138900472 138801152 10816 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 135548 KiB
Current children cumulated memory: 43264 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 0.57 0.25 8/269 121603
/proc/meminfo: memFree=117457180/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=144616 memory=61312 CPUtime=39.76 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 25923 0 0 0 3973 3 0 0 20 0 2 0 138899471 148086784 15328 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 36154 15328 3360 6655 0 13885 0
[pid=121578/tid=121601] ppid=121574 vsize=144616 memory=61312 CPUtime=14.36 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 8666 0 0 0 1435 1 0 0 20 0 2 0 138900472 148086784 15328 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 39.76 s
Current children cumulated vsize: 144616 KiB
Current children cumulated memory: 61312 KiB
[startup+51.1052 s]
/proc/loadavg: 3.81 1.09 0.43 8/269 121604
/proc/meminfo: memFree=117511992/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=161700 memory=94336 CPUtime=89.45 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 44098 0 0 0 8938 7 0 0 20 0 2 0 138899471 165580800 23584 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 40425 23584 3392 6655 0 21947 0
[pid=121578/tid=121601] ppid=121574 vsize=161700 memory=91520 CPUtime=38.92 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 16698 0 0 0 3889 3 0 0 20 0 2 0 138900472 165580800 23584 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 89.45 s
Current children cumulated vsize: 161700 KiB
Current children cumulated memory: 94336 KiB
[startup+102.3 s]
/proc/loadavg: 6.22 2.16 0.83 9/269 121605
/proc/meminfo: memFree=117199404/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=181272 memory=138880 CPUtime=191.22 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 65807 0 0 0 19110 12 0 0 20 0 2 0 138899471 185622528 34720 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 45318 34720 3392 6655 0 33044 0
[pid=121578/tid=121601] ppid=121574 vsize=181272 memory=126848 CPUtime=89.62 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 26856 0 0 0 8956 6 0 0 20 0 2 0 138900472 185622528 34720 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 191.22 s
Current children cumulated vsize: 181272 KiB
Current children cumulated memory: 138880 KiB
[startup+162.3 s]
/proc/loadavg: 7.41 3.24 1.29 9/268 121607
/proc/meminfo: memFree=116918596/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=303124 memory=249420 CPUtime=310.45 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 94270 0 0 0 31023 22 0 0 20 0 2 0 138899471 310398976 62355 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 75781 62355 3392 6655 0 60800 0
[pid=121578/tid=121601] ppid=121574 vsize=303124 memory=14692 CPUtime=149.04 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 40945 0 0 0 14891 13 0 0 20 0 2 0 138900472 310398976 62355 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 310.45 s
Current children cumulated vsize: 303124 KiB
Current children cumulated memory: 249420 KiB
[startup+222.3 s]
/proc/loadavg: 7.91 4.14 1.72 9/268 121609
/proc/meminfo: memFree=116641856/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=424536 memory=357156 CPUtime=429.71 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 130881 0 0 0 42940 31 0 0 20 0 2 0 138899471 434724864 89289 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 106134 89289 3392 6655 0 87545 0
[pid=121578/tid=121601] ppid=121574 vsize=424536 memory=351012 CPUtime=208.47 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 58559 0 0 0 20829 18 0 0 20 0 2 0 138900472 434724864 89289 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 429.71 s
Current children cumulated vsize: 424536 KiB
Current children cumulated memory: 357156 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 4.86 2.12 9/269 121612
/proc/meminfo: memFree=116321540/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=546056 memory=471076 CPUtime=548.98 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 160545 0 0 0 54859 39 0 0 20 0 2 0 138899471 559161344 117769 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 136514 117769 3392 6655 0 116117 0
[pid=121578/tid=121601] ppid=121574 vsize=546056 memory=418468 CPUtime=267.91 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 73942 0 0 0 26767 24 0 0 20 0 2 0 138900472 559161344 117769 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 548.98 s
Current children cumulated vsize: 546056 KiB
Current children cumulated memory: 471076 KiB
[startup+342.3 s]
/proc/loadavg: 8.06 5.45 2.50 9/267 121614
/proc/meminfo: memFree=115986760/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=666896 memory=581752 CPUtime=668.24 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 189063 0 0 0 66775 49 0 0 20 0 2 0 138899471 682901504 145438 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 166724 145438 3392 6655 0 143827 0
[pid=121578/tid=121601] ppid=121574 vsize=666896 memory=418468 CPUtime=327.35 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 88392 0 0 0 32705 30 0 0 20 0 2 0 138900472 682901504 145438 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 668.24 s
Current children cumulated vsize: 666896 KiB
Current children cumulated memory: 581752 KiB
################
# More data... #
################
/proc/121578/statm: 661224 638031 3392 6655 0 637049 0
[pid=121578/tid=121601] ppid=121574 vsize=2644896 memory=2286728 CPUtime=1397.53 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 369742 0 0 0 139628 125 0 0 20 0 2 0 138900472 2708373504 638031 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 2815.49 s
Current children cumulated vsize: 2644896 KiB
Current children cumulated memory: 2552124 KiB
[startup+1482.3 s]
/proc/loadavg: 8.17 8.11 6.53 9/267 121669
/proc/meminfo: memFree=110488976/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=2697448 memory=2660412 CPUtime=2934.79 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 784171 0 0 0 293263 216 0 0 20 0 2 0 138899471 2762186752 665103 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 674362 665103 3392 6655 0 664008 0
[pid=121578/tid=121601] ppid=121574 vsize=2697448 memory=14692 CPUtime=1456.99 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 385596 0 0 0 145569 130 0 0 20 0 2 0 138900472 2762186752 665103 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 2934.79 s
Current children cumulated vsize: 2697448 KiB
Current children cumulated memory: 2660412 KiB
[startup+1542.3 s]
/proc/loadavg: 8.06 8.08 6.63 9/266 121671
/proc/meminfo: memFree=110246052/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=2817720 memory=2768572 CPUtime=3054.09 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 816332 0 0 0 305184 225 0 0 20 0 2 0 138899471 2885345280 692143 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 704430 692143 3392 6655 0 690889 0
[pid=121578/tid=121601] ppid=121574 vsize=2817720 memory=2756540 CPUtime=1516.44 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 401391 0 0 0 151509 135 0 0 20 0 2 0 138900472 2885345280 692143 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 3054.09 s
Current children cumulated vsize: 2817720 KiB
Current children cumulated memory: 2768572 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.10 6.72 9/267 121674
/proc/meminfo: memFree=110043452/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=2937252 memory=2878524 CPUtime=3173.37 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 850593 0 0 0 317100 237 0 0 20 0 2 0 138899471 3007746048 719631 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 734313 719631 3392 6655 0 718227 0
[pid=121578/tid=121601] ppid=121574 vsize=2937252 memory=2756540 CPUtime=1575.89 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 418977 0 0 0 157446 143 0 0 20 0 2 0 138900472 3007746048 719631 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 3173.37 s
Current children cumulated vsize: 2937252 KiB
Current children cumulated memory: 2878524 KiB
[startup+1662.3 s]
/proc/loadavg: 8.11 8.09 6.81 9/268 121677
/proc/meminfo: memFree=109795676/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3058908 memory=2987196 CPUtime=3292.65 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 883379 0 0 0 329017 248 0 0 20 0 2 0 138899471 3132321792 746799 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 764727 746799 3392 6655 0 745460 0
[pid=121578/tid=121601] ppid=121574 vsize=3058908 memory=2756540 CPUtime=1635.34 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 435444 0 0 0 163384 150 0 0 20 0 2 0 138900472 3132321792 746799 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 3292.65 s
Current children cumulated vsize: 3058908 KiB
Current children cumulated memory: 2987196 KiB
[startup+1722.3 s]
/proc/loadavg: 8.17 8.11 6.90 9/268 121679
/proc/meminfo: memFree=109515468/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3176644 memory=3093180 CPUtime=3411.96 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 913125 0 0 0 340939 257 0 0 20 0 2 0 138899471 3252883456 773295 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 794161 773295 3392 6655 0 771919 0
[pid=121578/tid=121601] ppid=121574 vsize=3176644 memory=2756540 CPUtime=1694.81 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 450048 0 0 0 169325 156 0 0 20 0 2 0 138900472 3252883456 773295 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 3411.96 s
Current children cumulated vsize: 3176644 KiB
Current children cumulated memory: 3093180 KiB
[startup+1782.3 s]
/proc/loadavg: 8.13 8.10 6.98 9/268 121681
/proc/meminfo: memFree=109218160/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3299308 memory=3205152 CPUtime=3531.23 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 947530 0 0 0 352856 267 0 0 20 0 2 0 138899471 3378491392 801288 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 824827 801288 3392 6655 0 799924 0
[pid=121578/tid=121601] ppid=121574 vsize=3299308 memory=3194912 CPUtime=1754.24 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 467140 0 0 0 175262 162 0 0 20 0 2 0 138900472 3378491392 801288 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 3531.23 s
Current children cumulated vsize: 3299308 KiB
Current children cumulated memory: 3205152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.9 s]
/proc/loadavg: 8.15 8.10 7.02 9/269 121689
/proc/meminfo: memFree=109041280/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3332004 memory=3271328 CPUtime=3600.01 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) R 121574 121578 121522 0 -1 4194304 968405 0 0 0 359727 274 0 0 20 0 2 0 138899471 3411972096 817832 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 833001 817832 3392 6655 0 816448 0
[pid=121578/tid=121601] ppid=121574 vsize=3332004 memory=0 CPUtime=1788.52 cores=0,2
/proc/121578/task/121601/stat : 121601 (LSIPExact) R 121574 121578 121522 0 -1 4194368 477387 0 0 0 178686 166 0 0 20 0 2 0 138900472 3411972096 817832 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3332004 KiB
Current children cumulated memory: 3271328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.02 s]
# the end of solver process 121578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.02 s, system=3.04839 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 8.15 8.10 7.02 8/268 121689
/proc/meminfo: memFree=109039012/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3004324 memory=2949460 CPUtime=3600.39 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) S 121574 121578 121522 0 -1 4194304 1236651 229 0 0 359750 289 0 0 20 0 1 0 138899471 3076427776 737365 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 751081 737365 3424 6655 0 741185 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 3004324 KiB
Current children cumulated memory: 2949460 KiB
[startup+1818.4 s]
/proc/loadavg: 8.15 8.10 7.02 7/269 121693
/proc/meminfo: memFree=109508268/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3004324 memory=2949460 CPUtime=3600.39 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) S 121574 121578 121522 0 -1 4194304 1236651 229 0 0 359750 289 0 0 20 0 1 0 138899471 3076427776 737365 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 751081 737365 3424 6655 0 741185 0
[pid=121691] ppid=121578 vsize=63688 memory=54004 CPUtime=1.05 cores=0,2
/proc/121691/stat : 121691 (Exact) R 121578 121691 121691 0 -1 4194304 9549 0 1 0 103 2 0 0 20 0 1 0 139081201 65216512 13501 18446744073709551615 4198400 8335837 140732080224416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24039424 140732080232626 140732080232987 140732080232987 140732080238543 0
/proc/121691/statm: 15922 13501 1120 1011 0 14689 0
Current children cumulated CPU time: 3601.44 s
Current children cumulated vsize: 3068012 KiB
Current children cumulated memory: 3003464 KiB
[startup+1818.8 s]
/proc/loadavg: 8.15 8.10 7.02 7/269 121693
/proc/meminfo: memFree=109508268/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3004324 memory=2949460 CPUtime=3600.39 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) S 121574 121578 121522 0 -1 4194304 1236651 229 0 0 359750 289 0 0 20 0 1 0 138899471 3076427776 737365 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 751081 737365 3424 6655 0 741185 0
[pid=121691] ppid=121578 vsize=86448 memory=68492 CPUtime=1.45 cores=0,2
/proc/121691/stat : 121691 (Exact) R 121578 121691 121691 0 -1 4194304 12390 0 1 0 142 3 0 0 20 0 1 0 139081201 88522752 17123 18446744073709551615 4198400 8335837 140732080224416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24039424 140732080232626 140732080232987 140732080232987 140732080238543 0
/proc/121691/statm: 21612 17123 1120 1011 0 20379 0
Current children cumulated CPU time: 3601.84 s
Current children cumulated vsize: 3090772 KiB
Current children cumulated memory: 3017952 KiB
[startup+1818.9 s]
/proc/loadavg: 8.15 8.10 7.02 7/269 121693
/proc/meminfo: memFree=109508268/131249992 swapFree=33010160/33010684
[pid=121578] ppid=121574 vsize=3004324 memory=2949460 CPUtime=3600.39 cores=0,2
/proc/121578/stat : 121578 (LSIPExact) S 121574 121578 121522 0 -1 4194304 1236651 229 0 0 359750 289 0 0 20 0 1 0 138899471 3076427776 737365 18446744073709551615 94077657882624 94077685139793 140727623838160 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94077693641864 94077694073472 94077700612096 140727623842136 140727623842312 140727623842312 140727623847916 0
/proc/121578/statm: 751081 737365 3424 6655 0 741185 0
[pid=121691] ppid=121578 vsize=87020 memory=69260 CPUtime=1.54 cores=0,2
/proc/121691/stat : 121691 (Exact) R 121578 121691 121691 0 -1 4194304 12556 0 1 0 151 3 0 0 20 0 1 0 139081201 89108480 17315 18446744073709551615 4198400 8335837 140732080224416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24039424 140732080232626 140732080232987 140732080232987 140732080238543 0
/proc/121691/statm: 21755 17315 1120 1011 0 20522 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 3091344 KiB
Current children cumulated memory: 3018720 KiB
Child status: 0
Real time (s): 1819.02
CPU time (s): 3602.07
CPU user time (s): 3599.02
CPU system time (s): 3.04839
CPU usage (%): 198.022
Max. virtual memory (cumulated for all children) (KiB): 3332004
Max. memory (cumulated for all children) (KiB): 3271328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 3.04839
maximum resident set size= 3271584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1249749
page faults= 1
swaps= 0
block input operations= 264
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 574
involuntary context switches= 95477
# summary of solver processes directly reported to runsolver:
# pid: 121578
# total CPU time (s): 3602.07
# total CPU user time (s): 3599.02
# total CPU system time (s): 3.04839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07109 second user time and 8.3387 second system time
The end
Begin job on nodeC025 at 2025-07-11 13:10:07
IDJOB=4527349
IDBENCH=147533
IDSOLVER=3384
FILE ID=nodeC025/4527349-1752232206
RUNJOBID= nodeC025-1752232205-121538
SLURM_JOB_ID= 9682536
Free space on /tmp= 432980 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527349-1752232206/watcher-4527349-1752232206 -o /tmp/evaluation-result-4527349-1752232206/solver-4527349-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752232205-121538 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527349-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=1187949666
nodeC025 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.790
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.67
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.816
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.67
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.670
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.67
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 : 3593.372
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.67
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.037
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.67
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 : 3575.193
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.67
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.947
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.67
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.828
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120866928 kB
MemAvailable: 129756544 kB
Buffers: 2128 kB
Cached: 9635760 kB
SwapCached: 200 kB
Active: 446832 kB
Inactive: 9278484 kB
Active(anon): 87980 kB
Inactive(anon): 17064 kB
Active(file): 358852 kB
Inactive(file): 9261420 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 133040 kB
Writeback: 4 kB
AnonPages: 90224 kB
Mapped: 105008 kB
Shmem: 17856 kB
KReclaimable: 217164 kB
Slab: 309368 kB
SReclaimable: 217164 kB
SUnreclaim: 92204 kB
KernelStack: 4080 kB
PageTables: 3044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 375300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432732 MiB
End job on nodeC025 at 2025-07-11 13:40:26