0.00/0.00 c Filename:instance-4428249-1722788585.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1776.65/1782.66 c Use LS-small
1776.65/1782.66 o 11
3557.91/3566.48 s SATISFIABLE
3557.91/3566.48 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 x145 x146 x147 x148 x149 -x150 -x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 x164 x165 x166 x167 -x168 x169 -x170 x171 -x172
3557.91/3566.48 c Done 1776.71s
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 (61550 MiB free)
memory of node 1: 64510 MiB (63330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428249-1722788585/watcher-4428249-1722788585 -o /tmp/evaluation-result-4428249-1722788585/solver-4428249-1722788585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722781455-248884 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428249-1722788585.opb -t 3558 -s 1476238637
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=252868, runsolver pid=252865
[startup+0.101004 s]*
/proc/loadavg: 4.09 4.11 4.09 4/254 252883
/proc/meminfo: memFree=127864204/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=34488 memory=24552 CPUtime=0.09 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 3911 0 0 0 9 0 0 0 20 0 1 0 45455899 35315712 6138 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 8622 6138 2461 2403 0 5732 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34488 KiB
Current children cumulated memory: 24552 KiB
[startup+0.216004 s]*
/proc/loadavg: 4.09 4.11 4.09 4/251 252900
/proc/meminfo: memFree=127874660/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=38520 memory=27720 CPUtime=0.2 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 4704 0 0 0 20 0 0 0 20 0 1 0 45455899 39444480 6930 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 9630 6930 2461 2403 0 6740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38520 KiB
Current children cumulated memory: 27720 KiB
[startup+0.305263 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 252909
/proc/meminfo: memFree=127859756/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=38520 memory=28512 CPUtime=0.29 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 4901 0 0 0 29 0 0 0 20 0 1 0 45455899 39444480 7128 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 9630 7128 2461 2403 0 6740 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38520 KiB
Current children cumulated memory: 28512 KiB
[startup+0.700163 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 252915
/proc/meminfo: memFree=127836900/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=48124 memory=38448 CPUtime=0.68 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 7426 0 0 0 67 1 0 0 20 0 1 0 45455899 49278976 9612 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 12031 9612 2461 2403 0 9141 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48124 KiB
Current children cumulated memory: 38448 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 252915
/proc/meminfo: memFree=127827588/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=50752 memory=40560 CPUtime=1.47 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 7981 0 0 0 146 1 0 0 20 0 1 0 45455899 51970048 10140 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 12688 10140 2461 2403 0 9798 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50752 KiB
Current children cumulated memory: 40560 KiB
[startup+3.10553 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 252961
/proc/meminfo: memFree=128109672/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=54804 memory=45048 CPUtime=3.07 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 9074 0 0 0 306 1 0 0 20 0 1 0 45455899 56119296 11262 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 13701 11262 2461 2403 0 10811 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 54804 KiB
Current children cumulated memory: 45048 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 252964
/proc/meminfo: memFree=128083980/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=66860 memory=56948 CPUtime=6.26 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 11962 0 0 0 624 2 0 0 20 0 1 0 45455899 68464640 14237 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 16715 14237 2717 2403 0 13825 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66860 KiB
Current children cumulated memory: 56948 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 253010
/proc/meminfo: memFree=128806932/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=89736 memory=78328 CPUtime=12.64 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 17349 0 0 0 1261 3 0 0 20 0 1 0 45455899 91889664 19582 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 22434 19582 2717 2403 0 19544 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89736 KiB
Current children cumulated memory: 78328 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 253013
/proc/meminfo: memFree=128765260/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=122672 memory=111080 CPUtime=25.38 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 26448 0 0 0 2534 4 0 0 20 0 1 0 45455899 125616128 27770 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 30668 27770 2717 2403 0 27778 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 122672 KiB
Current children cumulated memory: 111080 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 253016
/proc/meminfo: memFree=128715072/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=167168 memory=153496 CPUtime=50.9 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 37222 0 0 0 5083 7 0 0 20 0 1 0 45455899 171180032 38374 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 41792 38374 2717 2403 0 38902 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 167168 KiB
Current children cumulated memory: 153496 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 253026
/proc/meminfo: memFree=128601828/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=277512 memory=260788 CPUtime=101.92 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 63784 0 0 0 10180 12 0 0 20 0 1 0 45455899 284172288 65197 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 69378 65197 2717 2403 0 66488 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 277512 KiB
Current children cumulated memory: 260788 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/258 253422
/proc/meminfo: memFree=128587552/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=388272 memory=368380 CPUtime=161.73 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 90798 0 0 0 16156 17 0 0 20 0 1 0 45455899 397590528 92095 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 97068 92095 2717 2403 0 94178 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 388272 KiB
Current children cumulated memory: 368380 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 253432
/proc/meminfo: memFree=128557072/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=413436 memory=396732 CPUtime=221.53 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 96926 0 0 0 22135 18 0 0 20 0 1 0 45455899 423358464 99183 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 103359 99183 2717 2403 0 100469 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 413436 KiB
Current children cumulated memory: 396732 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 253444
/proc/meminfo: memFree=128522820/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=444284 memory=420468 CPUtime=281.31 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 101891 0 0 0 28112 19 0 0 20 0 1 0 45455899 454946816 105117 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 111071 105117 2717 2403 0 108181 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 444284 KiB
Current children cumulated memory: 420468 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 253622
/proc/meminfo: memFree=128439828/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=516472 memory=487956 CPUtime=341.11 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 118680 0 0 0 34089 22 0 0 20 0 1 0 45455899 528867328 121989 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 129118 121989 2717 2403 0 126228 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 516472 KiB
Current children cumulated memory: 487956 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 253632
/proc/meminfo: memFree=128313096/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=612612 memory=589264 CPUtime=400.9 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 142274 0 0 0 40064 26 0 0 20 0 1 0 45455899 627314688 147316 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 153153 147316 2717 2403 0 150263 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 612612 KiB
Current children cumulated memory: 589264 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 253699
/proc/meminfo: memFree=128174980/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=717284 memory=691272 CPUtime=460.7 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 165548 0 0 0 46039 31 0 0 20 0 1 0 45455899 734498816 172818 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
################
# More data... #
################
/proc/loadavg: 4.16 4.16 4.11 5/255 254769
/proc/meminfo: memFree=127962756/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3154.39 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514741 0 0 0 307600 7839 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 254779
/proc/meminfo: memFree=127962088/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3214.3 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514743 0 0 0 313247 8183 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/255 254791
/proc/meminfo: memFree=127961396/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3274.22 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514745 0 0 0 318902 8520 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 254802
/proc/meminfo: memFree=127960552/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3334.13 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514747 0 0 0 324553 8860 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 254812
/proc/meminfo: memFree=127959748/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3394.04 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514749 0 0 0 330206 9198 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 254828
/proc/meminfo: memFree=127959172/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3453.96 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514751 0 0 0 335870 9526 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3453.96 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 254839
/proc/meminfo: memFree=127958244/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3513.87 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514753 0 0 0 341518 9869 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3513.87 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3566.49 s]
# the end of solver process 252868 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3456.86 s, system=101.147 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 254840
/proc/meminfo: memFree=127958140/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3524.36 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514753 0 0 0 342506 9930 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3524.36 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3545.6 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 254843
/proc/meminfo: memFree=127957692/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3537.14 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514753 0 0 0 343719 9995 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3537.14 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3558.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 254846
/proc/meminfo: memFree=127957804/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3549.92 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514754 0 0 0 344926 10066 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3549.92 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3561.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 254846
/proc/meminfo: memFree=127957804/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3553.12 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514754 0 0 0 345228 10084 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3553.12 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3564.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 254846
/proc/meminfo: memFree=127957804/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3556.31 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514754 0 0 0 345528 10103 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3556.31 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3565.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 254847
/proc/meminfo: memFree=127957712/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3557.11 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514754 0 0 0 345603 10108 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3557.11 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3566 s]*
/proc/loadavg: 4.11 4.12 4.09 5/259 254847
/proc/meminfo: memFree=127957720/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3557.51 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514754 0 0 0 345641 10110 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3557.51 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
[startup+3566.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 254847
/proc/meminfo: memFree=127957720/131524600 swapFree=131071996/131071996
[pid=252868] ppid=252865 vsize=836056 memory=830252 CPUtime=3557.91 cores=5,7
/proc/252868/stat : 252868 (LS-MabS) R 252865 252868 248871 0 -1 4194304 514754 0 0 0 345678 10113 0 0 20 0 1 0 45455899 856121344 207563 134679101440 4194304 14036057 140722478765472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 41529344 140722478773280 140722478773382 140722478773382 140722478780398 0
/proc/252868/statm: 209014 207563 2732 2403 0 206124 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 836056 KiB
Current children cumulated memory: 830252 KiB
Child status: 0
Real time (s): 3566.49
CPU time (s): 3558.01
CPU user time (s): 3456.86
CPU system time (s): 101.147
CPU usage (%): 99.7622
Max. virtual memory (cumulated for all children) (KiB): 2337692
Max. memory (cumulated for all children) (KiB): 2263680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3456.86
system time used= 101.147
maximum resident set size= 2263680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514763
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= 172
involuntary context switches= 3029
# summary of solver processes directly reported to runsolver:
# pid: 252868
# total CPU time (s): 3558.01
# total CPU user time (s): 3456.86
# total CPU system time (s): 101.147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06541 second user time and 13.0706 second system time
The end
Begin job on nodeC018 at 2024-08-04 18:23:05
IDJOB=4428249
IDBENCH=147611
IDSOLVER=3048
FILE ID=nodeC018/4428249-1722788585
RUNJOBID= nodeC018-1722781455-248884
SLURM_JOB_ID= 8258529
Free space on /tmp= 890004 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428249-1722788585/watcher-4428249-1722788585 -o /tmp/evaluation-result-4428249-1722788585/solver-4428249-1722788585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722781455-248884 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428249-1722788585.opb -t 3558 -s 1476238637
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1476238637
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.580
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.92
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 : 3664.391
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.052
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.92
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.574
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 : 3653.566
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.92
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 : 3663.778
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.283
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.92
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 : 3662.451
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: 127878256 kB
MemAvailable: 128735176 kB
Buffers: 302472 kB
Cached: 1391912 kB
SwapCached: 0 kB
Active: 556856 kB
Inactive: 2579228 kB
Active(anon): 1568 kB
Inactive(anon): 1469328 kB
Active(file): 555288 kB
Inactive(file): 1109900 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12700 kB
Writeback: 8 kB
AnonPages: 1439612 kB
Mapped: 118540 kB
Shmem: 29528 kB
KReclaimable: 62756 kB
Slab: 152032 kB
SReclaimable: 62756 kB
SUnreclaim: 89276 kB
KernelStack: 4092 kB
PageTables: 12028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1952248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 22656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1368064 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: 244436 kB
DirectMap2M: 25743360 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC018 at 2024-08-04 19:22:32