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 (51868 MiB free)
memory of node 1: 64510 MiB (49794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457141-1721825058/watcher-4457141-1721825058 -o /tmp/evaluation-result-4457141-1721825058/solver-4457141-1721825058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192408 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457141-1721825058 --lp-cut-gomory=0 HOME/instance-4457141-1721825058.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=197308, runsolver pid=197305
[startup+0.100866 s]*
/proc/loadavg: 4.15 4.17 4.12 5/266 197309
/proc/meminfo: memFree=104020864/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=144640 memory=82640 CPUtime=0.09 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 7008 0 0 0 6 3 0 0 20 0 1 0 19034518 148111360 20660 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 36160 20660 1376 992 0 28018 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 144640 KiB
Current children cumulated memory: 82640 KiB
[startup+0.205799 s]*
/proc/loadavg: 4.15 4.17 4.12 5/266 197309
/proc/meminfo: memFree=104010656/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=146320 memory=87324 CPUtime=0.2 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 7668 0 0 0 14 6 0 0 20 0 1 0 19034518 149831680 21831 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 36580 21831 1376 992 0 28438 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146320 KiB
Current children cumulated memory: 87324 KiB
[startup+0.305713 s]*
/proc/loadavg: 4.15 4.17 4.12 5/266 197309
/proc/meminfo: memFree=104006176/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=147632 memory=88380 CPUtime=0.3 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 7935 0 0 0 22 8 0 0 20 0 1 0 19034518 151175168 22095 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 36908 22095 1376 992 0 28766 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 88380 KiB
[startup+0.700215 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 197309
/proc/meminfo: memFree=103992312/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=160336 memory=100452 CPUtime=0.68 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 9886 0 0 0 52 16 0 0 20 0 1 0 19034518 164184064 25113 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 40084 25113 1376 992 0 31942 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 160336 KiB
Current children cumulated memory: 100452 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 197309
/proc/meminfo: memFree=103954508/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=189248 memory=122124 CPUtime=1.48 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 13775 0 0 0 117 31 0 0 20 0 1 0 19034518 193789952 30531 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 47312 30531 1376 992 0 39170 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189248 KiB
Current children cumulated memory: 122124 KiB
[startup+3.10571 s]
/proc/loadavg: 4.14 4.17 4.12 5/266 197309
/proc/meminfo: memFree=103403716/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=711692 memory=561140 CPUtime=3.08 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 73292 0 0 0 258 50 0 0 20 0 1 0 19034518 728772608 140285 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 177923 140285 1759 992 0 169781 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 711692 KiB
Current children cumulated memory: 561140 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.17 4.12 5/266 197310
/proc/meminfo: memFree=103203240/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=731608 memory=617804 CPUtime=6.27 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 76207 0 0 0 537 90 0 0 20 0 1 0 19034518 749166592 154451 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 182902 154451 1807 992 0 174760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 731608 KiB
Current children cumulated memory: 617804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.17 4.12 5/266 197310
/proc/meminfo: memFree=103070500/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=731608 memory=617924 CPUtime=12.6 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 76237 0 0 0 1162 98 0 0 20 0 1 0 19034518 749166592 154481 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 182902 154481 1807 992 0 174760 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 731608 KiB
Current children cumulated memory: 617924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.12 5/266 197313
/proc/meminfo: memFree=102721884/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=731608 memory=617924 CPUtime=25.36 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 76269 0 0 0 2438 98 0 0 20 0 1 0 19034518 749166592 154481 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 182902 154481 1807 992 0 174760 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 731608 KiB
Current children cumulated memory: 617924 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.16 4.12 5/263 197316
/proc/meminfo: memFree=102011476/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=731608 memory=617924 CPUtime=50.84 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 76303 0 0 0 4982 102 0 0 20 0 1 0 19034518 749166592 154481 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 182902 154481 1807 992 0 174760 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 731608 KiB
Current children cumulated memory: 617924 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/261 197325
/proc/meminfo: memFree=100341648/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=737768 memory=629336 CPUtime=101.84 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 77689 0 0 0 10076 108 0 0 20 0 1 0 19034518 755474432 157334 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184442 157334 1807 992 0 176300 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 737768 KiB
Current children cumulated memory: 629336 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 197337
/proc/meminfo: memFree=98243272/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=737768 memory=629336 CPUtime=161.58 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 77716 0 0 0 16045 113 0 0 20 0 1 0 19034518 755474432 157334 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184442 157334 1807 992 0 176300 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 737768 KiB
Current children cumulated memory: 629336 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/262 197352
/proc/meminfo: memFree=96132788/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=737768 memory=629336 CPUtime=221.34 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 77734 0 0 0 22017 117 0 0 20 0 1 0 19034518 755474432 157334 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184442 157334 1807 992 0 176300 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 737768 KiB
Current children cumulated memory: 629336 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/263 197363
/proc/meminfo: memFree=95000812/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=737768 memory=629336 CPUtime=281.1 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 77768 0 0 0 27990 120 0 0 20 0 1 0 19034518 755474432 157334 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184442 157334 1807 992 0 176300 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 737768 KiB
Current children cumulated memory: 629336 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/264 197376
/proc/meminfo: memFree=93128812/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=737768 memory=629336 CPUtime=340.86 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 77789 0 0 0 33964 122 0 0 20 0 1 0 19034518 755474432 157334 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184442 157334 1807 992 0 176300 0
Current children cumulated CPU time: 340.86 s
Current children cumulated vsize: 737768 KiB
Current children cumulated memory: 629336 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/265 197389
/proc/meminfo: memFree=90466460/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=739816 memory=630380 CPUtime=400.58 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 78101 0 0 0 39930 128 0 0 20 0 1 0 19034518 757571584 157595 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184954 157595 1807 992 0 176812 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 739816 KiB
Current children cumulated memory: 630380 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/266 197402
/proc/meminfo: memFree=87876276/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=739816 memory=630548 CPUtime=460.33 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 78180 0 0 0 45899 134 0 0 20 0 1 0 19034518 757571584 157637 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 184954 157637 1807 992 0 176812 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.59 3.23 3.79 2/240 199241
/proc/meminfo: memFree=102508632/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5444848 memory=4447252 CPUtime=3089.99 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 584424 0 0 0 306913 2086 0 0 20 0 1 0 19034518 5575524352 1111813 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1361212 1111813 1885 992 0 1353070 0
Current children cumulated CPU time: 3089.99 s
Current children cumulated vsize: 5444848 KiB
Current children cumulated memory: 4447252 KiB
[startup+3162.3 s]
/proc/loadavg: 1.37 2.87 3.62 2/240 199252
/proc/meminfo: memFree=101697336/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5453824 memory=4492320 CPUtime=3149.83 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 588614 0 0 0 312797 2186 0 0 20 0 1 0 19034518 5584715776 1123080 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1363456 1123080 1885 992 0 1355314 0
Current children cumulated CPU time: 3149.83 s
Current children cumulated vsize: 5453824 KiB
Current children cumulated memory: 4492320 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 2.52 3.46 2/239 199264
/proc/meminfo: memFree=100744008/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5453824 memory=4504772 CPUtime=3209.67 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 589015 0 0 0 318720 2247 0 0 20 0 1 0 19034518 5584715776 1126193 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1363456 1126193 1885 992 0 1355314 0
Current children cumulated CPU time: 3209.67 s
Current children cumulated vsize: 5453824 KiB
Current children cumulated memory: 4504772 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 2.26 3.31 2/240 199277
/proc/meminfo: memFree=99260076/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5467576 memory=4523520 CPUtime=3269.51 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 590556 0 0 0 324620 2331 0 0 20 0 1 0 19034518 5598797824 1130880 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1366894 1130880 1885 992 0 1358752 0
Current children cumulated CPU time: 3269.51 s
Current children cumulated vsize: 5467576 KiB
Current children cumulated memory: 4523520 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 2.06 3.17 2/240 199288
/proc/meminfo: memFree=98796500/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5467576 memory=4523556 CPUtime=3329.35 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 591720 0 0 0 330556 2379 0 0 20 0 1 0 19034518 5598797824 1130889 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1366894 1130889 1885 992 0 1358752 0
Current children cumulated CPU time: 3329.35 s
Current children cumulated vsize: 5467576 KiB
Current children cumulated memory: 4523556 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.88 3.04 2/239 199301
/proc/meminfo: memFree=98508004/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5467576 memory=4523900 CPUtime=3389.2 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 592922 0 0 0 336505 2415 0 0 20 0 1 0 19034518 5598797824 1130975 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1366894 1130975 1885 992 0 1358752 0
Current children cumulated CPU time: 3389.2 s
Current children cumulated vsize: 5467576 KiB
Current children cumulated memory: 4523900 KiB
[startup+3462.3 s]
/proc/loadavg: 1.19 1.76 2.92 2/239 199312
/proc/meminfo: memFree=98192648/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5507076 memory=4547500 CPUtime=3449.04 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 594773 0 0 0 342401 2503 0 0 20 0 1 0 19034518 5639245824 1136875 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1376769 1136875 1885 992 0 1368627 0
Current children cumulated CPU time: 3449.04 s
Current children cumulated vsize: 5507076 KiB
Current children cumulated memory: 4547500 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.64 2.80 2/239 199322
/proc/meminfo: memFree=98191040/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5507076 memory=4548368 CPUtime=3508.87 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 595404 0 0 0 348376 2511 0 0 20 0 1 0 19034518 5639245824 1137092 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1376769 1137092 1885 992 0 1368627 0
Current children cumulated CPU time: 3508.87 s
Current children cumulated vsize: 5507076 KiB
Current children cumulated memory: 4548368 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.53 2.69 2/237 199334
/proc/meminfo: memFree=98181612/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5513352 memory=4557004 CPUtime=3568.7 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 596713 0 0 0 354353 2517 0 0 20 0 1 0 19034518 5645672448 1139251 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1378338 1139251 1885 992 0 1370196 0
Current children cumulated CPU time: 3568.7 s
Current children cumulated vsize: 5513352 KiB
Current children cumulated memory: 4557004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.7 s]
/proc/loadavg: 1.11 1.50 2.64 2/238 199340
/proc/meminfo: memFree=98178264/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5513808 memory=4559980 CPUtime=3600.02 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 597242 0 0 0 357482 2520 0 0 20 0 1 0 19034518 5646139392 1139995 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1378452 1139995 1885 992 0 1370310 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5513808 KiB
Current children cumulated memory: 4559980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3618.87 s]
# the end of solver process 197308 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3576.82 s, system=25.2806 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 1.10 1.49 2.63 2/238 199342
/proc/meminfo: memFree=98178264/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5513808 memory=4559980 CPUtime=3600.72 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 597242 0 0 0 357552 2520 0 0 20 0 1 0 19034518 5646139392 1139995 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1378452 1139995 1885 992 0 1370310 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 5513808 KiB
Current children cumulated memory: 4559980 KiB
[startup+3615.2 s]
/proc/loadavg: 1.10 1.49 2.63 2/238 199342
/proc/meminfo: memFree=98178152/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5513808 memory=4559980 CPUtime=3601.51 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 597242 0 0 0 357631 2520 0 0 20 0 1 0 19034518 5646139392 1139995 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1378452 1139995 1885 992 0 1370310 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 5513808 KiB
Current children cumulated memory: 4559980 KiB
[startup+3615.6 s]
/proc/loadavg: 1.10 1.49 2.63 2/238 199342
/proc/meminfo: memFree=98178152/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5513808 memory=4560040 CPUtime=3601.91 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 597269 0 0 0 357671 2520 0 0 20 0 1 0 19034518 5646139392 1140010 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1378452 1140010 1885 992 0 1370310 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 5513808 KiB
Current children cumulated memory: 4560040 KiB
[startup+3615.7 s]
/proc/loadavg: 1.10 1.49 2.63 2/238 199342
/proc/meminfo: memFree=98178152/131524600 swapFree=131065292/131071996
[pid=197308] ppid=197305 vsize=5513808 memory=4560040 CPUtime=3602.01 cores=0,2
/proc/197308/stat : 197308 (roundingsat) R 197305 197308 192398 0 -1 4194304 597269 0 0 0 357681 2520 0 0 20 0 1 0 19034518 5646139392 1140010 134679101440 4194304 8254037 140720389965600 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41189376 140720389972828 140720389973090 140720389973090 140720389980105 0
/proc/197308/statm: 1378452 1140010 1885 992 0 1370310 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 5513808 KiB
Current children cumulated memory: 4560040 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3618.87
CPU time (s): 3602.1
CPU user time (s): 3576.82
CPU system time (s): 25.2806
CPU usage (%): 99.5365
Max. virtual memory (cumulated for all children) (KiB): 5513808
Max. memory (cumulated for all children) (KiB): 4560040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.82
system time used= 25.2806
maximum resident set size= 4560048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45491120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 24797
# summary of solver processes directly reported to runsolver:
# pid: 197308
# total CPU time (s): 3602.1
# total CPU user time (s): 3576.82
# total CPU system time (s): 25.2806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14367 second user time and 16.2071 second system time
The end
Begin job on nodeC021 at 2024-07-24 14:44:19
IDJOB=4457141
IDBENCH=157408
IDSOLVER=3085
FILE ID=nodeC021/4457141-1721825058
RUNJOBID= nodeC021-1721817186-192408
SLURM_JOB_ID= 7816876
Free space on /tmp= 889832 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.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-4457141-1721825058/watcher-4457141-1721825058 -o /tmp/evaluation-result-4457141-1721825058/solver-4457141-1721825058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192408 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457141-1721825058 --lp-cut-gomory=0 HOME/instance-4457141-1721825058.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ad0aeea3e7e7044b142cd83589fcb352
RANDOM SEED=1048486167
nodeC021.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 : 3673.749
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.35
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 : 3688.266
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.41
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 : 3633.440
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.35
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.477
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.41
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 : 3672.395
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.35
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 : 3688.280
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.41
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.452
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.35
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.416
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.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 104103128 kB
MemAvailable: 122206256 kB
Buffers: 258840 kB
Cached: 18625112 kB
SwapCached: 192 kB
Active: 2832372 kB
Inactive: 23843464 kB
Active(anon): 1696 kB
Inactive(anon): 7843924 kB
Active(file): 2830676 kB
Inactive(file): 15999540 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131065292 kB
Dirty: 951488 kB
Writeback: 4 kB
AnonPages: 7783684 kB
Mapped: 129148 kB
Shmem: 53696 kB
KReclaimable: 225120 kB
Slab: 374392 kB
SReclaimable: 225120 kB
SUnreclaim: 149272 kB
KernelStack: 4276 kB
PageTables: 24748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8836348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3158016 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: 322260 kB
DirectMap2M: 40345600 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC021 at 2024-07-24 15:44:38