0.00/0.00 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.00 o 70
0.00/0.00 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ...
1794.43/1800.01 c SCIP timeout with lower and upper bounds: [54, 60]
1836.53/1842.27 s OPTIMUM FOUND
1836.53/1842.27 v x1 -x2 x3 -x4 x5 x6 x7 x8 -x9 -x10 x11 -x12 x13 x14 -x15 -x16 x17 x18 -x19 x20 x21 -x22 x23 x24 x25 -x26 x27 x28 -x29 x30 x31 -x32 x33 x34 x35 -x36 x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 x47 x48 -x49 -x50 x51 x52 -x53 x54 -x55 x56 x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 -x89 x90 x91 x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 x103 x104 -x105 -x106 x107 x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 -x128 -x129 x130 x131 -x132 x133 x134 -x135 x136 x137 x138 x139 x140 x141 -x142 x143 -x144
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 (61009 MiB free)
memory of node 1: 64510 MiB (60093 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438949-1721250705/watcher-4438949-1721250705 -o /tmp/evaluation-result-4438949-1721250705/solver-4438949-1721250705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721242930-917605 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438949-1721250705.opb -total-t=3600 -no-par -v0
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=922020, runsolver pid=922017
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.14 4.10 4.09 5/257 922021
/proc/meminfo: memFree=123988652/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=40676 memory=31240 CPUtime=0.09 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 5492 0 0 0 9 0 0 0 20 0 1 0 177235418 41652224 7810 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 10169 7810 2666 2726 0 6917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 31240 KiB
[startup+0.205895 s]*
/proc/loadavg: 4.14 4.10 4.09 5/257 922021
/proc/meminfo: memFree=123987320/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=41744 memory=32296 CPUtime=0.2 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 5754 0 0 0 20 0 0 0 20 0 1 0 177235418 42745856 8074 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 10436 8074 2666 2726 0 7184 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41744 KiB
Current children cumulated memory: 32296 KiB
[startup+0.305803 s]*
/proc/loadavg: 4.13 4.10 4.09 5/257 922021
/proc/meminfo: memFree=123980236/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=49140 memory=39780 CPUtime=0.3 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 7823 0 0 0 29 1 0 0 20 0 1 0 177235418 50319360 9945 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 12285 9945 2762 2726 0 9033 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49140 KiB
Current children cumulated memory: 39780 KiB
[startup+0.700243 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 922021
/proc/meminfo: memFree=123979900/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=50432 memory=41160 CPUtime=0.69 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 8177 0 0 0 68 1 0 0 20 0 1 0 177235418 51642368 10290 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 12608 10290 2778 2726 0 9356 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50432 KiB
Current children cumulated memory: 41160 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 922021
/proc/meminfo: memFree=123964668/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=93100 memory=76652 CPUtime=1.48 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 18107 0 0 0 146 2 0 0 20 0 1 0 177235418 95334400 19163 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 23275 19163 2778 2726 0 20023 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93100 KiB
Current children cumulated memory: 76652 KiB
[startup+3.1057 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 922021
/proc/meminfo: memFree=123927144/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=114292 memory=92228 CPUtime=3.09 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 22004 0 0 0 306 3 0 0 20 0 1 0 177235418 117035008 23057 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 28573 23057 2778 2726 0 25321 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 92228 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 922023
/proc/meminfo: memFree=123925544/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=113928 memory=93144 CPUtime=6.28 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 22772 0 0 0 625 3 0 0 20 0 1 0 177235418 116662272 23286 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 28482 23286 2778 2726 0 25230 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 113928 KiB
Current children cumulated memory: 93144 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.12 4.10 5/257 922023
/proc/meminfo: memFree=123915972/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=130396 memory=108400 CPUtime=12.66 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 29586 0 0 0 1262 4 0 0 20 0 1 0 177235418 133525504 27100 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 32599 27100 2778 2726 0 29347 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 108400 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 922024
/proc/meminfo: memFree=123876236/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=165028 memory=140848 CPUtime=25.42 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 42178 0 0 0 2535 7 0 0 20 0 1 0 177235418 168988672 35212 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 41257 35212 2778 2726 0 38005 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 165028 KiB
Current children cumulated memory: 140848 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 922029
/proc/meminfo: memFree=123850088/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=188684 memory=163616 CPUtime=50.96 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 54413 0 0 0 5085 11 0 0 20 0 1 0 177235418 193212416 40904 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 47171 40904 2778 2726 0 43919 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 188684 KiB
Current children cumulated memory: 163616 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 922038
/proc/meminfo: memFree=123824784/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=209560 memory=181644 CPUtime=102 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 62386 0 0 0 10184 16 0 0 20 0 1 0 177235418 214589440 45411 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 52390 45411 2778 2726 0 49138 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 209560 KiB
Current children cumulated memory: 181644 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 922141
/proc/meminfo: memFree=123994192/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=232552 memory=205332 CPUtime=161.81 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 70302 0 0 0 16163 18 0 0 20 0 1 0 177235418 238133248 51333 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 58138 51333 2778 2726 0 54886 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 232552 KiB
Current children cumulated memory: 205332 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/254 922196
/proc/meminfo: memFree=123887356/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=243360 memory=216896 CPUtime=221.61 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 74284 0 0 0 22142 19 0 0 20 0 1 0 177235418 249200640 54224 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 60840 54224 2778 2726 0 57588 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 243360 KiB
Current children cumulated memory: 216896 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/254 922206
/proc/meminfo: memFree=123836412/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=246272 memory=220208 CPUtime=281.41 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 75139 0 0 0 28121 20 0 0 20 0 1 0 177235418 252182528 55052 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 61568 55052 2778 2726 0 58316 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 246272 KiB
Current children cumulated memory: 220208 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/254 922217
/proc/meminfo: memFree=123790696/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=251448 memory=225136 CPUtime=341.21 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 76314 0 0 0 34101 20 0 0 20 0 1 0 177235418 257482752 56284 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 62862 56284 2778 2726 0 59610 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 251448 KiB
Current children cumulated memory: 225136 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/254 922227
/proc/meminfo: memFree=123748704/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=257672 memory=230348 CPUtime=401.02 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 77869 0 0 0 40080 22 0 0 20 0 1 0 177235418 263856128 57587 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 64418 57587 2778 2726 0 61166 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 257672 KiB
Current children cumulated memory: 230348 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/254 922237
/proc/meminfo: memFree=123703492/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=266404 memory=236764 CPUtime=460.83 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 80812 0 0 0 46060 23 0 0 20 0 1 0 177235418 272797696 59191 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 66601 59191 3063 2726 0 63349 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.09 6/255 923114
/proc/meminfo: memFree=124712756/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=375720 memory=359212 CPUtime=1417.75 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 103757 0 0 0 141744 31 0 0 20 0 1 0 177235418 384737280 89803 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 93930 89803 3063 2726 0 90678 0
Current children cumulated CPU time: 1417.75 s
Current children cumulated vsize: 375720 KiB
Current children cumulated memory: 359212 KiB
[startup+1482.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/255 923124
/proc/meminfo: memFree=124684760/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=380616 memory=367884 CPUtime=1477.58 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 105236 0 0 0 147727 31 0 0 20 0 1 0 177235418 389750784 91971 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 95154 91971 3063 2726 0 91902 0
Current children cumulated CPU time: 1477.58 s
Current children cumulated vsize: 380616 KiB
Current children cumulated memory: 367884 KiB
[startup+1542.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/254 923135
/proc/meminfo: memFree=124640644/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=386440 memory=373788 CPUtime=1537.42 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 106882 0 0 0 153711 31 0 0 20 0 1 0 177235418 395714560 93447 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 96610 93447 3063 2726 0 93358 0
Current children cumulated CPU time: 1537.42 s
Current children cumulated vsize: 386440 KiB
Current children cumulated memory: 373788 KiB
[startup+1602.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/254 923145
/proc/meminfo: memFree=124607840/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=386440 memory=374004 CPUtime=1597.26 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 107078 0 0 0 159695 31 0 0 20 0 1 0 177235418 395714560 93501 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 96610 93501 3063 2726 0 93358 0
Current children cumulated CPU time: 1597.26 s
Current children cumulated vsize: 386440 KiB
Current children cumulated memory: 374004 KiB
[startup+1662.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/255 923156
/proc/meminfo: memFree=124517396/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=394116 memory=381216 CPUtime=1657.09 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109077 0 0 0 165678 31 0 0 20 0 1 0 177235418 403574784 95304 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 98529 95304 3063 2726 0 95277 0
Current children cumulated CPU time: 1657.09 s
Current children cumulated vsize: 394116 KiB
Current children cumulated memory: 381216 KiB
[startup+1722.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/258 923173
/proc/meminfo: memFree=124496584/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=394116 memory=382752 CPUtime=1716.93 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109565 0 0 0 171662 31 0 0 20 0 1 0 177235418 403574784 95688 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 98529 95688 3063 2726 0 95277 0
Current children cumulated CPU time: 1716.93 s
Current children cumulated vsize: 394116 KiB
Current children cumulated memory: 382752 KiB
[startup+1782.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/258 923184
/proc/meminfo: memFree=124485612/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=394116 memory=382752 CPUtime=1776.77 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109723 0 0 0 177646 31 0 0 20 0 1 0 177235418 403574784 95688 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 98529 95688 3063 2726 0 95277 0
Current children cumulated CPU time: 1776.77 s
Current children cumulated vsize: 394116 KiB
Current children cumulated memory: 382752 KiB
[startup+1842.27 s]
# the end of solver process 922020 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1836.28 s, system=0.325943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.14 4.14 4.10 6/258 923186
/proc/meminfo: memFree=124486352/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=395640 memory=383112 CPUtime=1786.45 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109861 0 0 0 178614 31 0 0 20 0 1 0 177235418 405135360 95778 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 98910 95778 3063 2726 0 95658 0
Current children cumulated CPU time: 1786.45 s
Current children cumulated vsize: 395640 KiB
Current children cumulated memory: 383112 KiB
[startup+1817.6 s]
/proc/loadavg: 4.09 4.13 4.09 6/258 923190
/proc/meminfo: memFree=124560964/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1811.99 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 181167 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1811.99 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
[startup+1830.4 s]
/proc/loadavg: 4.15 4.14 4.09 6/258 923192
/proc/meminfo: memFree=124546724/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1824.76 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 182444 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1824.76 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
[startup+1836.8 s]
/proc/loadavg: 4.13 4.13 4.09 6/258 923193
/proc/meminfo: memFree=124540244/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1831.14 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 183082 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1831.14 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
[startup+1840 s]*
/proc/loadavg: 4.13 4.13 4.09 6/258 923194
/proc/meminfo: memFree=124538064/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1834.34 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 183402 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1834.34 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
[startup+1841.6 s]
/proc/loadavg: 4.12 4.13 4.09 6/258 923194
/proc/meminfo: memFree=124538008/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1835.93 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 183561 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1835.93 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
[startup+1842 s]*
/proc/loadavg: 4.12 4.13 4.09 6/258 923194
/proc/meminfo: memFree=124538064/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1836.33 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 183601 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1836.33 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
[startup+1842.2 s]
/proc/loadavg: 4.12 4.13 4.09 6/258 923194
/proc/meminfo: memFree=124538064/131524600 swapFree=131071996/131071996
[pid=922020] ppid=922017 vsize=305776 memory=298508 CPUtime=1836.53 cores=5,7
/proc/922020/stat : 922020 (CASHWMaxSAT-Dis) R 922017 922020 917592 0 -1 4194304 109990 0 0 0 183621 32 0 0 20 0 1 0 177235418 313114624 74627 134679101440 4194304 15356333 140729126613760 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 45248512 140729126622178 140729126622294 140729126622294 140729126629310 0
/proc/922020/statm: 76444 74627 3063 2726 0 73192 0
Current children cumulated CPU time: 1836.53 s
Current children cumulated vsize: 305776 KiB
Current children cumulated memory: 298508 KiB
Child status: 30
Real time (s): 1842.27
CPU time (s): 1836.61
CPU user time (s): 1836.28
CPU system time (s): 0.325943
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 395640
Max. memory (cumulated for all children) (KiB): 383296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1836.28
system time used= 0.325943
maximum resident set size= 383296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109990
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= 44
involuntary context switches= 1273
# summary of solver processes directly reported to runsolver:
# pid: 922020
# total CPU time (s): 1836.61
# total CPU user time (s): 1836.28
# total CPU system time (s): 0.325943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04731 second user time and 9.75018 second system time
The end
Begin job on nodeC024 at 2024-07-17 23:11:58
IDJOB=4438949
IDBENCH=158431
IDSOLVER=3074
FILE ID=nodeC024/4438949-1721250705
RUNJOBID= nodeC024-1721242930-917605
SLURM_JOB_ID= 7509005
Free space on /tmp= 890040 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_12x12_001.opb.metafix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438949-1721250705/watcher-4438949-1721250705 -o /tmp/evaluation-result-4438949-1721250705/solver-4438949-1721250705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721242930-917605 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438949-1721250705.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fbb156e7552e932d6b03b61f2d75f6d
RANDOM SEED=165262604
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.562
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.026
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.282
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.801
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.847
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.891
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124009904 kB
MemAvailable: 126385368 kB
Buffers: 466808 kB
Cached: 2723888 kB
SwapCached: 0 kB
Active: 891332 kB
Inactive: 5970480 kB
Active(anon): 1564 kB
Inactive(anon): 3707264 kB
Active(file): 889768 kB
Inactive(file): 2263216 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14216 kB
Writeback: 0 kB
AnonPages: 3671400 kB
Mapped: 140432 kB
Shmem: 37720 kB
KReclaimable: 124256 kB
Slab: 235776 kB
SReclaimable: 124256 kB
SUnreclaim: 111520 kB
KernelStack: 4140 kB
PageTables: 16940 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4440060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65216 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1064960 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: 240340 kB
DirectMap2M: 23650304 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC024 at 2024-07-17 23:42:41