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: 63837 MiB (59297 MiB free)
memory of node 1: 64465 MiB (57361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485801-1751319547/watcher-4485801-1751319547 -o /tmp/evaluation-result-4485801-1751319547/solver-4485801-1751319547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46552 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485801-1751319547.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=46935, runsolver pid=46931
[startup+0.100071 s]*
/proc/loadavg: 4.08 4.10 4.10 5/243 46947
/proc/meminfo: memFree=119458060/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=23512 memory=9088 CPUtime=0.1 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 1617 0 0 0 10 0 0 0 20 0 1 0 47633858 24076288 2272 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 5878 2272 864 2593 0 2771 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23512 KiB
Current children cumulated memory: 9088 KiB
[startup+0.213559 s]*
/proc/loadavg: 4.08 4.10 4.10 5/247 46953
/proc/meminfo: memFree=119458156/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=26640 memory=11648 CPUtime=0.21 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 2256 0 0 0 21 0 0 0 20 0 1 0 47633858 27279360 2912 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 6660 2912 864 2593 0 3553 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26640 KiB
Current children cumulated memory: 11648 KiB
[startup+0.313323 s]*
/proc/loadavg: 4.08 4.10 4.10 4/248 46958
/proc/meminfo: memFree=119458204/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=29316 memory=13952 CPUtime=0.31 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 2819 0 0 0 31 0 0 0 20 0 1 0 47633858 30019584 3488 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 7329 3488 864 2593 0 4222 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29316 KiB
Current children cumulated memory: 13952 KiB
[startup+0.700274 s]
/proc/loadavg: 4.08 4.10 4.10 5/246 46974
/proc/meminfo: memFree=119458204/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=35960 memory=19432 CPUtime=0.69 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 4240 0 0 0 68 1 0 0 20 0 1 0 47633858 36823040 4858 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 8990 4858 896 2593 0 5883 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35960 KiB
Current children cumulated memory: 19432 KiB
[startup+1.50029 s]
/proc/loadavg: 4.08 4.10 4.10 5/248 46992
/proc/meminfo: memFree=119438020/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=36932 memory=20224 CPUtime=1.48 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 4526 0 0 0 147 1 0 0 20 0 1 0 47633858 37818368 5056 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 9233 5056 896 2593 0 6126 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 20224 KiB
[startup+3.11306 s]
/proc/loadavg: 4.07 4.10 4.10 4/248 47079
/proc/meminfo: memFree=126036656/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=69504 memory=50768 CPUtime=3.09 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 11400 0 0 0 306 3 0 0 20 0 1 0 47633858 71172096 12692 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 17376 12692 1152 2593 0 14269 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69504 KiB
Current children cumulated memory: 50768 KiB
[startup+6.30028 s]
/proc/loadavg: 4.07 4.10 4.10 5/250 47124
/proc/meminfo: memFree=125991760/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=110440 memory=92736 CPUtime=6.27 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 16872 0 0 0 623 4 0 0 20 0 1 0 47633858 113090560 23184 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 27610 23184 1152 2593 0 24503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 110440 KiB
Current children cumulated memory: 92736 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.11 4.10 5/250 47124
/proc/meminfo: memFree=125925420/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=115192 memory=99596 CPUtime=12.66 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 18085 0 0 0 1261 5 0 0 20 0 1 0 47633858 117956608 24899 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 28798 24899 1152 2593 0 25691 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 115192 KiB
Current children cumulated memory: 99596 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 47125
/proc/meminfo: memFree=125770488/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=155400 memory=130596 CPUtime=25.42 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 20112 0 0 0 2536 6 0 0 20 0 1 0 47633858 159129600 32649 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 38850 32649 1152 2593 0 35743 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 155400 KiB
Current children cumulated memory: 130596 KiB
[startup+51.113 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 47170
/proc/meminfo: memFree=124275976/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1017096 memory=965260 CPUtime=50.95 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 122284 0 0 0 5053 42 0 0 20 0 1 0 47633858 1041506304 241315 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 254274 241315 1216 2593 0 251167 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1017096 KiB
Current children cumulated memory: 965260 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 47216
/proc/meminfo: memFree=123954488/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1029812 memory=981124 CPUtime=101.98 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 156261 0 0 0 10075 123 0 0 20 0 1 0 47633858 1054527488 245281 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 257453 245281 1248 2593 0 254346 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1029812 KiB
Current children cumulated memory: 981124 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 47220
/proc/meminfo: memFree=123264700/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=999124 memory=952100 CPUtime=161.78 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 186735 0 0 0 15983 195 0 0 20 0 1 0 47633858 1023102976 238025 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 249781 238025 1248 2593 0 246674 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 999124 KiB
Current children cumulated memory: 952100 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/252 47223
/proc/meminfo: memFree=123064124/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1182764 memory=1116724 CPUtime=221.57 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 217939 0 0 0 21897 260 0 0 20 0 1 0 47633858 1211150336 279181 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 295691 279181 1248 2593 0 292584 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1182764 KiB
Current children cumulated memory: 1116724 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.13 4.10 6/252 47225
/proc/meminfo: memFree=122948180/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1179448 memory=1116312 CPUtime=281.36 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 224699 0 0 0 27836 300 0 0 20 0 1 0 47633858 1207754752 279078 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 294862 279078 1248 2593 0 291755 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1179448 KiB
Current children cumulated memory: 1116312 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/252 47227
/proc/meminfo: memFree=122933004/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1184936 memory=1121800 CPUtime=341.18 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 229272 0 0 0 33791 327 0 0 20 0 1 0 47633858 1213374464 280450 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 296234 280450 1248 2593 0 293127 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1184936 KiB
Current children cumulated memory: 1121800 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 47229
/proc/meminfo: memFree=122948444/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1405672 memory=1334760 CPUtime=401 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 234406 0 0 0 39742 358 0 0 20 0 1 0 47633858 1439408128 333690 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 351418 333690 1248 2593 0 348311 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1405672 KiB
Current children cumulated memory: 1334760 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/251 47231
/proc/meminfo: memFree=122948736/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1183368 memory=1120360 CPUtime=460.82 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 239154 0 0 0 45696 386 0 0 20 0 1 0 47633858 1211768832 280090 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 295842 280090 1248 2593 0 292735 0
Current children cumulated CPU time: 460.82 s
################
# More data... #
################
Current children cumulated memory: 1215212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/250 47505
/proc/meminfo: memFree=122313792/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1274756 memory=1211876 CPUtime=2912.19 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 345675 0 0 0 290216 1003 0 0 20 0 1 0 47633858 1305350144 302969 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 318689 302969 1248 2593 0 315582 0
Current children cumulated CPU time: 2912.19 s
Current children cumulated vsize: 1274756 KiB
Current children cumulated memory: 1211876 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/250 47507
/proc/meminfo: memFree=122297264/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1284496 memory=1221616 CPUtime=2971.99 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 347259 0 0 0 296186 1013 0 0 20 0 1 0 47633858 1315323904 305404 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 321124 305404 1248 2593 0 318017 0
Current children cumulated CPU time: 2971.99 s
Current children cumulated vsize: 1284496 KiB
Current children cumulated memory: 1221616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/251 47512
/proc/meminfo: memFree=122071448/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1532488 memory=1469500 CPUtime=3031.8 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 349992 0 0 0 302151 1029 0 0 20 0 1 0 47633858 1569267712 367375 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 383122 367375 1248 2593 0 380015 0
Current children cumulated CPU time: 3031.8 s
Current children cumulated vsize: 1532488 KiB
Current children cumulated memory: 1469500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/252 47522
/proc/meminfo: memFree=122286952/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1282592 memory=1219712 CPUtime=3091.61 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 351734 0 0 0 308120 1041 0 0 20 0 1 0 47633858 1313374208 304928 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 320648 304928 1248 2593 0 317541 0
Current children cumulated CPU time: 3091.61 s
Current children cumulated vsize: 1282592 KiB
Current children cumulated memory: 1219712 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/253 47525
/proc/meminfo: memFree=122271828/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1296556 memory=1233676 CPUtime=3151.42 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 353403 0 0 0 314088 1054 0 0 20 0 1 0 47633858 1327673344 308419 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 324139 308419 1248 2593 0 321032 0
Current children cumulated CPU time: 3151.42 s
Current children cumulated vsize: 1296556 KiB
Current children cumulated memory: 1233676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/253 47527
/proc/meminfo: memFree=122285760/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1286540 memory=1223660 CPUtime=3211.22 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 355230 0 0 0 320058 1064 0 0 20 0 1 0 47633858 1317416960 305915 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 321635 305915 1248 2593 0 318528 0
Current children cumulated CPU time: 3211.22 s
Current children cumulated vsize: 1286540 KiB
Current children cumulated memory: 1223660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/253 47529
/proc/meminfo: memFree=122296392/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1276228 memory=1213348 CPUtime=3271.03 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 356915 0 0 0 326028 1075 0 0 20 0 1 0 47633858 1306857472 303337 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 319057 303337 1248 2593 0 315950 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 1276228 KiB
Current children cumulated memory: 1213348 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.18 4.17 5/253 47531
/proc/meminfo: memFree=122318864/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1279688 memory=1216808 CPUtime=3330.84 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 357671 0 0 0 332004 1080 0 0 20 0 1 0 47633858 1310400512 304202 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 319922 304202 1248 2593 0 316815 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 1279688 KiB
Current children cumulated memory: 1216808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/251 47533
/proc/meminfo: memFree=122317748/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1280828 memory=1217948 CPUtime=3390.66 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 359140 0 0 0 337976 1090 0 0 20 0 1 0 47633858 1311567872 304487 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 320207 304487 1248 2593 0 317100 0
Current children cumulated CPU time: 3390.66 s
Current children cumulated vsize: 1280828 KiB
Current children cumulated memory: 1217948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/251 47535
/proc/meminfo: memFree=122315180/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1279724 memory=1216844 CPUtime=3450.49 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 360687 0 0 0 343949 1100 0 0 20 0 1 0 47633858 1310437376 304211 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 319931 304211 1248 2593 0 316824 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 1279724 KiB
Current children cumulated memory: 1216844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/250 47537
/proc/meminfo: memFree=122321628/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1273388 memory=1210508 CPUtime=3510.33 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 363347 0 0 0 349921 1112 0 0 20 0 1 0 47633858 1303949312 302627 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 318347 302627 1248 2593 0 315240 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 1273388 KiB
Current children cumulated memory: 1210508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/250 47538
/proc/meminfo: memFree=122315796/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1279236 memory=1216356 CPUtime=3570.14 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 364946 0 0 0 355893 1121 0 0 20 0 1 0 47633858 1309937664 304089 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 319809 304089 1248 2593 0 316702 0
Current children cumulated CPU time: 3570.14 s
Current children cumulated vsize: 1279236 KiB
Current children cumulated memory: 1216356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/250 47542
/proc/meminfo: memFree=122323736/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1279236 memory=1216356 CPUtime=3600.05 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 365289 0 0 0 358883 1122 0 0 20 0 1 0 47633858 1309937664 304089 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 319809 304089 1248 2593 0 316702 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1279236 KiB
Current children cumulated memory: 1216356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.3 s]
# the end of solver process 46935 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.84 s, system=11.232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/250 47542
/proc/meminfo: memFree=122323736/131382116 swapFree=33010160/33010684
[pid=46935] ppid=46931 vsize=1279236 memory=1216356 CPUtime=3600.05 cores=0,2
/proc/46935/stat : 46935 (CASHWMaxSAT-Dis) R 46931 46935 46542 0 -1 4194304 365289 0 0 0 358883 1122 0 0 20 0 1 0 47633858 1309937664 304089 18446744073709551615 4198400 14817773 140727367346816 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36327424 140727367350634 140727367350749 140727367350749 140727367356351 0
/proc/46935/statm: 319809 304089 1248 2593 0 316702 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1279236 KiB
Current children cumulated memory: 1216356 KiB
Child status: 0
Real time (s): 3612.3
CPU time (s): 3600.07
CPU user time (s): 3588.84
CPU system time (s): 11.232
CPU usage (%): 99.6613
Max. virtual memory (cumulated for all children) (KiB): 1577148
Max. memory (cumulated for all children) (KiB): 1514252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.84
system time used= 11.232
maximum resident set size= 1514252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365289
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= 151
involuntary context switches= 8174
# summary of solver processes directly reported to runsolver:
# pid: 46935
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.84
# total CPU system time (s): 11.232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0717 second user time and 37.8993 second system time
The end
Begin job on nodeC004 at 2025-06-30 23:39:07
IDJOB=4485801
IDBENCH=146890
IDSOLVER=3322
FILE ID=nodeC004/4485801-1751319547
RUNJOBID= nodeC004-1751315935-46552
SLURM_JOB_ID= 9594334
Free space on /tmp= 433000 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485801-1751319547/watcher-4485801-1751319547 -o /tmp/evaluation-result-4485801-1751319547/solver-4485801-1751319547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46552 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485801-1751319547.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=457044825
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.874
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.158
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.393
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 119427432 kB
MemAvailable: 123148252 kB
Buffers: 2720 kB
Cached: 4472192 kB
SwapCached: 20 kB
Active: 7056624 kB
Inactive: 4147136 kB
Active(anon): 6740640 kB
Inactive(anon): 6188 kB
Active(file): 315984 kB
Inactive(file): 4140948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14476 kB
Writeback: 32 kB
AnonPages: 6729436 kB
Mapped: 108092 kB
Shmem: 17956 kB
KReclaimable: 207032 kB
Slab: 292976 kB
SReclaimable: 207032 kB
SUnreclaim: 85944 kB
KernelStack: 3952 kB
PageTables: 16032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 7406520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6334464 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC004 at 2025-07-01 00:39:19