0.29/0.38 c Filename:instance-4443276-1721316626.opb, Cutoff_time:3600, memory_limit_gb:500000
0.29/0.38 c Use Presolve
0.29/0.38 c Parse finsih
0.29/0.38 c Start Presolve
0.29/0.38 c After Reduce Vars: 471 Clauses: 1046 Top clause weight: 1 Hard Clauses: 1046
1794.76/1800.10 c Use LS-small
1794.76/1800.10 s SATISFIABLE
1794.76/1800.11 c Use postsolve
1794.76/1800.11 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 x289 x291 x293 x295 x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 x313 x315 x317 x319 x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -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 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -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 x430 -x429 x432 -x431 -x434 x433 -x436 x435 -x438 x437 -x440 x439 x442 -x441 x444 -x443 x446 -x445 x448 -x447 x450 -x449 -x452 x451 -x454 x453 -x456 x455 -x458 x457 -x460 -x459 -x462 -x461 -x464 -x463 -x466 -x465 -x468 -x467 -x470 x469 -x472 x471 -x474 x473 -x476 x475 -x478 x477 -x480 x479 -x482 x481 -x484 x483 -x486 x485 -x488 x487 -x490 x489
1794.76/1800.11 c Done 1794.76s
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 (61809 MiB free)
memory of node 1: 64473 MiB (62845 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443276-1721316626/watcher-4443276-1721316626 -o /tmp/evaluation-result-4443276-1721316626/solver-4443276-1721316626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721316629-983165 --watchdog 3760 ./LS-MabSP -f HOME/instance-4443276-1721316626.opb -t 3600 -s 1056827295
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=983322, runsolver pid=983319
[startup+0.100803 s]*
/proc/loadavg: 1.62 2.49 3.40 5/262 983323
/proc/meminfo: memFree=127634736/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=30064 memory=22824 CPUtime=0.09 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 2770 0 0 0 9 0 0 0 20 0 1 0 183825048 30785536 5706 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 7516 5706 2737 2753 0 4169 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30064 KiB
Current children cumulated memory: 22824 KiB
[startup+0.205752 s]*
/proc/loadavg: 1.62 2.49 3.40 5/262 983323
/proc/meminfo: memFree=127631040/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=33628 memory=26616 CPUtime=0.19 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 3632 0 0 0 19 0 0 0 20 0 1 0 183825048 34435072 6654 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 8407 6654 2833 2753 0 5060 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 26616 KiB
[startup+0.305504 s]*
/proc/loadavg: 1.62 2.49 3.40 5/262 983323
/proc/meminfo: memFree=127630776/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=33628 memory=26616 CPUtime=0.29 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 3632 0 0 0 29 0 0 0 20 0 1 0 183825048 34435072 6654 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 8407 6654 2833 2753 0 5060 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 26616 KiB
[startup+0.700234 s]
/proc/loadavg: 1.62 2.49 3.40 5/262 983323
/proc/meminfo: memFree=127610784/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=70732 memory=63184 CPUtime=0.68 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 13102 0 0 0 67 1 0 0 20 0 1 0 183825048 72429568 15796 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 17683 15796 2849 2753 0 14336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 63184 KiB
[startup+1.50024 s]
/proc/loadavg: 1.62 2.49 3.40 5/262 983369
/proc/meminfo: memFree=127644268/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=126884 memory=116512 CPUtime=1.48 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 26428 0 0 0 144 4 0 0 20 0 1 0 183825048 129929216 29128 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 31721 29128 2849 2753 0 28374 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126884 KiB
Current children cumulated memory: 116512 KiB
[startup+3.10558 s]
/proc/loadavg: 1.81 2.51 3.40 5/262 983369
/proc/meminfo: memFree=127528408/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=135268 memory=125212 CPUtime=3.08 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 28617 0 0 0 304 4 0 0 20 0 1 0 183825048 138514432 31303 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 33817 31303 2849 2753 0 30470 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 135268 KiB
Current children cumulated memory: 125212 KiB
[startup+6.30023 s]
/proc/loadavg: 1.81 2.51 3.40 5/262 983369
/proc/meminfo: memFree=127515888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=137012 memory=126636 CPUtime=6.27 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 29265 0 0 0 623 4 0 0 20 0 1 0 183825048 140300288 31659 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 34253 31659 2849 2753 0 30906 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 137012 KiB
Current children cumulated memory: 126636 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 2.54 3.40 6/262 983370
/proc/meminfo: memFree=127505888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=134720 memory=124680 CPUtime=12.65 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 30105 0 0 0 1261 4 0 0 20 0 1 0 183825048 137953280 31170 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 33680 31170 2849 2753 0 30333 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134720 KiB
Current children cumulated memory: 124680 KiB
[startup+25.5002 s]
/proc/loadavg: 2.51 2.62 3.42 5/262 983372
/proc/meminfo: memFree=127485496/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=147876 memory=137608 CPUtime=25.42 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 33403 0 0 0 2537 5 0 0 20 0 1 0 183825048 151425024 34402 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 36969 34402 2849 2753 0 33622 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 147876 KiB
Current children cumulated memory: 137608 KiB
[startup+51.1055 s]
/proc/loadavg: 3.02 2.74 3.44 5/262 983514
/proc/meminfo: memFree=127465936/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=148916 memory=137880 CPUtime=50.95 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 33660 0 0 0 5090 5 0 0 20 0 1 0 183825048 152489984 34470 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 37229 34470 2849 2753 0 33882 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 148916 KiB
Current children cumulated memory: 137880 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.96 3.48 5/260 983660
/proc/meminfo: memFree=126925404/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=162328 memory=146860 CPUtime=101.99 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 36216 0 0 0 10194 5 0 0 20 0 1 0 183825048 166223872 36715 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 40582 36715 2849 2753 0 37235 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 162328 KiB
Current children cumulated memory: 146860 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.20 3.53 5/260 983762
/proc/meminfo: memFree=127260196/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=174424 memory=166540 CPUtime=161.8 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 39315 0 0 0 16174 6 0 0 20 0 1 0 183825048 178610176 41635 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 43606 41635 2849 2753 0 40259 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 174424 KiB
Current children cumulated memory: 166540 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.38 3.57 5/259 983864
/proc/meminfo: memFree=125901396/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=175872 memory=169136 CPUtime=221.64 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 39869 0 0 0 22158 6 0 0 20 0 1 0 183825048 180092928 42284 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 43968 42284 2849 2753 0 40621 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 175872 KiB
Current children cumulated memory: 169136 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.53 3.61 5/257 983888
/proc/meminfo: memFree=127334276/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=193896 memory=186112 CPUtime=281.48 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 43896 0 0 0 28141 7 0 0 20 0 1 0 183825048 198549504 46528 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 48474 46528 3195 2753 0 45127 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 193896 KiB
Current children cumulated memory: 186112 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.63 3.65 5/254 983930
/proc/meminfo: memFree=125826852/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=205880 memory=195868 CPUtime=341.32 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 45333 0 0 0 34125 7 0 0 20 0 1 0 183825048 210821120 48967 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 51470 48967 3195 2753 0 48123 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 205880 KiB
Current children cumulated memory: 195868 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.72 3.67 6/255 983987
/proc/meminfo: memFree=126743736/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=225820 memory=215264 CPUtime=401.16 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 50249 0 0 0 40109 7 0 0 20 0 1 0 183825048 231239680 53816 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 56455 53816 3195 2753 0 53108 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 225820 KiB
Current children cumulated memory: 215264 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.79 3.70 5/256 984090
/proc/meminfo: memFree=125856848/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=225820 memory=215268 CPUtime=461.01 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 50315 0 0 0 46094 7 0 0 20 0 1 0 183825048 231239680 53817 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 56455 53817 3195 2753 0 53108 0
################
# More data... #
################
/proc/loadavg: 4.12 4.09 3.99 5/258 984578
/proc/meminfo: memFree=126271864/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=401988 memory=378368 CPUtime=1358.35 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 64273 0 0 0 135823 12 0 0 20 0 1 0 183825048 411635712 94592 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 100497 94592 3195 2753 0 97150 0
Current children cumulated CPU time: 1358.35 s
Current children cumulated vsize: 401988 KiB
Current children cumulated memory: 378368 KiB
[startup+1422.3 s]
/proc/loadavg: 4.10 4.09 4.00 5/258 984590
/proc/meminfo: memFree=126237156/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=401988 memory=378368 CPUtime=1418.15 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 64437 0 0 0 141803 12 0 0 20 0 1 0 183825048 411635712 94592 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 100497 94592 3195 2753 0 97150 0
Current children cumulated CPU time: 1418.15 s
Current children cumulated vsize: 401988 KiB
Current children cumulated memory: 378368 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/258 984601
/proc/meminfo: memFree=126228024/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=404032 memory=379908 CPUtime=1477.96 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 64986 0 0 0 147784 12 0 0 20 0 1 0 183825048 413728768 94977 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 101008 94977 3195 2753 0 97661 0
Current children cumulated CPU time: 1477.96 s
Current children cumulated vsize: 404032 KiB
Current children cumulated memory: 379908 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.08 4.00 5/257 984995
/proc/meminfo: memFree=126180168/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=442552 memory=416988 CPUtime=1537.77 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 66250 0 0 0 153764 13 0 0 20 0 1 0 183825048 453173248 104247 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 110638 104247 3195 2753 0 107291 0
Current children cumulated CPU time: 1537.77 s
Current children cumulated vsize: 442552 KiB
Current children cumulated memory: 416988 KiB
[startup+1602.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/257 985006
/proc/meminfo: memFree=126129036/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=442552 memory=428164 CPUtime=1597.58 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 66616 0 0 0 159744 14 0 0 20 0 1 0 183825048 453173248 107041 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 110638 107041 3195 2753 0 107291 0
Current children cumulated CPU time: 1597.58 s
Current children cumulated vsize: 442552 KiB
Current children cumulated memory: 428164 KiB
[startup+1662.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/257 985017
/proc/meminfo: memFree=126118012/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=442552 memory=428164 CPUtime=1657.4 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 66722 0 0 0 165726 14 0 0 20 0 1 0 183825048 453173248 107041 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 110638 107041 3195 2753 0 107291 0
Current children cumulated CPU time: 1657.4 s
Current children cumulated vsize: 442552 KiB
Current children cumulated memory: 428164 KiB
[startup+1722.3 s]
/proc/loadavg: 4.05 4.08 4.00 5/259 985197
/proc/meminfo: memFree=126090488/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=442552 memory=428172 CPUtime=1717.21 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 66887 0 0 0 171707 14 0 0 20 0 1 0 183825048 453173248 107043 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 110638 107043 3195 2753 0 107291 0
Current children cumulated CPU time: 1717.21 s
Current children cumulated vsize: 442552 KiB
Current children cumulated memory: 428172 KiB
[startup+1782.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/259 985207
/proc/meminfo: memFree=126042948/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1777.01 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68654 0 0 0 177686 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1777.01 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1800.11 s]
# the end of solver process 983322 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1794.61 s, system=0.168173 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.12 4.09 4.01 5/259 985211
/proc/meminfo: memFree=126034900/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1786.68 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68654 0 0 0 178653 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1786.68 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1795.2 s]
/proc/loadavg: 4.11 4.09 4.01 5/259 985211
/proc/meminfo: memFree=126034900/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1789.87 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68715 0 0 0 178972 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1789.87 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1798.4 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 985211
/proc/meminfo: memFree=126034888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1793.06 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68715 0 0 0 179291 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1793.06 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1799.2 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 985211
/proc/meminfo: memFree=126034888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1793.85 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68715 0 0 0 179370 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1793.85 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1799.6 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 985211
/proc/meminfo: memFree=126034888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1794.25 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68715 0 0 0 179410 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1794.25 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1800 s]*
/proc/loadavg: 4.10 4.09 4.01 5/259 985213
/proc/meminfo: memFree=126034888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=491544 memory=467612 CPUtime=1794.66 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68715 0 0 0 179451 15 0 0 20 0 1 0 183825048 503341056 116903 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 122886 116903 3195 2753 0 119539 0
Current children cumulated CPU time: 1794.66 s
Current children cumulated vsize: 491544 KiB
Current children cumulated memory: 467612 KiB
[startup+1800.11 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 985213
/proc/meminfo: memFree=126034888/131524600 swapFree=131071216/131071996
[pid=983322] ppid=983319 vsize=149680 memory=145100 CPUtime=1794.76 cores=4,6
/proc/983322/stat : 983322 (LS-MabSP) R 983319 983322 983141 0 -1 4194304 68716 0 0 0 179460 16 0 0 20 0 1 0 183825048 153272320 36275 134679101440 4194304 15467897 140726607780272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27013120 140726607782942 140726607783045 140726607783045 140726607790061 0
/proc/983322/statm: 37420 36275 3195 2753 0 34073 0
Current children cumulated CPU time: 1794.76 s
Current children cumulated vsize: 149680 KiB
Current children cumulated memory: 145100 KiB
Child status: 0
Real time (s): 1800.11
CPU time (s): 1794.78
CPU user time (s): 1794.61
CPU system time (s): 0.168173
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 491544
Max. memory (cumulated for all children) (KiB): 467612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 0.168173
maximum resident set size= 467612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68717
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= 45
involuntary context switches= 883
# summary of solver processes directly reported to runsolver:
# pid: 983322
# total CPU time (s): 1794.78
# total CPU user time (s): 1794.61
# total CPU system time (s): 0.168173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58672 second user time and 7.88602 second system time
The end
Begin job on nodeC018 at 2024-07-18 17:30:38
IDJOB=4443276
IDBENCH=147869
IDSOLVER=3047
FILE ID=nodeC018/4443276-1721316626
RUNJOBID= nodeC018-1721316629-983165
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-army13.24bt.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-4443276-1721316626/watcher-4443276-1721316626 -o /tmp/evaluation-result-4443276-1721316626/solver-4443276-1721316626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721316629-983165 --watchdog 3760 ./LS-MabSP -f HOME/instance-4443276-1721316626.opb -t 3600 -s 1056827295
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b1cc89baa8bd080d13ae67cc087920d3
RANDOM SEED=1056827295
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 : 3667.140
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 : 3692.023
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 : 3604.032
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.534
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 : 3667.207
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 : 3692.061
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 : 3660.212
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 : 3599.967
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: 127647140 kB
MemAvailable: 129506724 kB
Buffers: 483096 kB
Cached: 2207596 kB
SwapCached: 148 kB
Active: 985736 kB
Inactive: 2306244 kB
Active(anon): 1564 kB
Inactive(anon): 645232 kB
Active(file): 984172 kB
Inactive(file): 1661012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 64756 kB
Writeback: 8 kB
AnonPages: 600996 kB
Mapped: 142524 kB
Shmem: 45784 kB
KReclaimable: 108444 kB
Slab: 204008 kB
SReclaimable: 108444 kB
SUnreclaim: 95564 kB
KernelStack: 4232 kB
PageTables: 10536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 938984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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:00:39