181.34/181.87 c Filename:instance-4452416-1721452142.opb, Cutoff_time:3600, memory_limit_gb:500000
181.34/181.87 c Use Presolve
181.34/181.87 c Parse finsih
181.34/181.87 c Start Presolve
181.34/181.87 c After Reduce Vars: 10876 Clauses: 7950 Top clause weight: 1 Hard Clauses: 7950
3599.97/3608.02 c Use LS-small
3599.97/3608.02 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: 64096 MiB (59828 MiB free)
memory of node 1: 64473 MiB (60345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452416-1721452142/watcher-4452416-1721452142 -o /tmp/evaluation-result-4452416-1721452142/solver-4452416-1721452142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721448544-1067208 --watchdog 3760 ./LS-MabSP -f HOME/instance-4452416-1721452142.opb -t 3600 -s 1383232621
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1069263, runsolver pid=1069260
[startup+0.100734 s]*
/proc/loadavg: 4.12 4.09 4.09 5/235 1069269
/proc/meminfo: memFree=123034892/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=22524 memory=10088 CPUtime=0.1 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 1179 0 0 0 10 0 0 0 20 0 1 0 197369984 23064576 2522 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 5631 2522 1073 2753 0 2284 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22524 KiB
Current children cumulated memory: 10088 KiB
[startup+0.212767 s]*
/proc/loadavg: 4.12 4.09 4.09 5/241 1069279
/proc/meminfo: memFree=123007648/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=26900 memory=13852 CPUtime=0.21 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 2479 0 0 0 21 0 0 0 20 0 1 0 197369984 27545600 3463 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 6725 3463 1073 2753 0 3378 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26900 KiB
Current children cumulated memory: 13852 KiB
[startup+0.312819 s]*
/proc/loadavg: 4.12 4.09 4.09 7/241 1069279
/proc/meminfo: memFree=122981424/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=42112 memory=28888 CPUtime=0.3 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 6848 0 0 0 30 0 0 0 20 0 1 0 197369984 43122688 7222 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 10528 7222 1105 2753 0 7181 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28888 KiB
[startup+0.700276 s]
/proc/loadavg: 4.12 4.09 4.09 5/241 1069279
/proc/meminfo: memFree=122978852/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=42112 memory=28888 CPUtime=0.68 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 6851 0 0 0 68 0 0 0 20 0 1 0 197369984 43122688 7222 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 10528 7222 1105 2753 0 7181 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28888 KiB
[startup+1.50029 s]
/proc/loadavg: 4.12 4.09 4.09 6/241 1069279
/proc/meminfo: memFree=122954480/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=42112 memory=28888 CPUtime=1.48 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 6852 0 0 0 148 0 0 0 20 0 1 0 197369984 43122688 7222 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 10528 7222 1105 2753 0 7181 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28888 KiB
[startup+3.11268 s]
/proc/loadavg: 4.12 4.09 4.09 5/241 1069279
/proc/meminfo: memFree=122928384/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=42112 memory=28888 CPUtime=3.09 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 6853 0 0 0 309 0 0 0 20 0 1 0 197369984 43122688 7222 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 10528 7222 1105 2753 0 7181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28888 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 1069325
/proc/meminfo: memFree=122868360/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=116460 memory=105944 CPUtime=6.27 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 25190 0 0 0 624 3 0 0 20 0 1 0 197369984 119255040 26486 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 29115 26486 2737 2753 0 25768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116460 KiB
Current children cumulated memory: 105944 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 1069327
/proc/meminfo: memFree=122494388/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=120416 memory=108572 CPUtime=12.66 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 25855 0 0 0 1263 3 0 0 20 0 1 0 197369984 123305984 27143 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 30104 27143 2737 2753 0 26757 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 120416 KiB
Current children cumulated memory: 108572 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/241 1069328
/proc/meminfo: memFree=122144604/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=148816 memory=136636 CPUtime=25.42 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 32833 0 0 0 2539 3 0 0 20 0 1 0 197369984 152387584 34159 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 37204 34159 2833 2753 0 33857 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 148816 KiB
Current children cumulated memory: 136636 KiB
[startup+51.1128 s]
/proc/loadavg: 4.05 4.08 4.09 5/243 1069337
/proc/meminfo: memFree=116307396/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=178608 memory=164372 CPUtime=50.97 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 36212 0 0 0 5093 4 0 0 20 0 1 0 197369984 182894592 41093 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 44652 41093 2849 2753 0 41305 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 178608 KiB
Current children cumulated memory: 164372 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/243 1069391
/proc/meminfo: memFree=122539232/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=186236 memory=171164 CPUtime=102.04 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 37907 0 0 0 10199 5 0 0 20 0 1 0 197369984 190705664 42791 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 46559 42791 2849 2753 0 43212 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 186236 KiB
Current children cumulated memory: 171164 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/243 1069401
/proc/meminfo: memFree=122243400/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=186508 memory=171468 CPUtime=161.89 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 37977 0 0 0 16184 5 0 0 20 0 1 0 197369984 190984192 42867 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 46627 42867 2849 2753 0 43280 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 186508 KiB
Current children cumulated memory: 171468 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/243 1069412
/proc/meminfo: memFree=122197660/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=221136 memory=214772 CPUtime=221.72 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 46696 0 0 0 22166 6 0 0 20 0 1 0 197369984 226443264 53693 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 55284 53693 2849 2753 0 51937 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 221136 KiB
Current children cumulated memory: 214772 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/243 1069422
/proc/meminfo: memFree=122194288/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=221136 memory=215200 CPUtime=281.58 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 46763 0 0 0 28152 6 0 0 20 0 1 0 197369984 226443264 53800 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 55284 53800 2849 2753 0 51937 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 221136 KiB
Current children cumulated memory: 215200 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/243 1069433
/proc/meminfo: memFree=122140148/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=221136 memory=215200 CPUtime=341.44 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 46832 0 0 0 34138 6 0 0 20 0 1 0 197369984 226443264 53800 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 55284 53800 2849 2753 0 51937 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 221136 KiB
Current children cumulated memory: 215200 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/241 1069444
/proc/meminfo: memFree=122135452/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=221136 memory=215200 CPUtime=401.29 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 46908 0 0 0 40123 6 0 0 20 0 1 0 197369984 226443264 53800 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 55284 53800 2849 2753 0 51937 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 221136 KiB
Current children cumulated memory: 215200 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/241 1069454
/proc/meminfo: memFree=122075388/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=245368 memory=237868 CPUtime=461.15 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 52675 0 0 0 46108 7 0 0 20 0 1 0 197369984 251256832 59467 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 61342 59467 2849 2753 0 57995 0
################
# More data... #
################
/proc/loadavg: 4.32 4.14 4.11 5/244 1071165
/proc/meminfo: memFree=120481224/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3155.1 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60796 0 0 0 305548 9962 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3155.1 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.96 4.36 4.19 5/244 1071177
/proc/meminfo: memFree=120480968/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3214.99 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60807 0 0 0 311102 10397 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3214.99 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.33 4.18 5/243 1071187
/proc/meminfo: memFree=120480528/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3274.88 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60818 0 0 0 316663 10825 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3274.88 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.26 4.17 5/243 1071198
/proc/meminfo: memFree=120480432/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3334.76 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60829 0 0 0 322211 11265 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3334.76 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.26 4.18 5/242 1071210
/proc/meminfo: memFree=120480048/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3394.65 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60840 0 0 0 327771 11694 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3394.65 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.23 4.17 5/242 1071220
/proc/meminfo: memFree=120479688/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3454.54 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60851 0 0 0 333323 12131 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3454.54 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.20 4.16 5/242 1071230
/proc/meminfo: memFree=120479392/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3514.43 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60862 0 0 0 338883 12560 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3514.43 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.19 4.16 5/242 1071240
/proc/meminfo: memFree=120479120/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3574.31 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60873 0 0 0 344437 12994 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3574.31 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3608.03 s]
# the end of solver process 1069263 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3468.21 s, system=131.792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.19 4.16 5/242 1071240
/proc/meminfo: memFree=120479136/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3576.02 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60873 0 0 0 344596 13006 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3576.02 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.18 4.16 5/242 1071242
/proc/meminfo: memFree=120479056/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3588.79 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60873 0 0 0 345778 13101 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3588.79 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.18 4.16 5/242 1071244
/proc/meminfo: memFree=120478984/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3595.17 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60884 0 0 0 346374 13143 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3595.17 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.17 4.16 5/242 1071244
/proc/meminfo: memFree=120478976/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3598.37 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60884 0 0 0 346672 13165 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3598.37 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3607.2 s]
/proc/loadavg: 4.08 4.17 4.16 5/237 1071252
/proc/meminfo: memFree=120676020/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3599.16 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60884 0 0 0 346745 13171 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3599.16 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3607.6 s]
/proc/loadavg: 4.08 4.17 4.16 5/237 1071252
/proc/meminfo: memFree=120676020/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3599.56 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60884 0 0 0 346782 13174 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3599.56 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
[startup+3608 s]*
/proc/loadavg: 4.08 4.17 4.16 5/242 1071292
/proc/meminfo: memFree=120591880/131655788 swapFree=131071996/131071996
[pid=1069263] ppid=1069260 vsize=254728 memory=249544 CPUtime=3599.97 cores=1,3
/proc/1069263/stat : 1069263 (LS-MabSP) R 1069260 1069263 1067196 0 -1 4194304 60884 0 0 0 346819 13178 0 0 20 0 1 0 197369984 260841472 62386 134679101440 4194304 15467897 140723502882784 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23392256 140723502892061 140723502892164 140723502892164 140723502899181 0
/proc/1069263/statm: 63682 62386 3195 2753 0 60335 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 254728 KiB
Current children cumulated memory: 249544 KiB
Child status: 0
Real time (s): 3608.03
CPU time (s): 3600.01
CPU user time (s): 3468.21
CPU system time (s): 131.792
CPU usage (%): 99.7775
Max. virtual memory (cumulated for all children) (KiB): 271464
Max. memory (cumulated for all children) (KiB): 263204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3468.21
system time used= 131.792
maximum resident set size= 263248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60895
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= 20
involuntary context switches= 1219
# summary of solver processes directly reported to runsolver:
# pid: 1069263
# total CPU time (s): 3600.01
# total CPU user time (s): 3468.21
# total CPU system time (s): 131.792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7597 second user time and 35.2657 second system time
The end
Begin job on nodeC004 at 2024-07-20 07:09:14
IDJOB=4452416
IDBENCH=164356
IDSOLVER=3047
FILE ID=nodeC004/4452416-1721452142
RUNJOBID= nodeC004-1721448544-1067208
SLURM_JOB_ID= 7545678
Free space on /tmp= 723732 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.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-4452416-1721452142/watcher-4452416-1721452142 -o /tmp/evaluation-result-4452416-1721452142/solver-4452416-1721452142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721448544-1067208 --watchdog 3760 ./LS-MabSP -f HOME/instance-4452416-1721452142.opb -t 3600 -s 1383232621
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=1383232621
nodeC004.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 : 3668.364
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 : 6984.29
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 : 3482.203
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.37
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.570
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 : 6984.29
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.312
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.37
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 : 2793.718
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 : 6984.29
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 : 3456.245
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.37
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.497
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 : 6984.29
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.310
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123049896 kB
MemAvailable: 129552840 kB
Buffers: 562556 kB
Cached: 6708132 kB
SwapCached: 0 kB
Active: 1269164 kB
Inactive: 6606684 kB
Active(anon): 3336 kB
Inactive(anon): 647708 kB
Active(file): 1265828 kB
Inactive(file): 5958976 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33908 kB
Writeback: 0 kB
AnonPages: 605148 kB
Mapped: 128928 kB
Shmem: 45892 kB
KReclaimable: 236676 kB
Slab: 356252 kB
SReclaimable: 236676 kB
SUnreclaim: 119576 kB
KernelStack: 3824 kB
PageTables: 10380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 895172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 248648 kB
DirectMap2M: 29016064 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC004 at 2024-07-20 08:09:22