0.00/0.03 c Filename:instance-4445976-1721327120.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.03 c Use Presolve
0.00/0.03 c Parse finsih
0.00/0.03 c Start Presolve
0.00/0.03 c After Reduce Vars: 375 Clauses: 845 Top clause weight: 1 Hard Clauses: 845
3599.95/3609.54 c Use LS-small
3599.95/3609.54 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: 63931 MiB (61273 MiB free)
memory of node 1: 64510 MiB (60997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445976-1721327120/watcher-4445976-1721327120 -o /tmp/evaluation-result-4445976-1721327120/solver-4445976-1721327120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721319623-986870 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445976-1721327120.opb -t 3600 -s 1695681122
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=991397, runsolver pid=991394
[startup+0.100605 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 991398
/proc/meminfo: memFree=125191672/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=31280 memory=24556 CPUtime=0.09 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 3307 0 0 0 9 0 0 0 20 0 1 0 184879436 32030720 6139 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 7820 6139 2849 2753 0 4473 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 24556 KiB
[startup+0.206618 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 991398
/proc/meminfo: memFree=125182592/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=41236 memory=34060 CPUtime=0.19 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 5723 0 0 0 19 0 0 0 20 0 1 0 184879436 42225664 8515 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 10309 8515 2849 2753 0 6962 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41236 KiB
Current children cumulated memory: 34060 KiB
[startup+0.306005 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 991398
/proc/meminfo: memFree=125170376/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=54256 memory=45676 CPUtime=0.29 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 8568 0 0 0 29 0 0 0 20 0 1 0 184879436 55558144 11419 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 13564 11419 2849 2753 0 10217 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54256 KiB
Current children cumulated memory: 45676 KiB
[startup+0.700215 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 991398
/proc/meminfo: memFree=125155676/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=76364 memory=66004 CPUtime=0.68 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 13698 0 0 0 66 2 0 0 20 0 1 0 184879436 78196736 16501 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 19091 16501 2849 2753 0 15744 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76364 KiB
Current children cumulated memory: 66004 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 991399
/proc/meminfo: memFree=125147308/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=82532 memory=71548 CPUtime=1.47 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 15060 0 0 0 145 2 0 0 20 0 1 0 184879436 84512768 17887 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 20633 17887 2849 2753 0 17286 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 82532 KiB
Current children cumulated memory: 71548 KiB
[startup+3.10626 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 991399
/proc/meminfo: memFree=125136528/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=90664 memory=79676 CPUtime=3.07 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 17480 0 0 0 305 2 0 0 20 0 1 0 184879436 92839936 19919 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 22666 19919 2849 2753 0 19319 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 90664 KiB
Current children cumulated memory: 79676 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 991399
/proc/meminfo: memFree=125127564/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=98440 memory=87688 CPUtime=6.26 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 20253 0 0 0 623 3 0 0 20 0 1 0 184879436 100802560 21922 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 24610 21922 2849 2753 0 21263 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 98440 KiB
Current children cumulated memory: 87688 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 6/255 991401
/proc/meminfo: memFree=125115608/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=109372 memory=98676 CPUtime=12.63 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 23148 0 0 0 1260 3 0 0 20 0 1 0 184879436 111996928 24669 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 27343 24669 2849 2753 0 23996 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 109372 KiB
Current children cumulated memory: 98676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 991790
/proc/meminfo: memFree=125214992/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=109372 memory=98676 CPUtime=25.39 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 23165 0 0 0 2536 3 0 0 20 0 1 0 184879436 111996928 24669 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 27343 24669 2849 2753 0 23996 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 109372 KiB
Current children cumulated memory: 98676 KiB
[startup+51.1059 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 991794
/proc/meminfo: memFree=125170080/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=148084 memory=137440 CPUtime=50.91 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 33169 0 0 0 5086 5 0 0 20 0 1 0 184879436 151638016 34360 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 37021 34360 2849 2753 0 33674 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 148084 KiB
Current children cumulated memory: 137440 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 991803
/proc/meminfo: memFree=125140732/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=173720 memory=160508 CPUtime=101.92 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 39456 0 0 0 10186 6 0 0 20 0 1 0 184879436 177889280 40127 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 43430 40127 2849 2753 0 40083 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 173720 KiB
Current children cumulated memory: 160508 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 991982
/proc/meminfo: memFree=125120204/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=191320 memory=176240 CPUtime=161.69 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 43393 0 0 0 16162 7 0 0 20 0 1 0 184879436 195911680 44060 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 47830 44060 2849 2753 0 44483 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 191320 KiB
Current children cumulated memory: 176240 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 991992
/proc/meminfo: memFree=125098808/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=197320 memory=184852 CPUtime=221.44 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 45343 0 0 0 22137 7 0 0 20 0 1 0 184879436 202055680 46213 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 49330 46213 2849 2753 0 45983 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 197320 KiB
Current children cumulated memory: 184852 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 992061
/proc/meminfo: memFree=125074068/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=207040 memory=197320 CPUtime=281.24 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 47402 0 0 0 28116 8 0 0 20 0 1 0 184879436 212008960 49330 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 51760 49330 2849 2753 0 48413 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 207040 KiB
Current children cumulated memory: 197320 KiB
[startup+342.3 s]
/proc/loadavg: 4.43 4.17 4.11 5/258 992073
/proc/meminfo: memFree=125052180/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=219420 memory=210792 CPUtime=341.03 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 50319 0 0 0 34095 8 0 0 20 0 1 0 184879436 224686080 52698 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 54855 52698 2849 2753 0 51508 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 219420 KiB
Current children cumulated memory: 210792 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/258 992083
/proc/meminfo: memFree=125050256/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=219420 memory=211408 CPUtime=400.83 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 50521 0 0 0 40075 8 0 0 20 0 1 0 184879436 224686080 52852 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 54855 52852 2849 2753 0 51508 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 219420 KiB
Current children cumulated memory: 211408 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 992094
/proc/meminfo: memFree=125046788/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=219552 memory=213256 CPUtime=460.63 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 51097 0 0 0 46055 8 0 0 20 0 1 0 184879436 224821248 53314 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 54888 53314 2849 2753 0 51541 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.09 5/257 993214
/proc/meminfo: memFree=124207612/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3273.42 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73945 0 0 0 301473 25869 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3342.3 s]
/proc/loadavg: 3.34 3.91 4.03 3/243 993287
/proc/meminfo: memFree=124636532/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3333.29 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73946 0 0 0 306424 26905 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3402.3 s]
/proc/loadavg: 2.53 3.58 3.90 3/243 993297
/proc/meminfo: memFree=124636344/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3393.17 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73947 0 0 0 311356 27961 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3462.3 s]
/proc/loadavg: 2.55 3.39 3.82 3/243 993309
/proc/meminfo: memFree=124636084/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3453.05 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73948 0 0 0 316281 29024 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3522.3 s]
/proc/loadavg: 2.32 3.17 3.71 3/243 993320
/proc/meminfo: memFree=124635744/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3512.92 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73949 0 0 0 321230 30062 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.97 3.61 3/242 993330
/proc/meminfo: memFree=124635524/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3572.81 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73950 0 0 0 326166 31115 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3609.55 s]
# the end of solver process 991397 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3284.15 s, system=315.852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.18 2.97 3.61 3/242 993330
/proc/meminfo: memFree=124635536/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3574.51 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73950 0 0 0 326305 31146 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3596.8 s]
/proc/loadavg: 2.15 2.94 3.59 3/240 993331
/proc/meminfo: memFree=124635508/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3587.27 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73950 0 0 0 327365 31362 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3603.2 s]
/proc/loadavg: 2.13 2.90 3.57 3/240 993333
/proc/meminfo: memFree=124635424/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3593.66 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 327893 31473 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3593.66 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3606.4 s]
/proc/loadavg: 2.13 2.90 3.57 3/240 993333
/proc/meminfo: memFree=124635444/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3596.86 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 328158 31528 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3596.86 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3608 s]*
/proc/loadavg: 2.12 2.89 3.56 3/240 993333
/proc/meminfo: memFree=124635456/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3598.45 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 328289 31556 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3598.45 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3608.8 s]
/proc/loadavg: 2.12 2.89 3.56 3/240 993333
/proc/meminfo: memFree=124635456/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3599.25 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 328355 31570 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3599.25 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3609.2 s]
/proc/loadavg: 2.12 2.89 3.56 3/240 993333
/proc/meminfo: memFree=124635448/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3599.65 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 328387 31578 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3609.4 s]
/proc/loadavg: 2.12 2.89 3.56 3/240 993333
/proc/meminfo: memFree=124635448/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3599.85 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 328403 31582 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
[startup+3609.5 s]
/proc/loadavg: 2.12 2.89 3.56 3/240 993333
/proc/meminfo: memFree=124635448/131524600 swapFree=131071996/131071996
[pid=991397] ppid=991394 vsize=167924 memory=162012 CPUtime=3599.95 cores=5,7
/proc/991397/stat : 991397 (LS-MabSP) R 991394 991397 986857 0 -1 4194304 73951 0 0 0 328411 31584 0 0 20 0 1 0 184879436 171954176 40503 134679101440 4194304 15467897 140721478350176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54472704 140721478358046 140721478358149 140721478358149 140721478365165 0
/proc/991397/statm: 41981 40503 2849 2753 0 38634 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 167924 KiB
Current children cumulated memory: 162012 KiB
Child status: 0
Real time (s): 3609.55
CPU time (s): 3600
CPU user time (s): 3284.15
CPU system time (s): 315.852
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 373784
Max. memory (cumulated for all children) (KiB): 355800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3284.15
system time used= 315.852
maximum resident set size= 355800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73957
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= 62
involuntary context switches= 3385
# summary of solver processes directly reported to runsolver:
# pid: 991397
# total CPU time (s): 3600
# total CPU user time (s): 3284.15
# total CPU system time (s): 315.852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48047 second user time and 18.9285 second system time
The end
Begin job on nodeC029 at 2024-07-18 20:25:33
IDJOB=4445976
IDBENCH=155408
IDSOLVER=3047
FILE ID=nodeC029/4445976-1721327120
RUNJOBID= nodeC029-1721319623-986870
SLURM_JOB_ID= 7542680
Free space on /tmp= 890016 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820146.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-4445976-1721327120/watcher-4445976-1721327120 -o /tmp/evaluation-result-4445976-1721327120/solver-4445976-1721327120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721319623-986870 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445976-1721327120.opb -t 3600 -s 1695681122
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 081659ee65bc936cbb896171f511d736
RANDOM SEED=1695681122
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.004
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.065
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.353
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.345
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.938
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125205512 kB
MemAvailable: 129197960 kB
Buffers: 489168 kB
Cached: 4294548 kB
SwapCached: 0 kB
Active: 949332 kB
Inactive: 4656804 kB
Active(anon): 1464 kB
Inactive(anon): 858668 kB
Active(file): 947868 kB
Inactive(file): 3798136 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16296 kB
Writeback: 84 kB
AnonPages: 822412 kB
Mapped: 139600 kB
Shmem: 37720 kB
KReclaimable: 172180 kB
Slab: 292880 kB
SReclaimable: 172180 kB
SUnreclaim: 120700 kB
KernelStack: 4064 kB
PageTables: 10956 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1251800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68096 kB
HardwareCorrupted: 0 kB
AnonHugePages: 428032 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC029 at 2024-07-18 21:25:43