3599.95/3612.34 c Filename:instance-4446276-1721341991.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.95/3612.34 c Use Presolve
3599.95/3612.34 c Parse finsih
3599.95/3612.34 c Start Presolve
3599.95/3612.34 c After Reduce Vars: 283356 Clauses: 6336311 Top clause weight: 1 Hard Clauses: 6336311
3599.95/3612.34 c Use LS-small
3599.95/3612.34 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 (58612 MiB free)
memory of node 1: 64510 MiB (61370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446276-1721341991/watcher-4446276-1721341991 -o /tmp/evaluation-result-4446276-1721341991/solver-4446276-1721341991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983766 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446276-1721341991.opb -t 3600 -s 466020673
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=983828, runsolver pid=983825
[startup+0.100281 s]*
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122779024/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=135580 memory=103040 CPUtime=0.1 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 2883 0 0 0 8 2 0 0 20 0 1 0 186358132 138833920 25760 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 33895 25760 1073 2753 0 30548 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 135580 KiB
Current children cumulated memory: 103040 KiB
[startup+0.213629 s]*
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122652036/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=342944 memory=236096 CPUtime=0.21 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 4413 0 0 0 16 5 0 0 20 0 1 0 186358132 351174656 59024 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 85736 59024 1073 2753 0 82389 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 342944 KiB
Current children cumulated memory: 236096 KiB
[startup+0.313563 s]*
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122527784/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=344104 memory=331332 CPUtime=0.31 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 4966 0 0 0 24 7 0 0 20 0 1 0 186358132 352362496 82833 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 86026 82833 1073 2753 0 82679 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 344104 KiB
Current children cumulated memory: 331332 KiB
[startup+0.70026 s]
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122517564/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=359596 memory=341076 CPUtime=0.68 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 7137 0 0 0 60 8 0 0 20 0 1 0 186358132 368226304 85269 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 89899 85269 1073 2753 0 86552 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 359596 KiB
Current children cumulated memory: 341076 KiB
[startup+1.50028 s]
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122498672/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=376508 memory=357948 CPUtime=1.48 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 7787 0 0 0 139 9 0 0 20 0 1 0 186358132 385544192 89487 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 94127 89487 1073 2753 0 90780 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 376508 KiB
Current children cumulated memory: 357948 KiB
[startup+3.11273 s]
/proc/loadavg: 1.42 1.50 2.32 5/247 983829
/proc/meminfo: memFree=122418572/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=410200 memory=389580 CPUtime=3.09 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 8577 0 0 0 299 10 0 0 20 0 1 0 186358132 420044800 97395 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 102550 97395 1073 2753 0 99203 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 410200 KiB
Current children cumulated memory: 389580 KiB
[startup+6.3003 s]
/proc/loadavg: 1.42 1.50 2.32 5/247 983831
/proc/meminfo: memFree=121967720/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=477452 memory=452600 CPUtime=6.27 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 9677 0 0 0 613 14 0 0 20 0 1 0 186358132 488910848 113150 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 119363 113150 1073 2753 0 116016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 477452 KiB
Current children cumulated memory: 452600 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 1.61 2.35 5/247 983831
/proc/meminfo: memFree=121383940/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=611824 memory=570588 CPUtime=12.65 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 11223 0 0 0 1246 19 0 0 20 0 1 0 186358132 626507776 142647 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 152956 142647 1073 2753 0 149609 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 611824 KiB
Current children cumulated memory: 570588 KiB
[startup+25.5003 s]
/proc/loadavg: 2.51 1.74 2.38 5/245 983834
/proc/meminfo: memFree=119586632/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=880304 memory=798132 CPUtime=25.42 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 13827 0 0 0 2510 32 0 0 20 0 1 0 186358132 901431296 199533 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 220076 199533 1073 2753 0 216729 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 880304 KiB
Current children cumulated memory: 798132 KiB
[startup+51.1132 s]
/proc/loadavg: 3.42 2.02 2.46 5/245 983837
/proc/meminfo: memFree=116996772/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=3624372 memory=3335976 CPUtime=50.97 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 21502 0 0 0 4988 109 0 0 20 0 1 0 186358132 3711356928 833994 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 906093 833994 1073 2753 0 902746 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3624372 KiB
Current children cumulated memory: 3335976 KiB
[startup+102.3 s]
/proc/loadavg: 3.88 2.40 2.56 5/245 983846
/proc/meminfo: memFree=115934444/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=4516876 memory=4233592 CPUtime=102 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 38777 0 0 0 10012 188 0 0 20 0 1 0 186358132 4625281024 1058398 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1129219 1058398 1153 2753 0 1125872 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4516876 KiB
Current children cumulated memory: 4233592 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.72 2.67 5/241 983857
/proc/meminfo: memFree=115718120/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=4516876 memory=4233592 CPUtime=161.79 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 40135 0 0 0 15991 188 0 0 20 0 1 0 186358132 4625281024 1058398 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1129219 1058398 1153 2753 0 1125872 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 4516876 KiB
Current children cumulated memory: 4233592 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.99 2.76 5/241 983867
/proc/meminfo: memFree=115697536/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=4516876 memory=4233592 CPUtime=221.57 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 41551 0 0 0 21969 188 0 0 20 0 1 0 186358132 4625281024 1058398 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1129219 1058398 1153 2753 0 1125872 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 4516876 KiB
Current children cumulated memory: 4233592 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 3.22 2.86 5/241 983877
/proc/meminfo: memFree=114079884/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5647424 CPUtime=281.36 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 479886 0 0 0 27848 288 0 0 20 0 1 0 186358132 6346428416 1411856 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1411856 1153 2753 0 1546074 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5647424 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.38 2.94 5/241 983887
/proc/meminfo: memFree=114033852/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5647432 CPUtime=341.12 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 480387 0 0 0 33815 297 0 0 20 0 1 0 186358132 6346428416 1411858 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1411858 1153 2753 0 1546074 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5647432 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.51 3.01 5/241 983898
/proc/meminfo: memFree=114028616/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5647432 CPUtime=400.89 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 481111 0 0 0 39780 309 0 0 20 0 1 0 186358132 6346428416 1411858 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1411858 1153 2753 0 1546074 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5647432 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.64 3.09 5/244 983913
/proc/meminfo: memFree=114021328/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5647432 CPUtime=460.65 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 482208 0 0 0 45745 320 0 0 20 0 1 0 186358132 6346428416 1411858 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1411858 1153 2753 0 1546074 0
################
# More data... #
################
Current children cumulated memory: 5667192 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.20 4.10 5/245 984927
/proc/meminfo: memFree=114058352/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=2911.91 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 522520 0 0 0 290485 706 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 2911.91 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.19 4.10 5/245 984938
/proc/meminfo: memFree=114058020/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=2971.74 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 523540 0 0 0 296460 714 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 2971.74 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.20 4.10 5/244 984948
/proc/meminfo: memFree=114057872/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3031.57 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 524578 0 0 0 302434 723 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3031.57 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.18 4.10 5/244 984959
/proc/meminfo: memFree=114057388/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3091.4 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 526150 0 0 0 308409 731 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3091.4 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.10 5/243 985353
/proc/meminfo: memFree=114056968/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3151.22 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 527497 0 0 0 314383 739 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3151.22 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/243 985363
/proc/meminfo: memFree=114056792/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3211.06 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 528872 0 0 0 320358 748 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3211.06 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/243 985373
/proc/meminfo: memFree=114056468/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3270.88 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 530269 0 0 0 326331 757 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3270.88 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/243 985551
/proc/meminfo: memFree=114056228/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3330.7 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 531509 0 0 0 332307 763 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/243 985563
/proc/meminfo: memFree=114056044/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3390.54 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 532929 0 0 0 338283 771 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3390.54 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.29 4.15 5/243 985630
/proc/meminfo: memFree=114055692/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3450.37 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 534425 0 0 0 344259 778 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3450.37 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.56 4.34 4.18 5/243 985641
/proc/meminfo: memFree=114055428/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3510.2 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 535921 0 0 0 350236 784 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3510.2 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.31 4.18 5/243 985652
/proc/meminfo: memFree=114055128/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3570.04 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 537197 0 0 0 356215 789 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3570.04 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117912896/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=6197684 memory=5667192 CPUtime=3600.05 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 537843 0 0 0 359212 793 0 0 20 0 1 0 186358132 6346428416 1416798 134679101440 4194304 15467897 140721398842400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1549421 1416798 1153 2753 0 1546074 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6197684 KiB
Current children cumulated memory: 5667192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.54 s]
# the end of solver process 983828 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3592.23 s, system=7.96695 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117912896/131655788 swapFree=131071996/131071996
[pid=983828] ppid=983825 vsize=5060292 memory=4529864 CPUtime=3600.16 cores=0,2
/proc/983828/stat : 983828 (LS-MabSP) R 983825 983828 983756 0 -1 4194304 538031 0 0 0 359222 794 0 0 20 0 1 0 186358132 5181739008 1132466 134679101440 4194304 15467897 140721398842400 0 0 0 16384 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40128512 140721398846495 140721398846597 140721398846597 140721398853613 0
/proc/983828/statm: 1265073 1132466 1169 2753 0 1261726 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 5060292 KiB
Current children cumulated memory: 4529864 KiB
Child status: 10
Real time (s): 3612.54
CPU time (s): 3600.2
CPU user time (s): 3592.23
CPU system time (s): 7.96695
CPU usage (%): 99.6585
Max. virtual memory (cumulated for all children) (KiB): 6197684
Max. memory (cumulated for all children) (KiB): 5667192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.23
system time used= 7.96695
maximum resident set size= 5667192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538060
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= 42
involuntary context switches= 24650
# summary of solver processes directly reported to runsolver:
# pid: 983828
# total CPU time (s): 3600.2
# total CPU user time (s): 3592.23
# total CPU system time (s): 7.96695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0991 second user time and 36.5805 second system time
The end
Begin job on nodeC006 at 2024-07-19 00:33:26
IDJOB=4446276
IDBENCH=155554
IDSOLVER=3047
FILE ID=nodeC006/4446276-1721341991
RUNJOBID= nodeC006-1721342003-983766
SLURM_JOB_ID= 7542736
Free space on /tmp= 723376 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-172.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446276-1721341991/watcher-4446276-1721341991 -o /tmp/evaluation-result-4446276-1721341991/solver-4446276-1721341991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983766 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446276-1721341991.opb -t 3600 -s 466020673
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46f4146f739f9ce6c71981ef5aa732b8
RANDOM SEED=466020673
nodeC006.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 : 3492.356
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.971
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.26
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.371
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.94
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.400
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.26
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 : 3491.971
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.94
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 : 3491.971
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.26
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.425
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.94
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.831
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122862888 kB
MemAvailable: 129456672 kB
Buffers: 512796 kB
Cached: 6838864 kB
SwapCached: 0 kB
Active: 1016560 kB
Inactive: 7046040 kB
Active(anon): 1460 kB
Inactive(anon): 747192 kB
Active(file): 1015100 kB
Inactive(file): 6298848 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 426384 kB
Writeback: 4 kB
AnonPages: 711064 kB
Mapped: 118920 kB
Shmem: 37704 kB
KReclaimable: 239732 kB
Slab: 358464 kB
SReclaimable: 239732 kB
SUnreclaim: 118732 kB
KernelStack: 3968 kB
PageTables: 10276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1146568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 380928 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723408 MiB
End job on nodeC006 at 2024-07-19 01:33:39