0.79/0.85 c Filename:instance-4450197-1721410363.opb, Cutoff_time:3600, memory_limit_gb:500000
0.79/0.85 c Not use presolve
3599.96/3610.23 c Use LS-small
3599.96/3610.23 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-4450197-1721410363/watcher-4450197-1721410363 -o /tmp/evaluation-result-4450197-1721410363/solver-4450197-1721410363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721410375-1048817 --watchdog 3760 ./LS-MabS -f HOME/instance-4450197-1721410363.opb -t 3600 -s 755464886
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1048869, runsolver pid=1048860
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 2.39 2.93 3.03 6/260 1048880
/proc/meminfo: memFree=123320788/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=49012 memory=38496 CPUtime=0.09 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 7533 0 0 0 9 0 0 0 20 0 1 0 193201623 50188288 9624 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 12253 9624 2333 2403 0 9363 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49012 KiB
Current children cumulated memory: 38496 KiB
[startup+0.206455 s]*
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123278572/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=63452 memory=52148 CPUtime=0.2 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 11181 0 0 0 19 1 0 0 20 0 1 0 193201623 64974848 13037 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 15863 13037 2445 2403 0 12973 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63452 KiB
Current children cumulated memory: 52148 KiB
[startup+0.306502 s]*
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123250580/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=63648 memory=52412 CPUtime=0.3 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 11238 0 0 0 29 1 0 0 20 0 1 0 193201623 65175552 13103 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 15912 13103 2445 2403 0 13022 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 52412 KiB
[startup+0.700184 s]
/proc/loadavg: 2.52 2.95 3.04 6/260 1048880
/proc/meminfo: memFree=123241304/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=64688 memory=53264 CPUtime=0.69 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 11479 0 0 0 68 1 0 0 20 0 1 0 193201623 66240512 13316 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 16172 13316 2461 2403 0 13282 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64688 KiB
Current children cumulated memory: 53264 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=1048869] ppid=1048860 vsize=83336 memory=70892 CPUtime=1.48 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 18530 0 0 0 147 1 0 0 20 0 1 0 193201623 85336064 17723 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 20834 17723 2461 2403 0 17944 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83336 KiB
Current children cumulated memory: 70892 KiB
[startup+3.10624 s]
/proc/loadavg: 2.52 2.95 3.04 6/260 1048881
/proc/meminfo: memFree=123125736/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=122448 memory=105448 CPUtime=3.08 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 27719 0 0 0 305 3 0 0 20 0 1 0 193201623 125386752 26362 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 30612 26362 2461 2403 0 27722 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122448 KiB
Current children cumulated memory: 105448 KiB
[startup+6.3002 s]
/proc/loadavg: 2.64 2.96 3.04 6/260 1048881
/proc/meminfo: memFree=123053524/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=125736 memory=110176 CPUtime=6.26 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 28913 0 0 0 623 3 0 0 20 0 1 0 193201623 128753664 27544 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 31434 27544 2461 2403 0 28544 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125736 KiB
Current children cumulated memory: 110176 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=1048869] ppid=1048860 vsize=129964 memory=114412 CPUtime=12.64 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 32448 0 0 0 1260 4 0 0 20 0 1 0 193201623 133083136 28603 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 32491 28603 2461 2403 0 29601 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 129964 KiB
Current children cumulated memory: 114412 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=1048869] ppid=1048860 vsize=151536 memory=135944 CPUtime=25.4 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 40530 0 0 0 2535 5 0 0 20 0 1 0 193201623 155172864 33986 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 37884 33986 2461 2403 0 34994 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 151536 KiB
Current children cumulated memory: 135944 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=1048869] ppid=1048860 vsize=173248 memory=157608 CPUtime=50.91 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 46694 0 0 0 5083 8 0 0 20 0 1 0 193201623 177405952 39402 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 43312 39402 2461 2403 0 40422 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 173248 KiB
Current children cumulated memory: 157608 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=1048869] ppid=1048860 vsize=179684 memory=163952 CPUtime=101.91 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 52178 0 0 0 10176 15 0 0 20 0 1 0 193201623 183996416 40988 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 44921 40988 2461 2403 0 42031 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 179684 KiB
Current children cumulated memory: 163952 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=1048869] ppid=1048860 vsize=184276 memory=168368 CPUtime=161.67 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 52823 0 0 0 16147 20 0 0 20 0 1 0 193201623 188698624 42092 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 46069 42092 2461 2403 0 43179 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 184276 KiB
Current children cumulated memory: 168368 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=1048869] ppid=1048860 vsize=204460 memory=186972 CPUtime=221.43 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 57471 0 0 0 22122 21 0 0 20 0 1 0 193201623 209367040 46743 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 51115 46743 2461 2403 0 48225 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 186972 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=1048869] ppid=1048860 vsize=218568 memory=200424 CPUtime=281.2 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 60814 0 0 0 28097 23 0 0 20 0 1 0 193201623 223813632 50106 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 54642 50106 2461 2403 0 51752 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 218568 KiB
Current children cumulated memory: 200424 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=1048869] ppid=1048860 vsize=223912 memory=206380 CPUtime=340.97 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 62331 0 0 0 34073 24 0 0 20 0 1 0 193201623 229285888 51595 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 55978 51595 2461 2403 0 53088 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 223912 KiB
Current children cumulated memory: 206380 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=1048869] ppid=1048860 vsize=242968 memory=230600 CPUtime=400.71 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 67066 0 0 0 40046 25 0 0 20 0 1 0 193201623 248799232 57650 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 60742 57650 2461 2403 0 57852 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 242968 KiB
Current children cumulated memory: 230600 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=1048869] ppid=1048860 vsize=253240 memory=241752 CPUtime=460.48 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 68536 0 0 0 46021 27 0 0 20 0 1 0 193201623 259317760 60438 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 63310 60438 2461 2403 0 60420 0
################
# More data... #
################
/proc/loadavg: 4.07 4.10 4.07 6/255 1050447
/proc/meminfo: memFree=122187432/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3213 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71521 0 0 0 307388 13912 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3272.86 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71523 0 0 0 313042 14244 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/257 1050638
/proc/meminfo: memFree=122185784/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3332.71 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71525 0 0 0 318741 14530 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3392.56 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71527 0 0 0 324443 14813 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3452.42 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71529 0 0 0 330136 15106 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3512.27 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71531 0 0 0 335830 15397 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3572.13 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 341518 15695 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3610.23 s]
# the end of solver process 1048869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3441.88 s, system=158.123 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3573.83 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 341680 15703 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.08 5/261 1050745
/proc/meminfo: memFree=122182644/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3586.59 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 342904 15755 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3592.98 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 343516 15782 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3592.98 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 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=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3596.17 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 343822 15795 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3596.17 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3608 s]*
/proc/loadavg: 4.10 4.09 4.08 5/255 1050826
/proc/meminfo: memFree=122765832/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3597.78 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 343976 15802 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3597.78 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3609.6 s]
/proc/loadavg: 4.10 4.09 4.08 5/261 1050887
/proc/meminfo: memFree=122915332/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3599.36 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 344127 15809 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3599.36 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3610 s]*
/proc/loadavg: 4.10 4.09 4.08 5/261 1050887
/proc/meminfo: memFree=122914908/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3599.76 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 344166 15810 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
[startup+3610.2 s]
/proc/loadavg: 4.10 4.09 4.08 5/261 1050887
/proc/meminfo: memFree=122914908/131524600 swapFree=131071996/131071996
[pid=1048869] ppid=1048860 vsize=275152 memory=261284 CPUtime=3599.96 cores=0,2
/proc/1048869/stat : 1048869 (LS-MabS) R 1048860 1048869 1048807 0 -1 4194304 71533 0 0 0 344184 15812 0 0 20 0 1 0 193201623 281755648 65321 134679101440 4194304 14036057 140734578120368 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 46567424 140734578123808 140734578123909 140734578123909 140734578130926 0
/proc/1048869/statm: 68788 65321 2492 2403 0 65898 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 275152 KiB
Current children cumulated memory: 261284 KiB
Child status: 0
Real time (s): 3610.23
CPU time (s): 3600
CPU user time (s): 3441.88
CPU system time (s): 158.123
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 275152
Max. memory (cumulated for all children) (KiB): 261284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3441.88
system time used= 158.123
maximum resident set size= 261296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71534
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= 47
involuntary context switches= 24649
# summary of solver processes directly reported to runsolver:
# pid: 1048869
# total CPU time (s): 3600
# total CPU user time (s): 3441.88
# total CPU system time (s): 158.123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87582 second user time and 16.2624 second system time
The end
Begin job on nodeC025 at 2024-07-19 19:32:55
IDJOB=4450197
IDBENCH=160413
IDSOLVER=3048
FILE ID=nodeC025/4450197-1721410363
RUNJOBID= nodeC025-1721410375-1048817
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-left3reg-l050-r049-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-4450197-1721410363/watcher-4450197-1721410363 -o /tmp/evaluation-result-4450197-1721410363/solver-4450197-1721410363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721410375-1048817 --watchdog 3760 ./LS-MabS -f HOME/instance-4450197-1721410363.opb -t 3600 -s 755464886
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ab1d1ac5ce007d31736a39209d4d68d
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: 123460688 kB
MemAvailable: 129598200 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:06