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 (55254 MiB free)
memory of node 1: 64473 MiB (52749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458164-1721876308/watcher-4458164-1721876308 -o /tmp/evaluation-result-4458164-1721876308/solver-4458164-1721876308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721875935-226948 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458164-1721876308 --seed=167240227 HOME/instance-4458164-1721876308.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=228303, runsolver pid=228300
[startup+0.100754 s]*
/proc/loadavg: 4.20 4.10 4.09 5/271 228304
/proc/meminfo: memFree=110575796/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=42304 memory=20284 CPUtime=0.09 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 4779 0 0 0 9 0 0 0 20 0 1 0 24159197 43319296 5071 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 10576 5071 1075 1006 0 9337 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 20284 KiB
[startup+0.205878 s]*
/proc/loadavg: 4.20 4.10 4.09 5/271 228304
/proc/meminfo: memFree=110569412/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=44320 memory=22168 CPUtime=0.2 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 5327 0 0 0 19 1 0 0 20 0 1 0 24159197 45383680 5542 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 11080 5542 1139 1006 0 9841 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44320 KiB
Current children cumulated memory: 22168 KiB
[startup+0.305914 s]*
/proc/loadavg: 4.20 4.10 4.09 5/271 228304
/proc/meminfo: memFree=110565044/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=44728 memory=22956 CPUtime=0.3 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 5482 0 0 0 29 1 0 0 20 0 1 0 24159197 45801472 5739 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 11182 5739 1139 1006 0 9943 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44728 KiB
Current children cumulated memory: 22956 KiB
[startup+0.700227 s]
/proc/loadavg: 4.20 4.10 4.09 5/271 228304
/proc/meminfo: memFree=110553620/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=45060 memory=25792 CPUtime=0.68 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 5694 0 0 0 67 1 0 0 20 0 1 0 24159197 46141440 6448 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 11265 6448 1139 1006 0 10026 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45060 KiB
Current children cumulated memory: 25792 KiB
[startup+1.50022 s]
/proc/loadavg: 4.20 4.10 4.09 5/271 228304
/proc/meminfo: memFree=110525224/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=45760 memory=26320 CPUtime=1.48 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 5838 0 0 0 147 1 0 0 20 0 1 0 24159197 46858240 6580 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 11440 6580 1139 1006 0 10201 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45760 KiB
Current children cumulated memory: 26320 KiB
[startup+3.10588 s]
/proc/loadavg: 4.18 4.09 4.09 5/271 228305
/proc/meminfo: memFree=110428468/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=47576 memory=31984 CPUtime=3.08 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 6242 0 0 0 303 5 0 0 20 0 1 0 24159197 48717824 7996 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 11894 7996 1139 1006 0 10655 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47576 KiB
Current children cumulated memory: 31984 KiB
[startup+6.30022 s]
/proc/loadavg: 4.18 4.09 4.09 5/271 228305
/proc/meminfo: memFree=110292552/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=47864 memory=34544 CPUtime=6.26 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 6364 0 0 0 620 6 0 0 20 0 1 0 24159197 49012736 8636 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 11966 8636 1139 1006 0 10727 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47864 KiB
Current children cumulated memory: 34544 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.09 4.09 5/271 228307
/proc/meminfo: memFree=110127404/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=51308 memory=39528 CPUtime=12.65 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 7089 0 0 0 1252 13 0 0 20 0 1 0 24159197 52539392 9882 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 12827 9882 1155 1006 0 11588 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 51308 KiB
Current children cumulated memory: 39528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/271 228308
/proc/meminfo: memFree=109761868/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=52492 memory=42596 CPUtime=25.42 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 7323 0 0 0 2520 22 0 0 20 0 1 0 24159197 53751808 10649 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 13123 10649 1155 1006 0 11884 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 42596 KiB
[startup+51.1062 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 228311
/proc/meminfo: memFree=108928576/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=71900 memory=53668 CPUtime=50.62 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 9884 0 0 0 5023 39 0 0 20 0 1 0 24159197 73625600 13417 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 32 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 17975 13417 1155 1006 0 16736 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 71900 KiB
Current children cumulated memory: 53668 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 228323
/proc/meminfo: memFree=107309360/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=76436 memory=69036 CPUtime=101.06 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 10918 0 0 0 10019 87 0 0 20 0 1 0 24159197 78270464 17259 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 93 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 19109 17259 1155 1006 0 17870 0
Current children cumulated CPU time: 101.06 s
Current children cumulated vsize: 76436 KiB
Current children cumulated memory: 69036 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 228348
/proc/meminfo: memFree=105423288/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=81740 memory=77276 CPUtime=160.53 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 12309 0 0 0 15917 136 0 0 20 0 1 0 24159197 83701760 19319 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 126 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 20435 19319 1200 1006 0 19196 0
Current children cumulated CPU time: 160.53 s
Current children cumulated vsize: 81740 KiB
Current children cumulated memory: 77276 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.15 4.11 5/272 228362
/proc/meminfo: memFree=103832536/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=84312 memory=79820 CPUtime=220.18 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 12952 0 0 0 21828 190 0 0 20 0 1 0 24159197 86335488 19955 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 143 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 21078 19955 1200 1006 0 19839 0
Current children cumulated CPU time: 220.18 s
Current children cumulated vsize: 84312 KiB
Current children cumulated memory: 79820 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/270 228372
/proc/meminfo: memFree=102317468/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=98756 memory=93968 CPUtime=279.94 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 16527 0 0 0 27768 226 0 0 20 0 1 0 24159197 101126144 23492 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 152 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 24689 23492 1200 1006 0 23450 0
Current children cumulated CPU time: 279.94 s
Current children cumulated vsize: 98756 KiB
Current children cumulated memory: 93968 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 228383
/proc/meminfo: memFree=100195324/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=126252 memory=100816 CPUtime=338.89 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 18120 0 0 0 33617 272 0 0 20 0 1 0 24159197 129282048 25204 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 239 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 31563 25204 1200 1006 0 30324 0
Current children cumulated CPU time: 338.89 s
Current children cumulated vsize: 126252 KiB
Current children cumulated memory: 100816 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/270 228396
/proc/meminfo: memFree=98225928/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=126252 memory=100816 CPUtime=398.24 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 18148 0 0 0 39513 311 0 0 20 0 1 0 24159197 129282048 25204 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 286 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 31563 25204 1200 1006 0 30324 0
Current children cumulated CPU time: 398.24 s
Current children cumulated vsize: 126252 KiB
Current children cumulated memory: 100816 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 228406
/proc/meminfo: memFree=96402768/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=126252 memory=100860 CPUtime=457.88 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 18177 0 0 0 45438 350 0 0 20 0 1 0 24159197 129282048 25215 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 304 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
################
# More data... #
################
Current children cumulated memory: 144652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/260 229494
/proc/meminfo: memFree=24277484/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163584 memory=144660 CPUtime=2848.32 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 31006 0 0 0 282917 1915 0 0 20 0 1 0 24159197 167510016 36165 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6592 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40896 36165 1200 1006 0 39657 0
Current children cumulated CPU time: 2848.32 s
Current children cumulated vsize: 163584 KiB
Current children cumulated memory: 144660 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/259 229505
/proc/meminfo: memFree=22870416/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163584 memory=144692 CPUtime=2907.86 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 31068 0 0 0 288832 1954 0 0 20 0 1 0 24159197 167510016 36173 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6620 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40896 36173 1200 1006 0 39657 0
Current children cumulated CPU time: 2907.86 s
Current children cumulated vsize: 163584 KiB
Current children cumulated memory: 144692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.24 4.18 4.17 5/260 229516
/proc/meminfo: memFree=20677660/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163808 memory=144876 CPUtime=2967.71 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 31529 0 0 0 294773 1998 0 0 20 0 1 0 24159197 167739392 36219 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6620 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40952 36219 1200 1006 0 39713 0
Current children cumulated CPU time: 2967.71 s
Current children cumulated vsize: 163808 KiB
Current children cumulated memory: 144876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.19 4.17 5/262 229531
/proc/meminfo: memFree=19335244/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163808 memory=144876 CPUtime=3027.31 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 32196 0 0 0 300692 2039 0 0 20 0 1 0 24159197 167739392 36219 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6644 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40952 36219 1200 1006 0 39713 0
Current children cumulated CPU time: 3027.31 s
Current children cumulated vsize: 163808 KiB
Current children cumulated memory: 144876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/264 229543
/proc/meminfo: memFree=17632036/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163808 memory=144880 CPUtime=3086.93 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 32286 0 0 0 306607 2086 0 0 20 0 1 0 24159197 167739392 36220 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6665 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40952 36220 1200 1006 0 39713 0
Current children cumulated CPU time: 3086.93 s
Current children cumulated vsize: 163808 KiB
Current children cumulated memory: 144880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.21 4.18 5/264 229555
/proc/meminfo: memFree=15592776/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163952 memory=145124 CPUtime=3146.51 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 32771 0 0 0 312523 2128 0 0 20 0 1 0 24159197 167886848 36281 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6689 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40988 36281 1200 1006 0 39749 0
Current children cumulated CPU time: 3146.51 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 145124 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/267 229572
/proc/meminfo: memFree=14390880/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163952 memory=145124 CPUtime=3206.23 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 33065 0 0 0 318444 2179 0 0 20 0 1 0 24159197 167886848 36281 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6698 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40988 36281 1200 1006 0 39749 0
Current children cumulated CPU time: 3206.23 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 145124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.48 4.27 4.20 5/267 229629
/proc/meminfo: memFree=79138328/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=163952 memory=145124 CPUtime=3265.74 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 33257 0 0 0 324358 2216 0 0 20 0 1 0 24159197 167886848 36281 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6729 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 40988 36281 1200 1006 0 39749 0
Current children cumulated CPU time: 3265.74 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 145124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.27 4.21 5/267 230113
/proc/meminfo: memFree=89893072/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=164772 memory=147768 CPUtime=3325.24 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 33730 0 0 0 330278 2246 0 0 20 0 1 0 24159197 168726528 36942 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6760 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 41193 36942 1200 1006 0 39954 0
Current children cumulated CPU time: 3325.24 s
Current children cumulated vsize: 164772 KiB
Current children cumulated memory: 147768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.35 4.30 4.22 5/264 230123
/proc/meminfo: memFree=88737492/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=164772 memory=147880 CPUtime=3384.96 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 33827 0 0 0 336207 2289 0 0 20 0 1 0 24159197 168726528 36970 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6771 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 41193 36970 1200 1006 0 39954 0
Current children cumulated CPU time: 3384.96 s
Current children cumulated vsize: 164772 KiB
Current children cumulated memory: 147880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.27 4.21 5/263 230135
/proc/meminfo: memFree=87622032/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=164772 memory=147972 CPUtime=3444.57 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 33890 0 0 0 342133 2324 0 0 20 0 1 0 24159197 168726528 36993 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6795 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 41193 36993 1200 1006 0 39954 0
Current children cumulated CPU time: 3444.57 s
Current children cumulated vsize: 164772 KiB
Current children cumulated memory: 147972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.24 4.20 5/264 230362
/proc/meminfo: memFree=102401328/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=164772 memory=147972 CPUtime=3504.18 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 33950 0 0 0 348056 2362 0 0 20 0 1 0 24159197 168726528 36993 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6817 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 41193 36993 1200 1006 0 39954 0
Current children cumulated CPU time: 3504.18 s
Current children cumulated vsize: 164772 KiB
Current children cumulated memory: 147972 KiB
[startup+3642.3 s]
/proc/loadavg: 4.42 4.27 4.21 5/259 230372
/proc/meminfo: memFree=101023672/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=164772 memory=147992 CPUtime=3563.84 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 34013 0 0 0 353984 2400 0 0 20 0 1 0 24159197 168726528 36998 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6834 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 41193 36998 1200 1006 0 39954 0
Current children cumulated CPU time: 3563.84 s
Current children cumulated vsize: 164772 KiB
Current children cumulated memory: 147992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3679 s]*
/proc/loadavg: 4.21 4.24 4.20 5/258 230376
/proc/meminfo: memFree=100299924/131524600 swapFree=131061696/131071996
[pid=228303] ppid=228300 vsize=165420 memory=148456 CPUtime=3600.09 cores=5,7
/proc/228303/stat : 228303 (Exact_veripb2) R 228300 228303 226935 0 -1 4194304 34154 0 0 0 357586 2423 0 0 20 0 1 0 24159197 169390080 37114 134679101440 4194304 8311665 140731242603840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6870 0 0 9173656 9252184 27770880 140731242611533 140731242611812 140731242611812 140731242618823 0
/proc/228303/statm: 41355 37114 1200 1006 0 40116 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 165420 KiB
Current children cumulated memory: 148456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3679.07 s]
# the end of solver process 228303 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3575.87 s, system=24.2489 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3679.07
CPU time (s): 3600.12
CPU user time (s): 3575.87
CPU system time (s): 24.2489
CPU usage (%): 97.854
Max. virtual memory (cumulated for all children) (KiB): 165420
Max. memory (cumulated for all children) (KiB): 148456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.87
system time used= 24.2489
maximum resident set size= 148456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34035752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1153
involuntary context switches= 4996
# summary of solver processes directly reported to runsolver:
# pid: 228303
# total CPU time (s): 3600.12
# total CPU user time (s): 3575.87
# total CPU system time (s): 24.2489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37642 second user time and 17.3142 second system time
The end
Begin job on nodeC020 at 2024-07-25 04:58:28
IDJOB=4458164
IDBENCH=177166
IDSOLVER=3081
FILE ID=nodeC020/4458164-1721876308
RUNJOBID= nodeC020-1721875935-226948
SLURM_JOB_ID= 8089236
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
COMMAND LINE= HOME/Exact_veripb2 --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-4458164-1721876308/watcher-4458164-1721876308 -o /tmp/evaluation-result-4458164-1721876308/solver-4458164-1721876308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721875935-226948 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458164-1721876308 --seed=167240227 HOME/instance-4458164-1721876308.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f787a6cdbf9022e9105f9cdbff614d2d
RANDOM SEED=167240227
nodeC020.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 : 3668.577
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.31
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 : 3671.476
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.25
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 : 3599.796
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.31
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 : 3642.106
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.25
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 : 3668.655
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.31
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 : 3657.243
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.844
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.31
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 : 3658.844
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110597644 kB
MemAvailable: 129346180 kB
Buffers: 287584 kB
Cached: 19242736 kB
SwapCached: 200 kB
Active: 2633376 kB
Inactive: 17583564 kB
Active(anon): 2512 kB
Inactive(anon): 738052 kB
Active(file): 2630864 kB
Inactive(file): 16845512 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061696 kB
Dirty: 401708 kB
Writeback: 4 kB
AnonPages: 685564 kB
Mapped: 123812 kB
Shmem: 53880 kB
KReclaimable: 223968 kB
Slab: 352008 kB
SReclaimable: 223968 kB
SUnreclaim: 128040 kB
KernelStack: 4348 kB
PageTables: 10448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1328336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 518144 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: 363220 kB
DirectMap2M: 44498944 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC020 at 2024-07-25 05:59:48