3599.98/3606.62 c Filename:instance-4452418-1721452244.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.98/3606.62 c Use Presolve
3599.98/3606.62 c Parse finsih
3599.98/3606.62 c Start Presolve
3599.98/3606.62 c After Reduce Vars: 10876 Clauses: 7950 Top clause weight: 1 Hard Clauses: 7950
3599.98/3606.62 c Use LS-small
3599.98/3606.62 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 (61860 MiB free)
memory of node 1: 64510 MiB (63235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452418-1721452244/watcher-4452418-1721452244 -o /tmp/evaluation-result-4452418-1721452244/solver-4452418-1721452244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721445042-1036443 --watchdog 3760 ./LS-MabP -f HOME/instance-4452418-1721452244.opb -t 3600 -s 1332488835 --no-s
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=1040502, runsolver pid=1040499
[startup+0.100144 s]*
/proc/loadavg: 4.13 4.09 4.09 5/259 1040503
/proc/meminfo: memFree=128089744/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=24852 memory=11772 CPUtime=0.1 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 1999 0 0 0 10 0 0 0 20 0 1 0 197389323 25448448 2943 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 6213 2943 1073 2753 0 2866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24852 KiB
Current children cumulated memory: 11772 KiB
[startup+0.205668 s]*
/proc/loadavg: 4.13 4.09 4.09 5/259 1040503
/proc/meminfo: memFree=128075348/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=41208 memory=27880 CPUtime=0.2 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 6562 0 0 0 19 1 0 0 20 0 1 0 197389323 42196992 6970 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 10302 6970 1105 2753 0 6955 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41208 KiB
Current children cumulated memory: 27880 KiB
[startup+0.305755 s]*
/proc/loadavg: 4.13 4.09 4.09 5/259 1040503
/proc/meminfo: memFree=128070164/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=42112 memory=28672 CPUtime=0.3 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 6797 0 0 0 29 1 0 0 20 0 1 0 197389323 43122688 7168 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 10528 7168 1105 2753 0 7181 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28672 KiB
[startup+0.70018 s]
/proc/loadavg: 4.13 4.09 4.09 6/259 1040503
/proc/meminfo: memFree=128069324/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=42112 memory=28672 CPUtime=0.69 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 6798 0 0 0 68 1 0 0 20 0 1 0 197389323 43122688 7168 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 10528 7168 1105 2753 0 7181 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28672 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 1040503
/proc/meminfo: memFree=128069228/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=42112 memory=28672 CPUtime=1.49 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 6798 0 0 0 148 1 0 0 20 0 1 0 197389323 43122688 7168 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 10528 7168 1105 2753 0 7181 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28672 KiB
[startup+3.1057 s]
/proc/loadavg: 4.20 4.11 4.10 5/259 1040503
/proc/meminfo: memFree=128069392/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=42112 memory=28672 CPUtime=3.09 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 6799 0 0 0 308 1 0 0 20 0 1 0 197389323 43122688 7168 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 10528 7168 1105 2753 0 7181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 28672 KiB
[startup+6.30018 s]
/proc/loadavg: 4.20 4.11 4.10 4/257 1040503
/proc/meminfo: memFree=128629168/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35128 CPUtime=6.28 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8869 0 0 0 615 13 0 0 20 0 1 0 197389323 49352704 8782 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8782 1153 2753 0 8702 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.14 4.11 6/259 1040551
/proc/meminfo: memFree=128620248/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35128 CPUtime=12.66 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8869 0 0 0 1209 57 0 0 20 0 1 0 197389323 49352704 8782 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8782 1153 2753 0 8702 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.43 4.17 4.12 5/258 1040553
/proc/meminfo: memFree=128620176/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35128 CPUtime=25.44 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8869 0 0 0 2395 149 0 0 20 0 1 0 197389323 49352704 8782 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8782 1153 2753 0 8702 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35128 KiB
[startup+51.1055 s]
/proc/loadavg: 4.42 4.19 4.12 5/258 1040557
/proc/meminfo: memFree=128619668/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35128 CPUtime=51.01 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8869 0 0 0 4773 328 0 0 20 0 1 0 197389323 49352704 8782 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8782 1153 2753 0 8702 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35128 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/258 1040566
/proc/meminfo: memFree=128619104/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35128 CPUtime=102.1 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8869 0 0 0 9522 688 0 0 20 0 1 0 197389323 49352704 8782 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8782 1153 2753 0 8702 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35128 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/258 1040577
/proc/meminfo: memFree=128618476/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=161.98 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8923 0 0 0 15073 1125 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/258 1040589
/proc/meminfo: memFree=128617908/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=221.87 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8956 0 0 0 20632 1555 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 1040599
/proc/meminfo: memFree=128617644/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=281.76 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8978 0 0 0 26192 1984 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/255 1040609
/proc/meminfo: memFree=128617216/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=341.65 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 8989 0 0 0 31766 2399 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 1040620
/proc/meminfo: memFree=128616824/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=401.54 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9000 0 0 0 37336 2818 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 1040630
/proc/meminfo: memFree=128616464/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=461.44 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9011 0 0 0 42897 3247 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
################
# More data... #
################
/proc/loadavg: 4.12 4.13 4.12 5/256 1042298
/proc/meminfo: memFree=128602092/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3156.49 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9506 0 0 0 293181 22468 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3156.49 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/256 1042310
/proc/meminfo: memFree=128601824/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3216.38 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9517 0 0 0 298743 22895 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3216.38 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/255 1042320
/proc/meminfo: memFree=128601364/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3276.27 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9528 0 0 0 304302 23325 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3276.27 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 1042330
/proc/meminfo: memFree=128601248/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3336.16 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9539 0 0 0 309864 23752 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3336.16 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 1042341
/proc/meminfo: memFree=128600888/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3396.05 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9550 0 0 0 315422 24183 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3396.05 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 1042351
/proc/meminfo: memFree=128600620/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3455.94 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9561 0 0 0 320988 24606 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3455.94 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/255 1042362
/proc/meminfo: memFree=128600268/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3515.83 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9572 0 0 0 326547 25036 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3515.83 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 1042376
/proc/meminfo: memFree=128599924/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3575.72 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 332116 25456 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3575.72 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3606.62 s]
# the end of solver process 1040502 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3343.71 s, system=256.297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.10 5/257 1042376
/proc/meminfo: memFree=128599932/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3577.43 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 332276 25467 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3577.43 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.10 5/257 1042379
/proc/meminfo: memFree=128599876/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3590.2 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 333461 25559 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3590.2 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1042380
/proc/meminfo: memFree=128599848/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3596.58 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 334056 25602 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3596.58 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3604.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1042380
/proc/meminfo: memFree=128599848/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3598.17 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 334203 25614 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3598.17 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3605.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1042380
/proc/meminfo: memFree=128599848/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3598.97 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 334276 25621 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3598.97 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3606.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1042380
/proc/meminfo: memFree=128599848/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3599.78 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 334350 25628 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
[startup+3606.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1042380
/proc/meminfo: memFree=128599848/131524600 swapFree=131071996/131071996
[pid=1040502] ppid=1040499 vsize=48196 memory=35228 CPUtime=3599.98 cores=1,3
/proc/1040502/stat : 1040502 (LS-MabP) R 1040499 1040502 1036431 0 -1 4194304 9583 0 0 0 334369 25629 0 0 20 0 1 0 197389323 49352704 8807 134679101440 4194304 15467897 140736680459104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47570944 140736680465432 140736680465541 140736680465541 140736680472558 0
/proc/1040502/statm: 12049 8807 1153 2753 0 8702 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 35228 KiB
Child status: 0
Real time (s): 3606.62
CPU time (s): 3600.01
CPU user time (s): 3343.71
CPU system time (s): 256.297
CPU usage (%): 99.8166
Max. virtual memory (cumulated for all children) (KiB): 48196
Max. memory (cumulated for all children) (KiB): 35228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3343.71
system time used= 256.297
maximum resident set size= 35228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9586
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= 13
involuntary context switches= 929
# summary of solver processes directly reported to runsolver:
# pid: 1040502
# total CPU time (s): 3600.01
# total CPU user time (s): 3343.71
# total CPU system time (s): 256.297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3617 second user time and 11.2556 second system time
The end
Begin job on nodeC024 at 2024-07-20 07:10:57
IDJOB=4452418
IDBENCH=164356
IDSOLVER=3049
FILE ID=nodeC024/4452418-1721452244
RUNJOBID= nodeC024-1721445042-1036443
SLURM_JOB_ID= 7545663
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452418-1721452244/watcher-4452418-1721452244 -o /tmp/evaluation-result-4452418-1721452244/solver-4452418-1721452244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721445042-1036443 --watchdog 3760 ./LS-MabP -f HOME/instance-4452418-1721452244.opb -t 3600 -s 1332488835 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=1332488835
nodeC024.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 : 3662.423
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.60
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 : 3655.051
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 : 7007.08
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.010
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.60
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 : 3665.631
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 : 7007.08
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 : 3662.382
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.60
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.986
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 : 7007.08
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.056
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.60
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 : 3599.828
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128098252 kB
MemAvailable: 128948592 kB
Buffers: 545308 kB
Cached: 1148724 kB
SwapCached: 0 kB
Active: 1038476 kB
Inactive: 1773788 kB
Active(anon): 1556 kB
Inactive(anon): 1162260 kB
Active(file): 1036920 kB
Inactive(file): 611528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 50392 kB
Writeback: 0 kB
AnonPages: 1117624 kB
Mapped: 120968 kB
Shmem: 45912 kB
KReclaimable: 83076 kB
Slab: 194984 kB
SReclaimable: 83076 kB
SUnreclaim: 111908 kB
KernelStack: 4208 kB
PageTables: 10804 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1427980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC024 at 2024-07-20 08:11:04