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: 63968 MiB (61538 MiB free)
memory of node 1: 64473 MiB (61886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453830-1721450314/watcher-4453830-1721450314 -o /tmp/evaluation-result-4453830-1721450314/solver-4453830-1721450314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721444576-1045380 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4453830-1721450314.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=1050495, runsolver pid=1050492
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.13 4.15 4.10 5/255 1050496
/proc/meminfo: memFree=126382784/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=40508 memory=10812 CPUtime=0.1 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 1222 0 0 0 10 0 0 0 20 0 1 0 197202287 41480192 2703 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 10127 2703 1817 922 0 2079 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40508 KiB
Current children cumulated memory: 10812 KiB
[startup+0.205561 s]*
/proc/loadavg: 4.13 4.15 4.10 5/255 1050496
/proc/meminfo: memFree=126382280/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=40948 memory=11320 CPUtime=0.2 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 1379 0 0 0 20 0 0 0 20 0 1 0 197202287 41930752 2830 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 10237 2830 1817 922 0 2189 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40948 KiB
Current children cumulated memory: 11320 KiB
[startup+0.305474 s]*
/proc/loadavg: 4.13 4.15 4.10 5/255 1050496
/proc/meminfo: memFree=126381832/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=41164 memory=11848 CPUtime=0.3 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 1459 0 0 0 30 0 0 0 20 0 1 0 197202287 42151936 2962 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 10291 2962 1817 922 0 2243 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 11848 KiB
[startup+0.700213 s]
/proc/loadavg: 4.13 4.15 4.10 5/255 1050496
/proc/meminfo: memFree=126379308/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=41320 memory=13896 CPUtime=0.69 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 1501 0 0 0 67 2 0 0 20 0 1 0 197202287 42311680 3474 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 10330 3474 1817 922 0 2282 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41320 KiB
Current children cumulated memory: 13896 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.15 4.10 5/255 1050496
/proc/meminfo: memFree=126379180/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=42256 memory=14948 CPUtime=1.48 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 1741 0 0 0 145 3 0 0 20 0 1 0 197202287 43270144 3737 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 10564 3737 1817 922 0 2516 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 14948 KiB
[startup+3.10537 s]
/proc/loadavg: 4.12 4.15 4.10 5/255 1050496
/proc/meminfo: memFree=126376856/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=43540 memory=16740 CPUtime=3.09 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 2102 0 0 0 303 6 0 0 20 0 1 0 197202287 44584960 4185 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 10885 4185 1944 922 0 2837 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43540 KiB
Current children cumulated memory: 16740 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.15 4.10 5/255 1050498
/proc/meminfo: memFree=126371368/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=49220 memory=22096 CPUtime=6.28 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 3432 0 0 0 618 10 0 0 20 0 1 0 197202287 50401280 5524 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 12305 5524 1960 922 0 4257 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 49220 KiB
Current children cumulated memory: 22096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 1050498
/proc/meminfo: memFree=126369212/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=51460 memory=25788 CPUtime=12.66 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 4654 0 0 0 1249 17 0 0 20 0 1 0 197202287 52695040 6447 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 12865 6447 1960 922 0 4817 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 51460 KiB
Current children cumulated memory: 25788 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.10 5/255 1050501
/proc/meminfo: memFree=126355440/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=61580 memory=35872 CPUtime=25.43 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 6639 0 0 0 2519 24 0 0 20 0 1 0 197202287 63057920 8968 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 15395 8968 1960 922 0 7347 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 61580 KiB
Current children cumulated memory: 35872 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 1050504
/proc/meminfo: memFree=126340100/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=78420 memory=50148 CPUtime=50.97 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 9493 0 0 0 5063 34 0 0 20 0 1 0 197202287 80302080 12537 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 19605 12537 1960 922 0 11557 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 78420 KiB
Current children cumulated memory: 50148 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 1050516
/proc/meminfo: memFree=126317684/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=98232 memory=67164 CPUtime=102.05 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 12229 0 0 0 10163 42 0 0 20 0 1 0 197202287 100589568 16791 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 24558 16791 1960 922 0 16510 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 98232 KiB
Current children cumulated memory: 67164 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 1050528
/proc/meminfo: memFree=126298376/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=127020 memory=81516 CPUtime=161.92 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 14796 0 0 0 16141 51 0 0 20 0 1 0 197202287 130068480 20379 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 31755 20379 1960 922 0 23707 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 127020 KiB
Current children cumulated memory: 81516 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 1050539
/proc/meminfo: memFree=126271268/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=131736 memory=87712 CPUtime=221.78 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 15885 0 0 0 22120 58 0 0 20 0 1 0 197202287 134897664 21928 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 32934 21928 1960 922 0 24886 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 131736 KiB
Current children cumulated memory: 87712 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 1050549
/proc/meminfo: memFree=126242464/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=131092 memory=87260 CPUtime=281.64 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 15974 0 0 0 28098 66 0 0 20 0 1 0 197202287 134238208 21815 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 32773 21815 1960 922 0 24725 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 87260 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1050561
/proc/meminfo: memFree=126242328/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=131092 memory=87260 CPUtime=341.5 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 15995 0 0 0 34079 71 0 0 20 0 1 0 197202287 134238208 21815 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 32773 21815 1960 922 0 24725 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 87260 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 1050571
/proc/meminfo: memFree=126232528/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=132932 memory=88800 CPUtime=401.37 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 16398 0 0 0 40060 77 0 0 20 0 1 0 197202287 136122368 22200 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 33233 22200 1960 922 0 25185 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 132932 KiB
Current children cumulated memory: 88800 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 1050581
/proc/meminfo: memFree=126221440/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=136800 memory=93988 CPUtime=461.23 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 17202 0 0 0 46040 83 0 0 20 0 1 0 197202287 140083200 23497 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 34200 23497 1960 922 0 26152 0
################
# More data... #
################
Current children cumulated memory: 211640 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/256 1052157
/proc/meminfo: memFree=126182776/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=291368 memory=215416 CPUtime=2855.32 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 33293 0 0 0 285339 193 0 0 20 0 1 0 197202287 298360832 53854 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 72842 53854 1960 922 0 64794 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 291368 KiB
Current children cumulated memory: 215416 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/256 1052167
/proc/meminfo: memFree=126173936/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=293096 memory=218664 CPUtime=2915.15 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 33667 0 0 0 291320 195 0 0 20 0 1 0 197202287 300130304 54666 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 73274 54666 1960 922 0 65226 0
Current children cumulated CPU time: 2915.15 s
Current children cumulated vsize: 293096 KiB
Current children cumulated memory: 218664 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/258 1052348
/proc/meminfo: memFree=126162796/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=295272 memory=219864 CPUtime=2974.98 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 34112 0 0 0 297301 197 0 0 20 0 1 0 197202287 302358528 54966 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 73818 54966 1960 922 0 65770 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 295272 KiB
Current children cumulated memory: 219864 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/258 1052358
/proc/meminfo: memFree=126157412/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=298172 memory=224144 CPUtime=3034.8 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 34810 0 0 0 303281 199 0 0 20 0 1 0 197202287 305328128 56036 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 74543 56036 1960 922 0 66495 0
Current children cumulated CPU time: 3034.8 s
Current children cumulated vsize: 298172 KiB
Current children cumulated memory: 224144 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/260 1052428
/proc/meminfo: memFree=126152120/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=299452 memory=226980 CPUtime=3094.63 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 35042 0 0 0 309263 200 0 0 20 0 1 0 197202287 306638848 56745 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 74863 56745 1960 922 0 66815 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 299452 KiB
Current children cumulated memory: 226980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/259 1052440
/proc/meminfo: memFree=126136032/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=299708 memory=236944 CPUtime=3154.46 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 35210 0 0 0 315244 202 0 0 20 0 1 0 197202287 306900992 59236 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 74927 59236 1960 922 0 66879 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 299708 KiB
Current children cumulated memory: 236944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/259 1052451
/proc/meminfo: memFree=126124780/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=301756 memory=240036 CPUtime=3214.31 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 35471 0 0 0 321228 203 0 0 20 0 1 0 197202287 308998144 60009 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 75439 60009 1960 922 0 67391 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 301756 KiB
Current children cumulated memory: 240036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/257 1052461
/proc/meminfo: memFree=126113844/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=302780 memory=242688 CPUtime=3274.16 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 35742 0 0 0 327212 204 0 0 20 0 1 0 197202287 310046720 60672 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 75695 60672 1960 922 0 67647 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 302780 KiB
Current children cumulated memory: 242688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/258 1052473
/proc/meminfo: memFree=126093568/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=305084 memory=243744 CPUtime=3334.02 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 36042 0 0 0 333196 206 0 0 20 0 1 0 197202287 312406016 60936 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 76271 60936 1960 922 0 68223 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 305084 KiB
Current children cumulated memory: 243744 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/255 1052483
/proc/meminfo: memFree=126081796/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=308156 memory=247448 CPUtime=3393.86 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 36574 0 0 0 339179 207 0 0 20 0 1 0 197202287 315551744 61862 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 77039 61862 1960 922 0 68991 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 308156 KiB
Current children cumulated memory: 247448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.14 5/255 1052493
/proc/meminfo: memFree=126066232/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=310204 memory=248768 CPUtime=3453.72 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 36880 0 0 0 345163 209 0 0 20 0 1 0 197202287 317648896 62192 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 77551 62192 1960 922 0 69503 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 310204 KiB
Current children cumulated memory: 248768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/255 1052503
/proc/meminfo: memFree=126056336/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=311996 memory=251672 CPUtime=3513.56 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 37233 0 0 0 351146 210 0 0 20 0 1 0 197202287 319483904 62918 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 77999 62918 1960 922 0 69951 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 311996 KiB
Current children cumulated memory: 251672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/255 1052514
/proc/meminfo: memFree=126042332/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=313532 memory=254776 CPUtime=3573.4 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 37450 0 0 0 357128 212 0 0 20 0 1 0 197202287 321056768 63694 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 78383 63694 1960 922 0 70335 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 313532 KiB
Current children cumulated memory: 254776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.09 4.11 4.13 5/255 1052520
/proc/meminfo: memFree=126040092/131524600 swapFree=131071996/131071996
[pid=1050495] ppid=1050492 vsize=315196 memory=255736 CPUtime=3600.03 cores=5,7
/proc/1050495/stat : 1050495 (roundingsat) R 1050492 1050495 1045367 0 -1 4194304 37795 0 0 0 359791 212 0 0 20 0 1 0 197202287 322760704 63934 134679101440 4194304 7968869 140727556621296 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30879744 140727556625340 140727556625504 140727556625504 140727556632521 0
/proc/1050495/statm: 78799 63934 1960 922 0 70751 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 315196 KiB
Current children cumulated memory: 255736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1050495 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3597.92 s, system=2.1279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.01
CPU time (s): 3600.05
CPU user time (s): 3597.92
CPU system time (s): 2.1279
CPU usage (%): 99.7517
Max. virtual memory (cumulated for all children) (KiB): 315196
Max. memory (cumulated for all children) (KiB): 255736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.92
system time used= 2.1279
maximum resident set size= 255736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 3423
# summary of solver processes directly reported to runsolver:
# pid: 1050495
# total CPU time (s): 3600.05
# total CPU user time (s): 3597.92
# total CPU system time (s): 2.1279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73585 second user time and 16.5144 second system time
The end
Begin job on nodeC035 at 2024-07-20 06:38:47
IDJOB=4453830
IDBENCH=175925
IDSOLVER=3051
FILE ID=nodeC035/4453830-1721450314
RUNJOBID= nodeC035-1721444576-1045380
SLURM_JOB_ID= 7545654
Free space on /tmp= 890052 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq10/normalized-15array_ineq10.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453830-1721450314/watcher-4453830-1721450314 -o /tmp/evaluation-result-4453830-1721450314/solver-4453830-1721450314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721444576-1045380 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4453830-1721450314.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80d0bb689427e6d4d718d000fcfdf3ab
RANDOM SEED=1474775436
nodeC035.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 : 3655.594
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.65
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 : 3663.290
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 : 7005.79
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.011
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.65
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 : 3599.892
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 : 7005.79
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 : 3655.722
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.65
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 : 3659.708
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 : 7005.79
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 : 3599.994
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.65
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 : 3654.156
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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126387520 kB
MemAvailable: 129089676 kB
Buffers: 561944 kB
Cached: 2957704 kB
SwapCached: 0 kB
Active: 1049768 kB
Inactive: 3412464 kB
Active(anon): 1544 kB
Inactive(anon): 986624 kB
Active(file): 1048224 kB
Inactive(file): 2425840 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5248 kB
Writeback: 0 kB
AnonPages: 936708 kB
Mapped: 117360 kB
Shmem: 45916 kB
KReclaimable: 135828 kB
Slab: 253396 kB
SReclaimable: 135828 kB
SUnreclaim: 117568 kB
KernelStack: 4144 kB
PageTables: 11192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1306168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 643072 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: 207572 kB
DirectMap2M: 19488768 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC035 at 2024-07-20 07:38:56