0.39/0.42 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.39/0.42 c Do: 140728210468968 140728210468976
0.39/0.42 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.50/0.55 c Starting SCIP solver (with time-limit = 1800s) ...
1795.27/1800.56 c SCIP timeout with lower and upper bounds: [2255679, 9223372036854775807]
3600.05/3610.60 s UNKNOWN
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 (60169 MiB free)
memory of node 1: 64465 MiB (61486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505099-1751465576/watcher-4505099-1751465576 -o /tmp/evaluation-result-4505099-1751465576/solver-4505099-1751465576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751465576-64377 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4505099-1751465576.opb -total-t=3600 -no-par -v0
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64416, runsolver pid=64411
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.63 1.34 2.53 5/259 64425
/proc/meminfo: memFree=124507280/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=38928 memory=24372 CPUtime=0.09 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 5553 0 0 0 9 0 0 0 20 0 1 0 62236240 39862272 6093 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 9732 6093 864 2593 0 6625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38928 KiB
Current children cumulated memory: 24372 KiB
[startup+0.20557 s]*
/proc/loadavg: 0.63 1.34 2.53 5/259 64425
/proc/meminfo: memFree=124410260/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=55036 memory=40628 CPUtime=0.2 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 9557 0 0 0 19 1 0 0 20 0 1 0 62236240 56356864 10125 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 13759 10157 896 2593 0 10652 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55036 KiB
Current children cumulated memory: 40628 KiB
[startup+0.305406 s]*
/proc/loadavg: 0.63 1.34 2.53 5/257 64425
/proc/meminfo: memFree=124365908/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=64276 memory=49276 CPUtime=0.3 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 12582 0 0 0 28 2 0 0 20 0 1 0 62236240 65818624 12319 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 16069 12319 896 2593 0 12962 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64276 KiB
Current children cumulated memory: 49276 KiB
[startup+0.700188 s]
/proc/loadavg: 0.63 1.34 2.53 4/260 64430
/proc/meminfo: memFree=124218164/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=258956 memory=247228 CPUtime=0.69 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 60835 0 0 0 59 10 0 0 20 0 1 0 62236240 265170944 61807 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 64739 61807 2432 2593 0 61632 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 258956 KiB
Current children cumulated memory: 247228 KiB
[startup+1.50018 s]
/proc/loadavg: 0.63 1.34 2.53 5/262 64435
/proc/meminfo: memFree=123887744/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=355136 memory=339132 CPUtime=1.49 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 83860 0 0 0 134 15 0 0 20 0 1 0 62236240 363659264 84783 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 88784 84783 2528 2593 0 85677 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 355136 KiB
Current children cumulated memory: 339132 KiB
[startup+3.10541 s]
/proc/loadavg: 0.90 1.39 2.54 5/262 64435
/proc/meminfo: memFree=123145216/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=362964 memory=348476 CPUtime=3.08 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 86250 0 0 0 293 15 0 0 20 0 1 0 62236240 371675136 87119 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 90741 87119 2528 2593 0 87634 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 362964 KiB
Current children cumulated memory: 348476 KiB
[startup+6.30018 s]
/proc/loadavg: 0.90 1.39 2.54 5/262 64435
/proc/meminfo: memFree=122205488/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=367744 memory=353084 CPUtime=6.27 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 87422 0 0 0 611 16 0 0 20 0 1 0 62236240 376569856 88271 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 91936 88271 2528 2593 0 88829 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 367744 KiB
Current children cumulated memory: 353084 KiB
[startup+12.7002 s]
/proc/loadavg: 1.15 1.43 2.55 5/262 64435
/proc/meminfo: memFree=121292656/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=390580 memory=375996 CPUtime=12.65 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 93159 0 0 0 1248 17 0 0 20 0 1 0 62236240 399953920 93999 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 97645 93999 2528 2593 0 94538 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 390580 KiB
Current children cumulated memory: 375996 KiB
[startup+25.5002 s]
/proc/loadavg: 1.78 1.56 2.57 5/262 64435
/proc/meminfo: memFree=119788064/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=432292 memory=417340 CPUtime=25.42 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 103498 0 0 0 2521 21 0 0 20 0 1 0 62236240 442667008 104335 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 108073 104335 2528 2593 0 104966 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 432292 KiB
Current children cumulated memory: 417340 KiB
[startup+51.1054 s]
/proc/loadavg: 2.54 1.75 2.61 5/262 64436
/proc/meminfo: memFree=116984620/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=506788 memory=491724 CPUtime=50.95 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 121654 0 0 0 5070 25 0 0 20 0 1 0 62236240 518950912 122931 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 126697 122931 2528 2593 0 123590 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 506788 KiB
Current children cumulated memory: 491724 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 2.12 2.69 4/258 64446
/proc/meminfo: memFree=112860340/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=623280 memory=608532 CPUtime=101.99 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 150295 0 0 0 10167 32 0 0 20 0 1 0 62236240 638238720 152133 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 155820 152133 2528 2593 0 152713 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 623280 KiB
Current children cumulated memory: 608532 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.51 2.79 5/263 64485
/proc/meminfo: memFree=103713328/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=753928 memory=738708 CPUtime=161.82 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 182861 0 0 0 16145 37 0 0 20 0 1 0 62236240 772022272 184677 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 188482 184677 2528 2593 0 185375 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 753928 KiB
Current children cumulated memory: 738708 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.80 2.87 5/263 64487
/proc/meminfo: memFree=101288464/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=864952 memory=853396 CPUtime=221.64 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 210907 0 0 0 22121 43 0 0 20 0 1 0 62236240 885710848 213349 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 216238 213349 2528 2593 0 213131 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 864952 KiB
Current children cumulated memory: 853396 KiB
[startup+282.3 s]
/proc/loadavg: 4.01 3.02 2.95 5/264 64492
/proc/meminfo: memFree=99612352/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=998456 memory=984104 CPUtime=281.46 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 242233 0 0 0 28097 49 0 0 20 0 1 0 62236240 1022418944 246026 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 249614 246026 2624 2593 0 246507 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 998456 KiB
Current children cumulated memory: 984104 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.23 3.03 5/264 64498
/proc/meminfo: memFree=99755248/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1171736 memory=1101580 CPUtime=341.3 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 260058 0 0 0 34077 53 0 0 20 0 1 0 62236240 1199857664 275395 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 292934 275395 2656 2593 0 289827 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1171736 KiB
Current children cumulated memory: 1101580 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.39 3.10 5/264 64499
/proc/meminfo: memFree=99035804/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1275628 memory=1206668 CPUtime=401.13 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 286452 0 0 0 40055 58 0 0 20 0 1 0 62236240 1306243072 301667 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 318907 301667 2656 2593 0 315800 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1275628 KiB
Current children cumulated memory: 1206668 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.52 3.16 5/263 64501
/proc/meminfo: memFree=98738932/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1275628 memory=1206796 CPUtime=460.96 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 286556 0 0 0 46038 58 0 0 20 0 1 0 62236240 1306243072 301699 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 318907 301699 2656 2593 0 315800 0
################
# More data... #
################
Current children cumulated memory: 1447000 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/263 64612
/proc/meminfo: memFree=97290604/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=2853.94 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379260 0 0 0 285316 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/263 64625
/proc/meminfo: memFree=97295088/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=2913.76 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379336 0 0 0 291298 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/263 64626
/proc/meminfo: memFree=97269860/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=2973.59 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379406 0 0 0 297281 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 2973.59 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/263 64628
/proc/meminfo: memFree=97226632/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3033.41 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379479 0 0 0 303263 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3033.41 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/263 64630
/proc/meminfo: memFree=97182084/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3093.23 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379509 0 0 0 309245 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/263 64632
/proc/meminfo: memFree=97155984/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3153.05 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379550 0 0 0 315227 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/263 64634
/proc/meminfo: memFree=97199808/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3212.88 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379616 0 0 0 321210 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 64638
/proc/meminfo: memFree=96802420/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3272.7 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379680 0 0 0 327192 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/263 64645
/proc/meminfo: memFree=97173004/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3332.53 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379758 0 0 0 333175 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 64647
/proc/meminfo: memFree=97160208/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3392.35 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379781 0 0 0 339157 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/263 64649
/proc/meminfo: memFree=97137932/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3452.17 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379847 0 0 0 345139 78 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/263 64651
/proc/meminfo: memFree=97099072/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3512.01 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 379926 0 0 0 351122 79 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/264 64655
/proc/meminfo: memFree=97088160/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3571.83 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 380006 0 0 0 357104 79 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.11 4.09 4.05 5/263 64657
/proc/meminfo: memFree=97159448/131250000 swapFree=33010684/33010684
[pid=64416] ppid=64411 vsize=1621472 memory=1447000 CPUtime=3600.05 cores=4,6
/proc/64416/stat : 64416 (CASHWMaxSAT-Dis) R 64411 64416 64366 0 -1 4194304 380030 0 0 0 359926 79 0 0 20 0 1 0 62236240 1660387328 361750 18446744073709551615 4198400 14817773 140728210471376 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40849408 140728210475370 140728210475485 140728210475485 140728210481087 0
/proc/64416/statm: 405368 361750 2688 2593 0 402261 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1621472 KiB
Current children cumulated memory: 1447000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 64416 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.26 s, system=0.798588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.06
CPU user time (s): 3599.26
CPU system time (s): 0.798588
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 2223712
Max. memory (cumulated for all children) (KiB): 1637044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 0.798588
maximum resident set size= 1637044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380030
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= 105
involuntary context switches= 2524
# summary of solver processes directly reported to runsolver:
# pid: 64416
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.26
# total CPU system time (s): 0.798588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.294 second user time and 15.713 second system time
The end
Begin job on nodeC026 at 2025-07-02 16:12:56
IDJOB=4505099
IDBENCH=155741
IDSOLVER=3322
FILE ID=nodeC026/4505099-1751465576
RUNJOBID= nodeC026-1751465576-64377
SLURM_JOB_ID= 9598481
Free space on /tmp= 430580 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505099-1751465576/watcher-4505099-1751465576 -o /tmp/evaluation-result-4505099-1751465576/solver-4505099-1751465576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751465576-64377 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4505099-1751465576.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a4e6307a32e39171940a0b0a520e3b91
RANDOM SEED=1969532217
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 : 3599.792
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 : 3601.250
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 : 3602.930
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 : 3600.121
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 : 3599.518
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 : 3601.647
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 : 3599.997
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.813
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: 124591768 kB
MemAvailable: 129734388 kB
Buffers: 3280 kB
Cached: 5937472 kB
SwapCached: 0 kB
Active: 349484 kB
Inactive: 5666540 kB
Active(anon): 93412 kB
Inactive(anon): 0 kB
Active(file): 256072 kB
Inactive(file): 5666540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 101980 kB
Writeback: 0 kB
AnonPages: 78464 kB
Mapped: 104472 kB
Shmem: 18080 kB
KReclaimable: 118496 kB
Slab: 208108 kB
SReclaimable: 118496 kB
SUnreclaim: 89612 kB
KernelStack: 4032 kB
PageTables: 2900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 339208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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= 430320 MiB
End job on nodeC026 at 2025-07-02 17:13:07