244.84/245.53 c Filename:instance-4446426-1721342820.opb, Cutoff_time:3600, memory_limit_gb:500000
244.84/245.53 c Use Presolve
244.84/245.53 c Parse finsih
244.84/245.53 c Start Presolve
244.84/245.53 c After Reduce Vars: 6653 Clauses: 138699 Top clause weight: 1 Hard Clauses: 138699
3599.98/3608.12 c Use LS-small
3599.98/3608.12 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 (60724 MiB free)
memory of node 1: 64510 MiB (59901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446426-1721342820/watcher-4446426-1721342820 -o /tmp/evaluation-result-4446426-1721342820/solver-4446426-1721342820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971414 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446426-1721342820.opb -t 3600 -s 816247724
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=973933, runsolver pid=973930
[startup+0.100098 s]*
/proc/loadavg: 4.08 4.11 4.09 6/242 973934
/proc/meminfo: memFree=125022428/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=30880 memory=18496 CPUtime=0.1 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 3132 0 0 0 10 0 0 0 20 0 1 0 186438661 31621120 4624 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 7720 4624 1073 2753 0 4373 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30880 KiB
Current children cumulated memory: 18496 KiB
[startup+0.212991 s]*
/proc/loadavg: 4.08 4.11 4.09 4/241 973948
/proc/meminfo: memFree=125029244/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=30880 memory=18496 CPUtime=0.21 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 3148 0 0 0 21 0 0 0 20 0 1 0 186438661 31621120 4624 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 7720 4624 1073 2753 0 4373 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30880 KiB
Current children cumulated memory: 18496 KiB
[startup+0.311769 s]*
/proc/loadavg: 4.08 4.11 4.09 5/239 973955
/proc/meminfo: memFree=125025564/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=35108 memory=20552 CPUtime=0.31 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 3658 0 0 0 31 0 0 0 20 0 1 0 186438661 35950592 5138 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 8777 5138 1073 2753 0 5430 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35108 KiB
Current children cumulated memory: 20552 KiB
[startup+0.700314 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 973974
/proc/meminfo: memFree=125027948/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=43432 memory=26820 CPUtime=0.69 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 4216 0 0 0 68 1 0 0 20 0 1 0 186438661 44474368 6705 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 10858 6705 1073 2753 0 7511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 26820 KiB
[startup+1.50035 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 973980
/proc/meminfo: memFree=124897564/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=147216 memory=122560 CPUtime=1.48 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 12391 0 0 0 144 4 0 0 20 0 1 0 186438661 150749184 30640 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 36804 30640 1105 2753 0 33457 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147216 KiB
Current children cumulated memory: 122560 KiB
[startup+3.11331 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 974028
/proc/meminfo: memFree=126732860/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=147216 memory=122560 CPUtime=3.09 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 12414 0 0 0 305 4 0 0 20 0 1 0 186438661 150749184 30640 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 36804 30640 1105 2753 0 33457 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147216 KiB
Current children cumulated memory: 122560 KiB
[startup+6.30031 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 974028
/proc/meminfo: memFree=126517576/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=147216 memory=122560 CPUtime=6.27 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 12433 0 0 0 623 4 0 0 20 0 1 0 186438661 150749184 30640 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 36804 30640 1105 2753 0 33457 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147216 KiB
Current children cumulated memory: 122560 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.13 4.10 5/244 974028
/proc/meminfo: memFree=125404032/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=898600 memory=834876 CPUtime=12.65 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 142886 0 0 0 1236 29 0 0 20 0 1 0 186438661 920166400 208719 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 224650 208719 2833 2753 0 221303 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 898600 KiB
Current children cumulated memory: 834876 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.13 4.10 5/244 974031
/proc/meminfo: memFree=124962256/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=944812 memory=861888 CPUtime=25.43 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 148531 0 0 0 2512 31 0 0 20 0 1 0 186438661 967487488 215472 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 236203 215472 2849 2753 0 232856 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 944812 KiB
Current children cumulated memory: 861888 KiB
[startup+51.1126 s]
/proc/loadavg: 4.18 4.13 4.10 5/244 974034
/proc/meminfo: memFree=124884820/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=944812 memory=863156 CPUtime=50.97 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 148802 0 0 0 5065 32 0 0 20 0 1 0 186438661 967487488 215789 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 236203 215789 2849 2753 0 232856 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 944812 KiB
Current children cumulated memory: 863156 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 974043
/proc/meminfo: memFree=124777004/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=978800 memory=873776 CPUtime=102.02 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 148934 0 0 0 10169 33 0 0 20 0 1 0 186438661 1002291200 218444 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 244700 218444 2849 2753 0 241353 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 978800 KiB
Current children cumulated memory: 873776 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/243 974054
/proc/meminfo: memFree=124639868/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1010208 memory=879636 CPUtime=161.86 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 149442 0 0 0 16153 33 0 0 20 0 1 0 186438661 1034452992 219909 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 252552 219909 2849 2753 0 249205 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1010208 KiB
Current children cumulated memory: 879636 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 974068
/proc/meminfo: memFree=124552340/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1058404 memory=902572 CPUtime=221.71 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 152660 0 0 0 22136 35 0 0 20 0 1 0 186438661 1083805696 225643 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 264601 225643 2849 2753 0 261254 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1058404 KiB
Current children cumulated memory: 902572 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/245 974078
/proc/meminfo: memFree=124317248/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1281344 memory=1025232 CPUtime=281.55 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 203421 0 0 0 28112 43 0 0 20 0 1 0 186438661 1312096256 256308 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 320336 256308 2849 2753 0 316989 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1281344 KiB
Current children cumulated memory: 1025232 KiB
[startup+342.3 s]
/proc/loadavg: 4.62 4.26 4.14 5/244 974089
/proc/meminfo: memFree=124218272/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1370792 memory=1025604 CPUtime=341.4 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 203506 0 0 0 34097 43 0 0 20 0 1 0 186438661 1403691008 256401 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 342698 256401 2849 2753 0 339351 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 1370792 KiB
Current children cumulated memory: 1025604 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.28 4.16 5/244 974099
/proc/meminfo: memFree=124017332/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1605324 memory=1194380 CPUtime=401.26 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 243173 0 0 0 40077 49 0 0 20 0 1 0 186438661 1643851776 298595 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 401331 298595 2849 2753 0 397984 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 1605324 KiB
Current children cumulated memory: 1194380 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.24 4.15 5/244 974110
/proc/meminfo: memFree=124003540/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1656436 memory=1199668 CPUtime=461.11 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 243552 0 0 0 46061 50 0 0 20 0 1 0 186438661 1696190464 299917 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 414109 299917 2849 2753 0 410762 0
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.13 5/245 975785
/proc/meminfo: memFree=123446244/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3215.04 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277365 0 0 0 320521 983 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3215.04 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.13 5/245 975795
/proc/meminfo: memFree=123437388/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3274.92 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277433 0 0 0 326470 1022 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3274.92 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/245 975806
/proc/meminfo: memFree=123437048/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3334.8 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277535 0 0 0 332417 1063 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3334.8 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/245 975816
/proc/meminfo: memFree=123434564/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3394.66 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277603 0 0 0 338367 1099 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3394.66 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/245 975827
/proc/meminfo: memFree=123432536/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3454.51 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277705 0 0 0 344317 1134 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3454.51 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/242 975838
/proc/meminfo: memFree=123426340/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3514.37 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277773 0 0 0 350268 1169 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3514.37 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/242 975848
/proc/meminfo: memFree=123412900/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3574.23 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277875 0 0 0 356218 1205 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3574.23 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3608.14 s]
# the end of solver process 973933 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.81 s, system=12.2139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.10 5/242 975850
/proc/meminfo: memFree=123412844/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3575.94 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277875 0 0 0 356388 1206 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3575.94 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.10 5/242 975851
/proc/meminfo: memFree=123409012/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3588.7 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 357656 1214 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3588.7 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975853
/proc/meminfo: memFree=123409116/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3595.09 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 358291 1218 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3595.09 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3606.4 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975853
/proc/meminfo: memFree=123408240/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3598.28 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 358608 1220 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3598.28 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3607.2 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975854
/proc/meminfo: memFree=123408036/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3599.08 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 358688 1220 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3599.08 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3607.6 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975854
/proc/meminfo: memFree=123408036/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3599.47 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 358727 1220 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3599.47 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3608 s]*
/proc/loadavg: 4.06 4.09 4.10 4/239 975868
/proc/meminfo: memFree=124992028/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3599.88 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 358768 1220 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
[startup+3608.11 s]
/proc/loadavg: 4.06 4.09 4.10 4/239 975868
/proc/meminfo: memFree=124992028/131655788 swapFree=131071996/131071996
[pid=973933] ppid=973930 vsize=1804392 memory=1303524 CPUtime=3599.98 cores=4,6
/proc/973933/stat : 973933 (LS-MabSP) R 973930 973933 971403 0 -1 4194304 277909 0 0 0 358778 1220 0 0 20 0 1 0 186438661 1847697408 325881 134679101440 4194304 15467897 140732649086192 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47751168 140732649088031 140732649088133 140732649088133 140732649095149 0
/proc/973933/statm: 451098 325881 2849 2753 0 447751 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 1804392 KiB
Current children cumulated memory: 1303524 KiB
Child status: 0
Real time (s): 3608.14
CPU time (s): 3600.02
CPU user time (s): 3587.81
CPU system time (s): 12.2139
CPU usage (%): 99.775
Max. virtual memory (cumulated for all children) (KiB): 2426180
Max. memory (cumulated for all children) (KiB): 1519104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.81
system time used= 12.2139
maximum resident set size= 1519104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277933
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= 23
involuntary context switches= 1770
# summary of solver processes directly reported to runsolver:
# pid: 973933
# total CPU time (s): 3600.02
# total CPU user time (s): 3587.81
# total CPU system time (s): 12.2139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8956 second user time and 34.2995 second system time
The end
Begin job on nodeC007 at 2024-07-19 00:47:13
IDJOB=4446426
IDBENCH=155596
IDSOLVER=3047
FILE ID=nodeC007/4446426-1721342820
RUNJOBID= nodeC007-1721339222-971414
SLURM_JOB_ID= 7542716
Free space on /tmp= 723704 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-33.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-4446426-1721342820/watcher-4446426-1721342820 -o /tmp/evaluation-result-4446426-1721342820/solver-4446426-1721342820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971414 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446426-1721342820.opb -t 3600 -s 816247724
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ebcb4349d0c3a90733439946e4862a
RANDOM SEED=816247724
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 : 3664.077
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 : 3661.747
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.174
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.152
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 : 3491.661
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 : 2094.977
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.130
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.159
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: 123521928 kB
MemAvailable: 126327524 kB
Buffers: 511168 kB
Cached: 3124828 kB
SwapCached: 0 kB
Active: 1080696 kB
Inactive: 6483720 kB
Active(anon): 1484 kB
Inactive(anon): 3964308 kB
Active(file): 1079212 kB
Inactive(file): 2519412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 22396 kB
Writeback: 0 kB
AnonPages: 3928164 kB
Mapped: 133704 kB
Shmem: 37704 kB
KReclaimable: 94004 kB
Slab: 195600 kB
SReclaimable: 94004 kB
SUnreclaim: 101596 kB
KernelStack: 4000 kB
PageTables: 16680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4954288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3090432 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= 723708 MiB
End job on nodeC007 at 2024-07-19 01:47:21