Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | OPTIMUM | 671.345 | 672.873 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub0_wcsp.wbo |
| MD5SUM | c1daaa37b7d013b8df922d639958f72d |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 159 |
| Best CPU time to get the best result obtained on this benchmark | 377.513 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 640 |
| Total number of constraints | 123180 |
| Number of soft constraints | 123164 |
| Number of constraints which are clauses | 123164 |
| Number of constraints which are cardinality constraints (but not clauses) | 16 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 45316 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 22402430 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.79/0.89 o 19406 0.88/0.99 o 1904 1.08/1.12 o 1735 2.48/2.50 o 1725 3.78/3.89 o 1637 23.92/24.05 o 1226 25.02/25.12 o 1214 26.41/26.53 o 1123 32.10/32.27 o 1121 39.27/39.42 o 1120 40.17/40.34 o 1117 40.67/40.85 o 1116 223.36/223.93 o 1006 389.89/390.87 o 937 390.79/391.76 o 935 393.38/394.30 o 915 393.58/394.53 o 906 402.66/403.65 o 829 403.17/404.16 o 828 492.27/493.40 o 724 550.74/552.07 o 714 551.74/553.05 o 244 552.33/553.62 o 234 552.63/553.91 o 224 552.63/553.97 o 214 553.33/554.61 o 212 561.72/563.06 o 202 561.82/563.16 o 192 587.05/588.43 o 191 615.99/617.45 o 189 641.33/642.85 o 170 641.43/642.97 o 169 641.63/643.14 o 159 671.17/672.74 s OPTIMUM FOUND 671.17/672.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
OK 159
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 (63145 MiB free)
memory of node 1: 64473 MiB (63706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425451-1720890789/watcher-4425451-1720890789 -o /tmp/evaluation-result-4425451-1720890789/solver-4425451-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720890801-718094 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425451-1720890789.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=718110, runsolver pid=718107
[startup+0.100614 s]*
/proc/loadavg: 0.08 0.08 0.09 3/238 718115
/proc/meminfo: memFree=129842024/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=78348 memory=56852 CPUtime=0.09 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 14674 0 0 0 8 1 0 0 20 0 1 0 141245058 80228352 14213 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 19587 14213 755 746 0 18651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78348 KiB
Current children cumulated memory: 56852 KiB
[startup+0.205412 s]*
/proc/loadavg: 0.08 0.08 0.09 2/242 718126
/proc/meminfo: memFree=129784196/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=126688 memory=107648 CPUtime=0.19 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 23437 0 0 0 16 3 0 0 20 0 1 0 141245058 129728512 26912 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 31672 26912 755 746 0 30736 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126688 KiB
Current children cumulated memory: 107648 KiB
[startup+0.305407 s]*
/proc/loadavg: 0.08 0.08 0.09 2/239 718134
/proc/meminfo: memFree=129755936/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=159460 memory=137648 CPUtime=0.29 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 27592 0 0 0 25 4 0 0 20 0 1 0 141245058 163287040 34412 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 39865 34412 755 746 0 38929 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159460 KiB
Current children cumulated memory: 137648 KiB
[startup+0.700216 s]
/proc/loadavg: 0.08 0.08 0.09 3/244 718172
/proc/meminfo: memFree=129646920/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=248012 memory=239732 CPUtime=0.68 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 48000 0 0 0 61 7 0 0 20 0 1 0 141245058 253964288 59933 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 62003 59933 787 746 0 61067 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248012 KiB
Current children cumulated memory: 239732 KiB
[startup+1.50022 s]
/proc/loadavg: 0.08 0.08 0.09 3/245 718195
/proc/meminfo: memFree=129558724/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=302788 memory=290076 CPUtime=1.48 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 58675 0 0 0 139 9 0 0 20 0 1 0 141245058 310054912 72519 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 75697 72519 851 746 0 74761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 302788 KiB
Current children cumulated memory: 290076 KiB
[startup+3.10544 s]
/proc/loadavg: 0.31 0.13 0.10 5/250 718386
/proc/meminfo: memFree=129498780/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=310972 memory=302268 CPUtime=3.08 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 60763 0 0 0 299 9 0 0 20 0 1 0 141245058 318435328 75567 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 77743 75567 851 746 0 76807 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 310972 KiB
Current children cumulated memory: 302268 KiB
[startup+6.30017 s]
/proc/loadavg: 0.31 0.13 0.10 5/256 718526
/proc/meminfo: memFree=128779980/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=350648 memory=333260 CPUtime=6.26 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 65397 0 0 0 616 10 0 0 20 0 1 0 141245058 359063552 83315 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 87662 83315 851 746 0 86726 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 350648 KiB
Current children cumulated memory: 333260 KiB
[startup+12.7002 s]
/proc/loadavg: 0.88 0.26 0.15 5/256 718526
/proc/meminfo: memFree=127123308/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=447312 memory=417240 CPUtime=12.65 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 80251 0 0 0 1251 14 0 0 20 0 1 0 141245058 458047488 104310 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 111828 104310 851 746 0 110892 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 447312 KiB
Current children cumulated memory: 417240 KiB
[startup+25.5002 s]
/proc/loadavg: 1.43 0.40 0.19 5/256 718527
/proc/meminfo: memFree=126809152/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=602708 memory=556576 CPUtime=25.42 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 102542 0 0 0 2522 20 0 0 20 0 1 0 141245058 617172992 139144 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 150677 139144 851 746 0 149741 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 602708 KiB
Current children cumulated memory: 556576 KiB
[startup+51.1055 s]
/proc/loadavg: 2.31 0.69 0.30 5/256 718532
/proc/meminfo: memFree=126433976/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=935220 memory=876276 CPUtime=50.95 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 149638 0 0 0 5063 32 0 0 20 0 1 0 141245058 957665280 219069 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 233805 219069 851 746 0 232869 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 935220 KiB
Current children cumulated memory: 876276 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.26 0.52 5/256 718586
/proc/meminfo: memFree=123818508/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=1210584 memory=1112324 CPUtime=102.03 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 173934 0 0 0 10157 46 0 0 20 0 1 0 141245058 1239638016 278081 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 302646 278081 851 746 0 301710 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1210584 KiB
Current children cumulated memory: 1112324 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.78 0.74 5/254 718597
/proc/meminfo: memFree=122528756/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=1884212 memory=1437740 CPUtime=161.9 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 230554 0 0 0 16124 66 0 0 20 0 1 0 141245058 1929433088 359435 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 471053 359435 851 746 0 470117 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1884212 KiB
Current children cumulated memory: 1437740 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.21 0.96 5/254 718607
/proc/meminfo: memFree=121189380/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=1884372 memory=1583480 CPUtime=221.76 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 242269 0 0 0 22106 70 0 0 20 0 1 0 141245058 1929596928 395870 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 471093 395870 851 746 0 470157 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 1884372 KiB
Current children cumulated memory: 1583480 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.57 1.16 5/254 718617
/proc/meminfo: memFree=120616684/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=1884532 memory=1689924 CPUtime=281.63 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 250405 0 0 0 28089 74 0 0 20 0 1 0 141245058 1929760768 422481 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 471133 422481 851 746 0 470197 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 1884532 KiB
Current children cumulated memory: 1689924 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.85 1.35 5/254 718628
/proc/meminfo: memFree=119275664/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=2607740 memory=2356964 CPUtime=341.51 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 375360 0 0 0 34055 96 0 0 20 0 1 0 141245058 2670325760 589241 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 651935 589241 851 746 0 650999 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 2607740 KiB
Current children cumulated memory: 2356964 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.09 1.53 5/254 718638
/proc/meminfo: memFree=118960088/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3258196 memory=2536900 CPUtime=401.36 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 389581 0 0 0 40017 119 0 0 20 0 1 0 141245058 3336392704 634225 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 814549 634225 851 746 0 813613 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 3258196 KiB
Current children cumulated memory: 2536900 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.28 1.69 5/256 718652
/proc/meminfo: memFree=118558656/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3489812 memory=2856368 CPUtime=461.23 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 439174 0 0 0 45994 129 0 0 20 0 1 0 141245058 3573567488 714092 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 872453 714092 851 746 0 871517 0
Current children cumulated CPU time: 461.23 s
Current children cumulated vsize: 3489812 KiB
Current children cumulated memory: 2856368 KiB
[startup+522.3 s]
/proc/loadavg: 3.56 3.28 1.80 4/249 718693
/proc/meminfo: memFree=118287556/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3498516 memory=2937956 CPUtime=521.1 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 447234 0 0 0 51977 133 0 0 20 0 1 0 141245058 3582480384 734489 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 874629 734489 851 746 0 873693 0
Current children cumulated CPU time: 521.1 s
Current children cumulated vsize: 3498516 KiB
Current children cumulated memory: 2937956 KiB
[startup+582.3 s]
/proc/loadavg: 3.32 3.26 1.88 4/249 718705
/proc/meminfo: memFree=116639964/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3566884 memory=3007968 CPUtime=580.96 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 462914 0 0 0 57960 136 0 0 20 0 1 0 141245058 3652489216 751992 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 891721 751992 851 746 0 890785 0
Current children cumulated CPU time: 580.96 s
Current children cumulated vsize: 3566884 KiB
Current children cumulated memory: 3007968 KiB
[startup+642.3 s]
/proc/loadavg: 3.17 3.22 1.96 4/249 718718
/proc/meminfo: memFree=116462768/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3598836 memory=3042156 CPUtime=640.83 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 472164 0 0 0 63945 138 0 0 20 0 1 0 141245058 3685208064 760539 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 899709 760539 851 746 0 898773 0
Current children cumulated CPU time: 640.83 s
Current children cumulated vsize: 3598836 KiB
Current children cumulated memory: 3042156 KiB
[startup+672.873 s]
# the end of solver process 718110 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=669.911 s, system=1.4344 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 3.14 3.22 1.97 4/249 718719
/proc/meminfo: memFree=116409348/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3598836 memory=3042156 CPUtime=651.3 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 472265 0 0 0 64992 138 0 0 20 0 1 0 141245058 3685208064 760539 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 899709 760539 851 746 0 898773 0
Current children cumulated CPU time: 651.3 s
Current children cumulated vsize: 3598836 KiB
Current children cumulated memory: 3042156 KiB
[startup+665.6 s]
/proc/loadavg: 3.20 3.23 1.99 4/249 718722
/proc/meminfo: memFree=116355620/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3621460 memory=3064776 CPUtime=664.07 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 478150 0 0 0 66268 139 0 0 20 0 1 0 141245058 3708375040 766194 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 905365 766194 851 746 0 904429 0
Current children cumulated CPU time: 664.07 s
Current children cumulated vsize: 3621460 KiB
Current children cumulated memory: 3064776 KiB
[startup+668.8 s]
/proc/loadavg: 3.18 3.22 2.00 4/249 718723
/proc/meminfo: memFree=116322768/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3621460 memory=3064776 CPUtime=667.27 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 478169 0 0 0 66588 139 0 0 20 0 1 0 141245058 3708375040 766194 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 905365 766194 851 746 0 904429 0
Current children cumulated CPU time: 667.27 s
Current children cumulated vsize: 3621460 KiB
Current children cumulated memory: 3064776 KiB
[startup+670.4 s]
/proc/loadavg: 3.18 3.22 2.00 4/249 718723
/proc/meminfo: memFree=116320720/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3621460 memory=3064776 CPUtime=668.86 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 478210 0 0 0 66747 139 0 0 20 0 1 0 141245058 3708375040 766194 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 905365 766194 851 746 0 904429 0
Current children cumulated CPU time: 668.86 s
Current children cumulated vsize: 3621460 KiB
Current children cumulated memory: 3064776 KiB
[startup+672 s]*
/proc/loadavg: 3.17 3.22 2.00 4/249 718723
/proc/meminfo: memFree=116316612/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3621460 memory=3064776 CPUtime=670.47 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 478235 0 0 0 66907 140 0 0 20 0 1 0 141245058 3708375040 766194 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 905365 766194 851 746 0 904429 0
Current children cumulated CPU time: 670.47 s
Current children cumulated vsize: 3621460 KiB
Current children cumulated memory: 3064776 KiB
[startup+672.4 s]
/proc/loadavg: 3.17 3.22 2.00 4/249 718723
/proc/meminfo: memFree=116316612/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=3621460 memory=3064776 CPUtime=670.87 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 478246 0 0 0 66947 140 0 0 20 0 1 0 141245058 3708375040 766194 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 905365 766194 851 746 0 904429 0
Current children cumulated CPU time: 670.87 s
Current children cumulated vsize: 3621460 KiB
Current children cumulated memory: 3064776 KiB
[startup+672.8 s]
/proc/loadavg: 3.17 3.22 2.00 4/249 718723
/proc/meminfo: memFree=116316612/131524600 swapFree=131071996/131071996
[pid=718110] ppid=718107 vsize=2065196 memory=1872268 CPUtime=671.26 cores=4,6
/proc/718110/stat : 718110 (Exact_nosoplex) R 718107 718110 718083 0 -1 4194304 478377 0 0 0 66986 140 0 0 20 0 1 0 141245058 2114760704 468067 134679101440 4194304 7248369 140720555553808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 19181568 140720555557835 140720555558013 140720555558013 140720555564998 0
/proc/718110/statm: 516299 468067 851 746 0 515363 0
Current children cumulated CPU time: 671.26 s
Current children cumulated vsize: 2065196 KiB
Current children cumulated memory: 1872268 KiB
Child status: 30
Real time (s): 672.873
CPU time (s): 671.345
CPU user time (s): 669.911
CPU system time (s): 1.4344
CPU usage (%): 99.7729
Max. virtual memory (cumulated for all children) (KiB): 4125476
Max. memory (cumulated for all children) (KiB): 3165056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.911
system time used= 1.4344
maximum resident set size= 3251072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478381
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= 40
involuntary context switches= 645
# summary of solver processes directly reported to runsolver:
# pid: 718110
# total CPU time (s): 671.345
# total CPU user time (s): 669.911
# total CPU system time (s): 1.4344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36188 second user time and 2.92006 second system time
The end
Begin job on nodeC026 at 2024-07-13 19:13:22 IDJOB=4425451 IDBENCH=143891 IDSOLVER=3039 FILE ID=nodeC026/4425451-1720890789 RUNJOBID= nodeC026-1720890801-718094 SLURM_JOB_ID= 7485815 Free space on /tmp= 890080 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub0_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425451-1720890789/watcher-4425451-1720890789 -o /tmp/evaluation-result-4425451-1720890789/solver-4425451-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720890801-718094 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425451-1720890789.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c1daaa37b7d013b8df922d639958f72d RANDOM SEED=153657947 nodeC026.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 : 3116.458 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.74 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 : 3269.842 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.45 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 : 2713.536 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.74 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 : 3118.595 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.45 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 : 3642.431 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.74 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 : 3077.660 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.45 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 : 3552.195 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.74 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 : 3632.139 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129896032 kB MemAvailable: 129805704 kB Buffers: 324136 kB Cached: 432964 kB SwapCached: 0 kB Active: 481604 kB Inactive: 593388 kB Active(anon): 1424 kB Inactive(anon): 353896 kB Active(file): 480180 kB Inactive(file): 239492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 8108 kB Writeback: 0 kB AnonPages: 316620 kB Mapped: 101076 kB Shmem: 37720 kB KReclaimable: 59644 kB Slab: 156676 kB SReclaimable: 59644 kB SUnreclaim: 97032 kB KernelStack: 3832 kB PageTables: 9396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 727092 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55328 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 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: 180948 kB DirectMap2M: 9029632 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890008 MiB End job on nodeC026 at 2024-07-13 19:24:35