0.00/0.04 c Filename:instance-4447986-1721364016.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.04 c Use Presolve
0.00/0.04 c Parse finsih
0.00/0.04 c Start Presolve
0.00/0.04 c After Reduce Vars: 480 Clauses: 638 Top clause weight: 1 Hard Clauses: 638
3599.95/3608.74 c Use LS-small
3599.95/3608.74 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 (61158 MiB free)
memory of node 1: 64510 MiB (62460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447986-1721364016/watcher-4447986-1721364016 -o /tmp/evaluation-result-4447986-1721364016/solver-4447986-1721364016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721354345-1014652 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447986-1721364016.opb -t 3600 -s 2017779479
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
solver pid=1020003, runsolver pid=1020000
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1020004
/proc/meminfo: memFree=126572804/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=32548 memory=24360 CPUtime=0.09 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 3261 0 0 0 9 0 0 0 20 0 1 0 188563496 33329152 6090 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 8137 6090 2833 2753 0 4790 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32548 KiB
Current children cumulated memory: 24360 KiB
[startup+0.205623 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1020004
/proc/meminfo: memFree=126569588/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=34508 memory=27264 CPUtime=0.19 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 3933 0 0 0 19 0 0 0 20 0 1 0 188563496 35336192 6816 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 8627 6816 2833 2753 0 5280 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 27264 KiB
[startup+0.305061 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1020004
/proc/meminfo: memFree=126569144/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=34668 memory=27588 CPUtime=0.29 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 4024 0 0 0 29 0 0 0 20 0 1 0 188563496 35500032 6897 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 8667 6897 2849 2753 0 5320 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 27588 KiB
[startup+0.70015 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1020004
/proc/meminfo: memFree=126567996/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=35324 memory=28644 CPUtime=0.69 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 4268 0 0 0 68 1 0 0 20 0 1 0 188563496 36171776 7161 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 8831 7161 2849 2753 0 5484 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35324 KiB
Current children cumulated memory: 28644 KiB
[startup+1.50015 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1020004
/proc/meminfo: memFree=126566572/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=36792 memory=29700 CPUtime=1.49 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 4565 0 0 0 148 1 0 0 20 0 1 0 188563496 37675008 7425 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 9198 7425 2849 2753 0 5851 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36792 KiB
Current children cumulated memory: 29700 KiB
[startup+3.10556 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1020004
/proc/meminfo: memFree=126558728/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=44480 memory=37768 CPUtime=3.08 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 6776 0 0 0 307 1 0 0 20 0 1 0 188563496 45547520 9442 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 11120 9442 2849 2753 0 7773 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44480 KiB
Current children cumulated memory: 37768 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1020006
/proc/meminfo: memFree=126551888/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=50684 memory=44260 CPUtime=6.26 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 9335 0 0 0 625 1 0 0 20 0 1 0 188563496 51900416 11065 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 12671 11065 2849 2753 0 9324 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 50684 KiB
Current children cumulated memory: 44260 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1020006
/proc/meminfo: memFree=126550232/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=53252 memory=46888 CPUtime=12.65 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 10011 0 0 0 1263 2 0 0 20 0 1 0 188563496 54530048 11722 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 13313 11722 2849 2753 0 9966 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53252 KiB
Current children cumulated memory: 46888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1020010
/proc/meminfo: memFree=126535652/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=66720 memory=60580 CPUtime=25.4 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 13690 0 0 0 2538 2 0 0 20 0 1 0 188563496 68321280 15145 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 16680 15145 2849 2753 0 13333 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66720 KiB
Current children cumulated memory: 60580 KiB
[startup+51.1051 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1020013
/proc/meminfo: memFree=126507648/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=95336 memory=88392 CPUtime=50.91 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 20860 0 0 0 5088 3 0 0 20 0 1 0 188563496 97624064 22098 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 23834 22098 2849 2753 0 20487 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 95336 KiB
Current children cumulated memory: 88392 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1020021
/proc/meminfo: memFree=126460560/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=135860 memory=128336 CPUtime=101.93 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 32967 0 0 0 10188 5 0 0 20 0 1 0 188563496 139120640 32084 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 33965 32084 2849 2753 0 30618 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 135860 KiB
Current children cumulated memory: 128336 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/256 1020032
/proc/meminfo: memFree=126411196/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=168820 memory=161368 CPUtime=161.72 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 45437 0 0 0 16165 7 0 0 20 0 1 0 188563496 172871680 40342 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 42205 40342 2849 2753 0 38858 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 168820 KiB
Current children cumulated memory: 161368 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/256 1020043
/proc/meminfo: memFree=126326900/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=204976 memory=198220 CPUtime=221.49 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 57801 0 0 0 22140 9 0 0 20 0 1 0 188563496 209895424 49555 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 51244 49555 2849 2753 0 47897 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 204976 KiB
Current children cumulated memory: 198220 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 1020054
/proc/meminfo: memFree=126278528/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=255952 memory=245900 CPUtime=281.25 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 74772 0 0 0 28112 13 0 0 20 0 1 0 188563496 262094848 61475 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 63988 61475 2849 2753 0 60641 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 255952 KiB
Current children cumulated memory: 245900 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 1020064
/proc/meminfo: memFree=126245800/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=287620 memory=278152 CPUtime=340.99 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 85924 0 0 0 34085 14 0 0 20 0 1 0 188563496 294522880 69538 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 71905 69538 2849 2753 0 68558 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 287620 KiB
Current children cumulated memory: 278152 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1020074
/proc/meminfo: memFree=126204948/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=326780 memory=318900 CPUtime=400.78 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 96408 0 0 0 40062 16 0 0 20 0 1 0 188563496 334622720 79725 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 81695 79725 2849 2753 0 78348 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 326780 KiB
Current children cumulated memory: 318900 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1020085
/proc/meminfo: memFree=126172988/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=358480 memory=351088 CPUtime=460.58 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 107064 0 0 0 46040 18 0 0 20 0 1 0 188563496 367083520 87772 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 89620 87772 2849 2753 0 86273 0
################
# More data... #
################
/proc/loadavg: 1.71 2.43 2.92 2/237 1021855
/proc/meminfo: memFree=126469460/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3214.03 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262952 0 0 0 286247 35156 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3282.3 s]
/proc/loadavg: 1.32 2.18 2.80 2/236 1021867
/proc/meminfo: memFree=126469120/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3273.95 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262954 0 0 0 290764 36631 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3342.3 s]
/proc/loadavg: 1.16 1.98 2.69 2/233 1021878
/proc/meminfo: memFree=126468956/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3333.88 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262956 0 0 0 295277 38111 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.81 2.59 2/233 1021888
/proc/meminfo: memFree=126468604/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3393.8 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262958 0 0 0 299800 39580 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3393.8 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.68 2.49 2/234 1021901
/proc/meminfo: memFree=126468364/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3453.74 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262960 0 0 0 304319 41055 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3453.74 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.57 2.40 2/234 1021911
/proc/meminfo: memFree=126467988/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3513.66 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262962 0 0 0 308835 42531 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.47 2.31 2/234 1021922
/proc/meminfo: memFree=126467780/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3573.59 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262964 0 0 0 313341 44018 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3608.75 s]
# the end of solver process 1020003 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3153.31 s, system=446.693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.05 1.47 2.31 2/236 1021928
/proc/meminfo: memFree=126467508/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3575.29 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262964 0 0 0 313474 44055 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3575.29 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3596.8 s]
/proc/loadavg: 1.04 1.45 2.29 2/236 1021929
/proc/meminfo: memFree=126467396/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3588.06 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 314438 44368 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3588.06 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3603.2 s]
/proc/loadavg: 1.12 1.45 2.28 2/236 1021929
/proc/meminfo: memFree=126467356/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3594.46 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 314916 44530 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3594.46 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3606.4 s]
/proc/loadavg: 1.12 1.45 2.28 2/236 1021932
/proc/meminfo: memFree=126467216/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3597.66 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 315157 44609 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3597.66 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3608 s]*
/proc/loadavg: 1.11 1.44 2.28 2/236 1021932
/proc/meminfo: memFree=126467216/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3599.26 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 315276 44650 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3599.26 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3608.4 s]
/proc/loadavg: 1.11 1.44 2.28 2/236 1021932
/proc/meminfo: memFree=126467216/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3599.65 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 315305 44660 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3608.6 s]
/proc/loadavg: 1.11 1.44 2.28 2/236 1021932
/proc/meminfo: memFree=126467216/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3599.85 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 315320 44665 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
[startup+3608.7 s]
/proc/loadavg: 1.11 1.44 2.28 2/236 1021932
/proc/meminfo: memFree=126467216/131524600 swapFree=131071996/131071996
[pid=1020003] ppid=1020000 vsize=831872 memory=826380 CPUtime=3599.95 cores=1,3
/proc/1020003/stat : 1020003 (LS-MabSP) R 1020000 1020003 1014640 0 -1 4194304 262965 0 0 0 315328 44667 0 0 20 0 1 0 188563496 851836928 206595 134679101440 4194304 15467897 140721447775568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53600256 140721447777309 140721447777412 140721447777412 140721447784429 0
/proc/1020003/statm: 207968 206595 2849 2753 0 204621 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 826380 KiB
Child status: 0
Real time (s): 3608.75
CPU time (s): 3600.01
CPU user time (s): 3153.31
CPU system time (s): 446.693
CPU usage (%): 99.7578
Max. virtual memory (cumulated for all children) (KiB): 871296
Max. memory (cumulated for all children) (KiB): 862972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3153.31
system time used= 446.693
maximum resident set size= 862972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262971
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= 245
involuntary context switches= 2965
# summary of solver processes directly reported to runsolver:
# pid: 1020003
# total CPU time (s): 3600.01
# total CPU user time (s): 3153.31
# total CPU system time (s): 446.693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35723 second user time and 13.4474 second system time
The end
Begin job on nodeC017 at 2024-07-19 06:40:29
IDJOB=4447986
IDBENCH=160355
IDSOLVER=3047
FILE ID=nodeC017/4447986-1721364016
RUNJOBID= nodeC017-1721354345-1014652
SLURM_JOB_ID= 7542774
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447986-1721364016/watcher-4447986-1721364016 -o /tmp/evaluation-result-4447986-1721364016/solver-4447986-1721364016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721354345-1014652 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447986-1721364016.opb -t 3600 -s 2017779479
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42530f8fa6d5232445304732efe45d63
RANDOM SEED=2017779479
nodeC017.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 : 3657.148
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.46
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 : 3663.276
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 : 7006.99
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 : 3600.150
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.46
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 : 3667.618
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 : 7006.99
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 : 3657.192
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.46
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 : 3666.771
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 : 7006.99
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 : 3599.554
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.46
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 : 3599.919
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 : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126586264 kB
MemAvailable: 129156972 kB
Buffers: 552728 kB
Cached: 2835412 kB
SwapCached: 0 kB
Active: 1234900 kB
Inactive: 3049052 kB
Active(anon): 1552 kB
Inactive(anon): 931976 kB
Active(file): 1233348 kB
Inactive(file): 2117076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16288 kB
Writeback: 0 kB
AnonPages: 895784 kB
Mapped: 140836 kB
Shmem: 37720 kB
KReclaimable: 119860 kB
Slab: 234080 kB
SReclaimable: 119860 kB
SUnreclaim: 114220 kB
KernelStack: 4112 kB
PageTables: 10992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1369412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69088 kB
HardwareCorrupted: 0 kB
AnonHugePages: 559104 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: 287444 kB
DirectMap2M: 40380416 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC017 at 2024-07-19 07:40:38