0.00/0.09 c Filename:instance-4443426-1721316690.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.09 c Use Presolve
0.00/0.09 c Parse finsih
0.00/0.09 c Start Presolve
0.00/0.09 c After Reduce Vars: 423 Clauses: 639 Top clause weight: 1 Hard Clauses: 639
2499.30/2506.42 c Use LS-small
2499.30/2506.42 s SATISFIABLE
2499.30/2506.42 c Use postsolve
2499.30/2506.42 v x1 -x3 x5 x7 x9 -x11 -x13 -x15 -x17 -x19 -x21 -x23 -x25 x27 -x29 x31 x33 x35 -x37 -x39 -x41 -x43 -x45 -x47 -x49 -x51 x53 -x55 x57 x59 -x61 -x63 -x65 -x67 -x69 -x71 -x73 -x75 -x77 -x79 -x81 -x83 -x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 x121 x123 -x125 -x127 -x129 x131 -x133 -x135 -x137 -x139 -x141 -x143 x145 x147 x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 x169 x171 x173 x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x2 -x4 -x6 -x8 -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 -x28 -x30 -x32 -x34 -x36 -x38 -x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 x90 x92 x94 x96 -x98 -x100 -x102 -x104 -x106 -x108 -x110 -x112 -x114 x116 x118 x120 -x122 -x124 -x126 -x128 -x130 -x132 -x134 -x136 -x138 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 x206 x208 -x210 x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 x230 x232 x234 -x236 x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 x256 x258 x260 -x262 x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 x282 x284 x286 -x288 x290 -x289 x292 -x291 x294 -x293 -x296 x295 -x298 x297 x300 -x299 x302 -x301 x304 -x303 -x306 x305 -x308 x307 -x310 x309 -x312 x311 x314 -x313 x316 -x315 x318 -x317 x320 -x319 x322 -x321 x324 -x323 -x326 x325 -x328 x327 -x330 x329 -x332 x331 -x334 x333 -x336 x335 x338 -x337 -x340 x339 -x342 x341 -x344 x343 x346 -x345 x348 -x347 x350 -x349 x352 -x351 -x354 -x353 -x356 -x355 -x358 -x357 -x360 -x359 x362 -x361 -x364 -x363 x366 -x365 x368 -x367 x370 -x369 x372 -x371 x374 -x373 x376 -x375 x378 -x377 x380 -x379 x382 -x381 -x384 x383 -x386 x385 -x388 x387 -x390 x389 -x392 x391 -x394 x393 -x396 x395 -x398 x397 -x400 x399 -x402 x401 -x404 x403 -x406 -x405 -x408 -x407 -x410 -x409 -x412 -x411 -x414 x413 -x416 x415 -x418 x417 -x420 x419 x422 -x421 x424 -x423 x426 -x425 -x428 x427
2499.30/2506.42 c Done 2499.33s
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: 63968 MiB (61655 MiB free)
memory of node 1: 64473 MiB (62919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443426-1721316690/watcher-4443426-1721316690 -o /tmp/evaluation-result-4443426-1721316690/solver-4443426-1721316690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721316629-983167 --watchdog 3760 ./LS-MabSP -f HOME/instance-4443426-1721316690.opb -t 3600 -s 1622690304
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
Current StackSize limit: 8192 KiB
solver pid=983561, runsolver pid=983558
[startup+0.100379 s]*
/proc/loadavg: 3.32 2.82 3.45 5/260 983562
/proc/meminfo: memFree=127549640/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=32948 memory=26140 CPUtime=0.09 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 3784 0 0 0 9 0 0 0 20 0 1 0 183831410 33738752 6535 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 8237 6535 2817 2753 0 4890 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32948 KiB
Current children cumulated memory: 26140 KiB
[startup+0.205601 s]*
/proc/loadavg: 3.32 2.82 3.45 5/260 983562
/proc/meminfo: memFree=127538876/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=44140 memory=37284 CPUtime=0.2 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 6568 0 0 0 19 1 0 0 20 0 1 0 183831410 45199360 9321 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 11035 9321 2833 2753 0 7688 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44140 KiB
Current children cumulated memory: 37284 KiB
[startup+0.305534 s]*
/proc/loadavg: 3.32 2.82 3.45 5/260 983562
/proc/meminfo: memFree=127530812/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=52308 memory=45204 CPUtime=0.3 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 8540 0 0 0 29 1 0 0 20 0 1 0 183831410 53563392 11301 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 13077 11301 2833 2753 0 9730 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52308 KiB
Current children cumulated memory: 45204 KiB
[startup+0.700211 s]
/proc/loadavg: 3.32 2.82 3.45 5/260 983562
/proc/meminfo: memFree=127513340/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=80844 memory=71340 CPUtime=0.68 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 15086 0 0 0 66 2 0 0 20 0 1 0 183831410 82784256 17835 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 20211 17835 2833 2753 0 16864 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 71340 KiB
[startup+1.50017 s]
/proc/loadavg: 3.32 2.82 3.45 5/260 983562
/proc/meminfo: memFree=127488596/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=101544 memory=90348 CPUtime=1.48 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 19838 0 0 0 145 3 0 0 20 0 1 0 183831410 103981056 22587 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 25386 22587 2833 2753 0 22039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101544 KiB
Current children cumulated memory: 90348 KiB
[startup+3.10544 s]
/proc/loadavg: 3.32 2.82 3.45 5/260 983562
/proc/meminfo: memFree=127471936/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=115072 memory=103340 CPUtime=3.09 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 23062 0 0 0 305 4 0 0 20 0 1 0 183831410 117833728 25835 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 28768 25835 2849 2753 0 25421 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115072 KiB
Current children cumulated memory: 103340 KiB
[startup+6.30019 s]
/proc/loadavg: 3.37 2.84 3.45 5/260 983563
/proc/meminfo: memFree=127463592/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=118116 memory=106300 CPUtime=6.27 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 24647 0 0 0 623 4 0 0 20 0 1 0 183831410 120950784 26575 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 29529 26575 2849 2753 0 26182 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118116 KiB
Current children cumulated memory: 106300 KiB
[startup+12.7002 s]
/proc/loadavg: 3.42 2.85 3.46 5/260 983563
/proc/meminfo: memFree=127444456/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=135444 memory=125100 CPUtime=12.65 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 29772 0 0 0 1261 4 0 0 20 0 1 0 183831410 138694656 31275 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 33861 31275 2849 2753 0 30514 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 135444 KiB
Current children cumulated memory: 125100 KiB
[startup+25.5002 s]
/proc/loadavg: 3.62 2.93 3.47 5/260 983611
/proc/meminfo: memFree=127443352/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=140972 memory=129708 CPUtime=25.39 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 30923 0 0 0 2535 4 0 0 20 0 1 0 183831410 144355328 32427 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 35243 32427 2849 2753 0 31896 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 140972 KiB
Current children cumulated memory: 129708 KiB
[startup+51.1056 s]
/proc/loadavg: 3.91 3.05 3.50 5/260 983662
/proc/meminfo: memFree=126919056/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=144472 memory=133528 CPUtime=50.89 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 31922 0 0 0 5084 5 0 0 20 0 1 0 183831410 147939328 33382 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 36118 33382 2849 2753 0 32771 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 144472 KiB
Current children cumulated memory: 133528 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 3.21 3.53 5/260 983762
/proc/meminfo: memFree=126621608/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=150284 memory=139508 CPUtime=101.85 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 33380 0 0 0 10180 5 0 0 20 0 1 0 183831410 153890816 34877 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 37571 34877 2849 2753 0 34224 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 150284 KiB
Current children cumulated memory: 139508 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.39 3.57 5/259 983864
/proc/meminfo: memFree=125901396/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=162104 memory=149312 CPUtime=161.58 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 35883 0 0 0 16153 5 0 0 20 0 1 0 183831410 165994496 37328 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 40526 37328 2849 2753 0 37179 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 162104 KiB
Current children cumulated memory: 149312 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.53 3.61 5/259 983920
/proc/meminfo: memFree=127194472/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=165824 memory=153696 CPUtime=221.31 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 36887 0 0 0 22126 5 0 0 20 0 1 0 183831410 169803776 38424 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 41456 38424 2849 2753 0 38109 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 165824 KiB
Current children cumulated memory: 153696 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.64 3.65 5/254 983931
/proc/meminfo: memFree=125824608/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=171684 memory=163084 CPUtime=281.12 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 38210 0 0 0 28106 6 0 0 20 0 1 0 183831410 175804416 40771 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 42921 40771 2849 2753 0 39574 0
Current children cumulated CPU time: 281.12 s
Current children cumulated vsize: 171684 KiB
Current children cumulated memory: 163084 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.72 3.68 5/255 983987
/proc/meminfo: memFree=126770348/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=178940 memory=169504 CPUtime=340.95 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 39874 0 0 0 34089 6 0 0 20 0 1 0 183831410 183234560 42376 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 44735 42376 2849 2753 0 41388 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 178940 KiB
Current children cumulated memory: 169504 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.79 3.70 5/256 984090
/proc/meminfo: memFree=125855560/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=179892 memory=171912 CPUtime=400.77 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 40838 0 0 0 40071 6 0 0 20 0 1 0 183831410 184209408 42978 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 44973 42978 2849 2753 0 41626 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 179892 KiB
Current children cumulated memory: 171912 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.85 3.73 5/256 984101
/proc/meminfo: memFree=125828744/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=190096 memory=179312 CPUtime=460.59 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 42790 0 0 0 46053 6 0 0 20 0 1 0 183831410 194658304 44828 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 47524 44828 2849 2753 0 44177 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.02 5/256 985402
/proc/meminfo: memFree=126926536/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=1956.3 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84839 0 0 0 194368 1262 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 1956.3 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2022.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/256 985413
/proc/meminfo: memFree=126924980/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2016.18 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84840 0 0 0 199892 1726 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2016.18 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2082.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/255 985423
/proc/meminfo: memFree=126894768/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2076.05 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84841 0 0 0 205410 2195 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2076.05 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2142.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/255 985433
/proc/meminfo: memFree=126892028/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2135.93 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84842 0 0 0 210938 2655 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2135.93 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2202.3 s]
/proc/loadavg: 4.26 4.13 4.03 5/255 985444
/proc/meminfo: memFree=126891624/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2195.81 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84843 0 0 0 216451 3130 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2195.81 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2262.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/254 985454
/proc/meminfo: memFree=126890504/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2255.72 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84844 0 0 0 221979 3593 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2255.72 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2322.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/254 985464
/proc/meminfo: memFree=126888636/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2315.6 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84845 0 0 0 227520 4040 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2315.6 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2382.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/257 985480
/proc/meminfo: memFree=126883196/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2375.49 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84846 0 0 0 233036 4513 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2375.49 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2442.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/257 985490
/proc/meminfo: memFree=126880748/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2435.34 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84847 0 0 0 238548 4986 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2435.34 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2502.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/257 985500
/proc/meminfo: memFree=126878772/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2495.2 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84848 0 0 0 244080 5440 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2495.2 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2506.43 s]
# the end of solver process 983561 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2444.61 s, system=54.7214 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.4 s]
/proc/loadavg: 4.15 4.11 4.04 5/257 985500
/proc/meminfo: memFree=126878772/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2495.31 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84848 0 0 0 244089 5442 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2495.31 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2504 s]*
/proc/loadavg: 4.14 4.11 4.04 5/257 985500
/proc/meminfo: memFree=126878772/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2496.9 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84848 0 0 0 244236 5454 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2496.9 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2505.6 s]
/proc/loadavg: 4.14 4.11 4.04 5/257 985500
/proc/meminfo: memFree=126878772/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2498.5 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84848 0 0 0 244383 5467 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2498.5 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2506 s]*
/proc/loadavg: 4.14 4.11 4.04 5/257 985502
/proc/meminfo: memFree=126878744/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2498.9 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84848 0 0 0 244421 5469 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2498.9 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
[startup+2506.4 s]
/proc/loadavg: 4.14 4.11 4.04 5/257 985502
/proc/meminfo: memFree=126878744/131524600 swapFree=131071216/131071996
[pid=983561] ppid=983558 vsize=185304 memory=181524 CPUtime=2499.3 cores=5,7
/proc/983561/stat : 983561 (LS-MabSP) R 983558 983561 983141 0 -1 4194304 84848 0 0 0 244458 5472 0 0 20 0 1 0 183831410 189751296 45381 134679101440 4194304 15467897 140733686337296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30052352 140733686342686 140733686342789 140733686342789 140733686349805 0
/proc/983561/statm: 46326 45381 3195 2753 0 42979 0
Current children cumulated CPU time: 2499.3 s
Current children cumulated vsize: 185304 KiB
Current children cumulated memory: 181524 KiB
Child status: 0
Real time (s): 2506.43
CPU time (s): 2499.33
CPU user time (s): 2444.61
CPU system time (s): 54.7214
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 400940
Max. memory (cumulated for all children) (KiB): 380656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2444.61
system time used= 54.7214
maximum resident set size= 380656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84911
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= 59
involuntary context switches= 1504
# summary of solver processes directly reported to runsolver:
# pid: 983561
# total CPU time (s): 2499.33
# total CPU user time (s): 2444.61
# total CPU system time (s): 54.7214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91518 second user time and 11.692 second system time
The end
Begin job on nodeC018 at 2024-07-18 17:31:42
IDJOB=4443426
IDBENCH=147874
IDSOLVER=3047
FILE ID=nodeC018/4443426-1721316690
RUNJOBID= nodeC018-1721316629-983167
SLURM_JOB_ID= 7542655
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443426-1721316690/watcher-4443426-1721316690 -o /tmp/evaluation-result-4443426-1721316690/solver-4443426-1721316690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721316629-983167 --watchdog 3760 ./LS-MabSP -f HOME/instance-4443426-1721316690.opb -t 3600 -s 1622690304
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7546ebd0ce66e1c0113f5874ce57dd6d
RANDOM SEED=1622690304
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 : 3668.922
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.52
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.420
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 : 7005.30
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.095
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.52
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.605
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 : 7005.30
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 : 3668.960
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.52
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.583
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 : 7005.30
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.983
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.52
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.351
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 : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127565120 kB
MemAvailable: 129424996 kB
Buffers: 483224 kB
Cached: 2208068 kB
SwapCached: 148 kB
Active: 985912 kB
Inactive: 2388284 kB
Active(anon): 1580 kB
Inactive(anon): 727140 kB
Active(file): 984332 kB
Inactive(file): 1661144 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 15964 kB
Writeback: 0 kB
AnonPages: 682872 kB
Mapped: 142212 kB
Shmem: 45784 kB
KReclaimable: 108444 kB
Slab: 203840 kB
SReclaimable: 108444 kB
SUnreclaim: 95396 kB
KernelStack: 4188 kB
PageTables: 10688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1032680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 262868 kB
DirectMap2M: 24676352 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC018 at 2024-07-18 18:13:29