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: 64059 MiB (62987 MiB free)
memory of node 1: 64510 MiB (55231 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439304-1721251574/watcher-4439304-1721251574 -o /tmp/evaluation-result-4439304-1721251574/solver-4439304-1721251574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721244358-920492 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439304-1721251574.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=924642, runsolver pid=924639
[startup+0.1004 s]*
/proc/loadavg: 4.66 4.39 4.24 5/242 924643
/proc/meminfo: memFree=121041656/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=32760 memory=18160 CPUtime=0.1 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 4216 0 0 0 9 1 0 0 20 0 1 0 177315477 33546240 4540 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 8190 4540 878 2594 0 5083 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32760 KiB
Current children cumulated memory: 18160 KiB
[startup+0.208639 s]*
/proc/loadavg: 4.66 4.39 4.24 5/242 924643
/proc/meminfo: memFree=121035744/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=38892 memory=24232 CPUtime=0.2 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 5764 0 0 0 19 1 0 0 20 0 1 0 177315477 39825408 6058 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 9723 6058 878 2594 0 6616 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38892 KiB
Current children cumulated memory: 24232 KiB
[startup+0.307709 s]*
/proc/loadavg: 4.66 4.39 4.24 5/242 924643
/proc/meminfo: memFree=121029660/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=44412 memory=29776 CPUtime=0.3 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 7162 0 0 0 28 2 0 0 20 0 1 0 177315477 45477888 7444 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 11103 7444 878 2594 0 7996 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44412 KiB
Current children cumulated memory: 29776 KiB
[startup+0.700272 s]
/proc/loadavg: 4.66 4.39 4.24 5/242 924643
/proc/meminfo: memFree=121013556/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=73636 memory=58680 CPUtime=0.68 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 14391 0 0 0 64 4 0 0 20 0 1 0 177315477 75403264 14670 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 18409 14670 878 2594 0 15302 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73636 KiB
Current children cumulated memory: 58680 KiB
[startup+1.50032 s]
/proc/loadavg: 4.66 4.39 4.24 5/242 924643
/proc/meminfo: memFree=120980220/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=136616 memory=120636 CPUtime=1.48 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 29855 0 0 0 139 9 0 0 20 0 1 0 177315477 139894784 30159 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 34154 30159 878 2594 0 31047 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136616 KiB
Current children cumulated memory: 120636 KiB
[startup+3.11245 s]
/proc/loadavg: 4.66 4.39 4.24 5/242 924643
/proc/meminfo: memFree=120662208/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=431932 memory=413600 CPUtime=3.09 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 92394 0 0 0 287 22 0 0 20 0 1 0 177315477 442298368 103400 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 107983 103400 878 2594 0 104876 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 431932 KiB
Current children cumulated memory: 413600 KiB
[startup+6.30032 s]
/proc/loadavg: 4.69 4.40 4.25 5/245 924676
/proc/meminfo: memFree=120343180/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=840200 memory=813620 CPUtime=6.27 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 162198 0 0 0 592 35 0 0 20 0 1 0 177315477 860364800 203405 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 210050 203405 926 2594 0 206943 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 840200 KiB
Current children cumulated memory: 813620 KiB
[startup+12.7003 s]
/proc/loadavg: 4.63 4.40 4.25 5/245 924678
/proc/meminfo: memFree=119077768/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1364136 memory=1319436 CPUtime=12.65 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 225198 0 0 0 1212 53 0 0 20 0 1 0 177315477 1396875264 329859 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 341034 329859 1182 2594 0 337927 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1364136 KiB
Current children cumulated memory: 1319436 KiB
[startup+25.5004 s]
/proc/loadavg: 4.49 4.38 4.24 5/245 924679
/proc/meminfo: memFree=117210248/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1406476 memory=1336304 CPUtime=25.41 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 241300 0 0 0 2464 77 0 0 20 0 1 0 177315477 1440231424 334076 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 351619 334076 1262 2594 0 348512 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1406476 KiB
Current children cumulated memory: 1336304 KiB
[startup+51.1127 s]
/proc/loadavg: 4.32 4.34 4.23 5/245 924684
/proc/meminfo: memFree=116096924/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1381684 memory=1323836 CPUtime=50.94 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 268201 0 0 0 4983 111 0 0 20 0 1 0 177315477 1414844416 330959 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 345421 330959 1262 2594 0 342314 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1381684 KiB
Current children cumulated memory: 1323836 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.32 4.23 5/245 924693
/proc/meminfo: memFree=115524360/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1435960 memory=1343224 CPUtime=101.96 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 311336 0 0 0 10037 159 0 0 20 0 1 0 177315477 1470423040 335806 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 358990 335806 1262 2594 0 355883 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1435960 KiB
Current children cumulated memory: 1343224 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.28 4.22 5/245 924871
/proc/meminfo: memFree=116350228/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1393840 memory=1323668 CPUtime=161.76 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 343502 0 0 0 15979 197 0 0 20 0 1 0 177315477 1427292160 330917 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 348460 330917 1262 2594 0 345353 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1393840 KiB
Current children cumulated memory: 1323668 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.26 4.21 5/245 924973
/proc/meminfo: memFree=120075920/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1590024 memory=1515700 CPUtime=221.56 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 403590 0 0 0 21926 230 0 0 20 0 1 0 177315477 1628184576 378925 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 397506 378925 1262 2594 0 394399 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1590024 KiB
Current children cumulated memory: 1515700 KiB
[startup+282.3 s]
/proc/loadavg: 4.52 4.32 4.24 5/246 925086
/proc/meminfo: memFree=120370612/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1574456 memory=1504100 CPUtime=281.36 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 415452 0 0 0 27883 253 0 0 20 0 1 0 177315477 1612242944 376025 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 393614 376025 1262 2594 0 390507 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1574456 KiB
Current children cumulated memory: 1504100 KiB
[startup+342.3 s]
/proc/loadavg: 4.52 4.38 4.27 5/242 925096
/proc/meminfo: memFree=120053352/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1657856 memory=1579572 CPUtime=341.16 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 440073 0 0 0 33837 279 0 0 20 0 1 0 177315477 1697644544 394893 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 414464 394893 1262 2594 0 411357 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1657856 KiB
Current children cumulated memory: 1579572 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.34 4.26 5/242 925108
/proc/meminfo: memFree=120012752/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1641832 memory=1568720 CPUtime=400.96 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 452080 0 0 0 39792 304 0 0 20 0 1 0 177315477 1681235968 392180 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 410458 392180 1262 2594 0 407351 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1641832 KiB
Current children cumulated memory: 1568720 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.31 4.25 5/242 925118
/proc/meminfo: memFree=119972372/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=1636952 memory=1566820 CPUtime=460.76 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 461393 0 0 0 45750 326 0 0 20 0 1 0 177315477 1676238848 391705 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
################
# More data... #
################
Current children cumulated memory: 2183172 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/243 926680
/proc/meminfo: memFree=115349492/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2364320 memory=2320212 CPUtime=2912.01 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 825373 0 0 0 290434 767 0 0 20 0 1 0 177315477 2421063680 580053 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 591080 580053 1262 2594 0 587973 0
Current children cumulated CPU time: 2912.01 s
Current children cumulated vsize: 2364320 KiB
Current children cumulated memory: 2320212 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.10 4.14 4/234 926722
/proc/meminfo: memFree=119651144/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2365452 memory=2321280 CPUtime=2971.81 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 827053 0 0 0 296411 770 0 0 20 0 1 0 177315477 2422222848 580320 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 591363 580320 1262 2594 0 588256 0
Current children cumulated CPU time: 2971.81 s
Current children cumulated vsize: 2365452 KiB
Current children cumulated memory: 2321280 KiB
[startup+3042.3 s]
/proc/loadavg: 3.43 3.92 4.07 4/234 926733
/proc/meminfo: memFree=119608412/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2365452 memory=2321344 CPUtime=3031.61 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 827659 0 0 0 302391 770 0 0 20 0 1 0 177315477 2422222848 580336 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 591363 580336 1262 2594 0 588256 0
Current children cumulated CPU time: 3031.61 s
Current children cumulated vsize: 2365452 KiB
Current children cumulated memory: 2321344 KiB
[startup+3102.3 s]
/proc/loadavg: 3.28 3.78 4.01 4/234 926743
/proc/meminfo: memFree=119595764/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2411124 memory=2344916 CPUtime=3091.39 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 829369 0 0 0 308366 773 0 0 20 0 1 0 177315477 2468990976 586229 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 602781 586229 1262 2594 0 599674 0
Current children cumulated CPU time: 3091.39 s
Current children cumulated vsize: 2411124 KiB
Current children cumulated memory: 2344916 KiB
[startup+3162.3 s]
/proc/loadavg: 3.16 3.65 3.95 4/234 926753
/proc/meminfo: memFree=119462052/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2227280 memory=2183172 CPUtime=3151.19 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 830226 0 0 0 314346 773 0 0 20 0 1 0 177315477 2280734720 545793 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 556820 545793 1262 2594 0 553713 0
Current children cumulated CPU time: 3151.19 s
Current children cumulated vsize: 2227280 KiB
Current children cumulated memory: 2183172 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.55 3.89 4/234 926765
/proc/meminfo: memFree=119145172/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2367180 memory=2323072 CPUtime=3210.99 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 831643 0 0 0 320323 776 0 0 20 0 1 0 177315477 2423992320 580768 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 591795 580768 1262 2594 0 588688 0
Current children cumulated CPU time: 3210.99 s
Current children cumulated vsize: 2367180 KiB
Current children cumulated memory: 2323072 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.51 3.86 4/237 926780
/proc/meminfo: memFree=119286696/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2367180 memory=2323072 CPUtime=3270.79 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 832743 0 0 0 326303 776 0 0 20 0 1 0 177315477 2423992320 580768 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 591795 580768 1262 2594 0 588688 0
Current children cumulated CPU time: 3270.79 s
Current children cumulated vsize: 2367180 KiB
Current children cumulated memory: 2323072 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.41 3.80 4/237 926790
/proc/meminfo: memFree=119425400/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2227280 memory=2183172 CPUtime=3330.59 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 833679 0 0 0 332283 776 0 0 20 0 1 0 177315477 2280734720 545793 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 556820 545793 1262 2594 0 553713 0
Current children cumulated CPU time: 3330.59 s
Current children cumulated vsize: 2227280 KiB
Current children cumulated memory: 2183172 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.37 3.76 4/237 926802
/proc/meminfo: memFree=119227508/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2366720 memory=2322612 CPUtime=3390.4 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 834830 0 0 0 338261 779 0 0 20 0 1 0 177315477 2423521280 580653 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 591680 580653 1262 2594 0 588573 0
Current children cumulated CPU time: 3390.4 s
Current children cumulated vsize: 2366720 KiB
Current children cumulated memory: 2322612 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.31 3.72 4/237 926812
/proc/meminfo: memFree=119316576/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2161912 memory=2117932 CPUtime=3450.19 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 836433 0 0 0 344239 780 0 0 20 0 1 0 177315477 2213797888 529483 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 540478 529483 1262 2594 0 537371 0
Current children cumulated CPU time: 3450.19 s
Current children cumulated vsize: 2161912 KiB
Current children cumulated memory: 2117932 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.27 3.67 4/237 926824
/proc/meminfo: memFree=118772728/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2702388 memory=2658196 CPUtime=3509.99 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 848267 0 0 0 350174 825 0 0 20 0 1 0 177315477 2767245312 664549 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 675597 664549 1262 2594 0 672490 0
Current children cumulated CPU time: 3509.99 s
Current children cumulated vsize: 2702388 KiB
Current children cumulated memory: 2658196 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.25 3.64 4/237 927219
/proc/meminfo: memFree=118721460/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2350112 memory=2306004 CPUtime=3569.79 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 849316 0 0 0 356151 828 0 0 20 0 1 0 177315477 2406514688 576501 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 587528 576501 1262 2594 0 584421 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 2350112 KiB
Current children cumulated memory: 2306004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 3.16 3.24 3.62 4/236 927224
/proc/meminfo: memFree=118716584/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2350112 memory=2306004 CPUtime=3600.08 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 849471 0 0 0 359180 828 0 0 20 0 1 0 177315477 2406514688 576501 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 587528 576501 1262 2594 0 584421 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2350112 KiB
Current children cumulated memory: 2306004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.71 s]
# the end of solver process 924642 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.81 s, system=8.2952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 3.16 3.24 3.62 4/236 927224
/proc/meminfo: memFree=118716584/131655788 swapFree=131071996/131071996
[pid=924642] ppid=924639 vsize=2350112 memory=2306004 CPUtime=3600.08 cores=0,2
/proc/924642/stat : 924642 (CASHWMaxSAT-Dis) R 924639 924642 920482 0 -1 4194304 849471 0 0 0 359180 828 0 0 20 0 1 0 177315477 2406514688 576501 134679101440 4194304 14817773 140726580231680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35332096 140726580233188 140726580233303 140726580233303 140726580240319 0
/proc/924642/statm: 587528 576501 1262 2594 0 584421 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2350112 KiB
Current children cumulated memory: 2306004 KiB
Child status: 0
Real time (s): 3612.71
CPU time (s): 3600.1
CPU user time (s): 3591.81
CPU system time (s): 8.2952
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 3337840
Max. memory (cumulated for all children) (KiB): 3231180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.81
system time used= 8.2952
maximum resident set size= 3231180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 849471
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= 377
involuntary context switches= 24661
# summary of solver processes directly reported to runsolver:
# pid: 924642
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.81
# total CPU system time (s): 8.2952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4484 second user time and 30.0848 second system time
The end
Begin job on nodeC002 at 2024-07-17 23:26:27
IDJOB=4439304
IDBENCH=158099
IDSOLVER=3075
FILE ID=nodeC002/4439304-1721251574
RUNJOBID= nodeC002-1721244358-920492
SLURM_JOB_ID= 7509018
Free space on /tmp= 723576 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439304-1721251574/watcher-4439304-1721251574 -o /tmp/evaluation-result-4439304-1721251574/solver-4439304-1721251574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721244358-920492 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439304-1721251574.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b426dbe7074eb22ba087b5fa4a4ffb0b
RANDOM SEED=1121047847
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 1534.254
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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 : 3666.882
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 1206.575
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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.203
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3676.528
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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 : 3574.392
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.351
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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.211
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121056792 kB
MemAvailable: 122527068 kB
Buffers: 489456 kB
Cached: 1809512 kB
SwapCached: 0 kB
Active: 983912 kB
Inactive: 9037612 kB
Active(anon): 2692 kB
Inactive(anon): 7757600 kB
Active(file): 981220 kB
Inactive(file): 1280012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 50344 kB
Writeback: 0 kB
AnonPages: 7720360 kB
Mapped: 113852 kB
Shmem: 37704 kB
KReclaimable: 98152 kB
Slab: 198496 kB
SReclaimable: 98152 kB
SUnreclaim: 100344 kB
KernelStack: 3888 kB
PageTables: 24360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 8253632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1945600 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 21719040 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC002 at 2024-07-18 00:26:40