1.18/1.24 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.18/1.24 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
375.41/376.50 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
375.41/376.52 c Starting SCIP solver (with time-limit = 1800s) ...
2169.95/2176.52 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.07/3610.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63005 MiB free)
memory of node 1: 64510 MiB (63363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439930-1721218482/watcher-4439930-1721218482 -o /tmp/evaluation-result-4439930-1721218482/solver-4439930-1721218482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894682 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439930-1721218482.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
solver pid=894710, runsolver pid=894707
Current StackSize limit: 8192 KiB
[startup+0.100827 s]*
/proc/loadavg: 1.09 1.11 1.36 5/235 894722
/proc/meminfo: memFree=129368452/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=27832 memory=11448 CPUtime=0.1 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 2013 0 0 0 10 0 0 0 20 0 1 0 174004604 28499968 2862 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 6958 2862 782 2417 0 4060 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 11448 KiB
[startup+0.213376 s]*
/proc/loadavg: 1.09 1.11 1.36 5/236 894727
/proc/meminfo: memFree=129356268/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=24492 memory=9812 CPUtime=0.21 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 2186 0 0 0 21 0 0 0 20 0 1 0 174004604 25079808 2453 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 6123 2453 782 2417 0 3225 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24492 KiB
Current children cumulated memory: 9812 KiB
[startup+0.312716 s]*
/proc/loadavg: 1.09 1.11 1.36 5/241 894732
/proc/meminfo: memFree=129341784/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=24492 memory=9812 CPUtime=0.3 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 2211 0 0 0 30 0 0 0 20 0 1 0 174004604 25079808 2453 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 6123 2453 782 2417 0 3225 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24492 KiB
Current children cumulated memory: 9812 KiB
[startup+0.70024 s]
/proc/loadavg: 1.09 1.11 1.36 5/239 894734
/proc/meminfo: memFree=129334248/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=25128 memory=10308 CPUtime=0.68 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 2303 0 0 0 68 0 0 0 20 0 1 0 174004604 25731072 2577 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 6282 2577 798 2417 0 3384 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25128 KiB
Current children cumulated memory: 10308 KiB
[startup+1.50037 s]
/proc/loadavg: 1.09 1.11 1.36 5/245 894745
/proc/meminfo: memFree=129293488/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=26328 memory=11624 CPUtime=1.47 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 2645 0 0 0 147 0 0 0 20 0 1 0 174004604 26959872 2906 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 6582 2906 798 2417 0 3684 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26328 KiB
Current children cumulated memory: 11624 KiB
[startup+3.11344 s]
/proc/loadavg: 1.32 1.15 1.38 5/245 894745
/proc/meminfo: memFree=129024256/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=36760 memory=20280 CPUtime=3.09 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 3882 0 0 0 308 1 0 0 20 0 1 0 174004604 37642240 5070 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 9190 5070 798 2417 0 6292 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36760 KiB
Current children cumulated memory: 20280 KiB
[startup+6.30028 s]
/proc/loadavg: 1.32 1.15 1.38 5/245 894745
/proc/meminfo: memFree=128548452/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=35148 memory=20756 CPUtime=6.27 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 5110 0 0 0 626 1 0 0 20 0 1 0 174004604 35991552 5189 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 8787 5189 798 2417 0 5889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35148 KiB
Current children cumulated memory: 20756 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.26 1.41 5/245 894746
/proc/meminfo: memFree=128465844/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=41384 memory=25880 CPUtime=12.65 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 6657 0 0 0 1263 2 0 0 20 0 1 0 174004604 42377216 6470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 10346 6470 798 2417 0 7448 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 25880 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 1.36 1.44 5/245 894748
/proc/meminfo: memFree=128261668/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=41404 memory=25892 CPUtime=25.42 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 7161 0 0 0 2540 2 0 0 20 0 1 0 174004604 42397696 6473 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 10351 6473 798 2417 0 7453 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41404 KiB
Current children cumulated memory: 25892 KiB
[startup+51.1131 s]
/proc/loadavg: 2.78 1.57 1.51 5/245 894752
/proc/meminfo: memFree=128250504/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=41432 memory=26420 CPUtime=50.98 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 7766 0 0 0 5096 2 0 0 20 0 1 0 174004604 42426368 6605 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 10358 6605 798 2417 0 7460 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 41432 KiB
Current children cumulated memory: 26420 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.01 1.67 5/242 894761
/proc/meminfo: memFree=128115736/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=48504 memory=32028 CPUtime=102.03 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 8030 0 0 0 10201 2 0 0 20 0 1 0 174004604 49668096 8007 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 12126 8007 798 2417 0 9228 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 48504 KiB
Current children cumulated memory: 32028 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.41 1.83 5/242 894772
/proc/meminfo: memFree=128100396/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=48968 memory=34772 CPUtime=161.85 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 8251 0 0 0 16183 2 0 0 20 0 1 0 174004604 50143232 8693 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 12242 8693 798 2417 0 9344 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 48968 KiB
Current children cumulated memory: 34772 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.75 1.98 5/242 894782
/proc/meminfo: memFree=128095456/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=51688 memory=36772 CPUtime=221.67 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 8772 0 0 0 22165 2 0 0 20 0 1 0 174004604 52928512 9193 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 12922 9193 798 2417 0 10024 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 51688 KiB
Current children cumulated memory: 36772 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.99 2.11 5/242 894792
/proc/meminfo: memFree=128052588/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=51688 memory=37004 CPUtime=281.49 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 8854 0 0 0 28147 2 0 0 20 0 1 0 174004604 52928512 9251 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 12922 9251 798 2417 0 10024 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 51688 KiB
Current children cumulated memory: 37004 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.19 2.24 5/241 894803
/proc/meminfo: memFree=127988512/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=58760 memory=44112 CPUtime=341.31 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 9139 0 0 0 34128 3 0 0 20 0 1 0 174004604 60170240 11028 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 14690 11028 798 2417 0 11792 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 58760 KiB
Current children cumulated memory: 44112 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.36 5/244 894819
/proc/meminfo: memFree=127743428/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=247348 memory=219552 CPUtime=401.13 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 48552 0 0 0 40104 9 0 0 20 0 1 0 174004604 253284352 54888 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 61837 54888 2542 2417 0 58939 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 247348 KiB
Current children cumulated memory: 219552 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.49 2.47 5/244 894829
/proc/meminfo: memFree=127652544/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=341224 memory=296640 CPUtime=460.94 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 67848 0 0 0 46082 12 0 0 20 0 1 0 174004604 349413376 74160 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 85306 74160 2542 2417 0 82408 0
################
# More data... #
################
Current children cumulated memory: 409880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/244 896631
/proc/meminfo: memFree=124705316/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=2913.53 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 93494 0 0 0 291334 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/243 896642
/proc/meminfo: memFree=124677836/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=2973.35 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 93581 0 0 0 297316 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3042.3 s]
/proc/loadavg: 4.33 4.16 4.05 5/243 896653
/proc/meminfo: memFree=124648456/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3033.17 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 93666 0 0 0 303298 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.68 4.31 4.11 5/241 896664
/proc/meminfo: memFree=124643700/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3092.99 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 93754 0 0 0 309280 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.54 4.33 4.13 5/241 896719
/proc/meminfo: memFree=124878168/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3152.81 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 93840 0 0 0 315262 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.28 4.12 5/241 896729
/proc/meminfo: memFree=124871640/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3212.64 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 93928 0 0 0 321245 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3212.64 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.26 4.12 5/242 896741
/proc/meminfo: memFree=124869232/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3272.46 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94015 0 0 0 327227 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.12 5/242 896751
/proc/meminfo: memFree=124866848/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3332.28 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94103 0 0 0 333209 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3332.28 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.21 4.12 5/244 896765
/proc/meminfo: memFree=124860820/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3392.09 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94190 0 0 0 339190 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3392.09 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.12 5/244 896776
/proc/meminfo: memFree=124858272/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3451.91 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94279 0 0 0 345172 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.11 5/244 896786
/proc/meminfo: memFree=124847476/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3511.73 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94367 0 0 0 351154 19 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.10 5/243 896796
/proc/meminfo: memFree=124865024/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3571.56 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94455 0 0 0 357136 20 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3571.56 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.38 4.22 4.13 5/243 896801
/proc/meminfo: memFree=124860784/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3600.07 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94499 0 0 0 359987 20 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 894710 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.88 s, system=0.203147 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.38 4.22 4.13 5/243 896801
/proc/meminfo: memFree=124860784/131655788 swapFree=131071996/131071996
[pid=894710] ppid=894707 vsize=421280 memory=409880 CPUtime=3600.07 cores=5,7
/proc/894710/stat : 894710 (CASHWMaxSAT-Dis) R 894707 894710 894669 0 -1 4194304 94499 0 0 0 359987 20 0 0 20 0 1 0 174004604 431390720 102470 134679101440 4194304 14093885 140720359742544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22130688 140720359748580 140720359748695 140720359748695 140720359755711 0
/proc/894710/statm: 105320 102470 2542 2417 0 102422 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 421280 KiB
Current children cumulated memory: 409880 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.08
CPU user time (s): 3599.88
CPU system time (s): 0.203147
CPU usage (%): 99.7004
Max. virtual memory (cumulated for all children) (KiB): 431772
Max. memory (cumulated for all children) (KiB): 416812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.203147
maximum resident set size= 416812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94499
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= 34
involuntary context switches= 1271
# summary of solver processes directly reported to runsolver:
# pid: 894710
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.88
# total CPU system time (s): 0.203147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1567 second user time and 36.1357 second system time
The end
Begin job on nodeC008 at 2024-07-17 14:14:54
IDJOB=4439930
IDBENCH=147576
IDSOLVER=3077
FILE ID=nodeC008/4439930-1721218482
RUNJOBID= nodeC008-1721218494-894682
SLURM_JOB_ID= 7508944
Free space on /tmp= 723768 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439930-1721218482/watcher-4439930-1721218482 -o /tmp/evaluation-result-4439930-1721218482/solver-4439930-1721218482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894682 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439930-1721218482.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59
RANDOM SEED=198217729
nodeC008.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 : 1197.280
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.91
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 : 3483.664
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 : 1197.243
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.91
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.243
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 : 1197.243
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.91
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 : 1197.252
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.252
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.91
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.246
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: 129400716 kB
MemAvailable: 129965188 kB
Buffers: 471936 kB
Cached: 934176 kB
SwapCached: 0 kB
Active: 868452 kB
Inactive: 856424 kB
Active(anon): 1396 kB
Inactive(anon): 355392 kB
Active(file): 867056 kB
Inactive(file): 501032 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59304 kB
Writeback: 28 kB
AnonPages: 319208 kB
Mapped: 104564 kB
Shmem: 37704 kB
KReclaimable: 72828 kB
Slab: 169004 kB
SReclaimable: 72828 kB
SUnreclaim: 96176 kB
KernelStack: 3600 kB
PageTables: 9172 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 657240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54976 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723708 MiB
End job on nodeC008 at 2024-07-17 15:15:05