3599.97/3608.22 c Filename:instance-4452088-1721443098.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.97/3608.22 c Use Presolve
3599.97/3608.22 c Parse finsih
3599.97/3608.22 c Start Presolve
3599.97/3608.22 c After Reduce Vars: 176 Clauses: 690 Top clause weight: 1 Hard Clauses: 690
3599.97/3608.22 c Use LS-small
3599.97/3608.22 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 (61627 MiB free)
memory of node 1: 64510 MiB (62192 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452088-1721443098/watcher-4452088-1721443098 -o /tmp/evaluation-result-4452088-1721443098/solver-4452088-1721443098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721435893-1053752 --watchdog 3760 ./LS-MabP -f HOME/instance-4452088-1721443098.opb -t 3600 -s 423659812 --no-s
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1057869, runsolver pid=1057866
[startup+0.101043 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 1057870
/proc/meminfo: memFree=126788600/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=0.09 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 8 1 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+0.205144 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 1057870
/proc/meminfo: memFree=126788276/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=0.2 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 18 2 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+0.304153 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 1057870
/proc/meminfo: memFree=126788276/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=0.3 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 27 3 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+0.700116 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 1057870
/proc/meminfo: memFree=126787972/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=0.68 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 63 5 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+1.50011 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1057870
/proc/meminfo: memFree=126787960/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=1.48 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 137 11 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3.10429 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1057872
/proc/meminfo: memFree=126787984/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3.08 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 279 29 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+6.30013 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1057872
/proc/meminfo: memFree=126787844/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=6.27 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 566 61 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 1057872
/proc/meminfo: memFree=126787752/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=12.66 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 1145 121 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1057875
/proc/meminfo: memFree=126787584/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=25.43 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 2290 253 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+51.1043 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1057878
/proc/meminfo: memFree=126786988/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=50.98 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 4579 519 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1057887
/proc/meminfo: memFree=126786364/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=102.05 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 9168 1037 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1057902
/proc/meminfo: memFree=126785976/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=161.92 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 14538 1654 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 1057912
/proc/meminfo: memFree=126785332/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=221.78 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 19902 2276 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 1057923
/proc/meminfo: memFree=126784992/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=281.64 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 25279 2885 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.15 4.11 5/256 1057935
/proc/meminfo: memFree=126784664/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=341.5 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 30632 3518 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/256 1057945
/proc/meminfo: memFree=126784300/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=401.37 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 35998 4139 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/254 1057955
/proc/meminfo: memFree=126784028/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=461.24 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 41370 4754 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
################
# More data... #
################
/proc/loadavg: 4.11 4.10 4.09 5/257 1059626
/proc/meminfo: memFree=126769808/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3155.08 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 283049 32459 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3155.08 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1059636
/proc/meminfo: memFree=126769484/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3214.95 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 288421 33074 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3214.95 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 1059647
/proc/meminfo: memFree=126769184/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3274.81 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 293794 33687 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3274.81 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1059658
/proc/meminfo: memFree=126768912/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3334.67 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 299170 34297 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3334.67 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1059668
/proc/meminfo: memFree=126768640/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3394.53 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 304522 34931 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3394.53 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1059679
/proc/meminfo: memFree=126768368/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3454.4 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 309886 35554 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1059689
/proc/meminfo: memFree=126767992/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3514.26 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 315254 36172 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3514.26 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/255 1059700
/proc/meminfo: memFree=126767712/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3574.13 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 320633 36780 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3608.23 s]
# the end of solver process 1057869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3229.48 s, system=370.527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 1059702
/proc/meminfo: memFree=126767676/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3575.83 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 320788 36795 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3575.83 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 1059703
/proc/meminfo: memFree=126767640/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3588.59 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 321928 36931 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3588.59 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.10 4.09 2/239 1059767
/proc/meminfo: memFree=126819876/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3594.98 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 322497 37001 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3594.98 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.10 4.09 2/234 1059798
/proc/meminfo: memFree=126838440/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3598.17 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 322783 37034 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3598.17 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3607.2 s]
/proc/loadavg: 3.87 4.05 4.07 2/234 1059798
/proc/meminfo: memFree=126838440/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3598.97 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 322856 37041 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3598.97 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3608 s]*
/proc/loadavg: 3.87 4.05 4.07 2/234 1059798
/proc/meminfo: memFree=126838440/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3599.77 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 322928 37049 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
[startup+3608.2 s]
/proc/loadavg: 3.87 4.05 4.07 2/234 1059798
/proc/meminfo: memFree=126838440/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=19732 memory=7668 CPUtime=3599.97 cores=0,2
/proc/1057869/stat : 1057869 (LS-MabP) R 1057866 1057869 1053742 0 -1 4194304 376 0 0 0 322945 37052 0 0 20 0 1 0 196477224 20205568 1917 134679101440 4194304 15467897 140721503889328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 23289856 140721503896601 140721503896709 140721503896709 140721503903726 0
/proc/1057869/statm: 4933 1917 1153 2753 0 1586 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 7668 KiB
Child status: 0
Real time (s): 3608.23
CPU time (s): 3600.01
CPU user time (s): 3229.48
CPU system time (s): 370.527
CPU usage (%): 99.7722
Max. virtual memory (cumulated for all children) (KiB): 19732
Max. memory (cumulated for all children) (KiB): 7668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3229.48
system time used= 370.527
maximum resident set size= 7752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379
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= 25162
# summary of solver processes directly reported to runsolver:
# pid: 1057869
# total CPU time (s): 3600.01
# total CPU user time (s): 3229.48
# total CPU system time (s): 370.527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06124 second user time and 11.2996 second system time
The end
Begin job on nodeC029 at 2024-07-20 04:38:31
IDJOB=4452088
IDBENCH=162907
IDSOLVER=3049
FILE ID=nodeC029/4452088-1721443098
RUNJOBID= nodeC029-1721435893-1053752
SLURM_JOB_ID= 7545643
Free space on /tmp= 890020 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_10.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-4452088-1721443098/watcher-4452088-1721443098 -o /tmp/evaluation-result-4452088-1721443098/solver-4452088-1721443098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721435893-1053752 --watchdog 3760 ./LS-MabP -f HOME/instance-4452088-1721443098.opb -t 3600 -s 423659812 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1cebdc20db0e51a74e0f0f13cc4556c9
RANDOM SEED=423659812
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.267
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.962
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.698
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.707
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.222
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.343
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126792272 kB
MemAvailable: 129671212 kB
Buffers: 533824 kB
Cached: 3160264 kB
SwapCached: 0 kB
Active: 1045848 kB
Inactive: 3004248 kB
Active(anon): 1488 kB
Inactive(anon): 400100 kB
Active(file): 1044360 kB
Inactive(file): 2604148 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65108 kB
Writeback: 0 kB
AnonPages: 355684 kB
Mapped: 121476 kB
Shmem: 45912 kB
KReclaimable: 140156 kB
Slab: 258920 kB
SReclaimable: 140156 kB
SUnreclaim: 118764 kB
KernelStack: 4092 kB
PageTables: 9588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 796200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC029 at 2024-07-20 05:38:40