1.49/1.56 c Filename:instance-4450227-1721410363.opb, Cutoff_time:3600, memory_limit_gb:500000
1.49/1.56 c Not use presolve
3599.92/3608.07 c Use LS-small
3599.92/3608.07 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: 63931 MiB (59887 MiB free)
memory of node 1: 64510 MiB (60678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450227-1721410363/watcher-4450227-1721410363 -o /tmp/evaluation-result-4450227-1721410363/solver-4450227-1721410363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721410375-1048818 --watchdog 3760 ./LS-MabS -f HOME/instance-4450227-1721410363.opb -t 3600 -s 755464886
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
solver pid=1048870, runsolver pid=1048859
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 2.39 2.93 3.03 6/260 1048880
/proc/meminfo: memFree=123320788/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=59988 memory=48080 CPUtime=0.1 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 9959 0 0 0 9 1 0 0 20 0 1 0 193201623 61427712 12020 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 14997 12020 2285 2403 0 12107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59988 KiB
Current children cumulated memory: 48080 KiB
[startup+0.20643 s]*
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123278572/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=78052 memory=65972 CPUtime=0.2 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 14822 0 0 0 19 1 0 0 20 0 1 0 193201623 79925248 16493 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 19513 16493 2429 2403 0 16623 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78052 KiB
Current children cumulated memory: 65972 KiB
[startup+0.306513 s]*
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123250580/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=81300 memory=69092 CPUtime=0.3 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 15625 0 0 0 28 2 0 0 20 0 1 0 193201623 83251200 17273 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 20325 17273 2445 2403 0 17435 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81300 KiB
Current children cumulated memory: 69092 KiB
[startup+0.700193 s]
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123241304/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=82612 memory=69884 CPUtime=0.69 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 15814 0 0 0 67 2 0 0 20 0 1 0 193201623 84594688 17471 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 20653 17471 2445 2403 0 17763 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 82612 KiB
Current children cumulated memory: 69884 KiB
[startup+1.50022 s]
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123220016/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=87344 memory=74892 CPUtime=1.49 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 16524 0 0 0 147 2 0 0 20 0 1 0 193201623 89440256 18723 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 21836 18723 2461 2403 0 18946 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87344 KiB
Current children cumulated memory: 74892 KiB
[startup+3.10625 s]
/proc/loadavg: 2.52 2.95 3.04 6/260 1048881
/proc/meminfo: memFree=123125736/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=111852 memory=97008 CPUtime=3.09 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 24642 0 0 0 306 3 0 0 20 0 1 0 193201623 114536448 24252 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 27963 24252 2461 2403 0 25073 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 111852 KiB
Current children cumulated memory: 97008 KiB
[startup+6.30021 s]
/proc/loadavg: 2.64 2.96 3.04 6/260 1048881
/proc/meminfo: memFree=123053524/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=146804 memory=130488 CPUtime=6.27 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 34104 0 0 0 623 4 0 0 20 0 1 0 193201623 150327296 32622 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 36701 32622 2461 2403 0 33811 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146804 KiB
Current children cumulated memory: 130488 KiB
[startup+12.7002 s]
/proc/loadavg: 2.82 3.00 3.05 6/260 1048884
/proc/meminfo: memFree=123024088/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=146968 memory=130508 CPUtime=12.66 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 34172 0 0 0 1262 4 0 0 20 0 1 0 193201623 150495232 32627 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 36742 32627 2461 2403 0 33852 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 146968 KiB
Current children cumulated memory: 130508 KiB
[startup+25.5002 s]
/proc/loadavg: 3.01 3.03 3.07 6/259 1048885
/proc/meminfo: memFree=122971032/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=177872 memory=162268 CPUtime=25.43 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 47712 0 0 0 2536 7 0 0 20 0 1 0 193201623 182140928 40567 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 44468 40567 2461 2403 0 41578 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 177872 KiB
Current children cumulated memory: 162268 KiB
[startup+51.1064 s]
/proc/loadavg: 3.40 3.12 3.10 6/259 1048888
/proc/meminfo: memFree=122938400/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=176364 memory=161504 CPUtime=50.96 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 47925 0 0 0 5088 8 0 0 20 0 1 0 193201623 180596736 40376 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 44091 40376 2461 2403 0 41201 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 176364 KiB
Current children cumulated memory: 161504 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.29 3.16 6/259 1048898
/proc/meminfo: memFree=122904260/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=193284 memory=176804 CPUtime=102.01 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 51740 0 0 0 10189 12 0 0 20 0 1 0 193201623 197922816 44201 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 48321 44201 2461 2403 0 45431 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 193284 KiB
Current children cumulated memory: 176804 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.42 3.21 6/256 1048908
/proc/meminfo: memFree=122838704/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=207712 memory=191312 CPUtime=161.84 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 55368 0 0 0 16169 15 0 0 20 0 1 0 193201623 212697088 47828 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 51928 47828 2461 2403 0 49038 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 207712 KiB
Current children cumulated memory: 191312 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.56 3.28 6/255 1048921
/proc/meminfo: memFree=122802880/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=207712 memory=197148 CPUtime=221.65 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 55472 0 0 0 22149 16 0 0 20 0 1 0 193201623 212697088 49287 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 51928 49287 2461 2403 0 49038 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 207712 KiB
Current children cumulated memory: 197148 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.67 3.33 6/255 1048931
/proc/meminfo: memFree=122736172/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=214548 memory=205824 CPUtime=281.48 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 57453 0 0 0 28131 17 0 0 20 0 1 0 193201623 219697152 51456 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 53637 51456 2461 2403 0 50747 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 205824 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 3.77 3.39 6/256 1048943
/proc/meminfo: memFree=122704808/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=214800 memory=207184 CPUtime=341.3 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 57665 0 0 0 34113 17 0 0 20 0 1 0 193201623 219955200 51796 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 53700 51796 2461 2403 0 50810 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 214800 KiB
Current children cumulated memory: 207184 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.83 3.43 6/256 1048954
/proc/meminfo: memFree=122630116/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=214964 memory=207508 CPUtime=401.1 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 57801 0 0 0 40093 17 0 0 20 0 1 0 193201623 220123136 51877 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 53741 51877 2461 2403 0 50851 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 214964 KiB
Current children cumulated memory: 207508 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.88 3.48 6/258 1048969
/proc/meminfo: memFree=122582416/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=243996 memory=233184 CPUtime=460.91 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 64309 0 0 0 46073 18 0 0 20 0 1 0 193201623 249851904 58296 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 60999 58296 2461 2403 0 58109 0
################
# More data... #
################
/proc/loadavg: 4.19 4.12 4.07 6/257 1050436
/proc/meminfo: memFree=122187968/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3154.95 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113015 0 0 0 309744 5751 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3154.95 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.07 6/255 1050447
/proc/meminfo: memFree=122187432/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3214.85 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113018 0 0 0 315490 5995 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3214.85 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.07 6/255 1050458
/proc/meminfo: memFree=122186708/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3274.75 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113021 0 0 0 321234 6241 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3274.75 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.07 6/257 1050638
/proc/meminfo: memFree=122185784/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3334.65 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113024 0 0 0 326973 6492 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3334.65 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.07 6/257 1050649
/proc/meminfo: memFree=122185220/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3394.56 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113027 0 0 0 332705 6751 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3394.56 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.07 6/261 1050720
/proc/meminfo: memFree=122184008/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3454.46 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113030 0 0 0 338446 7000 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3454.46 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 6/261 1050733
/proc/meminfo: memFree=122183192/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3514.36 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113033 0 0 0 344165 7271 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3514.36 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.07 6/261 1050744
/proc/meminfo: memFree=122182732/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3574.26 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 349905 7521 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3608.08 s]
# the end of solver process 1048870 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3523.77 s, system=76.2421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.08 4.07 6/261 1050744
/proc/meminfo: memFree=122182692/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3575.97 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 350069 7528 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3575.97 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.08 6/261 1050745
/proc/meminfo: memFree=122182644/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3588.74 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 351294 7580 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.09 4.08 6/261 1050747
/proc/meminfo: memFree=122182616/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3595.13 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 351909 7604 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3595.13 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.09 4.08 6/261 1050748
/proc/meminfo: memFree=122182500/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3598.32 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 352217 7615 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3598.32 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3607.2 s]
/proc/loadavg: 4.10 4.09 4.08 6/261 1050795
/proc/meminfo: memFree=122224696/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3599.12 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 352293 7619 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3599.12 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3607.6 s]
/proc/loadavg: 4.10 4.09 4.08 6/261 1050795
/proc/meminfo: memFree=122224696/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3599.52 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 352331 7621 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3599.52 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
[startup+3608 s]*
/proc/loadavg: 4.10 4.09 4.08 5/255 1050826
/proc/meminfo: memFree=122765832/131524600 swapFree=131071996/131071996
[pid=1048870] ppid=1048859 vsize=343356 memory=336548 CPUtime=3599.92 cores=4,6
/proc/1048870/stat : 1048870 (LS-MabS) R 1048859 1048870 1048807 0 -1 4194304 113036 0 0 0 352369 7623 0 0 20 0 1 0 193201623 351596544 84137 134679101440 4194304 14036057 140730089762368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 36810752 140730089763872 140730089763973 140730089763973 140730089770990 0
/proc/1048870/statm: 85839 84137 2492 2403 0 82949 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 343356 KiB
Current children cumulated memory: 336548 KiB
Child status: 0
Real time (s): 3608.08
CPU time (s): 3600.01
CPU user time (s): 3523.77
CPU system time (s): 76.2421
CPU usage (%): 99.7764
Max. virtual memory (cumulated for all children) (KiB): 480704
Max. memory (cumulated for all children) (KiB): 462660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3523.77
system time used= 76.2421
maximum resident set size= 462660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113041
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= 58
involuntary context switches= 1602
# summary of solver processes directly reported to runsolver:
# pid: 1048870
# total CPU time (s): 3600.01
# total CPU user time (s): 3523.77
# total CPU system time (s): 76.2421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.34275 second user time and 16.7039 second system time
The end
Begin job on nodeC025 at 2024-07-19 19:32:55
IDJOB=4450227
IDBENCH=160415
IDSOLVER=3048
FILE ID=nodeC025/4450227-1721410363
RUNJOBID= nodeC025-1721410375-1048818
SLURM_JOB_ID= 7545465
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.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-4450227-1721410363/watcher-4450227-1721410363 -o /tmp/evaluation-result-4450227-1721410363/solver-4450227-1721410363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721410375-1048818 --watchdog 3760 ./LS-MabS -f HOME/instance-4450227-1721410363.opb -t 3600 -s 755464886
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4aca60576f41ce0be442f97c9c36c82a
RANDOM SEED=755464886
nodeC025.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 : 0xb00002a
cpu MHz : 3588.935
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 0xb00002a
cpu MHz : 3586.401
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
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 : 0xb00002a
cpu MHz : 3656.640
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 0xb00002a
cpu MHz : 3621.510
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
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 : 0xb00002a
cpu MHz : 3601.548
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 0xb00002a
cpu MHz : 3646.022
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
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 : 0xb00002a
cpu MHz : 3638.847
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 0xb00002a
cpu MHz : 3543.580
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123461016 kB
MemAvailable: 129598528 kB
Buffers: 550752 kB
Cached: 6357052 kB
SwapCached: 0 kB
Active: 1126668 kB
Inactive: 6158076 kB
Active(anon): 1432 kB
Inactive(anon): 421412 kB
Active(file): 1125236 kB
Inactive(file): 5736664 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53132 kB
Writeback: 0 kB
AnonPages: 374716 kB
Mapped: 107044 kB
Shmem: 45912 kB
KReclaimable: 230520 kB
Slab: 359816 kB
SReclaimable: 230520 kB
SUnreclaim: 129296 kB
KernelStack: 3988 kB
PageTables: 9620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 718732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72672 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC025 at 2024-07-19 20:33:03