0.00/0.01 c Filename:instance-4448526-1721368525.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Use Presolve
0.00/0.01 c Parse finsih
0.00/0.01 c Start Presolve
0.00/0.01 c After Reduce Vars: 240 Clauses: 240 Top clause weight: 1 Hard Clauses: 240
3599.95/3606.35 c Use LS-small
3599.95/3606.35 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: 63968 MiB (62407 MiB free)
memory of node 1: 64473 MiB (62403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448526-1721368525/watcher-4448526-1721368525 -o /tmp/evaluation-result-4448526-1721368525/solver-4448526-1721368525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034920 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448526-1721368525.opb -t 3600 -s 67481427
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=1039025, runsolver pid=1039022
[startup+0.100404 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127777124/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=30224 memory=22384 CPUtime=0.09 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 2588 0 0 0 9 0 0 0 20 0 1 0 189020587 30949376 5596 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 7556 5596 2849 2753 0 4209 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30224 KiB
Current children cumulated memory: 22384 KiB
[startup+0.205407 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127768668/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=30852 memory=23704 CPUtime=0.19 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 2877 0 0 0 19 0 0 0 20 0 1 0 189020587 31592448 5926 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 7713 5926 2849 2753 0 4366 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30852 KiB
Current children cumulated memory: 23704 KiB
[startup+0.305404 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127765924/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=31184 memory=23968 CPUtime=0.28 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 2963 0 0 0 28 0 0 0 20 0 1 0 189020587 31932416 5992 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 7796 5992 2849 2753 0 4449 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 31184 KiB
Current children cumulated memory: 23968 KiB
[startup+0.700208 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127762340/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=32408 memory=25288 CPUtime=0.67 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 3270 0 0 0 67 0 0 0 20 0 1 0 189020587 33185792 6322 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 8102 6322 2849 2753 0 4755 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 32408 KiB
Current children cumulated memory: 25288 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.15 4.10 4/251 1039067
/proc/meminfo: memFree=128500100/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=40532 memory=33976 CPUtime=1.46 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 5694 0 0 0 146 0 0 0 20 0 1 0 189020587 41504768 8494 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 10133 8494 2849 2753 0 6786 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 40532 KiB
Current children cumulated memory: 33976 KiB
[startup+3.10528 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039082
/proc/meminfo: memFree=128432864/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=42648 memory=36168 CPUtime=3.06 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7109 0 0 0 306 0 0 0 20 0 1 0 189020587 43671552 9042 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 10662 9042 2849 2753 0 7315 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 42648 KiB
Current children cumulated memory: 36168 KiB
[startup+6.3002 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039084
/proc/meminfo: memFree=128403688/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=37748 CPUtime=6.25 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7548 0 0 0 615 10 0 0 20 0 1 0 189020587 45379584 9437 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9437 2849 2753 0 7732 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 37748 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1039084
/proc/meminfo: memFree=128342848/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=37748 CPUtime=12.64 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7548 0 0 0 1082 182 0 0 20 0 1 0 189020587 45379584 9437 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9437 2849 2753 0 7732 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 37748 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 1039085
/proc/meminfo: memFree=128335412/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=37748 CPUtime=25.41 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7548 0 0 0 2004 537 0 0 20 0 1 0 189020587 45379584 9437 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9437 2849 2753 0 7732 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 37748 KiB
[startup+51.1052 s]
/proc/loadavg: 4.18 4.15 4.11 5/257 1039090
/proc/meminfo: memFree=128298328/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=37748 CPUtime=50.96 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7548 0 0 0 3845 1251 0 0 20 0 1 0 189020587 45379584 9437 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9437 2849 2753 0 7732 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 37748 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039099
/proc/meminfo: memFree=128165396/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=37824 CPUtime=102.07 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7556 0 0 0 7530 2677 0 0 20 0 1 0 189020587 45379584 9456 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9456 2849 2753 0 7732 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 37824 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 1039280
/proc/meminfo: memFree=128053648/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=37824 CPUtime=161.96 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7558 0 0 0 11856 4340 0 0 20 0 1 0 189020587 45379584 9456 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9456 2849 2753 0 7732 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 37824 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.23 4.13 5/259 1039292
/proc/meminfo: memFree=127935344/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=221.85 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7560 0 0 0 16191 5994 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/260 1039305
/proc/meminfo: memFree=127825448/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=281.74 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7561 0 0 0 20535 7639 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/258 1039327
/proc/meminfo: memFree=127731724/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=341.67 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7562 0 0 0 24845 9322 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 341.67 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/259 1039339
/proc/meminfo: memFree=127644224/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=401.58 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7563 0 0 0 29190 10968 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 401.58 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/259 1039349
/proc/meminfo: memFree=127563636/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=461.51 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7564 0 0 0 33524 12627 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
################
# More data... #
################
/proc/loadavg: 4.22 4.13 4.10 5/256 1040476
/proc/meminfo: memFree=126367804/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3216.61 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7610 0 0 0 232583 89078 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3216.61 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1040491
/proc/meminfo: memFree=126366768/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3276.51 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7611 0 0 0 236907 90744 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3276.51 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1040502
/proc/meminfo: memFree=126365904/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3336.4 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7612 0 0 0 241235 92405 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3336.4 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1040512
/proc/meminfo: memFree=126365180/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3396.3 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7613 0 0 0 245553 94077 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3396.3 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1040523
/proc/meminfo: memFree=126364680/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3456.19 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7614 0 0 0 249895 95724 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3456.19 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1040536
/proc/meminfo: memFree=126364104/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3516.09 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7615 0 0 0 254216 97393 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3516.09 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1040929
/proc/meminfo: memFree=126362812/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3575.98 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 258565 99033 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3575.98 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3606.35 s]
# the end of solver process 1039025 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2602.87 s, system=997.137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1040929
/proc/meminfo: memFree=126362904/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3577.69 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 258686 99083 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3577.69 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 1040932
/proc/meminfo: memFree=126363032/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3590.46 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 259610 99436 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3590.46 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3603.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040932
/proc/meminfo: memFree=126363128/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3596.85 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 260064 99621 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3596.85 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3604.8 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040932
/proc/meminfo: memFree=126363156/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3598.45 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 260177 99668 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3598.45 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3605.6 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040933
/proc/meminfo: memFree=126363008/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3599.25 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 260234 99691 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3599.25 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3606 s]*
/proc/loadavg: 4.18 4.13 4.10 5/255 1040935
/proc/meminfo: memFree=126363072/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3599.65 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 260262 99703 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3606.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040935
/proc/meminfo: memFree=126363072/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3599.85 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 260276 99709 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
[startup+3606.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040935
/proc/meminfo: memFree=126363072/131524600 swapFree=131071996/131071996
[pid=1039025] ppid=1039022 vsize=44316 memory=38048 CPUtime=3599.95 cores=4,6
/proc/1039025/stat : 1039025 (LS-MabSP) R 1039022 1039025 1034909 0 -1 4194304 7616 0 0 0 260283 99712 0 0 20 0 1 0 189020587 45379584 9512 134679101440 4194304 15467897 140735557206976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47579136 140735557215263 140735557215364 140735557215364 140735557222381 0
/proc/1039025/statm: 11079 9512 2849 2753 0 7732 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 44316 KiB
Current children cumulated memory: 38048 KiB
Child status: 0
Real time (s): 3606.35
CPU time (s): 3600.01
CPU user time (s): 2602.87
CPU system time (s): 997.137
CPU usage (%): 99.8241
Max. virtual memory (cumulated for all children) (KiB): 44316
Max. memory (cumulated for all children) (KiB): 38048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2602.87
system time used= 997.137
maximum resident set size= 38052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7619
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= 2
involuntary context switches= 927
# summary of solver processes directly reported to runsolver:
# pid: 1039025
# total CPU time (s): 3600.01
# total CPU user time (s): 2602.87
# total CPU system time (s): 997.137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9019 second user time and 13.9348 second system time
The end
Begin job on nodeC030 at 2024-07-19 07:55:38
IDJOB=4448526
IDBENCH=160429
IDSOLVER=3047
FILE ID=nodeC030/4448526-1721368525
RUNJOBID= nodeC030-1721361319-1034920
SLURM_JOB_ID= 7542780
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid3x40split.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-4448526-1721368525/watcher-4448526-1721368525 -o /tmp/evaluation-result-4448526-1721368525/solver-4448526-1721368525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034920 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448526-1721368525.opb -t 3600 -s 67481427
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ec4a6e190aa0f4d165a26268b3c9e06
RANDOM SEED=67481427
nodeC030.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 : 3648.673
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 : 6999.28
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 : 3686.798
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 : 7005.11
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 : 3657.181
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 : 6999.28
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.095
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 : 7005.11
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 : 3600.403
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 : 6999.28
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 : 3686.778
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 : 7005.11
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 : 3661.307
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 : 6999.28
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 : 3600.054
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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127811376 kB
MemAvailable: 128940600 kB
Buffers: 498704 kB
Cached: 1458488 kB
SwapCached: 0 kB
Active: 1154840 kB
Inactive: 1928564 kB
Active(anon): 1540 kB
Inactive(anon): 1161756 kB
Active(file): 1153300 kB
Inactive(file): 766808 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 46464 kB
Writeback: 0 kB
AnonPages: 1125016 kB
Mapped: 129056 kB
Shmem: 37720 kB
KReclaimable: 97880 kB
Slab: 210924 kB
SReclaimable: 97880 kB
SUnreclaim: 113044 kB
KernelStack: 4108 kB
PageTables: 11548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1613192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 966656 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC030 at 2024-07-19 08:55:44