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: 63968 MiB (53530 MiB free)
memory of node 1: 64473 MiB (54690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449743-1721842599/watcher-4449743-1721842599 -o /tmp/evaluation-result-4449743-1721842599/solver-4449743-1721842599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721842599-246608 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449743-1721842599 --seed=2067701030 HOME/instance-4449743-1721842599.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
solver pid=246670, runsolver pid=246667
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.23 1.20 1.88 5/251 246675
/proc/meminfo: memFree=110756380/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=60688 memory=35480 CPUtime=0.09 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7174 0 0 0 8 1 0 0 20 0 1 0 20788149 62144512 8870 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 15172 8870 770 747 0 14235 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60688 KiB
Current children cumulated memory: 35480 KiB
[startup+0.205383 s]*
/proc/loadavg: 1.23 1.20 1.88 4/249 246679
/proc/meminfo: memFree=110732868/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=29012 CPUtime=0.19 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7181 0 0 0 18 1 0 0 20 0 1 0 20788149 47460352 7253 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 7253 770 747 0 10650 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 29012 KiB
[startup+0.305461 s]*
/proc/loadavg: 1.23 1.20 1.88 4/251 246685
/proc/meminfo: memFree=110745164/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=29012 CPUtime=0.29 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7181 0 0 0 28 1 0 0 20 0 1 0 20788149 47460352 7253 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 7253 770 747 0 10650 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 29012 KiB
[startup+0.700136 s]
/proc/loadavg: 1.23 1.20 1.88 5/254 246718
/proc/meminfo: memFree=110734048/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=31060 CPUtime=0.69 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7182 0 0 0 67 2 0 0 20 0 1 0 20788149 47460352 7765 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 7765 770 747 0 10650 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 31060 KiB
[startup+1.50018 s]
/proc/loadavg: 1.23 1.20 1.88 5/254 246718
/proc/meminfo: memFree=110715260/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=33108 CPUtime=1.48 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7183 0 0 0 146 2 0 0 20 0 1 0 20788149 47460352 8277 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 8277 770 747 0 10650 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 33108 KiB
[startup+3.10526 s]
/proc/loadavg: 1.23 1.20 1.88 5/254 246718
/proc/meminfo: memFree=110653516/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=33108 CPUtime=3.08 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7186 0 0 0 305 3 0 0 20 0 1 0 20788149 47460352 8277 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 8277 770 747 0 10650 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 33108 KiB
[startup+6.30015 s]
/proc/loadavg: 1.45 1.25 1.89 5/254 246718
/proc/meminfo: memFree=110574300/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=33108 CPUtime=6.27 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7190 0 0 0 621 6 0 0 20 0 1 0 20788149 47460352 8277 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 8277 770 747 0 10650 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 33108 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.29 1.90 5/254 246720
/proc/meminfo: memFree=110421020/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=37204 CPUtime=12.64 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7200 0 0 0 1255 9 0 0 20 0 1 0 20788149 47460352 9301 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 9301 770 747 0 10650 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 37204 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.40 1.93 5/254 246721
/proc/meminfo: memFree=110110400/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=37204 CPUtime=25.4 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7211 0 0 0 2525 15 0 0 20 0 1 0 20788149 47460352 9301 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 9301 770 747 0 10650 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 37204 KiB
[startup+51.1053 s]
/proc/loadavg: 2.85 1.65 2.00 5/254 246726
/proc/meminfo: memFree=109550940/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46348 memory=37204 CPUtime=50.45 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7226 0 0 0 5018 27 0 0 20 0 1 0 20788149 47460352 9301 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 46 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11587 9301 770 747 0 10650 0
Current children cumulated CPU time: 50.45 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 37204 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.03 2.11 5/255 246782
/proc/meminfo: memFree=108574040/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=46880 memory=37932 CPUtime=101.08 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 7818 0 0 0 10058 50 0 0 20 0 1 0 20788149 48005120 9483 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 11720 9483 850 747 0 10783 0
Current children cumulated CPU time: 101.08 s
Current children cumulated vsize: 46880 KiB
Current children cumulated memory: 37932 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.42 2.24 5/257 246794
/proc/meminfo: memFree=107279304/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=48688 memory=39872 CPUtime=160.09 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 8306 0 0 0 15929 80 0 0 20 0 1 0 20788149 49856512 9968 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 160 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 12172 9968 850 747 0 11235 0
Current children cumulated CPU time: 160.09 s
Current children cumulated vsize: 48688 KiB
Current children cumulated memory: 39872 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.71 2.35 5/259 246809
/proc/meminfo: memFree=105968148/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=51048 memory=44232 CPUtime=218.94 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 8915 0 0 0 21791 103 0 0 20 0 1 0 20788149 52273152 11058 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 251 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 12762 11058 850 747 0 11825 0
Current children cumulated CPU time: 218.94 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 44232 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.98 2.47 5/259 246819
/proc/meminfo: memFree=104694144/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=51876 memory=45176 CPUtime=278.03 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 9158 0 0 0 27676 127 0 0 20 0 1 0 20788149 53121024 11294 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 321 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 12969 11294 850 747 0 12032 0
Current children cumulated CPU time: 278.03 s
Current children cumulated vsize: 51876 KiB
Current children cumulated memory: 45176 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.18 2.57 5/259 246830
/proc/meminfo: memFree=103388324/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=53704 memory=46688 CPUtime=337.11 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 9609 0 0 0 33560 151 0 0 20 0 1 0 20788149 54992896 11672 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 392 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 13426 11672 850 747 0 12489 0
Current children cumulated CPU time: 337.11 s
Current children cumulated vsize: 53704 KiB
Current children cumulated memory: 46688 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.67 5/258 246841
/proc/meminfo: memFree=102041256/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=54600 memory=47672 CPUtime=396.04 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 9875 0 0 0 39427 177 0 0 20 0 1 0 20788149 55910400 11918 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 464 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 13650 11918 850 747 0 12713 0
Current children cumulated CPU time: 396.04 s
Current children cumulated vsize: 54600 KiB
Current children cumulated memory: 47672 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.50 2.77 5/257 246852
/proc/meminfo: memFree=100911756/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=55768 memory=48924 CPUtime=455.27 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 10176 0 0 0 45327 200 0 0 20 0 1 0 20788149 57106432 12231 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 520 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 13942 12231 850 747 0 13005 0
################
# More data... #
################
Current children cumulated memory: 66364 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/260 248303
/proc/meminfo: memFree=46000792/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=82824 memory=68708 CPUtime=2988.66 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 14864 0 0 0 297613 1253 0 0 20 0 1 0 20788149 84811776 17177 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3993 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 20706 17177 850 747 0 19769 0
Current children cumulated CPU time: 2988.66 s
Current children cumulated vsize: 82824 KiB
Current children cumulated memory: 68708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/262 248484
/proc/meminfo: memFree=44715484/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=82824 memory=68708 CPUtime=3048.22 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 14894 0 0 0 303544 1278 0 0 20 0 1 0 20788149 84811776 17177 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4018 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 20706 17177 850 747 0 19769 0
Current children cumulated CPU time: 3048.22 s
Current children cumulated vsize: 82824 KiB
Current children cumulated memory: 68708 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/262 248495
/proc/meminfo: memFree=43395812/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=83080 memory=69000 CPUtime=3107.8 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15004 0 0 0 309479 1301 0 0 20 0 1 0 20788149 85073920 17250 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4040 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 20770 17250 850 747 0 19833 0
Current children cumulated CPU time: 3107.8 s
Current children cumulated vsize: 83080 KiB
Current children cumulated memory: 69000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/260 248562
/proc/meminfo: memFree=42123180/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=83464 memory=69408 CPUtime=3167.39 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15145 0 0 0 315417 1322 0 0 20 0 1 0 20788149 85467136 17352 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4061 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 20866 17352 850 747 0 19929 0
Current children cumulated CPU time: 3167.39 s
Current children cumulated vsize: 83464 KiB
Current children cumulated memory: 69408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/260 248572
/proc/meminfo: memFree=40757580/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=83656 memory=69620 CPUtime=3226.93 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15205 0 0 0 321350 1343 0 0 20 0 1 0 20788149 85663744 17405 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4085 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 20914 17405 850 747 0 19977 0
Current children cumulated CPU time: 3226.93 s
Current children cumulated vsize: 83656 KiB
Current children cumulated memory: 69620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 248585
/proc/meminfo: memFree=39416280/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=83912 memory=69812 CPUtime=3286.49 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15316 0 0 0 327282 1367 0 0 20 0 1 0 20788149 85925888 17453 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4109 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 20978 17453 850 747 0 20041 0
Current children cumulated CPU time: 3286.49 s
Current children cumulated vsize: 83912 KiB
Current children cumulated memory: 69812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 248595
/proc/meminfo: memFree=38262776/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=84104 memory=69964 CPUtime=3346 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15361 0 0 0 333209 1391 0 0 20 0 1 0 20788149 86122496 17491 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4136 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 21026 17491 850 747 0 20089 0
Current children cumulated CPU time: 3346 s
Current children cumulated vsize: 84104 KiB
Current children cumulated memory: 69964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 248606
/proc/meminfo: memFree=37115388/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=84104 memory=70004 CPUtime=3405.4 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15390 0 0 0 339128 1412 0 0 20 0 1 0 20788149 86122496 17501 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4173 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 21026 17501 850 747 0 20089 0
Current children cumulated CPU time: 3405.4 s
Current children cumulated vsize: 84104 KiB
Current children cumulated memory: 70004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 248617
/proc/meminfo: memFree=35928576/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=84360 memory=70144 CPUtime=3464.91 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15483 0 0 0 345054 1437 0 0 20 0 1 0 20788149 86384640 17536 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4204 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 21090 17536 850 747 0 20153 0
Current children cumulated CPU time: 3464.91 s
Current children cumulated vsize: 84360 KiB
Current children cumulated memory: 70144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 248627
/proc/meminfo: memFree=34821172/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=84360 memory=70144 CPUtime=3524.21 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15512 0 0 0 350958 1463 0 0 20 0 1 0 20788149 86384640 17536 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 2 0 0 4227 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 21090 17536 850 747 0 20153 0
Current children cumulated CPU time: 3524.21 s
Current children cumulated vsize: 84360 KiB
Current children cumulated memory: 70144 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 248638
/proc/meminfo: memFree=33744260/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=84360 memory=70260 CPUtime=3583.41 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15571 0 0 0 356853 1488 0 0 20 0 1 0 20788149 86384640 17565 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 2 0 0 4253 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 21090 17565 850 747 0 20153 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 84360 KiB
Current children cumulated memory: 70260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3659.11 s]
/proc/loadavg: 4.11 4.11 4.09 4/250 248667
/proc/meminfo: memFree=33522372/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=84360 memory=70260 CPUtime=3600.08 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) R 246667 246670 246598 0 -1 4194304 15571 0 0 0 358512 1496 0 0 20 0 1 0 20788149 86384640 17565 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4253 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 21090 17565 850 747 0 20153 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 84360 KiB
Current children cumulated memory: 70260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3659.33 s]
# the end of solver process 246670 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3585.13 s, system=14.9891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3659.2 s]
/proc/loadavg: 4.11 4.11 4.09 4/250 248667
/proc/meminfo: memFree=33522372/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=54164 memory=49744 CPUtime=3600.1 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) D 246667 246670 246598 0 -1 4194304 15571 0 0 0 358512 1498 0 0 20 0 1 0 20788149 55463936 12436 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4265 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 13541 12436 850 747 0 12604 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 54164 KiB
Current children cumulated memory: 49744 KiB
[startup+3659.3 s]
/proc/loadavg: 4.11 4.11 4.09 4/250 248667
/proc/meminfo: memFree=33522372/131524600 swapFree=131063756/131071996
[pid=246670] ppid=246667 vsize=54164 memory=49744 CPUtime=3600.1 cores=0,2
/proc/246670/stat : 246670 (Exact_veripb2_n) D 246667 246670 246598 0 -1 4194304 15571 0 0 0 358512 1498 0 0 20 0 1 0 20788149 55463936 12436 134679101440 4194304 7250417 140722484162784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4280 0 0 7950792 8015128 42561536 140722484167482 140722484167771 140722484167771 140722484174782 0
/proc/246670/statm: 13541 12436 850 747 0 12604 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 54164 KiB
Current children cumulated memory: 49744 KiB
Child status: 10
Real time (s): 3659.33
CPU time (s): 3600.12
CPU user time (s): 3585.13
CPU system time (s): 14.9891
CPU usage (%): 98.3819
Max. virtual memory (cumulated for all children) (KiB): 84360
Max. memory (cumulated for all children) (KiB): 70260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.13
system time used= 14.9891
maximum resident set size= 77892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35938696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3583
involuntary context switches= 29752
# summary of solver processes directly reported to runsolver:
# pid: 246670
# total CPU time (s): 3600.12
# total CPU user time (s): 3585.13
# total CPU system time (s): 14.9891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68994 second user time and 15.047 second system time
The end
Begin job on nodeC027 at 2024-07-24 19:36:39
IDJOB=4449743
IDBENCH=176097
IDSOLVER=3080
FILE ID=nodeC027/4449743-1721842599
RUNJOBID= nodeC027-1721842599-246608
SLURM_JOB_ID= 7891576
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449743-1721842599/watcher-4449743-1721842599 -o /tmp/evaluation-result-4449743-1721842599/solver-4449743-1721842599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721842599-246608 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449743-1721842599 --seed=2067701030 HOME/instance-4449743-1721842599.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=2067701030
nodeC027.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 : 3638.816
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.74
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 : 3658.328
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 : 7005.65
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 : 3633.380
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.74
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 : 3652.246
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 : 7005.65
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 : 3636.304
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.74
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 : 3658.960
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 : 7005.65
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 : 3632.215
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.74
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 : 3629.310
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 : 7005.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110821464 kB
MemAvailable: 129670780 kB
Buffers: 262920 kB
Cached: 19267524 kB
SwapCached: 472 kB
Active: 2461336 kB
Inactive: 17341424 kB
Active(anon): 1592 kB
Inactive(anon): 324216 kB
Active(file): 2459744 kB
Inactive(file): 17017208 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 25128 kB
Writeback: 0 kB
AnonPages: 271996 kB
Mapped: 121388 kB
Shmem: 53416 kB
KReclaimable: 424376 kB
Slab: 548464 kB
SReclaimable: 424376 kB
SUnreclaim: 124088 kB
KernelStack: 3956 kB
PageTables: 9032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 677040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 149504 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: 359124 kB
DirectMap2M: 40308736 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC027 at 2024-07-24 20:37:38