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: 63837 MiB (56417 MiB free)
memory of node 1: 64465 MiB (62646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542182-1753208736/watcher-4542182-1753208736 -o /tmp/evaluation-result-4542182-1753208736/solver-4542182-1753208736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753198970-164297 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542182-1753208736.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=165490, runsolver pid=165487
[startup+0.100115 s]*
/proc/loadavg: 5.03 4.76 4.40 5/253 165491
/proc/meminfo: memFree=121897296/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=73588 memory=30848 CPUtime=0.1 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 6716 0 0 0 8 2 0 0 20 0 1 0 236552796 75354112 7712 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 18397 7712 1152 6655 0 8632 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73588 KiB
Current children cumulated memory: 30848 KiB
[startup+0.213332 s]*
/proc/loadavg: 4.94 4.74 4.40 5/253 165491
/proc/meminfo: memFree=121887468/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=84544 memory=41728 CPUtime=0.21 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 9460 0 0 0 17 4 0 0 20 0 1 0 236552796 86573056 10432 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 21136 10432 1152 6655 0 11371 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 84544 KiB
Current children cumulated memory: 41728 KiB
[startup+0.313213 s]*
/proc/loadavg: 4.94 4.74 4.40 5/253 165491
/proc/meminfo: memFree=121873356/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=94328 memory=59184 CPUtime=0.31 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 12246 0 0 0 26 5 0 0 20 0 1 0 236552796 96591872 14796 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 23582 14796 1184 6655 0 13817 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 94328 KiB
Current children cumulated memory: 59184 KiB
[startup+0.700319 s]
/proc/loadavg: 4.94 4.74 4.40 5/253 165491
/proc/meminfo: memFree=121690940/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=366492 memory=331920 CPUtime=0.68 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 42626 0 0 0 51 17 0 0 20 0 1 0 236552796 375287808 82980 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 91623 82980 1184 6655 0 81858 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 366492 KiB
Current children cumulated memory: 331920 KiB
[startup+1.50033 s]
/proc/loadavg: 4.94 4.74 4.40 5/253 165491
/proc/meminfo: memFree=121469240/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=719076 memory=684236 CPUtime=1.47 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 123532 0 0 0 113 34 0 0 20 0 1 0 236552796 736333824 171059 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 179769 171059 1184 6655 0 170004 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 719076 KiB
Current children cumulated memory: 684236 KiB
[startup+3.11314 s]
/proc/loadavg: 4.94 4.74 4.40 5/253 165491
/proc/meminfo: memFree=121259320/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=719076 memory=684236 CPUtime=3.08 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 123619 0 0 0 274 34 0 0 20 0 1 0 236552796 736333824 171059 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 179769 171059 1184 6655 0 170004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 719076 KiB
Current children cumulated memory: 684236 KiB
[startup+6.30031 s]
/proc/loadavg: 4.87 4.73 4.39 5/253 165491
/proc/meminfo: memFree=121259336/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=719076 memory=684236 CPUtime=6.27 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 123717 0 0 0 592 35 0 0 20 0 1 0 236552796 736333824 171059 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 179769 171059 1184 6655 0 170004 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 719076 KiB
Current children cumulated memory: 684236 KiB
[startup+12.7003 s]
/proc/loadavg: 4.80 4.72 4.39 5/254 165492
/proc/meminfo: memFree=120583744/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=1484072 memory=1323592 CPUtime=12.64 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 188491 0 0 0 1209 55 0 0 20 0 2 0 236552796 1519689728 330898 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 371018 330898 2752 6655 0 344901 0
[pid=165490/tid=165492] ppid=165487 vsize=1484072 memory=1263696 CPUtime=0 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) S 165487 165490 164278 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 236553894 1519689728 330898 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1484072 KiB
Current children cumulated memory: 1323592 KiB
[startup+25.5004 s]
/proc/loadavg: 4.67 4.69 4.39 5/254 165492
/proc/meminfo: memFree=119809616/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=2537936 memory=2131308 CPUtime=25.41 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 281969 0 0 0 2449 92 0 0 20 0 2 0 236552796 2598846464 532827 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 634484 532827 2880 6655 0 608367 0
[pid=165490/tid=165492] ppid=165487 vsize=2537936 memory=2128876 CPUtime=0 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) S 165487 165490 164278 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 236553894 2598846464 532827 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2537936 KiB
Current children cumulated memory: 2131308 KiB
[startup+51.1131 s]
/proc/loadavg: 4.47 4.64 4.38 5/254 165492
/proc/meminfo: memFree=119778116/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=2557472 memory=2151276 CPUtime=50.96 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 292924 0 0 0 5002 94 0 0 20 0 2 0 236552796 2618851328 537819 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 639368 537819 2880 6655 0 613251 0
[pid=165490/tid=165492] ppid=165487 vsize=2557472 memory=2135148 CPUtime=0 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) S 165487 165490 164278 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 236553894 2618851328 537819 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2557472 KiB
Current children cumulated memory: 2151276 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.56 4.36 5/254 165498
/proc/meminfo: memFree=119755016/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=2578064 memory=2172140 CPUtime=102.02 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 311848 0 0 0 10105 97 0 0 20 0 2 0 236552796 2639937536 543035 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 644516 543035 2880 6655 0 618399 0
[pid=165490/tid=165492] ppid=165487 vsize=2578064 memory=2170604 CPUtime=0 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) S 165487 165490 164278 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 236553894 2639937536 543035 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2578064 KiB
Current children cumulated memory: 2172140 KiB
[startup+162.3 s]
/proc/loadavg: 4.77 4.64 4.40 6/254 165500
/proc/meminfo: memFree=117699800/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=4871900 memory=4206092 CPUtime=209.57 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 587183 0 0 0 20753 204 0 0 20 0 2 0 236552796 4988825600 1051523 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1217975 1051523 3424 6655 0 1195136 0
[pid=165490/tid=165492] ppid=165487 vsize=4871900 memory=4206092 CPUtime=52.81 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) R 165487 165490 164278 0 -1 4194368 97128 0 0 0 5247 34 0 0 20 0 2 0 236553894 4988825600 1051523 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 209.57 s
Current children cumulated vsize: 4871900 KiB
Current children cumulated memory: 4206092 KiB
[startup+222.3 s]
/proc/loadavg: 4.97 4.73 4.45 6/254 165502
/proc/meminfo: memFree=117155344/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5373988 memory=4765272 CPUtime=328.69 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 701338 0 0 0 32615 254 0 0 20 0 2 0 236552796 5502963712 1191318 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1343497 1191318 3520 6655 0 1320658 0
[pid=165490/tid=165492] ppid=165487 vsize=5373988 memory=4254040 CPUtime=112.15 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) R 165487 165490 164278 0 -1 4194368 119951 0 0 0 11178 37 0 0 20 0 2 0 236553894 5502963712 1191318 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 328.69 s
Current children cumulated vsize: 5373988 KiB
Current children cumulated memory: 4765272 KiB
[startup+282.3 s]
/proc/loadavg: 5.03 4.79 4.49 6/254 165504
/proc/meminfo: memFree=117472792/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=4979724 memory=4431188 CPUtime=447.85 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 726252 0 0 0 44522 263 0 0 20 0 2 0 236552796 5099237376 1107797 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1244931 1107797 3520 6655 0 1222092 0
[pid=165490/tid=165492] ppid=165487 vsize=4979724 memory=4431188 CPUtime=171.5 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) R 165487 165490 164278 0 -1 4194368 140461 0 0 0 17112 38 0 0 20 0 2 0 236553894 5099237376 1107797 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 447.85 s
Current children cumulated vsize: 4979724 KiB
Current children cumulated memory: 4431188 KiB
[startup+342.3 s]
/proc/loadavg: 5.12 4.86 4.54 6/253 165506
/proc/meminfo: memFree=117424108/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5044880 memory=4470416 CPUtime=567.01 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 853623 0 0 0 56408 293 0 0 20 0 2 0 236552796 5165957120 1117604 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1261220 1117604 3520 6655 0 1238381 0
[pid=165490/tid=165492] ppid=165487 vsize=5044880 memory=4431188 CPUtime=230.85 cores=1,3
/proc/165490/task/165492/stat : 165492 (LSIPExact) R 165487 165490 164278 0 -1 4194368 141191 0 0 0 23046 39 0 0 20 0 2 0 236553894 5165957120 1117604 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
Current children cumulated CPU time: 567.01 s
Current children cumulated vsize: 5044880 KiB
Current children cumulated memory: 4470416 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/165572/statm: 1535224 1356543 1088 1011 0 1533991 0
Current children cumulated CPU time: 2198.46 s
Current children cumulated vsize: 11280016 KiB
Current children cumulated memory: 10259816 KiB
[startup+1302.3 s]
/proc/loadavg: 3.10 3.77 4.30 4/247 165588
/proc/meminfo: memFree=89848440/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6140896 memory=5456744 CPUtime=216.18 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 770058 0 0 0 21372 246 0 0 20 0 1 0 236661322 6288277504 1364186 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1535224 1364186 1088 1011 0 1533991 0
Current children cumulated CPU time: 2258.31 s
Current children cumulated vsize: 11280016 KiB
Current children cumulated memory: 10290388 KiB
[startup+1362.3 s]
/proc/loadavg: 3.08 3.64 4.22 4/247 165590
/proc/meminfo: memFree=89775184/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6163524 memory=5518332 CPUtime=276.03 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 773156 0 0 0 27355 248 0 0 20 0 1 0 236661322 6311448576 1379583 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1540881 1379583 1088 1011 0 1539648 0
Current children cumulated CPU time: 2318.16 s
Current children cumulated vsize: 11302644 KiB
Current children cumulated memory: 10351976 KiB
[startup+1422.3 s]
/proc/loadavg: 2.56 3.40 4.10 3/240 165622
/proc/meminfo: memFree=89966820/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6191348 memory=5587116 CPUtime=335.82 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 775924 0 0 0 33331 251 0 0 20 0 1 0 236661322 6339940352 1396779 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1547837 1396779 1088 1011 0 1546604 0
Current children cumulated CPU time: 2377.95 s
Current children cumulated vsize: 11330468 KiB
Current children cumulated memory: 10420760 KiB
[startup+1482.3 s]
/proc/loadavg: 2.20 3.14 3.97 3/240 165624
/proc/meminfo: memFree=89872564/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6230412 memory=5673388 CPUtime=395.63 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 780045 0 0 0 39309 254 0 0 20 0 1 0 236661322 6379941888 1418347 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1557603 1418347 1088 1011 0 1556370 0
Current children cumulated CPU time: 2437.76 s
Current children cumulated vsize: 11369532 KiB
Current children cumulated memory: 10507032 KiB
[startup+1516.64 s]
# the end of solver process 165490 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2462.78 s, system=9.22277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.20 3.14 3.97 3/240 165624
/proc/meminfo: memFree=89872564/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6230412 memory=5675436 CPUtime=398.12 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 780052 0 0 0 39558 254 0 0 20 0 1 0 236661322 6379941888 1418859 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1557603 1418859 1088 1011 0 1556370 0
Current children cumulated CPU time: 2440.25 s
Current children cumulated vsize: 11369532 KiB
Current children cumulated memory: 10509080 KiB
[startup+1497.6 s]
/proc/loadavg: 2.30 3.12 3.94 3/240 165625
/proc/meminfo: memFree=89864640/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6231600 memory=5680688 CPUtime=410.88 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 780588 0 0 0 40834 254 0 0 20 0 1 0 236661322 6381158400 1420172 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1557900 1420172 1088 1011 0 1556667 0
Current children cumulated CPU time: 2453.01 s
Current children cumulated vsize: 11370720 KiB
Current children cumulated memory: 10514332 KiB
[startup+1510.4 s]
/proc/loadavg: 2.25 3.08 3.92 3/240 165625
/proc/meminfo: memFree=89836096/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=6253172 memory=5710380 CPUtime=423.64 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 783617 0 0 0 42108 256 0 0 20 0 1 0 236661322 6403248128 1427595 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1563293 1427595 1088 1011 0 1562060 0
Current children cumulated CPU time: 2465.77 s
Current children cumulated vsize: 11392292 KiB
Current children cumulated memory: 10544024 KiB
[startup+1513.6 s]
/proc/loadavg: 2.23 3.06 3.91 3/240 165625
/proc/meminfo: memFree=89832000/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=4367556 memory=4275396 CPUtime=426.83 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 783896 0 0 0 42427 256 0 0 20 0 1 0 236661322 4472377344 1068849 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 1091889 1068849 1120 1011 0 1090656 0
Current children cumulated CPU time: 2468.96 s
Current children cumulated vsize: 9506676 KiB
Current children cumulated memory: 9109040 KiB
[startup+1515.2 s]
/proc/loadavg: 2.23 3.06 3.91 3/240 165625
/proc/meminfo: memFree=91648672/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5139120 memory=4833644 CPUtime=2042.13 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) S 165487 165490 164278 0 -1 4194304 2268897 0 0 0 203593 620 0 0 20 0 1 0 236552796 5262458880 1208411 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1284780 1208411 3584 6655 0 1262217 0
[pid=165572] ppid=165490 vsize=3977164 memory=3885004 CPUtime=428.42 cores=1,3
/proc/165572/stat : 165572 (Exact) R 165490 165572 165572 0 -1 4194304 784106 0 0 0 42586 256 0 0 20 0 1 0 236661322 4072615936 971251 18446744073709551615 4198400 8335837 140736391951936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 36249600 140736391956665 140736391957019 140736391957019 140736391962575 0
/proc/165572/statm: 994291 971251 1120 1011 0 993058 0
Current children cumulated CPU time: 2470.55 s
Current children cumulated vsize: 9116284 KiB
Current children cumulated memory: 8718648 KiB
[startup+1516 s]*
/proc/loadavg: 2.21 3.05 3.90 3/239 165625
/proc/meminfo: memFree=95614172/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5057828 memory=4752348 CPUtime=2471.36 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 2329745 784293 0 0 203632 629 42608 267 20 0 1 0 236552796 5179215872 1188087 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1264457 1188087 3584 6655 0 1241894 0
Current children cumulated CPU time: 2471.36 s
Current children cumulated vsize: 5057828 KiB
Current children cumulated memory: 4752348 KiB
[startup+1516.4 s]
/proc/loadavg: 2.21 3.05 3.90 3/239 165625
/proc/meminfo: memFree=95614172/131382120 swapFree=33010160/33010684
[pid=165490] ppid=165487 vsize=5000924 memory=4695448 CPUtime=2471.75 cores=1,3
/proc/165490/stat : 165490 (LSIPExact) R 165487 165490 164278 0 -1 4194304 2375852 784293 0 0 203664 636 42608 267 20 0 1 0 236552796 5120946176 1173862 18446744073709551615 94588887916544 94588915172945 140736091267520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94588923675784 94588924107392 94588957696000 140736091269464 140736091269640 140736091269640 140736091275244 0
/proc/165490/statm: 1250231 1173862 3584 6655 0 1227668 0
Current children cumulated CPU time: 2471.75 s
Current children cumulated vsize: 5000924 KiB
Current children cumulated memory: 4695448 KiB
[startup+1516.61 s]
/proc/loadavg: 2.21 3.05 3.90 3/239 165625
/proc/meminfo: memFree=95914188/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1516.64
CPU time (s): 2472.01
CPU user time (s): 2462.78
CPU system time (s): 9.22277
CPU usage (%): 162.992
Max. virtual memory (cumulated for all children) (KiB): 12132704
Max. memory (cumulated for all children) (KiB): 11047440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2462.78
system time used= 9.22277
maximum resident set size= 8804248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3171650
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= 340
involuntary context switches= 13898
# summary of solver processes directly reported to runsolver:
# pid: 165490
# total CPU time (s): 2472.01
# total CPU user time (s): 2462.78
# total CPU system time (s): 9.22277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99278 second user time and 9.52618 second system time
The end
Begin job on nodeC008 at 2025-07-22 20:25:37
IDJOB=4542182
IDBENCH=163905
IDSOLVER=3337
FILE ID=nodeC008/4542182-1753208736
RUNJOBID= nodeC008-1753198970-164297
SLURM_JOB_ID= 9687741
Free space on /tmp= 432464 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542182-1753208736/watcher-4542182-1753208736 -o /tmp/evaluation-result-4542182-1753208736/solver-4542182-1753208736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753198970-164297 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542182-1753208736.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=1665046552
nodeC008 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 : 0xb00001f
cpu MHz : 3491.840
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1796.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.114
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.207
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3660.642
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3661.959
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.326
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 121921236 kB
MemAvailable: 123002692 kB
Buffers: 2128 kB
Cached: 1853744 kB
SwapCached: 24 kB
Active: 7896028 kB
Inactive: 837516 kB
Active(anon): 6872216 kB
Inactive(anon): 31576 kB
Active(file): 1023812 kB
Inactive(file): 805940 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69284 kB
Writeback: 0 kB
AnonPages: 6880780 kB
Mapped: 152200 kB
Shmem: 26120 kB
KReclaimable: 182660 kB
Slab: 273316 kB
SReclaimable: 182660 kB
SUnreclaim: 90656 kB
KernelStack: 4080 kB
PageTables: 16844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 8402660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4593664 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432508 MiB
End job on nodeC008 at 2025-07-22 20:50:54