3599.99/3604.60 c Filename:instance-4428370-1721030377.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.99/3604.60 c Not use presolve
3599.99/3604.60 c Use LS-small
3599.99/3604.60 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 (63080 MiB free)
memory of node 1: 64510 MiB (61566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428370-1721030377/watcher-4428370-1721030377 -o /tmp/evaluation-result-4428370-1721030377/solver-4428370-1721030377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721026780-782104 --watchdog 3760 ./LS-MabS -f HOME/instance-4428370-1721030377.opb -t 3600 -s 1447168270
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=784130, runsolver pid=784127
[startup+0.100113 s]*
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127629912/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17052 CPUtime=0.1 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2220 0 0 0 8 2 0 0 20 0 1 0 155194677 26759168 4263 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4263 2301 2403 0 3643 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17052 KiB
[startup+0.211885 s]*
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127629436/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17052 CPUtime=0.21 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2220 0 0 0 17 4 0 0 20 0 1 0 155194677 26759168 4263 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4263 2301 2403 0 3643 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17052 KiB
[startup+0.311737 s]*
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127629128/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17492 CPUtime=0.3 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2224 0 0 0 24 6 0 0 20 0 1 0 155194677 26759168 4373 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4373 2348 2403 0 3643 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17492 KiB
[startup+0.700238 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127628848/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17492 CPUtime=0.68 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2224 0 0 0 54 14 0 0 20 0 1 0 155194677 26759168 4373 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4373 2348 2403 0 3643 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17492 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127628640/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17492 CPUtime=1.49 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2224 0 0 0 120 29 0 0 20 0 1 0 155194677 26759168 4373 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4373 2348 2403 0 3643 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17492 KiB
[startup+3.11157 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 784179
/proc/meminfo: memFree=127884200/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17492 CPUtime=3.09 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2224 0 0 0 248 61 0 0 20 0 1 0 155194677 26759168 4373 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4373 2348 2403 0 3643 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17492 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 784179
/proc/meminfo: memFree=127884236/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17492 CPUtime=6.28 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2224 0 0 0 513 115 0 0 20 0 1 0 155194677 26759168 4373 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4373 2348 2403 0 3643 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17492 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/245 784180
/proc/meminfo: memFree=127883784/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=12.66 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2227 0 0 0 1031 235 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 784182
/proc/meminfo: memFree=127883644/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=25.45 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2230 0 0 0 2062 483 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+51.1115 s]
/proc/loadavg: 4.18 4.13 4.10 5/245 784185
/proc/meminfo: memFree=127883180/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=51.03 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2233 0 0 0 4130 973 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/243 784209
/proc/meminfo: memFree=127882500/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=102.15 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2236 0 0 0 8259 1956 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 102.15 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/243 784220
/proc/meminfo: memFree=127882172/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=162.08 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2238 0 0 0 13086 3122 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 162.08 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/243 784230
/proc/meminfo: memFree=127881416/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=222 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2239 0 0 0 17908 4292 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 222 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 784240
/proc/meminfo: memFree=127881164/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=281.92 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2240 0 0 0 22746 5446 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 281.92 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/241 784251
/proc/meminfo: memFree=127880872/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=341.85 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2241 0 0 0 27594 6591 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 341.85 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 784262
/proc/meminfo: memFree=127880588/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=401.78 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2242 0 0 0 32425 7753 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
Current children cumulated CPU time: 401.78 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17668 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/241 784272
/proc/meminfo: memFree=127880336/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17668 CPUtime=461.7 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2243 0 0 0 37262 8908 0 0 20 0 1 0 155194677 26759168 4417 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4417 2348 2403 0 3643 0
################
# More data... #
################
/proc/loadavg: 4.11 4.14 4.17 5/244 785375
/proc/meminfo: memFree=127866164/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3158.27 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2288 0 0 0 254773 61054 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3158.27 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/244 785385
/proc/meminfo: memFree=127865724/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3218.19 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2289 0 0 0 259608 62211 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3218.19 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/244 785396
/proc/meminfo: memFree=127865456/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3278.11 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2290 0 0 0 264445 63366 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3278.11 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/242 785408
/proc/meminfo: memFree=127865148/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3338.04 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2291 0 0 0 269294 64510 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3338.04 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 785802
/proc/meminfo: memFree=127864872/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3397.95 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2292 0 0 0 274115 65680 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3397.95 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/243 785814
/proc/meminfo: memFree=127864736/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3457.88 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2293 0 0 0 278937 66851 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3457.88 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 785824
/proc/meminfo: memFree=127864344/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3517.8 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2294 0 0 0 283780 68000 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3517.8 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/245 786004
/proc/meminfo: memFree=127863884/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3577.73 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 288619 69154 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3577.73 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3604.6 s]
# the end of solver process 784130 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2904.23 s, system=695.779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.15 4.16 5/245 786004
/proc/meminfo: memFree=127863892/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3579.43 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 288755 69188 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3579.43 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 786005
/proc/meminfo: memFree=127863848/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3592.21 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 289793 69428 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3592.21 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.14 4.16 5/245 786005
/proc/meminfo: memFree=127863848/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3595.42 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 290054 69488 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3595.42 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 786007
/proc/meminfo: memFree=127863820/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3598.6 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 290308 69552 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3598.6 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3604 s]*
/proc/loadavg: 4.11 4.14 4.16 5/245 786007
/proc/meminfo: memFree=127863820/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3599.41 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 290374 69567 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3599.41 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3604.4 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 786007
/proc/meminfo: memFree=127863820/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3599.8 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 290406 69574 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3599.8 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
[startup+3604.6 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 786007
/proc/meminfo: memFree=127863820/131655788 swapFree=131071996/131071996
[pid=784130] ppid=784127 vsize=26132 memory=17684 CPUtime=3599.99 cores=1,3
/proc/784130/stat : 784130 (LS-MabS) R 784127 784130 782092 0 -1 4194304 2295 0 0 0 290422 69577 0 0 20 0 1 0 155194677 26759168 4421 134679101440 4194304 14036057 140723961207568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 26554368 140723961209889 140723961209991 140723961209991 140723961217006 0
/proc/784130/statm: 6533 4421 2348 2403 0 3643 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17684 KiB
Child status: 0
Real time (s): 3604.6
CPU time (s): 3600.01
CPU user time (s): 2904.23
CPU system time (s): 695.779
CPU usage (%): 99.8726
Max. virtual memory (cumulated for all children) (KiB): 26132
Max. memory (cumulated for all children) (KiB): 17684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2904.23
system time used= 695.779
maximum resident set size= 17696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2296
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= 3
involuntary context switches= 1155
# summary of solver processes directly reported to runsolver:
# pid: 784130
# total CPU time (s): 3600.01
# total CPU user time (s): 2904.23
# total CPU system time (s): 695.779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7082 second user time and 28.18 second system time
The end
Begin job on nodeC012 at 2024-07-15 09:59:50
IDJOB=4428370
IDBENCH=151008
IDSOLVER=3048
FILE ID=nodeC012/4428370-1721030377
RUNJOBID= nodeC012-1721026780-782104
SLURM_JOB_ID= 7505406
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-658.cudf.trendy.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-4428370-1721030377/watcher-4428370-1721030377 -o /tmp/evaluation-result-4428370-1721030377/solver-4428370-1721030377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721026780-782104 --watchdog 3760 ./LS-MabS -f HOME/instance-4428370-1721030377.opb -t 3600 -s 1447168270
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a91d0a6ab5b2777178f8bbbce46afdb1
RANDOM SEED=1447168270
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 : 3646.714
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 : 3592.638
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.331
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.321
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 : 3492.187
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 : 3492.196
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.334
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.325
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: 127638980 kB
MemAvailable: 129667032 kB
Buffers: 355324 kB
Cached: 2492768 kB
SwapCached: 0 kB
Active: 557996 kB
Inactive: 2891248 kB
Active(anon): 1440 kB
Inactive(anon): 637416 kB
Active(file): 556556 kB
Inactive(file): 2253832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 39416 kB
Writeback: 0 kB
AnonPages: 601240 kB
Mapped: 131868 kB
Shmem: 37704 kB
KReclaimable: 115388 kB
Slab: 212976 kB
SReclaimable: 115388 kB
SUnreclaim: 97588 kB
KernelStack: 3936 kB
PageTables: 10276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1025344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 50112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 471040 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: 244552 kB
DirectMap2M: 15388672 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC012 at 2024-07-15 10:59:55