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: 63794 MiB (58965 MiB free)
memory of node 1: 64507 MiB (61458 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528728-1752249512/watcher-4528728-1752249512 -o /tmp/evaluation-result-4528728-1752249512/solver-4528728-1752249512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752245588-123023 --watchdog 3760 pb_picat HOME/instance-4528728-1752249512.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123831, runsolver pid=123828
[startup+0.100067 s]*
/proc/loadavg: 4.13 4.12 4.14 5/250 123832
/proc/meminfo: memFree=123301588/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2027148 memory=23696 CPUtime=0.08 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 1009 0 0 0 8 0 0 0 20 0 1 0 140630930 2075799552 5924 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 506787 5924 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23696 KiB
[startup+0.212884 s]*
/proc/loadavg: 4.13 4.12 4.14 5/250 123832
/proc/meminfo: memFree=123277012/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2027148 memory=46824 CPUtime=0.19 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 1144 0 0 0 18 1 0 0 20 0 1 0 140630930 2075799552 11706 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 506787 11706 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46824 KiB
[startup+0.313901 s]*
/proc/loadavg: 4.13 4.12 4.14 5/250 123832
/proc/meminfo: memFree=123264724/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2027148 memory=59376 CPUtime=0.27 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 1155 0 0 0 26 1 0 0 20 0 1 0 140630930 2075799552 14844 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 506787 14844 1600 343 0 503851 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 59376 KiB
[startup+0.700217 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 123832
/proc/meminfo: memFree=123248340/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2027148 memory=96240 CPUtime=0.62 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 1173 0 0 0 60 2 0 0 20 0 1 0 140630930 2075799552 24060 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 506787 24060 1600 343 0 503851 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 96240 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 123832
/proc/meminfo: memFree=123186900/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2027148 memory=196592 CPUtime=1.41 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 1222 0 0 0 137 4 0 0 20 0 1 0 140630930 2075799552 49148 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 506787 49148 1600 343 0 503851 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 196592 KiB
[startup+3.10521 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 123832
/proc/meminfo: memFree=122908216/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2027148 memory=434160 CPUtime=2.99 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 1386 0 0 0 291 8 0 0 20 0 1 0 140630930 2075799552 108540 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 506787 108540 1600 343 0 503851 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 434160 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 123832
/proc/meminfo: memFree=122377312/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2305432 memory=1028996 CPUtime=6.16 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 11094 0 0 0 591 25 0 0 20 0 1 0 140630930 2360762368 257249 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 576358 257249 1696 343 0 573422 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 2305432 KiB
Current children cumulated memory: 1028996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.14 5/250 123832
/proc/meminfo: memFree=122122116/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2548972 memory=1212956 CPUtime=12.51 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 24152 0 0 0 1221 30 0 0 20 0 1 0 140630930 2610147328 303239 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 637243 303239 1728 343 0 634307 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 2548972 KiB
Current children cumulated memory: 1212956 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.14 5/250 123833
/proc/meminfo: memFree=122074328/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2574516 memory=1267416 CPUtime=25.25 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 36130 0 0 0 2486 39 0 0 20 0 1 0 140630930 2636304384 316854 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 643629 316854 1728 343 0 640693 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 2574516 KiB
Current children cumulated memory: 1267416 KiB
[startup+51.1126 s]
/proc/loadavg: 4.17 4.13 4.14 5/249 123878
/proc/meminfo: memFree=121430708/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1262972 CPUtime=50.77 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 52274 0 0 0 5023 54 0 0 20 0 1 0 140630930 2663821312 315743 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315743 1728 343 0 647411 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1262972 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/249 123880
/proc/meminfo: memFree=121388760/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1283452 CPUtime=101.79 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 58867 0 0 0 10116 63 0 0 20 0 1 0 140630930 2663821312 320863 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 320863 1728 343 0 647411 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1283452 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.15 4.14 5/249 123893
/proc/meminfo: memFree=121413284/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1252732 CPUtime=161.6 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 67162 0 0 0 16087 73 0 0 20 0 1 0 140630930 2663821312 313183 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 313183 1728 343 0 647411 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1252732 KiB
[startup+222.3 s]
/proc/loadavg: 4.62 4.29 4.19 5/250 123896
/proc/meminfo: memFree=121407256/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1252732 CPUtime=221.42 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 71309 0 0 0 22064 78 0 0 20 0 1 0 140630930 2663821312 313183 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 313183 1728 343 0 647411 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1252732 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.25 4.18 5/250 123898
/proc/meminfo: memFree=121458312/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1252732 CPUtime=281.23 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 75464 0 0 0 28042 81 0 0 20 0 1 0 140630930 2663821312 313183 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 313183 1728 343 0 647411 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1252732 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/250 123901
/proc/meminfo: memFree=121410092/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1254780 CPUtime=341.04 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 80964 0 0 0 34016 88 0 0 20 0 1 0 140630930 2663821312 313695 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 313695 1728 343 0 647411 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1254780 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/250 123903
/proc/meminfo: memFree=121411236/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1250684 CPUtime=400.86 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 82371 0 0 0 39996 90 0 0 20 0 1 0 140630930 2663821312 312671 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 312671 1728 343 0 647411 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1250684 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/251 123908
/proc/meminfo: memFree=121404440/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1252732 CPUtime=460.67 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 82372 0 0 0 45977 90 0 0 20 0 1 0 140630930 2663821312 313183 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 313183 1728 343 0 647411 0
################
# More data... #
################
Current children cumulated memory: 1266816 KiB
[startup+2922.3 s]
/proc/loadavg: 3.09 3.15 3.32 4/243 124051
/proc/meminfo: memFree=121510752/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1262720 CPUtime=2913.08 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 206635 0 0 0 291047 261 0 0 20 0 1 0 140630930 2663821312 315680 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315680 1728 343 0 647411 0
Current children cumulated CPU time: 2913.08 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1262720 KiB
[startup+2982.3 s]
/proc/loadavg: 3.21 3.17 3.31 4/244 124054
/proc/meminfo: memFree=121496204/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1256576 CPUtime=2972.89 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 210748 0 0 0 297023 266 0 0 20 0 1 0 140630930 2663821312 314144 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 314144 1728 343 0 647411 0
Current children cumulated CPU time: 2972.89 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1256576 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.15 3.29 4/246 124062
/proc/meminfo: memFree=121488412/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1260672 CPUtime=3032.71 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 213547 0 0 0 303002 269 0 0 20 0 1 0 140630930 2663821312 315168 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315168 1728 343 0 647411 0
Current children cumulated CPU time: 3032.71 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1260672 KiB
[startup+3102.3 s]
/proc/loadavg: 3.17 3.15 3.28 4/246 124064
/proc/meminfo: memFree=121419440/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1256576 CPUtime=3092.53 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 214924 0 0 0 308982 271 0 0 20 0 1 0 140630930 2663821312 314144 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 314144 1728 343 0 647411 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1256576 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.14 3.27 4/246 124066
/proc/meminfo: memFree=121495604/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1254528 CPUtime=3152.35 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 219050 0 0 0 314960 275 0 0 20 0 1 0 140630930 2663821312 313632 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 313632 1728 343 0 647411 0
Current children cumulated CPU time: 3152.35 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1254528 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.13 3.26 4/246 124068
/proc/meminfo: memFree=121485044/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1256576 CPUtime=3212.17 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 223226 0 0 0 320938 279 0 0 20 0 1 0 140630930 2663821312 314144 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 314144 1728 343 0 647411 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1256576 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.13 3.25 4/245 124070
/proc/meminfo: memFree=121485296/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1258624 CPUtime=3271.98 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 223227 0 0 0 326919 279 0 0 20 0 1 0 140630930 2663821312 314656 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 314656 1728 343 0 647411 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1258624 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.12 3.24 4/243 124071
/proc/meminfo: memFree=121445372/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1258624 CPUtime=3331.8 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 223227 0 0 0 332901 279 0 0 20 0 1 0 140630930 2663821312 314656 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 314656 1728 343 0 647411 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1258624 KiB
[startup+3402.3 s]
/proc/loadavg: 2.79 3.04 3.21 3/237 124104
/proc/meminfo: memFree=121500316/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1256576 CPUtime=3391.58 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 224598 0 0 0 338874 284 0 0 20 0 1 0 140630930 2663821312 314144 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 314144 1728 343 0 647411 0
Current children cumulated CPU time: 3391.58 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1256576 KiB
[startup+3462.3 s]
/proc/loadavg: 2.43 2.90 3.14 3/237 124106
/proc/meminfo: memFree=121495900/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1260672 CPUtime=3451.37 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 227425 0 0 0 344850 287 0 0 20 0 1 0 140630930 2663821312 315168 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315168 1728 343 0 647411 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1260672 KiB
[startup+3522.3 s]
/proc/loadavg: 2.21 2.75 3.07 3/238 124111
/proc/meminfo: memFree=121492416/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1262720 CPUtime=3511.16 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 232915 0 0 0 350823 293 0 0 20 0 1 0 140630930 2663821312 315680 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315680 1728 343 0 647411 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1262720 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.64 3.01 3/239 124114
/proc/meminfo: memFree=121545596/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1262720 CPUtime=3570.96 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 235662 0 0 0 356799 297 0 0 20 0 1 0 140630930 2663821312 315680 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315680 1728 343 0 647411 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1262720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 2.11 2.58 2.98 3/239 124115
/proc/meminfo: memFree=121562232/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1262720 CPUtime=3600.06 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 235662 0 0 0 359709 297 0 0 20 0 1 0 140630930 2663821312 315680 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315680 1728 343 0 647411 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1262720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 123831 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.09 s, system=2.97891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 2.11 2.58 2.98 3/239 124115
/proc/meminfo: memFree=121562232/131382116 swapFree=33010684/33010684
[pid=123831] ppid=123828 vsize=2601388 memory=1262720 CPUtime=3600.06 cores=5,7
/proc/123831/stat : 123831 (pb_picat) R 123828 123831 123010 0 -1 4194304 235662 0 0 0 359709 297 0 0 20 0 1 0 140630930 2663821312 315680 18446744073709551615 94129459294208 94129460695789 140732348296576 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94129460967216 94129462841456 94129500631040 140732348303772 140732348303848 140732348303848 140732348309452 0
/proc/123831/statm: 650347 315680 1728 343 0 647411 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2601388 KiB
Current children cumulated memory: 1262720 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.51
CPU time (s): 3600.07
CPU user time (s): 3597.09
CPU system time (s): 2.97891
CPU usage (%): 99.6833
Max. virtual memory (cumulated for all children) (KiB): 2732460
Max. memory (cumulated for all children) (KiB): 1316224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.09
system time used= 2.97891
maximum resident set size= 1316224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235662
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= 76
involuntary context switches= 21045
# summary of solver processes directly reported to runsolver:
# pid: 123831
# total CPU time (s): 3600.07
# total CPU user time (s): 3597.09
# total CPU system time (s): 2.97891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8256 second user time and 33.4547 second system time
The end
Begin job on nodeC011 at 2025-07-11 17:58:32
IDJOB=4528728
IDBENCH=179343
IDSOLVER=3385
FILE ID=nodeC011/4528728-1752249512
RUNJOBID= nodeC011-1752245588-123023
SLURM_JOB_ID= 9682576
Free space on /tmp= 430120 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528728-1752249512/watcher-4528728-1752249512 -o /tmp/evaluation-result-4528728-1752249512/solver-4528728-1752249512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752245588-123023 --watchdog 3760 pb_picat HOME/instance-4528728-1752249512.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5662c244c9130155c537b4eb4063501c
RANDOM SEED=57173473
nodeC011 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 : 3662.341
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 : 6984.20
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 : 3664.297
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 : 6984.20
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.560
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 : 6984.20
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 : 3700.000
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 : 6984.20
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 : 3623.069
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 : 6984.20
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 : 1996.461
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 : 6984.20
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 : 6984.20
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.298
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 123313876 kB
MemAvailable: 129710836 kB
Buffers: 3276 kB
Cached: 7167104 kB
SwapCached: 0 kB
Active: 696888 kB
Inactive: 6721608 kB
Active(anon): 264000 kB
Inactive(anon): 2076 kB
Active(file): 432888 kB
Inactive(file): 6719532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18800 kB
Writeback: 0 kB
AnonPages: 248012 kB
Mapped: 116888 kB
Shmem: 17960 kB
KReclaimable: 167952 kB
Slab: 257564 kB
SReclaimable: 167952 kB
SUnreclaim: 89612 kB
KernelStack: 4048 kB
PageTables: 3556 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6574548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 133120 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430124 MiB
End job on nodeC011 at 2025-07-11 18:58:44