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 (59065 MiB free)
memory of node 1: 64510 MiB (59250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463284-1722348145/watcher-4463284-1722348145 -o /tmp/evaluation-result-4463284-1722348145/solver-4463284-1722348145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6635 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463284-1722348145 --lp-cut-gomory=0 HOME/instance-4463284-1722348145.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=11138, runsolver pid=11135
[startup+0.10042 s]*
/proc/loadavg: 4.22 4.18 4.16 5/262 11139
/proc/meminfo: memFree=121136948/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=52980 memory=22808 CPUtime=0.1 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 5392 0 0 0 8 2 0 0 20 0 1 0 1412426 54251520 5702 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 13245 5702 1687 992 0 5103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52980 KiB
Current children cumulated memory: 22808 KiB
[startup+0.205859 s]*
/proc/loadavg: 4.22 4.18 4.16 5/262 11139
/proc/meminfo: memFree=121135232/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=54988 memory=25000 CPUtime=0.2 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 5887 0 0 0 17 3 0 0 20 0 1 0 1412426 56307712 6250 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 13747 6250 1780 992 0 5605 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 25000 KiB
[startup+0.30579 s]*
/proc/loadavg: 4.22 4.18 4.16 6/262 11139
/proc/meminfo: memFree=121130388/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=57068 memory=27168 CPUtime=0.3 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 6346 0 0 0 27 3 0 0 20 0 1 0 1412426 58437632 6792 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 14267 6792 1866 992 0 6125 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57068 KiB
Current children cumulated memory: 27168 KiB
[startup+0.700224 s]
/proc/loadavg: 4.22 4.18 4.16 5/262 11139
/proc/meminfo: memFree=121124612/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=57976 memory=30268 CPUtime=0.68 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 6627 0 0 0 65 3 0 0 20 0 1 0 1412426 59367424 7567 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 14494 7567 1866 992 0 6352 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57976 KiB
Current children cumulated memory: 30268 KiB
[startup+1.50022 s]
/proc/loadavg: 4.22 4.18 4.16 5/262 11139
/proc/meminfo: memFree=121120552/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=61056 memory=33700 CPUtime=1.48 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 7488 0 0 0 145 3 0 0 20 0 1 0 1412426 62521344 8425 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 15264 8425 1866 992 0 7122 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61056 KiB
Current children cumulated memory: 33700 KiB
[startup+3.10604 s]
/proc/loadavg: 4.22 4.18 4.16 5/262 11141
/proc/meminfo: memFree=121093928/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=68640 memory=41100 CPUtime=3.08 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 9336 0 0 0 303 5 0 0 20 0 1 0 1412426 70287360 10275 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 17160 10275 1866 992 0 9018 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68640 KiB
Current children cumulated memory: 41100 KiB
[startup+6.30021 s]
/proc/loadavg: 4.21 4.18 4.16 5/262 11141
/proc/meminfo: memFree=121014220/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=117736 memory=84076 CPUtime=6.27 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 16974 0 0 0 618 9 0 0 20 0 1 0 1412426 120561664 21019 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 29434 21019 1866 992 0 21292 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117736 KiB
Current children cumulated memory: 84076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.15 5/262 11141
/proc/meminfo: memFree=120913424/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=141888 memory=99600 CPUtime=12.64 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 18858 0 0 0 1248 16 0 0 20 0 1 0 1412426 145293312 24900 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 35472 24900 1866 992 0 27330 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 141888 KiB
Current children cumulated memory: 99600 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.18 4.16 5/262 11144
/proc/meminfo: memFree=120747708/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=147424 memory=108964 CPUtime=25.41 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 20185 0 0 0 2517 24 0 0 20 0 1 0 1412426 150962176 27241 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 36856 27241 1866 992 0 28714 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 147424 KiB
Current children cumulated memory: 108964 KiB
[startup+51.1057 s]
/proc/loadavg: 4.29 4.20 4.16 5/263 11148
/proc/meminfo: memFree=120483292/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=149420 memory=110176 CPUtime=50.92 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 20463 0 0 0 5058 34 0 0 20 0 1 0 1412426 153006080 27544 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 37355 27544 1866 992 0 29213 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 149420 KiB
Current children cumulated memory: 110176 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.16 5/261 11157
/proc/meminfo: memFree=119919036/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=213272 memory=157424 CPUtime=101.93 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 29232 0 0 0 10131 62 0 0 20 0 1 0 1412426 218390528 39356 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 53318 39356 1866 992 0 45176 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 213272 KiB
Current children cumulated memory: 157424 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/261 11168
/proc/meminfo: memFree=119321660/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=221216 memory=165472 CPUtime=161.74 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 31285 0 0 0 16082 92 0 0 20 0 1 0 1412426 226525184 41368 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 55304 41368 1866 992 0 47162 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 221216 KiB
Current children cumulated memory: 165472 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/261 11178
/proc/meminfo: memFree=118613424/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=223160 memory=167432 CPUtime=221.56 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 32118 0 0 0 22033 123 0 0 20 0 1 0 1412426 228515840 41858 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 55790 41858 1866 992 0 47648 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167432 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.18 4.16 5/260 11188
/proc/meminfo: memFree=117850928/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=223160 memory=167436 CPUtime=281.38 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 32202 0 0 0 27986 152 0 0 20 0 1 0 1412426 228515840 41859 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 55790 41859 1866 992 0 47648 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167436 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/260 11203
/proc/meminfo: memFree=117421824/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=223160 memory=167436 CPUtime=341.21 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 32227 0 0 0 33951 170 0 0 20 0 1 0 1412426 228515840 41859 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 55790 41859 1866 992 0 47648 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167436 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/259 11213
/proc/meminfo: memFree=116956672/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=223160 memory=167436 CPUtime=401.03 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 32228 0 0 0 39915 188 0 0 20 0 1 0 1412426 228515840 41859 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 55790 41859 1866 992 0 47648 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167436 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/259 11223
/proc/meminfo: memFree=116453944/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=223160 memory=167656 CPUtime=460.84 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 32245 0 0 0 45876 208 0 0 20 0 1 0 1412426 228515840 41914 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 55790 41914 1866 992 0 47648 0
################
# More data... #
################
/proc/loadavg: 4.09 4.13 4.12 5/263 11458
/proc/meminfo: memFree=109287932/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=427968 memory=325820 CPUtime=1178.54 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 51089 0 0 0 117296 558 0 0 20 0 1 0 1412426 438239232 81455 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 106992 81455 1866 992 0 98850 0
Current children cumulated CPU time: 1178.54 s
Current children cumulated vsize: 427968 KiB
Current children cumulated memory: 325820 KiB
[startup+1242.3 s]
/proc/loadavg: 4.22 4.16 4.14 5/261 11468
/proc/meminfo: memFree=107986876/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=428204 memory=326056 CPUtime=1238.35 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 51222 0 0 0 123255 580 0 0 20 0 1 0 1412426 438480896 81514 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 107051 81514 1866 992 0 98909 0
Current children cumulated CPU time: 1238.35 s
Current children cumulated vsize: 428204 KiB
Current children cumulated memory: 326056 KiB
[startup+1302.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/261 11478
/proc/meminfo: memFree=106696240/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=428368 memory=326148 CPUtime=1298.17 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 51314 0 0 0 129214 603 0 0 20 0 1 0 1412426 438648832 81537 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 107092 81537 1866 992 0 98950 0
Current children cumulated CPU time: 1298.17 s
Current children cumulated vsize: 428368 KiB
Current children cumulated memory: 326148 KiB
[startup+1362.3 s]
/proc/loadavg: 4.33 4.20 4.15 5/262 11491
/proc/meminfo: memFree=105407140/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=431084 memory=328796 CPUtime=1357.98 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 52159 0 0 0 135168 630 0 0 20 0 1 0 1412426 441430016 82199 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 107771 82199 1866 992 0 99629 0
Current children cumulated CPU time: 1357.98 s
Current children cumulated vsize: 431084 KiB
Current children cumulated memory: 328796 KiB
[startup+1422.3 s]
/proc/loadavg: 4.15 4.18 4.15 5/261 11885
/proc/meminfo: memFree=104096308/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=431084 memory=328864 CPUtime=1417.79 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 52316 0 0 0 141119 660 0 0 20 0 1 0 1412426 441430016 82216 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 107771 82216 1866 992 0 99629 0
Current children cumulated CPU time: 1417.79 s
Current children cumulated vsize: 431084 KiB
Current children cumulated memory: 328864 KiB
[startup+1482.3 s]
/proc/loadavg: 4.17 4.18 4.15 5/261 11895
/proc/meminfo: memFree=102587876/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=432200 memory=342156 CPUtime=1477.6 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 52770 0 0 0 147060 700 0 0 20 0 1 0 1412426 442572800 85539 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 108050 85539 1866 992 0 99908 0
Current children cumulated CPU time: 1477.6 s
Current children cumulated vsize: 432200 KiB
Current children cumulated memory: 342156 KiB
[startup+1542.3 s]
/proc/loadavg: 4.26 4.19 4.15 5/261 11907
/proc/meminfo: memFree=101244324/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=433944 memory=345860 CPUtime=1537.42 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 53687 0 0 0 153010 732 0 0 20 0 1 0 1412426 444358656 86465 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 108486 86465 1866 992 0 100344 0
Current children cumulated CPU time: 1537.42 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 345860 KiB
[startup+1587.3 s]
# the end of solver process 11138 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1574.41 s, system=7.68531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 4.18 4.18 4.15 5/261 11910
/proc/meminfo: memFree=100708648/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=433944 memory=345860 CPUtime=1556.65 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 53730 0 0 0 154919 746 0 0 20 0 1 0 1412426 444358656 86465 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 108486 86465 1866 992 0 100344 0
Current children cumulated CPU time: 1556.65 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 345860 KiB
[startup+1574.4 s]
/proc/loadavg: 4.29 4.20 4.16 5/257 11943
/proc/meminfo: memFree=100772588/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=433944 memory=347908 CPUtime=1569.41 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 53745 0 0 0 156188 753 0 0 20 0 1 0 1412426 444358656 86977 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 108486 86977 1866 992 0 100344 0
Current children cumulated CPU time: 1569.41 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 347908 KiB
[startup+1580.8 s]
/proc/loadavg: 4.26 4.20 4.16 5/258 12112
/proc/meminfo: memFree=100623440/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=463184 memory=376408 CPUtime=1575.79 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 59362 0 0 0 156820 759 0 0 20 0 1 0 1412426 474300416 94102 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 115796 94102 1866 992 0 107654 0
Current children cumulated CPU time: 1575.79 s
Current children cumulated vsize: 463184 KiB
Current children cumulated memory: 376408 KiB
[startup+1584 s]*
/proc/loadavg: 4.24 4.19 4.15 5/258 12114
/proc/meminfo: memFree=100526944/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=468660 memory=385776 CPUtime=1578.99 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 60681 0 0 0 157136 763 0 0 20 0 1 0 1412426 479907840 96444 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 117165 96444 1866 992 0 109023 0
Current children cumulated CPU time: 1578.99 s
Current children cumulated vsize: 468660 KiB
Current children cumulated memory: 385776 KiB
[startup+1585.6 s]
/proc/loadavg: 4.24 4.19 4.15 5/258 12114
/proc/meminfo: memFree=100507624/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=468960 memory=386040 CPUtime=1580.57 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 60783 0 0 0 157294 763 0 0 20 0 1 0 1412426 480215040 96510 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 117240 96510 1866 992 0 109098 0
Current children cumulated CPU time: 1580.57 s
Current children cumulated vsize: 468960 KiB
Current children cumulated memory: 386040 KiB
[startup+1586.4 s]
/proc/loadavg: 4.24 4.19 4.15 5/258 12114
/proc/meminfo: memFree=100486796/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=469428 memory=388616 CPUtime=1581.38 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 60902 0 0 0 157374 764 0 0 20 0 1 0 1412426 480694272 97154 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 117357 97154 1866 992 0 109215 0
Current children cumulated CPU time: 1581.38 s
Current children cumulated vsize: 469428 KiB
Current children cumulated memory: 388616 KiB
[startup+1586.8 s]
/proc/loadavg: 4.24 4.19 4.15 5/258 12114
/proc/meminfo: memFree=100486796/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=470352 memory=389104 CPUtime=1581.78 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 61005 0 0 0 157413 765 0 0 20 0 1 0 1412426 481640448 97276 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 117588 97276 1866 992 0 109446 0
Current children cumulated CPU time: 1581.78 s
Current children cumulated vsize: 470352 KiB
Current children cumulated memory: 389104 KiB
[startup+1587.2 s]
/proc/loadavg: 4.24 4.19 4.15 5/258 12114
/proc/meminfo: memFree=100473152/131524600 swapFree=131071996/131071996
[pid=11138] ppid=11135 vsize=470592 memory=389368 CPUtime=1582.07 cores=0,2
/proc/11138/stat : 11138 (roundingsat) R 11135 11138 6624 0 -1 4194304 61117 0 0 0 157440 767 0 0 20 0 1 0 1412426 481886208 97342 134679101440 4194304 8255733 140732639461920 0 0 0 0 0 25182210 0 0 0 17 2 0 0 13 0 0 9037040 9046032 22847488 140732639470430 140732639470692 140732639470692 140732639477705 0
/proc/11138/statm: 117648 97342 1866 992 0 109506 0
Current children cumulated CPU time: 1582.07 s
Current children cumulated vsize: 470592 KiB
Current children cumulated memory: 389368 KiB
Child status: 0
Real time (s): 1587.3
CPU time (s): 1582.09
CPU user time (s): 1574.41
CPU system time (s): 7.68531
CPU usage (%): 99.6717
Max. virtual memory (cumulated for all children) (KiB): 470592
Max. memory (cumulated for all children) (KiB): 389368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1574.41
system time used= 7.68531
maximum resident set size= 389368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24331208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3563
involuntary context switches= 10985
# summary of solver processes directly reported to runsolver:
# pid: 11138
# total CPU time (s): 1582.09
# total CPU user time (s): 1574.41
# total CPU system time (s): 7.68531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.56346 second user time and 7.94553 second system time
The end
Begin job on nodeC020 at 2024-07-30 16:02:25
IDJOB=4463284
IDBENCH=164182
IDSOLVER=3089
FILE ID=nodeC020/4463284-1722348145
RUNJOBID= nodeC020-1722340763-6635
SLURM_JOB_ID= 8248993
Free space on /tmp= 890064 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-tanglegram6.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-4463284-1722348145/watcher-4463284-1722348145 -o /tmp/evaluation-result-4463284-1722348145/solver-4463284-1722348145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6635 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463284-1722348145 --lp-cut-gomory=0 HOME/instance-4463284-1722348145.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4833b4bfdaca602656a4e797e1582c4
RANDOM SEED=1778411649
nodeC020.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 : 3659.333
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 : 7000.38
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 : 3682.183
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.00
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 : 3648.892
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 : 7000.38
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.593
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.00
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 : 3668.088
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 : 7000.38
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 : 3682.258
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.00
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.586
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 : 7000.38
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 : 3600.369
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.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121154692 kB
MemAvailable: 129081028 kB
Buffers: 57484 kB
Cached: 8685200 kB
SwapCached: 0 kB
Active: 166784 kB
Inactive: 9692260 kB
Active(anon): 1576 kB
Inactive(anon): 1136232 kB
Active(file): 165208 kB
Inactive(file): 8556028 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 60716 kB
Writeback: 0 kB
AnonPages: 1114456 kB
Mapped: 97632 kB
Shmem: 21336 kB
KReclaimable: 89492 kB
Slab: 172104 kB
SReclaimable: 89492 kB
SUnreclaim: 82612 kB
KernelStack: 4240 kB
PageTables: 11200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1707408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 452608 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC020 at 2024-07-30 16:28:53