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 (62568 MiB free)
memory of node 1: 64510 MiB (63004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453669-1721455682/watcher-4453669-1721455682 -o /tmp/evaluation-result-4453669-1721455682/solver-4453669-1721455682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721448264-1039060 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4453669-1721455682.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
Start 4.18.0-301.1.el8.x86_64
Start 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=1043869, runsolver pid=1043866
[startup+0.100098 s]*
/proc/loadavg: 4.29 4.35 4.21 5/241 1043870
/proc/meminfo: memFree=128576584/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=27872 memory=13340 CPUtime=0.1 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 2796 0 0 0 10 0 0 0 20 0 1 0 197727769 28540928 3335 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 6968 3335 878 2594 0 3861 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27872 KiB
Current children cumulated memory: 13340 KiB
[startup+0.212931 s]*
/proc/loadavg: 4.29 4.35 4.21 5/241 1043870
/proc/meminfo: memFree=128570648/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=34508 memory=19852 CPUtime=0.21 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 5183 0 0 0 20 1 0 0 20 0 1 0 197727769 35336192 4963 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 8627 4963 910 2594 0 5520 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 19852 KiB
[startup+0.312884 s]*
/proc/loadavg: 4.29 4.35 4.21 5/241 1043870
/proc/meminfo: memFree=128560400/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=44680 memory=28976 CPUtime=0.31 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 8046 0 0 0 29 2 0 0 20 0 1 0 197727769 45752320 7244 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 11170 7244 926 2594 0 8063 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44680 KiB
Current children cumulated memory: 28976 KiB
[startup+0.700326 s]
/proc/loadavg: 4.29 4.35 4.21 5/241 1043870
/proc/meminfo: memFree=128558132/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=46388 memory=31204 CPUtime=0.68 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 9567 0 0 0 66 2 0 0 20 0 1 0 197727769 47501312 7801 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 11597 7801 990 2594 0 8490 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46388 KiB
Current children cumulated memory: 31204 KiB
[startup+1.50034 s]
/proc/loadavg: 4.29 4.35 4.21 5/241 1043870
/proc/meminfo: memFree=128558156/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=46388 memory=31204 CPUtime=1.48 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 9567 0 0 0 146 2 0 0 20 0 1 0 197727769 47501312 7801 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 11597 7801 990 2594 0 8490 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46388 KiB
Current children cumulated memory: 31204 KiB
[startup+3.11285 s]
/proc/loadavg: 4.27 4.35 4.21 5/241 1043870
/proc/meminfo: memFree=128556852/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=46160 memory=31320 CPUtime=3.09 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 11547 0 0 0 306 3 0 0 20 0 1 0 197727769 47267840 7830 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 11540 7830 1006 2594 0 8433 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46160 KiB
Current children cumulated memory: 31320 KiB
[startup+6.30031 s]
/proc/loadavg: 4.27 4.35 4.21 5/241 1043872
/proc/meminfo: memFree=128532292/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=49956 memory=35112 CPUtime=6.27 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 20987 0 0 0 622 5 0 0 20 0 1 0 197727769 51154944 8778 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 12489 8778 1006 2594 0 9382 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49956 KiB
Current children cumulated memory: 35112 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.34 4.21 5/241 1043872
/proc/meminfo: memFree=128426708/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=57316 memory=42092 CPUtime=12.65 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 26785 0 0 0 1259 6 0 0 20 0 1 0 197727769 58691584 10523 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 14329 10523 1006 2594 0 11222 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57316 KiB
Current children cumulated memory: 42092 KiB
[startup+25.5003 s]
/proc/loadavg: 4.27 4.34 4.21 5/241 1043875
/proc/meminfo: memFree=128374104/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=57228 memory=42388 CPUtime=25.43 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 34499 0 0 0 2534 9 0 0 20 0 1 0 197727769 58601472 10597 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 14307 10597 1006 2594 0 11200 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57228 KiB
Current children cumulated memory: 42388 KiB
[startup+51.1128 s]
/proc/loadavg: 4.18 4.31 4.21 5/241 1043878
/proc/meminfo: memFree=128395816/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=78960 memory=63832 CPUtime=50.97 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 50377 0 0 0 5084 13 0 0 20 0 1 0 197727769 80855040 15958 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 19740 15958 1006 2594 0 16633 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 78960 KiB
Current children cumulated memory: 63832 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.28 4.20 5/241 1043888
/proc/meminfo: memFree=128279564/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=101144 memory=85928 CPUtime=102.04 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 55802 0 0 0 10188 16 0 0 20 0 1 0 197727769 103571456 21482 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 25286 21482 1006 2594 0 22179 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 101144 KiB
Current children cumulated memory: 85928 KiB
[startup+162.3 s]
/proc/loadavg: 4.73 4.41 4.25 5/244 1043903
/proc/meminfo: memFree=128020308/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=118216 memory=103232 CPUtime=161.88 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 63789 0 0 0 16170 18 0 0 20 0 1 0 197727769 121053184 25808 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 29554 25808 1006 2594 0 26447 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 118216 KiB
Current children cumulated memory: 103232 KiB
[startup+222.3 s]
/proc/loadavg: 4.51 4.42 4.27 5/244 1043913
/proc/meminfo: memFree=128022516/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=131764 memory=116760 CPUtime=221.74 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 70287 0 0 0 22151 23 0 0 20 0 1 0 197727769 134926336 29190 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 32941 29190 1006 2594 0 29834 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 131764 KiB
Current children cumulated memory: 116760 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.36 4.25 5/244 1043924
/proc/meminfo: memFree=128101436/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=147324 memory=132128 CPUtime=281.59 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 76506 0 0 0 28132 27 0 0 20 0 1 0 197727769 150859776 33032 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 36831 33032 1006 2594 0 33724 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 147324 KiB
Current children cumulated memory: 132128 KiB
[startup+342.3 s]
/proc/loadavg: 4.99 4.56 4.33 5/244 1043934
/proc/meminfo: memFree=128101020/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=169736 memory=155108 CPUtime=341.43 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 81725 0 0 0 34114 29 0 0 20 0 1 0 197727769 173809664 38777 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 42434 38777 1006 2594 0 39327 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 169736 KiB
Current children cumulated memory: 155108 KiB
[startup+402.3 s]
/proc/loadavg: 4.48 4.50 4.32 5/244 1043945
/proc/meminfo: memFree=128060508/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=187008 memory=172408 CPUtime=401.28 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 85851 0 0 0 40098 30 0 0 20 0 1 0 197727769 191496192 43102 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 46752 43102 1006 2594 0 43645 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 187008 KiB
Current children cumulated memory: 172408 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 4.43 4.31 5/243 1043956
/proc/meminfo: memFree=128121864/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=156216 memory=140988 CPUtime=461.13 cores=5,7
################
# More data... #
################
Current children cumulated memory: 383468 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/243 1045403
/proc/meminfo: memFree=126966820/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=398840 memory=384380 CPUtime=2915.14 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 379276 0 0 0 290966 548 0 0 20 0 1 0 197727769 408412160 96095 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 99710 96095 1006 2594 0 96603 0
Current children cumulated CPU time: 2915.14 s
Current children cumulated vsize: 398840 KiB
Current children cumulated memory: 384380 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/243 1045413
/proc/meminfo: memFree=126957548/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=399624 memory=385164 CPUtime=2975 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 382964 0 0 0 296941 559 0 0 20 0 1 0 197727769 409214976 96291 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 99906 96291 1006 2594 0 96799 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 399624 KiB
Current children cumulated memory: 385164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/245 1045593
/proc/meminfo: memFree=127188344/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=409448 memory=394988 CPUtime=3034.84 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 387185 0 0 0 302916 568 0 0 20 0 1 0 197727769 419274752 98747 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 102362 98747 1006 2594 0 99255 0
Current children cumulated CPU time: 3034.84 s
Current children cumulated vsize: 409448 KiB
Current children cumulated memory: 394988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/245 1045604
/proc/meminfo: memFree=127246060/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=410700 memory=396240 CPUtime=3094.69 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 390312 0 0 0 308892 577 0 0 20 0 1 0 197727769 420556800 99060 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 102675 99060 1006 2594 0 99568 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 410700 KiB
Current children cumulated memory: 396240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/245 1045618
/proc/meminfo: memFree=127233604/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=412012 memory=397552 CPUtime=3154.55 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 393417 0 0 0 314869 586 0 0 20 0 1 0 197727769 421900288 99388 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 103003 99388 1006 2594 0 99896 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 412012 KiB
Current children cumulated memory: 397552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/246 1045640
/proc/meminfo: memFree=127367132/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=417760 memory=403296 CPUtime=3214.41 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 397361 0 0 0 320843 598 0 0 20 0 1 0 197727769 427786240 100824 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 104440 100824 1006 2594 0 101333 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 417760 KiB
Current children cumulated memory: 403296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/246 1045651
/proc/meminfo: memFree=127364108/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=418412 memory=403952 CPUtime=3274.26 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 400434 0 0 0 326821 605 0 0 20 0 1 0 197727769 428453888 100988 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 104603 100988 1006 2594 0 101496 0
Current children cumulated CPU time: 3274.26 s
Current children cumulated vsize: 418412 KiB
Current children cumulated memory: 403952 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.13 5/244 1045661
/proc/meminfo: memFree=127389368/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=426180 memory=411460 CPUtime=3334.11 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 404084 0 0 0 332796 615 0 0 20 0 1 0 197727769 436408320 102865 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 106545 102865 1006 2594 0 103438 0
Current children cumulated CPU time: 3334.11 s
Current children cumulated vsize: 426180 KiB
Current children cumulated memory: 411460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/244 1045672
/proc/meminfo: memFree=127387308/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=427420 memory=412960 CPUtime=3393.96 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 407307 0 0 0 338771 625 0 0 20 0 1 0 197727769 437678080 103240 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 106855 103240 1006 2594 0 103748 0
Current children cumulated CPU time: 3393.96 s
Current children cumulated vsize: 427420 KiB
Current children cumulated memory: 412960 KiB
[startup+3462.3 s]
/proc/loadavg: 3.60 3.97 4.08 4/235 1045713
/proc/meminfo: memFree=127755360/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=438136 memory=423676 CPUtime=3453.81 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 411118 0 0 0 344746 635 0 0 20 0 1 0 197727769 448651264 105919 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 109534 105919 1006 2594 0 106427 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 438136 KiB
Current children cumulated memory: 423676 KiB
[startup+3522.3 s]
/proc/loadavg: 2.89 3.72 3.98 3/228 1045754
/proc/meminfo: memFree=128152896/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=439376 memory=424916 CPUtime=3513.65 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 414302 0 0 0 350720 645 0 0 20 0 1 0 197727769 449921024 106229 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 109844 106229 1006 2594 0 106737 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 439376 KiB
Current children cumulated memory: 424916 KiB
[startup+3582.3 s]
/proc/loadavg: 2.04 3.34 3.83 2/221 1045795
/proc/meminfo: memFree=128527880/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=440644 memory=426184 CPUtime=3573.52 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 417899 0 0 0 356694 658 0 0 20 0 1 0 197727769 451219456 106546 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 110161 106546 1006 2594 0 107054 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 440644 KiB
Current children cumulated memory: 426184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 1.76 3.16 3.76 2/221 1045799
/proc/meminfo: memFree=128527428/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=441060 memory=426600 CPUtime=3600.06 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 419383 0 0 0 359344 662 0 0 20 0 1 0 197727769 451645440 106650 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 110265 106650 1006 2594 0 107158 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 441060 KiB
Current children cumulated memory: 426600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 1043869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.44 s, system=6.62723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 1.76 3.16 3.76 2/221 1045799
/proc/meminfo: memFree=128527428/131655788 swapFree=131071996/131071996
[pid=1043869] ppid=1043866 vsize=441060 memory=426600 CPUtime=3600.06 cores=5,7
/proc/1043869/stat : 1043869 (CASHWMaxSAT-Dis) R 1043866 1043869 1039047 0 -1 4194304 419383 0 0 0 359344 662 0 0 20 0 1 0 197727769 451645440 106650 134679101440 4194304 14817773 140732460984416 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45088768 140732460987363 140732460987478 140732460987478 140732460994495 0
/proc/1043869/statm: 110265 106650 1006 2594 0 107158 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 441060 KiB
Current children cumulated memory: 426600 KiB
Child status: 0
Real time (s): 3608.9
CPU time (s): 3600.07
CPU user time (s): 3593.44
CPU system time (s): 6.62723
CPU usage (%): 99.7552
Max. virtual memory (cumulated for all children) (KiB): 537760
Max. memory (cumulated for all children) (KiB): 523192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.44
system time used= 6.62723
maximum resident set size= 523192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419383
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= 50
involuntary context switches= 2583
# summary of solver processes directly reported to runsolver:
# pid: 1043869
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.44
# total CPU system time (s): 6.62723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3467 second user time and 36.1607 second system time
The end
Begin job on nodeC009 at 2024-07-20 08:08:14
IDJOB=4453669
IDBENCH=175763
IDSOLVER=3075
FILE ID=nodeC009/4453669-1721455682
RUNJOBID= nodeC009-1721448264-1039060
SLURM_JOB_ID= 7545677
Free space on /tmp= 723728 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-3.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-4453669-1721455682/watcher-4453669-1721455682 -o /tmp/evaluation-result-4453669-1721455682/solver-4453669-1721455682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721448264-1039060 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4453669-1721455682.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90e219b8c5705857cfd3b9fc00c31b1d
RANDOM SEED=185250704
nodeC009.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 : 3663.535
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 : 6984.34
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 : 3627.881
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.27
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.341
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 : 6984.34
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.412
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.27
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 : 3663.640
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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.195
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.27
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.525
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 : 6984.34
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.317
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128585760 kB
MemAvailable: 129564452 kB
Buffers: 598204 kB
Cached: 1224360 kB
SwapCached: 0 kB
Active: 1149744 kB
Inactive: 1364324 kB
Active(anon): 1476 kB
Inactive(anon): 735912 kB
Active(file): 1148268 kB
Inactive(file): 628412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14136 kB
Writeback: 0 kB
AnonPages: 690216 kB
Mapped: 119576 kB
Shmem: 45892 kB
KReclaimable: 84084 kB
Slab: 185316 kB
SReclaimable: 84084 kB
SUnreclaim: 101232 kB
KernelStack: 3800 kB
PageTables: 10524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1127872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 604160 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC009 at 2024-07-20 09:08:23