0.00/0.02 c Filename:instance-4448707-1721369947.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.02 c Not use presolve
3599.97/3612.62 c Use LS-small
3599.97/3612.62 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 (62355 MiB free)
memory of node 1: 64510 MiB (61829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448707-1721369947/watcher-4448707-1721369947 -o /tmp/evaluation-result-4448707-1721369947/solver-4448707-1721369947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721366348-990465 --watchdog 3760 ./LS-MabS -f HOME/instance-4448707-1721369947.opb -t 3600 -s 1203440620
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=992544, runsolver pid=992541
[startup+0.100101 s]*
/proc/loadavg: 4.13 4.11 4.10 5/242 992545
/proc/meminfo: memFree=127152244/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=33020 memory=23356 CPUtime=0.1 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 3923 0 0 0 10 0 0 0 20 0 1 0 189151670 33812480 5839 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 8255 5839 2461 2403 0 5365 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33020 KiB
Current children cumulated memory: 23356 KiB
[startup+0.212866 s]*
/proc/loadavg: 4.13 4.11 4.10 5/242 992545
/proc/meminfo: memFree=127150060/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=33684 memory=24676 CPUtime=0.21 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 4250 0 0 0 21 0 0 0 20 0 1 0 189151670 34492416 6169 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 8421 6169 2461 2403 0 5531 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33684 KiB
Current children cumulated memory: 24676 KiB
[startup+0.312636 s]*
/proc/loadavg: 4.13 4.11 4.10 5/242 992545
/proc/meminfo: memFree=127149248/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=33928 memory=25204 CPUtime=0.31 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 4385 0 0 0 31 0 0 0 20 0 1 0 189151670 34742272 6301 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 8482 6301 2461 2403 0 5592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33928 KiB
Current children cumulated memory: 25204 KiB
[startup+0.700277 s]
/proc/loadavg: 4.13 4.11 4.10 6/242 992545
/proc/meminfo: memFree=127145748/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=35184 memory=26524 CPUtime=0.68 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 4715 0 0 0 68 0 0 0 20 0 1 0 189151670 36028416 6631 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 8796 6631 2461 2403 0 5906 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35184 KiB
Current children cumulated memory: 26524 KiB
[startup+1.50031 s]
/proc/loadavg: 4.13 4.11 4.10 5/242 992545
/proc/meminfo: memFree=127135888/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=36236 memory=27720 CPUtime=1.48 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 5719 0 0 0 148 0 0 0 20 0 1 0 189151670 37105664 6930 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 9059 6930 2461 2403 0 6169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36236 KiB
Current children cumulated memory: 27720 KiB
[startup+3.11248 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 992547
/proc/meminfo: memFree=127120188/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=39716 memory=31228 CPUtime=3.09 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 7062 0 0 0 308 1 0 0 20 0 1 0 189151670 40669184 7807 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 9929 7807 2461 2403 0 7039 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 31228 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 992547
/proc/meminfo: memFree=127103744/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=45044 memory=36704 CPUtime=6.26 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 10345 0 0 0 625 1 0 0 20 0 1 0 189151670 46125056 9176 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 11261 9176 2461 2403 0 8371 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 45044 KiB
Current children cumulated memory: 36704 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 992548
/proc/meminfo: memFree=127074304/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=46828 memory=38024 CPUtime=12.63 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 10688 0 0 0 1262 1 0 0 20 0 1 0 189151670 47951872 9506 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 11707 9506 2461 2403 0 8817 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 38024 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/242 992550
/proc/meminfo: memFree=127038880/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=66180 memory=57980 CPUtime=25.37 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 16518 0 0 0 2535 2 0 0 20 0 1 0 189151670 67768320 14495 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 16545 14495 2461 2403 0 13655 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 66180 KiB
Current children cumulated memory: 57980 KiB
[startup+51.1123 s]
/proc/loadavg: 4.19 4.13 4.10 5/242 992553
/proc/meminfo: memFree=126971060/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=103148 memory=93268 CPUtime=50.86 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 25358 0 0 0 5083 3 0 0 20 0 1 0 189151670 105623552 23317 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 25787 23317 2461 2403 0 22897 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 103148 KiB
Current children cumulated memory: 93268 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 992571
/proc/meminfo: memFree=126824524/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=159176 memory=150340 CPUtime=101.81 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 40725 0 0 0 10175 6 0 0 20 0 1 0 189151670 162996224 37585 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 39794 37585 2461 2403 0 36904 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 159176 KiB
Current children cumulated memory: 150340 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 992581
/proc/meminfo: memFree=126675960/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=218612 memory=206852 CPUtime=161.52 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 54938 0 0 0 16144 8 0 0 20 0 1 0 189151670 223858688 51713 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 54653 51713 2461 2403 0 51763 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 218612 KiB
Current children cumulated memory: 206852 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 992591
/proc/meminfo: memFree=126511408/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=281860 memory=269676 CPUtime=221.19 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 71665 0 0 0 22108 11 0 0 20 0 1 0 189151670 288624640 67419 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 70465 67419 2461 2403 0 67575 0
Current children cumulated CPU time: 221.19 s
Current children cumulated vsize: 281860 KiB
Current children cumulated memory: 269676 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/245 992601
/proc/meminfo: memFree=126374952/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=339232 memory=328620 CPUtime=280.86 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 87272 0 0 0 28073 13 0 0 20 0 1 0 189151670 347373568 82155 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 84808 82155 2461 2403 0 81918 0
Current children cumulated CPU time: 280.86 s
Current children cumulated vsize: 339232 KiB
Current children cumulated memory: 328620 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/244 992613
/proc/meminfo: memFree=126244356/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=394352 memory=385236 CPUtime=340.53 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 101231 0 0 0 34037 16 0 0 20 0 1 0 189151670 403816448 96309 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 98588 96309 2461 2403 0 95698 0
Current children cumulated CPU time: 340.53 s
Current children cumulated vsize: 394352 KiB
Current children cumulated memory: 385236 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/246 993007
/proc/meminfo: memFree=126134716/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=454356 memory=436868 CPUtime=400.24 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 115227 0 0 0 40005 19 0 0 20 0 1 0 189151670 465260544 109217 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 113589 109217 2461 2403 0 110699 0
Current children cumulated CPU time: 400.24 s
Current children cumulated vsize: 454356 KiB
Current children cumulated memory: 436868 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 993018
/proc/meminfo: memFree=126038680/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=501264 memory=484320 CPUtime=459.94 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 128135 0 0 0 45974 20 0 0 20 0 1 0 189151670 513294336 121080 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 125316 121080 2461 2403 0 122426 0
################
# More data... #
################
/proc/loadavg: 4.13 4.15 4.16 5/243 994309
/proc/meminfo: memFree=125170188/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=717368 CPUtime=3210.48 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272868 0 0 0 281785 39263 0 0 20 0 1 0 189151670 742453248 179342 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179342 2461 2403 0 178373 0
Current children cumulated CPU time: 3210.48 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 717368 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 994320
/proc/meminfo: memFree=125169104/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=717972 CPUtime=3270.35 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272869 0 0 0 286105 40930 0 0 20 0 1 0 189151670 742453248 179493 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179493 2461 2403 0 178373 0
Current children cumulated CPU time: 3270.35 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 717972 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/244 994333
/proc/meminfo: memFree=125168828/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3330.23 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272871 0 0 0 290434 42589 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3330.23 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/242 994343
/proc/meminfo: memFree=125168572/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3390.11 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272872 0 0 0 294755 44256 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3390.11 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/242 994353
/proc/meminfo: memFree=125168172/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3449.98 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272874 0 0 0 299088 45910 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3449.98 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/242 994365
/proc/meminfo: memFree=125167824/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3509.86 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272875 0 0 0 303437 47549 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/242 994375
/proc/meminfo: memFree=125167612/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3569.74 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272877 0 0 0 307777 49197 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3612.63 s]
# the end of solver process 992544 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3099.54 s, system=500.469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.15 5/242 994375
/proc/meminfo: memFree=125167612/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3571.45 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272877 0 0 0 307900 49245 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.15 5/242 994376
/proc/meminfo: memFree=125167556/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3584.21 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272877 0 0 0 308820 49601 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.14 4.15 5/242 994378
/proc/meminfo: memFree=125167484/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3590.6 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272877 0 0 0 309280 49780 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3590.6 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3609.6 s]
/proc/loadavg: 4.09 4.13 4.15 4/239 994438
/proc/meminfo: memFree=124584396/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3596.98 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272878 0 0 0 309735 49963 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3596.98 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3611.2 s]
/proc/loadavg: 4.09 4.13 4.15 5/238 994505
/proc/meminfo: memFree=124683492/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3598.58 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272878 0 0 0 309850 50008 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3598.58 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3612 s]*
/proc/loadavg: 4.09 4.13 4.15 5/242 994518
/proc/meminfo: memFree=124217236/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3599.38 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272878 0 0 0 309909 50029 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3599.38 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3612.4 s]
/proc/loadavg: 4.09 4.13 4.15 5/242 994518
/proc/meminfo: memFree=124217236/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3599.77 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272878 0 0 0 309937 50040 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
[startup+3612.6 s]
/proc/loadavg: 4.09 4.13 4.15 5/242 994518
/proc/meminfo: memFree=124217236/131655788 swapFree=131071996/131071996
[pid=992544] ppid=992541 vsize=725052 memory=718028 CPUtime=3599.97 cores=0,2
/proc/992544/stat : 992544 (LS-MabS) R 992541 992544 990455 0 -1 4194304 272878 0 0 0 309952 50045 0 0 20 0 1 0 189151670 742453248 179507 134679101440 4194304 14036057 140733237885984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53981184 140733237888032 140733237888134 140733237888134 140733237895150 0
/proc/992544/statm: 181263 179507 2461 2403 0 178373 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 725052 KiB
Current children cumulated memory: 718028 KiB
Child status: 0
Real time (s): 3612.63
CPU time (s): 3600.01
CPU user time (s): 3099.54
CPU system time (s): 500.469
CPU usage (%): 99.6507
Max. virtual memory (cumulated for all children) (KiB): 1058732
Max. memory (cumulated for all children) (KiB): 1038652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3099.54
system time used= 500.469
maximum resident set size= 1038652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272883
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= 313
involuntary context switches= 24722
# summary of solver processes directly reported to runsolver:
# pid: 992544
# total CPU time (s): 3600.01
# total CPU user time (s): 3099.54
# total CPU system time (s): 500.469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0806 second user time and 31.8598 second system time
The end
Begin job on nodeC012 at 2024-07-19 08:19:20
IDJOB=4448707
IDBENCH=160437
IDSOLVER=3048
FILE ID=nodeC012/4448707-1721369947
RUNJOBID= nodeC012-1721366348-990465
SLURM_JOB_ID= 7542803
Free space on /tmp= 723740 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448707-1721369947/watcher-4448707-1721369947 -o /tmp/evaluation-result-4448707-1721369947/solver-4448707-1721369947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721366348-990465 --watchdog 3760 ./LS-MabS -f HOME/instance-4448707-1721369947.opb -t 3600 -s 1203440620
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c77de5d960d047979379f2e9f2c1fca5
RANDOM SEED=1203440620
nodeC012.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.209
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.37
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 : 2893.526
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.32
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.322
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.37
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.561
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.32
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 : 3670.573
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.37
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 : 2394.642
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.32
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.524
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.37
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.487
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127166040 kB
MemAvailable: 129856480 kB
Buffers: 524368 kB
Cached: 2985020 kB
SwapCached: 0 kB
Active: 1039248 kB
Inactive: 2861904 kB
Active(anon): 1464 kB
Inactive(anon): 427996 kB
Active(file): 1037784 kB
Inactive(file): 2433908 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52228 kB
Writeback: 0 kB
AnonPages: 391912 kB
Mapped: 136172 kB
Shmem: 37704 kB
KReclaimable: 117560 kB
Slab: 222664 kB
SReclaimable: 117560 kB
SUnreclaim: 105104 kB
KernelStack: 3900 kB
PageTables: 9900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 743236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723460 MiB
End job on nodeC012 at 2024-07-19 09:19:32