runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (50357 MiB free)
memory of node 1: 64510 MiB (13757 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446903-1721832401/watcher-4446903-1721832401 -o /tmp/evaluation-result-4446903-1721832401/solver-4446903-1721832401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721828681-199388 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4446903-1721832401 --seed=2076982685 HOME/instance-4446903-1721832401.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=201559, runsolver pid=201556
[startup+0.100097 s]*
/proc/loadavg: 4.20 4.18 4.11 1/261 201560
/proc/meminfo: memFree=65652700/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) D 201556 201559 199378 0 -1 1078198272 125 0 0 0 0 0 0 0 20 0 1 0 19768713 25829376 619 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.20563 s]*
/proc/loadavg: 4.20 4.18 4.11 1/261 201560
/proc/meminfo: memFree=65652820/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) D 201556 201559 199378 0 -1 1078198272 125 0 0 0 0 0 0 0 20 0 1 0 19768713 25829376 619 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.304952 s]*
/proc/loadavg: 4.20 4.18 4.11 1/261 201560
/proc/meminfo: memFree=65652664/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) D 201556 201559 199378 0 -1 1078198272 125 0 0 0 0 0 0 0 20 0 1 0 19768713 25829376 619 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700176 s]
/proc/loadavg: 4.20 4.18 4.11 1/261 201560
/proc/meminfo: memFree=65652572/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=60072 memory=38428 CPUtime=0.09 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 8600 0 0 0 8 1 0 0 20 0 1 0 19768713 61513728 9607 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 15018 9607 770 747 0 14081 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60072 KiB
Current children cumulated memory: 38428 KiB
[startup+1.5002 s]
/proc/loadavg: 4.20 4.18 4.11 2/261 201560
/proc/meminfo: memFree=65611024/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=62424 memory=46356 CPUtime=0.89 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 10172 0 0 0 87 2 0 0 20 0 1 0 19768713 63922176 11589 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 15606 11589 850 747 0 14669 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 62424 KiB
Current children cumulated memory: 46356 KiB
[startup+3.10552 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 201590
/proc/meminfo: memFree=69620736/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=67620 memory=57748 CPUtime=2.49 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 11445 0 0 0 246 3 0 0 20 0 1 0 19768713 69242880 14437 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 16905 14437 850 747 0 15968 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 67620 KiB
Current children cumulated memory: 57748 KiB
[startup+6.3002 s]
/proc/loadavg: 4.18 4.17 4.11 5/259 201590
/proc/meminfo: memFree=69589260/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=87460 memory=76024 CPUtime=5.66 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 13722 0 0 0 562 4 0 0 20 0 1 0 19768713 89559040 19006 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 21865 19006 850 747 0 20928 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 87460 KiB
Current children cumulated memory: 76024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.17 4.11 4/255 201603
/proc/meminfo: memFree=69496748/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=116900 memory=94540 CPUtime=12.04 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 16247 0 0 0 1195 9 0 0 20 0 1 0 19768713 119705600 23635 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 29225 23635 850 747 0 28288 0
Current children cumulated CPU time: 12.04 s
Current children cumulated vsize: 116900 KiB
Current children cumulated memory: 94540 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.11 5/263 201658
/proc/meminfo: memFree=126057460/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=123268 memory=105100 CPUtime=24.79 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 17856 0 0 0 2463 16 0 0 20 0 1 0 19768713 126226432 26275 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 30817 26275 850 747 0 29880 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 123268 KiB
Current children cumulated memory: 105100 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.16 4.11 5/262 201661
/proc/meminfo: memFree=125364824/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=130844 memory=112616 CPUtime=48.98 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 19784 0 0 0 4871 27 0 0 20 0 1 0 19768713 133984256 28154 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 131 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 32711 28154 850 747 0 31774 0
Current children cumulated CPU time: 48.98 s
Current children cumulated vsize: 130844 KiB
Current children cumulated memory: 112616 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/263 201672
/proc/meminfo: memFree=124146392/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=146888 memory=129572 CPUtime=99.67 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 23921 0 0 0 9917 50 0 0 20 0 1 0 19768713 150413312 32393 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 161 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 36722 32393 850 747 0 35785 0
Current children cumulated CPU time: 99.67 s
Current children cumulated vsize: 146888 KiB
Current children cumulated memory: 129572 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 201684
/proc/meminfo: memFree=122840448/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=161992 memory=152604 CPUtime=158.97 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 27763 0 0 0 15819 78 0 0 20 0 1 0 19768713 165879808 38151 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 188 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 40498 38151 850 747 0 39561 0
Current children cumulated CPU time: 158.97 s
Current children cumulated vsize: 161992 KiB
Current children cumulated memory: 152604 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/265 201701
/proc/meminfo: memFree=121461208/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=210144 memory=185440 CPUtime=218.17 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 30377 0 0 0 21717 100 0 0 20 0 1 0 19768713 215187456 46360 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 237 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 52536 46360 850 747 0 51599 0
Current children cumulated CPU time: 218.17 s
Current children cumulated vsize: 210144 KiB
Current children cumulated memory: 185440 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/264 201712
/proc/meminfo: memFree=120232588/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=218776 memory=194144 CPUtime=277.57 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 32603 0 0 0 27633 124 0 0 20 0 1 0 19768713 224026624 48536 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 278 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 54694 48536 850 747 0 53757 0
Current children cumulated CPU time: 277.57 s
Current children cumulated vsize: 218776 KiB
Current children cumulated memory: 194144 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 201724
/proc/meminfo: memFree=119100068/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=221908 memory=197276 CPUtime=336.82 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 33461 0 0 0 33537 145 0 0 20 0 1 0 19768713 227233792 49319 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 333 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 55477 49319 850 747 0 54540 0
Current children cumulated CPU time: 336.82 s
Current children cumulated vsize: 221908 KiB
Current children cumulated memory: 197276 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 201734
/proc/meminfo: memFree=117860492/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=229320 memory=204688 CPUtime=396.15 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 35376 0 0 0 39447 168 0 0 20 0 1 0 19768713 234823680 51172 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 378 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 57330 51172 850 747 0 56393 0
Current children cumulated CPU time: 396.15 s
Current children cumulated vsize: 229320 KiB
Current children cumulated memory: 204688 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 201746
/proc/meminfo: memFree=116702116/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=233740 memory=209092 CPUtime=455.12 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 36569 0 0 0 45324 188 0 0 20 0 1 0 19768713 239349760 52273 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 460 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 58435 52273 850 747 0 57498 0
################
# More data... #
################
Current children cumulated memory: 328692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/262 203411
/proc/meminfo: memFree=71348532/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=372568 memory=328692 CPUtime=2941.57 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 58965 0 0 0 293247 910 0 0 20 0 1 0 19768713 381509632 82173 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2890 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 93142 82173 850 747 0 92205 0
Current children cumulated CPU time: 2941.57 s
Current children cumulated vsize: 372568 KiB
Current children cumulated memory: 328692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/263 203423
/proc/meminfo: memFree=70324808/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=375820 memory=331852 CPUtime=3000.23 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 59891 0 0 0 299098 925 0 0 20 0 1 0 19768713 384839680 82963 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3004 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 93955 82963 850 747 0 93018 0
Current children cumulated CPU time: 3000.23 s
Current children cumulated vsize: 375820 KiB
Current children cumulated memory: 331852 KiB
[startup+3102.3 s]
/proc/loadavg: 4.48 4.26 4.16 5/263 203433
/proc/meminfo: memFree=69249644/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=377776 memory=333664 CPUtime=3058.48 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 60521 0 0 0 304907 941 0 0 20 0 1 0 19768713 386842624 83416 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3156 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 94444 83416 850 747 0 93507 0
Current children cumulated CPU time: 3058.48 s
Current children cumulated vsize: 377776 KiB
Current children cumulated memory: 333664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.51 4.31 4.18 5/264 203586
/proc/meminfo: memFree=82719232/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=378352 memory=334460 CPUtime=3117.74 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 60797 0 0 0 310816 958 0 0 20 0 1 0 19768713 387432448 83615 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3209 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 94588 83615 850 747 0 93651 0
Current children cumulated CPU time: 3117.74 s
Current children cumulated vsize: 378352 KiB
Current children cumulated memory: 334460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.29 4.18 5/262 203601
/proc/meminfo: memFree=81724320/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=379672 memory=335796 CPUtime=3177.21 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 61254 0 0 0 316748 973 0 0 20 0 1 0 19768713 388784128 83949 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3239 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 94918 83949 850 747 0 93981 0
Current children cumulated CPU time: 3177.21 s
Current children cumulated vsize: 379672 KiB
Current children cumulated memory: 335796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.26 4.18 5/262 203612
/proc/meminfo: memFree=80736784/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=381048 memory=337088 CPUtime=3236.2 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 61733 0 0 0 322629 991 0 0 20 0 1 0 19768713 390193152 84272 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 3308 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 95262 84272 850 747 0 94325 0
Current children cumulated CPU time: 3236.2 s
Current children cumulated vsize: 381048 KiB
Current children cumulated memory: 337088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.23 4.17 5/262 203623
/proc/meminfo: memFree=79713144/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=381496 memory=337620 CPUtime=3295.41 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 61969 0 0 0 328533 1008 0 0 20 0 1 0 19768713 390651904 84405 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 3333 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 95374 84405 850 747 0 94437 0
Current children cumulated CPU time: 3295.41 s
Current children cumulated vsize: 381496 KiB
Current children cumulated memory: 337620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/262 203634
/proc/meminfo: memFree=78720660/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=381496 memory=337620 CPUtime=3353.96 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 62099 0 0 0 334374 1022 0 0 20 0 1 0 19768713 390651904 84405 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 3425 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 95374 84405 850 747 0 94437 0
Current children cumulated CPU time: 3353.96 s
Current children cumulated vsize: 381496 KiB
Current children cumulated memory: 337620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 203647
/proc/meminfo: memFree=77823084/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=383512 memory=339692 CPUtime=3413.25 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 62248 0 0 0 340289 1036 0 0 20 0 1 0 19768713 392716288 84923 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 3440 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 95878 84923 850 747 0 94941 0
Current children cumulated CPU time: 3413.25 s
Current children cumulated vsize: 383512 KiB
Current children cumulated memory: 339692 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/260 203657
/proc/meminfo: memFree=76937628/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=383736 memory=339708 CPUtime=3472.26 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 62437 0 0 0 346175 1051 0 0 20 0 1 0 19768713 392945664 84927 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 3486 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 95934 84927 850 747 0 94997 0
Current children cumulated CPU time: 3472.26 s
Current children cumulated vsize: 383736 KiB
Current children cumulated memory: 339708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/258 203667
/proc/meminfo: memFree=75983288/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=384780 memory=340668 CPUtime=3531.01 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 62833 0 0 0 352037 1064 0 0 20 0 1 0 19768713 394014720 85167 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 2 0 0 3557 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 96195 85167 850 747 0 95258 0
Current children cumulated CPU time: 3531.01 s
Current children cumulated vsize: 384780 KiB
Current children cumulated memory: 340668 KiB
[startup+3642.3 s]
/proc/loadavg: 4.04 4.13 4.15 5/259 203914
/proc/meminfo: memFree=90214784/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=385840 memory=341748 CPUtime=3589.53 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 63220 0 0 0 357867 1086 0 0 20 0 1 0 19768713 395100160 85437 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3655 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 96460 85437 850 747 0 95523 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 385840 KiB
Current children cumulated memory: 341748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3652.8 s]
/proc/loadavg: 4.12 4.14 4.15 5/259 203916
/proc/meminfo: memFree=89754816/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=385840 memory=341748 CPUtime=3600 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) R 201556 201559 199378 0 -1 4194304 63220 0 0 0 358910 1090 0 0 20 0 1 0 19768713 395100160 85437 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3655 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 96460 85437 850 747 0 95523 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 385840 KiB
Current children cumulated memory: 341748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3652.96 s]
# the end of solver process 201559 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.17 s, system=10.9124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3652.9 s]
/proc/loadavg: 4.12 4.14 4.15 5/259 203916
/proc/meminfo: memFree=89754816/131524600 swapFree=131065036/131071996
[pid=201559] ppid=201556 vsize=211596 memory=207048 CPUtime=3600.07 cores=0,2
/proc/201559/stat : 201559 (Exact_veripb2_n) D 201556 201559 199378 0 -1 4194304 63284 0 0 0 358917 1090 0 0 20 0 1 0 19768713 216674304 51762 134679101440 4194304 7250417 140731646741168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3657 0 0 7950792 8015128 26828800 140731646747446 140731646747735 140731646747735 140731646754750 0
/proc/201559/statm: 52899 51762 850 747 0 51962 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 211596 KiB
Current children cumulated memory: 207048 KiB
Child status: 0
Real time (s): 3652.96
CPU time (s): 3600.08
CPU user time (s): 3589.17
CPU system time (s): 10.9124
CPU usage (%): 98.5526
Max. virtual memory (cumulated for all children) (KiB): 414584
Max. memory (cumulated for all children) (KiB): 341748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.17
system time used= 10.9124
maximum resident set size= 342024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63285
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25811568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1103
involuntary context switches= 28231
# summary of solver processes directly reported to runsolver:
# pid: 201559
# total CPU time (s): 3600.08
# total CPU user time (s): 3589.17
# total CPU system time (s): 10.9124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80457 second user time and 17.3778 second system time
The end
Begin job on nodeC021 at 2024-07-24 16:46:41
IDJOB=4446903
IDBENCH=158326
IDSOLVER=3080
FILE ID=nodeC021/4446903-1721832401
RUNJOBID= nodeC021-1721828681-199388
SLURM_JOB_ID= 7891480
Free space on /tmp= 889856 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.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-4446903-1721832401/watcher-4446903-1721832401 -o /tmp/evaluation-result-4446903-1721832401/solver-4446903-1721832401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721828681-199388 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4446903-1721832401 --seed=2076982685 HOME/instance-4446903-1721832401.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=2076982685
nodeC021.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 : 3546.629
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 : 7000.35
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 : 2487.340
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 : 7007.41
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 : 3325.413
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 : 7000.35
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 : 1982.001
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 : 7007.41
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 : 2386.099
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 : 7000.35
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 : 1882.242
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 : 7007.41
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 : 2348.958
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 : 7000.35
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 : 1573.926
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 : 7007.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 65653224 kB
MemAvailable: 125396972 kB
Buffers: 262868 kB
Cached: 60180352 kB
SwapCached: 240 kB
Active: 2778084 kB
Inactive: 62193308 kB
Active(anon): 1704 kB
Inactive(anon): 4579976 kB
Active(file): 2776380 kB
Inactive(file): 57613332 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131065036 kB
Dirty: 6056 kB
Writeback: 495332 kB
AnonPages: 4527188 kB
Mapped: 117100 kB
Shmem: 53464 kB
KReclaimable: 387364 kB
Slab: 527788 kB
SReclaimable: 387364 kB
SUnreclaim: 140424 kB
KernelStack: 4192 kB
PageTables: 18512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5401492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1114112 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: 322260 kB
DirectMap2M: 40345600 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC021 at 2024-07-24 17:47:34