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: 63968 MiB (60025 MiB free)
memory of node 1: 64473 MiB (57426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455849-1721468649/watcher-4455849-1721468649 -o /tmp/evaluation-result-4455849-1721468649/solver-4455849-1721468649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721464960-1073849 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455849-1721468649.opb
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=1077601, runsolver pid=1077598
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.15 4.13 4.10 5/257 1077602
/proc/meminfo: memFree=120267100/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=39220 memory=10168 CPUtime=0.1 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 875 0 0 0 10 0 0 0 20 0 1 0 199027283 40161280 2542 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 9805 2542 1901 922 0 1757 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 10168 KiB
[startup+0.205644 s]*
/proc/loadavg: 4.13 4.13 4.10 5/257 1077602
/proc/meminfo: memFree=120265252/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=40256 memory=11728 CPUtime=0.2 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 1219 0 0 0 20 0 0 0 20 0 1 0 199027283 41222144 2932 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 10064 2932 1965 922 0 2016 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 11728 KiB
[startup+0.305557 s]*
/proc/loadavg: 4.13 4.13 4.10 5/257 1077602
/proc/meminfo: memFree=120263036/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=40136 memory=13796 CPUtime=0.3 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 1310 0 0 0 29 1 0 0 20 0 1 0 199027283 41099264 3449 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 10034 3449 1965 922 0 1986 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40136 KiB
Current children cumulated memory: 13796 KiB
[startup+0.700195 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 1077602
/proc/meminfo: memFree=120261888/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=41600 memory=15116 CPUtime=0.69 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 1649 0 0 0 67 2 0 0 20 0 1 0 199027283 42598400 3779 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 10400 3779 1965 922 0 2352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 15116 KiB
[startup+1.50018 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 1077602
/proc/meminfo: memFree=120259172/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=43100 memory=16700 CPUtime=1.48 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 2055 0 0 0 146 2 0 0 20 0 1 0 199027283 44134400 4175 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 10775 4175 1965 922 0 2727 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 16700 KiB
[startup+3.10551 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 1077602
/proc/meminfo: memFree=120251788/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=45244 memory=20128 CPUtime=3.08 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 2872 0 0 0 305 3 0 0 20 0 1 0 199027283 46329856 5032 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 11311 5032 1965 922 0 3263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45244 KiB
Current children cumulated memory: 20128 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.12 4.10 5/257 1077602
/proc/meminfo: memFree=120247868/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=50188 memory=22892 CPUtime=6.27 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 3615 0 0 0 622 5 0 0 20 0 1 0 199027283 51392512 5723 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 12547 5723 1965 922 0 4499 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50188 KiB
Current children cumulated memory: 22892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.10 5/257 1077603
/proc/meminfo: memFree=120240144/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=58804 memory=28840 CPUtime=12.66 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 5104 0 0 0 1256 10 0 0 20 0 1 0 199027283 60215296 7210 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 14701 7210 1965 922 0 6653 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58804 KiB
Current children cumulated memory: 28840 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1077605
/proc/meminfo: memFree=120218192/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=60632 memory=31744 CPUtime=25.43 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 5838 0 0 0 2528 15 0 0 20 0 1 0 199027283 62087168 7936 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 15158 7936 1965 922 0 7110 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 60632 KiB
Current children cumulated memory: 31744 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 1077609
/proc/meminfo: memFree=120182404/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=62576 memory=36808 CPUtime=50.98 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 6607 0 0 0 5077 21 0 0 20 0 1 0 199027283 64077824 9202 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 15644 9202 1965 922 0 7596 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 62576 KiB
Current children cumulated memory: 36808 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 1077618
/proc/meminfo: memFree=120169032/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=73360 memory=43316 CPUtime=102.04 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 7745 0 0 0 10172 32 0 0 20 0 1 0 199027283 75120640 10829 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 18340 10829 1965 922 0 10292 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 73360 KiB
Current children cumulated memory: 43316 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 1077628
/proc/meminfo: memFree=120151868/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=77160 memory=48248 CPUtime=161.89 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 8496 0 0 0 16148 41 0 0 20 0 1 0 199027283 79011840 12062 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 19290 12062 1965 922 0 11242 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 77160 KiB
Current children cumulated memory: 48248 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1077685
/proc/meminfo: memFree=120710140/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=96840 memory=60524 CPUtime=221.74 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 10526 0 0 0 22126 48 0 0 20 0 1 0 199027283 99164160 15131 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 24210 15131 1965 922 0 16162 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 96840 KiB
Current children cumulated memory: 60524 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 1077695
/proc/meminfo: memFree=120621296/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=101256 memory=69092 CPUtime=281.59 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 11659 0 0 0 28106 53 0 0 20 0 1 0 199027283 103686144 17273 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 25314 17273 1965 922 0 17266 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 101256 KiB
Current children cumulated memory: 69092 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 1077705
/proc/meminfo: memFree=120581352/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=129444 memory=82136 CPUtime=341.43 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 13889 0 0 0 34084 59 0 0 20 0 1 0 199027283 132550656 20534 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 32361 20534 1965 922 0 24313 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 129444 KiB
Current children cumulated memory: 82136 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1077721
/proc/meminfo: memFree=120554820/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=136036 memory=91744 CPUtime=401.29 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 15291 0 0 0 40065 64 0 0 20 0 1 0 199027283 139300864 22936 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 34009 22936 1965 922 0 25961 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 136036 KiB
Current children cumulated memory: 91744 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1077731
/proc/meminfo: memFree=120497872/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=137204 memory=92768 CPUtime=461.13 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 15553 0 0 0 46044 69 0 0 20 0 1 0 199027283 140496896 23192 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 34301 23192 1965 922 0 26253 0
################
# More data... #
################
Current children cumulated memory: 156520 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 1079424
/proc/meminfo: memFree=125909108/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=204352 memory=157484 CPUtime=2854.73 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 24880 0 0 0 285291 182 0 0 20 0 1 0 199027283 209256448 39371 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 51088 39371 1965 922 0 43040 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 204352 KiB
Current children cumulated memory: 157484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 1079434
/proc/meminfo: memFree=125899444/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=207204 memory=160984 CPUtime=2914.55 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 25330 0 0 0 291271 184 0 0 20 0 1 0 199027283 212176896 40246 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 51801 40246 1965 922 0 43753 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 207204 KiB
Current children cumulated memory: 160984 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 1079445
/proc/meminfo: memFree=125872424/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=209020 memory=162012 CPUtime=2974.37 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 25627 0 0 0 297252 185 0 0 20 0 1 0 199027283 214036480 40503 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 52255 40503 1965 922 0 44207 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 209020 KiB
Current children cumulated memory: 162012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 1079456
/proc/meminfo: memFree=125850200/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=212396 memory=165880 CPUtime=3034.19 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 26155 0 0 0 303233 186 0 0 20 0 1 0 199027283 217493504 41470 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 53099 41470 1965 922 0 45051 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 212396 KiB
Current children cumulated memory: 165880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 1079467
/proc/meminfo: memFree=125833900/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=215256 memory=167436 CPUtime=3094.03 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 26628 0 0 0 309216 187 0 0 20 0 1 0 199027283 220422144 41859 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 53814 41859 1965 922 0 45766 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 215256 KiB
Current children cumulated memory: 167436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 1079477
/proc/meminfo: memFree=125825188/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=216816 memory=170244 CPUtime=3153.87 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 26924 0 0 0 315199 188 0 0 20 0 1 0 199027283 222019584 42561 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 54204 42561 1965 922 0 46156 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 216816 KiB
Current children cumulated memory: 170244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 1079488
/proc/meminfo: memFree=125814712/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=217588 memory=171004 CPUtime=3213.71 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 27148 0 0 0 321181 190 0 0 20 0 1 0 199027283 222810112 42751 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 54397 42751 1965 922 0 46349 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 217588 KiB
Current children cumulated memory: 171004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 1079498
/proc/meminfo: memFree=125802060/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=219404 memory=174072 CPUtime=3273.54 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 27499 0 0 0 327163 191 0 0 20 0 1 0 199027283 224669696 43518 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 54851 43518 1965 922 0 46803 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 219404 KiB
Current children cumulated memory: 174072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/254 1079508
/proc/meminfo: memFree=125791600/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=222776 memory=175884 CPUtime=3333.37 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 28029 0 0 0 333145 192 0 0 20 0 1 0 199027283 228122624 43971 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 55694 43971 1965 922 0 47646 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 222776 KiB
Current children cumulated memory: 175884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 1079523
/proc/meminfo: memFree=125784868/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=224596 memory=179212 CPUtime=3393.19 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 28382 0 0 0 339126 193 0 0 20 0 1 0 199027283 229986304 44803 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 56149 44803 1965 922 0 48101 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 224596 KiB
Current children cumulated memory: 179212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 1079533
/proc/meminfo: memFree=125772208/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=226152 memory=180228 CPUtime=3453 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 28722 0 0 0 345107 193 0 0 20 0 1 0 199027283 231579648 45057 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 56538 45057 1965 922 0 48490 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 226152 KiB
Current children cumulated memory: 180228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 1079543
/proc/meminfo: memFree=125764308/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=227452 memory=183836 CPUtime=3512.81 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 29006 0 0 0 351086 195 0 0 20 0 1 0 199027283 232910848 45959 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 56863 45959 1965 922 0 48815 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 227452 KiB
Current children cumulated memory: 183836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 1079554
/proc/meminfo: memFree=125745280/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=228492 memory=193556 CPUtime=3572.62 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 29258 0 0 0 357067 195 0 0 20 0 1 0 199027283 233975808 48389 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 57123 48389 1965 922 0 49075 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 228492 KiB
Current children cumulated memory: 193556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/257 1079560
/proc/meminfo: memFree=125744396/131524600 swapFree=131071216/131071996
[pid=1077601] ppid=1077598 vsize=228492 memory=193636 CPUtime=3600.04 cores=5,7
/proc/1077601/stat : 1077601 (roundingsat) R 1077598 1077601 1073836 0 -1 4194304 29347 0 0 0 359808 196 0 0 20 0 1 0 199027283 233975808 48409 134679101440 4194304 7968373 140732457974256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 36618240 140732457976764 140732457976928 140732457976928 140732457983945 0
/proc/1077601/statm: 57123 48409 1965 922 0 49075 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 228492 KiB
Current children cumulated memory: 193636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.83 s]
# the end of solver process 1077601 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.12 s, system=1.96389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.83
CPU time (s): 3600.09
CPU user time (s): 3598.12
CPU system time (s): 1.96389
CPU usage (%): 99.73
Max. virtual memory (cumulated for all children) (KiB): 228492
Max. memory (cumulated for all children) (KiB): 193636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.12
system time used= 1.96389
maximum resident set size= 193636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29357
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= 33
involuntary context switches= 2690
# summary of solver processes directly reported to runsolver:
# pid: 1077601
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.12
# total CPU system time (s): 1.96389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81629 second user time and 17.2215 second system time
The end
Begin job on nodeC018 at 2024-07-20 11:44:21
IDJOB=4455849
IDBENCH=175924
IDSOLVER=3084
FILE ID=nodeC018/4455849-1721468649
RUNJOBID= nodeC018-1721464960-1073849
SLURM_JOB_ID= 7545715
Free space on /tmp= 890056 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq10/normalized-16array_alg_ineq10.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455849-1721468649/watcher-4455849-1721468649 -o /tmp/evaluation-result-4455849-1721468649/solver-4455849-1721468649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721464960-1073849 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455849-1721468649.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c23135e660516b176b2012acd431254
RANDOM SEED=578124362
nodeC018.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 : 0xb00002a
cpu MHz : 3661.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.071
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.095
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.270
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.046
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.077
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120270516 kB
MemAvailable: 123360080 kB
Buffers: 570348 kB
Cached: 3334932 kB
SwapCached: 148 kB
Active: 1155020 kB
Inactive: 9466936 kB
Active(anon): 1560 kB
Inactive(anon): 6760584 kB
Active(file): 1153460 kB
Inactive(file): 2706352 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 5864 kB
Writeback: 0 kB
AnonPages: 6713952 kB
Mapped: 117668 kB
Shmem: 45784 kB
KReclaimable: 139152 kB
Slab: 239696 kB
SReclaimable: 139152 kB
SUnreclaim: 100544 kB
KernelStack: 4160 kB
PageTables: 22716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7281228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4808704 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: 283348 kB
DirectMap2M: 28850176 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC018 at 2024-07-20 12:44:31