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 (60790 MiB free)
memory of node 1: 64510 MiB (61804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455641-1721464304/watcher-4455641-1721464304 -o /tmp/evaluation-result-4455641-1721464304/solver-4455641-1721464304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065997 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455641-1721464304.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1070597, runsolver pid=1070594
[startup+0.100089 s]*
/proc/loadavg: 4.43 4.23 4.15 5/259 1070598
/proc/meminfo: memFree=125522384/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=52516 memory=24192 CPUtime=0.1 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 5894 0 0 0 8 2 0 0 20 0 1 0 198594546 53776384 6048 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 13129 6048 1566 922 0 5081 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52516 KiB
Current children cumulated memory: 24192 KiB
[startup+0.20598 s]*
/proc/loadavg: 4.43 4.23 4.15 5/259 1070598
/proc/meminfo: memFree=125500796/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=76080 memory=42984 CPUtime=0.2 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 11253 0 0 0 18 2 0 0 20 0 1 0 198594546 77905920 10746 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 19020 10746 1678 922 0 10972 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76080 KiB
Current children cumulated memory: 42984 KiB
[startup+0.305976 s]*
/proc/loadavg: 4.43 4.23 4.15 5/259 1070598
/proc/meminfo: memFree=125498712/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=76752 memory=44568 CPUtime=0.3 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 11629 0 0 0 28 2 0 0 20 0 1 0 198594546 78594048 11142 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 19188 11142 1678 922 0 11140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76752 KiB
Current children cumulated memory: 44568 KiB
[startup+0.700205 s]
/proc/loadavg: 4.43 4.23 4.15 5/259 1070598
/proc/meminfo: memFree=125496556/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=79588 memory=48000 CPUtime=0.69 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 12500 0 0 0 66 3 0 0 20 0 1 0 198594546 81498112 12000 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 19897 12000 1678 922 0 11849 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79588 KiB
Current children cumulated memory: 48000 KiB
[startup+1.50024 s]
/proc/loadavg: 4.43 4.23 4.15 5/259 1070598
/proc/meminfo: memFree=125495212/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=79588 memory=48264 CPUtime=1.48 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 12536 0 0 0 145 3 0 0 20 0 1 0 198594546 81498112 12066 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 19897 12066 1678 922 0 11849 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79588 KiB
Current children cumulated memory: 48264 KiB
[startup+3.106 s]
/proc/loadavg: 4.47 4.24 4.16 5/259 1070598
/proc/meminfo: memFree=125492580/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=84240 memory=51740 CPUtime=3.09 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 13369 0 0 0 291 18 0 0 20 0 1 0 198594546 86261760 12935 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 21060 12935 1726 922 0 13012 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84240 KiB
Current children cumulated memory: 51740 KiB
[startup+6.30021 s]
/proc/loadavg: 4.47 4.24 4.16 5/259 1070599
/proc/meminfo: memFree=125486152/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=85832 memory=53588 CPUtime=6.27 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 13839 0 0 0 608 19 0 0 20 0 1 0 198594546 87891968 13397 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 21458 13397 1726 922 0 13410 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85832 KiB
Current children cumulated memory: 53588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.48 4.25 4.16 5/257 1070613
/proc/meminfo: memFree=125777464/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=86660 memory=55172 CPUtime=12.66 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 14258 0 0 0 1244 22 0 0 20 0 1 0 198594546 88739840 13793 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 21665 13793 1726 922 0 13617 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86660 KiB
Current children cumulated memory: 55172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.40 4.24 4.16 5/259 1070694
/proc/meminfo: memFree=125689556/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=88276 memory=57512 CPUtime=25.43 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 14771 0 0 0 2486 57 0 0 20 0 1 0 198594546 90394624 14378 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 22069 14378 1787 922 0 14021 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 88276 KiB
Current children cumulated memory: 57512 KiB
[startup+51.106 s]
/proc/loadavg: 4.26 4.22 4.16 5/259 1070697
/proc/meminfo: memFree=125622712/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=113440 memory=81032 CPUtime=50.97 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 19597 0 0 0 4983 114 0 0 20 0 1 0 198594546 116162560 20258 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 28360 20258 1803 922 0 20312 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 113440 KiB
Current children cumulated memory: 81032 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.21 4.16 5/258 1070706
/proc/meminfo: memFree=125228724/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=203584 memory=153528 CPUtime=102.05 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 28079 0 0 0 9994 211 0 0 20 0 1 0 198594546 208470016 38382 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 50896 38382 1803 922 0 42848 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 203584 KiB
Current children cumulated memory: 153528 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.20 4.16 5/258 1070718
/proc/meminfo: memFree=125123232/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=209264 memory=160920 CPUtime=161.9 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 29907 0 0 0 15914 276 0 0 20 0 1 0 198594546 214286336 40230 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 52316 40230 1803 922 0 44268 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 209264 KiB
Current children cumulated memory: 160920 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.19 4.16 5/258 1070728
/proc/meminfo: memFree=124990920/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=212812 memory=163772 CPUtime=221.75 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 30620 0 0 0 21777 398 0 0 20 0 1 0 198594546 217919488 40943 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 53203 40943 1803 922 0 45155 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 163772 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/255 1070738
/proc/meminfo: memFree=124858880/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=277608 memory=229776 CPUtime=281.6 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 46665 0 0 0 27685 475 0 0 20 0 1 0 198594546 284270592 57444 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 69402 57444 1803 922 0 61354 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 277608 KiB
Current children cumulated memory: 229776 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 1070749
/proc/meminfo: memFree=124829596/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=286976 memory=237976 CPUtime=341.46 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 48543 0 0 0 33633 513 0 0 20 0 1 0 198594546 293863424 59494 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 71744 59494 1819 922 0 63696 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 286976 KiB
Current children cumulated memory: 237976 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.15 6/254 1070759
/proc/meminfo: memFree=124497308/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=424116 memory=324576 CPUtime=401.32 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 50279 0 0 0 39522 610 0 0 20 0 1 0 198594546 434294784 81144 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 106029 81144 1819 922 0 97981 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 424116 KiB
Current children cumulated memory: 324576 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/254 1070769
/proc/meminfo: memFree=124452912/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=431376 memory=332224 CPUtime=461.16 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 52250 0 0 0 45427 689 0 0 20 0 1 0 198594546 441729024 83056 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 107844 83056 1819 922 0 99796 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/257 1071819
/proc/meminfo: memFree=123163872/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877852 CPUtime=3094.85 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94508 0 0 0 306966 2519 0 0 20 0 1 0 198594546 1278668800 219463 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219463 1948 922 0 304127 0
Current children cumulated CPU time: 3094.85 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/258 1071833
/proc/meminfo: memFree=123157936/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877880 CPUtime=3154.71 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94590 0 0 0 312937 2534 0 0 20 0 1 0 198594546 1278668800 219470 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219470 1948 922 0 304127 0
Current children cumulated CPU time: 3154.71 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/258 1072228
/proc/meminfo: memFree=123155328/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877888 CPUtime=3214.56 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94668 0 0 0 318910 2546 0 0 20 0 1 0 198594546 1278668800 219472 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219472 1948 922 0 304127 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/258 1072238
/proc/meminfo: memFree=123151212/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877900 CPUtime=3274.42 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94747 0 0 0 324883 2559 0 0 20 0 1 0 198594546 1278668800 219475 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219475 1948 922 0 304127 0
Current children cumulated CPU time: 3274.42 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 1072249
/proc/meminfo: memFree=123149416/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877920 CPUtime=3334.28 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94826 0 0 0 330853 2575 0 0 20 0 1 0 198594546 1278668800 219480 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219480 1948 922 0 304127 0
Current children cumulated CPU time: 3334.28 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/260 1072429
/proc/meminfo: memFree=123145576/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877948 CPUtime=3394.14 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94910 0 0 0 336825 2589 0 0 20 0 1 0 198594546 1278668800 219487 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219487 1948 922 0 304127 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877948 KiB
[startup+3462.3 s]
/proc/loadavg: 3.82 4.06 4.07 4/253 1072471
/proc/meminfo: memFree=125325684/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877948 CPUtime=3454 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 94984 0 0 0 342797 2603 0 0 20 0 1 0 198594546 1278668800 219487 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219487 1948 922 0 304127 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877948 KiB
[startup+3522.3 s]
/proc/loadavg: 3.35 3.88 4.01 5/251 1072539
/proc/meminfo: memFree=125313972/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=877948 CPUtime=3513.86 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95059 0 0 0 348770 2616 0 0 20 0 1 0 198594546 1278668800 219487 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 219487 1948 922 0 304127 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 877948 KiB
[startup+3582.3 s]
/proc/loadavg: 3.17 3.73 3.95 4/251 1072550
/proc/meminfo: memFree=125300040/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=880696 CPUtime=3573.71 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95151 0 0 0 354742 2629 0 0 20 0 1 0 198594546 1278668800 220174 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 220174 1948 922 0 304127 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 880696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 3.15 3.67 3.92 4/252 1072555
/proc/meminfo: memFree=125294948/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=882032 CPUtime=3600.05 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95158 0 0 0 357371 2634 0 0 20 0 1 0 198594546 1278668800 220508 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 220508 1948 922 0 304127 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 882032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 1070597 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.7 s, system=26.3596 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.15 3.67 3.92 4/252 1072555
/proc/meminfo: memFree=125294948/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=882032 CPUtime=3600.95 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95158 0 0 0 357461 2634 0 0 20 0 1 0 198594546 1278668800 220508 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 220508 1948 922 0 304127 0
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 882032 KiB
[startup+3610.4 s]
/proc/loadavg: 3.15 3.67 3.92 4/252 1072555
/proc/meminfo: memFree=125294948/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=882032 CPUtime=3601.74 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95158 0 0 0 357540 2634 0 0 20 0 1 0 198594546 1278668800 220508 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 220508 1948 922 0 304127 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 882032 KiB
[startup+3610.6 s]
/proc/loadavg: 3.15 3.67 3.92 4/252 1072555
/proc/meminfo: memFree=125294948/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=882032 CPUtime=3601.95 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95158 0 0 0 357560 2635 0 0 20 0 1 0 198594546 1278668800 220508 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 220508 1948 922 0 304127 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 882032 KiB
[startup+3610.7 s]
/proc/loadavg: 3.15 3.67 3.92 4/252 1072555
/proc/meminfo: memFree=125294948/131524600 swapFree=131071996/131071996
[pid=1070597] ppid=1070594 vsize=1248700 memory=882032 CPUtime=3602.05 cores=4,6
/proc/1070597/stat : 1070597 (roundingsat) R 1070594 1070597 1065986 0 -1 4194304 95158 0 0 0 357570 2635 0 0 20 0 1 0 198594546 1278668800 220508 134679101440 4194304 7968373 140736060150640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9936896 140736060154812 140736060154976 140736060154976 140736060161993 0
/proc/1070597/statm: 312175 220508 1948 922 0 304127 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1248700 KiB
Current children cumulated memory: 882032 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.71
CPU time (s): 3602.06
CPU user time (s): 3575.7
CPU system time (s): 26.3596
CPU usage (%): 99.7606
Max. virtual memory (cumulated for all children) (KiB): 1248700
Max. memory (cumulated for all children) (KiB): 882032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.7
system time used= 26.3596
maximum resident set size= 882032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95158
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= 57
involuntary context switches= 2496
# summary of solver processes directly reported to runsolver:
# pid: 1070597
# total CPU time (s): 3602.06
# total CPU user time (s): 3575.7
# total CPU system time (s): 26.3596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31104 second user time and 16.7297 second system time
The end
Begin job on nodeC022 at 2024-07-20 10:31:56
IDJOB=4455641
IDBENCH=158277
IDSOLVER=3084
FILE ID=nodeC022/4455641-1721464304
RUNJOBID= nodeC022-1721456922-1065997
SLURM_JOB_ID= 7545694
Free space on /tmp= 889928 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K197.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-4455641-1721464304/watcher-4455641-1721464304 -o /tmp/evaluation-result-4455641-1721464304/solver-4455641-1721464304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065997 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455641-1721464304.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cd0a69270cffb0a3df5915a64d0aa68c
RANDOM SEED=480974249
nodeC022.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 : 3662.722
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.66
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 : 3685.283
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 : 7006.96
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.899
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.66
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.061
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 : 7006.96
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 : 3663.697
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.66
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 : 3685.386
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 : 7006.96
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 : 3662.081
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.66
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.006
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125537676 kB
MemAvailable: 128345040 kB
Buffers: 549696 kB
Cached: 3081296 kB
SwapCached: 0 kB
Active: 1403152 kB
Inactive: 3921160 kB
Active(anon): 1572 kB
Inactive(anon): 1737688 kB
Active(file): 1401580 kB
Inactive(file): 2183472 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6964 kB
Writeback: 0 kB
AnonPages: 1687784 kB
Mapped: 117876 kB
Shmem: 45912 kB
KReclaimable: 123920 kB
Slab: 240908 kB
SReclaimable: 123920 kB
SUnreclaim: 116988 kB
KernelStack: 4172 kB
PageTables: 12656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2108128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 989184 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-20 11:32:07