0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ...
1794.45/1800.01 c SCIP timeout with lower and upper bounds: [-135505, 0]
1794.55/1800.13 o 0
1968.37/1974.33 s OPTIMUM FOUND
1968.37/1974.33 v -x601 -x621 -x602 -x622 -x603 -x623 x604 x624 x605 x625 x606 x626 -x607 -x627 -x608 -x628 -x609 -x629 -x610 -x630 -x611 -x631 x612 x632 -x613 -x633 x614 x634 -x615 -x635 -x616 -x636 -x617 -x637 -x618 -x638 x619 x639 -x620 -x640 -x21 -x1 -x11 -x401 -x121 -x501 -x31 x2 -x22 -x12 -x411 -x221 -x402 -x131 -x122 -x511 -x311 -x502 -x41 x3 -x32 -x23 x13 -x421 -x230 -x412 -x222 -x403 -x141 -x132 -x123 -x521 -x320 -x512 -x312 -x503 -x51 -x4 -x42 x33 -x24 -x14 -x431 -x239 -x422 -x231 x413 -x223 x404 -x151 x142 -x133 -x124 -x531 -x329 x522 -x321 x513 -x313 x504 -x61 x5 -x52 x43 -x34 -x25 x15 -x441 -x248 -x432 -x240 x423 -x232 x414 -x224 x405 -x161 -x152 x143 -x134 -x125 -x541 -x338 -x532 -x330 x523 -x322 x514 -x314 x505 -x71 -x6 -x62 -x53 -x44 x35 -x26 -x16 -x451 -x257 -x442 -x249 -x433 -x241 -x424 -x233 x415 -x225 x406 -x171 x162 -x153 -x144 -x135 -x126 -x551 -x347 x542 -x339 x533 -x331 x524 -x323 x515 -x315 x506 -x81 -x7 -x72 x63 -x54 x45 -x36 -x27 x17 -x461 -x266 -x452 -x258 x443 -x250 x434 x242 -x425 -x234 -x416 -x226 -x407 -x181 -x172 x163 -x154 x145 -x136 -x127 -x561 -x356 -x552 -x348 x543 -x340 x534 x332 -x525 -x324 -x516 -x316 -x507 -x91 -x8 -x82 -x73 -x64 -x55 -x46 x37 -x28 x18 -x471 -x275 -x462 -x267 -x453 -x259 -x444 -x251 x435 -x243 x426 x235 -x417 -x227 -x408 -x191 x182 -x173 -x164 -x155 -x146 -x137 -x128 -x571 -x365 x562 -x357 x553 -x349 x544 x341 -x535 -x333 -x526 -x325 -x517 -x317 -x508 -x101 x9 -x92 -x83 -x74 x65 -x56 x47 x38 -x29 x19 -x481 -x284 -x472 -x276 -x463 -x268 -x454 -x260 x445 -x252 x436 x244 x427 x236 -x418 -x228 -x409 -x201 x192 x183 -x174 x165 -x156 -x147 -x138 -x129 -x581 -x374 x572 x366 -x563 -x358 -x554 x350 -x545 -x342 -x536 -x334 -x527 -x326 -x518 -x318 -x509 -x111 -x10 -x102 -x93 -x84 -x75 -x66 -x57 x48 x39 -x30 x20 -x491 -x293 -x482 -x285 -x473 -x277 -x464 -x269 -x455 -x261 -x446 -x253 x437 x245 x428 x237 -x419 -x229 -x410 -x211 x202 x193 -x184 -x175 -x166 -x157 -x148 -x139 -x130 -x591 -x383 x582 x375 x573 -x367 x564 x359 -x555 -x351 -x546 -x343 -x537 -x335 -x528 -x327 -x519 -x319 -x510 -x112 x103 -x94 -x85 -x76 x67 -x58 x49 x40 -x302 -x492 -x294 x483 -x286 x474 -x278 x465 -x270 x456 x262 -x447 -x254 x438 x246 x429 x238 -x420 x212 x203 -x194 x185 -x176 -x167 -x158 x149 -x140 -x392 x592 x384 x583 -x376 x574 x368 x565 -x360 x556 -x352 x547 -x344 x538 x336 -x529 -x328 -x520 -x113 -x104 -x95 -x86 -x77 x68 -x59 x50 -x303 -x493 -x295 -x484 -x287 -x475 -x279 -x466 -x271 x457 x263 -x448 -x255 x439 x247 x430 x213 -x204 x195 -x186 -x177 -x168 -x159 -x150 x393 -x593 -x385 -x584 x377 -x575 -x369 -x566 -x361 -x557 -x353 -x548 -x345 x539 -x337 x530 -x114 x105 -x96 -x87 -x78 x69 -x60 -x304 -x494 -x296 x485 -x288 x476 -x280 x467 x272 -x458 -x264 x449 x256 -x440 -x214 x205 -x196 -x187 -x178 x169 -x160 -x394 x594 x386 x585 -x378 x576 -x370 x567 -x362 x558 x354 -x549 -x346 -x540 -x115 -x106 -x97 -x88 -x79 x70 -x305 -x495 -x297 -x486 -x289 -x477 -x281 x468 -x273 x459 x265 x450 x215 -x206 -x197 -x188 -x179 -x170 x395 -x595 -x387 -x586 -x379 -x577 -x371 -x568 -x363 x559 -x355 x550 -x116 x107 -x98 -x89 -x80 -x306 -x496 -x298 x487 -x290 x478 -x282 x469 x274 -x460 -x216 -x207 -x198 x189 -x180 -x396 x596 -x388 x587 -x380 x578 x372 -x569 -x364 -x560 -x117 x108 -x99 -x90 -x307 -x497 -x299 x488 -x291 x479 x283 -x470 -x217 -x208 x199 -x190 -x397 -x597 -x389 -x588 x381 -x579 -x373 -x570 -x118 x109 -x100 -x308 -x498 -x300 x489 x292 -x480 -x218 x209 -x200 -x398 -x598 x390 -x589 -x382 -x580 -x119 x110 -x309 -x499 x301 -x490 x219 -x210 x399 -x599 -x391 -x590 -x120 -x310 x500 -x220 -x400 x600
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 (56404 MiB free)
memory of node 1: 64473 MiB (59455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458238-1721879546/watcher-4458238-1721879546 -o /tmp/evaluation-result-4458238-1721879546/solver-4458238-1721879546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721875935-220241 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4458238-1721879546.opb -total-t=3600 -no-par -v0
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
solver pid=222299, runsolver pid=222296
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118613668/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=42108 memory=32116 CPUtime=0.09 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 5678 0 0 0 9 0 0 0 20 0 1 0 24483677 43118592 8029 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 10527 8029 2650 2550 0 7482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 32116 KiB
[startup+0.205534 s]*
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118610092/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=42376 memory=33700 CPUtime=0.2 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 6092 0 0 0 20 0 0 0 20 0 1 0 24483677 43393024 8425 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 10594 8425 2650 2550 0 7549 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 33700 KiB
[startup+0.305516 s]*
/proc/loadavg: 4.12 4.10 4.09 6/257 222300
/proc/meminfo: memFree=118602448/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=51196 memory=41620 CPUtime=0.29 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 8072 0 0 0 29 0 0 0 20 0 1 0 24483677 52424704 10405 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 12799 10405 2650 2550 0 9754 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51196 KiB
Current children cumulated memory: 41620 KiB
[startup+0.700203 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118589564/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=71168 memory=58780 CPUtime=0.69 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 12341 0 0 0 68 1 0 0 20 0 1 0 24483677 72876032 14695 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 17792 14695 2650 2550 0 14747 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71168 KiB
Current children cumulated memory: 58780 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118581632/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=77784 memory=63532 CPUtime=1.48 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 13503 0 0 0 147 1 0 0 20 0 1 0 24483677 79650816 15883 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 19446 15883 2650 2550 0 16401 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77784 KiB
Current children cumulated memory: 63532 KiB
[startup+3.10553 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222300
/proc/meminfo: memFree=118547012/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=79764 memory=65644 CPUtime=3.08 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 14058 0 0 0 307 1 0 0 20 0 1 0 24483677 81678336 16411 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 19941 16411 2650 2550 0 16896 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79764 KiB
Current children cumulated memory: 65644 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119537392/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=85372 memory=71980 CPUtime=6.27 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 15658 0 0 0 625 2 0 0 20 0 1 0 24483677 87420928 17995 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 21343 17995 2650 2550 0 18298 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85372 KiB
Current children cumulated memory: 71980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 222348
/proc/meminfo: memFree=119495284/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=108200 memory=94080 CPUtime=12.65 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 21172 0 0 0 1262 3 0 0 20 0 1 0 24483677 110796800 23520 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 27050 23520 2650 2550 0 24005 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 108200 KiB
Current children cumulated memory: 94080 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 222349
/proc/meminfo: memFree=119441692/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=130636 memory=116164 CPUtime=25.41 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 26728 0 0 0 2537 4 0 0 20 0 1 0 24483677 133771264 29041 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 32659 29041 2650 2550 0 29614 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 130636 KiB
Current children cumulated memory: 116164 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222355
/proc/meminfo: memFree=119402192/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=147320 memory=133432 CPUtime=50.93 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 30013 0 0 0 5087 6 0 0 20 0 1 0 24483677 150855680 33358 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 36830 33358 2650 2550 0 33785 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 147320 KiB
Current children cumulated memory: 133432 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222363
/proc/meminfo: memFree=119278332/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=160484 memory=147816 CPUtime=101.95 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 32421 0 0 0 10188 7 0 0 20 0 1 0 24483677 164335616 36954 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 40121 36954 2920 2550 0 37076 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 160484 KiB
Current children cumulated memory: 147816 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 222374
/proc/meminfo: memFree=119192856/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=175844 memory=168924 CPUtime=161.76 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 35887 0 0 0 16168 8 0 0 20 0 1 0 24483677 180064256 42231 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 43961 42231 2920 2550 0 40916 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 175844 KiB
Current children cumulated memory: 168924 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/256 222768
/proc/meminfo: memFree=119115080/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=201404 memory=191164 CPUtime=221.58 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 38769 0 0 0 22150 8 0 0 20 0 1 0 24483677 206237696 47791 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 50351 47791 2920 2550 0 47306 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 201404 KiB
Current children cumulated memory: 191164 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/256 222779
/proc/meminfo: memFree=119070340/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=207476 memory=199284 CPUtime=281.4 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 39550 0 0 0 28131 9 0 0 20 0 1 0 24483677 212455424 49821 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 51869 49821 2920 2550 0 48824 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 207476 KiB
Current children cumulated memory: 199284 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 222792
/proc/meminfo: memFree=119002284/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=211676 memory=201180 CPUtime=341.2 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 40091 0 0 0 34111 9 0 0 20 0 1 0 24483677 216756224 50295 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 52919 50295 2920 2550 0 49874 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 211676 KiB
Current children cumulated memory: 201180 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 222971
/proc/meminfo: memFree=118952196/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=213132 memory=204012 CPUtime=400.99 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 40894 0 0 0 40090 9 0 0 20 0 1 0 24483677 218247168 51003 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 53283 51003 2920 2550 0 50238 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 213132 KiB
Current children cumulated memory: 204012 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 222981
/proc/meminfo: memFree=118930192/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=220416 memory=211332 CPUtime=460.79 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 42855 0 0 0 46070 9 0 0 20 0 1 0 24483677 225705984 52833 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 55104 52833 2920 2550 0 52059 0
################
# More data... #
################
/proc/loadavg: 4.11 4.15 4.11 5/255 223197
/proc/meminfo: memFree=118398764/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=287816 memory=280540 CPUtime=1537.44 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 59373 0 0 0 153732 12 0 0 20 0 1 0 24483677 294723584 70135 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 71954 70135 2920 2550 0 68909 0
Current children cumulated CPU time: 1537.44 s
Current children cumulated vsize: 287816 KiB
Current children cumulated memory: 280540 KiB
[startup+1602.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 223207
/proc/meminfo: memFree=118366508/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=288820 memory=281516 CPUtime=1597.28 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 59741 0 0 0 159716 12 0 0 20 0 1 0 24483677 295751680 70379 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 72205 70379 2920 2550 0 69160 0
Current children cumulated CPU time: 1597.28 s
Current children cumulated vsize: 288820 KiB
Current children cumulated memory: 281516 KiB
[startup+1662.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 223217
/proc/meminfo: memFree=118355252/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=288820 memory=281664 CPUtime=1657.12 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 59884 0 0 0 165700 12 0 0 20 0 1 0 24483677 295751680 70416 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 72205 70416 2920 2550 0 69160 0
Current children cumulated CPU time: 1657.12 s
Current children cumulated vsize: 288820 KiB
Current children cumulated memory: 281664 KiB
[startup+1722.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/257 223231
/proc/meminfo: memFree=118324396/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=288820 memory=281664 CPUtime=1716.95 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60007 0 0 0 171683 12 0 0 20 0 1 0 24483677 295751680 70416 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 72205 70416 2920 2550 0 69160 0
Current children cumulated CPU time: 1716.95 s
Current children cumulated vsize: 288820 KiB
Current children cumulated memory: 281664 KiB
[startup+1782.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/256 223243
/proc/meminfo: memFree=118301328/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=288820 memory=281804 CPUtime=1776.79 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60165 0 0 0 177667 12 0 0 20 0 1 0 24483677 295751680 70451 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 72205 70451 2920 2550 0 69160 0
Current children cumulated CPU time: 1776.79 s
Current children cumulated vsize: 288820 KiB
Current children cumulated memory: 281804 KiB
[startup+1842.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 223254
/proc/meminfo: memFree=118575948/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1836.65 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60252 0 0 0 183653 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1836.65 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1902.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 223264
/proc/meminfo: memFree=118562800/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1896.52 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60392 0 0 0 189640 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1896.52 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1962.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 223275
/proc/meminfo: memFree=118562116/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1956.39 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 195627 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1956.39 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1974.34 s]
# the end of solver process 222299 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1968.29 s, system=0.131577 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1964.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 223275
/proc/meminfo: memFree=118562132/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1958.89 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 195877 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1958.89 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1971.2 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 223277
/proc/meminfo: memFree=118562036/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1965.28 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 196516 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1965.28 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1972.8 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 223277
/proc/meminfo: memFree=118562036/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1966.87 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 196675 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1966.87 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1973.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 223277
/proc/meminfo: memFree=118562036/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1967.67 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 196755 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1967.67 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1974 s]*
/proc/loadavg: 4.15 4.13 4.10 5/256 223277
/proc/meminfo: memFree=118562036/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1968.07 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 196795 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1968.07 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1974.2 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 223277
/proc/meminfo: memFree=118562036/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1968.27 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 196815 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1968.27 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
[startup+1974.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 223277
/proc/meminfo: memFree=118562036/131524600 swapFree=131069668/131071996
[pid=222299] ppid=222296 vsize=235068 memory=229004 CPUtime=1968.37 cores=4,6
/proc/222299/stat : 222299 (CASHWMaxSAT-Dis) R 222296 222299 220230 0 -1 4194304 60474 0 0 0 196825 12 0 0 20 0 1 0 24483677 240709632 57251 134679101440 4194304 14636349 140733412416400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 25473024 140733412418531 140733412418647 140733412418647 140733412425662 0
/proc/222299/statm: 58767 57251 2920 2550 0 55722 0
Current children cumulated CPU time: 1968.37 s
Current children cumulated vsize: 235068 KiB
Current children cumulated memory: 229004 KiB
Child status: 30
Real time (s): 1974.34
CPU time (s): 1968.42
CPU user time (s): 1968.29
CPU system time (s): 0.131577
CPU usage (%): 99.7003
Max. virtual memory (cumulated for all children) (KiB): 288820
Max. memory (cumulated for all children) (KiB): 281804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1968.29
system time used= 0.131577
maximum resident set size= 281804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60474
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= 66
involuntary context switches= 1278
# summary of solver processes directly reported to runsolver:
# pid: 222299
# total CPU time (s): 1968.42
# total CPU user time (s): 1968.29
# total CPU system time (s): 0.131577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.27613 second user time and 9.46235 second system time
The end
Begin job on nodeC025 at 2024-07-25 05:52:26
IDJOB=4458238
IDBENCH=177184
IDSOLVER=3076
FILE ID=nodeC025/4458238-1721879546
RUNJOBID= nodeC025-1721875935-220241
SLURM_JOB_ID= 8089238
Free space on /tmp= 889992 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458238-1721879546/watcher-4458238-1721879546 -o /tmp/evaluation-result-4458238-1721879546/solver-4458238-1721879546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721875935-220241 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4458238-1721879546.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=1856076815
nodeC025.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 : 3663.671
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.51
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 : 3670.270
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.49
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.912
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.51
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 : 3599.765
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.49
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 : 3654.294
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.51
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.053
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.49
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 : 3664.265
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.51
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 : 3669.692
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118644460 kB
MemAvailable: 128544128 kB
Buffers: 293576 kB
Cached: 10379544 kB
SwapCached: 232 kB
Active: 2495316 kB
Inactive: 9671348 kB
Active(anon): 3912 kB
Inactive(anon): 1542812 kB
Active(file): 2491404 kB
Inactive(file): 8128536 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131069668 kB
Dirty: 40788 kB
Writeback: 0 kB
AnonPages: 1490104 kB
Mapped: 133820 kB
Shmem: 53184 kB
KReclaimable: 239104 kB
Slab: 363268 kB
SReclaimable: 239104 kB
SUnreclaim: 124164 kB
KernelStack: 4120 kB
PageTables: 12200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2077800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 13952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1382400 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: 379604 kB
DirectMap2M: 40288256 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC025 at 2024-07-25 06:25:21