0.00/0.00 c Filename:instance-4427844-1722788592.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.00 c Parse finsih
0.00/0.00 c Start Presolve
0.00/0.00 c After Reduce Vars: 146 Clauses: 108 Top clause weight: 3061 Hard Clauses: 12
1773.20/1779.77 c Use LS-small
1773.20/1779.77 c Use postsolve
1773.20/1779.77 o 4
3557.89/3567.10 s SATISFIABLE
3557.89/3567.10 c Use postsolve
3557.89/3567.10 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
3557.89/3567.10 c Done 1773.28s
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: 64096 MiB (61663 MiB free)
memory of node 1: 64473 MiB (63564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427844-1722788592/watcher-4427844-1722788592 -o /tmp/evaluation-result-4427844-1722788592/solver-4427844-1722788592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722781455-238924 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427844-1722788592.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=242927, runsolver pid=242924
[startup+0.100093 s]*
/proc/loadavg: 4.12 4.16 4.18 6/238 242928
/proc/meminfo: memFree=128212552/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=36796 memory=27816 CPUtime=0.1 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 3897 0 0 0 10 0 0 0 20 0 1 0 45229774 37679104 6954 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 9199 6954 2849 2753 0 5852 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36796 KiB
Current children cumulated memory: 27816 KiB
[startup+0.212084 s]*
/proc/loadavg: 4.12 4.16 4.18 5/238 242928
/proc/meminfo: memFree=128211580/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=37168 memory=28608 CPUtime=0.21 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 4078 0 0 0 21 0 0 0 20 0 1 0 45229774 38060032 7152 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 9292 7152 2849 2753 0 5945 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 28608 KiB
[startup+0.312299 s]*
/proc/loadavg: 4.12 4.16 4.18 5/238 242928
/proc/meminfo: memFree=128211428/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=37168 memory=28608 CPUtime=0.31 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 4080 0 0 0 31 0 0 0 20 0 1 0 45229774 38060032 7152 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 9292 7152 2849 2753 0 5945 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 28608 KiB
[startup+0.70033 s]
/proc/loadavg: 4.12 4.16 4.18 5/238 242928
/proc/meminfo: memFree=128207808/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=41456 memory=33964 CPUtime=0.69 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 5522 0 0 0 69 0 0 0 20 0 1 0 45229774 42450944 8491 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 10364 8491 2849 2753 0 7017 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41456 KiB
Current children cumulated memory: 33964 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.16 4.18 5/235 242955
/proc/meminfo: memFree=128213096/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=44836 memory=36868 CPUtime=1.48 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 6229 0 0 0 148 0 0 0 20 0 1 0 45229774 45912064 9217 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 11209 9217 2849 2753 0 7862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44836 KiB
Current children cumulated memory: 36868 KiB
[startup+3.11345 s]
/proc/loadavg: 4.11 4.16 4.18 5/240 242960
/proc/meminfo: memFree=128175996/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=50404 memory=41352 CPUtime=3.1 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 7379 0 0 0 309 1 0 0 20 0 1 0 45229774 51613696 10338 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 12601 10338 2849 2753 0 9254 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 50404 KiB
Current children cumulated memory: 41352 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.16 4.18 5/238 242974
/proc/meminfo: memFree=129348924/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=54140 memory=45836 CPUtime=6.27 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 8479 0 0 0 626 1 0 0 20 0 1 0 45229774 55439360 11459 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 13535 11459 2849 2753 0 10188 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54140 KiB
Current children cumulated memory: 45836 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.16 4.18 5/240 243007
/proc/meminfo: memFree=129201436/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=56608 memory=48472 CPUtime=12.64 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 9153 0 0 0 1263 1 0 0 20 0 1 0 45229774 57966592 12118 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 14152 12118 2849 2753 0 10805 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56608 KiB
Current children cumulated memory: 48472 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.15 4.18 5/240 243009
/proc/meminfo: memFree=129141848/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=66116 memory=57964 CPUtime=25.39 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 11496 0 0 0 2538 1 0 0 20 0 1 0 45229774 67702784 14491 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 16529 14491 2849 2753 0 13182 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 66116 KiB
Current children cumulated memory: 57964 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 4.15 4.18 5/240 243013
/proc/meminfo: memFree=129005384/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=68420 memory=62924 CPUtime=50.92 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 12839 0 0 0 5090 2 0 0 20 0 1 0 45229774 70062080 15731 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 17105 15731 3195 2753 0 13758 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 68420 KiB
Current children cumulated memory: 62924 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.18 5/240 243022
/proc/meminfo: memFree=128906316/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=70664 memory=65040 CPUtime=101.92 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 13574 0 0 0 10189 3 0 0 20 0 1 0 45229774 72359936 16260 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 17666 16260 3195 2753 0 14319 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 70664 KiB
Current children cumulated memory: 65040 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/240 243417
/proc/meminfo: memFree=128814880/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=79412 memory=73548 CPUtime=161.69 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 15914 0 0 0 16165 4 0 0 20 0 1 0 45229774 81317888 18387 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 19853 18387 3195 2753 0 16506 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 79412 KiB
Current children cumulated memory: 73548 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/240 243428
/proc/meminfo: memFree=128709436/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=109668 memory=103984 CPUtime=221.47 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 23567 0 0 0 22141 6 0 0 20 0 1 0 45229774 112300032 25996 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 27417 25996 3195 2753 0 24070 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 109668 KiB
Current children cumulated memory: 103984 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.17 6/240 243438
/proc/meminfo: memFree=128631516/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=141072 memory=130948 CPUtime=281.26 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 30335 0 0 0 28118 8 0 0 20 0 1 0 45229774 144457728 32737 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 35268 32737 3195 2753 0 31921 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 141072 KiB
Current children cumulated memory: 130948 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/242 243618
/proc/meminfo: memFree=128526708/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=160360 memory=152228 CPUtime=341.05 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 35728 0 0 0 34095 10 0 0 20 0 1 0 45229774 164208640 38057 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 40090 38057 3195 2753 0 36743 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 160360 KiB
Current children cumulated memory: 152228 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.16 6/242 243629
/proc/meminfo: memFree=128423400/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=205600 memory=196264 CPUtime=400.84 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 46511 0 0 0 40070 14 0 0 20 0 1 0 45229774 210534400 49066 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 51400 49066 3195 2753 0 48053 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 205600 KiB
Current children cumulated memory: 196264 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/241 243696
/proc/meminfo: memFree=128355564/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=232624 memory=222820 CPUtime=460.63 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 52760 0 0 0 46048 15 0 0 20 0 1 0 45229774 238206976 55705 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
################
# More data... #
################
/proc/loadavg: 4.15 4.13 4.15 5/238 244753
/proc/meminfo: memFree=127563588/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3153.78 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 306057 9321 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/239 244765
/proc/meminfo: memFree=127563404/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3213.69 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 311649 9720 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/239 244775
/proc/meminfo: memFree=127562896/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3273.6 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 317238 10122 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/239 244785
/proc/meminfo: memFree=127562752/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3333.51 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 322821 10530 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/239 244796
/proc/meminfo: memFree=127562420/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3393.43 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 328417 10926 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/242 244811
/proc/meminfo: memFree=127562132/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3453.34 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 334009 11325 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.19 4.16 5/241 244821
/proc/meminfo: memFree=127561824/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3513.25 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 339608 11717 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3567.11 s]
# the end of solver process 242927 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3437.82 s, system=120.182 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.58 4.24 4.18 5/241 244823
/proc/meminfo: memFree=127561732/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3523.73 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 340583 11790 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3523.73 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3545.6 s]
/proc/loadavg: 4.68 4.28 4.19 5/241 244824
/proc/meminfo: memFree=127561720/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3536.51 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 341776 11875 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3536.51 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3558.4 s]
/proc/loadavg: 4.89 4.33 4.21 5/241 244827
/proc/meminfo: memFree=127561556/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3549.3 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 342969 11961 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3549.3 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3561.6 s]
/proc/loadavg: 4.89 4.34 4.21 5/241 244828
/proc/meminfo: memFree=127561560/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3552.49 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 343267 11982 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3552.49 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3564.8 s]
/proc/loadavg: 4.82 4.34 4.21 5/241 244828
/proc/meminfo: memFree=127561560/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3555.68 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 343566 12002 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3555.68 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3566.4 s]
/proc/loadavg: 4.82 4.34 4.21 5/241 244828
/proc/meminfo: memFree=127561560/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3557.28 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 343715 12013 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3557.28 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3566.8 s]
/proc/loadavg: 4.82 4.34 4.21 5/241 244828
/proc/meminfo: memFree=127561560/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3557.68 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 343753 12015 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3557.68 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
[startup+3567 s]*
/proc/loadavg: 4.82 4.34 4.21 5/241 244828
/proc/meminfo: memFree=127561560/131655788 swapFree=131071216/131071996
[pid=242927] ppid=242924 vsize=442656 memory=438716 CPUtime=3557.89 cores=5,7
/proc/242927/stat : 242927 (LS-MabSP) R 242924 242927 238911 0 -1 4194304 152859 0 0 0 343772 12017 0 0 20 0 1 0 45229774 453279744 109679 134679101440 4194304 15467897 140735375561552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40968192 140735375565858 140735375565961 140735375565961 140735375572973 0
/proc/242927/statm: 110664 109679 3195 2753 0 107317 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 442656 KiB
Current children cumulated memory: 438716 KiB
Child status: 0
Real time (s): 3567.11
CPU time (s): 3558
CPU user time (s): 3437.82
CPU system time (s): 120.182
CPU usage (%): 99.7447
Max. virtual memory (cumulated for all children) (KiB): 913192
Max. memory (cumulated for all children) (KiB): 882540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3437.82
system time used= 120.182
maximum resident set size= 882540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152886
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= 91
involuntary context switches= 6154
# summary of solver processes directly reported to runsolver:
# pid: 242927
# total CPU time (s): 3558
# total CPU user time (s): 3437.82
# total CPU system time (s): 120.182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.829 second user time and 31.5088 second system time
The end
Begin job on nodeC007 at 2024-08-04 18:23:12
IDJOB=4427844
IDBENCH=147594
IDSOLVER=3047
FILE ID=nodeC007/4427844-1722788592
RUNJOBID= nodeC007-1722781455-238924
SLURM_JOB_ID= 8258535
Free space on /tmp= 723676 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427844-1722788592/watcher-4427844-1722788592 -o /tmp/evaluation-result-4427844-1722788592/solver-4427844-1722788592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722781455-238924 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427844-1722788592.opb -t 3558 -s 1476238637
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=1476238637
nodeC007.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 : 0xb00001f
cpu MHz : 3663.258
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3491.796
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.382
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.192
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3663.251
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3612.374
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.186
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128238620 kB
MemAvailable: 128882360 kB
Buffers: 293120 kB
Cached: 1201160 kB
SwapCached: 100 kB
Active: 566392 kB
Inactive: 2394480 kB
Active(anon): 1516 kB
Inactive(anon): 1502244 kB
Active(file): 564876 kB
Inactive(file): 892236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 32288 kB
Writeback: 0 kB
AnonPages: 1466168 kB
Mapped: 122132 kB
Shmem: 37460 kB
KReclaimable: 53652 kB
Slab: 137008 kB
SReclaimable: 53652 kB
SUnreclaim: 83356 kB
KernelStack: 3804 kB
PageTables: 11812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1952288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18144 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1335296 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: 297800 kB
DirectMap2M: 19529728 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC007 at 2024-08-04 19:22:39