1017.43/1021.04 c Filename:instance-4446846-1721346434.opb, Cutoff_time:3600, memory_limit_gb:500000
1017.43/1021.04 c Use Presolve
1017.43/1021.04 c Parse finsih
1017.43/1021.04 c Start Presolve
1017.43/1021.04 c After Reduce Vars: 17050 Clauses: 17459 Top clause weight: 1 Hard Clauses: 17459
3599.98/3611.41 c Use LS-small
3599.98/3611.41 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 (62533 MiB free)
memory of node 1: 64510 MiB (61147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446846-1721346434/watcher-4446846-1721346434 -o /tmp/evaluation-result-4446846-1721346434/solver-4446846-1721346434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971413 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446846-1721346434.opb -t 3600 -s 475677939
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=976039, runsolver pid=976036
[startup+0.100953 s]*
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126643996/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=22476 memory=9764 CPUtime=0.1 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 1130 0 0 0 10 0 0 0 20 0 1 0 186800033 23015424 2441 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 5619 2441 1073 2753 0 2272 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22476 KiB
Current children cumulated memory: 9764 KiB
[startup+0.212964 s]*
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126638768/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=26456 memory=14072 CPUtime=0.21 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 2537 0 0 0 21 0 0 0 20 0 1 0 186800033 27090944 3518 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 6614 3518 1073 2753 0 3267 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26456 KiB
Current children cumulated memory: 14072 KiB
[startup+0.312917 s]*
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126632860/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=35428 memory=22184 CPUtime=0.31 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 4089 0 0 0 30 1 0 0 20 0 1 0 186800033 36278272 5546 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 8857 5546 1073 2753 0 5510 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35428 KiB
Current children cumulated memory: 22184 KiB
[startup+0.700331 s]
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126541656/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=43896 memory=31308 CPUtime=0.69 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 6613 0 0 0 68 1 0 0 20 0 1 0 186800033 44949504 7827 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 10974 7827 1105 2753 0 7627 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43896 KiB
Current children cumulated memory: 31308 KiB
[startup+1.50032 s]
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126490224/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=43896 memory=31308 CPUtime=1.48 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 6614 0 0 0 147 1 0 0 20 0 1 0 186800033 44949504 7827 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 10974 7827 1105 2753 0 7627 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43896 KiB
Current children cumulated memory: 31308 KiB
[startup+3.11278 s]
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126318920/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=207548 memory=192136 CPUtime=3.09 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 45686 0 0 0 302 7 0 0 20 0 1 0 186800033 212529152 48034 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 51887 48034 2721 2753 0 48540 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 207548 KiB
Current children cumulated memory: 192136 KiB
[startup+6.30031 s]
/proc/loadavg: 4.05 4.08 4.10 5/243 976040
/proc/meminfo: memFree=126298516/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=213280 memory=197940 CPUtime=6.27 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 47127 0 0 0 620 7 0 0 20 0 1 0 186800033 218398720 49485 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 53320 49485 2721 2753 0 49973 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 213280 KiB
Current children cumulated memory: 197940 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 4.10 5/243 976042
/proc/meminfo: memFree=126282456/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=219232 memory=203796 CPUtime=12.64 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 48633 0 0 0 1257 7 0 0 20 0 1 0 186800033 224493568 50949 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 54808 50949 2721 2753 0 51461 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 219232 KiB
Current children cumulated memory: 203796 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.10 5/243 976043
/proc/meminfo: memFree=126275812/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=221104 memory=205628 CPUtime=25.4 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 49089 0 0 0 2532 8 0 0 20 0 1 0 186800033 226410496 51407 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 55276 51407 2721 2753 0 51929 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 221104 KiB
Current children cumulated memory: 205628 KiB
[startup+51.1126 s]
/proc/loadavg: 4.06 4.08 4.09 5/243 976048
/proc/meminfo: memFree=126050472/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=275668 memory=256828 CPUtime=50.92 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 62059 0 0 0 5082 10 0 0 20 0 1 0 186800033 282284032 64207 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 68917 64207 2817 2753 0 65570 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 275668 KiB
Current children cumulated memory: 256828 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/243 976056
/proc/meminfo: memFree=126017588/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=280788 memory=262420 CPUtime=101.92 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 63438 0 0 0 10182 10 0 0 20 0 1 0 186800033 287526912 65605 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 70197 65605 2833 2753 0 66850 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 280788 KiB
Current children cumulated memory: 262420 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/243 976067
/proc/meminfo: memFree=126012024/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=281724 memory=263472 CPUtime=161.72 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 63661 0 0 0 16161 11 0 0 20 0 1 0 186800033 288485376 65868 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 70431 65868 2833 2753 0 67084 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 281724 KiB
Current children cumulated memory: 263472 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/246 976082
/proc/meminfo: memFree=125884116/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=343796 memory=323464 CPUtime=221.49 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 69480 0 0 0 22136 13 0 0 20 0 1 0 186800033 352047104 80866 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 85949 80866 2849 2753 0 82602 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 343796 KiB
Current children cumulated memory: 323464 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/246 976092
/proc/meminfo: memFree=125758744/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=364476 memory=342056 CPUtime=281.27 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 73667 0 0 0 28113 14 0 0 20 0 1 0 186800033 373223424 85514 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 91119 85514 2849 2753 0 87772 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 364476 KiB
Current children cumulated memory: 342056 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 976103
/proc/meminfo: memFree=125642372/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=376280 memory=353004 CPUtime=341.06 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 76148 0 0 0 34092 14 0 0 20 0 1 0 186800033 385310720 88251 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 94070 88251 2849 2753 0 90723 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 376280 KiB
Current children cumulated memory: 353004 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/245 976113
/proc/meminfo: memFree=125606188/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=380444 memory=354144 CPUtime=400.86 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 76438 0 0 0 40071 15 0 0 20 0 1 0 186800033 389574656 88536 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 95111 88536 2849 2753 0 91764 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 380444 KiB
Current children cumulated memory: 354144 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 976126
/proc/meminfo: memFree=125591388/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=388596 memory=361624 CPUtime=460.64 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 78393 0 0 0 46049 15 0 0 20 0 1 0 186800033 397922304 90406 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 97149 90406 2849 2753 0 93802 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.15 5/244 977804
/proc/meminfo: memFree=125424268/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3212.03 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101538 0 0 0 316789 4414 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.15 5/244 977814
/proc/meminfo: memFree=125423768/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3271.85 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101558 0 0 0 322591 4594 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3271.85 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/244 977825
/proc/meminfo: memFree=125423556/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3331.68 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101578 0 0 0 328387 4781 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3331.68 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/245 977836
/proc/meminfo: memFree=125423260/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3391.5 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101598 0 0 0 334183 4967 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/245 977847
/proc/meminfo: memFree=125422816/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3451.31 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101618 0 0 0 339980 5151 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3451.31 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/243 977858
/proc/meminfo: memFree=125422512/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3511.14 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101638 0 0 0 345775 5339 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/243 977868
/proc/meminfo: memFree=125422232/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3570.96 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101658 0 0 0 351576 5520 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3611.42 s]
# the end of solver process 976039 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3543.95 s, system=56.0555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.12 5/243 977868
/proc/meminfo: memFree=125422240/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3572.67 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101658 0 0 0 351743 5524 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 977869
/proc/meminfo: memFree=125422184/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3585.42 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101658 0 0 0 352981 5561 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.10 4.12 4/236 977902
/proc/meminfo: memFree=125928260/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3591.8 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101658 0 0 0 353599 5581 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3591.8 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3606.4 s]
/proc/loadavg: 3.94 4.06 4.11 3/229 977933
/proc/meminfo: memFree=126392468/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3594.99 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101658 0 0 0 353909 5590 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3594.99 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3609.6 s]
/proc/loadavg: 3.70 4.01 4.09 2/222 977965
/proc/meminfo: memFree=126765412/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3598.18 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101658 0 0 0 354218 5600 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3598.18 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3610.4 s]
/proc/loadavg: 3.70 4.01 4.09 2/222 977965
/proc/meminfo: memFree=126765396/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3598.98 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101678 0 0 0 354296 5602 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3598.98 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3611.2 s]
/proc/loadavg: 3.70 4.01 4.09 2/222 977965
/proc/meminfo: memFree=126765396/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3599.79 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101678 0 0 0 354374 5605 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3599.79 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
[startup+3611.4 s]
/proc/loadavg: 3.70 4.01 4.09 2/222 977965
/proc/meminfo: memFree=126765396/131655788 swapFree=131071996/131071996
[pid=976039] ppid=976036 vsize=415652 memory=411420 CPUtime=3599.98 cores=0,2
/proc/976039/stat : 976039 (LS-MabSP) R 976036 976039 971403 0 -1 4194304 101678 0 0 0 354393 5605 0 0 20 0 1 0 186800033 425627648 102855 134679101440 4194304 15467897 140729117602560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45457408 140729117611039 140729117611141 140729117611141 140729117618157 0
/proc/976039/statm: 103913 102855 3195 2753 0 100566 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 415652 KiB
Current children cumulated memory: 411420 KiB
Child status: 0
Real time (s): 3611.42
CPU time (s): 3600.01
CPU user time (s): 3543.95
CPU system time (s): 56.0555
CPU usage (%): 99.6841
Max. virtual memory (cumulated for all children) (KiB): 483028
Max. memory (cumulated for all children) (KiB): 469808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.95
system time used= 56.0555
maximum resident set size= 469808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101685
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= 31
involuntary context switches= 25190
# summary of solver processes directly reported to runsolver:
# pid: 976039
# total CPU time (s): 3600.01
# total CPU user time (s): 3543.95
# total CPU system time (s): 56.0555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7731 second user time and 31.4943 second system time
The end
Begin job on nodeC007 at 2024-07-19 01:47:26
IDJOB=4446846
IDBENCH=158322
IDSOLVER=3047
FILE ID=nodeC007/4446846-1721346434
RUNJOBID= nodeC007-1721339222-971413
SLURM_JOB_ID= 7542716
Free space on /tmp= 723728 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.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-4446846-1721346434/watcher-4446846-1721346434 -o /tmp/evaluation-result-4446846-1721346434/solver-4446846-1721346434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971413 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446846-1721346434.opb -t 3600 -s 475677939
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=475677939
nodeC007.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 : 3498.932
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.25
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 : 3659.783
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.30
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.138
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.25
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.251
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.30
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 : 3549.561
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.25
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 : 3518.347
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.30
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.302
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.25
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.359
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126649528 kB
MemAvailable: 129445196 kB
Buffers: 512124 kB
Cached: 3114592 kB
SwapCached: 0 kB
Active: 1063276 kB
Inactive: 3379016 kB
Active(anon): 1484 kB
Inactive(anon): 852128 kB
Active(file): 1061792 kB
Inactive(file): 2526888 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 69836 kB
Writeback: 0 kB
AnonPages: 816024 kB
Mapped: 133172 kB
Shmem: 37704 kB
KReclaimable: 94040 kB
Slab: 195992 kB
SReclaimable: 94040 kB
SUnreclaim: 101952 kB
KernelStack: 3916 kB
PageTables: 10964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1204872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 380928 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC007 at 2024-07-19 02:47:38