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 (54727 MiB free)
memory of node 1: 64473 MiB (58614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463275-1722348193/watcher-4463275-1722348193 -o /tmp/evaluation-result-4463275-1722348193/solver-4463275-1722348193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5705 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463275-1722348193 --lp-cut-gomory=0 HOME/instance-4463275-1722348193.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=10505, runsolver pid=10502
[startup+0.100099 s]*
/proc/loadavg: 4.22 4.26 4.18 5/248 10506
/proc/meminfo: memFree=116047404/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=50088 memory=18536 CPUtime=0.1 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 4272 0 0 0 7 3 0 0 20 0 1 0 1189665 51290112 4634 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 12522 4634 1348 992 0 4380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50088 KiB
Current children cumulated memory: 18536 KiB
[startup+0.213136 s]*
/proc/loadavg: 4.22 4.26 4.18 5/248 10506
/proc/meminfo: memFree=116044360/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=51616 memory=21636 CPUtime=0.22 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 4545 0 0 0 15 7 0 0 20 0 1 0 1189665 52854784 5409 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 12904 5409 1348 992 0 4762 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 51616 KiB
Current children cumulated memory: 21636 KiB
[startup+0.3131 s]*
/proc/loadavg: 4.22 4.26 4.18 5/248 10506
/proc/meminfo: memFree=116042904/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=55136 memory=23068 CPUtime=0.32 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 4892 0 0 0 22 10 0 0 20 0 1 0 1189665 56459264 5767 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 13784 5767 1348 992 0 5642 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 55136 KiB
Current children cumulated memory: 23068 KiB
[startup+0.700326 s]
/proc/loadavg: 4.22 4.26 4.18 5/248 10506
/proc/meminfo: memFree=115973988/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=133732 memory=103812 CPUtime=0.69 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 21925 0 0 0 54 15 0 0 20 0 1 0 1189665 136941568 25953 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 33433 25953 1650 992 0 25291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133732 KiB
Current children cumulated memory: 103812 KiB
[startup+1.50033 s]
/proc/loadavg: 4.28 4.27 4.19 5/248 10506
/proc/meminfo: memFree=115954532/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=138152 memory=108100 CPUtime=1.49 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 22324 0 0 0 133 16 0 0 20 0 1 0 1189665 141467648 27025 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 34538 27025 1834 992 0 26396 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 138152 KiB
Current children cumulated memory: 108100 KiB
[startup+3.11293 s]
/proc/loadavg: 4.28 4.27 4.19 5/248 10506
/proc/meminfo: memFree=115924984/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=155620 memory=119220 CPUtime=3.1 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 24135 0 0 0 292 18 0 0 20 0 1 0 1189665 159354880 29805 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 38905 29805 1834 992 0 30763 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 155620 KiB
Current children cumulated memory: 119220 KiB
[startup+6.3003 s]
/proc/loadavg: 4.26 4.27 4.19 5/248 10506
/proc/meminfo: memFree=115853288/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=178508 memory=147348 CPUtime=6.27 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 28589 0 0 0 603 24 0 0 20 0 1 0 1189665 182792192 36837 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 44627 36837 1834 992 0 36485 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178508 KiB
Current children cumulated memory: 147348 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.26 4.18 5/248 10508
/proc/meminfo: memFree=115790260/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=189332 memory=159356 CPUtime=12.65 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 31087 0 0 0 1235 30 0 0 20 0 1 0 1189665 193875968 39839 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 47333 39839 1834 992 0 39191 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 189332 KiB
Current children cumulated memory: 159356 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.26 4.18 5/248 10509
/proc/meminfo: memFree=115670888/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=232964 memory=193372 CPUtime=25.41 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 37577 0 0 0 2503 38 0 0 20 0 1 0 1189665 238555136 48343 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 58241 48343 1834 992 0 50099 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232964 KiB
Current children cumulated memory: 193372 KiB
[startup+51.1127 s]
/proc/loadavg: 4.34 4.28 4.19 5/246 10514
/proc/meminfo: memFree=115506952/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=261016 memory=229532 CPUtime=50.95 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 43577 0 0 0 5045 50 0 0 20 0 1 0 1189665 267280384 57383 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 65254 57383 1834 992 0 57112 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 261016 KiB
Current children cumulated memory: 229532 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/246 10522
/proc/meminfo: memFree=115296608/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=298092 memory=239660 CPUtime=101.99 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 45677 0 0 0 10129 70 0 0 20 0 1 0 1189665 305246208 59915 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 74523 59915 1834 992 0 66381 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 298092 KiB
Current children cumulated memory: 239660 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/246 10536
/proc/meminfo: memFree=114988460/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=321076 memory=273424 CPUtime=161.82 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 51562 0 0 0 16081 101 0 0 20 0 1 0 1189665 328781824 68356 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 80269 68356 1834 992 0 72127 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 321076 KiB
Current children cumulated memory: 273424 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/246 10546
/proc/meminfo: memFree=114614168/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=352132 memory=315976 CPUtime=221.64 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 58640 0 0 0 22031 133 0 0 20 0 1 0 1189665 360583168 78994 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 88033 78994 1834 992 0 79891 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 352132 KiB
Current children cumulated memory: 315976 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/245 10557
/proc/meminfo: memFree=114006824/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=370124 memory=336992 CPUtime=281.47 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 63432 0 0 0 27994 153 0 0 20 0 1 0 1189665 379006976 84248 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 92531 84248 1834 992 0 84389 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 370124 KiB
Current children cumulated memory: 336992 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/246 10568
/proc/meminfo: memFree=113437752/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=433016 memory=358624 CPUtime=341.3 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 67311 0 0 0 33947 183 0 0 20 0 1 0 1189665 443408384 89656 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 108254 89656 1834 992 0 100112 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 433016 KiB
Current children cumulated memory: 358624 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/246 10580
/proc/meminfo: memFree=112884936/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=439652 memory=364644 CPUtime=401.14 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 68818 0 0 0 39909 205 0 0 20 0 1 0 1189665 450203648 91161 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 109913 91161 1834 992 0 101771 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 439652 KiB
Current children cumulated memory: 364644 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/248 10595
/proc/meminfo: memFree=112479240/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=443096 memory=371312 CPUtime=460.95 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 69924 0 0 0 45863 232 0 0 20 0 1 0 1189665 453730304 92828 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 110774 92828 1834 992 0 102632 0
################
# More data... #
################
/proc/loadavg: 3.30 3.48 3.75 4/245 11603
/proc/meminfo: memFree=117563000/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=662688 memory=544040 CPUtime=1657.45 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 104078 0 0 0 165108 637 0 0 20 0 1 0 1189665 678592512 136010 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 165672 136010 1834 992 0 157530 0
Current children cumulated CPU time: 1657.45 s
Current children cumulated vsize: 662688 KiB
Current children cumulated memory: 544040 KiB
[startup+1722.3 s]
/proc/loadavg: 3.33 3.46 3.73 4/244 11613
/proc/meminfo: memFree=117371380/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=662688 memory=560432 CPUtime=1717.27 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 104315 0 0 0 171072 655 0 0 20 0 1 0 1189665 678592512 140108 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 165672 140108 1834 992 0 157530 0
Current children cumulated CPU time: 1717.27 s
Current children cumulated vsize: 662688 KiB
Current children cumulated memory: 560432 KiB
[startup+1782.3 s]
/proc/loadavg: 3.18 3.39 3.69 4/243 11624
/proc/meminfo: memFree=117172076/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=662688 memory=560444 CPUtime=1777.09 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 104518 0 0 0 177037 672 0 0 20 0 1 0 1189665 678592512 140111 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 165672 140111 1834 992 0 157530 0
Current children cumulated CPU time: 1777.09 s
Current children cumulated vsize: 662688 KiB
Current children cumulated memory: 560444 KiB
[startup+1842.3 s]
/proc/loadavg: 3.15 3.35 3.65 4/243 11636
/proc/meminfo: memFree=116817796/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=662688 memory=560444 CPUtime=1836.92 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 104737 0 0 0 183007 685 0 0 20 0 1 0 1189665 678592512 140111 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 165672 140111 1834 992 0 157530 0
Current children cumulated CPU time: 1836.92 s
Current children cumulated vsize: 662688 KiB
Current children cumulated memory: 560444 KiB
[startup+1902.3 s]
/proc/loadavg: 3.16 3.31 3.62 4/243 11647
/proc/meminfo: memFree=116606636/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=563028 CPUtime=1896.74 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 105565 0 0 0 188976 698 0 0 20 0 1 0 1189665 681709568 140757 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 140757 1834 992 0 158291 0
Current children cumulated CPU time: 1896.74 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 563028 KiB
[startup+1962.3 s]
/proc/loadavg: 3.16 3.29 3.59 4/242 11659
/proc/meminfo: memFree=116200300/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=563044 CPUtime=1956.56 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 105783 0 0 0 194942 714 0 0 20 0 1 0 1189665 681709568 140761 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 140761 1834 992 0 158291 0
Current children cumulated CPU time: 1956.56 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 563044 KiB
[startup+2022.3 s]
/proc/loadavg: 3.10 3.25 3.56 4/239 11669
/proc/meminfo: memFree=115789880/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=563044 CPUtime=2016.38 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106001 0 0 0 200910 728 0 0 20 0 1 0 1189665 681709568 140761 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 140761 1834 992 0 158291 0
Current children cumulated CPU time: 2016.38 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 563044 KiB
[startup+2082.3 s]
/proc/loadavg: 3.13 3.23 3.53 4/239 11679
/proc/meminfo: memFree=115360044/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2076.2 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106207 0 0 0 206875 745 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2076.2 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2121.7 s]
# the end of solver process 10505 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2107.93 s, system=7.54952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2099.2 s]
/proc/loadavg: 3.10 3.22 3.52 4/240 11683
/proc/meminfo: memFree=115266716/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2093.05 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106336 0 0 0 208556 749 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2093.05 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2112 s]*
/proc/loadavg: 3.15 3.22 3.52 4/239 11686
/proc/meminfo: memFree=115181804/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2105.83 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106344 0 0 0 209831 752 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2105.83 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2118.4 s]
/proc/loadavg: 3.14 3.22 3.52 4/239 11686
/proc/meminfo: memFree=115142792/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2112.19 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106411 0 0 0 210467 752 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2112.19 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2120 s]*
/proc/loadavg: 3.14 3.22 3.52 4/240 11688
/proc/meminfo: memFree=115112096/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2113.81 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106411 0 0 0 210628 753 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2113.81 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2120.8 s]
/proc/loadavg: 3.14 3.22 3.52 4/240 11688
/proc/meminfo: memFree=115112096/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2114.59 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106412 0 0 0 210706 753 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2114.59 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2121.2 s]
/proc/loadavg: 3.14 3.22 3.52 4/240 11688
/proc/meminfo: memFree=115105332/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2114.99 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106417 0 0 0 210746 753 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2114.99 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
[startup+2121.6 s]
/proc/loadavg: 3.14 3.22 3.52 4/240 11688
/proc/meminfo: memFree=115105332/131655788 swapFree=131071728/131071996
[pid=10505] ppid=10502 vsize=665732 memory=565100 CPUtime=2115.39 cores=1,3
/proc/10505/stat : 10505 (roundingsat) R 10502 10505 5693 0 -1 4194304 106417 0 0 0 210786 753 0 0 20 0 1 0 1189665 681709568 141275 134679101440 4194304 8255733 140728160374720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 27115520 140728160383838 140728160384100 140728160384100 140728160391113 0
/proc/10505/statm: 166433 141275 1834 992 0 158291 0
Current children cumulated CPU time: 2115.39 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 565100 KiB
Child status: 0
Real time (s): 2121.7
CPU time (s): 2115.48
CPU user time (s): 2107.93
CPU system time (s): 7.54952
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 665732
Max. memory (cumulated for all children) (KiB): 565100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2107.93
system time used= 7.54952
maximum resident set size= 565100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8055592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 2843
# summary of solver processes directly reported to runsolver:
# pid: 10505
# total CPU time (s): 2115.48
# total CPU user time (s): 2107.93
# total CPU system time (s): 7.54952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43581 second user time and 20.8961 second system time
The end
Begin job on nodeC011 at 2024-07-30 16:03:13
IDJOB=4463275
IDBENCH=164450
IDSOLVER=3089
FILE ID=nodeC011/4463275-1722348193
RUNJOBID= nodeC011-1722340763-5705
SLURM_JOB_ID= 8248991
Free space on /tmp= 723760 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.0.u.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463275-1722348193/watcher-4463275-1722348193 -o /tmp/evaluation-result-4463275-1722348193/solver-4463275-1722348193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5705 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463275-1722348193 --lp-cut-gomory=0 HOME/instance-4463275-1722348193.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=44683222
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 : 3671.007
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.28
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 : 3491.648
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.29
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.294
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.28
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.137
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.29
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 : 3667.110
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.28
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 : 3568.860
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.29
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.371
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.28
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.302
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 116062360 kB
MemAvailable: 127574772 kB
Buffers: 51424 kB
Cached: 12295900 kB
SwapCached: 12 kB
Active: 161844 kB
Inactive: 14979788 kB
Active(anon): 1924 kB
Inactive(anon): 2821976 kB
Active(file): 159920 kB
Inactive(file): 12157812 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 69140 kB
Writeback: 0 kB
AnonPages: 2790396 kB
Mapped: 101232 kB
Shmem: 29468 kB
KReclaimable: 69760 kB
Slab: 147124 kB
SReclaimable: 69760 kB
SUnreclaim: 77364 kB
KernelStack: 4000 kB
PageTables: 14908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3450008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2156544 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC011 at 2024-07-30 16:38:35