0.78/0.82 c Filename:instance-4428157-1721008940.opb, Cutoff_time:3600, memory_limit_gb:500000
0.78/0.82 c Not use presolve
3599.94/3607.65 c Use LS-small
3599.94/3607.65 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 (45238 MiB free)
memory of node 1: 64510 MiB (63429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428157-1721008940/watcher-4428157-1721008940 -o /tmp/evaluation-result-4428157-1721008940/solver-4428157-1721008940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721005346-770531 --watchdog 3760 ./LS-MabS -f HOME/instance-4428157-1721008940.opb -t 3600 -s 862368077
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=772479, runsolver pid=772476
[startup+0.100176 s]*
/proc/loadavg: 4.11 4.10 4.10 4/242 772480
/proc/meminfo: memFree=111415776/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=51436 memory=39492 CPUtime=0.1 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 7824 0 0 0 8 2 0 0 20 0 1 0 153050726 52670464 9807 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 12859 9807 2237 2403 0 9969 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 39492 KiB
[startup+0.21325 s]*
/proc/loadavg: 4.11 4.10 4.10 4/241 772494
/proc/meminfo: memFree=111399164/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=63572 memory=50616 CPUtime=0.21 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 10601 0 0 0 19 2 0 0 20 0 1 0 153050726 65097728 12654 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 15893 12654 2317 2403 0 13003 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63572 KiB
Current children cumulated memory: 50616 KiB
[startup+0.312549 s]*
/proc/loadavg: 4.11 4.10 4.10 6/241 772494
/proc/meminfo: memFree=111395020/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=65960 memory=53112 CPUtime=0.3 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 11154 0 0 0 28 2 0 0 20 0 1 0 153050726 67543040 13278 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 16490 13278 2349 2403 0 13600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65960 KiB
Current children cumulated memory: 53112 KiB
[startup+0.700304 s]
/proc/loadavg: 4.11 4.10 4.10 5/244 772526
/proc/meminfo: memFree=111389152/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=77672 memory=64412 CPUtime=0.68 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 14267 0 0 0 65 3 0 0 20 0 1 0 153050726 79536128 16103 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 19418 16103 2445 2403 0 16528 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77672 KiB
Current children cumulated memory: 64412 KiB
[startup+1.50031 s]
/proc/loadavg: 4.11 4.10 4.10 4/242 772526
/proc/meminfo: memFree=111385884/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=98140 memory=83148 CPUtime=1.48 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 20722 0 0 0 144 4 0 0 20 0 1 0 153050726 100495360 20787 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 24535 20787 2461 2403 0 21645 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98140 KiB
Current children cumulated memory: 83148 KiB
[startup+3.11294 s]
/proc/loadavg: 4.11 4.10 4.10 5/244 772574
/proc/meminfo: memFree=123145208/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=112756 memory=95508 CPUtime=3.08 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 24233 0 0 0 304 4 0 0 20 0 1 0 153050726 115462144 23877 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 28189 23877 2461 2403 0 25299 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 95508 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.10 4.10 5/244 772620
/proc/meminfo: memFree=128704772/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=122660 memory=106636 CPUtime=6.27 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 29739 0 0 0 621 6 0 0 20 0 1 0 153050726 125603840 26659 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 30665 26659 2461 2403 0 27775 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122660 KiB
Current children cumulated memory: 106636 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 4.10 5/244 772621
/proc/meminfo: memFree=128698408/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=124096 memory=108436 CPUtime=12.65 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 31618 0 0 0 1259 6 0 0 20 0 1 0 153050726 127074304 27109 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 31024 27109 2461 2403 0 28134 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124096 KiB
Current children cumulated memory: 108436 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/244 772623
/proc/meminfo: memFree=128643836/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=130544 memory=115340 CPUtime=25.4 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 35627 0 0 0 2534 6 0 0 20 0 1 0 153050726 133677056 28835 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 32636 28835 2461 2403 0 29746 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 130544 KiB
Current children cumulated memory: 115340 KiB
[startup+51.1138 s]
/proc/loadavg: 4.11 4.10 4.09 5/244 772626
/proc/meminfo: memFree=128503636/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=153196 memory=142260 CPUtime=50.92 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 48439 0 0 0 5083 9 0 0 20 0 1 0 153050726 156872704 35565 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 38299 35565 2461 2403 0 35409 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 153196 KiB
Current children cumulated memory: 142260 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/243 772636
/proc/meminfo: memFree=128504116/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=197880 memory=176944 CPUtime=101.97 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 55213 0 0 0 10187 10 0 0 20 0 1 0 153050726 202629120 44236 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 49470 44236 2461 2403 0 46580 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 197880 KiB
Current children cumulated memory: 176944 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/243 772647
/proc/meminfo: memFree=128465276/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=254160 memory=230548 CPUtime=161.8 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 69991 0 0 0 16168 12 0 0 20 0 1 0 153050726 260259840 57637 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 63540 57637 2461 2403 0 60650 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 254160 KiB
Current children cumulated memory: 230548 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/242 772658
/proc/meminfo: memFree=128445116/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=265096 memory=241128 CPUtime=221.65 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 72728 0 0 0 22152 13 0 0 20 0 1 0 153050726 271458304 60282 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 66274 60282 2461 2403 0 63384 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 265096 KiB
Current children cumulated memory: 241128 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/242 772668
/proc/meminfo: memFree=128431196/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=265436 memory=241440 CPUtime=281.49 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 72890 0 0 0 28136 13 0 0 20 0 1 0 153050726 271806464 60360 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 66359 60360 2461 2403 0 63469 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 265436 KiB
Current children cumulated memory: 241440 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/244 772682
/proc/meminfo: memFree=128416488/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=279232 memory=255932 CPUtime=341.34 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 77709 0 0 0 34120 14 0 0 20 0 1 0 153050726 285933568 63983 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 69808 63983 2461 2403 0 66918 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 279232 KiB
Current children cumulated memory: 255932 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/244 772694
/proc/meminfo: memFree=128414976/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=279720 memory=257160 CPUtime=401.18 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 78086 0 0 0 40104 14 0 0 20 0 1 0 153050726 286433280 64290 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 69930 64290 2461 2403 0 67040 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 279720 KiB
Current children cumulated memory: 257160 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/244 772704
/proc/meminfo: memFree=128413972/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=279720 memory=257688 CPUtime=461.02 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 78319 0 0 0 46088 14 0 0 20 0 1 0 153050726 286433280 64422 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 69930 64422 2461 2403 0 67040 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.09 5/244 773804
/proc/meminfo: memFree=128355772/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3155.34 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117832 0 0 0 305787 9747 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3155.34 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/244 774199
/proc/meminfo: memFree=128355452/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3215.24 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117835 0 0 0 311370 10154 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3215.24 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.49 4.25 4.15 5/244 774209
/proc/meminfo: memFree=128355020/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3275.15 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117838 0 0 0 316960 10555 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3275.15 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/244 774219
/proc/meminfo: memFree=128354696/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3335.06 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117841 0 0 0 322574 10932 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3335.06 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/245 774400
/proc/meminfo: memFree=128354088/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3394.96 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117844 0 0 0 328145 11351 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3394.96 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/245 774410
/proc/meminfo: memFree=128353868/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3454.87 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117847 0 0 0 333704 11783 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3454.87 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/244 774434
/proc/meminfo: memFree=128353628/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3514.78 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117850 0 0 0 339281 12197 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3514.78 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/244 774444
/proc/meminfo: memFree=128353444/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3574.68 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117853 0 0 0 344837 12631 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3607.66 s]
# the end of solver process 772479 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3471.95 s, system=128.055 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.13 5/244 774444
/proc/meminfo: memFree=128353388/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3576.39 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117853 0 0 0 344994 12645 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3576.39 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.15 4.13 5/244 774446
/proc/meminfo: memFree=128353304/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3589.15 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117853 0 0 0 346190 12725 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3589.15 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.14 4.12 5/244 774448
/proc/meminfo: memFree=128353304/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3595.54 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117856 0 0 0 346779 12775 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3595.54 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3604.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/244 774448
/proc/meminfo: memFree=128353304/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3597.14 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117856 0 0 0 346928 12786 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3597.14 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.14 4.12 5/244 774448
/proc/meminfo: memFree=128353296/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3598.74 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117856 0 0 0 347078 12796 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3598.74 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3607.2 s]
/proc/loadavg: 4.08 4.14 4.12 5/244 774448
/proc/meminfo: memFree=128353304/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3599.54 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117856 0 0 0 347152 12802 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
[startup+3607.6 s]
/proc/loadavg: 4.08 4.14 4.12 5/244 774448
/proc/meminfo: memFree=128353304/131655788 swapFree=131071996/131071996
[pid=772479] ppid=772476 vsize=307724 memory=300772 CPUtime=3599.94 cores=5,7
/proc/772479/stat : 772479 (LS-MabS) R 772476 772479 770518 0 -1 4194304 117856 0 0 0 347189 12805 0 0 20 0 1 0 153050726 315109376 75193 134679101440 4194304 14036057 140721312568480 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53342208 140721312572450 140721312572551 140721312572551 140721312579566 0
/proc/772479/statm: 76931 75193 2492 2403 0 74041 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 307724 KiB
Current children cumulated memory: 300772 KiB
Child status: 0
Real time (s): 3607.66
CPU time (s): 3600
CPU user time (s): 3471.95
CPU system time (s): 128.055
CPU usage (%): 99.7879
Max. virtual memory (cumulated for all children) (KiB): 376324
Max. memory (cumulated for all children) (KiB): 365256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3471.95
system time used= 128.055
maximum resident set size= 365256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117860
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= 61
involuntary context switches= 1545
# summary of solver processes directly reported to runsolver:
# pid: 772479
# total CPU time (s): 3600
# total CPU user time (s): 3471.95
# total CPU system time (s): 128.055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5846 second user time and 32.0239 second system time
The end
Begin job on nodeC007 at 2024-07-15 04:02:33
IDJOB=4428157
IDBENCH=147102
IDSOLVER=3048
FILE ID=nodeC007/4428157-1721008940
RUNJOBID= nodeC007-1721005346-770531
SLURM_JOB_ID= 7505347
Free space on /tmp= 723736 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.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-4428157-1721008940/watcher-4428157-1721008940 -o /tmp/evaluation-result-4428157-1721008940/solver-4428157-1721008940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721005346-770531 --watchdog 3760 ./LS-MabS -f HOME/instance-4428157-1721008940.opb -t 3600 -s 862368077
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=862368077
nodeC007.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 : 3677.884
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.25
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 : 3651.835
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.345
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.25
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.237
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3678.777
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.25
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.635
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.420
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.25
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.137
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111276280 kB
MemAvailable: 112251808 kB
Buffers: 349588 kB
Cached: 1460460 kB
SwapCached: 0 kB
Active: 536836 kB
Inactive: 19273460 kB
Active(anon): 1484 kB
Inactive(anon): 18036460 kB
Active(file): 535352 kB
Inactive(file): 1237000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13056 kB
Writeback: 0 kB
AnonPages: 18000412 kB
Mapped: 112568 kB
Shmem: 37704 kB
KReclaimable: 86416 kB
Slab: 180180 kB
SReclaimable: 86416 kB
SUnreclaim: 93764 kB
KernelStack: 3912 kB
PageTables: 44328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 18297416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 49216 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5918720 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: 238408 kB
DirectMap2M: 18540544 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC007 at 2024-07-15 05:02:41