0.00/0.11 c Filename:instance-4447686-1721362669.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.11 c Use Presolve
0.00/0.11 c Parse finsih
0.00/0.11 c Start Presolve
0.00/0.11 c After Reduce Vars: 273 Clauses: 728 Top clause weight: 1 Hard Clauses: 728
3599.96/3610.43 c Use LS-small
3599.96/3610.43 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: 64096 MiB (63116 MiB free)
memory of node 1: 64473 MiB (63274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447686-1721362669/watcher-4447686-1721362669 -o /tmp/evaluation-result-4447686-1721362669/solver-4447686-1721362669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995438 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447686-1721362669.opb -t 3600 -s 1709170286
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=995469, runsolver pid=995466
[startup+0.100308 s]*
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129400344/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=31156 memory=23288 CPUtime=0.1 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 2690 0 0 0 9 1 0 0 20 0 1 0 188424075 31903744 5822 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 7789 5822 2849 2753 0 4442 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31156 KiB
Current children cumulated memory: 23288 KiB
[startup+0.214185 s]*
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129377344/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=29848 memory=23196 CPUtime=0.22 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 2844 0 0 0 21 1 0 0 20 0 1 0 188424075 30564352 5799 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 7462 5799 2849 2753 0 4115 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 29848 KiB
Current children cumulated memory: 23196 KiB
[startup+0.313488 s]*
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129375152/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=31160 memory=24248 CPUtime=0.31 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 3167 0 0 0 30 1 0 0 20 0 1 0 188424075 31907840 6062 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 7790 6062 2849 2753 0 4443 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31160 KiB
Current children cumulated memory: 24248 KiB
[startup+0.700284 s]
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129363700/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=38784 memory=31640 CPUtime=0.68 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 4951 0 0 0 67 1 0 0 20 0 1 0 188424075 39714816 7910 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 9696 7910 2849 2753 0 6349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38784 KiB
Current children cumulated memory: 31640 KiB
[startup+1.5003 s]
/proc/loadavg: 1.19 1.38 2.20 5/243 995500
/proc/meminfo: memFree=129347444/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=46164 memory=38768 CPUtime=1.48 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 6785 0 0 0 147 1 0 0 20 0 1 0 188424075 47271936 9692 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 11541 9692 2849 2753 0 8194 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46164 KiB
Current children cumulated memory: 38768 KiB
[startup+3.11294 s]
/proc/loadavg: 1.41 1.42 2.21 5/243 995500
/proc/meminfo: memFree=129337712/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=46824 memory=39556 CPUtime=3.09 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 6959 0 0 0 307 2 0 0 20 0 1 0 188424075 47947776 9889 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 11706 9889 2849 2753 0 8359 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 39556 KiB
[startup+6.30027 s]
/proc/loadavg: 1.41 1.42 2.21 5/243 995502
/proc/meminfo: memFree=129306992/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=50532 memory=43248 CPUtime=6.27 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 7903 0 0 0 625 2 0 0 20 0 1 0 188424075 51744768 10812 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 12633 10812 2849 2753 0 9286 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50532 KiB
Current children cumulated memory: 43248 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.50 2.23 5/243 995502
/proc/meminfo: memFree=129280080/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=54760 memory=47700 CPUtime=12.64 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 9184 0 0 0 1262 2 0 0 20 0 1 0 188424075 56074240 11925 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 13690 11925 2849 2753 0 10343 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 54760 KiB
Current children cumulated memory: 47700 KiB
[startup+25.5003 s]
/proc/loadavg: 2.15 1.59 2.25 5/243 995503
/proc/meminfo: memFree=129231968/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=64436 memory=56944 CPUtime=25.39 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 11588 0 0 0 2537 2 0 0 20 0 1 0 188424075 65982464 14236 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 16109 14236 2849 2753 0 12762 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 64436 KiB
Current children cumulated memory: 56944 KiB
[startup+51.1127 s]
/proc/loadavg: 2.92 1.81 2.31 5/243 995508
/proc/meminfo: memFree=129134000/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=86692 memory=81308 CPUtime=50.91 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 17609 0 0 0 5088 3 0 0 20 0 1 0 188424075 88772608 20327 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 21673 20327 2849 2753 0 18326 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 86692 KiB
Current children cumulated memory: 81308 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.18 2.41 5/243 995516
/proc/meminfo: memFree=128949244/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=137372 memory=130220 CPUtime=101.89 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 29934 0 0 0 10183 6 0 0 20 0 1 0 188424075 140668928 32555 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 34343 32555 2849 2753 0 30996 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 137372 KiB
Current children cumulated memory: 130220 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.53 2.51 5/243 995526
/proc/meminfo: memFree=128749540/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=187728 memory=181476 CPUtime=161.64 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 42822 0 0 0 16156 8 0 0 20 0 1 0 188424075 192233472 45369 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 46932 45369 2849 2753 0 43585 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 187728 KiB
Current children cumulated memory: 181476 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.85 2.62 5/245 995541
/proc/meminfo: memFree=128564940/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=241224 memory=232116 CPUtime=221.4 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 55507 0 0 0 22129 11 0 0 20 0 1 0 188424075 247013376 58029 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 60306 58029 2849 2753 0 56959 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 241224 KiB
Current children cumulated memory: 232116 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.08 2.72 5/245 995551
/proc/meminfo: memFree=128374400/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=295876 memory=287708 CPUtime=281.15 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 69393 0 0 0 28102 13 0 0 20 0 1 0 188424075 302977024 71927 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 73969 71927 2849 2753 0 70622 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 295876 KiB
Current children cumulated memory: 287708 KiB
[startup+342.3 s]
/proc/loadavg: 5.62 3.65 2.94 5/243 995561
/proc/meminfo: memFree=128198464/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=345332 memory=338020 CPUtime=340.92 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 82026 0 0 0 34076 16 0 0 20 0 1 0 188424075 353619968 84505 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 86333 84505 2849 2753 0 82986 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 345332 KiB
Current children cumulated memory: 338020 KiB
[startup+402.3 s]
/proc/loadavg: 5.38 4.00 3.11 5/243 995572
/proc/meminfo: memFree=128018312/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=391472 memory=385316 CPUtime=400.67 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 93881 0 0 0 40049 18 0 0 20 0 1 0 188424075 400867328 96329 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 97868 96329 2849 2753 0 94521 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 391472 KiB
Current children cumulated memory: 385316 KiB
[startup+462.3 s]
/proc/loadavg: 4.55 4.01 3.17 5/243 995583
/proc/meminfo: memFree=127833024/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=456880 memory=443588 CPUtime=460.44 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 108472 0 0 0 46023 21 0 0 20 0 1 0 188424075 467845120 110897 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 114220 110897 2849 2753 0 110873 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.07 5/244 997260
/proc/meminfo: memFree=126830732/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3212.64 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 289369 31895 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3212.64 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/243 997271
/proc/meminfo: memFree=126830312/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3272.52 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 294013 33239 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/243 997281
/proc/meminfo: memFree=126830168/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3332.4 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 298670 34570 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/243 997291
/proc/meminfo: memFree=126829944/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3392.28 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 303331 35897 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/243 997302
/proc/meminfo: memFree=126829644/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3452.16 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 307957 37259 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/241 997313
/proc/meminfo: memFree=126829364/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3512.03 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 312599 38604 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/241 997323
/proc/meminfo: memFree=126829080/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3571.92 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 317249 39943 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3610.44 s]
# the end of solver process 995469 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3194.29 s, system=405.714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.08 5/241 997323
/proc/meminfo: memFree=126829088/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3573.62 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 317379 39983 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.08 5/241 997326
/proc/meminfo: memFree=126829104/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3586.38 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 318367 40271 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/241 997326
/proc/meminfo: memFree=126829000/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3592.77 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 318865 40412 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3592.77 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.10 4.08 5/241 997328
/proc/meminfo: memFree=126828896/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3595.97 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 319114 40483 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3595.97 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3608 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997328
/proc/meminfo: memFree=126828936/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3597.58 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 319240 40518 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3597.58 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3609.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 997374
/proc/meminfo: memFree=127030064/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3599.16 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 319364 40552 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3599.16 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3610 s]*
/proc/loadavg: 4.15 4.12 4.09 6/241 997420
/proc/meminfo: memFree=127722036/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3599.57 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 319395 40562 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3599.57 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.12 4.09 6/241 997420
/proc/meminfo: memFree=127722036/131655788 swapFree=131070704/131071996
[pid=995469] ppid=995466 vsize=861508 memory=856304 CPUtime=3599.96 cores=5,7
/proc/995469/stat : 995469 (LS-MabSP) R 995466 995469 995425 0 -1 4194304 403465 0 0 0 319426 40570 0 0 20 0 1 0 188424075 882184192 214076 134679101440 4194304 15467897 140722239993072 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38133760 140722240001054 140722240001157 140722240001157 140722240008173 0
/proc/995469/statm: 215377 214076 2849 2753 0 212030 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 861508 KiB
Current children cumulated memory: 856304 KiB
Child status: 0
Real time (s): 3610.44
CPU time (s): 3600
CPU user time (s): 3194.29
CPU system time (s): 405.714
CPU usage (%): 99.711
Max. virtual memory (cumulated for all children) (KiB): 1596264
Max. memory (cumulated for all children) (KiB): 1588912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3194.29
system time used= 405.714
maximum resident set size= 1588920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403471
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= 74
involuntary context switches= 3083
# summary of solver processes directly reported to runsolver:
# pid: 995469
# total CPU time (s): 3600
# total CPU user time (s): 3194.29
# total CPU system time (s): 405.714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6967 second user time and 29.72 second system time
The end
Begin job on nodeC011 at 2024-07-19 06:18:02
IDJOB=4447686
IDBENCH=160024
IDSOLVER=3047
FILE ID=nodeC011/4447686-1721362669
RUNJOBID= nodeC011-1721362682-995438
SLURM_JOB_ID= 7542785
Free space on /tmp= 723784 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.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-4447686-1721362669/watcher-4447686-1721362669 -o /tmp/evaluation-result-4447686-1721362669/solver-4447686-1721362669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995438 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447686-1721362669.opb -t 3600 -s 1709170286
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c8e53a529ce10df137c21c2a3460ac47
RANDOM SEED=1709170286
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.128
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3269.768
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129423524 kB
MemAvailable: 130005260 kB
Buffers: 540516 kB
Cached: 880992 kB
SwapCached: 132 kB
Active: 1047436 kB
Inactive: 696104 kB
Active(anon): 1324 kB
Inactive(anon): 358104 kB
Active(file): 1046112 kB
Inactive(file): 338000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 63612 kB
Writeback: 48 kB
AnonPages: 321904 kB
Mapped: 105120 kB
Shmem: 37400 kB
KReclaimable: 75648 kB
Slab: 157692 kB
SReclaimable: 75648 kB
SUnreclaim: 82044 kB
KernelStack: 3628 kB
PageTables: 9124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 650232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 315392 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC011 at 2024-07-19 07:18:12