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: 64059 MiB (31594 MiB free)
memory of node 1: 64510 MiB (25023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452774-1721839351/watcher-4452774-1721839351 -o /tmp/evaluation-result-4452774-1721839351/solver-4452774-1721839351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721831780-189353 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452774-1721839351 --seed=1846757272 HOME/instance-4452774-1721839351.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=194341, runsolver pid=194338
Current StackSize limit: 8192 KiB
[startup+0.100916 s]*
/proc/loadavg: 4.23 4.18 4.17 5/254 194342
/proc/meminfo: memFree=57941668/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=59900 memory=36812 CPUtime=0.09 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 5574 0 0 0 8 1 0 0 20 0 1 0 19924130 61337600 9203 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 14975 9203 852 1006 0 13736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59900 KiB
Current children cumulated memory: 36812 KiB
[startup+0.218918 s]*
/proc/loadavg: 4.23 4.18 4.17 5/254 194343
/proc/meminfo: memFree=57925908/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=72044 memory=49924 CPUtime=0.2 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 8815 0 0 0 19 1 0 0 20 0 1 0 19924130 73773056 12481 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 18011 12481 899 1006 0 16772 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72044 KiB
Current children cumulated memory: 49924 KiB
[startup+0.313393 s]*
/proc/loadavg: 4.23 4.18 4.17 5/254 194343
/proc/meminfo: memFree=57919328/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=74576 memory=52892 CPUtime=0.3 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 9755 0 0 0 28 2 0 0 20 0 1 0 19924130 76365824 13223 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 18644 13223 915 1006 0 17405 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74576 KiB
Current children cumulated memory: 52892 KiB
[startup+0.700254 s]
/proc/loadavg: 4.23 4.18 4.17 5/254 194343
/proc/meminfo: memFree=57891496/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=100840 memory=79428 CPUtime=0.67 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 17108 0 0 0 62 5 0 0 20 0 1 0 19924130 103260160 19857 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 25210 19857 1107 1006 0 23971 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 100840 KiB
Current children cumulated memory: 79428 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.18 4.17 6/254 194343
/proc/meminfo: memFree=57874724/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=103012 memory=84436 CPUtime=1.46 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 17802 0 0 0 141 5 0 0 20 0 1 0 19924130 105484288 21109 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 25753 21109 1123 1006 0 24514 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 103012 KiB
Current children cumulated memory: 84436 KiB
[startup+3.11324 s]
/proc/loadavg: 4.23 4.18 4.17 6/254 194343
/proc/meminfo: memFree=57822096/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=105692 memory=89088 CPUtime=3.07 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 18481 0 0 0 301 6 0 0 20 0 1 0 19924130 108228608 22272 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 26423 22272 1123 1006 0 25184 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105692 KiB
Current children cumulated memory: 89088 KiB
[startup+6.30028 s]
/proc/loadavg: 4.21 4.17 4.17 6/254 194345
/proc/meminfo: memFree=57755544/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=110768 memory=94396 CPUtime=6.25 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 19759 0 0 0 618 7 0 0 20 0 1 0 19924130 113426432 23599 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 27692 23599 1139 1006 0 26453 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 110768 KiB
Current children cumulated memory: 94396 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.17 4.17 6/254 194345
/proc/meminfo: memFree=57508376/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=118680 memory=102296 CPUtime=12.63 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 21734 0 0 0 1254 9 0 0 20 0 1 0 19924130 121528320 25574 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 29670 25574 1155 1006 0 28431 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 102296 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.16 4.17 6/254 194348
/proc/meminfo: memFree=57312108/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=126192 memory=109624 CPUtime=25.39 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 23627 0 0 0 2528 11 0 0 20 0 1 0 19924130 129220608 27406 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 31548 27406 1155 1006 0 30309 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 126192 KiB
Current children cumulated memory: 109624 KiB
[startup+51.1246 s]
/proc/loadavg: 4.16 4.16 4.17 5/258 194355
/proc/meminfo: memFree=56437156/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=142412 memory=125892 CPUtime=50.7 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 27723 0 0 0 5051 19 0 0 20 0 1 0 19924130 145829888 31473 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 23 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 35603 31473 1155 1006 0 34364 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 142412 KiB
Current children cumulated memory: 125892 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.17 6/253 194392
/proc/meminfo: memFree=54926176/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=162132 memory=145364 CPUtime=99.73 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 32561 0 0 0 9940 33 0 0 20 0 1 0 19924130 166023168 36341 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 223 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 40533 36341 1155 1006 0 39294 0
Current children cumulated CPU time: 99.73 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 145364 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.17 6/253 194542
/proc/meminfo: memFree=79462972/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=183652 memory=168992 CPUtime=159.26 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 37970 0 0 0 15871 55 0 0 20 0 1 0 19924130 188059648 42248 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 253 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 45913 42248 1155 1006 0 44674 0
Current children cumulated CPU time: 159.26 s
Current children cumulated vsize: 183652 KiB
Current children cumulated memory: 168992 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.17 6/257 194760
/proc/meminfo: memFree=81087308/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=200112 memory=185328 CPUtime=217.25 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 42116 0 0 0 21654 71 0 0 20 0 1 0 19924130 204914688 46332 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 434 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 50028 46332 1155 1006 0 48789 0
Current children cumulated CPU time: 217.25 s
Current children cumulated vsize: 200112 KiB
Current children cumulated memory: 185328 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.17 6/257 194863
/proc/meminfo: memFree=79909752/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=224760 memory=210012 CPUtime=276.46 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 48244 0 0 0 27550 96 0 0 20 0 1 0 19924130 230154240 52503 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 496 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 56190 52503 1200 1006 0 54951 0
Current children cumulated CPU time: 276.46 s
Current children cumulated vsize: 224760 KiB
Current children cumulated memory: 210012 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.18 4.18 6/265 195258
/proc/meminfo: memFree=78837092/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=240384 memory=226084 CPUtime=336.04 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 52177 0 0 0 33478 126 0 0 20 0 1 0 19924130 246153216 56521 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 517 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 60096 56521 1200 1006 0 58857 0
Current children cumulated CPU time: 336.04 s
Current children cumulated vsize: 240384 KiB
Current children cumulated memory: 226084 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.17 6/267 195275
/proc/meminfo: memFree=77214364/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=251772 memory=237692 CPUtime=395.5 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 55097 0 0 0 39409 141 0 0 20 0 1 0 19924130 257814528 59423 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 551 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 62943 59423 1200 1006 0 61704 0
Current children cumulated CPU time: 395.5 s
Current children cumulated vsize: 251772 KiB
Current children cumulated memory: 237692 KiB
[startup+462.301 s]
/proc/loadavg: 4.22 4.17 4.17 4/269 195338
/proc/meminfo: memFree=76045400/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=269604 memory=255728 CPUtime=453.49 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 59673 0 0 0 45191 158 0 0 20 0 1 0 19924130 276074496 63932 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 717 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 67401 63932 1200 1006 0 66162 0
################
# More data... #
################
/proc/loadavg: 4.32 4.18 4.17 6/266 195393
/proc/meminfo: memFree=70061412/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=335628 memory=323536 CPUtime=689.08 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 76385 0 0 0 68664 244 0 0 20 0 1 0 19924130 343683072 80884 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1080 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 83907 80884 1200 1006 0 82668 0
Current children cumulated CPU time: 689.08 s
Current children cumulated vsize: 335628 KiB
Current children cumulated memory: 323536 KiB
[startup+762.3 s]
/proc/loadavg: 5.01 4.39 4.25 6/276 195796
/proc/meminfo: memFree=68275416/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=347008 memory=334452 CPUtime=748.7 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 79269 0 0 0 74607 263 0 0 20 0 1 0 19924130 355336192 83613 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1101 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 86752 83613 1200 1006 0 85513 0
Current children cumulated CPU time: 748.7 s
Current children cumulated vsize: 347008 KiB
Current children cumulated memory: 334452 KiB
[startup+822.3 s]
/proc/loadavg: 4.40 4.33 4.24 6/274 195806
/proc/meminfo: memFree=66772796/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=358544 memory=345884 CPUtime=808.49 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 82229 0 0 0 80560 289 0 0 20 0 1 0 19924130 367149056 86471 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1106 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 89636 86471 1200 1006 0 88397 0
Current children cumulated CPU time: 808.49 s
Current children cumulated vsize: 358544 KiB
Current children cumulated memory: 345884 KiB
[startup+882.3 s]
/proc/loadavg: 4.25 4.30 4.23 6/274 195816
/proc/meminfo: memFree=65432260/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=366756 memory=354052 CPUtime=868.18 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 84303 0 0 0 86505 313 0 0 20 0 1 0 19924130 375558144 88513 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1123 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 91689 88513 1200 1006 0 90450 0
Current children cumulated CPU time: 868.18 s
Current children cumulated vsize: 366756 KiB
Current children cumulated memory: 354052 KiB
[startup+942.3 s]
/proc/loadavg: 4.20 4.27 4.22 6/274 195995
/proc/meminfo: memFree=63852676/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=370544 memory=357924 CPUtime=927.71 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 85454 0 0 0 92434 337 0 0 20 0 1 0 19924130 379437056 89481 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1153 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 92636 89481 1200 1006 0 91397 0
Current children cumulated CPU time: 927.71 s
Current children cumulated vsize: 370544 KiB
Current children cumulated memory: 357924 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.24 4.21 6/274 196007
/proc/meminfo: memFree=62084768/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=396504 memory=383352 CPUtime=987.16 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 91916 0 0 0 98361 355 0 0 20 0 1 0 19924130 406020096 95838 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1191 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 99126 95838 1200 1006 0 97887 0
Current children cumulated CPU time: 987.16 s
Current children cumulated vsize: 396504 KiB
Current children cumulated memory: 383352 KiB
[startup+1062.3 s]
/proc/loadavg: 4.16 4.22 4.21 6/269 196019
/proc/meminfo: memFree=60752312/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=402652 memory=389512 CPUtime=1046.31 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 93563 0 0 0 104264 367 0 0 20 0 1 0 19924130 412315648 97378 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1259 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 100663 97378 1200 1006 0 99424 0
Current children cumulated CPU time: 1046.31 s
Current children cumulated vsize: 402652 KiB
Current children cumulated memory: 389512 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.20 4.19 6/268 196042
/proc/meminfo: memFree=59157084/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=412140 memory=398844 CPUtime=1105.72 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 96013 0 0 0 110190 382 0 0 20 0 1 0 19924130 422031360 99711 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1300 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 103035 99711 1200 1006 0 101796 0
Current children cumulated CPU time: 1105.72 s
Current children cumulated vsize: 412140 KiB
Current children cumulated memory: 398844 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.17 4.18 6/267 196054
/proc/meminfo: memFree=57136584/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=426000 memory=412732 CPUtime=1165.19 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 99567 0 0 0 116119 400 0 0 20 0 1 0 19924130 436224000 103183 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1335 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 106500 103183 1200 1006 0 105261 0
Current children cumulated CPU time: 1165.19 s
Current children cumulated vsize: 426000 KiB
Current children cumulated memory: 412732 KiB
[startup+1242.3 s]
/proc/loadavg: 4.07 4.15 4.18 6/262 196066
/proc/meminfo: memFree=55424708/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=431168 memory=417860 CPUtime=1225.02 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 100926 0 0 0 122074 428 0 0 20 0 1 0 19924130 441516032 104465 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1335 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 107792 104465 1200 1006 0 106553 0
Current children cumulated CPU time: 1225.02 s
Current children cumulated vsize: 431168 KiB
Current children cumulated memory: 417860 KiB
[startup+1302.3 s]
/proc/loadavg: 4.13 4.16 4.18 6/261 196077
/proc/meminfo: memFree=53642044/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=436712 memory=423372 CPUtime=1284.79 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) R 194338 194341 189340 0 -1 4194304 102481 0 0 0 128035 444 0 0 20 0 1 0 19924130 447193088 105843 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1341 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 109178 105843 1200 1006 0 107939 0
Current children cumulated CPU time: 1284.79 s
Current children cumulated vsize: 436712 KiB
Current children cumulated memory: 423372 KiB
[startup+1362.3 s]
/proc/loadavg: 4.09 4.14 4.17 1/261 196087
/proc/meminfo: memFree=51764632/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=412972 memory=406600 CPUtime=1343.98 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) D 194338 194341 189340 0 -1 4194304 108165 0 0 0 133932 466 0 0 20 0 1 0 19924130 422883328 101650 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 1435 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 103243 101650 1200 1006 0 102004 0
Current children cumulated CPU time: 1343.98 s
Current children cumulated vsize: 412972 KiB
Current children cumulated memory: 406600 KiB
[startup+1362.97 s]
# the end of solver process 194341 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1339.32 s, system=4.69579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1362.4 s]
/proc/loadavg: 4.09 4.14 4.17 1/261 196087
/proc/meminfo: memFree=51764632/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=412972 memory=406600 CPUtime=1343.98 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) D 194338 194341 189340 0 -1 4194304 108165 0 0 0 133932 466 0 0 20 0 1 0 19924130 422883328 101650 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1450 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 103243 101650 1200 1006 0 102004 0
Current children cumulated CPU time: 1343.98 s
Current children cumulated vsize: 412972 KiB
Current children cumulated memory: 406600 KiB
[startup+1362.8 s]
/proc/loadavg: 4.09 4.14 4.17 1/261 196087
/proc/meminfo: memFree=51764632/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=412972 memory=406600 CPUtime=1343.98 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) D 194338 194341 189340 0 -1 4194304 108165 0 0 0 133932 466 0 0 20 0 1 0 19924130 422883328 101650 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1528 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 103243 101650 1200 1006 0 102004 0
Current children cumulated CPU time: 1343.98 s
Current children cumulated vsize: 412972 KiB
Current children cumulated memory: 406600 KiB
[startup+1362.9 s]
/proc/loadavg: 4.09 4.14 4.17 1/261 196087
/proc/meminfo: memFree=51764632/131655788 swapFree=131063676/131071996
[pid=194341] ppid=194338 vsize=412972 memory=406600 CPUtime=1343.99 cores=5,7
/proc/194341/stat : 194341 (Exact_veripb2) D 194338 194341 189340 0 -1 4194304 108165 0 0 0 133932 467 0 0 20 0 1 0 19924130 422883328 101650 134679101440 4194304 8311665 140733423387584 0 0 0 0 0 8404994 1 0 0 17 7 0 0 1542 0 0 9173656 9252184 21807104 140733423391560 140733423391840 140733423391840 140733423398855 0
/proc/194341/statm: 103243 101650 1200 1006 0 102004 0
Current children cumulated CPU time: 1343.99 s
Current children cumulated vsize: 412972 KiB
Current children cumulated memory: 406600 KiB
Child status: 20
Real time (s): 1362.97
CPU time (s): 1344.02
CPU user time (s): 1339.32
CPU system time (s): 4.69579
CPU usage (%): 98.6097
Max. virtual memory (cumulated for all children) (KiB): 459332
Max. memory (cumulated for all children) (KiB): 445636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1339.32
system time used= 4.69579
maximum resident set size= 445636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6412616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2257
involuntary context switches= 2202
# summary of solver processes directly reported to runsolver:
# pid: 194341
# total CPU time (s): 1344.02
# total CPU user time (s): 1339.32
# total CPU system time (s): 4.69579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70895 second user time and 14.2743 second system time
The end
Begin job on nodeC003 at 2024-07-24 18:42:31
IDJOB=4452774
IDBENCH=165316
IDSOLVER=3081
FILE ID=nodeC003/4452774-1721839351
RUNJOBID= nodeC003-1721831780-189353
SLURM_JOB_ID= 7891521
Free space on /tmp= 723760 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.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-4452774-1721839351/watcher-4452774-1721839351 -o /tmp/evaluation-result-4452774-1721839351/solver-4452774-1721839351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721831780-189353 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452774-1721839351 --seed=1846757272 HOME/instance-4452774-1721839351.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3c218acab88c9e5abe907b008036492
RANDOM SEED=1846757272
nodeC003.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 : 0xb00001f
cpu MHz : 3672.444
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.09
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 : 0xb00001f
cpu MHz : 3659.802
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.467
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.09
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 : 0xb00001f
cpu MHz : 1197.340
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 3672.523
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.09
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 : 0xb00001f
cpu MHz : 1696.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.471
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.09
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 : 0xb00001f
cpu MHz : 1197.275
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 57978588 kB
MemAvailable: 129384832 kB
Buffers: 271628 kB
Cached: 71616020 kB
SwapCached: 800 kB
Active: 2560436 kB
Inactive: 70042140 kB
Active(anon): 2092 kB
Inactive(anon): 766496 kB
Active(file): 2558344 kB
Inactive(file): 69275644 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063676 kB
Dirty: 247604 kB
Writeback: 4 kB
AnonPages: 714388 kB
Mapped: 125260 kB
Shmem: 53532 kB
KReclaimable: 634000 kB
Slab: 757580 kB
SReclaimable: 634000 kB
SUnreclaim: 123580 kB
KernelStack: 4080 kB
PageTables: 10712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1114660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 423936 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: 394056 kB
DirectMap2M: 40404992 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-24 19:05:14