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 (61478 MiB free)
memory of node 1: 64473 MiB (61911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455691-1721466241/watcher-4455691-1721466241 -o /tmp/evaluation-result-4455691-1721466241/solver-4455691-1721466241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053049 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455691-1721466241.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057908, runsolver pid=1057905
[startup+0.100624 s]*
/proc/loadavg: 4.11 4.16 4.14 5/257 1057909
/proc/meminfo: memFree=126323564/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=63592 memory=32680 CPUtime=0.09 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 8461 0 0 0 8 1 0 0 20 0 1 0 198789043 65118208 8170 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 15898 8170 1275 922 0 7850 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63592 KiB
Current children cumulated memory: 32680 KiB
[startup+0.205655 s]*
/proc/loadavg: 4.11 4.16 4.14 5/257 1057909
/proc/meminfo: memFree=126291828/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=89700 memory=61908 CPUtime=0.2 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 12696 0 0 0 18 2 0 0 20 0 1 0 198789043 91852800 15477 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 22425 15477 1275 922 0 14377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 89700 KiB
Current children cumulated memory: 61908 KiB
[startup+0.305631 s]*
/proc/loadavg: 4.11 4.16 4.14 5/257 1057909
/proc/meminfo: memFree=126249196/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=139848 memory=106064 CPUtime=0.3 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 16583 0 0 0 26 4 0 0 20 0 1 0 198789043 143204352 26516 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 34962 26516 1275 922 0 26914 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139848 KiB
Current children cumulated memory: 106064 KiB
[startup+0.700223 s]
/proc/loadavg: 4.11 4.16 4.14 5/257 1057909
/proc/meminfo: memFree=126170844/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=249420 memory=193880 CPUtime=0.69 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 22767 0 0 0 62 7 0 0 20 0 1 0 198789043 255406080 48470 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 62355 48470 1275 922 0 54307 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 249420 KiB
Current children cumulated memory: 193880 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.16 4.14 5/257 1057909
/proc/meminfo: memFree=126145128/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=497628 memory=431248 CPUtime=1.48 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 43790 0 0 0 131 17 0 0 20 0 1 0 198789043 509571072 107812 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 124407 107812 1578 922 0 116359 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 497628 KiB
Current children cumulated memory: 431248 KiB
[startup+3.10546 s]
/proc/loadavg: 4.10 4.16 4.14 5/257 1057911
/proc/meminfo: memFree=125676268/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=712216 memory=642368 CPUtime=3.08 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 63790 0 0 0 282 26 0 0 20 0 1 0 198789043 729309184 160592 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 178054 160592 1690 922 0 170006 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 712216 KiB
Current children cumulated memory: 642368 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.16 4.14 5/257 1057911
/proc/meminfo: memFree=125662644/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=712216 memory=645088 CPUtime=6.27 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 64521 0 0 0 601 26 0 0 20 0 1 0 198789043 729309184 161272 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 178054 161272 1690 922 0 170006 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 712216 KiB
Current children cumulated memory: 645088 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.14 5/257 1057912
/proc/meminfo: memFree=125592236/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=800900 memory=723024 CPUtime=12.67 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 68313 0 0 0 1101 166 0 0 20 0 1 0 198789043 820121600 180756 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 200225 180756 1738 922 0 192177 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 800900 KiB
Current children cumulated memory: 723024 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.14 4.13 5/257 1057914
/proc/meminfo: memFree=125431552/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=935628 memory=844528 CPUtime=25.44 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 69735 0 0 0 2222 322 0 0 20 0 1 0 198789043 958083072 211132 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 233907 211132 1738 922 0 225859 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 935628 KiB
Current children cumulated memory: 844528 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.15 4.14 5/257 1057917
/proc/meminfo: memFree=125382096/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=950988 memory=861140 CPUtime=50.99 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 71577 0 0 0 4775 324 0 0 20 0 1 0 198789043 973811712 215285 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 237747 215285 1738 922 0 229699 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 950988 KiB
Current children cumulated memory: 861140 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/255 1057927
/proc/meminfo: memFree=125104236/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=1054524 memory=965232 CPUtime=102.08 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 97804 0 0 0 9728 480 0 0 20 0 1 0 198789043 1079832576 241308 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 263631 241308 1801 922 0 255583 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1054524 KiB
Current children cumulated memory: 965232 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.14 5/255 1057937
/proc/meminfo: memFree=124297412/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=1459732 memory=1321908 CPUtime=161.95 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 113712 0 0 0 15666 529 0 0 20 0 1 0 198789043 1494765568 330477 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 364933 330477 1817 922 0 356885 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 1459732 KiB
Current children cumulated memory: 1321908 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/254 1057948
/proc/meminfo: memFree=124073700/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=1886260 memory=1542396 CPUtime=221.82 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 133746 0 0 0 21634 548 0 0 20 0 1 0 198789043 1931530240 385599 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 471565 385599 1817 922 0 463517 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 1886260 KiB
Current children cumulated memory: 1542396 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/255 1057959
/proc/meminfo: memFree=123537240/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=2539452 memory=2054884 CPUtime=281.67 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 156254 0 0 0 27557 610 0 0 20 0 1 0 198789043 2600398848 513721 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 634863 513721 1817 922 0 626815 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 2539452 KiB
Current children cumulated memory: 2054884 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/255 1057969
/proc/meminfo: memFree=123154568/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=2633124 memory=2425784 CPUtime=341.52 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 178239 0 0 0 33508 644 0 0 20 0 1 0 198789043 2696318976 606446 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 658281 606446 1817 922 0 650233 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 2633124 KiB
Current children cumulated memory: 2425784 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/257 1057984
/proc/meminfo: memFree=123124168/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=2641460 memory=2434548 CPUtime=401.36 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 180735 0 0 0 39454 682 0 0 20 0 1 0 198789043 2704855040 608637 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 660365 608637 1817 922 0 652317 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 2641460 KiB
Current children cumulated memory: 2434548 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/257 1057994
/proc/meminfo: memFree=123026696/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=2727632 memory=2519628 CPUtime=461.19 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 201812 0 0 0 45386 733 0 0 20 0 1 0 198789043 2793095168 629907 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 681908 629907 1817 922 0 673860 0
################
# More data... #
################
/proc/1057908/statm: 3932143 3629759 1817 922 0 3924095 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 15728572 KiB
Current children cumulated memory: 14519036 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.67 3.92 4/250 1059191
/proc/meminfo: memFree=100133996/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15739272 memory=14529804 CPUtime=2974.25 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1181152 0 0 0 294766 2659 0 0 20 0 1 0 198789043 16117014528 3632451 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3934818 3632451 1817 922 0 3926770 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 15739272 KiB
Current children cumulated memory: 14529804 KiB
[startup+3042.3 s]
/proc/loadavg: 3.19 3.58 3.87 4/250 1059202
/proc/meminfo: memFree=99845764/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15812916 memory=14598716 CPUtime=3034.09 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1200104 0 0 0 300737 2672 0 0 20 0 1 0 198789043 16192425984 3649679 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3953229 3649679 1817 922 0 3945181 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 15812916 KiB
Current children cumulated memory: 14598716 KiB
[startup+3102.3 s]
/proc/loadavg: 3.16 3.50 3.82 4/248 1059594
/proc/meminfo: memFree=99557588/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15864756 memory=14649960 CPUtime=3093.93 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1215168 0 0 0 306705 2688 0 0 20 0 1 0 198789043 16245510144 3662490 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3966189 3662490 1817 922 0 3958141 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 15864756 KiB
Current children cumulated memory: 14649960 KiB
[startup+3162.3 s]
/proc/loadavg: 3.06 3.41 3.77 4/248 1059604
/proc/meminfo: memFree=99302300/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15875972 memory=14662532 CPUtime=3153.76 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1221126 0 0 0 312674 2702 0 0 20 0 1 0 198789043 16256995328 3665633 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3968993 3665633 1817 922 0 3960945 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 15875972 KiB
Current children cumulated memory: 14662532 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.37 3.73 4/248 1059616
/proc/meminfo: memFree=99043412/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15889384 memory=14688804 CPUtime=3213.6 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1230461 0 0 0 318646 2714 0 0 20 0 1 0 198789043 16270729216 3672201 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3972346 3672201 1817 922 0 3964298 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 15889384 KiB
Current children cumulated memory: 14688804 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.32 3.69 4/249 1059795
/proc/meminfo: memFree=98790068/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15906100 memory=14718516 CPUtime=3273.43 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1240150 0 0 0 324617 2726 0 0 20 0 1 0 198789043 16287846400 3679629 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3976525 3679629 1817 922 0 3968477 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 15906100 KiB
Current children cumulated memory: 14718516 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.29 3.66 4/249 1059805
/proc/meminfo: memFree=98404100/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15924488 memory=14867852 CPUtime=3333.26 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1251711 0 0 0 330580 2746 0 0 20 0 1 0 198789043 16306675712 3716963 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3981122 3716963 1817 922 0 3973074 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 15924488 KiB
Current children cumulated memory: 14867852 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.25 3.62 4/250 1059819
/proc/meminfo: memFree=97876340/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15936256 memory=15154152 CPUtime=3393.09 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1260235 0 0 0 336526 2783 0 0 20 0 1 0 198789043 16318726144 3788538 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3984064 3788538 1817 922 0 3976016 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 15936256 KiB
Current children cumulated memory: 15154152 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.22 3.58 4/250 1059840
/proc/meminfo: memFree=97540540/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=15946592 memory=15471444 CPUtime=3452.93 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1269515 0 0 0 342481 2812 0 0 20 0 1 0 198789043 16329310208 3867861 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 3986648 3867861 1817 922 0 3978600 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 15946592 KiB
Current children cumulated memory: 15471444 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.21 3.56 4/250 1059850
/proc/meminfo: memFree=97221200/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=22385924 memory=15777268 CPUtime=3512.77 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1278118 0 0 0 348445 2832 0 0 20 0 1 0 198789043 22923186176 3944317 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 5596481 3944317 1817 922 0 5588433 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 22385924 KiB
Current children cumulated memory: 15777268 KiB
[startup+3582.3 s]
/proc/loadavg: 3.05 3.17 3.52 3/241 1059892
/proc/meminfo: memFree=111877716/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=22393356 memory=16043776 CPUtime=3572.6 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1287582 0 0 0 354412 2848 0 0 20 0 1 0 198789043 22930796544 4010944 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 5598339 4010944 1817 922 0 5590291 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 22393356 KiB
Current children cumulated memory: 16043776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 2.70 3.07 3.47 3/241 1059896
/proc/meminfo: memFree=111702780/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=22400904 memory=16220940 CPUtime=3600.04 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1292093 0 0 0 357136 2868 0 0 20 0 1 0 198789043 22938525696 4055235 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 5600226 4055235 1817 922 0 5592178 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 22400904 KiB
Current children cumulated memory: 16220940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.88 s]
# the end of solver process 1057908 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.12 s, system=29.004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 2.70 3.07 3.47 3/241 1059896
/proc/meminfo: memFree=111699948/131524600 swapFree=131070704/131071996
[pid=1057908] ppid=1057905 vsize=22285160 memory=16105716 CPUtime=3600.64 cores=1,3
/proc/1057908/stat : 1057908 (roundingsat) R 1057905 1057908 1053037 0 -1 4194304 1292522 0 0 0 357196 2868 0 0 20 0 1 0 198789043 22820003840 4026429 134679101440 4194304 7968373 140732422751344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 17051648 140732422755260 140732422755424 140732422755424 140732422762441 0
/proc/1057908/statm: 5571290 4026429 1933 922 0 5563242 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 22285160 KiB
Current children cumulated memory: 16105716 KiB
[startup+3610.8 s]
/proc/loadavg: 2.70 3.07 3.47 3/241 1059896
/proc/meminfo: memFree=113215592/131524600 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.88
CPU time (s): 3601.12
CPU user time (s): 3572.12
CPU system time (s): 29.004
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 22400904
Max. memory (cumulated for all children) (KiB): 16220940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.12
system time used= 29.004
maximum resident set size= 16220940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1292745
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= 7
involuntary context switches= 4335
# summary of solver processes directly reported to runsolver:
# pid: 1057908
# total CPU time (s): 3601.12
# total CPU user time (s): 3572.12
# total CPU system time (s): 29.004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01978 second user time and 15.4222 second system time
The end
Begin job on nodeC023 at 2024-07-20 11:04:13
IDJOB=4455691
IDBENCH=160481
IDSOLVER=3084
FILE ID=nodeC023/4455691-1721466241
RUNJOBID= nodeC023-1721458565-1053049
SLURM_JOB_ID= 7545704
Free space on /tmp= 890008 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm100p-dec.opb.negationfix.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-4455691-1721466241/watcher-4455691-1721466241 -o /tmp/evaluation-result-4455691-1721466241/solver-4455691-1721466241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053049 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455691-1721466241.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7aedd7c3672972b6263e08c161e73d18
RANDOM SEED=816009176
nodeC023.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 : 3685.338
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.61
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 : 3687.220
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.48
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 : 3599.988
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.61
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 : 3657.495
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.48
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 : 3685.323
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.61
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 : 3687.534
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.48
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.070
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.61
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 : 3602.584
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126353324 kB
MemAvailable: 128628764 kB
Buffers: 599264 kB
Cached: 2512268 kB
SwapCached: 80 kB
Active: 1284120 kB
Inactive: 3315228 kB
Active(anon): 1580 kB
Inactive(anon): 1532308 kB
Active(file): 1282540 kB
Inactive(file): 1782920 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 71740 kB
Writeback: 148 kB
AnonPages: 1488116 kB
Mapped: 112296 kB
Shmem: 45728 kB
KReclaimable: 99608 kB
Slab: 193776 kB
SReclaimable: 99608 kB
SUnreclaim: 94168 kB
KernelStack: 4112 kB
PageTables: 12552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1985748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 899072 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC023 at 2024-07-20 12:04:24