100.62/101.02 c Filename:instance-4441537-1721293913.opb, Cutoff_time:3600, memory_limit_gb:500000
100.62/101.02 c Not use presolve
3599.96/3608.04 c Use LS-small
3599.96/3608.04 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 (61780 MiB free)
memory of node 1: 64510 MiB (60249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441537-1721293913/watcher-4441537-1721293913 -o /tmp/evaluation-result-4441537-1721293913/solver-4441537-1721293913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945301 --watchdog 3760 ./LS-MabS -f HOME/instance-4441537-1721293913.opb -t 3600 -s 1146942971
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=945340, runsolver pid=945337
[startup+0.100787 s]*
/proc/loadavg: 3.49 3.98 4.10 5/242 945352
/proc/meminfo: memFree=124907132/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=33060 memory=9388 CPUtime=0.1 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 1716 0 0 0 10 0 0 0 20 0 1 0 181550573 33853440 2347 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 8265 2347 749 2403 0 5375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33060 KiB
Current children cumulated memory: 9388 KiB
[startup+0.213561 s]*
/proc/loadavg: 3.49 3.98 4.10 5/249 945363
/proc/meminfo: memFree=124859544/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=60796 memory=42932 CPUtime=0.21 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 8906 0 0 0 18 3 0 0 20 0 1 0 181550573 62255104 10733 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 15199 10733 2077 2403 0 12309 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60796 KiB
Current children cumulated memory: 42932 KiB
[startup+0.314094 s]*
/proc/loadavg: 3.49 3.98 4.10 5/249 945363
/proc/meminfo: memFree=124822412/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=84692 memory=67148 CPUtime=0.31 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 14936 0 0 0 26 5 0 0 20 0 1 0 181550573 86724608 16787 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 21173 16787 2077 2403 0 18283 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84692 KiB
Current children cumulated memory: 67148 KiB
[startup+0.700362 s]
/proc/loadavg: 3.49 3.98 4.10 5/249 945363
/proc/meminfo: memFree=124721120/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=148168 memory=128644 CPUtime=0.68 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 30090 0 0 0 57 11 0 0 20 0 1 0 181550573 151724032 32161 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 37042 32161 2301 2403 0 34152 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148168 KiB
Current children cumulated memory: 128644 KiB
[startup+1.50037 s]
/proc/loadavg: 3.49 3.98 4.10 5/249 945363
/proc/meminfo: memFree=124460936/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=190712 memory=169196 CPUtime=1.48 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 41382 0 0 0 134 14 0 0 20 0 1 0 181550573 195289088 42299 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 47678 42299 2349 2403 0 44788 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190712 KiB
Current children cumulated memory: 169196 KiB
[startup+3.11333 s]
/proc/loadavg: 3.61 4.00 4.10 5/249 945363
/proc/meminfo: memFree=123713624/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=210560 memory=188904 CPUtime=3.09 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 46416 0 0 0 294 15 0 0 20 0 1 0 181550573 215613440 47226 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 52640 47226 2349 2403 0 49750 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 210560 KiB
Current children cumulated memory: 188904 KiB
[startup+6.30031 s]
/proc/loadavg: 3.61 4.00 4.10 5/249 945365
/proc/meminfo: memFree=123631772/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=213240 memory=191688 CPUtime=6.25 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 47117 0 0 0 610 15 0 0 20 0 1 0 181550573 218357760 47922 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 53310 47922 2349 2403 0 50420 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 213240 KiB
Current children cumulated memory: 191688 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 4.00 4.10 5/249 945365
/proc/meminfo: memFree=123047772/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=213372 memory=191952 CPUtime=12.63 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 47164 0 0 0 1247 16 0 0 20 0 1 0 181550573 218492928 47988 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 53343 47988 2349 2403 0 50453 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 213372 KiB
Current children cumulated memory: 191952 KiB
[startup+25.5004 s]
/proc/loadavg: 3.72 4.00 4.10 5/249 945412
/proc/meminfo: memFree=123958552/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=214672 memory=193272 CPUtime=25.38 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 47464 0 0 0 2521 17 0 0 20 0 1 0 181550573 219824128 48318 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 53668 48318 2349 2403 0 50778 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 214672 KiB
Current children cumulated memory: 193272 KiB
[startup+51.113 s]
/proc/loadavg: 3.90 4.02 4.10 5/249 945417
/proc/meminfo: memFree=123955916/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=216544 memory=195112 CPUtime=50.9 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 48740 0 0 0 5071 19 0 0 20 0 1 0 181550573 221741056 48778 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 54136 48778 2349 2403 0 51246 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 216544 KiB
Current children cumulated memory: 195112 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 4.01 4.09 5/249 945425
/proc/meminfo: memFree=123786396/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=385760 memory=361336 CPUtime=101.91 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 80460 0 0 0 10166 25 0 0 20 0 1 0 181550573 395018240 90334 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 96440 90334 2461 2403 0 93550 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 385760 KiB
Current children cumulated memory: 361336 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 4.02 4.09 5/250 945441
/proc/meminfo: memFree=123698880/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=484068 memory=446500 CPUtime=161.69 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 101795 0 0 0 16140 29 0 0 20 0 1 0 181550573 495685632 111625 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 121017 111625 2461 2403 0 118127 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 484068 KiB
Current children cumulated memory: 446500 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.05 4.09 5/247 945451
/proc/meminfo: memFree=123693492/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=484808 memory=447404 CPUtime=221.49 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 102018 0 0 0 22119 30 0 0 20 0 1 0 181550573 496443392 111851 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 121202 111851 2461 2403 0 118312 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 484808 KiB
Current children cumulated memory: 447404 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.05 4.09 5/244 945461
/proc/meminfo: memFree=123689664/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=485352 memory=449252 CPUtime=281.3 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 102190 0 0 0 28100 30 0 0 20 0 1 0 181550573 497000448 112313 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 121338 112313 2461 2403 0 118448 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 485352 KiB
Current children cumulated memory: 449252 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.06 4.09 5/243 945472
/proc/meminfo: memFree=123668480/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=515384 memory=469976 CPUtime=341.08 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 107305 0 0 0 34077 31 0 0 20 0 1 0 181550573 527753216 117494 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 128846 117494 2461 2403 0 125956 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 515384 KiB
Current children cumulated memory: 469976 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.07 4.09 5/243 945482
/proc/meminfo: memFree=123647812/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=539972 memory=487948 CPUtime=400.9 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 108858 0 0 0 40058 32 0 0 20 0 1 0 181550573 552931328 121987 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 134993 121987 2461 2403 0 132103 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 539972 KiB
Current children cumulated memory: 487948 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.07 4.09 5/241 945492
/proc/meminfo: memFree=123532524/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=644924 memory=602624 CPUtime=460.72 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 130391 0 0 0 46035 37 0 0 20 0 1 0 181550573 660402176 150656 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 161231 150656 2461 2403 0 158341 0
################
# More data... #
################
/proc/loadavg: 4.06 4.08 4.09 5/243 947163
/proc/meminfo: memFree=123208944/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3154.96 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189137 0 0 0 313191 2305 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3154.96 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/241 947173
/proc/meminfo: memFree=123208728/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3214.86 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189157 0 0 0 319070 2416 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3214.86 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 947184
/proc/meminfo: memFree=123208212/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3274.76 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189177 0 0 0 324950 2526 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3274.76 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 947194
/proc/meminfo: memFree=123207904/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3334.66 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189197 0 0 0 330860 2606 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3334.66 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.61 4.22 4.13 5/241 947204
/proc/meminfo: memFree=123207848/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3394.57 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189217 0 0 0 336744 2713 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3394.57 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.51 4.27 4.16 5/241 947216
/proc/meminfo: memFree=123207568/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3454.48 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189237 0 0 0 342661 2787 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3454.48 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.78 4.40 4.21 5/243 947230
/proc/meminfo: memFree=123207176/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3514.38 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189257 0 0 0 348587 2851 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.61 4.41 4.22 5/243 947241
/proc/meminfo: memFree=123206792/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3574.29 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189277 0 0 0 354501 2928 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3574.29 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3608.05 s]
# the end of solver process 945340 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.19 s, system=29.8141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.64 4.42 4.23 5/243 947241
/proc/meminfo: memFree=123206796/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3576 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189277 0 0 0 354671 2929 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3576 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3596.8 s]
/proc/loadavg: 4.70 4.44 4.24 5/243 947244
/proc/meminfo: memFree=123206740/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3588.76 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189281 0 0 0 355921 2955 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3603.2 s]
/proc/loadavg: 4.72 4.45 4.24 5/243 947244
/proc/meminfo: memFree=123206740/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3595.15 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189287 0 0 0 356545 2970 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3595.15 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3606.4 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206628/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3598.35 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189287 0 0 0 356858 2977 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3598.35 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3607.2 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206628/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3599.15 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189287 0 0 0 356936 2979 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3599.15 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3607.6 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206628/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3599.55 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189287 0 0 0 356975 2980 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
[startup+3608 s]*
/proc/loadavg: 4.74 4.45 4.24 3/237 947273
/proc/meminfo: memFree=124139300/131655788 swapFree=131071996/131071996
[pid=945340] ppid=945337 vsize=814992 memory=791920 CPUtime=3599.96 cores=1,3
/proc/945340/stat : 945340 (LS-MabS) R 945337 945340 945289 0 -1 4194304 189287 0 0 0 357015 2981 0 0 20 0 1 0 181550573 834551808 197980 134679101440 4194304 14036057 140734349308928 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 25128960 140734349313056 140734349313158 140734349313158 140734349320174 0
/proc/945340/statm: 203748 197980 2492 2403 0 200858 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 791920 KiB
Child status: 0
Real time (s): 3608.05
CPU time (s): 3600.01
CPU user time (s): 3570.19
CPU system time (s): 29.8141
CPU usage (%): 99.7771
Max. virtual memory (cumulated for all children) (KiB): 1014716
Max. memory (cumulated for all children) (KiB): 877940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.19
system time used= 29.8141
maximum resident set size= 877940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189292
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= 44
involuntary context switches= 2131
# summary of solver processes directly reported to runsolver:
# pid: 945340
# total CPU time (s): 3600.01
# total CPU user time (s): 3570.19
# total CPU system time (s): 29.8141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4362 second user time and 32.2354 second system time
The end
Begin job on nodeC010 at 2024-07-18 11:12:05
IDJOB=4441537
IDBENCH=147717
IDSOLVER=3048
FILE ID=nodeC010/4441537-1721293913
RUNJOBID= nodeC010-1721293924-945301
SLURM_JOB_ID= 7542609
Free space on /tmp= 723764 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.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-4441537-1721293913/watcher-4441537-1721293913 -o /tmp/evaluation-result-4441537-1721293913/solver-4441537-1721293913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945301 --watchdog 3760 ./LS-MabS -f HOME/instance-4441537-1721293913.opb -t 3600 -s 1146942971
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= da1da2eec32162aae55ea03b18b534d2
RANDOM SEED=1146942971
nodeC010.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 : 1197.173
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.51
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 : 1197.316
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.31
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.945
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.51
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.172
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.31
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 : 1197.225
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.51
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 : 1197.175
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.31
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.173
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.51
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.181
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124956104 kB
MemAvailable: 129851088 kB
Buffers: 490176 kB
Cached: 5185048 kB
SwapCached: 0 kB
Active: 995896 kB
Inactive: 5026368 kB
Active(anon): 1344 kB
Inactive(anon): 383392 kB
Active(file): 994552 kB
Inactive(file): 4642976 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49832 kB
Writeback: 4 kB
AnonPages: 347176 kB
Mapped: 106052 kB
Shmem: 37704 kB
KReclaimable: 194976 kB
Slab: 310768 kB
SReclaimable: 194976 kB
SUnreclaim: 115792 kB
KernelStack: 3632 kB
PageTables: 8884 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 743148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC010 at 2024-07-18 12:12:13