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 (61469 MiB free)
memory of node 1: 64465 MiB (62770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520983-1751578635/watcher-4520983-1751578635 -o /tmp/evaluation-result-4520983-1751578635/solver-4520983-1751578635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751578635-80430 --watchdog 3760 pb_picat HOME/instance-4520983-1751578635.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80487, runsolver pid=80484
[startup+0.100062 s]*
/proc/loadavg: 0.71 1.17 1.88 6/265 80488
/proc/meminfo: memFree=127180984/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2027148 memory=36636 CPUtime=0.09 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 1123 0 0 0 8 1 0 0 20 0 1 0 73542127 2075799552 9159 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 506787 9159 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36636 KiB
[startup+0.205537 s]*
/proc/loadavg: 0.71 1.17 1.88 4/261 80493
/proc/meminfo: memFree=127156408/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2027148 memory=57116 CPUtime=0.19 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 1133 0 0 0 18 1 0 0 20 0 1 0 73542127 2075799552 14279 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 506787 14279 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 57116 KiB
[startup+0.305472 s]*
/proc/loadavg: 0.71 1.17 1.88 5/261 80496
/proc/meminfo: memFree=127123640/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2027148 memory=73500 CPUtime=0.29 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 1141 0 0 0 28 1 0 0 20 0 1 0 73542127 2075799552 18375 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 506787 18375 1568 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73500 KiB
[startup+0.700173 s]
/proc/loadavg: 0.71 1.17 1.88 4/261 80496
/proc/meminfo: memFree=127049912/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2027148 memory=147228 CPUtime=0.69 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 1177 0 0 0 66 3 0 0 20 0 1 0 73542127 2075799552 36807 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 506787 36807 1568 343 0 503851 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 147228 KiB
[startup+1.50016 s]
/proc/loadavg: 0.98 1.22 1.89 4/261 80496
/proc/meminfo: memFree=126943468/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2027148 memory=290588 CPUtime=1.48 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 1247 0 0 0 142 6 0 0 20 0 1 0 73542127 2075799552 72647 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 506787 72647 1568 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 290588 KiB
[startup+3.10538 s]
/proc/loadavg: 0.98 1.22 1.89 5/265 80533
/proc/meminfo: memFree=126372096/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2027148 memory=565020 CPUtime=3.08 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 1387 0 0 0 297 11 0 0 20 0 1 0 73542127 2075799552 141255 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 506787 141255 1568 343 0 503851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 565020 KiB
[startup+6.30017 s]
/proc/loadavg: 1.22 1.27 1.90 5/265 80533
/proc/meminfo: memFree=125420828/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2216832 memory=907012 CPUtime=6.26 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 8001 0 0 0 607 19 0 0 20 0 1 0 73542127 2270035968 226753 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 554208 226753 1696 343 0 551272 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2216832 KiB
Current children cumulated memory: 907012 KiB
[startup+12.7001 s]
/proc/loadavg: 1.52 1.33 1.92 5/265 80578
/proc/meminfo: memFree=125062860/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2216832 memory=903940 CPUtime=12.65 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 9096 0 0 0 1245 20 0 0 20 0 1 0 73542127 2270035968 225985 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 554208 225985 1696 343 0 551272 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2216832 KiB
Current children cumulated memory: 903940 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 1.43 1.95 5/265 80579
/proc/meminfo: memFree=125050528/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2233216 memory=910144 CPUtime=25.4 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 9606 0 0 0 2520 20 0 0 20 0 1 0 73542127 2286813184 227536 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 558304 227536 1696 343 0 555368 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2233216 KiB
Current children cumulated memory: 910144 KiB
[startup+51.1055 s]
/proc/loadavg: 2.78 1.68 2.02 5/265 80579
/proc/meminfo: memFree=125032892/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2233216 memory=914928 CPUtime=50.92 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 12290 0 0 0 5071 21 0 0 20 0 1 0 73542127 2286813184 228732 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 558304 228732 1696 343 0 555368 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2233216 KiB
Current children cumulated memory: 914928 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.06 2.13 5/266 80582
/proc/meminfo: memFree=124976444/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2233216 memory=931312 CPUtime=101.94 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 16479 0 0 0 10170 24 0 0 20 0 1 0 73542127 2286813184 232828 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 558304 232828 1696 343 0 555368 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2233216 KiB
Current children cumulated memory: 931312 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 2.52 2.28 5/266 80584
/proc/meminfo: memFree=124971776/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2233216 memory=931320 CPUtime=161.74 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 20663 0 0 0 16147 27 0 0 20 0 1 0 73542127 2286813184 232830 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 558304 232830 1696 343 0 555368 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2233216 KiB
Current children cumulated memory: 931320 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.80 2.40 5/265 80586
/proc/meminfo: memFree=124985000/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2208640 memory=903448 CPUtime=221.54 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 25513 0 0 0 22124 30 0 0 20 0 1 0 73542127 2261647360 225862 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 552160 225862 1696 343 0 549224 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 2208640 KiB
Current children cumulated memory: 903448 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.04 2.51 5/266 80593
/proc/meminfo: memFree=124964484/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2265984 memory=940024 CPUtime=281.33 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 30741 0 0 0 28099 34 0 0 20 0 1 0 73542127 2320367616 235006 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 566496 235006 1696 343 0 563560 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 2265984 KiB
Current children cumulated memory: 940024 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.23 2.61 5/265 80595
/proc/meminfo: memFree=124957880/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2265984 memory=939768 CPUtime=341.13 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 33343 0 0 0 34077 36 0 0 20 0 1 0 73542127 2320367616 234942 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 566496 234942 1696 343 0 563560 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 2265984 KiB
Current children cumulated memory: 939768 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.39 2.70 5/263 80597
/proc/meminfo: memFree=124946444/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2298752 memory=941304 CPUtime=400.92 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 37755 0 0 0 40054 38 0 0 20 0 1 0 73542127 2353922048 235326 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 574688 235326 1696 343 0 571752 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 2298752 KiB
Current children cumulated memory: 941304 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.53 2.80 5/263 80599
/proc/meminfo: memFree=124937568/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2298752 memory=943608 CPUtime=460.71 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 42666 0 0 0 46030 41 0 0 20 0 1 0 73542127 2353922048 235902 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 574688 235902 1696 343 0 571752 0
################
# More data... #
################
Current children cumulated memory: 997116 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/264 80744
/proc/meminfo: memFree=124773932/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=983428 CPUtime=2913.22 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 135062 0 0 0 291221 101 0 0 20 0 1 0 73542127 2357485568 245857 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 245857 1696 343 0 572622 0
Current children cumulated CPU time: 2913.22 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 983428 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 80746
/proc/meminfo: memFree=124723252/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=995344 CPUtime=2973.01 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 138028 0 0 0 297197 104 0 0 20 0 1 0 73542127 2357485568 248836 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 248836 1696 343 0 572622 0
Current children cumulated CPU time: 2973.01 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 995344 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 80748
/proc/meminfo: memFree=124768040/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2269464 memory=976912 CPUtime=3032.8 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 138373 0 0 0 303176 104 0 0 20 0 1 0 73542127 2323931136 244228 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 567366 244228 1696 343 0 564430 0
Current children cumulated CPU time: 3032.8 s
Current children cumulated vsize: 2269464 KiB
Current children cumulated memory: 976912 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 80750
/proc/meminfo: memFree=124760800/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=966544 CPUtime=3092.59 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 141906 0 0 0 309152 107 0 0 20 0 1 0 73542127 2357485568 241636 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 241636 1696 343 0 572622 0
Current children cumulated CPU time: 3092.59 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 966544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/263 80752
/proc/meminfo: memFree=124740472/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=981008 CPUtime=3152.38 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 141945 0 0 0 315131 107 0 0 20 0 1 0 73542127 2357485568 245252 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 245252 1696 343 0 572622 0
Current children cumulated CPU time: 3152.38 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 981008 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 80754
/proc/meminfo: memFree=124700688/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=985104 CPUtime=3212.17 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 142235 0 0 0 321110 107 0 0 20 0 1 0 73542127 2357485568 246276 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 246276 1696 343 0 572622 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 985104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/263 80760
/proc/meminfo: memFree=124703816/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2367768 memory=1009680 CPUtime=3271.96 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 145328 0 0 0 327085 111 0 0 20 0 1 0 73542127 2424594432 252420 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 591942 252420 1696 343 0 589006 0
Current children cumulated CPU time: 3271.96 s
Current children cumulated vsize: 2367768 KiB
Current children cumulated memory: 1009680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/262 80761
/proc/meminfo: memFree=124745668/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=978960 CPUtime=3331.75 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 149414 0 0 0 333060 115 0 0 20 0 1 0 73542127 2357485568 244740 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 244740 1696 343 0 572622 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 978960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 80764
/proc/meminfo: memFree=124720444/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=995344 CPUtime=3391.54 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 153721 0 0 0 339034 120 0 0 20 0 1 0 73542127 2357485568 248836 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 248836 1696 343 0 572622 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 995344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/263 80766
/proc/meminfo: memFree=124771256/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2269464 memory=962576 CPUtime=3451.32 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 155747 0 0 0 345010 122 0 0 20 0 1 0 73542127 2323931136 240644 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 567366 240644 1696 343 0 564430 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 2269464 KiB
Current children cumulated memory: 962576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/264 80771
/proc/meminfo: memFree=124742176/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=991248 CPUtime=3511.12 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 158500 0 0 0 350987 125 0 0 20 0 1 0 73542127 2357485568 247812 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 247812 1696 343 0 572622 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 991248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/264 80773
/proc/meminfo: memFree=124725812/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=1001488 CPUtime=3570.91 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 159857 0 0 0 356965 126 0 0 20 0 1 0 73542127 2357485568 250372 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 250372 1696 343 0 572622 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 1001488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 80774
/proc/meminfo: memFree=124714832/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=989200 CPUtime=3600 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 160693 0 0 0 359874 126 0 0 20 0 1 0 73542127 2357485568 247300 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 247300 1696 343 0 572622 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 989200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 80487 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.74 s, system=1.27283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 80774
/proc/meminfo: memFree=124714832/131250000 swapFree=33010672/33010684
[pid=80487] ppid=80484 vsize=2302232 memory=989200 CPUtime=3600 cores=1,3
/proc/80487/stat : 80487 (pb_picat) R 80484 80487 80418 0 -1 4194304 160693 0 0 0 359874 126 0 0 20 0 1 0 73542127 2357485568 247300 18446744073709551615 94102675202048 94102676603629 140721956362016 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102676875056 94102678749360 94102708408320 140721956366750 140721956366826 140721956366826 140721956372428 0
/proc/80487/statm: 575558 247300 1696 343 0 572622 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2302232 KiB
Current children cumulated memory: 989200 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.5
CPU time (s): 3600.02
CPU user time (s): 3598.74
CPU system time (s): 1.27283
CPU usage (%): 99.6819
Max. virtual memory (cumulated for all children) (KiB): 2367768
Max. memory (cumulated for all children) (KiB): 1011728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.74
system time used= 1.27283
maximum resident set size= 1011728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160693
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= 80
involuntary context switches= 2199
# summary of solver processes directly reported to runsolver:
# pid: 80487
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.74
# total CPU system time (s): 1.27283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67335 second user time and 16.8739 second system time
The end
Begin job on nodeC026 at 2025-07-03 23:37:15
IDJOB=4520983
IDBENCH=178176
IDSOLVER=3346
FILE ID=nodeC026/4520983-1751578635
RUNJOBID= nodeC026-1751578635-80430
SLURM_JOB_ID= 9598811
Free space on /tmp= 430536 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520983-1751578635/watcher-4520983-1751578635 -o /tmp/evaluation-result-4520983-1751578635/solver-4520983-1751578635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751578635-80430 --watchdog 3760 pb_picat HOME/instance-4520983-1751578635.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 938881248995c1811678b4b6ed7e25b4
RANDOM SEED=1008830960
nodeC026 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 : 1635.753
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.59
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.565
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.59
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 : 1740.404
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.59
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.825
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.59
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 : 1643.387
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.59
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 : 3603.124
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.59
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 : 1756.539
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.59
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.916
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127257592 kB
MemAvailable: 129558248 kB
Buffers: 2128 kB
Cached: 2929276 kB
SwapCached: 4 kB
Active: 743148 kB
Inactive: 2259172 kB
Active(anon): 79320 kB
Inactive(anon): 9688 kB
Active(file): 663828 kB
Inactive(file): 2249484 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32000 kB
Writeback: 0 kB
AnonPages: 74076 kB
Mapped: 104340 kB
Shmem: 18076 kB
KReclaimable: 448144 kB
Slab: 548108 kB
SReclaimable: 448144 kB
SUnreclaim: 99964 kB
KernelStack: 4176 kB
PageTables: 2992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 395104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430512 MiB
End job on nodeC026 at 2025-07-04 00:37:27