runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59978 MiB free)
memory of node 1: 64510 MiB (60666 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449619-1721399504/watcher-4449619-1721399504 -o /tmp/evaluation-result-4449619-1721399504/solver-4449619-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721399516-1042463 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=445818147 HOME/instance-4449619-1721399504.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
solver pid=1042480, runsolver pid=1042477
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 0.12 0.11 0.09 2/241 1042481
/proc/meminfo: memFree=123529100/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=32952 memory=13964 CPUtime=0.09 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 2304 0 0 0 9 0 0 0 20 0 1 0 192115727 33742848 3491 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 8238 3491 884 1005 0 7001 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32952 KiB
Current children cumulated memory: 13964 KiB
[startup+0.205291 s]*
/proc/loadavg: 0.12 0.11 0.09 4/253 1042511
/proc/meminfo: memFree=123502812/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=38292 memory=23084 CPUtime=0.2 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 3704 0 0 0 19 1 0 0 20 0 1 0 192115727 39211008 5771 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 9573 5771 884 1005 0 8336 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 23084 KiB
[startup+0.305505 s]*
/proc/loadavg: 0.12 0.11 0.09 4/254 1042536
/proc/meminfo: memFree=123447608/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=83540 memory=68808 CPUtime=0.3 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 10267 0 0 0 28 2 0 0 20 0 1 0 192115727 85544960 17202 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 20885 17202 1044 1005 0 19648 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83540 KiB
Current children cumulated memory: 68808 KiB
[startup+0.700154 s]
/proc/loadavg: 0.12 0.11 0.09 4/256 1042542
/proc/meminfo: memFree=123329756/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=140484 memory=126004 CPUtime=0.68 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 17022 0 0 0 64 4 0 0 20 0 1 0 192115727 143855616 31501 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 35121 31501 1044 1005 0 33884 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 126004 KiB
[startup+1.50017 s]
/proc/loadavg: 0.12 0.11 0.09 5/259 1042574
/proc/meminfo: memFree=123319420/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=140484 memory=126004 CPUtime=1.48 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 17022 0 0 0 144 4 0 0 20 0 1 0 192115727 143855616 31501 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 35121 31501 1044 1005 0 33884 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 126004 KiB
[startup+3.10561 s]
/proc/loadavg: 0.43 0.18 0.11 5/259 1042574
/proc/meminfo: memFree=123310500/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=140484 memory=126004 CPUtime=3.08 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 17035 0 0 0 304 4 0 0 20 0 1 0 192115727 143855616 31501 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 35121 31501 1044 1005 0 33884 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 126004 KiB
[startup+6.30016 s]
/proc/loadavg: 0.43 0.18 0.11 5/259 1042574
/proc/meminfo: memFree=123299172/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=140484 memory=134584 CPUtime=6.27 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 17127 0 0 0 622 5 0 0 20 0 1 0 192115727 143855616 33646 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 35121 33646 1108 1005 0 33884 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 134584 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.30 0.15 5/259 1042622
/proc/meminfo: memFree=123276224/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=142660 memory=136632 CPUtime=12.64 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 17152 0 0 0 1259 5 0 0 20 0 1 0 192115727 146083840 34158 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 35665 34158 1108 1005 0 34428 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 142660 KiB
Current children cumulated memory: 136632 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.43 0.20 5/259 1042623
/proc/meminfo: memFree=123262856/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=158092 memory=142052 CPUtime=25.39 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 18213 0 0 0 2534 5 0 0 20 0 1 0 192115727 161886208 35513 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 39523 35513 1124 1005 0 38286 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 158092 KiB
Current children cumulated memory: 142052 KiB
[startup+51.1055 s]
/proc/loadavg: 2.37 0.73 0.30 5/259 1042628
/proc/meminfo: memFree=123244188/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=162640 memory=148724 CPUtime=50.9 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 18909 0 0 0 5084 6 0 0 20 0 1 0 192115727 166543360 37181 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 40660 37181 1124 1005 0 39423 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 162640 KiB
Current children cumulated memory: 148724 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.31 0.53 5/258 1042638
/proc/meminfo: memFree=123229552/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=165904 memory=151936 CPUtime=101.91 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 19809 0 0 0 10183 8 0 0 20 0 1 0 192115727 169885696 37984 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 41476 37984 1140 1005 0 40239 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 165904 KiB
Current children cumulated memory: 151936 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.85 0.76 5/258 1042649
/proc/meminfo: memFree=123215324/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=168240 memory=157168 CPUtime=161.7 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 20503 0 0 0 16161 9 0 0 20 0 1 0 192115727 172277760 39292 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 42060 39292 1140 1005 0 40823 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 168240 KiB
Current children cumulated memory: 157168 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.26 0.98 5/255 1042659
/proc/meminfo: memFree=123206840/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=170140 memory=159060 CPUtime=221.48 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 21033 0 0 0 22137 11 0 0 20 0 1 0 192115727 174223360 39765 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 42535 39765 1140 1005 0 41298 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 170140 KiB
Current children cumulated memory: 159060 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.59 1.17 5/255 1042671
/proc/meminfo: memFree=123196904/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=173412 memory=162276 CPUtime=281.26 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 21907 0 0 0 28113 13 0 0 20 0 1 0 192115727 177573888 40569 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 43353 40569 1140 1005 0 42116 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 173412 KiB
Current children cumulated memory: 162276 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 2.87 1.36 5/255 1042682
/proc/meminfo: memFree=123191608/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=174148 memory=163060 CPUtime=341.02 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 22147 0 0 0 34088 14 0 0 20 0 1 0 192115727 178327552 40765 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 43537 40765 1140 1005 0 42300 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 174148 KiB
Current children cumulated memory: 163060 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.09 1.53 5/255 1042692
/proc/meminfo: memFree=123183468/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=175484 memory=164420 CPUtime=400.8 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 22537 0 0 0 40064 16 0 0 20 0 1 0 192115727 179695616 41105 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 43871 41105 1140 1005 0 42634 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 175484 KiB
Current children cumulated memory: 164420 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.29 1.70 5/255 1042702
/proc/meminfo: memFree=123171960/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=179852 memory=172560 CPUtime=460.56 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 23607 0 0 0 46038 18 0 0 20 0 1 0 192115727 184168448 43140 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 44963 43140 1140 1005 0 43726 0
################
# More data... #
################
Current children cumulated memory: 196176 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.14 3.99 5/258 1043721
/proc/meminfo: memFree=123077924/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=203448 memory=196308 CPUtime=2851.59 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 32288 0 0 0 285076 83 0 0 20 0 1 0 192115727 208330752 49077 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 50862 49077 1140 1005 0 49625 0
Current children cumulated CPU time: 2851.59 s
Current children cumulated vsize: 203448 KiB
Current children cumulated memory: 196308 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.16 4.00 5/259 1043735
/proc/meminfo: memFree=123076636/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=203768 memory=196628 CPUtime=2911.36 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 32441 0 0 0 291051 85 0 0 20 0 1 0 192115727 208658432 49157 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 50942 49157 1140 1005 0 49705 0
Current children cumulated CPU time: 2911.36 s
Current children cumulated vsize: 203768 KiB
Current children cumulated memory: 196628 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.00 5/259 1043746
/proc/meminfo: memFree=123075476/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=203768 memory=196632 CPUtime=2971.14 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 32516 0 0 0 297027 87 0 0 20 0 1 0 192115727 208658432 49158 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 50942 49158 1140 1005 0 49705 0
Current children cumulated CPU time: 2971.14 s
Current children cumulated vsize: 203768 KiB
Current children cumulated memory: 196632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.01 5/257 1043757
/proc/meminfo: memFree=123074164/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=204104 memory=196848 CPUtime=3030.91 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 32672 0 0 0 303003 88 0 0 20 0 1 0 192115727 209002496 49212 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51026 49212 1140 1005 0 49789 0
Current children cumulated CPU time: 3030.91 s
Current children cumulated vsize: 204104 KiB
Current children cumulated memory: 196848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.01 5/257 1043768
/proc/meminfo: memFree=123072448/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=204104 memory=196964 CPUtime=3090.68 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 32755 0 0 0 308979 89 0 0 20 0 1 0 192115727 209002496 49241 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51026 49241 1140 1005 0 49789 0
Current children cumulated CPU time: 3090.68 s
Current children cumulated vsize: 204104 KiB
Current children cumulated memory: 196964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.01 5/257 1043779
/proc/meminfo: memFree=123068592/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=204820 memory=197892 CPUtime=3150.46 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 33055 0 0 0 314955 91 0 0 20 0 1 0 192115727 209735680 49473 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51205 49473 1140 1005 0 49968 0
Current children cumulated CPU time: 3150.46 s
Current children cumulated vsize: 204820 KiB
Current children cumulated memory: 197892 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.02 5/256 1044173
/proc/meminfo: memFree=123065092/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=206464 memory=199380 CPUtime=3210.23 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 33540 0 0 0 320930 93 0 0 20 0 1 0 192115727 211419136 49845 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51616 49845 1140 1005 0 50379 0
Current children cumulated CPU time: 3210.23 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 199380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.02 5/256 1044184
/proc/meminfo: memFree=123063560/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=206464 memory=199536 CPUtime=3269.99 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 33615 0 0 0 326904 95 0 0 20 0 1 0 192115727 211419136 49884 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51616 49884 1140 1005 0 50379 0
Current children cumulated CPU time: 3269.99 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 199536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.02 5/257 1044196
/proc/meminfo: memFree=123062352/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=206464 memory=199536 CPUtime=3329.77 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 33691 0 0 0 332881 96 0 0 20 0 1 0 192115727 211419136 49884 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51616 49884 1140 1005 0 50379 0
Current children cumulated CPU time: 3329.77 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 199536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/259 1044376
/proc/meminfo: memFree=123060152/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=206464 memory=199536 CPUtime=3389.54 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 33767 0 0 0 338857 97 0 0 20 0 1 0 192115727 211419136 49884 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51616 49884 1140 1005 0 50379 0
Current children cumulated CPU time: 3389.54 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 199536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/259 1044386
/proc/meminfo: memFree=123056856/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=207712 memory=200360 CPUtime=3449.31 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 34017 0 0 0 344832 99 0 0 20 0 1 0 192115727 212697088 50090 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 51928 50090 1140 1005 0 50691 0
Current children cumulated CPU time: 3449.31 s
Current children cumulated vsize: 207712 KiB
Current children cumulated memory: 200360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.42 4.19 4.06 5/260 1044453
/proc/meminfo: memFree=123054892/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=208544 memory=201120 CPUtime=3509.08 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 34272 0 0 0 350808 100 0 0 20 0 1 0 192115727 213549056 50280 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 52136 50280 1140 1005 0 50899 0
Current children cumulated CPU time: 3509.08 s
Current children cumulated vsize: 208544 KiB
Current children cumulated memory: 201120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.18 4.06 5/260 1044465
/proc/meminfo: memFree=123051860/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=209312 memory=202132 CPUtime=3568.85 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 34567 0 0 0 356783 102 0 0 20 0 1 0 192115727 214335488 50533 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 52328 50533 1140 1005 0 51091 0
Current children cumulated CPU time: 3568.85 s
Current children cumulated vsize: 209312 KiB
Current children cumulated memory: 202132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.13 4.16 4.06 5/260 1044562
/proc/meminfo: memFree=123126756/131524600 swapFree=131071996/131071996
[pid=1042480] ppid=1042477 vsize=209312 memory=202132 CPUtime=3600.03 cores=0,2
/proc/1042480/stat : 1042480 (Exact) R 1042477 1042480 1042453 0 -1 4194304 34568 0 0 0 359900 103 0 0 20 0 1 0 192115727 214335488 50533 134679101440 4194304 8309489 140731436187904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26996736 140731436196797 140731436196966 140731436196966 140731436203983 0
/proc/1042480/statm: 52328 50533 1140 1005 0 51091 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 209312 KiB
Current children cumulated memory: 202132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.6 s]
# the end of solver process 1042480 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599 s, system=1.04047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3613.6
CPU time (s): 3600.05
CPU user time (s): 3599
CPU system time (s): 1.04047
CPU usage (%): 99.6248
Max. virtual memory (cumulated for all children) (KiB): 209312
Max. memory (cumulated for all children) (KiB): 202132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.04047
maximum resident set size= 202132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34570
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= 26
involuntary context switches= 24674
# summary of solver processes directly reported to runsolver:
# pid: 1042480
# total CPU time (s): 3600.05
# total CPU user time (s): 3599
# total CPU system time (s): 1.04047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61439 second user time and 15.6557 second system time
The end
Begin job on nodeC025 at 2024-07-19 16:31:56
IDJOB=4449619
IDBENCH=176087
IDSOLVER=3060
FILE ID=nodeC025/4449619-1721399504
RUNJOBID= nodeC025-1721399516-1042463
SLURM_JOB_ID= 7545448
Free space on /tmp= 890028 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449619-1721399504/watcher-4449619-1721399504 -o /tmp/evaluation-result-4449619-1721399504/solver-4449619-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721399516-1042463 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=445818147 HOME/instance-4449619-1721399504.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=445818147
nodeC025.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 : 3657.038
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.72
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 : 1394.505
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3641.381
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.72
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 : 1200.265
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3443.953
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.72
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 : 1200.465
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3615.367
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.72
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 : 1199.998
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123540016 kB
MemAvailable: 129602484 kB
Buffers: 546288 kB
Cached: 6286588 kB
SwapCached: 0 kB
Active: 1122176 kB
Inactive: 6084884 kB
Active(anon): 1420 kB
Inactive(anon): 418668 kB
Active(file): 1120756 kB
Inactive(file): 5666216 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 10816 kB
Writeback: 0 kB
AnonPages: 372228 kB
Mapped: 106344 kB
Shmem: 45912 kB
KReclaimable: 230288 kB
Slab: 359188 kB
SReclaimable: 230288 kB
SUnreclaim: 128900 kB
KernelStack: 3888 kB
PageTables: 9604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 684916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC025 at 2024-07-19 17:32:10