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 (62060 MiB free)
memory of node 1: 64510 MiB (61792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460435-1722068499/watcher-4460435-1722068499 -o /tmp/evaluation-result-4460435-1722068499/solver-4460435-1722068499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317569 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460435-1722068499 --lp-cut-gomory=0 HOME/instance-4460435-1722068499.opb
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
Current StackSize limit: 8192 KiB
solver pid=319785, runsolver pid=319782
[startup+0.100089 s]*
/proc/loadavg: 4.23 4.14 4.06 5/263 319786
/proc/meminfo: memFree=126775348/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=104756 memory=54220 CPUtime=0.09 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 8932 0 0 0 7 2 0 0 20 0 1 0 43372839 107270144 13555 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 26189 13555 1365 992 0 18047 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 104756 KiB
Current children cumulated memory: 54220 KiB
[startup+0.205914 s]*
/proc/loadavg: 4.23 4.14 4.06 5/263 319786
/proc/meminfo: memFree=126768168/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=107116 memory=60020 CPUtime=0.2 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 9829 0 0 0 15 5 0 0 20 0 1 0 43372839 109686784 15005 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 26779 15005 1381 992 0 18637 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107116 KiB
Current children cumulated memory: 60020 KiB
[startup+0.305736 s]*
/proc/loadavg: 4.23 4.14 4.06 5/263 319786
/proc/meminfo: memFree=126765004/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=109140 memory=62132 CPUtime=0.3 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 10360 0 0 0 23 7 0 0 20 0 1 0 43372839 111759360 15533 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 27285 15533 1381 992 0 19143 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109140 KiB
Current children cumulated memory: 62132 KiB
[startup+0.700158 s]
/proc/loadavg: 4.23 4.14 4.06 5/263 319786
/proc/meminfo: memFree=126757692/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=120640 memory=73172 CPUtime=0.69 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 12095 0 0 0 51 18 0 0 20 0 1 0 43372839 123535360 18293 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 30160 18293 1381 992 0 22018 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 73172 KiB
[startup+1.50016 s]
/proc/loadavg: 4.23 4.14 4.06 5/263 319786
/proc/meminfo: memFree=126742092/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=151392 memory=101284 CPUtime=1.48 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 15044 0 0 0 113 35 0 0 20 0 1 0 43372839 155025408 25321 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 37848 25321 1381 992 0 29706 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 151392 KiB
Current children cumulated memory: 101284 KiB
[startup+3.10585 s]
/proc/loadavg: 4.23 4.14 4.06 5/263 319788
/proc/meminfo: memFree=126322412/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=554504 memory=489636 CPUtime=3.09 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 67555 0 0 0 254 55 0 0 20 0 1 0 43372839 567812096 122409 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 138626 122409 1731 992 0 130484 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 554504 KiB
Current children cumulated memory: 489636 KiB
[startup+6.30017 s]
/proc/loadavg: 4.21 4.14 4.06 5/263 319788
/proc/meminfo: memFree=126284788/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=562112 memory=490364 CPUtime=6.27 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 67715 0 0 0 560 67 0 0 20 0 1 0 43372839 575602688 122591 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 140528 122591 1809 992 0 132386 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 562112 KiB
Current children cumulated memory: 490364 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.06 5/263 319788
/proc/meminfo: memFree=126144920/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=608464 memory=544216 CPUtime=12.64 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 73046 0 0 0 1186 78 0 0 20 0 1 0 43372839 623067136 136054 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 152116 136054 1809 992 0 143974 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 608464 KiB
Current children cumulated memory: 544216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.06 5/263 319791
/proc/meminfo: memFree=125977952/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=648800 memory=577076 CPUtime=25.39 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 75782 0 0 0 2457 82 0 0 20 0 1 0 43372839 664371200 144269 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 162200 144269 1809 992 0 154058 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 648800 KiB
Current children cumulated memory: 577076 KiB
[startup+51.1058 s]
/proc/loadavg: 4.32 4.17 4.08 5/262 319796
/proc/meminfo: memFree=125377820/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=925352 memory=793384 CPUtime=50.88 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 106389 0 0 0 4976 112 0 0 20 0 1 0 43372839 947560448 198346 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 231338 198346 1880 992 0 223196 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 925352 KiB
Current children cumulated memory: 793384 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.20 4.09 5/261 319806
/proc/meminfo: memFree=123163620/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=1827332 memory=1721692 CPUtime=101.88 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 229277 0 0 0 9943 245 0 0 20 0 1 0 43372839 1871187968 430423 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 456833 430423 1880 992 0 448691 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1827332 KiB
Current children cumulated memory: 1721692 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.20 4.09 5/261 319817
/proc/meminfo: memFree=121462180/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=2621512 memory=2465580 CPUtime=161.64 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 315747 0 0 0 15825 339 0 0 20 0 1 0 43372839 2684428288 616395 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 655378 616395 1896 992 0 647236 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 2621512 KiB
Current children cumulated memory: 2465580 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/260 319827
/proc/meminfo: memFree=120270012/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=2648588 memory=2574564 CPUtime=221.4 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 319106 0 0 0 21713 427 0 0 20 0 1 0 43372839 2712154112 643641 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 662147 643641 1896 992 0 654005 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 2648588 KiB
Current children cumulated memory: 2574564 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.19 4.10 5/261 320223
/proc/meminfo: memFree=117339748/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=4172020 memory=3962936 CPUtime=281.18 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 501452 0 0 0 27542 576 0 0 20 0 1 0 43372839 4272148480 990734 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 1043005 990734 1896 992 0 1034863 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 4172020 KiB
Current children cumulated memory: 3962936 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/261 320235
/proc/meminfo: memFree=116014008/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=5270508 memory=4486516 CPUtime=340.95 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 537804 0 0 0 33438 657 0 0 20 0 1 0 43372839 5397000192 1121629 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 1317627 1121629 1896 992 0 1309485 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 5270508 KiB
Current children cumulated memory: 4486516 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/261 320245
/proc/meminfo: memFree=115403888/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=5275156 memory=4502080 CPUtime=400.73 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 538697 0 0 0 39334 739 0 0 20 0 1 0 43372839 5401759744 1125520 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 1318789 1125520 1896 992 0 1310647 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 5275156 KiB
Current children cumulated memory: 4502080 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/264 320428
/proc/meminfo: memFree=113598224/131524600 swapFree=131061428/131071996
[pid=319785] ppid=319782 vsize=5275156 memory=4524936 CPUtime=460.54 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 539960 0 0 0 45193 861 0 0 20 0 1 0 43372839 5401759744 1131234 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 1318789 1131234 1896 992 0 1310647 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/260 321581
/proc/meminfo: memFree=55510516/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9231028 memory=8654152 CPUtime=3151.55 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1127035 0 0 0 310436 4719 0 0 20 0 1 0 43372839 9452572672 2163538 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2307757 2163538 1896 992 0 2299615 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 9231028 KiB
Current children cumulated memory: 8654152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/260 321592
/proc/meminfo: memFree=54661916/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9240004 memory=8657632 CPUtime=3211.33 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1130502 0 0 0 316322 4811 0 0 20 0 1 0 43372839 9461764096 2164408 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2310001 2164408 1896 992 0 2301859 0
Current children cumulated CPU time: 3211.33 s
Current children cumulated vsize: 9240004 KiB
Current children cumulated memory: 8657632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/260 321604
/proc/meminfo: memFree=53420016/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9240004 memory=8660028 CPUtime=3271.09 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1134646 0 0 0 322200 4909 0 0 20 0 1 0 43372839 9461764096 2165007 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2310001 2165007 1896 992 0 2301859 0
Current children cumulated CPU time: 3271.09 s
Current children cumulated vsize: 9240004 KiB
Current children cumulated memory: 8660028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/259 321615
/proc/meminfo: memFree=52272348/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9240004 memory=8660812 CPUtime=3330.9 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1137677 0 0 0 328082 5008 0 0 20 0 1 0 43372839 9461764096 2165203 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2310001 2165203 1896 992 0 2301859 0
Current children cumulated CPU time: 3330.9 s
Current children cumulated vsize: 9240004 KiB
Current children cumulated memory: 8660812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.21 4.14 5/261 321629
/proc/meminfo: memFree=51152928/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9240004 memory=8664436 CPUtime=3390.69 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1141690 0 0 0 333965 5104 0 0 20 0 1 0 43372839 9461764096 2166109 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2310001 2166109 1896 992 0 2301859 0
Current children cumulated CPU time: 3390.69 s
Current children cumulated vsize: 9240004 KiB
Current children cumulated memory: 8664436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.14 5/261 321639
/proc/meminfo: memFree=50204704/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8688324 CPUtime=3450.5 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1150373 0 0 0 339862 5188 0 0 20 0 1 0 43372839 9495322624 2172081 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2172081 1896 992 0 2310052 0
Current children cumulated CPU time: 3450.5 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8688324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/264 321653
/proc/meminfo: memFree=49206188/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8690600 CPUtime=3510.32 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1159078 0 0 0 345757 5275 0 0 20 0 1 0 43372839 9495322624 2172650 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2172650 1896 992 0 2310052 0
Current children cumulated CPU time: 3510.32 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8690600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/264 321665
/proc/meminfo: memFree=48583440/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3570.14 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1164482 0 0 0 351687 5327 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3570.14 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.22 4.17 4.13 5/264 321856
/proc/meminfo: memFree=55665008/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3600.05 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1167427 0 0 0 354604 5401 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3633.38 s]
# the end of solver process 319785 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3547.96 s, system=54.3268 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.22 4.17 4.13 5/264 321856
/proc/meminfo: memFree=55665008/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3600.55 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1167427 0 0 0 354652 5403 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
[startup+3613.6 s]
/proc/loadavg: 4.22 4.17 4.13 5/264 321858
/proc/meminfo: memFree=55524036/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3601.35 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1167427 0 0 0 354727 5408 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3601.35 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
[startup+3614 s]*
/proc/loadavg: 4.22 4.17 4.13 5/264 321858
/proc/meminfo: memFree=55386976/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3601.75 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1167427 0 0 0 354765 5410 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3601.75 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
[startup+3614.2 s]
/proc/loadavg: 4.22 4.17 4.13 5/264 321858
/proc/meminfo: memFree=55386976/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3601.95 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1167427 0 0 0 354784 5411 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
[startup+3614.3 s]
/proc/loadavg: 4.22 4.17 4.13 5/264 321858
/proc/meminfo: memFree=55386976/131524600 swapFree=131060148/131071996
[pid=319785] ppid=319782 vsize=9272776 memory=8693564 CPUtime=3602.04 cores=0,2
/proc/319785/stat : 319785 (roundingsat) R 319782 319785 317555 0 -1 4194304 1167427 0 0 0 354793 5411 0 0 20 0 1 0 43372839 9495322624 2173391 134679101440 4194304 8254357 140720460278704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27426816 140720460280667 140720460280929 140720460280929 140720460287945 0
/proc/319785/statm: 2318194 2173391 1896 992 0 2310052 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 9272776 KiB
Current children cumulated memory: 8693564 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3633.38
CPU time (s): 3602.29
CPU user time (s): 3547.96
CPU system time (s): 54.3268
CPU usage (%): 99.1442
Max. virtual memory (cumulated for all children) (KiB): 9272776
Max. memory (cumulated for all children) (KiB): 8693564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.96
system time used= 54.3268
maximum resident set size= 8693564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1167427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127750000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35526
involuntary context switches= 25413
# summary of solver processes directly reported to runsolver:
# pid: 319785
# total CPU time (s): 3602.29
# total CPU user time (s): 3547.96
# total CPU system time (s): 54.3268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58523 second user time and 16.946 second system time
The end
Begin job on nodeC022 at 2024-07-27 10:21:39
IDJOB=4460435
IDBENCH=155654
IDSOLVER=3086
FILE ID=nodeC022/4460435-1722068499
RUNJOBID= nodeC022-1722064836-317569
SLURM_JOB_ID= 8248091
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460435-1722068499/watcher-4460435-1722068499 -o /tmp/evaluation-result-4460435-1722068499/solver-4460435-1722068499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317569 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460435-1722068499 --lp-cut-gomory=0 HOME/instance-4460435-1722068499.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f52c25e5aa8e0a6173f9b1fa92936824
RANDOM SEED=1859590444
nodeC022.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 : 3674.954
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.87
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 : 3683.648
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.75
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 : 3651.663
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.87
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 : 3600.319
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.75
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 : 3673.751
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.87
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 : 3683.652
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.75
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 : 3608.167
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.87
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.993
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126826216 kB
MemAvailable: 129296564 kB
Buffers: 378492 kB
Cached: 2887188 kB
SwapCached: 1424 kB
Active: 2710464 kB
Inactive: 1306440 kB
Active(anon): 1924 kB
Inactive(anon): 803112 kB
Active(file): 2708540 kB
Inactive(file): 503328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061428 kB
Dirty: 202932 kB
Writeback: 0 kB
AnonPages: 749584 kB
Mapped: 126276 kB
Shmem: 53732 kB
KReclaimable: 200348 kB
Slab: 326228 kB
SReclaimable: 200348 kB
SUnreclaim: 125880 kB
KernelStack: 4228 kB
PageTables: 10896 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1172528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 378880 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: 334548 kB
DirectMap2M: 36139008 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC022 at 2024-07-27 11:22:13