Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | OPTIMUM | 243.223 | 243.806 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo |
| MD5SUM | 9202fc79e8368b67f7e7060a66676775 |
| 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 | 7688496 |
| Best CPU time to get the best result obtained on this benchmark | 4.37019 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2600 |
| Total number of constraints | 5148 |
| Number of soft constraints | 5048 |
| Number of constraints which are clauses | 5048 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Top cost | 61306436 |
| Min constraint cost | 1 |
| Max constraint cost | 61306436 |
| Sum of constraints costs | 154547346300 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 51 |
| 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.10/0.11 o 18632923 0.10/0.11 o 18381916 0.10/0.11 o 18376848 0.10/0.11 o 18373520 0.10/0.11 o 18370541 0.10/0.12 o 18282499 0.10/0.12 o 18254212 0.10/0.12 o 16790395 0.10/0.12 o 16719298 0.10/0.12 o 16574038 0.10/0.12 o 16377073 0.10/0.12 o 15668365 0.10/0.20 o 15667532 0.20/0.21 o 15652323 0.20/0.21 o 15615890 0.20/0.23 o 15588945 0.20/0.23 o 15575597 0.20/0.25 o 15514841 0.20/0.30 o 15510523 0.20/0.30 o 15506658 0.20/0.30 o 15499602 0.30/0.31 o 14784754 0.30/0.31 o 14374798 0.30/0.31 o 13811081 0.30/0.32 o 13806880 0.30/0.32 o 13798590 0.30/0.32 o 13564356 0.30/0.33 o 13287534 0.30/0.33 o 13275076 0.30/0.33 o 13238939 0.30/0.34 o 13127730 0.30/0.34 o 12877578 0.30/0.39 o 12853797 0.30/0.40 o 12834429 0.30/0.40 o 12823579 0.40/0.41 o 12813833 0.40/0.41 o 12776676 0.40/0.41 o 12731804 0.40/0.49 o 12522477 0.40/0.50 o 12494074 0.40/0.50 o 12493554 0.40/0.50 o 12489156 0.50/0.51 o 12487018 0.50/0.53 o 12442146 0.50/0.56 o 12412136 0.50/0.56 o 12409661 0.50/0.57 o 12083633 0.50/0.57 o 12061771 0.50/0.57 o 12058505 0.50/0.60 o 12003174 0.59/0.60 o 12000699 0.59/0.61 o 11978837 0.59/0.61 o 11975571 0.59/0.61 o 11957731 0.59/0.62 o 11952268 0.59/0.62 o 11929179 0.59/0.63 o 11858082 0.59/0.67 o 11642385 0.59/0.68 o 11426284 0.59/0.69 o 11281024 1.29/1.31 o 11280877 1.29/1.32 o 11276479 1.29/1.33 o 11274341 1.29/1.33 o 11268878 1.29/1.35 o 11245789 1.58/1.62 o 11211677 1.58/1.65 o 11203600 1.99/2.08 o 11155467 2.58/2.66 o 11106538 2.58/2.69 o 11092244 2.68/2.79 o 11086781 2.88/2.94 o 11063692 3.09/3.18 o 11035289 5.47/5.53 o 11034898 5.47/5.54 o 11034078 5.47/5.55 o 10962981 5.47/5.56 o 10891884 5.47/5.58 o 10820787 5.47/5.59 o 10749690 5.57/5.60 o 10678593 7.08/7.18 o 10673349 7.38/7.45 o 10671991 7.38/7.47 o 10271800 7.38/7.48 o 10271433 7.38/7.50 o 10269602 7.47/7.51 o 10269553 7.47/7.53 o 10264974 7.47/7.54 o 10264607 7.47/7.56 o 10262776 7.47/7.57 o 10262727 7.47/7.58 o 10261043 7.47/7.59 o 10260994 7.57/7.60 o 10260231 7.57/7.62 o 10258320 7.57/7.63 o 10256048 7.57/7.64 o 10254217 7.57/7.65 o 10254168 7.57/7.68 o 10252631 7.57/7.69 o 10250359 7.67/7.70 o 10248528 7.67/7.72 o 10248479 7.67/7.74 o 10237411 7.67/7.75 o 10228554 7.67/7.77 o 10228187 7.67/7.78 o 10226356 7.67/7.79 o 10226307 7.87/7.91 o 10225991 7.87/7.93 o 10223719 7.87/7.94 o 10221888 7.87/7.95 o 10221839 7.87/7.97 o 10221123 7.87/7.98 o 10219292 7.87/8.00 o 10219243 7.98/8.05 o 10217065 7.98/8.07 o 10215154 7.98/8.08 o 10212882 8.07/8.10 o 10211051 8.07/8.12 o 10211002 8.87/8.93 o 10135136 9.27/9.37 o 10124801 9.27/9.39 o 10124752 9.37/9.43 o 10121233 9.37/9.46 o 10110848 9.37/9.49 o 10110799 9.47/9.52 o 10107582 9.47/9.55 o 10107533 10.27/10.35 o 10099260 10.27/10.37 o 10099211 10.36/10.41 o 10062586 10.66/10.75 o 10052700 11.16/11.26 o 10051236 11.66/11.73 o 10040293 11.66/11.76 o 10039926 11.66/11.78 o 10038095 12.96/13.02 o 10037517 12.96/13.06 o 10023905 13.06/13.11 o 10018716 13.06/13.15 o 10018667 13.06/13.19 o 10014039 13.16/13.23 o 10011347 13.16/13.27 o 9997056 13.25/13.33 o 9910745 13.25/13.35 o 9887106 13.25/13.37 o 9793557 14.06/14.19 o 9787917 14.15/14.23 o 9703581 14.25/14.33 o 9558321 15.16/15.22 o 9553891 15.16/15.26 o 9540459 15.16/15.29 o 9506493 15.26/15.31 o 9503801 15.26/15.33 o 9489510 16.05/16.19 o 9483863 16.25/16.35 o 9481099 16.75/16.89 o 9404933 16.85/16.91 o 9404884 16.85/16.94 o 9397759 16.85/16.98 o 9393131 16.96/17.04 o 9388256 16.96/17.08 o 9382609 17.75/17.81 o 9374532 18.64/18.74 o 9367987 18.64/18.78 o 9339700 19.35/19.42 o 9338073 19.35/19.47 o 9330120 19.55/19.62 o 9329827 19.55/19.65 o 9329778 19.55/19.69 o 9321825 20.34/20.41 o 9300130 20.34/20.47 o 9300081 20.74/20.87 o 9298409 30.32/30.48 o 9296799 30.42/30.54 o 9293703 31.12/31.26 o 9286987 32.41/32.58 o 9284862 32.61/32.74 o 9281596 33.71/33.89 o 9273519 34.71/34.89 o 9252841 35.01/35.14 o 9248213 35.70/35.85 o 9225567 36.60/36.73 o 9221542 36.70/36.80 o 9216914 39.80/39.92 o 9179388 43.99/44.17 o 9176314 48.88/49.02 o 9174714 49.88/50.07 o 9173176 50.07/50.20 o 9165690 54.56/54.76 o 9160306 55.56/55.77 o 9148404 56.56/56.73 o 8871582 57.45/57.67 o 8843179 64.44/64.61 o 8830989 65.53/65.76 o 8817778 65.63/65.87 o 8801544 65.73/65.91 o 8786700 65.73/65.94 o 8769004 65.73/65.97 o 8759303 65.73/66.00 o 8743873 65.84/66.03 o 8740071 65.84/66.06 o 8732783 66.73/66.91 o 8708170 66.93/67.10 o 8706475 67.23/67.41 o 8667884 69.03/69.23 o 8630684 69.03/69.26 o 8618406 69.83/70.08 o 8609366 70.03/70.28 o 8532300 73.12/73.33 o 8531545 76.01/76.26 o 8531328 76.11/76.32 o 8411871 76.11/76.37 o 8407013 76.21/76.42 o 8399621 76.31/76.54 o 8375728 77.51/77.74 o 8372488 78.70/79.00 o 8371505 78.80/79.06 o 8368265 78.90/79.12 o 8363591 79.81/80.03 o 8157866 84.19/84.46 o 8156100 84.29/84.52 o 8155092 84.39/84.64 o 8152965 95.47/95.79 o 8151270 97.06/97.34 o 8150950 97.26/97.52 o 7945225 99.45/99.73 o 7943598 99.55/99.86 o 7936210 99.66/99.91 o 7935645 100.96/101.25 o 7917552 101.06/101.31 o 7916987 101.16/101.46 o 7913980 101.25/101.53 o 7913415 106.04/106.34 o 7913053 106.14/106.41 o 7912179 106.14/106.49 o 7908607 106.64/106.94 o 7907477 112.23/112.53 o 7845574 113.23/113.56 o 7845447 124.40/124.70 o 7841238 125.60/125.93 o 7840525 125.80/126.13 o 7839463 128.09/128.47 o 7832073 128.19/128.50 o 7814512 128.19/128.54 o 7793277 136.07/136.46 o 7789293 146.55/146.96 o 7787963 146.65/147.05 o 7786006 148.84/149.21 o 7783570 148.84/149.29 o 7780454 148.94/149.37 o 7780086 149.04/149.44 o 7777222 149.13/149.58 o 7775447 149.43/149.82 o 7771238 151.33/151.70 o 7770108 166.90/167.37 o 7766744 167.10/167.53 o 7765280 173.69/174.11 o 7764418 180.16/180.69 o 7763657 180.36/180.80 o 7763065 180.46/180.90 o 7762057 180.56/181.03 o 7761592 180.67/181.16 o 7758352 183.05/183.52 o 7756257 184.76/185.29 o 7755072 184.95/185.41 o 7754437 185.05/185.57 o 7753840 191.23/191.77 o 7753811 191.33/191.88 o 7753214 191.43/192.00 o 7749856 192.73/193.23 o 7747721 194.63/195.17 o 7739768 209.19/209.74 o 7738925 209.29/209.80 o 7738360 209.29/209.84 o 7738021 214.08/214.66 o 7737483 214.18/214.70 o 7735374 214.18/214.76 o 7735187 214.28/214.80 o 7732716 215.58/216.17 o 7732377 218.67/219.29 o 7730643 218.77/219.33 o 7728172 218.87/219.44 o 7727833 227.14/227.79 o 7727674 227.24/227.85 o 7727179 227.34/227.90 o 7726544 227.34/227.97 o 7725947 229.74/230.37 o 7714418 230.94/231.58 o 7703617 233.23/233.86 o 7702606 235.73/236.30 o 7702118 235.73/236.37 o 7701813 235.83/236.45 o 7699508 235.93/236.55 o 7697539 239.53/240.13 o 7696128 239.62/240.25 o 7695760 239.72/240.31 o 7695421 239.72/240.38 o 7694956 239.82/240.45 o 7693894 239.92/240.54 o 7691030 240.12/240.75 o 7690465 241.42/242.09 o 7688496 243.10/243.78 s OPTIMUM FOUND 243.10/243.78 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 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
OK 7688496
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 (53194 MiB free)
memory of node 1: 64473 MiB (46280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456424-1721721982/watcher-4456424-1721721982 -o /tmp/evaluation-result-4456424-1721721982/solver-4456424-1721721982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721718373-89089 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1950515533 HOME/instance-4456424-1721721982.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
Starting watchdog thread
solver pid=91816, runsolver pid=91813
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101841124/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=47924 memory=25440 CPUtime=0.1 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 6286 0 0 0 9 1 0 0 20 0 1 0 8727597 49074176 6360 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 11981 6360 1076 1005 0 10744 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47924 KiB
Current children cumulated memory: 25440 KiB
[startup+0.205574 s]*
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101835072/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=50040 memory=31300 CPUtime=0.2 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 7164 0 0 0 19 1 0 0 20 0 1 0 8727597 51240960 7825 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 12510 7825 1108 1005 0 11273 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50040 KiB
Current children cumulated memory: 31300 KiB
[startup+0.30553 s]*
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101829776/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=53120 memory=36248 CPUtime=0.3 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 7910 0 0 0 29 1 0 0 20 0 1 0 8727597 54394880 9062 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 13280 9062 1108 1005 0 12043 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53120 KiB
Current children cumulated memory: 36248 KiB
[startup+0.700187 s]
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101824620/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=58480 memory=45620 CPUtime=0.69 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 9253 0 0 0 67 2 0 0 20 0 1 0 8727597 59883520 11405 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 14620 11405 1108 1005 0 13383 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58480 KiB
Current children cumulated memory: 45620 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101814744/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=65696 memory=56160 CPUtime=1.48 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 10839 0 0 0 146 2 0 0 20 0 1 0 8727597 67272704 14040 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 16424 14040 1140 1005 0 15187 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65696 KiB
Current children cumulated memory: 56160 KiB
[startup+3.10581 s]
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101803648/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=68472 memory=62300 CPUtime=3.09 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 12249 0 0 0 306 3 0 0 20 0 1 0 8727597 70115328 15575 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 17118 15575 1140 1005 0 15881 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 62300 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.06 5/255 91817
/proc/meminfo: memFree=101771436/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=122348 memory=93624 CPUtime=6.27 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 16751 0 0 0 622 5 0 0 20 0 1 0 8727597 125284352 23406 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 30587 23406 1140 1005 0 29350 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122348 KiB
Current children cumulated memory: 93624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.06 5/255 91818
/proc/meminfo: memFree=101741136/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=143796 memory=127528 CPUtime=12.66 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 21655 0 0 0 1257 9 0 0 20 0 1 0 8727597 147247104 31882 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 35949 31882 1140 1005 0 34712 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 143796 KiB
Current children cumulated memory: 127528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.06 5/255 91820
/proc/meminfo: memFree=101642852/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=308580 memory=222016 CPUtime=25.43 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 34652 0 0 0 2525 18 0 0 20 0 1 0 8727597 315985920 55504 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 77145 55504 1140 1005 0 75908 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 308580 KiB
Current children cumulated memory: 222016 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.06 5/255 91824
/proc/meminfo: memFree=101617900/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=324096 memory=248248 CPUtime=50.98 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 38288 0 0 0 5074 24 0 0 20 0 1 0 8727597 331874304 62062 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 81024 62062 1140 1005 0 79787 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 324096 KiB
Current children cumulated memory: 248248 KiB
[startup+102.3 s]
/proc/loadavg: 4.47 4.20 4.10 5/257 91838
/proc/meminfo: memFree=101470412/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=520432 memory=384580 CPUtime=102.05 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 55656 0 0 0 10164 41 0 0 20 0 1 0 8727597 532922368 96145 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 130108 96145 1140 1005 0 128871 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 520432 KiB
Current children cumulated memory: 384580 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.19 4.10 5/257 91894
/proc/meminfo: memFree=101545928/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=553992 memory=430904 CPUtime=161.91 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 62276 0 0 0 16138 53 0 0 20 0 1 0 8727597 567287808 107726 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 138498 107726 1140 1005 0 137261 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 553992 KiB
Current children cumulated memory: 430904 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.20 4.10 5/257 91904
/proc/meminfo: memFree=101464828/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603384 memory=501448 CPUtime=221.76 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73341 0 0 0 22109 67 0 0 20 0 1 0 8727597 617865216 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150846 125362 1140 1005 0 149609 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 603384 KiB
Current children cumulated memory: 501448 KiB
[startup+243.806 s]
# the end of solver process 91816 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=242.498 s, system=0.724208 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.23 4.20 4.10 5/257 91905
/proc/meminfo: memFree=101464488/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603516 memory=501448 CPUtime=229.84 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73383 0 0 0 22916 68 0 0 20 0 1 0 8727597 618000384 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150879 125362 1140 1005 0 149642 0
Current children cumulated CPU time: 229.84 s
Current children cumulated vsize: 603516 KiB
Current children cumulated memory: 501448 KiB
[startup+236.8 s]
/proc/loadavg: 4.21 4.19 4.10 5/257 91905
/proc/meminfo: memFree=101463300/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603516 memory=501448 CPUtime=236.22 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73389 0 0 0 23553 69 0 0 20 0 1 0 8727597 618000384 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150879 125362 1140 1005 0 149642 0
Current children cumulated CPU time: 236.22 s
Current children cumulated vsize: 603516 KiB
Current children cumulated memory: 501448 KiB
[startup+240 s]*
/proc/loadavg: 4.20 4.19 4.10 5/257 91907
/proc/meminfo: memFree=101463116/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603516 memory=501448 CPUtime=239.43 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73390 0 0 0 23873 70 0 0 20 0 1 0 8727597 618000384 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150879 125362 1140 1005 0 149642 0
Current children cumulated CPU time: 239.43 s
Current children cumulated vsize: 603516 KiB
Current children cumulated memory: 501448 KiB
[startup+241.6 s]
/proc/loadavg: 4.20 4.19 4.10 5/257 91907
/proc/meminfo: memFree=101463076/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603516 memory=501448 CPUtime=241.01 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73391 0 0 0 24031 70 0 0 20 0 1 0 8727597 618000384 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150879 125362 1140 1005 0 149642 0
Current children cumulated CPU time: 241.01 s
Current children cumulated vsize: 603516 KiB
Current children cumulated memory: 501448 KiB
[startup+243.2 s]
/proc/loadavg: 4.18 4.18 4.10 5/257 91907
/proc/meminfo: memFree=101463068/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603516 memory=501448 CPUtime=242.61 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73391 0 0 0 24191 70 0 0 20 0 1 0 8727597 618000384 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150879 125362 1140 1005 0 149642 0
Current children cumulated CPU time: 242.61 s
Current children cumulated vsize: 603516 KiB
Current children cumulated memory: 501448 KiB
[startup+243.6 s]
/proc/loadavg: 4.18 4.18 4.10 5/257 91907
/proc/meminfo: memFree=101463068/131524600 swapFree=131071996/131071996
[pid=91816] ppid=91813 vsize=603516 memory=501448 CPUtime=243 cores=4,6
/proc/91816/stat : 91816 (Exact) R 91813 91816 89078 0 -1 4194304 73391 0 0 0 24230 70 0 0 20 0 1 0 8727597 618000384 125362 134679101440 4194304 8309489 140724038073552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 27877376 140724038075325 140724038075495 140724038075495 140724038082511 0
/proc/91816/statm: 150879 125362 1140 1005 0 149642 0
Current children cumulated CPU time: 243 s
Current children cumulated vsize: 603516 KiB
Current children cumulated memory: 501448 KiB
[startup+243.8 s]*
/proc/loadavg: 4.18 4.18 4.10 5/257 91907
/proc/meminfo: memFree=101843452/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 30
Real time (s): 243.806
CPU time (s): 243.223
CPU user time (s): 242.498
CPU system time (s): 0.724208
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 667372
Max. memory (cumulated for all children) (KiB): 501448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.498
system time used= 0.724208
maximum resident set size= 519364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73392
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= 2
involuntary context switches= 329
# summary of solver processes directly reported to runsolver:
# pid: 91816
# total CPU time (s): 243.223
# total CPU user time (s): 242.498
# total CPU system time (s): 0.724208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.478827 second user time and 1.17436 second system time
The end
Begin job on nodeC029 at 2024-07-23 10:06:22 IDJOB=4456424 IDBENCH=143986 IDSOLVER=3040 FILE ID=nodeC029/4456424-1721721982 RUNJOBID= nodeC029-1721718373-89089 SLURM_JOB_ID= 7770399 Free space on /tmp= 890040 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap111_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456424-1721721982/watcher-4456424-1721721982 -o /tmp/evaluation-result-4456424-1721721982/solver-4456424-1721721982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721718373-89089 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1950515533 HOME/instance-4456424-1721721982.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9202fc79e8368b67f7e7060a66676775 RANDOM SEED=1950515533 nodeC029.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 : 3682.886 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.50 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 : 3691.452 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.34 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 : 3653.538 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.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.118 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.34 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 : 3632.916 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.50 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 : 3691.469 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.34 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 : 3653.929 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.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.982 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 101862204 kB MemAvailable: 119457236 kB Buffers: 142140 kB Cached: 18188744 kB SwapCached: 0 kB Active: 940312 kB Inactive: 27955388 kB Active(anon): 1568 kB Inactive(anon): 10600964 kB Active(file): 938744 kB Inactive(file): 17354424 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6008 kB Writeback: 16 kB AnonPages: 10564604 kB Mapped: 113804 kB Shmem: 37720 kB KReclaimable: 283376 kB Slab: 391704 kB SReclaimable: 283376 kB SUnreclaim: 108328 kB KernelStack: 4112 kB PageTables: 30780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 14116604 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19744 kB HardwareCorrupted: 0 kB AnonHugePages: 8351744 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: 293588 kB DirectMap2M: 27791360 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 890028 MiB End job on nodeC029 at 2024-07-23 10:10:26