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 (62995 MiB free)
memory of node 1: 64465 MiB (63862 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513003-1751209547/watcher-4513003-1751209547 -o /tmp/evaluation-result-4513003-1751209547/solver-4513003-1751209547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751209547-27265 --watchdog 3760 pb_picat HOME/instance-4513003-1751209547.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=27315, runsolver pid=27306
[startup+0.100063 s]*
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129795768/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2027148 memory=34472 CPUtime=0.09 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 1136 0 0 0 8 1 0 0 20 0 1 0 36632256 2075799552 8618 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 506787 8618 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34472 KiB
[startup+0.205839 s]*
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129771256/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2027972 memory=39988 CPUtime=0.19 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 1407 0 0 0 18 1 0 0 20 0 1 0 36632256 2076643328 9997 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 506993 9997 1664 343 0 504057 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027972 KiB
Current children cumulated memory: 39988 KiB
[startup+0.304927 s]*
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129771720/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2032176 memory=42548 CPUtime=0.29 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 2199 0 0 0 28 1 0 0 20 0 1 0 36632256 2080948224 10637 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 508044 10637 1664 343 0 505108 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2032176 KiB
Current children cumulated memory: 42548 KiB
[startup+0.700117 s]
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129768192/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2034808 memory=45316 CPUtime=0.68 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 4186 0 0 0 66 2 0 0 20 0 1 0 36632256 2083643392 11329 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 508702 11329 1664 343 0 505766 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034808 KiB
Current children cumulated memory: 45316 KiB
[startup+1.50011 s]
/proc/loadavg: 0.87 1.33 1.99 5/266 27324
/proc/meminfo: memFree=129768192/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2034980 memory=45308 CPUtime=1.47 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 6272 0 0 0 145 2 0 0 20 0 1 0 36632256 2083819520 11327 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 508745 11327 1664 343 0 505809 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2034980 KiB
Current children cumulated memory: 45308 KiB
[startup+3.10488 s]
/proc/loadavg: 0.87 1.33 1.99 5/266 27324
/proc/meminfo: memFree=129763476/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2037320 memory=46664 CPUtime=3.08 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 8960 0 0 0 305 3 0 0 20 0 1 0 36632256 2086215680 11666 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 509330 11666 1664 343 0 506394 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2037320 KiB
Current children cumulated memory: 46664 KiB
[startup+6.3001 s]
/proc/loadavg: 1.12 1.37 2.00 5/267 27326
/proc/meminfo: memFree=129755508/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2037320 memory=48512 CPUtime=6.26 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 12780 0 0 0 622 4 0 0 20 0 1 0 36632256 2086215680 12128 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 509330 12128 1664 343 0 506394 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2037320 KiB
Current children cumulated memory: 48512 KiB
[startup+12.7001 s]
/proc/loadavg: 1.43 1.43 2.02 5/267 27326
/proc/meminfo: memFree=129744672/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2037320 memory=49228 CPUtime=12.65 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 22338 0 0 0 1259 6 0 0 20 0 1 0 36632256 2086215680 12307 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 509330 12307 1664 343 0 506394 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2037320 KiB
Current children cumulated memory: 49228 KiB
[startup+25.5001 s]
/proc/loadavg: 1.83 1.52 2.04 5/267 27326
/proc/meminfo: memFree=129731320/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2037684 memory=48632 CPUtime=25.42 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 43895 0 0 0 2531 11 0 0 20 0 1 0 36632256 2086588416 12158 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 509421 12158 1664 343 0 506485 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2037684 KiB
Current children cumulated memory: 48632 KiB
[startup+51.1049 s]
/proc/loadavg: 2.69 1.76 2.10 5/266 27326
/proc/meminfo: memFree=129702084/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2054268 memory=62544 CPUtime=50.96 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 76395 0 0 0 5075 21 0 0 20 0 1 0 36632256 2103570432 15636 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 513567 15636 1664 343 0 510631 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2054268 KiB
Current children cumulated memory: 62544 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.12 2.21 5/265 27373
/proc/meminfo: memFree=129712480/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2036556 memory=47940 CPUtime=102.02 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 129393 0 0 0 10165 37 0 0 20 0 1 0 36632256 2085433344 11985 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 509139 11985 1664 343 0 506203 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2036556 KiB
Current children cumulated memory: 47940 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.48 2.33 5/266 27420
/proc/meminfo: memFree=129685312/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2054988 memory=55500 CPUtime=161.86 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 190094 0 0 0 16129 57 0 0 20 0 1 0 36632256 2104307712 13875 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 513747 13875 1664 343 0 510811 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2054988 KiB
Current children cumulated memory: 55500 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.77 2.44 5/267 27427
/proc/meminfo: memFree=129674300/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2042924 memory=50236 CPUtime=221.71 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 244805 0 0 0 22097 74 0 0 20 0 1 0 36632256 2091954176 12559 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 510731 12559 1664 343 0 507795 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2042924 KiB
Current children cumulated memory: 50236 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 3.01 2.55 5/267 27429
/proc/meminfo: memFree=129667112/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2047020 memory=53376 CPUtime=281.55 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 296179 0 0 0 28063 92 0 0 20 0 1 0 36632256 2096148480 13344 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 511755 13344 1664 343 0 508819 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2047020 KiB
Current children cumulated memory: 53376 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.21 2.65 5/264 27431
/proc/meminfo: memFree=129672328/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2049068 memory=55796 CPUtime=341.39 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 340208 0 0 0 34032 107 0 0 20 0 1 0 36632256 2098245632 13949 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 512267 13949 1664 343 0 509331 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2049068 KiB
Current children cumulated memory: 55796 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.39 2.74 5/264 27433
/proc/meminfo: memFree=129675980/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2051720 memory=57600 CPUtime=401.22 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 387858 0 0 0 39998 124 0 0 20 0 1 0 36632256 2100961280 14400 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 512930 14400 1664 343 0 509994 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2051720 KiB
Current children cumulated memory: 57600 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.52 2.83 5/264 27436
/proc/meminfo: memFree=129651536/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2072200 memory=76776 CPUtime=461.07 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 426840 0 0 0 45967 140 0 0 20 0 1 0 36632256 2121932800 19194 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 518050 19194 1664 343 0 515114 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
/proc/loadavg: 4.07 3.84 3.13 5/267 27450
/proc/meminfo: memFree=129635196/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2052884 memory=61420 CPUtime=700.42 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 547170 0 0 0 69846 196 0 0 20 0 1 0 36632256 2102153216 15355 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 513221 15355 1664 343 0 510285 0
Current children cumulated CPU time: 700.42 s
Current children cumulated vsize: 2052884 KiB
Current children cumulated memory: 61420 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 3.89 3.19 5/267 27453
/proc/meminfo: memFree=129625516/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2065172 memory=71844 CPUtime=760.25 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 572982 0 0 0 75819 206 0 0 20 0 1 0 36632256 2114736128 17961 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 516293 17961 1664 343 0 513357 0
Current children cumulated CPU time: 760.25 s
Current children cumulated vsize: 2065172 KiB
Current children cumulated memory: 71844 KiB
[startup+822.3 s]
/proc/loadavg: 4.07 3.92 3.25 5/267 27459
/proc/meminfo: memFree=129655788/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2073364 memory=74972 CPUtime=820.08 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 594843 0 0 0 81788 220 0 0 20 0 1 0 36632256 2123124736 18743 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 518341 18743 1664 343 0 515405 0
Current children cumulated CPU time: 820.08 s
Current children cumulated vsize: 2073364 KiB
Current children cumulated memory: 74972 KiB
[startup+882.3 s]
/proc/loadavg: 4.12 3.97 3.31 5/265 27461
/proc/meminfo: memFree=129637704/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2065172 memory=71844 CPUtime=879.92 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 620887 0 0 0 87759 233 0 0 20 0 1 0 36632256 2114736128 17961 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 516293 17961 1664 343 0 513357 0
Current children cumulated CPU time: 879.92 s
Current children cumulated vsize: 2065172 KiB
Current children cumulated memory: 71844 KiB
[startup+942.3 s]
/proc/loadavg: 4.10 3.99 3.36 5/265 27463
/proc/meminfo: memFree=129639584/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2081704 memory=76088 CPUtime=939.76 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 640762 0 0 0 93734 242 0 0 20 0 1 0 36632256 2131664896 19022 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 520426 19022 1664 343 0 517490 0
Current children cumulated CPU time: 939.76 s
Current children cumulated vsize: 2081704 KiB
Current children cumulated memory: 76088 KiB
[startup+1002.3 s]
/proc/loadavg: 4.14 4.02 3.41 5/264 27467
/proc/meminfo: memFree=129630540/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2073512 memory=84280 CPUtime=999.59 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 663199 0 0 0 99705 254 0 0 20 0 1 0 36632256 2123276288 21070 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 518378 21070 1664 343 0 515442 0
Current children cumulated CPU time: 999.59 s
Current children cumulated vsize: 2073512 KiB
Current children cumulated memory: 84280 KiB
[startup+1062.3 s]
/proc/loadavg: 4.11 4.03 3.46 5/263 27469
/proc/meminfo: memFree=129634744/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2065320 memory=64648 CPUtime=1059.43 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 677538 0 0 0 105682 261 0 0 20 0 1 0 36632256 2114887680 16162 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 516330 16162 1664 343 0 513394 0
Current children cumulated CPU time: 1059.43 s
Current children cumulated vsize: 2065320 KiB
Current children cumulated memory: 64648 KiB
[startup+1110.26 s]
# the end of solver process 27315 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1104.55 s, system=2.71256 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 4.09 4.03 3.46 5/263 27469
/proc/meminfo: memFree=129641140/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2065320 memory=74040 CPUtime=1072.29 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 682981 0 0 0 106966 263 0 0 20 0 1 0 36632256 2114887680 18510 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 516330 18510 1664 343 0 513394 0
Current children cumulated CPU time: 1072.29 s
Current children cumulated vsize: 2065320 KiB
Current children cumulated memory: 74040 KiB
[startup+1088 s]*
/proc/loadavg: 4.15 4.04 3.48 5/263 27470
/proc/meminfo: memFree=129630928/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2081704 memory=78068 CPUtime=1085.06 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 687441 0 0 0 108241 265 0 0 20 0 1 0 36632256 2131664896 19517 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 520426 19517 1664 343 0 517490 0
Current children cumulated CPU time: 1085.06 s
Current children cumulated vsize: 2081704 KiB
Current children cumulated memory: 78068 KiB
[startup+1100.8 s]
/proc/loadavg: 4.13 4.04 3.48 5/263 27470
/proc/meminfo: memFree=129631432/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2081872 memory=74940 CPUtime=1097.82 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 691631 0 0 0 109515 267 0 0 20 0 1 0 36632256 2131836928 18735 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 520468 18735 1664 343 0 517532 0
Current children cumulated CPU time: 1097.82 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 74940 KiB
[startup+1107.2 s]
/proc/loadavg: 4.11 4.04 3.49 5/263 27470
/proc/meminfo: memFree=129627936/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2057296 memory=65104 CPUtime=1104.2 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 694778 0 0 0 110151 269 0 0 20 0 1 0 36632256 2106671104 16276 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 514324 16276 1664 343 0 511388 0
Current children cumulated CPU time: 1104.2 s
Current children cumulated vsize: 2057296 KiB
Current children cumulated memory: 65104 KiB
[startup+1108.8 s]
/proc/loadavg: 4.11 4.04 3.49 5/263 27470
/proc/meminfo: memFree=129619744/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2073680 memory=80352 CPUtime=1105.8 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 695504 0 0 0 110310 270 0 0 20 0 1 0 36632256 2123448320 20088 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 518420 20088 1664 343 0 515484 0
Current children cumulated CPU time: 1105.8 s
Current children cumulated vsize: 2073680 KiB
Current children cumulated memory: 80352 KiB
[startup+1109.6 s]
/proc/loadavg: 4.11 4.04 3.49 5/263 27470
/proc/meminfo: memFree=129646596/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2106448 memory=85728 CPUtime=1106.6 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 695858 0 0 0 110390 270 0 0 20 0 1 0 36632256 2157002752 21432 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 526612 21432 1664 343 0 523676 0
Current children cumulated CPU time: 1106.6 s
Current children cumulated vsize: 2106448 KiB
Current children cumulated memory: 85728 KiB
[startup+1110 s]*
/proc/loadavg: 4.11 4.04 3.49 5/263 27470
/proc/meminfo: memFree=129635556/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2106448 memory=90592 CPUtime=1107 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 696025 0 0 0 110430 270 0 0 20 0 1 0 36632256 2157002752 22648 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 526612 22648 1664 343 0 523676 0
Current children cumulated CPU time: 1107 s
Current children cumulated vsize: 2106448 KiB
Current children cumulated memory: 90592 KiB
[startup+1110.2 s]
/proc/loadavg: 4.11 4.04 3.49 5/263 27470
/proc/meminfo: memFree=129635556/131250000 swapFree=33010684/33010684
[pid=27315] ppid=27306 vsize=2106448 memory=90592 CPUtime=1107.19 cores=4,6
/proc/27315/stat : 27315 (pb_picat) R 27306 27315 27252 0 -1 4194304 696025 0 0 0 110449 270 0 0 20 0 1 0 36632256 2157002752 22648 18446744073709551615 94601596751872 94601598153453 140734469959552 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94601598424880 94601600299184 94601615958016 140734469962142 140734469962218 140734469962218 140734469967820 0
/proc/27315/statm: 526612 22648 1664 343 0 523676 0
Current children cumulated CPU time: 1107.19 s
Current children cumulated vsize: 2106448 KiB
Current children cumulated memory: 90592 KiB
Child status: 0
Real time (s): 1110.26
CPU time (s): 1107.26
CPU user time (s): 1104.55
CPU system time (s): 2.71256
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 2114640
Max. memory (cumulated for all children) (KiB): 115000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1104.55
system time used= 2.71257
maximum resident set size= 119096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696042
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= 68
involuntary context switches= 1424
# summary of solver processes directly reported to runsolver:
# pid: 27315
# total CPU time (s): 1107.26
# total CPU user time (s): 1104.55
# total CPU system time (s): 2.71256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16778 second user time and 4.48613 second system time
The end
Begin job on nodeC019 at 2025-06-29 17:05:47
IDJOB=4513003
IDBENCH=162247
IDSOLVER=3346
FILE ID=nodeC019/4513003-1751209547
RUNJOBID= nodeC019-1751209547-27265
SLURM_JOB_ID= 9587644
Free space on /tmp= 433064 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-4.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513003-1751209547/watcher-4513003-1751209547 -o /tmp/evaluation-result-4513003-1751209547/solver-4513003-1751209547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751209547-27265 --watchdog 3760 pb_picat HOME/instance-4513003-1751209547.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62b9b3a7043eef7698d06bd9353a3da3
RANDOM SEED=683218520
nodeC019 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.721
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.37
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.668
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.37
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 : 3599.935
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.664
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.37
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.668
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.37
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 : 2695.641
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.338
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.37
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.693
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129896648 kB
MemAvailable: 129779040 kB
Buffers: 3280 kB
Cached: 691868 kB
SwapCached: 0 kB
Active: 327372 kB
Inactive: 435140 kB
Active(anon): 85428 kB
Inactive(anon): 0 kB
Active(file): 241944 kB
Inactive(file): 435140 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11988 kB
Writeback: 0 kB
AnonPages: 70424 kB
Mapped: 102412 kB
Shmem: 18064 kB
KReclaimable: 89092 kB
Slab: 174544 kB
SReclaimable: 89092 kB
SUnreclaim: 85452 kB
KernelStack: 3956 kB
PageTables: 2692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC019 at 2025-06-29 17:24:18