0.00/0.02 c Filename:instance-4448737-1721370130.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.02 c Not use presolve
3599.94/3609.35 c Use LS-small
3599.94/3609.35 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 (62407 MiB free)
memory of node 1: 64510 MiB (60527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448737-1721370130/watcher-4448737-1721370130 -o /tmp/evaluation-result-4448737-1721370130/solver-4448737-1721370130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721362926-988505 --watchdog 3760 ./LS-MabS -f HOME/instance-4448737-1721370130.opb -t 3600 -s 1484895558
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=992454, runsolver pid=992451
[startup+0.100916 s]*
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125879452/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=23844 memory=15476 CPUtime=0.09 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 1626 0 0 0 9 0 0 0 20 0 1 0 189169647 24416256 3869 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 5961 3869 2461 2403 0 3071 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23844 KiB
Current children cumulated memory: 15476 KiB
[startup+0.212983 s]*
/proc/loadavg: 4.12 4.12 4.14 6/244 992455
/proc/meminfo: memFree=125876420/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=27124 memory=18376 CPUtime=0.21 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 2344 0 0 0 20 1 0 0 20 0 1 0 189169647 27774976 4594 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 6781 4594 2461 2403 0 3891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27124 KiB
Current children cumulated memory: 18376 KiB
[startup+0.312775 s]*
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125875672/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=27536 memory=18640 CPUtime=0.31 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 2445 0 0 0 30 1 0 0 20 0 1 0 189169647 28196864 4660 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 6884 4660 2461 2403 0 3994 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27536 KiB
Current children cumulated memory: 18640 KiB
[startup+0.700285 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125874572/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=29308 memory=20488 CPUtime=0.69 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 2903 0 0 0 68 1 0 0 20 0 1 0 189169647 30011392 5122 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 7327 5122 2461 2403 0 4437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29308 KiB
Current children cumulated memory: 20488 KiB
[startup+1.50027 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125873572/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=30376 memory=21280 CPUtime=1.48 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 3103 0 0 0 147 1 0 0 20 0 1 0 189169647 31105024 5320 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 7594 5320 2461 2403 0 4704 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30376 KiB
Current children cumulated memory: 21280 KiB
[startup+3.11243 s]
/proc/loadavg: 4.11 4.11 4.14 5/244 992549
/proc/meminfo: memFree=126713168/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=40672 memory=32228 CPUtime=3.09 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 6067 0 0 0 308 1 0 0 20 0 1 0 189169647 41648128 8057 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 10168 8057 2461 2403 0 7278 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40672 KiB
Current children cumulated memory: 32228 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.11 4.14 4/238 992580
/proc/meminfo: memFree=127034216/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=42080 memory=33812 CPUtime=6.26 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 6444 0 0 0 625 1 0 0 20 0 1 0 189169647 43089920 8453 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 10520 8453 2461 2403 0 7630 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42080 KiB
Current children cumulated memory: 33812 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.14 5/244 992596
/proc/meminfo: memFree=126972272/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=48236 memory=39188 CPUtime=12.63 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 8026 0 0 0 1262 1 0 0 20 0 1 0 189169647 49393664 9797 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 12059 9797 2461 2403 0 9169 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 48236 KiB
Current children cumulated memory: 39188 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.14 5/244 992599
/proc/meminfo: memFree=126954740/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=55596 memory=47652 CPUtime=25.38 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 11108 0 0 0 2536 2 0 0 20 0 1 0 189169647 56930304 11913 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 13899 11913 2461 2403 0 11009 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 55596 KiB
Current children cumulated memory: 47652 KiB
[startup+51.1125 s]
/proc/loadavg: 4.05 4.10 4.13 5/244 992602
/proc/meminfo: memFree=126903716/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=76324 memory=68580 CPUtime=50.89 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 20915 0 0 0 5085 4 0 0 20 0 1 0 189169647 78155776 17145 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 19081 17145 2461 2403 0 16191 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 76324 KiB
Current children cumulated memory: 68580 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/244 992611
/proc/meminfo: memFree=126822000/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=95140 memory=87640 CPUtime=101.89 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 28826 0 0 0 10183 6 0 0 20 0 1 0 189169647 97423360 21910 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 23785 21910 2461 2403 0 20895 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 95140 KiB
Current children cumulated memory: 87640 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/244 992622
/proc/meminfo: memFree=126750368/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=105180 memory=97872 CPUtime=161.65 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 32658 0 0 0 16159 6 0 0 20 0 1 0 189169647 107704320 24468 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 26295 24468 2461 2403 0 23405 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 105180 KiB
Current children cumulated memory: 97872 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.13 5/244 993017
/proc/meminfo: memFree=126685968/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=116132 memory=106724 CPUtime=221.42 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 36316 0 0 0 22135 7 0 0 20 0 1 0 189169647 118919168 26681 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 29033 26681 2461 2403 0 26143 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 116132 KiB
Current children cumulated memory: 106724 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/244 993027
/proc/meminfo: memFree=126629864/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=126660 memory=117200 CPUtime=281.19 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 39961 0 0 0 28111 8 0 0 20 0 1 0 189169647 129699840 29300 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 31665 29300 2461 2403 0 28775 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 126660 KiB
Current children cumulated memory: 117200 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/244 993037
/proc/meminfo: memFree=126572320/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=138808 memory=129524 CPUtime=340.95 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 43066 0 0 0 34087 8 0 0 20 0 1 0 189169647 142139392 32381 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 34702 32381 2461 2403 0 31812 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 138808 KiB
Current children cumulated memory: 129524 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/246 993217
/proc/meminfo: memFree=126528828/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=148228 memory=139208 CPUtime=400.72 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 45460 0 0 0 40063 9 0 0 20 0 1 0 189169647 151785472 34802 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 37057 34802 2461 2403 0 34167 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 148228 KiB
Current children cumulated memory: 139208 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/246 993228
/proc/meminfo: memFree=126483168/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=163872 memory=155120 CPUtime=460.47 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 49418 0 0 0 46038 9 0 0 20 0 1 0 189169647 167804928 38780 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 40968 38780 2461 2403 0 38078 0
################
# More data... #
################
/proc/loadavg: 4.63 4.28 4.20 5/242 994347
/proc/meminfo: memFree=126080376/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3213.48 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 281637 39711 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3282.3 s]
/proc/loadavg: 4.40 4.29 4.20 5/242 994357
/proc/meminfo: memFree=126079796/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3273.4 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 285952 41388 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.26 4.20 5/242 994367
/proc/meminfo: memFree=126079584/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3333.32 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 290259 43073 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/242 994377
/proc/meminfo: memFree=126079280/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3393.23 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 294565 44758 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/242 994388
/proc/meminfo: memFree=126078972/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3453.15 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 298879 46436 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/245 994403
/proc/meminfo: memFree=126078668/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3513.06 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 303188 48118 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/245 994413
/proc/meminfo: memFree=126078368/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3572.98 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 307500 49798 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3609.35 s]
# the end of solver process 992454 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3094.48 s, system=505.527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.16 4.17 5/245 994414
/proc/meminfo: memFree=126078288/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3574.69 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 307625 49844 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.16 4.16 5/245 994416
/proc/meminfo: memFree=126078256/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3587.46 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 308544 50202 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.17 4.17 5/245 994417
/proc/meminfo: memFree=126078256/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3593.85 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 309003 50382 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3593.85 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.17 4.17 5/245 994417
/proc/meminfo: memFree=126078228/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3597.04 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 309233 50471 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3597.04 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3608 s]*
/proc/loadavg: 4.12 4.17 4.17 4/238 994448
/proc/meminfo: memFree=126132960/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3598.66 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 309350 50516 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3598.66 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3608.8 s]
/proc/loadavg: 4.12 4.17 4.17 4/238 994448
/proc/meminfo: memFree=126132960/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3599.44 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 309405 50539 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3599.44 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3609.2 s]
/proc/loadavg: 4.12 4.17 4.17 4/238 994449
/proc/meminfo: memFree=126133096/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3599.84 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 309436 50548 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
[startup+3609.3 s]
/proc/loadavg: 4.12 4.17 4.17 4/238 994449
/proc/meminfo: memFree=126133096/131655788 swapFree=131071996/131071996
[pid=992454] ppid=992451 vsize=195736 memory=188844 CPUtime=3599.94 cores=4,6
/proc/992454/stat : 992454 (LS-MabS) R 992451 992454 988494 0 -1 4194304 94909 0 0 0 309444 50550 0 0 20 0 1 0 189169647 200433664 47211 134679101440 4194304 14036057 140725011076912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 44761088 140725011080224 140725011080326 140725011080326 140725011087342 0
/proc/992454/statm: 48934 47211 2461 2403 0 46044 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 188844 KiB
Child status: 0
Real time (s): 3609.35
CPU time (s): 3600.01
CPU user time (s): 3094.48
CPU system time (s): 505.527
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 340356
Max. memory (cumulated for all children) (KiB): 329528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3094.48
system time used= 505.527
maximum resident set size= 329528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94918
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= 118
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 992454
# total CPU time (s): 3600.01
# total CPU user time (s): 3094.48
# total CPU system time (s): 505.527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3975 second user time and 31.4837 second system time
The end
Begin job on nodeC007 at 2024-07-19 08:22:22
IDJOB=4448737
IDBENCH=160438
IDSOLVER=3048
FILE ID=nodeC007/4448737-1721370130
RUNJOBID= nodeC007-1721362926-988505
SLURM_JOB_ID= 7542786
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid3x30split.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-4448737-1721370130/watcher-4448737-1721370130 -o /tmp/evaluation-result-4448737-1721370130/solver-4448737-1721370130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721362926-988505 --watchdog 3760 ./LS-MabS -f HOME/instance-4448737-1721370130.opb -t 3600 -s 1484895558
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f37ba20d47e69eae407a51287629c812
RANDOM SEED=1484895558
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 : 3654.473
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 : 3656.391
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.330
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.334
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 : 3638.784
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 : 3656.423
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.135
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.318
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: 125885168 kB
MemAvailable: 128708108 kB
Buffers: 521520 kB
Cached: 3131396 kB
SwapCached: 0 kB
Active: 1069964 kB
Inactive: 4134584 kB
Active(anon): 1484 kB
Inactive(anon): 1587556 kB
Active(file): 1068480 kB
Inactive(file): 2547028 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13056 kB
Writeback: 0 kB
AnonPages: 1544604 kB
Mapped: 137012 kB
Shmem: 37704 kB
KReclaimable: 94924 kB
Slab: 196392 kB
SReclaimable: 94924 kB
SUnreclaim: 101468 kB
KernelStack: 3932 kB
PageTables: 12264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1994516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1492992 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC007 at 2024-07-19 09:22:32