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 (59332 MiB free)
memory of node 1: 64473 MiB (60898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458241-1721888514/watcher-4458241-1721888514 -o /tmp/evaluation-result-4458241-1721888514/solver-4458241-1721888514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721888514-280884 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458241-1721888514 --seed=1015424278 HOME/instance-4458241-1721888514.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=280913, runsolver pid=280910
[startup+0.100097 s]*
/proc/loadavg: 1.46 2.81 3.74 1/258 280947
/proc/meminfo: memFree=123109880/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) D 280910 280913 280874 0 -1 1077936128 125 0 0 0 0 0 0 0 20 0 1 0 25375356 25829376 619 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/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.205415 s]*
/proc/loadavg: 1.46 2.81 3.74 1/258 280947
/proc/meminfo: memFree=123109292/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) D 280910 280913 280874 0 -1 1077936128 125 0 0 0 0 0 0 0 20 0 1 0 25375356 25829376 619 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/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.304661 s]*
/proc/loadavg: 1.46 2.81 3.74 5/258 280947
/proc/meminfo: memFree=123074060/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=26756 memory=5076 CPUtime=0.09 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 613 0 0 0 9 0 0 0 20 0 1 0 25375356 27398144 1269 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 6689 1269 850 747 0 5752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26756 KiB
Current children cumulated memory: 5076 KiB
[startup+0.700163 s]
/proc/loadavg: 1.46 2.81 3.74 5/258 280947
/proc/meminfo: memFree=123059052/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=27156 memory=8440 CPUtime=0.47 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 898 0 0 0 47 0 0 0 20 0 1 0 25375356 27807744 2110 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 6789 2110 850 747 0 5852 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 27156 KiB
Current children cumulated memory: 8440 KiB
[startup+1.50016 s]
/proc/loadavg: 1.46 2.81 3.74 5/258 280947
/proc/meminfo: memFree=123035552/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=27696 memory=8968 CPUtime=1.27 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 1022 0 0 0 126 1 0 0 20 0 1 0 25375356 28360704 2242 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 6924 2242 850 747 0 5987 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 8968 KiB
[startup+3.10532 s]
/proc/loadavg: 1.66 2.83 3.74 5/258 280947
/proc/meminfo: memFree=122952296/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=28456 memory=11536 CPUtime=2.87 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 1218 0 0 0 285 2 0 0 20 0 1 0 25375356 29138944 2884 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 7114 2884 850 747 0 6177 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 28456 KiB
Current children cumulated memory: 11536 KiB
[startup+6.30017 s]
/proc/loadavg: 1.66 2.83 3.74 5/260 280951
/proc/meminfo: memFree=122867036/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=29008 memory=12320 CPUtime=6.03 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 1354 0 0 0 600 3 0 0 20 0 1 0 25375356 29704192 3080 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 7252 3080 850 747 0 6315 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 12320 KiB
[startup+12.7001 s]
/proc/loadavg: 1.85 2.85 3.74 5/259 280952
/proc/meminfo: memFree=122664816/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=29828 memory=12840 CPUtime=12.4 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 1548 0 0 0 1235 5 0 0 20 0 1 0 25375356 30543872 3210 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 7457 3210 850 747 0 6520 0
Current children cumulated CPU time: 12.4 s
Current children cumulated vsize: 29828 KiB
Current children cumulated memory: 12840 KiB
[startup+25.5002 s]
/proc/loadavg: 2.33 2.91 3.75 5/259 280955
/proc/meminfo: memFree=122343920/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=30828 memory=13992 CPUtime=25.16 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 1803 0 0 0 2508 8 0 0 20 0 1 0 25375356 31567872 3498 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 7707 3498 850 747 0 6770 0
Current children cumulated CPU time: 25.16 s
Current children cumulated vsize: 30828 KiB
Current children cumulated memory: 13992 KiB
[startup+51.1054 s]
/proc/loadavg: 2.97 3.01 3.76 5/260 280959
/proc/meminfo: memFree=121707772/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=31956 memory=17056 CPUtime=50.13 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 2070 0 0 0 4999 14 0 0 20 0 1 0 25375356 32722944 4264 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 58 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 7989 4264 850 747 0 7052 0
Current children cumulated CPU time: 50.13 s
Current children cumulated vsize: 31956 KiB
Current children cumulated memory: 17056 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.20 3.78 5/260 280968
/proc/meminfo: memFree=120620724/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=33464 memory=18908 CPUtime=101.08 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 2659 0 0 0 10083 25 0 0 20 0 1 0 25375356 34267136 4727 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 65 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 8366 4727 850 747 0 7429 0
Current children cumulated CPU time: 101.08 s
Current children cumulated vsize: 33464 KiB
Current children cumulated memory: 18908 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.36 3.81 5/263 280983
/proc/meminfo: memFree=119326660/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=34360 memory=19808 CPUtime=160.65 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 3860 0 0 0 16029 36 0 0 20 0 1 0 25375356 35184640 4952 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 88 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 8590 4952 850 747 0 7653 0
Current children cumulated CPU time: 160.65 s
Current children cumulated vsize: 34360 KiB
Current children cumulated memory: 19808 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.50 3.83 5/261 281376
/proc/meminfo: memFree=118127224/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=35120 memory=20508 CPUtime=220.32 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 4919 0 0 0 21982 50 0 0 20 0 1 0 25375356 35962880 5127 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 102 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 8780 5127 850 747 0 7843 0
Current children cumulated CPU time: 220.32 s
Current children cumulated vsize: 35120 KiB
Current children cumulated memory: 20508 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.62 3.85 2/261 281387
/proc/meminfo: memFree=117044064/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=36072 memory=23456 CPUtime=278.58 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 6006 0 0 0 27794 64 0 0 20 0 1 0 25375356 36937728 5864 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 255 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 9018 5864 850 747 0 8081 0
Current children cumulated CPU time: 278.58 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 23456 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.72 3.87 5/261 281399
/proc/meminfo: memFree=115885560/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=36504 memory=23880 CPUtime=338.25 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 7089 0 0 0 33747 78 0 0 20 0 1 0 25375356 37380096 5970 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 268 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 9126 5970 850 747 0 8189 0
Current children cumulated CPU time: 338.25 s
Current children cumulated vsize: 36504 KiB
Current children cumulated memory: 23880 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.79 3.89 5/263 281580
/proc/meminfo: memFree=114836412/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=36856 memory=24448 CPUtime=397.73 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 7968 0 0 0 39682 91 0 0 20 0 1 0 25375356 37740544 6112 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 298 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 9214 6112 850 747 0 8277 0
Current children cumulated CPU time: 397.73 s
Current children cumulated vsize: 36856 KiB
Current children cumulated memory: 24448 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.85 3.91 5/262 281591
/proc/meminfo: memFree=113826840/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=37144 memory=24712 CPUtime=455.53 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 8926 0 0 0 45448 105 0 0 20 0 1 0 25375356 38035456 6178 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 498 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 9286 6178 850 747 0 8349 0
################
# More data... #
################
Current children cumulated memory: 31016 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 282672
/proc/meminfo: memFree=74533148/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43404 memory=31016 CPUtime=2895.76 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 36043 0 0 0 289035 541 0 0 20 0 1 0 25375356 44445696 7754 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1607 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10851 7754 850 747 0 9914 0
Current children cumulated CPU time: 2895.76 s
Current children cumulated vsize: 43404 KiB
Current children cumulated memory: 31016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 282683
/proc/meminfo: memFree=73618220/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43500 memory=31112 CPUtime=2952.06 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 36554 0 0 0 294655 551 0 0 20 0 1 0 25375356 44544000 7778 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1957 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10875 7778 850 747 0 9938 0
Current children cumulated CPU time: 2952.06 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 31112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 282696
/proc/meminfo: memFree=72759148/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43500 memory=31112 CPUtime=3010.83 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 37041 0 0 0 300521 562 0 0 20 0 1 0 25375356 44544000 7778 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2061 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10875 7778 850 747 0 9938 0
Current children cumulated CPU time: 3010.83 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 31112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/266 282710
/proc/meminfo: memFree=71860696/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43564 memory=31176 CPUtime=3070.57 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 37639 0 0 0 306486 571 0 0 20 0 1 0 25375356 44609536 7794 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2066 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10891 7794 850 747 0 9954 0
Current children cumulated CPU time: 3070.57 s
Current children cumulated vsize: 43564 KiB
Current children cumulated memory: 31176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 282721
/proc/meminfo: memFree=71035884/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43564 memory=31176 CPUtime=3130.04 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 38126 0 0 0 312424 580 0 0 20 0 1 0 25375356 44609536 7794 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2098 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10891 7794 850 747 0 9954 0
Current children cumulated CPU time: 3130.04 s
Current children cumulated vsize: 43564 KiB
Current children cumulated memory: 31176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 282731
/proc/meminfo: memFree=70112340/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31304 CPUtime=3188.88 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 38740 0 0 0 318296 592 0 0 20 0 1 0 25375356 44740608 7826 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2194 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7826 850 747 0 9986 0
Current children cumulated CPU time: 3188.88 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 1/261 282741
/proc/meminfo: memFree=70013700/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31304 CPUtime=3192.45 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) D 280910 280913 280874 0 -1 4194304 38740 0 0 0 318652 593 0 0 20 0 1 0 25375356 44740608 7826 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2194 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7826 850 747 0 9986 0
Current children cumulated CPU time: 3192.45 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 4/260 282752
/proc/meminfo: memFree=70006752/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31328 CPUtime=3197.03 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 38835 0 0 0 319110 593 0 0 20 0 1 0 25375356 44740608 7832 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13375 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7832 850 747 0 9986 0
Current children cumulated CPU time: 3197.03 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 282766
/proc/meminfo: memFree=69120748/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31328 CPUtime=3256.71 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 39323 0 0 0 325067 604 0 0 20 0 1 0 25375356 44740608 7832 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13386 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7832 850 747 0 9986 0
Current children cumulated CPU time: 3256.71 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31328 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 3/262 282779
/proc/meminfo: memFree=68236052/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31328 CPUtime=3316.06 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 39906 0 0 0 330993 613 0 0 20 0 1 0 25375356 44740608 7832 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13428 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7832 850 747 0 9986 0
Current children cumulated CPU time: 3316.06 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 282795
/proc/meminfo: memFree=67308640/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31328 CPUtime=3375.76 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 40394 0 0 0 336952 624 0 0 20 0 1 0 25375356 44740608 7832 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13439 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7832 850 747 0 9986 0
Current children cumulated CPU time: 3375.76 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 282806
/proc/meminfo: memFree=66354516/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43692 memory=31328 CPUtime=3435.21 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 40977 0 0 0 342885 636 0 0 20 0 1 0 25375356 44740608 7832 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13453 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10923 7832 850 747 0 9986 0
Current children cumulated CPU time: 3435.21 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 31328 KiB
[startup+3642.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 282819
/proc/meminfo: memFree=65368044/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43788 memory=31424 CPUtime=3494.83 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 41584 0 0 0 348839 644 0 0 20 0 1 0 25375356 44838912 7856 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13471 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10947 7856 850 747 0 10010 0
Current children cumulated CPU time: 3494.83 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 31424 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.12 4.10 4.09 5/266 282829
/proc/meminfo: memFree=64555184/131524600 swapFree=131056796/131071996
[pid=280913] ppid=280910 vsize=43788 memory=31424 CPUtime=3551.22 cores=0,2
/proc/280913/stat : 280913 (Exact_veripb2_n) R 280910 280913 280874 0 -1 4194304 42072 0 0 0 354468 654 0 0 20 0 1 0 25375356 44838912 7856 134679101440 4194304 7250417 140722624520688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13583 0 0 7950792 8015128 16642048 140722624529206 140722624529495 140722624529495 140722624536510 0
/proc/280913/statm: 10947 7856 850 747 0 10010 0
Current children cumulated CPU time: 3551.22 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 31424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.06 s]
# the end of solver process 280913 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3544.69 s, system=6.55045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3700.06
CPU time (s): 3551.24
CPU user time (s): 3544.69
CPU system time (s): 6.55045
CPU usage (%): 95.9779
Max. virtual memory (cumulated for all children) (KiB): 44072
Max. memory (cumulated for all children) (KiB): 31424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.69
system time used= 6.55044
maximum resident set size= 31684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14564136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 547
involuntary context switches= 26056
# summary of solver processes directly reported to runsolver:
# pid: 280913
# total CPU time (s): 3551.24
# total CPU user time (s): 3544.69
# total CPU system time (s): 6.55045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47604 second user time and 15.7581 second system time
The end
Begin job on nodeC030 at 2024-07-25 08:21:54
IDJOB=4458241
IDBENCH=177184
IDSOLVER=3080
FILE ID=nodeC030/4458241-1721888514
RUNJOBID= nodeC030-1721888514-280884
SLURM_JOB_ID= 8089306
Free space on /tmp= 890080 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.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-4458241-1721888514/watcher-4458241-1721888514 -o /tmp/evaluation-result-4458241-1721888514/solver-4458241-1721888514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721888514-280884 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458241-1721888514 --seed=1015424278 HOME/instance-4458241-1721888514.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=1015424278
nodeC030.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 : 3639.999
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.45
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 : 1786.805
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.46
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 : 3658.275
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.45
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 : 2748.067
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.46
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 : 3587.474
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.45
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 : 3339.327
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.46
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 : 3504.762
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.45
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 : 3643.650
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123127784 kB
MemAvailable: 129683940 kB
Buffers: 298860 kB
Cached: 7044588 kB
SwapCached: 300 kB
Active: 2591944 kB
Inactive: 5117324 kB
Active(anon): 2064 kB
Inactive(anon): 416804 kB
Active(file): 2589880 kB
Inactive(file): 4700520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 4636 kB
Writeback: 0 kB
AnonPages: 361864 kB
Mapped: 109404 kB
Shmem: 53048 kB
KReclaimable: 211156 kB
Slab: 333496 kB
SReclaimable: 211156 kB
SUnreclaim: 122340 kB
KernelStack: 3856 kB
PageTables: 9832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 827708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 344788 kB
DirectMap2M: 39274496 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC030 at 2024-07-25 09:23:34