Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | -39 | 3600.06 | 3610.51 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
| MD5SUM | c55f73e6e0cc08bf75a2558de9268914 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 15.9721 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 760 |
| Total number of constraints | 41314 |
| Number of constraints which are clauses | 41314 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 760 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 760 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 760 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.31/0.37 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.31/0.37 o 0 0.31/0.37 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.41/0.43 c Starting SCIP solver (with time-limit = 1800s) ... 1794.91/1800.43 c SCIP timeout with lower and upper bounds: [-40, -38] 1794.91/1800.43 o -38 1794.91/1800.43 c Restarting SCIP solver (with time-limit = 2400s) ... 2393.20/2400.43 c SCIP timeout with lower and upper bounds: [-40, -39] 2393.20/2400.43 o -39 2393.20/2400.43 c Restarting SCIP solver (with time-limit = 3000s) ... 2991.54/3000.43 c SCIP timeout with lower and upper bounds: [-40, -39] 3600.05/3610.50 3600.05/3610.50 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 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 3600.05/3610.50 s SATISFIABLE
OK -39
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: 64059 MiB (62118 MiB free)
memory of node 1: 64510 MiB (60419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439146-1721202934/watcher-4439146-1721202934 -o /tmp/evaluation-result-4439146-1721202934/solver-4439146-1721202934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890810 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439146-1721202934.opb -total-t=3600 -no-par -v0
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=895628, runsolver pid=895625
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.09 4.09 4.09 5/244 895629
/proc/meminfo: memFree=125470144/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=27268 memory=12768 CPUtime=0.1 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 2477 0 0 0 10 0 0 0 20 0 1 0 172451458 27922432 3192 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 6817 3192 878 2594 0 3710 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27268 KiB
Current children cumulated memory: 12768 KiB
[startup+0.212816 s]*
/proc/loadavg: 4.09 4.09 4.09 5/244 895629
/proc/meminfo: memFree=125461136/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=36152 memory=21744 CPUtime=0.21 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 4670 0 0 0 21 0 0 0 20 0 1 0 172451458 37019648 5436 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 9038 5436 878 2594 0 5931 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36152 KiB
Current children cumulated memory: 21744 KiB
[startup+0.312474 s]*
/proc/loadavg: 4.08 4.09 4.09 6/244 895629
/proc/meminfo: memFree=125452960/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=43848 memory=29400 CPUtime=0.31 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 6606 0 0 0 30 1 0 0 20 0 1 0 172451458 44900352 7350 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 10962 7350 878 2594 0 7855 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43848 KiB
Current children cumulated memory: 29400 KiB
[startup+0.700299 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 895629
/proc/meminfo: memFree=125396372/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=118176 memory=107404 CPUtime=0.69 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 26426 0 0 0 64 5 0 0 20 0 1 0 172451458 121012224 26851 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 29544 26851 2526 2594 0 26437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118176 KiB
Current children cumulated memory: 107404 KiB
[startup+1.50035 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 895629
/proc/meminfo: memFree=125328760/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=252156 memory=230900 CPUtime=1.49 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 45166 0 0 0 140 9 0 0 20 0 1 0 172451458 258207744 57725 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 63039 57725 2654 2594 0 59932 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 252156 KiB
Current children cumulated memory: 230900 KiB
[startup+3.11266 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 895629
/proc/meminfo: memFree=125243456/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=276104 memory=244380 CPUtime=3.1 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 49317 0 0 0 300 10 0 0 20 0 1 0 172451458 282730496 61095 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 69026 61095 2670 2594 0 65919 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 276104 KiB
Current children cumulated memory: 244380 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 4.09 4.09 5/242 895629
/proc/meminfo: memFree=125240848/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=286312 memory=247020 CPUtime=6.27 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 49977 0 0 0 617 10 0 0 20 0 1 0 172451458 293183488 61755 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 71578 61755 2670 2594 0 68471 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 286312 KiB
Current children cumulated memory: 247020 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.09 5/242 895630
/proc/meminfo: memFree=125223060/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=351972 memory=262532 CPUtime=12.65 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 52729 0 0 0 1254 11 0 0 20 0 1 0 172451458 360419328 65633 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 87993 65633 2670 2594 0 84886 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 351972 KiB
Current children cumulated memory: 262532 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.10 4.09 5/242 895632
/proc/meminfo: memFree=125168480/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=396500 memory=307932 CPUtime=25.41 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 64027 0 0 0 2528 13 0 0 20 0 1 0 172451458 406016000 76983 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 99125 76983 2670 2594 0 96018 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 396500 KiB
Current children cumulated memory: 307932 KiB
[startup+51.1127 s]
/proc/loadavg: 4.08 4.09 4.09 5/242 895636
/proc/meminfo: memFree=125127740/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=439360 memory=341440 CPUtime=50.95 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 74502 0 0 0 5080 15 0 0 20 0 1 0 172451458 449904640 85360 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 109840 85360 2670 2594 0 106733 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 439360 KiB
Current children cumulated memory: 341440 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/242 895645
/proc/meminfo: memFree=125017664/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=495476 memory=397248 CPUtime=101.99 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 95631 0 0 0 10180 19 0 0 20 0 1 0 172451458 507367424 99312 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 123869 99312 2670 2594 0 120762 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 495476 KiB
Current children cumulated memory: 397248 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/242 895655
/proc/meminfo: memFree=124872056/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=559372 memory=458256 CPUtime=161.81 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 112545 0 0 0 16159 22 0 0 20 0 1 0 172451458 572796928 114564 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 139843 114564 2938 2594 0 136736 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 559372 KiB
Current children cumulated memory: 458256 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/244 895836
/proc/meminfo: memFree=124782732/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=598960 memory=499692 CPUtime=221.63 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 128266 0 0 0 22137 26 0 0 20 0 1 0 172451458 613335040 124923 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 149740 124923 2938 2594 0 146633 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 598960 KiB
Current children cumulated memory: 499692 KiB
[startup+282.3 s]
/proc/loadavg: 4.35 4.15 4.11 5/244 895847
/proc/meminfo: memFree=124742612/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=637880 memory=536712 CPUtime=281.44 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 139328 0 0 0 28116 28 0 0 20 0 1 0 172451458 653189120 134178 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 159470 134178 2938 2594 0 156363 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 637880 KiB
Current children cumulated memory: 536712 KiB
[startup+342.3 s]
/proc/loadavg: 4.68 4.29 4.16 5/245 895872
/proc/meminfo: memFree=124720864/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=669964 memory=563744 CPUtime=341.24 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 145077 0 0 0 34095 29 0 0 20 0 1 0 172451458 686043136 140936 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 167491 140936 2938 2594 0 164384 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 669964 KiB
Current children cumulated memory: 563744 KiB
[startup+402.3 s]
/proc/loadavg: 4.37 4.26 4.16 5/245 895884
/proc/meminfo: memFree=124672748/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=696376 memory=585980 CPUtime=401.07 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 149085 0 0 0 40076 31 0 0 20 0 1 0 172451458 713089024 146495 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 174094 146495 2938 2594 0 170987 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 696376 KiB
Current children cumulated memory: 585980 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.26 4.17 5/245 895895
/proc/meminfo: memFree=124614864/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=710432 memory=602980 CPUtime=460.88 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 152805 0 0 0 46056 32 0 0 20 0 1 0 172451458 727482368 150745 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 177608 150745 2938 2594 0 174501 0
################
# More data... #
################
Current children cumulated memory: 1274868 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.47 3.85 4/237 897045
/proc/meminfo: memFree=123658516/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=1351108 memory=1274868 CPUtime=2913.64 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 306465 0 0 0 291285 79 0 0 20 0 1 0 172451458 1383534592 318717 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 337777 318717 2938 2594 0 334670 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 1351108 KiB
Current children cumulated memory: 1274868 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.40 3.80 4/237 897056
/proc/meminfo: memFree=123564960/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=1446948 memory=1366564 CPUtime=2973.49 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309255 0 0 0 297268 81 0 0 20 0 1 0 172451458 1481674752 341641 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 361737 341641 2938 2594 0 358630 0
Current children cumulated CPU time: 2973.49 s
Current children cumulated vsize: 1446948 KiB
Current children cumulated memory: 1366564 KiB
[startup+3042.3 s]
/proc/loadavg: 2.78 3.26 3.73 3/228 897097
/proc/meminfo: memFree=124858084/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3033.33 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309390 0 0 0 303250 83 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3102.3 s]
/proc/loadavg: 2.33 3.04 3.62 3/228 897107
/proc/meminfo: memFree=124873116/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3093.16 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309511 0 0 0 309233 83 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3093.16 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.86 3.52 3/228 897118
/proc/meminfo: memFree=125431116/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3153 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309592 0 0 0 315217 83 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.72 3.43 3/227 897129
/proc/meminfo: memFree=125430720/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3212.85 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309673 0 0 0 321202 83 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.62 3.35 3/227 897139
/proc/meminfo: memFree=125430620/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3272.69 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309769 0 0 0 327186 83 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3342.3 s]
/proc/loadavg: 2.15 2.53 3.27 3/230 897155
/proc/meminfo: memFree=125429788/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3332.54 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309865 0 0 0 333171 83 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3332.54 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3402.3 s]
/proc/loadavg: 2.05 2.43 3.19 3/230 897165
/proc/meminfo: memFree=125429284/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3392.39 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 309951 0 0 0 339155 84 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.38 3.12 3/230 897176
/proc/meminfo: memFree=125428684/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3452.23 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 310041 0 0 0 345139 84 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.33 3.06 3/231 897188
/proc/meminfo: memFree=125428048/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3512.08 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 310127 0 0 0 351123 85 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.28 2.99 3/231 897199
/proc/meminfo: memFree=125427368/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3571.92 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 310224 0 0 0 357107 85 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 2.12 2.27 2.97 3/230 897589
/proc/meminfo: memFree=125426276/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3600.05 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 310234 0 0 0 359920 85 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 895628 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.2 s, system=0.86019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 2.12 2.27 2.97 3/230 897589
/proc/meminfo: memFree=125426276/131655788 swapFree=131071996/131071996
[pid=895628] ppid=895625 vsize=688756 memory=662420 CPUtime=3600.05 cores=1,3
/proc/895628/stat : 895628 (CASHWMaxSAT-Dis) R 895625 895628 890798 0 -1 4194304 310234 0 0 0 359920 85 0 0 20 0 1 0 172451458 705286144 165605 134679101440 4194304 14817773 140724759832608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52465664 140724759835620 140724759835735 140724759835735 140724759842751 0
/proc/895628/statm: 172189 165605 2986 2594 0 169082 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 688756 KiB
Current children cumulated memory: 662420 KiB
Child status: 10
Real time (s): 3610.51
CPU time (s): 3600.06
CPU user time (s): 3599.2
CPU system time (s): 0.86019
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 1446948
Max. memory (cumulated for all children) (KiB): 1366564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.86019
maximum resident set size= 1366564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310235
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= 64
involuntary context switches= 1813
# summary of solver processes directly reported to runsolver:
# pid: 895628
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.2
# total CPU system time (s): 0.86019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9656 second user time and 36.401 second system time
The end
Begin job on nodeC002 at 2024-07-17 09:55:46 IDJOB=4439146 IDBENCH=146698 IDSOLVER=3075 FILE ID=nodeC002/4439146-1721202934 RUNJOBID= nodeC002-1721194641-890810 SLURM_JOB_ID= 7508870 Free space on /tmp= 723740 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439146-1721202934/watcher-4439146-1721202934 -o /tmp/evaluation-result-4439146-1721202934/solver-4439146-1721202934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890810 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439146-1721202934.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914 RANDOM SEED=844734019 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3606.144 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.716 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.368 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.153 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3658.875 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3598.609 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.339 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.227 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125478900 kB MemAvailable: 127795216 kB Buffers: 462992 kB Cached: 2668444 kB SwapCached: 0 kB Active: 783552 kB Inactive: 4796164 kB Active(anon): 2716 kB Inactive(anon): 2483588 kB Active(file): 780836 kB Inactive(file): 2312576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15480 kB Writeback: 0 kB AnonPages: 2448336 kB Mapped: 139424 kB Shmem: 37704 kB KReclaimable: 125868 kB Slab: 228728 kB SReclaimable: 125868 kB SUnreclaim: 102860 kB KernelStack: 3916 kB PageTables: 14312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3223632 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56320 kB HardwareCorrupted: 0 kB AnonHugePages: 1363968 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: 205640 kB DirectMap2M: 21719040 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 723752 MiB End job on nodeC002 at 2024-07-17 10:55:57