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 (62044 MiB free)
memory of node 1: 64510 MiB (59472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463349-1722349047/watcher-4463349-1722349047 -o /tmp/evaluation-result-4463349-1722349047/solver-4463349-1722349047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6585 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463349-1722349047 --lp-cut-gomory=0 HOME/instance-4463349-1722349047.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=12346, runsolver pid=12343
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.01 4.15 4.16 5/258 12347
/proc/meminfo: memFree=124418852/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=50564 memory=19732 CPUtime=0.1 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 3953 0 0 0 8 2 0 0 20 0 1 0 1506357 51777536 4933 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 12641 4933 1359 992 0 4499 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50564 KiB
Current children cumulated memory: 19732 KiB
[startup+0.205957 s]*
/proc/loadavg: 4.01 4.15 4.16 5/258 12347
/proc/meminfo: memFree=124401904/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=69372 memory=39708 CPUtime=0.2 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 9854 0 0 0 16 4 0 0 20 0 1 0 1506357 71036928 9927 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 17343 9927 1673 992 0 9201 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 39708 KiB
[startup+0.305925 s]*
/proc/loadavg: 4.01 4.15 4.16 5/258 12347
/proc/meminfo: memFree=124366976/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=107764 memory=73528 CPUtime=0.3 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 18835 0 0 0 24 6 0 0 20 0 1 0 1506357 110350336 18382 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 26941 18382 1784 992 0 18799 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107764 KiB
Current children cumulated memory: 73528 KiB
[startup+0.700238 s]
/proc/loadavg: 4.01 4.15 4.16 5/258 12347
/proc/meminfo: memFree=124359604/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=122040 memory=82572 CPUtime=0.69 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 21128 0 0 0 62 7 0 0 20 0 1 0 1506357 124968960 20643 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 30510 20643 1784 992 0 22368 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122040 KiB
Current children cumulated memory: 82572 KiB
[startup+1.50021 s]
/proc/loadavg: 4.01 4.15 4.16 5/258 12347
/proc/meminfo: memFree=124354228/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=124760 memory=86968 CPUtime=1.48 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 22192 0 0 0 125 23 0 0 20 0 1 0 1506357 127754240 21742 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 31190 21742 1832 992 0 23048 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124760 KiB
Current children cumulated memory: 86968 KiB
[startup+3.10589 s]
/proc/loadavg: 4.01 4.15 4.16 5/258 12347
/proc/meminfo: memFree=124311432/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=154864 memory=112788 CPUtime=3.08 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 26890 0 0 0 269 39 0 0 20 0 1 0 1506357 158580736 28197 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 38716 28197 1909 992 0 30574 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 154864 KiB
Current children cumulated memory: 112788 KiB
[startup+6.30022 s]
/proc/loadavg: 4.01 4.15 4.16 5/258 12350
/proc/meminfo: memFree=124279280/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=163912 memory=124272 CPUtime=6.28 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 29841 0 0 0 577 51 0 0 20 0 1 0 1506357 167845888 31068 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 40978 31068 1909 992 0 32836 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 163912 KiB
Current children cumulated memory: 124272 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.15 4.16 6/258 12350
/proc/meminfo: memFree=124222704/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=189964 memory=145736 CPUtime=12.66 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 34182 0 0 0 1179 87 0 0 20 0 1 0 1506357 194523136 36434 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 47491 36434 1909 992 0 39349 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 189964 KiB
Current children cumulated memory: 145736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.00 4.14 4.15 5/258 12351
/proc/meminfo: memFree=124181700/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=203720 memory=161676 CPUtime=25.42 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 37668 0 0 0 2447 95 0 0 20 0 1 0 1506357 208609280 40419 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 50930 40419 1909 992 0 42788 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 203720 KiB
Current children cumulated memory: 161676 KiB
[startup+51.1059 s]
/proc/loadavg: 4.06 4.14 4.15 5/258 12356
/proc/meminfo: memFree=123964908/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=322808 memory=271900 CPUtime=50.96 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 56085 0 0 0 4956 140 0 0 20 0 1 0 1506357 330555392 67975 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 80702 67975 1909 992 0 72560 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 322808 KiB
Current children cumulated memory: 271900 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/258 12365
/proc/meminfo: memFree=123634812/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=429240 memory=371452 CPUtime=102.02 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 70225 0 0 0 9990 212 0 0 20 0 1 0 1506357 439541760 92863 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 107310 92863 1909 992 0 99168 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 429240 KiB
Current children cumulated memory: 371452 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/258 12375
/proc/meminfo: memFree=123600676/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=430768 memory=373288 CPUtime=161.87 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 70644 0 0 0 15964 223 0 0 20 0 1 0 1506357 441106432 93322 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 107692 93322 1909 992 0 99550 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 373288 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/261 12391
/proc/meminfo: memFree=123387112/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=549340 memory=443568 CPUtime=221.71 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 80466 0 0 0 21903 268 0 0 20 0 1 0 1506357 562524160 110892 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 137335 110892 1909 992 0 129193 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 549340 KiB
Current children cumulated memory: 443568 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/261 12401
/proc/meminfo: memFree=123279116/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=568964 memory=476596 CPUtime=281.55 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 85139 0 0 0 27874 281 0 0 20 0 1 0 1506357 582619136 119149 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 142241 119149 1909 992 0 134099 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 568964 KiB
Current children cumulated memory: 476596 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.15 4.15 5/260 12411
/proc/meminfo: memFree=123199972/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=577436 memory=495052 CPUtime=341.39 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 87246 0 0 0 33849 290 0 0 20 0 1 0 1506357 591294464 123763 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 144359 123763 1909 992 0 136217 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 577436 KiB
Current children cumulated memory: 495052 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/260 12421
/proc/meminfo: memFree=123080416/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=588188 memory=513848 CPUtime=401.22 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 89920 0 0 0 39820 302 0 0 20 0 1 0 1506357 602304512 128462 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 147047 128462 1909 992 0 138905 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 588188 KiB
Current children cumulated memory: 513848 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.14 4/254 12465
/proc/meminfo: memFree=123635104/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=659204 memory=585056 CPUtime=461.07 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 106808 0 0 0 45745 362 0 0 20 0 1 0 1506357 675024896 146264 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 164801 146264 1909 992 0 156659 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 1.11 1.86 2.61 2/238 14207
/proc/meminfo: memFree=117251992/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2241176 memory=2169516 CPUtime=3154.26 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 317356 0 0 0 314097 1329 0 0 20 0 1 0 1506357 2294964224 542379 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560294 542379 1909 992 0 552152 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 2241176 KiB
Current children cumulated memory: 2169516 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.73 2.52 2/240 14222
/proc/meminfo: memFree=117237756/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172740 CPUtime=3214.13 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 318442 0 0 0 320073 1340 0 0 20 0 1 0 1506357 2297438208 543185 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543185 1909 992 0 552756 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172740 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.61 2.42 2/240 14233
/proc/meminfo: memFree=117236936/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3273.99 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 318716 0 0 0 326055 1344 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.51 2.34 2/240 14243
/proc/meminfo: memFree=117236132/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3333.87 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 318943 0 0 0 332037 1350 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.45 2.26 2/240 14253
/proc/meminfo: memFree=117235452/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3393.74 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 319198 0 0 0 338020 1354 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.38 2.18 2/237 14264
/proc/meminfo: memFree=117235224/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3453.61 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 319423 0 0 0 344002 1359 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3522.3 s]
/proc/loadavg: 1.41 1.42 2.15 2/233 14274
/proc/meminfo: memFree=117234860/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3513.48 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 319709 0 0 0 349983 1365 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3582.3 s]
/proc/loadavg: 1.56 1.46 2.11 2/233 14286
/proc/meminfo: memFree=117234172/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3573.34 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 319973 0 0 0 355962 1372 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 1.64 1.49 2.10 2/233 14294
/proc/meminfo: memFree=117233732/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3600.09 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 320110 0 0 0 358634 1375 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.11 s]
# the end of solver process 12346 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3588.33 s, system=13.7739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 1.64 1.49 2.10 2/233 14294
/proc/meminfo: memFree=117233732/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3600.58 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 320110 0 0 0 358683 1375 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3610.4 s]
/proc/loadavg: 1.64 1.49 2.10 2/233 14294
/proc/meminfo: memFree=117233732/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3601.38 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 320110 0 0 0 358763 1375 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3601.38 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3610.8 s]
/proc/loadavg: 1.64 1.49 2.10 2/233 14294
/proc/meminfo: memFree=117233732/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3601.78 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 320110 0 0 0 358802 1376 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3611 s]*
/proc/loadavg: 1.59 1.48 2.10 2/233 14294
/proc/meminfo: memFree=117233724/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3601.98 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 320110 0 0 0 358822 1376 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
[startup+3611.11 s]
/proc/loadavg: 1.59 1.48 2.10 2/233 14294
/proc/meminfo: memFree=117233724/131524600 swapFree=131071996/131071996
[pid=12346] ppid=12343 vsize=2243592 memory=2172840 CPUtime=3602.08 cores=5,7
/proc/12346/stat : 12346 (roundingsat) R 12343 12346 6572 0 -1 4194304 320110 0 0 0 358832 1376 0 0 20 0 1 0 1506357 2297438208 543210 134679101440 4194304 8255733 140729707478880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33280000 140729707483998 140729707484260 140729707484260 140729707491273 0
/proc/12346/statm: 560898 543210 1909 992 0 552756 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 2243592 KiB
Current children cumulated memory: 2172840 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.11
CPU time (s): 3602.1
CPU user time (s): 3588.33
CPU system time (s): 13.7739
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 2243592
Max. memory (cumulated for all children) (KiB): 2172840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.33
system time used= 13.7739
maximum resident set size= 2172840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13039568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 4280
# summary of solver processes directly reported to runsolver:
# pid: 12346
# total CPU time (s): 3602.1
# total CPU user time (s): 3588.33
# total CPU system time (s): 13.7739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23503 second user time and 18.0505 second system time
The end
Begin job on nodeC031 at 2024-07-30 16:17:27
IDJOB=4463349
IDBENCH=178869
IDSOLVER=3089
FILE ID=nodeC031/4463349-1722349047
RUNJOBID= nodeC031-1722340763-6585
SLURM_JOB_ID= 8249004
Free space on /tmp= 890060 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i9_pp_96.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-4463349-1722349047/watcher-4463349-1722349047 -o /tmp/evaluation-result-4463349-1722349047/solver-4463349-1722349047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6585 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463349-1722349047 --lp-cut-gomory=0 HOME/instance-4463349-1722349047.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5cc7d14a8524e58f54e6333ee2ad6e82
RANDOM SEED=847633976
nodeC031.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 : 3667.715
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.95
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 : 3677.359
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.12
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 : 3600.291
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.95
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 : 3600.556
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.12
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 : 3667.764
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.95
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 : 3662.609
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.12
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 : 3600.178
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.95
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 : 3671.869
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124433704 kB
MemAvailable: 129519292 kB
Buffers: 54980 kB
Cached: 5861604 kB
SwapCached: 0 kB
Active: 182468 kB
Inactive: 6430664 kB
Active(anon): 1564 kB
Inactive(anon): 716364 kB
Active(file): 180904 kB
Inactive(file): 5714300 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12132 kB
Writeback: 8 kB
AnonPages: 694936 kB
Mapped: 98028 kB
Shmem: 21336 kB
KReclaimable: 60060 kB
Slab: 140068 kB
SReclaimable: 60060 kB
SUnreclaim: 80008 kB
KernelStack: 4160 kB
PageTables: 10476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 867684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8416 kB
HardwareCorrupted: 0 kB
AnonHugePages: 403456 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC031 at 2024-07-30 17:17:38