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 (62691 MiB free)
memory of node 1: 64510 MiB (62022 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455863-1721468039/watcher-4455863-1721468039 -o /tmp/evaluation-result-4455863-1721468039/solver-4455863-1721468039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455863-1721468039.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=1049960, runsolver pid=1049957
[startup+0.100825 s]*
/proc/loadavg: 4.41 4.21 4.17 5/245 1049962
/proc/meminfo: memFree=127702748/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=40444 memory=9332 CPUtime=0.1 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 1747 0 0 0 8 2 0 0 20 0 1 0 198960848 41414656 2333 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 10111 2333 1275 922 0 2063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 9332 KiB
[startup+0.213521 s]*
/proc/loadavg: 4.41 4.21 4.17 5/245 1049962
/proc/meminfo: memFree=127689020/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=53908 memory=24332 CPUtime=0.21 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 5540 0 0 0 18 3 0 0 20 0 1 0 198960848 55201792 6083 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 13477 6083 1688 922 0 5429 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53908 KiB
Current children cumulated memory: 24332 KiB
[startup+0.313005 s]*
/proc/loadavg: 4.41 4.21 4.17 5/245 1049962
/proc/meminfo: memFree=127688720/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=54084 memory=24596 CPUtime=0.31 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 5576 0 0 0 28 3 0 0 20 0 1 0 198960848 55382016 6149 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 13521 6149 1688 922 0 5473 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54084 KiB
Current children cumulated memory: 24596 KiB
[startup+0.700326 s]
/proc/loadavg: 4.41 4.21 4.17 5/245 1049962
/proc/meminfo: memFree=127687720/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=56980 memory=26180 CPUtime=0.68 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 5989 0 0 0 65 3 0 0 20 0 1 0 198960848 58347520 6545 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 14245 6545 1688 922 0 6197 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56980 KiB
Current children cumulated memory: 26180 KiB
[startup+1.50027 s]
/proc/loadavg: 4.41 4.21 4.17 5/245 1049962
/proc/meminfo: memFree=127686712/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=57868 memory=26972 CPUtime=1.48 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 6192 0 0 0 144 4 0 0 20 0 1 0 198960848 59256832 6743 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 14467 6743 1688 922 0 6419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57868 KiB
Current children cumulated memory: 26972 KiB
[startup+3.11327 s]
/proc/loadavg: 4.41 4.21 4.17 5/245 1049962
/proc/meminfo: memFree=127665240/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=86320 memory=48720 CPUtime=3.08 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 8503 0 0 0 301 7 0 0 20 0 1 0 198960848 88391680 12180 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 21580 12180 1719 922 0 13532 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86320 KiB
Current children cumulated memory: 48720 KiB
[startup+6.30026 s]
/proc/loadavg: 4.38 4.20 4.16 5/245 1049962
/proc/meminfo: memFree=127619024/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=142724 memory=95264 CPUtime=6.27 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 11507 0 0 0 614 13 0 0 20 0 1 0 198960848 146149376 23816 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 35681 23816 1719 922 0 27633 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 142724 KiB
Current children cumulated memory: 95264 KiB
[startup+12.7003 s]
/proc/loadavg: 4.43 4.22 4.17 5/245 1049964
/proc/meminfo: memFree=127564496/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=206992 memory=150684 CPUtime=12.64 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 15606 0 0 0 1247 17 0 0 20 0 1 0 198960848 211959808 37671 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 51748 37671 1735 922 0 43700 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 206992 KiB
Current children cumulated memory: 150684 KiB
[startup+25.5003 s]
/proc/loadavg: 4.49 4.24 4.18 5/245 1049965
/proc/meminfo: memFree=127500272/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=307932 memory=211308 CPUtime=25.41 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 21054 0 0 0 2514 27 0 0 20 0 1 0 198960848 315322368 52827 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 76983 52827 1828 922 0 68935 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 307932 KiB
Current children cumulated memory: 211308 KiB
[startup+51.1132 s]
/proc/loadavg: 4.58 4.28 4.19 5/245 1049971
/proc/meminfo: memFree=127424708/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=335708 memory=288172 CPUtime=50.93 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 28027 0 0 0 5055 38 0 0 20 0 1 0 198960848 343764992 72043 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 83927 72043 1828 922 0 75879 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 335708 KiB
Current children cumulated memory: 288172 KiB
[startup+102.3 s]
/proc/loadavg: 4.60 4.33 4.21 5/244 1049979
/proc/meminfo: memFree=127255196/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=565804 memory=448588 CPUtime=101.96 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 52385 0 0 0 10140 56 0 0 20 0 1 0 198960848 579383296 112147 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 141451 112147 1828 922 0 133403 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 565804 KiB
Current children cumulated memory: 448588 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.32 4.21 5/241 1049989
/proc/meminfo: memFree=127117324/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=646580 memory=575704 CPUtime=161.77 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 71439 0 0 0 16099 78 0 0 20 0 1 0 198960848 662097920 143926 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 161645 143926 1828 922 0 153597 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 646580 KiB
Current children cumulated memory: 575704 KiB
[startup+222.3 s]
/proc/loadavg: 4.63 4.38 4.24 5/241 1050000
/proc/meminfo: memFree=127041424/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=697832 memory=649788 CPUtime=221.59 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 83917 0 0 0 22064 95 0 0 20 0 1 0 198960848 714579968 162447 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 174458 162447 1828 922 0 166410 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 697832 KiB
Current children cumulated memory: 649788 KiB
[startup+282.3 s]
/proc/loadavg: 4.56 4.43 4.27 5/241 1050010
/proc/meminfo: memFree=126987964/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=936028 memory=698884 CPUtime=281.39 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 90144 0 0 0 28028 111 0 0 20 0 1 0 198960848 958492672 174721 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 234007 174721 1828 922 0 225959 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 936028 KiB
Current children cumulated memory: 698884 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 4.40 4.27 5/241 1050020
/proc/meminfo: memFree=126939284/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=969176 memory=743328 CPUtime=341.21 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 98212 0 0 0 33988 133 0 0 20 0 1 0 198960848 992436224 185832 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 242294 185832 1828 922 0 234246 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 969176 KiB
Current children cumulated memory: 743328 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.32 4.25 5/243 1050036
/proc/meminfo: memFree=126864848/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1019788 memory=812864 CPUtime=401.01 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 109514 0 0 0 39952 149 0 0 20 0 1 0 198960848 1044262912 203216 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 254947 203216 1828 922 0 246899 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 1019788 KiB
Current children cumulated memory: 812864 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.29 4.25 5/243 1050046
/proc/meminfo: memFree=126829700/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1042620 memory=835376 CPUtime=460.83 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 115172 0 0 0 45921 162 0 0 20 0 1 0 198960848 1067642880 208844 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 260655 208844 1828 922 0 252607 0
################
# More data... #
################
Current children cumulated memory: 1627540 KiB
[startup+2922.3 s]
/proc/loadavg: 1.13 1.13 1.58 2/223 1051153
/proc/meminfo: memFree=126765392/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1828164 memory=1627824 CPUtime=2913.45 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 230314 0 0 0 290796 549 0 0 20 0 1 0 198960848 1872039936 406956 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 457041 406956 1972 922 0 448993 0
Current children cumulated CPU time: 2913.45 s
Current children cumulated vsize: 1828164 KiB
Current children cumulated memory: 1627824 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 1.12 1.54 2/223 1051163
/proc/meminfo: memFree=126762804/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1829632 memory=1630048 CPUtime=2973.29 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 231586 0 0 0 296773 556 0 0 20 0 1 0 198960848 1873543168 407512 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 457408 407512 1972 922 0 449360 0
Current children cumulated CPU time: 2973.29 s
Current children cumulated vsize: 1829632 KiB
Current children cumulated memory: 1630048 KiB
[startup+3042.3 s]
/proc/loadavg: 1.14 1.12 1.52 2/223 1051175
/proc/meminfo: memFree=126760636/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1832388 memory=1632176 CPUtime=3033.14 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 232822 0 0 0 302753 561 0 0 20 0 1 0 198960848 1876365312 408044 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 458097 408044 1972 922 0 450049 0
Current children cumulated CPU time: 3033.14 s
Current children cumulated vsize: 1832388 KiB
Current children cumulated memory: 1632176 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.11 1.49 2/225 1051569
/proc/meminfo: memFree=126744860/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1646072 CPUtime=3092.98 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 236953 0 0 0 308713 585 0 0 20 0 1 0 198960848 1899126784 411518 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 411518 1972 922 0 455606 0
Current children cumulated CPU time: 3092.98 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1646072 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.11 1.46 2/222 1051579
/proc/meminfo: memFree=126745144/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1646304 CPUtime=3152.81 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 237564 0 0 0 314687 594 0 0 20 0 1 0 198960848 1899126784 411576 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 411576 1972 922 0 455606 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1646304 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.12 1.44 2/222 1051590
/proc/meminfo: memFree=126744776/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1646304 CPUtime=3212.66 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 238254 0 0 0 320662 604 0 0 20 0 1 0 198960848 1899126784 411576 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 411576 1972 922 0 455606 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1646304 KiB
[startup+3282.3 s]
/proc/loadavg: 1.73 1.29 1.48 2/224 1051770
/proc/meminfo: memFree=126744220/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1646308 CPUtime=3272.5 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 238966 0 0 0 326642 608 0 0 20 0 1 0 198960848 1899126784 411577 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 411577 1972 922 0 455606 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1646308 KiB
[startup+3342.3 s]
/proc/loadavg: 1.38 1.27 1.46 2/225 1051781
/proc/meminfo: memFree=126741668/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1654896 CPUtime=3332.34 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 239580 0 0 0 332621 613 0 0 20 0 1 0 198960848 1899126784 413724 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 413724 1972 922 0 455606 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1654896 KiB
[startup+3402.3 s]
/proc/loadavg: 1.20 1.23 1.44 2/225 1051849
/proc/meminfo: memFree=126717884/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1672108 CPUtime=3392.17 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 240273 0 0 0 338598 619 0 0 20 0 1 0 198960848 1899126784 418027 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 418027 1972 922 0 455606 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1672108 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.20 1.41 2/224 1051859
/proc/meminfo: memFree=126718096/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854616 memory=1672108 CPUtime=3452.01 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 241005 0 0 0 344577 624 0 0 20 0 1 0 198960848 1899126784 418027 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463654 418027 1972 922 0 455606 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 1854616 KiB
Current children cumulated memory: 1672108 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.20 1.40 2/224 1051869
/proc/meminfo: memFree=126717448/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1854720 memory=1672280 CPUtime=3511.85 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 242426 0 0 0 350550 635 0 0 20 0 1 0 198960848 1899233280 418070 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 463680 418070 1972 922 0 455632 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 1854720 KiB
Current children cumulated memory: 1672280 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.17 1.37 2/224 1051879
/proc/meminfo: memFree=126712580/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1861932 memory=1676992 CPUtime=3571.7 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 244267 0 0 0 356529 641 0 0 20 0 1 0 198960848 1906618368 419248 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 465483 419248 1972 922 0 457435 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 1861932 KiB
Current children cumulated memory: 1676992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 1.14 1.17 1.37 2/222 1051884
/proc/meminfo: memFree=126712540/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1861932 memory=1677000 CPUtime=3600.02 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 244653 0 0 0 359359 643 0 0 20 0 1 0 198960848 1906618368 419250 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 465483 419250 1972 922 0 457435 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1861932 KiB
Current children cumulated memory: 1677000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.72 s]
# the end of solver process 1049960 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.61 s, system=6.43723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 1.14 1.17 1.37 2/222 1051884
/proc/meminfo: memFree=126712540/131655788 swapFree=131071996/131071996
[pid=1049960] ppid=1049957 vsize=1861932 memory=1677000 CPUtime=3600.02 cores=0,2
/proc/1049960/stat : 1049960 (roundingsat) R 1049957 1049960 1043533 0 -1 4194304 244653 0 0 0 359359 643 0 0 20 0 1 0 198960848 1906618368 419250 134679101440 4194304 7968373 140732036922736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 21147648 140732036928444 140732036928608 140732036928608 140732036935625 0
/proc/1049960/statm: 465483 419250 1972 922 0 457435 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1861932 KiB
Current children cumulated memory: 1677000 KiB
Child status: 0
Real time (s): 3610.72
CPU time (s): 3600.05
CPU user time (s): 3593.61
CPU system time (s): 6.43723
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 1861932
Max. memory (cumulated for all children) (KiB): 1677000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.61
system time used= 6.43723
maximum resident set size= 1677000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244662
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= 355
involuntary context switches= 24711
# summary of solver processes directly reported to runsolver:
# pid: 1049960
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.61
# total CPU system time (s): 6.43723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0589 second user time and 34.5565 second system time
The end
Begin job on nodeC012 at 2024-07-20 11:34:11
IDJOB=4455863
IDBENCH=164235
IDSOLVER=3084
FILE ID=nodeC012/4455863-1721468039
RUNJOBID= nodeC012-1721458232-1043543
SLURM_JOB_ID= 7545700
Free space on /tmp= 723760 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab69-40-100.0.s.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-4455863-1721468039/watcher-4455863-1721468039 -o /tmp/evaluation-result-4455863-1721468039/solver-4455863-1721468039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455863-1721468039.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa547ec471690bfe3f3bec5c78a945ae
RANDOM SEED=1175220422
nodeC012.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 : 2793.754
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.37
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 : 3653.943
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.32
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.327
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.37
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.477
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.32
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 : 3564.873
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.37
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 : 3554.385
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.32
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.514
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.37
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.444
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127707252 kB
MemAvailable: 129239652 kB
Buffers: 558048 kB
Cached: 1817588 kB
SwapCached: 0 kB
Active: 1129680 kB
Inactive: 2259872 kB
Active(anon): 1456 kB
Inactive(anon): 1058032 kB
Active(file): 1128224 kB
Inactive(file): 1201840 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5824 kB
Writeback: 0 kB
AnonPages: 1008380 kB
Mapped: 117576 kB
Shmem: 45896 kB
KReclaimable: 84732 kB
Slab: 187420 kB
SReclaimable: 84732 kB
SUnreclaim: 102688 kB
KernelStack: 3884 kB
PageTables: 10988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1566952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 851968 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-20 12:34:22