0.00/0.00 c solving HOME/instance-4445212-1721313881.opb (Picat 3.6#12)
465.39/466.63 s SATISFIABLE
465.39/466.63 v ~x66 ~x28 ~x79 ~x41 x3 ~x92 ~x54 ~x16 ~x67 ~x29
465.39/466.63 v ~x80 ~x42 ~x4 ~x93 ~x55 ~x17 x68 ~x30 ~x81 x43
465.39/466.63 v ~x5 ~x56 ~x18 ~x69 ~x31 ~x82 ~x44 ~x6 ~x57 ~x19
465.39/466.63 v x70 ~x32 ~x83 ~x45 ~x7 ~x58 ~x20 ~x71 x33 ~x84
465.39/466.63 v ~x46 ~x8 ~x59 ~x21 ~x72 x34 ~x85 ~x47 ~x9 x60
465.39/466.63 v ~x22 ~x73 ~x35 ~x86 ~x48 ~x10 ~x61 x23 ~x74 ~x36
465.39/466.63 v ~x87 ~x49 x11 ~x62 ~x24 ~x75 ~x37 ~x88 x50 ~x12
465.39/466.63 v ~x63 ~x25 ~x76 ~x38 ~x89 ~x51 ~x13 ~x64 ~x26 x77
465.39/466.63 v ~x39 x1 ~x90 ~x52 ~x14 ~x65 ~x27 ~x78 ~x40 ~x2
465.39/466.63 v ~x91 ~x53 ~x15
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 (59961 MiB free)
memory of node 1: 64510 MiB (60656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445212-1721313881/watcher-4445212-1721313881 -o /tmp/evaluation-result-4445212-1721313881/solver-4445212-1721313881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4445212-1721313881.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=991840, runsolver pid=991837
[startup+0.100318 s]*
/proc/loadavg: 4.32 4.21 4.13 5/259 991841
/proc/meminfo: memFree=123497496/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2037924 memory=21736 CPUtime=0.09 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 2575 0 0 0 9 0 0 0 20 0 1 0 183553447 2086834176 5434 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 509481 5434 1701 439 0 504910 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2037924 KiB
Current children cumulated memory: 21736 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.32 4.21 4.13 5/259 991841
/proc/meminfo: memFree=123496824/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2038948 memory=22412 CPUtime=0.19 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 2991 0 0 0 19 0 0 0 20 0 1 0 183553447 2087882752 5603 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 509737 5603 1701 439 0 505166 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2038948 KiB
Current children cumulated memory: 22412 KiB
[startup+0.305504 s]*
/proc/loadavg: 4.32 4.21 4.13 5/259 991841
/proc/meminfo: memFree=123496752/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2037924 memory=21744 CPUtime=0.29 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 3135 0 0 0 29 0 0 0 20 0 1 0 183553447 2086834176 5436 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 509481 5436 1701 439 0 504910 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2037924 KiB
Current children cumulated memory: 21744 KiB
[startup+0.700144 s]
/proc/loadavg: 4.32 4.21 4.13 5/259 991841
/proc/meminfo: memFree=123495912/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2038948 memory=22488 CPUtime=0.68 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 3613 0 0 0 68 0 0 0 20 0 1 0 183553447 2087882752 5622 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 509737 5622 1701 439 0 505166 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2038948 KiB
Current children cumulated memory: 22488 KiB
[startup+1.50014 s]
/proc/loadavg: 4.32 4.21 4.13 5/259 991841
/proc/meminfo: memFree=123495520/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2039104 memory=23240 CPUtime=1.48 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 4687 0 0 0 148 0 0 0 20 0 1 0 183553447 2088042496 5810 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 509776 5810 1701 439 0 505205 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2039104 KiB
Current children cumulated memory: 23240 KiB
[startup+3.10529 s]
/proc/loadavg: 4.29 4.21 4.13 5/259 991841
/proc/meminfo: memFree=123503572/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2041152 memory=23712 CPUtime=3.09 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 6782 0 0 0 308 1 0 0 20 0 1 0 183553447 2090139648 5928 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 510288 5928 1701 439 0 505717 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2041152 KiB
Current children cumulated memory: 23712 KiB
[startup+6.30017 s]
/proc/loadavg: 4.29 4.21 4.13 5/259 991842
/proc/meminfo: memFree=123503196/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2043448 memory=25556 CPUtime=6.27 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 11071 0 0 0 625 2 0 0 20 0 1 0 183553447 2092490752 6389 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 510862 6389 1701 439 0 506291 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2043448 KiB
Current children cumulated memory: 25556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.20 4.13 5/259 991842
/proc/meminfo: memFree=123502464/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2043448 memory=26012 CPUtime=12.66 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 18921 0 0 0 1262 4 0 0 20 0 1 0 183553447 2092490752 6503 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 510862 6503 1701 439 0 506291 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2043448 KiB
Current children cumulated memory: 26012 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.21 4.13 5/257 991845
/proc/meminfo: memFree=123501700/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2048468 memory=31388 CPUtime=25.43 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 38281 0 0 0 2534 9 0 0 20 0 1 0 183553447 2097631232 7847 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 512117 7847 1701 439 0 507546 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2048468 KiB
Current children cumulated memory: 31388 KiB
[startup+51.1054 s]
/proc/loadavg: 4.18 4.19 4.13 5/257 991849
/proc/meminfo: memFree=123482948/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2049128 memory=31644 CPUtime=50.97 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 57841 0 0 0 5083 14 0 0 20 0 1 0 183553447 2098307072 7911 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 512282 7911 1701 439 0 507711 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2049128 KiB
Current children cumulated memory: 31644 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/257 991858
/proc/meminfo: memFree=123493564/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2057672 memory=33552 CPUtime=102.03 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 109413 0 0 0 10173 30 0 0 20 0 1 0 183553447 2107056128 8388 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 514418 8388 1701 439 0 509847 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2057672 KiB
Current children cumulated memory: 33552 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/256 991869
/proc/meminfo: memFree=123485720/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2049480 memory=32128 CPUtime=161.88 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 165205 0 0 0 16139 49 0 0 20 0 1 0 183553447 2098667520 8032 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 512370 8032 1701 439 0 507799 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2049480 KiB
Current children cumulated memory: 32128 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/256 991879
/proc/meminfo: memFree=123477400/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2053576 memory=36308 CPUtime=221.72 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 224474 0 0 0 22105 67 0 0 20 0 1 0 183553447 2102861824 9077 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 513394 9077 1701 439 0 508823 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2053576 KiB
Current children cumulated memory: 36308 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.17 4.13 5/256 991889
/proc/meminfo: memFree=123481588/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2049480 memory=31928 CPUtime=281.57 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 270573 0 0 0 28078 79 0 0 20 0 1 0 183553447 2098667520 7982 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 512370 7982 1701 439 0 507799 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2049480 KiB
Current children cumulated memory: 31928 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/258 991903
/proc/meminfo: memFree=123471908/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2049480 memory=31792 CPUtime=341.41 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 301875 0 0 0 34050 91 0 0 20 0 1 0 183553447 2098667520 7948 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 512370 7948 1701 439 0 507799 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2049480 KiB
Current children cumulated memory: 31792 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.17 4.12 5/258 991960
/proc/meminfo: memFree=123500872/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2061768 memory=36576 CPUtime=401.25 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 340653 0 0 0 40022 103 0 0 20 0 1 0 183553447 2111250432 9144 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 515442 9144 1701 439 0 510871 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2061768 KiB
Current children cumulated memory: 36576 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/258 991970
/proc/meminfo: memFree=123487548/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2062256 memory=42788 CPUtime=461.1 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 371156 0 0 0 45997 113 0 0 20 0 1 0 183553447 2111750144 10697 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 515564 10697 1701 439 0 510993 0
Current children cumulated CPU time: 461.1 s
Current children cumulated vsize: 2062256 KiB
Current children cumulated memory: 42788 KiB
[startup+466.637 s]
# the end of solver process 991840 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=464.297 s, system=1.137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+464 s]*
/proc/loadavg: 4.14 4.15 4.12 5/258 991971
/proc/meminfo: memFree=123498660/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2058160 memory=34364 CPUtime=462.8 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 372157 0 0 0 46167 113 0 0 20 0 1 0 183553447 2107555840 8591 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 514540 8591 1701 439 0 509969 0
Current children cumulated CPU time: 462.8 s
Current children cumulated vsize: 2058160 KiB
Current children cumulated memory: 34364 KiB
[startup+465.6 s]
/proc/loadavg: 4.14 4.15 4.12 5/258 991971
/proc/meminfo: memFree=123492208/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2062256 memory=41060 CPUtime=464.39 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 373368 0 0 0 46326 113 0 0 20 0 1 0 183553447 2111750144 10265 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 515564 10265 1701 439 0 510993 0
Current children cumulated CPU time: 464.39 s
Current children cumulated vsize: 2062256 KiB
Current children cumulated memory: 41060 KiB
[startup+466.4 s]
/proc/loadavg: 4.14 4.15 4.12 5/258 991971
/proc/meminfo: memFree=123491536/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2062256 memory=42920 CPUtime=465.19 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 374092 0 0 0 46406 113 0 0 20 0 1 0 183553447 2111750144 10730 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 515564 10730 1701 439 0 510993 0
Current children cumulated CPU time: 465.19 s
Current children cumulated vsize: 2062256 KiB
Current children cumulated memory: 42920 KiB
[startup+466.6 s]
/proc/loadavg: 4.14 4.15 4.12 5/258 991971
/proc/meminfo: memFree=123491536/131524600 swapFree=131071996/131071996
[pid=991840] ppid=991837 vsize=2062256 memory=42920 CPUtime=465.39 cores=4,6
/proc/991840/stat : 991840 (pb_picat) R 991837 991840 984416 0 -1 4194304 374092 0 0 0 46426 113 0 0 20 0 1 0 183553447 2111750144 10730 134679101440 4194304 5989780 140726487546816 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 25190400 140726487553048 140726487553124 140726487553124 140726487560140 0
/proc/991840/statm: 515564 10730 1701 439 0 510993 0
Current children cumulated CPU time: 465.39 s
Current children cumulated vsize: 2062256 KiB
Current children cumulated memory: 42920 KiB
Child status: 0
Real time (s): 466.637
CPU time (s): 465.434
CPU user time (s): 464.297
CPU system time (s): 1.137
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 2078152
Max. memory (cumulated for all children) (KiB): 46828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 464.297
system time used= 1.137
maximum resident set size= 46828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374100
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= 4
involuntary context switches= 618
# summary of solver processes directly reported to runsolver:
# pid: 991840
# total CPU time (s): 465.434
# total CPU user time (s): 464.297
# total CPU system time (s): 1.137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.785185 second user time and 2.11058 second system time
The end
Begin job on nodeC025 at 2024-07-18 16:44:53
IDJOB=4445212
IDBENCH=148103
IDSOLVER=3068
FILE ID=nodeC025/4445212-1721313881
RUNJOBID= nodeC025-1721306176-984427
SLURM_JOB_ID= 7542640
Free space on /tmp= 890020 MiB
SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob6.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445212-1721313881/watcher-4445212-1721313881 -o /tmp/evaluation-result-4445212-1721313881/solver-4445212-1721313881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4445212-1721313881.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abfa6108019d186bb0a39186e3151874
RANDOM SEED=1366484300
nodeC025.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 : 3647.111
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.72
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 : 3690.443
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.09
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.613
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.72
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.237
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.09
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 : 3648.648
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.72
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 : 3690.618
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.09
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 : 3631.035
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.72
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.935
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.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123513372 kB
MemAvailable: 129455864 kB
Buffers: 515948 kB
Cached: 6189656 kB
SwapCached: 0 kB
Active: 1055732 kB
Inactive: 6183864 kB
Active(anon): 1560 kB
Inactive(anon): 570144 kB
Active(file): 1054172 kB
Inactive(file): 5613720 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3628 kB
Writeback: 0 kB
AnonPages: 531672 kB
Mapped: 115604 kB
Shmem: 37720 kB
KReclaimable: 228496 kB
Slab: 356208 kB
SReclaimable: 228496 kB
SUnreclaim: 127712 kB
KernelStack: 4224 kB
PageTables: 10152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6954752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC025 at 2024-07-18 16:52:40