0.00/0.00 c Filename:instance-4427861-1722769582.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.07 c Parse finsih
0.00/0.09 c Start Presolve
0.40/0.46 c After Reduce Vars: 595 Clauses: 28451 Top clause weight: 596 Hard Clauses: 27856
1636.57/1640.97 c Use LS-small
1636.57/1640.97 c Use postsolve
1636.57/1640.98 o -35
3557.96/3565.63 s SATISFIABLE
3557.96/3565.63 c Use postsolve
3557.96/3565.64 v -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
3557.96/3565.64 c Done 1636.65s
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 (62997 MiB free)
memory of node 1: 64473 MiB (63577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427861-1722769582/watcher-4427861-1722769582 -o /tmp/evaluation-result-4427861-1722769582/solver-4427861-1722769582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722769582-238620 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427861-1722769582.opb -t 3558 -s 787304997
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=238681, runsolver pid=238674
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 0.05 0.08 0.09 7/256 238682
/proc/meminfo: memFree=129587980/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=33220 memory=20512 CPUtime=0.09 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 4700 0 0 0 9 0 0 0 20 0 1 0 43562746 34017280 5128 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 8305 5128 1105 2753 0 4958 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 20512 KiB
[startup+0.205786 s]*
/proc/loadavg: 0.05 0.08 0.09 6/256 238682
/proc/meminfo: memFree=129539760/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=33220 memory=20512 CPUtime=0.2 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 4703 0 0 0 20 0 0 0 20 0 1 0 43562746 34017280 5128 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 8305 5128 1105 2753 0 4958 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 20512 KiB
[startup+0.30566 s]*
/proc/loadavg: 0.05 0.08 0.09 6/256 238682
/proc/meminfo: memFree=129492328/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=33220 memory=20512 CPUtime=0.3 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 4703 0 0 0 30 0 0 0 20 0 1 0 43562746 34017280 5128 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 8305 5128 1105 2753 0 4958 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 20512 KiB
[startup+0.700232 s]
/proc/loadavg: 0.05 0.08 0.09 6/256 238682
/proc/meminfo: memFree=129413676/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=94888 memory=83992 CPUtime=0.69 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 19546 0 0 0 67 2 0 0 20 0 1 0 43562746 97165312 20998 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 23722 20998 2689 2753 0 20375 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 94888 KiB
Current children cumulated memory: 83992 KiB
[startup+1.50017 s]
/proc/loadavg: 0.05 0.08 0.09 6/256 238682
/proc/meminfo: memFree=129219572/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=187268 memory=165084 CPUtime=1.48 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 35102 0 0 0 143 5 0 0 20 0 1 0 43562746 191762432 41271 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 46817 41271 2833 2753 0 43470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187268 KiB
Current children cumulated memory: 165084 KiB
[startup+3.1058 s]
/proc/loadavg: 0.05 0.08 0.09 6/256 238682
/proc/meminfo: memFree=129058944/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=197180 memory=167720 CPUtime=3.08 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 35739 0 0 0 303 5 0 0 20 0 1 0 43562746 201912320 41930 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 49295 41930 2833 2753 0 45948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197180 KiB
Current children cumulated memory: 167720 KiB
[startup+6.30023 s]
/proc/loadavg: 0.53 0.18 0.12 6/256 238685
/proc/meminfo: memFree=128994708/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=228156 memory=175040 CPUtime=6.28 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 37065 0 0 0 622 6 0 0 20 0 1 0 43562746 233631744 43760 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 57039 43760 2833 2753 0 53692 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 228156 KiB
Current children cumulated memory: 175040 KiB
[startup+12.7002 s]
/proc/loadavg: 0.81 0.24 0.14 6/256 238685
/proc/meminfo: memFree=128887756/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=287412 memory=219152 CPUtime=12.65 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 48097 0 0 0 1257 8 0 0 20 0 1 0 43562746 294309888 54788 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 71853 54788 2849 2753 0 68506 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 287412 KiB
Current children cumulated memory: 219152 KiB
[startup+25.5002 s]
/proc/loadavg: 1.59 0.44 0.21 6/256 238688
/proc/meminfo: memFree=128861800/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=289260 memory=221256 CPUtime=25.42 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 50589 0 0 0 2533 9 0 0 20 0 1 0 43562746 296202240 55314 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 72315 55314 2849 2753 0 68968 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 289260 KiB
Current children cumulated memory: 221256 KiB
[startup+51.1057 s]
/proc/loadavg: 2.41 0.73 0.31 6/256 238691
/proc/meminfo: memFree=128753260/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=339932 memory=257700 CPUtime=50.95 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 61271 0 0 0 5084 11 0 0 20 0 1 0 43562746 348090368 64425 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 84983 64425 2849 2753 0 81636 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 339932 KiB
Current children cumulated memory: 257700 KiB
[startup+102.3 s]
/proc/loadavg: 3.36 1.25 0.51 6/256 238700
/proc/meminfo: memFree=128462216/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=408000 memory=318324 CPUtime=102 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 74423 0 0 0 10187 13 0 0 20 0 1 0 43562746 417792000 79581 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 102000 79581 3195 2753 0 98653 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 408000 KiB
Current children cumulated memory: 318324 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.78 0.74 6/256 238710
/proc/meminfo: memFree=128253132/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=475412 memory=368208 CPUtime=161.83 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 87058 0 0 0 16167 16 0 0 20 0 1 0 43562746 486821888 92052 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 118853 92052 3195 2753 0 115506 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 475412 KiB
Current children cumulated memory: 368208 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.19 0.95 6/257 238727
/proc/meminfo: memFree=128135012/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=535188 memory=410240 CPUtime=221.66 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 95739 0 0 0 22148 18 0 0 20 0 1 0 43562746 548032512 102560 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 133797 102560 3195 2753 0 130450 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 535188 KiB
Current children cumulated memory: 410240 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.55 1.15 6/258 238740
/proc/meminfo: memFree=127996028/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=574480 memory=450016 CPUtime=281.5 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 104877 0 0 0 28130 20 0 0 20 0 1 0 43562746 588267520 112504 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 143620 112504 3195 2753 0 140273 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 574480 KiB
Current children cumulated memory: 450016 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.85 1.34 6/257 238751
/proc/meminfo: memFree=127971656/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=611476 memory=477760 CPUtime=341.32 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 108545 0 0 0 34111 21 0 0 20 0 1 0 43562746 626151424 119440 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 152869 119440 3195 2753 0 149522 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 611476 KiB
Current children cumulated memory: 477760 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.09 1.52 6/257 238763
/proc/meminfo: memFree=127850408/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=653244 memory=526076 CPUtime=401.15 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 117115 0 0 0 40093 22 0 0 20 0 1 0 43562746 668921856 131519 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 163311 131519 3195 2753 0 159964 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 653244 KiB
Current children cumulated memory: 526076 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.28 1.69 6/257 238773
/proc/meminfo: memFree=127771684/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=682380 memory=555572 CPUtime=460.99 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 123175 0 0 0 46075 24 0 0 20 0 1 0 43562746 698757120 138893 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.01 6/259 240450
/proc/meminfo: memFree=127954972/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3155.35 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154578 0 0 0 311922 3613 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3155.35 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.01 6/259 240460
/proc/meminfo: memFree=127954524/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3215.25 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154586 0 0 0 317770 3755 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3215.25 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.01 6/257 240483
/proc/meminfo: memFree=127953720/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3275.14 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154594 0 0 0 323614 3900 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3275.14 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.02 6/257 240495
/proc/meminfo: memFree=127953092/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3335.04 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154602 0 0 0 329461 4043 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3335.04 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/257 240505
/proc/meminfo: memFree=127952580/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3394.93 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154610 0 0 0 335304 4189 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3394.93 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.02 6/258 240516
/proc/meminfo: memFree=127951852/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3454.83 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154618 0 0 0 341152 4331 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3454.83 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/257 240528
/proc/meminfo: memFree=127950820/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3514.73 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154626 0 0 0 346993 4480 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3514.73 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3565.64 s]
# the end of solver process 238681 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3512.16 s, system=45.8543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.09 4.10 4.02 6/257 240529
/proc/meminfo: memFree=127950620/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3525.22 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154626 0 0 0 348016 4506 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3525.22 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3545.6 s]
/proc/loadavg: 4.08 4.10 4.02 6/257 240533
/proc/meminfo: memFree=127950452/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3537.99 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154626 0 0 0 349263 4536 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3537.99 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3558.4 s]
/proc/loadavg: 4.13 4.11 4.02 6/257 240535
/proc/meminfo: memFree=127950500/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3550.76 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154634 0 0 0 350509 4567 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3550.76 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3561.6 s]
/proc/loadavg: 4.12 4.10 4.02 6/257 240535
/proc/meminfo: memFree=127950512/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3553.96 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154634 0 0 0 350821 4575 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3553.96 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3563.2 s]
/proc/loadavg: 4.12 4.10 4.02 6/257 240535
/proc/meminfo: memFree=127950492/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3555.56 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154634 0 0 0 350977 4579 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3555.56 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3564.8 s]
/proc/loadavg: 4.12 4.10 4.02 6/256 240536
/proc/meminfo: memFree=127950144/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3557.16 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154634 0 0 0 351133 4583 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3557.16 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3565.2 s]
/proc/loadavg: 4.12 4.10 4.02 6/256 240536
/proc/meminfo: memFree=127950176/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3557.55 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154634 0 0 0 351172 4583 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3557.55 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
[startup+3565.6 s]
/proc/loadavg: 4.12 4.10 4.02 6/256 240536
/proc/meminfo: memFree=127950176/131524600 swapFree=131071996/131071996
[pid=238681] ppid=238674 vsize=523044 memory=498260 CPUtime=3557.96 cores=1,3
/proc/238681/stat : 238681 (LS-MabSP) R 238674 238681 238608 0 -1 4194304 154634 0 0 0 351211 4585 0 0 20 0 1 0 43562746 535597056 124565 134679101440 4194304 15467897 140731077062128 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33243136 140731077067807 140731077067909 140731077067909 140731077074925 0
/proc/238681/statm: 130761 124565 3195 2753 0 127414 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 523044 KiB
Current children cumulated memory: 498260 KiB
Child status: 0
Real time (s): 3565.64
CPU time (s): 3558.01
CPU user time (s): 3512.16
CPU system time (s): 45.8543
CPU usage (%): 99.7859
Max. virtual memory (cumulated for all children) (KiB): 1142632
Max. memory (cumulated for all children) (KiB): 1048056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3512.15
system time used= 45.8543
maximum resident set size= 1048056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154730
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= 67
involuntary context switches= 1278
# summary of solver processes directly reported to runsolver:
# pid: 238681
# total CPU time (s): 3558.01
# total CPU user time (s): 3512.16
# total CPU system time (s): 45.8543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1 second user time and 12.6895 second system time
The end
Begin job on nodeC028 at 2024-08-04 13:06:22
IDJOB=4427861
IDBENCH=146690
IDSOLVER=3047
FILE ID=nodeC028/4427861-1722769582
RUNJOBID= nodeC028-1722769582-238620
SLURM_JOB_ID= 8257559
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-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-4427861-1722769582/watcher-4427861-1722769582 -o /tmp/evaluation-result-4427861-1722769582/solver-4427861-1722769582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722769582-238620 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427861-1722769582.opb -t 3558 -s 787304997
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
RANDOM SEED=787304997
nodeC028.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 : 3603.399
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.94
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 : 3652.561
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.71
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 : 3663.894
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.94
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 : 3660.345
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.71
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 : 3660.650
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.94
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 : 3652.042
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.71
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.143
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.94
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 : 3648.980
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.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129619484 kB
MemAvailable: 129774908 kB
Buffers: 280140 kB
Cached: 717344 kB
SwapCached: 0 kB
Active: 473924 kB
Inactive: 926316 kB
Active(anon): 1408 kB
Inactive(anon): 430228 kB
Active(file): 472516 kB
Inactive(file): 496088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 66328 kB
Writeback: 0 kB
AnonPages: 401576 kB
Mapped: 105644 kB
Shmem: 29528 kB
KReclaimable: 53288 kB
Slab: 143808 kB
SReclaimable: 53288 kB
SUnreclaim: 90520 kB
KernelStack: 3984 kB
PageTables: 10028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 670720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 262144 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: 305876 kB
DirectMap2M: 18341888 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC028 at 2024-08-04 14:05:48