3599.90/3605.49 c Filename:instance-4452718-1721457643.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.90/3605.49 c Use Presolve
3599.90/3605.49 c Parse finsih
3599.90/3605.49 c Start Presolve
3599.90/3605.49 c After Reduce Vars: 5405 Clauses: 1082 Top clause weight: 1 Hard Clauses: 1082
3599.90/3605.49 c Use LS-small
3599.90/3605.49 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 (59632 MiB free)
memory of node 1: 64473 MiB (62876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452718-1721457643/watcher-4452718-1721457643 -o /tmp/evaluation-result-4452718-1721457643/solver-4452718-1721457643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721454046-1067672 --watchdog 3760 ./LS-MabP -f HOME/instance-4452718-1721457643.opb -t 3600 -s 840473563 --no-s
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1069801, runsolver pid=1069798
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.03 4.12 4.08 5/259 1069802
/proc/meminfo: memFree=125438500/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=22940 memory=10600 CPUtime=0.1 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1340 0 0 0 10 0 0 0 20 0 1 0 197926713 23490560 2650 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 5735 2650 1105 2753 0 2388 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22940 KiB
Current children cumulated memory: 10600 KiB
[startup+0.20541 s]*
/proc/loadavg: 4.03 4.12 4.08 6/259 1069802
/proc/meminfo: memFree=125437148/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=0.2 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 19 1 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+0.304521 s]*
/proc/loadavg: 4.03 4.12 4.08 5/259 1069802
/proc/meminfo: memFree=125437148/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=0.3 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 27 3 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+0.700152 s]
/proc/loadavg: 4.03 4.12 4.08 5/259 1069802
/proc/meminfo: memFree=125432108/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=0.69 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 62 7 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+1.50015 s]
/proc/loadavg: 4.03 4.12 4.08 5/259 1069802
/proc/meminfo: memFree=125431408/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=1.49 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 129 20 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+3.10517 s]
/proc/loadavg: 4.03 4.12 4.08 5/259 1069804
/proc/meminfo: memFree=125430968/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=3.09 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 266 43 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+6.30014 s]
/proc/loadavg: 4.02 4.12 4.08 5/259 1069804
/proc/meminfo: memFree=125431304/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=6.28 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 540 88 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 4.11 4.08 5/259 1069804
/proc/meminfo: memFree=125431240/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=12.66 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 1088 178 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 4.13 4.08 5/259 1069807
/proc/meminfo: memFree=125431016/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=11960 CPUtime=25.44 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1807 0 0 0 2181 363 0 0 20 0 1 0 197926713 24686592 2990 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 2990 1153 2753 0 2680 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 11960 KiB
[startup+51.1042 s]
/proc/loadavg: 4.06 4.11 4.08 5/259 1069810
/proc/meminfo: memFree=125430540/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=51 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1813 0 0 0 4359 741 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.08 5/259 1069864
/proc/meminfo: memFree=125409424/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=102.12 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1818 0 0 0 8694 1518 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/259 1069875
/proc/meminfo: memFree=125408732/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=162.03 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1820 0 0 0 13800 2403 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 162.03 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1069887
/proc/meminfo: memFree=125408148/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=221.94 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1821 0 0 0 18804 3390 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 221.94 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 1069897
/proc/meminfo: memFree=125407712/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=281.84 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1822 0 0 0 23983 4201 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 281.84 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 1069907
/proc/meminfo: memFree=125407612/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=341.75 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1823 0 0 0 29178 4997 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 341.75 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/254 1069918
/proc/meminfo: memFree=125407324/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=401.66 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1824 0 0 0 34313 5853 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
Current children cumulated CPU time: 401.66 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12028 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/255 1069929
/proc/meminfo: memFree=125406876/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12028 CPUtime=461.56 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1825 0 0 0 39456 6700 0 0 20 0 1 0 197926713 24686592 3007 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3007 1153 2753 0 2680 0
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.09 5/260 1071598
/proc/meminfo: memFree=125392964/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3157.47 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1870 0 0 0 269423 46324 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3157.47 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 1071611
/proc/meminfo: memFree=125392752/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3217.38 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1871 0 0 0 274329 47409 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3217.38 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 1071621
/proc/meminfo: memFree=125392256/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3277.29 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1872 0 0 0 279523 48206 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3277.29 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/255 1071631
/proc/meminfo: memFree=125392120/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3337.19 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1873 0 0 0 284634 49085 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3337.19 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1071642
/proc/meminfo: memFree=125391776/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3397.1 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1874 0 0 0 289738 49972 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3397.1 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 1071652
/proc/meminfo: memFree=125391484/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3457.01 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1875 0 0 0 294770 50931 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3457.01 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1071662
/proc/meminfo: memFree=125391248/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3516.92 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1876 0 0 0 299960 51732 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3516.92 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 1071677
/proc/meminfo: memFree=125390960/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3576.83 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1877 0 0 0 305157 52526 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3576.83 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3605.49 s]
# the end of solver process 1069801 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3070.45 s, system=529.553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 1071678
/proc/meminfo: memFree=125390932/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3578.53 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1877 0 0 0 305305 52548 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3578.53 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1071681
/proc/meminfo: memFree=125390816/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3591.31 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1878 0 0 0 306364 52767 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3591.31 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.11 4.09 5/257 1071681
/proc/meminfo: memFree=125390792/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3594.51 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1878 0 0 0 306617 52834 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3594.51 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1071682
/proc/meminfo: memFree=125390816/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3597.71 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1878 0 0 0 306868 52903 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3597.71 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3604.8 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1071682
/proc/meminfo: memFree=125390760/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3599.3 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1878 0 0 0 306991 52939 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3605.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1071682
/proc/meminfo: memFree=125390760/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3599.7 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1878 0 0 0 307022 52948 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
[startup+3605.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1071682
/proc/meminfo: memFree=125390760/131524600 swapFree=131071216/131071996
[pid=1069801] ppid=1069798 vsize=24108 memory=12052 CPUtime=3599.9 cores=5,7
/proc/1069801/stat : 1069801 (LS-MabP) R 1069798 1069801 1067659 0 -1 4194304 1878 0 0 0 307037 52953 0 0 20 0 1 0 197926713 24686592 3013 134679101440 4194304 15467897 140735262124416 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26271744 140735262131225 140735262131333 140735262131333 140735262138350 0
/proc/1069801/statm: 6027 3013 1153 2753 0 2680 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12052 KiB
Child status: 0
Real time (s): 3605.49
CPU time (s): 3600
CPU user time (s): 3070.45
CPU system time (s): 529.553
CPU usage (%): 99.8477
Max. virtual memory (cumulated for all children) (KiB): 24108
Max. memory (cumulated for all children) (KiB): 12052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3070.45
system time used= 529.553
maximum resident set size= 12052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1881
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= 911
# summary of solver processes directly reported to runsolver:
# pid: 1069801
# total CPU time (s): 3600
# total CPU user time (s): 3070.45
# total CPU system time (s): 529.553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79339 second user time and 11.7357 second system time
The end
Begin job on nodeC018 at 2024-07-20 08:40:55
IDJOB=4452718
IDBENCH=165296
IDSOLVER=3049
FILE ID=nodeC018/4452718-1721457643
RUNJOBID= nodeC018-1721454046-1067672
SLURM_JOB_ID= 7545683
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP045.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-4452718-1721457643/watcher-4452718-1721457643 -o /tmp/evaluation-result-4452718-1721457643/solver-4452718-1721457643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721454046-1067672 --watchdog 3760 ./LS-MabP -f HOME/instance-4452718-1721457643.opb -t 3600 -s 840473563 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f172948e58fb5a8063ac37667d22320
RANDOM SEED=840473563
nodeC018.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 : 3673.709
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.52
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 : 3671.551
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.179
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.52
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.387
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.687
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.52
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 : 3664.983
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.150
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.52
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 : 3669.598
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125449184 kB
MemAvailable: 129679520 kB
Buffers: 564428 kB
Cached: 4465772 kB
SwapCached: 148 kB
Active: 1134780 kB
Inactive: 4285096 kB
Active(anon): 1576 kB
Inactive(anon): 433560 kB
Active(file): 1133204 kB
Inactive(file): 3851536 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 49496 kB
Writeback: 0 kB
AnonPages: 389024 kB
Mapped: 123200 kB
Shmem: 45784 kB
KReclaimable: 170840 kB
Slab: 275228 kB
SReclaimable: 170840 kB
SUnreclaim: 104388 kB
KernelStack: 4156 kB
PageTables: 10032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 916924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 325632 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: 283348 kB
DirectMap2M: 28850176 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC018 at 2024-07-20 09:41:01