871.06/873.49 c Filename:instance-4446636-1721345601.opb, Cutoff_time:3600, memory_limit_gb:500000
871.06/873.49 c Use Presolve
871.06/873.49 c Parse finsih
871.06/873.49 c Start Presolve
871.06/873.49 c After Reduce Vars: 15265 Clauses: 15644 Top clause weight: 1 Hard Clauses: 15644
3599.91/3607.97 c Use LS-small
3599.91/3607.97 s UNKNOWN
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: 64059 MiB (53171 MiB free)
memory of node 1: 64510 MiB (58880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446636-1721345601/watcher-4446636-1721345601 -o /tmp/evaluation-result-4446636-1721345601/solver-4446636-1721345601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983767 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446636-1721345601.opb -t 3600 -s 1392393759
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=985702, runsolver pid=985699
[startup+0.100098 s]*
/proc/loadavg: 4.26 4.30 4.18 4/244 985705
/proc/meminfo: memFree=114732776/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=24084 memory=11220 CPUtime=0.11 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 1824 0 0 0 11 0 0 0 20 0 1 0 186718782 24662016 2805 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 6021 2805 1073 2753 0 2674 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 24084 KiB
Current children cumulated memory: 11220 KiB
[startup+0.213411 s]*
/proc/loadavg: 4.26 4.30 4.18 5/244 985705
/proc/meminfo: memFree=114730664/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=26132 memory=12560 CPUtime=0.22 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 2218 0 0 0 22 0 0 0 20 0 1 0 186718782 26759168 3140 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 6533 3140 1073 2753 0 3186 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 12560 KiB
[startup+0.313498 s]*
/proc/loadavg: 4.26 4.30 4.18 4/242 985705
/proc/meminfo: memFree=116383388/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=41724 memory=28568 CPUtime=0.32 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 7222 0 0 0 31 1 0 0 20 0 1 0 186718782 42725376 7142 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 10431 7142 1105 2753 0 7084 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 28568 KiB
[startup+0.700292 s]
/proc/loadavg: 4.26 4.30 4.18 4/241 985719
/proc/meminfo: memFree=117068528/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=41724 memory=28568 CPUtime=0.69 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 7226 0 0 0 68 1 0 0 20 0 1 0 186718782 42725376 7142 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 10431 7142 1105 2753 0 7084 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 28568 KiB
[startup+1.50029 s]
/proc/loadavg: 4.16 4.27 4.17 7/244 985751
/proc/meminfo: memFree=117406724/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=41724 memory=28568 CPUtime=1.49 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 7226 0 0 0 148 1 0 0 20 0 1 0 186718782 42725376 7142 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 10431 7142 1105 2753 0 7084 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 28568 KiB
[startup+3.11322 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117936916/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=189500 memory=174808 CPUtime=3.09 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 43016 0 0 0 303 6 0 0 20 0 1 0 186718782 194048000 43702 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 47375 43702 2721 2753 0 44028 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 189500 KiB
Current children cumulated memory: 174808 KiB
[startup+6.30029 s]
/proc/loadavg: 4.22 4.29 4.17 5/245 985804
/proc/meminfo: memFree=119480132/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=192076 memory=177440 CPUtime=6.27 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 43668 0 0 0 621 6 0 0 20 0 1 0 186718782 196685824 44360 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 48019 44360 2721 2753 0 44672 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 192076 KiB
Current children cumulated memory: 177440 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.28 4.17 5/245 985852
/proc/meminfo: memFree=124090384/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=198220 memory=183880 CPUtime=12.65 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 45337 0 0 0 1258 7 0 0 20 0 1 0 186718782 202977280 45970 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 49555 45970 2721 2753 0 46208 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198220 KiB
Current children cumulated memory: 183880 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.29 4.18 5/245 985853
/proc/meminfo: memFree=124071164/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=198716 memory=184604 CPUtime=25.41 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 45475 0 0 0 2534 7 0 0 20 0 1 0 186718782 203485184 46151 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 49679 46151 2721 2753 0 46332 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 198716 KiB
Current children cumulated memory: 184604 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.26 4.17 5/245 985858
/proc/meminfo: memFree=123850236/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=252984 memory=236376 CPUtime=50.94 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 58306 0 0 0 5085 9 0 0 20 0 1 0 186718782 259055616 59094 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 63246 59094 2833 2753 0 59899 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 252984 KiB
Current children cumulated memory: 236376 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.23 4.17 5/245 985867
/proc/meminfo: memFree=123805424/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=254948 memory=241348 CPUtime=101.99 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 58804 0 0 0 10190 9 0 0 20 0 1 0 186718782 261066752 60337 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 63737 60337 2833 2753 0 60390 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 254948 KiB
Current children cumulated memory: 241348 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/244 985878
/proc/meminfo: memFree=123797420/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=258780 memory=248076 CPUtime=161.82 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 59562 0 0 0 16173 9 0 0 20 0 1 0 186718782 264990720 62019 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 64695 62019 2833 2753 0 61348 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 258780 KiB
Current children cumulated memory: 248076 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/244 985888
/proc/meminfo: memFree=123659004/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=316740 memory=304040 CPUtime=221.67 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 66530 0 0 0 22156 11 0 0 20 0 1 0 186718782 324341760 76010 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 79185 76010 2849 2753 0 75838 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 316740 KiB
Current children cumulated memory: 304040 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/244 985898
/proc/meminfo: memFree=123484808/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=323376 memory=310360 CPUtime=281.52 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 68100 0 0 0 28141 11 0 0 20 0 1 0 186718782 331137024 77590 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 80844 77590 2849 2753 0 77497 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 323376 KiB
Current children cumulated memory: 310360 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/241 985910
/proc/meminfo: memFree=123442632/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=330360 memory=316092 CPUtime=341.35 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 69626 0 0 0 34124 11 0 0 20 0 1 0 186718782 338288640 79023 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 82590 79023 2849 2753 0 79243 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 330360 KiB
Current children cumulated memory: 316092 KiB
[startup+402.3 s]
/proc/loadavg: 4.62 4.28 4.20 5/241 985920
/proc/meminfo: memFree=123405192/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=338044 memory=320192 CPUtime=401.2 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 70765 0 0 0 40109 11 0 0 20 0 1 0 186718782 346157056 80048 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 84511 80048 2849 2753 0 81164 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 338044 KiB
Current children cumulated memory: 320192 KiB
[startup+462.3 s]
/proc/loadavg: 4.41 4.30 4.21 5/244 985935
/proc/meminfo: memFree=123387208/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=345576 memory=324104 CPUtime=461.04 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 72011 0 0 0 46093 11 0 0 20 0 1 0 186718782 353869824 81026 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 86394 81026 2849 2753 0 83047 0
################
# More data... #
################
/proc/loadavg: 4.16 4.17 4.18 5/242 987388
/proc/meminfo: memFree=123225692/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3215.03 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93708 0 0 0 316803 4700 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3215.03 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/242 987398
/proc/meminfo: memFree=123225468/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3274.92 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93725 0 0 0 322601 4891 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3274.92 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.19 4.18 5/243 987578
/proc/meminfo: memFree=123225260/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3334.81 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93742 0 0 0 328390 5091 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3334.81 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/243 987588
/proc/meminfo: memFree=123225044/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3394.7 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93759 0 0 0 334182 5288 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3394.7 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/243 987655
/proc/meminfo: memFree=123224524/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3454.58 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93776 0 0 0 339969 5489 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3454.58 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/243 987665
/proc/meminfo: memFree=123224300/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3514.48 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93793 0 0 0 345763 5685 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3514.48 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/243 987676
/proc/meminfo: memFree=123224104/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3574.36 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 351553 5883 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3574.36 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3607.98 s]
# the end of solver process 985702 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3540.32 s, system=59.6828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.15 4.17 5/243 987676
/proc/meminfo: memFree=123224104/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3576.07 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 351718 5889 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3576.07 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.17 5/243 987677
/proc/meminfo: memFree=123224048/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3588.84 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 352955 5929 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224132/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3595.23 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 353571 5952 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3595.23 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3606.4 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224132/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3598.42 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 353880 5962 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3598.42 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3607.2 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224160/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3599.22 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 353957 5965 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3599.22 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3607.6 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224160/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3599.61 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 353995 5966 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3599.61 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3607.8 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224160/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3599.82 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 354015 5967 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
[startup+3607.9 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224160/131655788 swapFree=131071996/131071996
[pid=985702] ppid=985699 vsize=368024 memory=363328 CPUtime=3599.91 cores=4,6
/proc/985702/stat : 985702 (LS-MabSP) R 985699 985702 983756 0 -1 4194304 93810 0 0 0 354024 5967 0 0 20 0 1 0 186718782 376856576 90832 134679101440 4194304 15467897 140732026577264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40263680 140732026586142 140732026586245 140732026586245 140732026593261 0
/proc/985702/statm: 92006 90832 3195 2753 0 88659 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 363328 KiB
Child status: 0
Real time (s): 3607.98
CPU time (s): 3600.01
CPU user time (s): 3540.32
CPU system time (s): 59.6828
CPU usage (%): 99.7791
Max. virtual memory (cumulated for all children) (KiB): 423240
Max. memory (cumulated for all children) (KiB): 414996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.32
system time used= 59.6828
maximum resident set size= 414996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93821
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= 30
involuntary context switches= 1812
# summary of solver processes directly reported to runsolver:
# pid: 985702
# total CPU time (s): 3600.01
# total CPU user time (s): 3540.32
# total CPU system time (s): 59.6828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.628 second user time and 33.7463 second system time
The end
Begin job on nodeC006 at 2024-07-19 01:33:33
IDJOB=4446636
IDBENCH=158288
IDSOLVER=3047
FILE ID=nodeC006/4446636-1721345601
RUNJOBID= nodeC006-1721342003-983767
SLURM_JOB_ID= 7542736
Free space on /tmp= 723412 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446636-1721345601/watcher-4446636-1721345601 -o /tmp/evaluation-result-4446636-1721345601/solver-4446636-1721345601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983767 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446636-1721345601.opb -t 3600 -s 1392393759
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90
RANDOM SEED=1392393759
nodeC006.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 : 0xb00001f
cpu MHz : 3656.606
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 3660.152
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.412
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.270
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 3491.993
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 3660.248
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.315
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114740844 kB
MemAvailable: 121317088 kB
Buffers: 513704 kB
Cached: 6820232 kB
SwapCached: 0 kB
Active: 1315824 kB
Inactive: 14852280 kB
Active(anon): 1460 kB
Inactive(anon): 8870412 kB
Active(file): 1314364 kB
Inactive(file): 5981868 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17328 kB
Writeback: 0 kB
AnonPages: 8834176 kB
Mapped: 133136 kB
Shmem: 37704 kB
KReclaimable: 240084 kB
Slab: 358704 kB
SReclaimable: 240084 kB
SUnreclaim: 118620 kB
KernelStack: 3904 kB
PageTables: 26596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 10702992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7950336 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723708 MiB
End job on nodeC006 at 2024-07-19 02:33:41