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 (53531 MiB free)
memory of node 1: 64473 MiB (54700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449638-1721842599/watcher-4449638-1721842599 -o /tmp/evaluation-result-4449638-1721842599/solver-4449638-1721842599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721842599-246611 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449638-1721842599 --seed=2067701030 HOME/instance-4449638-1721842599.opb
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
solver pid=246654, runsolver pid=246651
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.99 1.15 1.87 5/252 246671
/proc/meminfo: memFree=110762816/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=60760 memory=34436 CPUtime=0.09 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 6903 0 0 0 9 0 0 0 20 0 1 0 20788147 62218240 8609 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 15190 8609 738 747 0 14253 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60760 KiB
Current children cumulated memory: 34436 KiB
[startup+0.205732 s]*
/proc/loadavg: 1.23 1.20 1.88 4/249 246679
/proc/meminfo: memFree=110736220/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=95556 memory=65160 CPUtime=0.2 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12604 0 0 0 18 2 0 0 20 0 1 0 20788147 97849344 16290 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 23889 16290 738 747 0 22952 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95556 KiB
Current children cumulated memory: 65160 KiB
[startup+0.305458 s]*
/proc/loadavg: 1.23 1.20 1.88 4/251 246685
/proc/meminfo: memFree=110727096/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=95556 memory=71304 CPUtime=0.3 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12607 0 0 0 28 2 0 0 20 0 1 0 20788147 97849344 17826 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 23889 17826 738 747 0 22952 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95556 KiB
Current children cumulated memory: 71304 KiB
[startup+0.700189 s]
/proc/loadavg: 1.23 1.20 1.88 5/254 246718
/proc/meminfo: memFree=110737068/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=55236 CPUtime=0.69 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12614 0 0 0 67 2 0 0 20 0 1 0 20788147 68485120 13809 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 13809 770 747 0 15783 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 55236 KiB
[startup+1.50017 s]
/proc/loadavg: 1.23 1.20 1.88 5/254 246718
/proc/meminfo: memFree=110715932/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=59332 CPUtime=1.49 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12616 0 0 0 146 3 0 0 20 0 1 0 20788147 68485120 14833 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 14833 770 747 0 15783 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 59332 KiB
[startup+3.10568 s]
/proc/loadavg: 1.23 1.20 1.88 5/254 246718
/proc/meminfo: memFree=110654188/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=59332 CPUtime=3.09 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12622 0 0 0 305 4 0 0 20 0 1 0 20788147 68485120 14833 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 14833 770 747 0 15783 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 59332 KiB
[startup+6.30018 s]
/proc/loadavg: 1.45 1.25 1.89 5/254 246718
/proc/meminfo: memFree=110574604/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=59332 CPUtime=6.27 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12629 0 0 0 621 6 0 0 20 0 1 0 20788147 68485120 14833 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 14833 770 747 0 15783 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 59332 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.29 1.90 5/254 246720
/proc/meminfo: memFree=110421692/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=59332 CPUtime=12.64 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12642 0 0 0 1256 8 0 0 20 0 1 0 20788147 68485120 14833 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 14833 770 747 0 15783 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 59332 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.40 1.93 5/254 246721
/proc/meminfo: memFree=110111072/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=61380 CPUtime=25.4 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12656 0 0 0 2527 13 0 0 20 0 1 0 20788147 68485120 15345 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 15345 770 747 0 15783 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 61380 KiB
[startup+51.1054 s]
/proc/loadavg: 2.85 1.65 2.00 5/254 246726
/proc/meminfo: memFree=109551976/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=66880 memory=61704 CPUtime=50.44 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 12679 0 0 0 5016 28 0 0 20 0 1 0 20788147 68485120 15426 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 49 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 16720 15426 850 747 0 15783 0
Current children cumulated CPU time: 50.44 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 61704 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.03 2.11 5/255 246782
/proc/meminfo: memFree=108574712/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=79820 memory=67324 CPUtime=100.74 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13302 0 0 0 10025 49 0 0 20 0 1 0 20788147 81735680 16831 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 126 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 19955 16831 850 747 0 19018 0
Current children cumulated CPU time: 100.74 s
Current children cumulated vsize: 79820 KiB
Current children cumulated memory: 67324 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.42 2.24 5/257 246794
/proc/meminfo: memFree=107279640/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=79820 memory=67324 CPUtime=159.81 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13320 0 0 0 15908 73 0 0 20 0 1 0 20788147 81735680 16831 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 204 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 19955 16831 850 747 0 19018 0
Current children cumulated CPU time: 159.81 s
Current children cumulated vsize: 79820 KiB
Current children cumulated memory: 67324 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=246654] ppid=246651 vsize=79820 memory=67384 CPUtime=218.72 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13362 0 0 0 21774 98 0 0 20 0 1 0 20788147 81735680 16846 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 298 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 19955 16846 850 747 0 19018 0
Current children cumulated CPU time: 218.72 s
Current children cumulated vsize: 79820 KiB
Current children cumulated memory: 67384 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.98 2.47 5/259 246819
/proc/meminfo: memFree=104694816/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=79820 memory=67384 CPUtime=277.85 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13394 0 0 0 27664 121 0 0 20 0 1 0 20788147 81735680 16846 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 369 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 19955 16846 850 747 0 19018 0
Current children cumulated CPU time: 277.85 s
Current children cumulated vsize: 79820 KiB
Current children cumulated memory: 67384 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.18 2.57 5/259 246830
/proc/meminfo: memFree=103388996/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=79820 memory=67384 CPUtime=336.97 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13422 0 0 0 33547 150 0 0 20 0 1 0 20788147 81735680 16846 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 443 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 19955 16846 850 747 0 19018 0
Current children cumulated CPU time: 336.97 s
Current children cumulated vsize: 79820 KiB
Current children cumulated memory: 67384 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.67 5/258 246841
/proc/meminfo: memFree=102041592/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=80920 memory=68296 CPUtime=396.09 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13710 0 0 0 39431 178 0 0 20 0 1 0 20788147 82862080 17074 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 517 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 20230 17074 850 747 0 19293 0
Current children cumulated CPU time: 396.09 s
Current children cumulated vsize: 80920 KiB
Current children cumulated memory: 68296 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.50 2.77 5/257 246852
/proc/meminfo: memFree=100912764/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=81512 memory=68980 CPUtime=455.24 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 13905 0 0 0 45324 200 0 0 20 0 1 0 20788147 83468288 17245 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 584 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 20378 17245 850 747 0 19441 0
################
# More data... #
################
Current children cumulated memory: 93884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.08 5/260 248292
/proc/meminfo: memFree=47123656/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=100308 memory=94740 CPUtime=2932.45 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20291 0 0 0 291997 1248 0 0 20 0 1 0 20788147 102715392 23685 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4232 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25077 23685 850 747 0 24140 0
Current children cumulated CPU time: 2932.45 s
Current children cumulated vsize: 100308 KiB
Current children cumulated memory: 94740 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/260 248303
/proc/meminfo: memFree=46001128/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=100788 memory=95100 CPUtime=2991.98 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20421 0 0 0 297927 1271 0 0 20 0 1 0 20788147 103206912 23775 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4265 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25197 23775 850 747 0 24260 0
Current children cumulated CPU time: 2991.98 s
Current children cumulated vsize: 100788 KiB
Current children cumulated memory: 95100 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/262 248484
/proc/meminfo: memFree=44716156/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=100788 memory=95100 CPUtime=3051.37 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20478 0 0 0 303842 1295 0 0 20 0 1 0 20788147 103206912 23775 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4311 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25197 23775 850 747 0 24260 0
Current children cumulated CPU time: 3051.37 s
Current children cumulated vsize: 100788 KiB
Current children cumulated memory: 95100 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/262 248495
/proc/meminfo: memFree=43396484/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=100948 memory=95316 CPUtime=3110.72 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20565 0 0 0 309750 1322 0 0 20 0 1 0 20788147 103370752 23829 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4360 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25237 23829 850 747 0 24300 0
Current children cumulated CPU time: 3110.72 s
Current children cumulated vsize: 100948 KiB
Current children cumulated memory: 95316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/260 248562
/proc/meminfo: memFree=42123516/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=101108 memory=95452 CPUtime=3170.05 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20630 0 0 0 315660 1345 0 0 20 0 1 0 20788147 103534592 23863 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4411 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25277 23863 850 747 0 24340 0
Current children cumulated CPU time: 3170.05 s
Current children cumulated vsize: 101108 KiB
Current children cumulated memory: 95452 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/260 248572
/proc/meminfo: memFree=40757916/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=101268 memory=95548 CPUtime=3229.18 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20704 0 0 0 321546 1372 0 0 20 0 1 0 20788147 103698432 23887 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4482 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25317 23887 850 747 0 24380 0
Current children cumulated CPU time: 3229.18 s
Current children cumulated vsize: 101268 KiB
Current children cumulated memory: 95548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 248585
/proc/meminfo: memFree=39416944/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=101620 memory=95864 CPUtime=3288.55 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20835 0 0 0 327460 1395 0 0 20 0 1 0 20788147 104058880 23966 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4529 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25405 23966 850 747 0 24468 0
Current children cumulated CPU time: 3288.55 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 95864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 248595
/proc/meminfo: memFree=38263440/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=101620 memory=95968 CPUtime=3347.92 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 20901 0 0 0 333374 1418 0 0 20 0 1 0 20788147 104058880 23992 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4578 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25405 23992 850 747 0 24468 0
Current children cumulated CPU time: 3347.92 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 95968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 248606
/proc/meminfo: memFree=37115724/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=102132 memory=96328 CPUtime=3407.22 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 21044 0 0 0 339281 1441 0 0 20 0 1 0 20788147 104583168 24082 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4632 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25533 24082 850 747 0 24596 0
Current children cumulated CPU time: 3407.22 s
Current children cumulated vsize: 102132 KiB
Current children cumulated memory: 96328 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=246654] ppid=246651 vsize=102292 memory=96584 CPUtime=3466.57 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 21133 0 0 0 345191 1466 0 0 20 0 1 0 20788147 104747008 24146 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4681 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25573 24146 850 747 0 24636 0
Current children cumulated CPU time: 3466.57 s
Current children cumulated vsize: 102292 KiB
Current children cumulated memory: 96584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 248627
/proc/meminfo: memFree=34821508/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=102292 memory=96688 CPUtime=3526.02 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 21199 0 0 0 351115 1487 0 0 20 0 1 0 20788147 104747008 24172 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4721 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25573 24172 850 747 0 24636 0
Current children cumulated CPU time: 3526.02 s
Current children cumulated vsize: 102292 KiB
Current children cumulated memory: 96688 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 248638
/proc/meminfo: memFree=33744932/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=102836 memory=97140 CPUtime=3585.53 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 21347 0 0 0 357047 1506 0 0 20 0 1 0 20788147 105304064 24285 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4754 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25709 24285 850 747 0 24772 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 102836 KiB
Current children cumulated memory: 97140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3656.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 248640
/proc/meminfo: memFree=33473932/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=102836 memory=97140 CPUtime=3600 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) R 246651 246654 246598 0 -1 4194304 21347 0 0 0 358489 1511 0 0 20 0 1 0 20788147 105304064 24285 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4754 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 25709 24285 850 747 0 24772 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 102836 KiB
Current children cumulated memory: 97140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3656.91 s]
# the end of solver process 246654 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3584.9 s, system=15.1308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3656.9 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 248640
/proc/meminfo: memFree=33473932/131524600 swapFree=131063756/131071996
[pid=246654] ppid=246651 vsize=72640 memory=68092 CPUtime=3600.01 cores=5,7
/proc/246654/stat : 246654 (Exact_veripb2_n) D 246651 246654 246598 0 -1 4194304 21348 0 0 0 358489 1512 0 0 20 0 1 0 20788147 74383360 17023 134679101440 4194304 7250417 140735148084192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4770 0 0 7950792 8015128 18063360 140735148086074 140735148086363 140735148086363 140735148093374 0
/proc/246654/statm: 18160 17023 850 747 0 17223 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 72640 KiB
Current children cumulated memory: 68092 KiB
Child status: 10
Real time (s): 3656.91
CPU time (s): 3600.03
CPU user time (s): 3584.9
CPU system time (s): 15.1308
CPU usage (%): 98.4445
Max. virtual memory (cumulated for all children) (KiB): 102836
Max. memory (cumulated for all children) (KiB): 97140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.9
system time used= 15.1308
maximum resident set size= 97140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36897008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1525
involuntary context switches= 4869
# summary of solver processes directly reported to runsolver:
# pid: 246654
# total CPU time (s): 3600.03
# total CPU user time (s): 3584.9
# total CPU system time (s): 15.1308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77465 second user time and 16.015 second system time
The end
Begin job on nodeC027 at 2024-07-24 19:36:39
IDJOB=4449638
IDBENCH=176087
IDSOLVER=3080
FILE ID=nodeC027/4449638-1721842599
RUNJOBID= nodeC027-1721842599-246611
SLURM_JOB_ID= 7891576
Free space on /tmp= 890076 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=24-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-4449638-1721842599/watcher-4449638-1721842599 -o /tmp/evaluation-result-4449638-1721842599/solver-4449638-1721842599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721842599-246611 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449638-1721842599 --seed=2067701030 HOME/instance-4449638-1721842599.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
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 : 3632.822
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 : 3646.923
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 : 3614.254
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 : 3666.765
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 : 3629.299
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 : 3635.017
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 : 3600.038
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 : 3664.733
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: 110833224 kB
MemAvailable: 129677032 kB
Buffers: 262920 kB
Cached: 19262016 kB
SwapCached: 472 kB
Active: 2461336 kB
Inactive: 17331428 kB
Active(anon): 1592 kB
Inactive(anon): 319728 kB
Active(file): 2459744 kB
Inactive(file): 17011700 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 19620 kB
Writeback: 0 kB
AnonPages: 267728 kB
Mapped: 115232 kB
Shmem: 53416 kB
KReclaimable: 424376 kB
Slab: 548464 kB
SReclaimable: 424376 kB
SUnreclaim: 124088 kB
KernelStack: 3872 kB
PageTables: 9032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 670348 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:36