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: 64096 MiB (63029 MiB free)
memory of node 1: 64473 MiB (63095 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455393-1721462852/watcher-4455393-1721462852 -o /tmp/evaluation-result-4455393-1721462852/solver-4455393-1721462852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052102 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455393-1721462852.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=1054185, runsolver pid=1054182
[startup+0.100628 s]*
/proc/loadavg: 4.14 4.14 4.09 5/241 1054186
/proc/meminfo: memFree=129080152/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=114424 memory=64544 CPUtime=0.1 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 8584 0 0 0 7 3 0 0 20 0 1 0 198442363 117170176 16136 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 28606 16136 1236 922 0 20558 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114424 KiB
Current children cumulated memory: 64544 KiB
[startup+0.213212 s]*
/proc/loadavg: 4.14 4.14 4.09 5/241 1054186
/proc/meminfo: memFree=129090116/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=104908 memory=58468 CPUtime=0.21 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 9038 0 0 0 16 5 0 0 20 0 1 0 198442363 107425792 14617 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 26227 14617 1300 922 0 18179 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104908 KiB
Current children cumulated memory: 58468 KiB
[startup+0.312816 s]*
/proc/loadavg: 4.14 4.14 4.09 5/241 1054186
/proc/meminfo: memFree=129082072/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=106104 memory=62096 CPUtime=0.31 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 9386 0 0 0 24 7 0 0 20 0 1 0 198442363 108650496 15524 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 26526 15524 1300 922 0 18478 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106104 KiB
Current children cumulated memory: 62096 KiB
[startup+0.700276 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054186
/proc/meminfo: memFree=129066300/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=118260 memory=73952 CPUtime=0.69 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 11853 0 0 0 49 20 0 0 20 0 1 0 198442363 121098240 18488 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 29565 18488 1300 922 0 21517 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118260 KiB
Current children cumulated memory: 73952 KiB
[startup+1.50028 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054186
/proc/meminfo: memFree=129007040/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=145788 memory=99244 CPUtime=1.48 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 14637 0 0 0 106 42 0 0 20 0 1 0 198442363 149286912 24811 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 36447 24811 1300 922 0 28399 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145788 KiB
Current children cumulated memory: 99244 KiB
[startup+3.11285 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054188
/proc/meminfo: memFree=128442120/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=566384 memory=503248 CPUtime=3.09 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 69514 0 0 0 247 62 0 0 20 0 1 0 198442363 579977216 125812 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 141596 125812 1667 922 0 133548 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 566384 KiB
Current children cumulated memory: 503248 KiB
[startup+6.30029 s]
/proc/loadavg: 4.13 4.13 4.09 5/241 1054188
/proc/meminfo: memFree=128284000/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=568512 memory=504668 CPUtime=6.26 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 69755 0 0 0 551 75 0 0 20 0 1 0 198442363 582156288 126167 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 142128 126167 1795 922 0 134080 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 568512 KiB
Current children cumulated memory: 504668 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.09 5/241 1054188
/proc/meminfo: memFree=128058160/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=643576 memory=557432 CPUtime=12.65 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 73841 0 0 0 1181 84 0 0 20 0 1 0 198442363 659021824 139358 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 160894 139358 1795 922 0 152846 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 643576 KiB
Current children cumulated memory: 557432 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.12 4.09 5/241 1054191
/proc/meminfo: memFree=127797904/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=656192 memory=581652 CPUtime=25.41 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 75893 0 0 0 2451 90 0 0 20 0 1 0 198442363 671940608 145413 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 164048 145413 1795 922 0 156000 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 656192 KiB
Current children cumulated memory: 581652 KiB
[startup+51.1129 s]
/proc/loadavg: 4.20 4.15 4.10 5/241 1054194
/proc/meminfo: memFree=126898700/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=1164952 memory=1030788 CPUtime=50.93 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 139664 0 0 0 4966 127 0 0 20 0 1 0 198442363 1192910848 257697 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 291238 257697 1859 922 0 283190 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1164952 KiB
Current children cumulated memory: 1030788 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.17 4.10 5/241 1054203
/proc/meminfo: memFree=125284424/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=2504816 memory=2313140 CPUtime=101.97 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 335292 0 0 0 9993 204 0 0 20 0 1 0 198442363 2564931584 578285 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 626204 578285 1859 922 0 618156 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2504816 KiB
Current children cumulated memory: 2313140 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/241 1054213
/proc/meminfo: memFree=124044824/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=3726308 memory=3255708 CPUtime=161.78 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 471435 0 0 0 15886 292 0 0 20 0 1 0 198442363 3815739392 813927 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 931577 813927 1859 922 0 923529 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 3726308 KiB
Current children cumulated memory: 3255708 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/243 1054227
/proc/meminfo: memFree=123174228/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=4033208 memory=3893948 CPUtime=221.59 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 553326 0 0 0 21761 398 0 0 20 0 1 0 198442363 4130004992 973487 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 1008302 973487 1875 922 0 1000254 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 4033208 KiB
Current children cumulated memory: 3893948 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/244 1054238
/proc/meminfo: memFree=122809304/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=4074476 memory=3944292 CPUtime=281.4 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 561998 0 0 0 27680 460 0 0 20 0 1 0 198442363 4172263424 986073 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 1018619 986073 1875 922 0 1010571 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 4074476 KiB
Current children cumulated memory: 3944292 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/244 1054249
/proc/meminfo: memFree=122534892/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=5091556 memory=4118364 CPUtime=341.2 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 578775 0 0 0 33592 528 0 0 20 0 1 0 198442363 5213753344 1029591 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 1272889 1029591 1875 922 0 1264841 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 5091556 KiB
Current children cumulated memory: 4118364 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/244 1054259
/proc/meminfo: memFree=122334384/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=5091556 memory=4122724 CPUtime=401.02 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 580410 0 0 0 39544 558 0 0 20 0 1 0 198442363 5213753344 1030681 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 1272889 1030681 1875 922 0 1264841 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 5091556 KiB
Current children cumulated memory: 4122724 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 1054270
/proc/meminfo: memFree=122159624/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=5091556 memory=4263584 CPUtime=460.83 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 584053 0 0 0 45468 615 0 0 20 0 1 0 198442363 5213753344 1065896 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 1272889 1065896 1875 922 0 1264841 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.23 4.19 4.17 5/246 1055913
/proc/meminfo: memFree=117252004/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=8463108 memory=7261476 CPUtime=3091.57 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1044959 0 0 0 306541 2616 0 0 20 0 1 0 198442363 8666222592 1815369 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2115777 1815369 1875 922 0 2107729 0
Current children cumulated CPU time: 3091.57 s
Current children cumulated vsize: 8463108 KiB
Current children cumulated memory: 7261476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/246 1055923
/proc/meminfo: memFree=117191984/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=8463108 memory=7261484 CPUtime=3151.38 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1046723 0 0 0 312503 2635 0 0 20 0 1 0 198442363 8666222592 1815371 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2115777 1815371 1875 922 0 2107729 0
Current children cumulated CPU time: 3151.38 s
Current children cumulated vsize: 8463108 KiB
Current children cumulated memory: 7261484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/247 1055947
/proc/meminfo: memFree=116932300/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=8463108 memory=7455204 CPUtime=3211.2 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1049960 0 0 0 318468 2652 0 0 20 0 1 0 198442363 8666222592 1863801 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2115777 1863801 1875 922 0 2107729 0
Current children cumulated CPU time: 3211.2 s
Current children cumulated vsize: 8463108 KiB
Current children cumulated memory: 7455204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/244 1055957
/proc/meminfo: memFree=116004460/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9491892 memory=8293096 CPUtime=3270.99 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1212825 0 0 0 324402 2697 0 0 20 0 1 0 198442363 9719697408 2073274 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2372973 2073274 1875 922 0 2364925 0
Current children cumulated CPU time: 3270.99 s
Current children cumulated vsize: 9491892 KiB
Current children cumulated memory: 8293096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/244 1055968
/proc/meminfo: memFree=115999072/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9491892 memory=8293104 CPUtime=3330.8 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1214228 0 0 0 330322 2758 0 0 20 0 1 0 198442363 9719697408 2073276 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2372973 2073276 1875 922 0 2364925 0
Current children cumulated CPU time: 3330.8 s
Current children cumulated vsize: 9491892 KiB
Current children cumulated memory: 8293104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/243 1055978
/proc/meminfo: memFree=115998044/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9491892 memory=8293116 CPUtime=3390.61 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1215987 0 0 0 336246 2815 0 0 20 0 1 0 198442363 9719697408 2073279 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2372973 2073279 1875 922 0 2364925 0
Current children cumulated CPU time: 3390.61 s
Current children cumulated vsize: 9491892 KiB
Current children cumulated memory: 8293116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/243 1055989
/proc/meminfo: memFree=115941016/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9524036 memory=8314152 CPUtime=3450.42 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1218955 0 0 0 342194 2848 0 0 20 0 1 0 198442363 9752612864 2078538 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2381009 2078538 1875 922 0 2372961 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 9524036 KiB
Current children cumulated memory: 8314152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 1056000
/proc/meminfo: memFree=115939288/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9524036 memory=8314156 CPUtime=3510.24 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1220478 0 0 0 348128 2896 0 0 20 0 1 0 198442363 9752612864 2078539 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2381009 2078539 1875 922 0 2372961 0
Current children cumulated CPU time: 3510.24 s
Current children cumulated vsize: 9524036 KiB
Current children cumulated memory: 8314156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/241 1056010
/proc/meminfo: memFree=115877116/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9524036 memory=8314180 CPUtime=3570.04 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1222941 0 0 0 354055 2949 0 0 20 0 1 0 198442363 9752612864 2078545 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2381009 2078545 1875 922 0 2372961 0
Current children cumulated CPU time: 3570.04 s
Current children cumulated vsize: 9524036 KiB
Current children cumulated memory: 8314180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.04 4.11 4.14 5/241 1056522
/proc/meminfo: memFree=119673468/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9531856 memory=8320620 CPUtime=3600.05 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1223906 0 0 0 357052 2953 0 0 20 0 1 0 198442363 9760620544 2080155 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2382964 2080155 1875 922 0 2374916 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 9531856 KiB
Current children cumulated memory: 8320620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.57 s]
# the end of solver process 1054185 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.52 s, system=29.7035 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.04 4.11 4.14 5/241 1056522
/proc/meminfo: memFree=119673468/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9531856 memory=8320620 CPUtime=3600.45 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1223910 0 0 0 357092 2953 0 0 20 0 1 0 198442363 9760620544 2080155 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2382964 2080155 1875 922 0 2374916 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 9531856 KiB
Current children cumulated memory: 8320620 KiB
[startup+3613.6 s]
/proc/loadavg: 4.04 4.11 4.14 5/241 1056523
/proc/meminfo: memFree=119423696/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9531856 memory=8320620 CPUtime=3601.25 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1223914 0 0 0 357172 2953 0 0 20 0 1 0 198442363 9760620544 2080155 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2382964 2080155 1875 922 0 2374916 0
Current children cumulated CPU time: 3601.25 s
Current children cumulated vsize: 9531856 KiB
Current children cumulated memory: 8320620 KiB
[startup+3614 s]*
/proc/loadavg: 4.03 4.10 4.14 5/241 1056523
/proc/meminfo: memFree=119420012/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9531856 memory=8320620 CPUtime=3601.66 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1223914 0 0 0 357213 2953 0 0 20 0 1 0 198442363 9760620544 2080155 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2382964 2080155 1875 922 0 2374916 0
Current children cumulated CPU time: 3601.66 s
Current children cumulated vsize: 9531856 KiB
Current children cumulated memory: 8320620 KiB
[startup+3614.4 s]
/proc/loadavg: 4.03 4.10 4.14 5/241 1056523
/proc/meminfo: memFree=119420012/131655788 swapFree=131070704/131071996
[pid=1054185] ppid=1054182 vsize=9531856 memory=8320620 CPUtime=3602.04 cores=0,2
/proc/1054185/stat : 1054185 (roundingsat) R 1054182 1054185 1052092 0 -1 4194304 1223914 0 0 0 357251 2953 0 0 20 0 1 0 198442363 9760620544 2080155 134679101440 4194304 7968373 140721190536080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 41558016 140721190544316 140721190544480 140721190544480 140721190551497 0
/proc/1054185/statm: 2382964 2080155 1875 922 0 2374916 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 9531856 KiB
Current children cumulated memory: 8320620 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.57
CPU time (s): 3602.22
CPU user time (s): 3572.52
CPU system time (s): 29.7035
CPU usage (%): 99.6584
Max. virtual memory (cumulated for all children) (KiB): 9531856
Max. memory (cumulated for all children) (KiB): 8320620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.52
system time used= 29.7035
maximum resident set size= 8320620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1223914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 25243
# summary of solver processes directly reported to runsolver:
# pid: 1054185
# total CPU time (s): 3602.22
# total CPU user time (s): 3572.52
# total CPU system time (s): 29.7035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5354 second user time and 36.5595 second system time
The end
Begin job on nodeC011 at 2024-07-20 10:07:45
IDJOB=4455393
IDBENCH=155645
IDSOLVER=3084
FILE ID=nodeC011/4455393-1721462852
RUNJOBID= nodeC011-1721459249-1052102
SLURM_JOB_ID= 7545706
Free space on /tmp= 723740 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_9_mh.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455393-1721462852/watcher-4455393-1721462852 -o /tmp/evaluation-result-4455393-1721462852/solver-4455393-1721462852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052102 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455393-1721462852.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ed59d2b3a30e3eff3a6b6ac614db3a9c
RANDOM SEED=1335884816
nodeC011.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 : 3491.601
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 : 6983.20
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 : 3627.850
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.140
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 : 6983.20
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.292
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.207
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 : 6983.20
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 : 3641.989
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.332
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 : 6983.20
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.293
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: 129154784 kB
MemAvailable: 129803608 kB
Buffers: 580228 kB
Cached: 916192 kB
SwapCached: 132 kB
Active: 1122464 kB
Inactive: 886824 kB
Active(anon): 1428 kB
Inactive(anon): 557348 kB
Active(file): 1121036 kB
Inactive(file): 329476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 50396 kB
Writeback: 48 kB
AnonPages: 513212 kB
Mapped: 115672 kB
Shmem: 45592 kB
KReclaimable: 77020 kB
Slab: 160288 kB
SReclaimable: 77020 kB
SUnreclaim: 83268 kB
KernelStack: 3856 kB
PageTables: 10320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 784612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723628 MiB
End job on nodeC011 at 2024-07-20 11:07:59