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: 63665 MiB (63012 MiB free)
memory of node 1: 64507 MiB (63418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483823-1751290134/watcher-4483823-1751290134 -o /tmp/evaluation-result-4483823-1751290134/solver-4483823-1751290134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45270 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4483823-1751290134.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45327, runsolver pid=45320
[startup+0.100059 s]*
/proc/loadavg: 1.14 2.61 3.30 5/265 45328
/proc/meminfo: memFree=129375216/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=38016 memory=23264 CPUtime=0.09 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 5258 0 0 0 9 0 0 0 20 0 1 0 44691288 38928384 5816 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 9504 5816 864 2593 0 6397 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38016 KiB
Current children cumulated memory: 23264 KiB
[startup+0.204758 s]*
/proc/loadavg: 1.14 2.61 3.30 5/265 45328
/proc/meminfo: memFree=129279128/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=56168 memory=41184 CPUtime=0.2 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 9728 0 0 0 19 1 0 0 20 0 1 0 44691288 57516032 10296 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 14042 10296 864 2593 0 10935 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56168 KiB
Current children cumulated memory: 41184 KiB
[startup+0.304851 s]*
/proc/loadavg: 1.14 2.61 3.30 5/265 45328
/proc/meminfo: memFree=129148844/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=73296 memory=58336 CPUtime=0.3 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 14026 0 0 0 28 2 0 0 20 0 1 0 44691288 75055104 14584 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 18324 14584 864 2593 0 15217 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73296 KiB
Current children cumulated memory: 58336 KiB
[startup+0.700134 s]
/proc/loadavg: 1.14 2.61 3.30 5/265 45328
/proc/meminfo: memFree=128931872/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=148196 memory=132084 CPUtime=0.69 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 32729 0 0 0 63 6 0 0 20 0 1 0 44691288 151752704 33021 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 37049 33021 864 2593 0 33942 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148196 KiB
Current children cumulated memory: 132084 KiB
[startup+1.50017 s]
/proc/loadavg: 1.14 2.61 3.30 5/265 45328
/proc/meminfo: memFree=128396856/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=290836 memory=272028 CPUtime=1.48 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 67844 0 0 0 137 11 0 0 20 0 1 0 44691288 297816064 68007 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 72709 68007 896 2593 0 69602 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 290836 KiB
Current children cumulated memory: 272028 KiB
[startup+3.10552 s]
/proc/loadavg: 1.37 2.64 3.31 5/265 45328
/proc/meminfo: memFree=127951776/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=419472 memory=389888 CPUtime=3.08 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 82691 0 0 0 293 15 0 0 20 0 1 0 44691288 429539328 97472 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 104868 97472 960 2593 0 101761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 419472 KiB
Current children cumulated memory: 389888 KiB
[startup+6.30017 s]
/proc/loadavg: 1.37 2.64 3.31 5/265 45328
/proc/meminfo: memFree=127802384/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=453408 memory=423812 CPUtime=6.27 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 83027 0 0 0 611 16 0 0 20 0 1 0 44691288 464289792 105953 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 113352 105953 960 2593 0 110245 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 453408 KiB
Current children cumulated memory: 423812 KiB
[startup+12.7002 s]
/proc/loadavg: 1.77 2.68 3.32 5/265 45328
/proc/meminfo: memFree=127723388/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=478196 memory=446696 CPUtime=12.65 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 90514 0 0 0 1244 21 0 0 20 0 1 0 44691288 489672704 111674 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 119549 111674 960 2593 0 116442 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 478196 KiB
Current children cumulated memory: 446696 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.74 3.33 5/265 45329
/proc/meminfo: memFree=127682664/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=516564 memory=493112 CPUtime=25.42 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 93764 0 0 0 2518 24 0 0 20 0 1 0 44691288 528961536 123278 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 129141 123278 960 2593 0 126034 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 516564 KiB
Current children cumulated memory: 493112 KiB
[startup+51.1055 s]
/proc/loadavg: 2.81 2.84 3.35 5/265 45330
/proc/meminfo: memFree=126870144/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=497140 memory=467264 CPUtime=50.94 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 94423 0 0 0 5070 24 0 0 20 0 1 0 44691288 509071360 116816 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 124285 116816 960 2593 0 121178 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 497140 KiB
Current children cumulated memory: 467264 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 3.07 3.40 5/268 45335
/proc/meminfo: memFree=126554660/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=615532 memory=578756 CPUtime=101.99 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 102825 0 0 0 10170 29 0 0 20 0 1 0 44691288 630304768 144689 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 153883 144689 960 2593 0 150776 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 615532 KiB
Current children cumulated memory: 578756 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.26 3.44 5/267 45337
/proc/meminfo: memFree=126541824/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=676964 memory=644288 CPUtime=161.81 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 108550 0 0 0 16142 39 0 0 20 0 1 0 44691288 693211136 161072 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 169241 161072 960 2593 0 166134 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 676964 KiB
Current children cumulated memory: 644288 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.43 3.49 5/267 45339
/proc/meminfo: memFree=126421820/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=745152 memory=712196 CPUtime=221.65 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 117781 0 0 0 22122 43 0 0 20 0 1 0 44691288 763035648 178049 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 186288 178049 960 2593 0 183181 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 745152 KiB
Current children cumulated memory: 712196 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.56 3.54 5/267 45341
/proc/meminfo: memFree=126488676/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=715508 memory=687008 CPUtime=281.47 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 118815 0 0 0 28103 44 0 0 20 0 1 0 44691288 732680192 171752 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 178877 171752 960 2593 0 175770 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 715508 KiB
Current children cumulated memory: 687008 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.66 3.57 5/267 45343
/proc/meminfo: memFree=126492220/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=677112 memory=648660 CPUtime=341.3 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 118863 0 0 0 34086 44 0 0 20 0 1 0 44691288 693362688 162165 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 169278 162165 960 2593 0 166171 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 677112 KiB
Current children cumulated memory: 648660 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.74 3.61 5/265 45346
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=677112 memory=648660 CPUtime=401.12 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 118964 0 0 0 40068 44 0 0 20 0 1 0 44691288 693362688 162165 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 169278 162165 960 2593 0 166171 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 677112 KiB
Current children cumulated memory: 648660 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.83 3.65 5/264 45349
/proc/meminfo: memFree=126517684/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=582564 memory=554112 CPUtime=460.94 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 118976 0 0 0 46050 44 0 0 20 0 1 0 44691288 596545536 138528 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 145641 138528 960 2593 0 142534 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 1157348 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 45479
/proc/meminfo: memFree=125987336/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1135848 memory=1110380 CPUtime=2854.27 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 360103 0 0 0 285170 257 0 0 20 0 1 0 44691288 1163108352 277595 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 283962 277595 960 2593 0 280855 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 1135848 KiB
Current children cumulated memory: 1110380 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 45482
/proc/meminfo: memFree=125992256/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1131644 memory=1106292 CPUtime=2914.12 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 361714 0 0 0 291152 260 0 0 20 0 1 0 44691288 1158803456 276573 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 282911 276573 960 2593 0 279804 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 1131644 KiB
Current children cumulated memory: 1106292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 45484
/proc/meminfo: memFree=125937620/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1136680 memory=1111328 CPUtime=2973.96 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 362135 0 0 0 297135 261 0 0 20 0 1 0 44691288 1163960320 277832 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 284170 277832 960 2593 0 281063 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 1136680 KiB
Current children cumulated memory: 1111328 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 45494
/proc/meminfo: memFree=126047984/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1135820 memory=1110580 CPUtime=3033.81 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 362790 0 0 0 303119 262 0 0 20 0 1 0 44691288 1163079680 277645 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 283955 277645 960 2593 0 280848 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 1135820 KiB
Current children cumulated memory: 1110580 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 45496
/proc/meminfo: memFree=125665100/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1590904 memory=1438184 CPUtime=3093.66 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 423089 0 0 0 309087 279 0 0 20 0 1 0 44691288 1629085696 359546 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 397726 359546 960 2593 0 394619 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 1590904 KiB
Current children cumulated memory: 1438184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 45499
/proc/meminfo: memFree=125806084/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1341248 memory=1296144 CPUtime=3153.5 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 426635 0 0 0 315068 282 0 0 20 0 1 0 44691288 1373437952 324036 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 335312 324036 960 2593 0 332205 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 1341248 KiB
Current children cumulated memory: 1296144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 45501
/proc/meminfo: memFree=125818996/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1344992 memory=1302444 CPUtime=3213.35 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 427839 0 0 0 321051 284 0 0 20 0 1 0 44691288 1377271808 325611 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 336248 325611 960 2593 0 333141 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 1344992 KiB
Current children cumulated memory: 1302444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 45503
/proc/meminfo: memFree=125657384/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1504300 memory=1401676 CPUtime=3273.18 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 432077 0 0 0 327029 289 0 0 20 0 1 0 44691288 1540403200 350419 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 376075 350419 960 2593 0 372968 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 1504300 KiB
Current children cumulated memory: 1401676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 45506
/proc/meminfo: memFree=125769672/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1345136 memory=1316248 CPUtime=3332.99 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 434328 0 0 0 333008 291 0 0 20 0 1 0 44691288 1377419264 329062 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 336284 329062 960 2593 0 333177 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 1345136 KiB
Current children cumulated memory: 1316248 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 45507
/proc/meminfo: memFree=125739760/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1348676 memory=1320084 CPUtime=3392.81 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 435067 0 0 0 338989 292 0 0 20 0 1 0 44691288 1381044224 330021 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 337169 330021 960 2593 0 334062 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1348676 KiB
Current children cumulated memory: 1320084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 45509
/proc/meminfo: memFree=125718900/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1347036 memory=1318988 CPUtime=3452.63 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 437380 0 0 0 344966 297 0 0 20 0 1 0 44691288 1379364864 329747 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 336759 329747 960 2593 0 333652 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 1347036 KiB
Current children cumulated memory: 1318988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 45512
/proc/meminfo: memFree=125759564/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1351232 memory=1323196 CPUtime=3512.45 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 437822 0 0 0 350946 299 0 0 20 0 1 0 44691288 1383661568 330799 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 337808 330799 960 2593 0 334701 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1351232 KiB
Current children cumulated memory: 1323196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 45514
/proc/meminfo: memFree=125780792/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1350076 memory=1322040 CPUtime=3572.26 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 438515 0 0 0 356926 300 0 0 20 0 1 0 44691288 1382477824 330510 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 337519 330510 960 2593 0 334412 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 1350076 KiB
Current children cumulated memory: 1322040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.11 4.10 4.09 3/257 45539
/proc/meminfo: memFree=127460548/131249996 swapFree=33010684/33010684
[pid=45327] ppid=45320 vsize=1350672 memory=1322860 CPUtime=3600.07 cores=4,6
/proc/45327/stat : 45327 (CASHWMaxSAT-Dis) R 45320 45327 45252 0 -1 4194304 440109 0 0 0 359704 303 0 0 20 0 1 0 44691288 1383088128 330715 18446744073709551615 4198400 14817773 140736970795408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 28393472 140736970803562 140736970803677 140736970803677 140736970809279 0
/proc/45327/statm: 337668 330715 960 2593 0 334561 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1350672 KiB
Current children cumulated memory: 1322860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.22 s]
# the end of solver process 45327 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.05 s, system=3.05667 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.22
CPU time (s): 3600.11
CPU user time (s): 3597.05
CPU system time (s): 3.05667
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 1749400
Max. memory (cumulated for all children) (KiB): 1528856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.05
system time used= 3.05667
maximum resident set size= 1529936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440109
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= 182
involuntary context switches= 1826
# summary of solver processes directly reported to runsolver:
# pid: 45327
# total CPU time (s): 3600.11
# total CPU user time (s): 3597.05
# total CPU system time (s): 3.05667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82729 second user time and 16.5717 second system time
The end
Begin job on nodeC024 at 2025-06-30 15:28:54
IDJOB=4483823
IDBENCH=144808
IDSOLVER=3322
FILE ID=nodeC024/4483823-1751290134
RUNJOBID= nodeC024-1751290134-45270
SLURM_JOB_ID= 9594239
Free space on /tmp= 433016 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4483823-1751290134/watcher-4483823-1751290134 -o /tmp/evaluation-result-4483823-1751290134/solver-4483823-1751290134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45270 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4483823-1751290134.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cedbd6bdd86c4b8a6a7f33f1889b1b8a
RANDOM SEED=131517774
nodeC024 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.867
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.36
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 : 2185.343
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.36
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.817
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.36
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 : 2024.354
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.36
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 : 3600.564
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.36
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 : 2357.066
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.36
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.689
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.36
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 : 2154.614
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129476628 kB
MemAvailable: 129808536 kB
Buffers: 3280 kB
Cached: 1138000 kB
SwapCached: 0 kB
Active: 322216 kB
Inactive: 882516 kB
Active(anon): 81516 kB
Inactive(anon): 0 kB
Active(file): 240700 kB
Inactive(file): 882516 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70308 kB
Writeback: 0 kB
AnonPages: 66552 kB
Mapped: 102948 kB
Shmem: 18064 kB
KReclaimable: 95460 kB
Slab: 182260 kB
SReclaimable: 95460 kB
SUnreclaim: 86800 kB
KernelStack: 4108 kB
PageTables: 2348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 333572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC024 at 2025-06-30 16:29:04