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 | 2081.32 | 2086.9 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo |
| MD5SUM | f1281546bfdcfa9fb50b608c743ffb37 |
| 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 | 9466590 |
| Best CPU time to get the best result obtained on this benchmark | 0.602047 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 832 |
| Total number of constraints | 1680 |
| Number of soft constraints | 1614 |
| Number of constraints which are clauses | 1614 |
| Number of constraints which are cardinality constraints (but not clauses) | 66 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 16 |
| Top cost | 56493026 |
| Min constraint cost | 1 |
| Max constraint cost | 56493026 |
| Sum of constraints costs | 45549155826 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 17 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 o 29723741 0.00/0.05 o 20622395 0.00/0.06 o 20221811 0.00/0.06 o 20209746 0.00/0.06 o 20208298 0.00/0.06 o 20199807 0.00/0.06 o 18303357 0.00/0.06 o 18266235 0.00/0.06 o 17977329 0.00/0.06 o 17719089 0.00/0.06 o 17717641 0.00/0.06 o 17714281 0.00/0.06 o 17659308 0.00/0.06 o 17599406 0.00/0.06 o 17599280 0.00/0.06 o 17575859 0.00/0.06 o 17572699 0.00/0.06 o 17483758 0.00/0.06 o 17326760 0.00/0.07 o 17324359 0.00/0.07 o 17300938 0.00/0.07 o 17297778 0.00/0.07 o 17254270 0.00/0.07 o 17221147 0.00/0.07 o 17201200 0.00/0.07 o 17190220 0.00/0.07 o 17166799 0.00/0.07 o 17163639 0.00/0.07 o 17161134 0.00/0.07 o 17142164 0.00/0.07 o 17141054 0.00/0.07 o 17132984 0.00/0.07 o 16874744 0.00/0.07 o 16870471 0.00/0.08 o 16643298 0.00/0.08 o 16615665 0.00/0.08 o 16610175 0.00/0.08 o 16590228 0.00/0.08 o 16579248 0.00/0.08 o 16573865 0.00/0.08 o 16572371 0.00/0.08 o 16528460 0.00/0.08 o 16527449 0.00/0.08 o 16524289 0.00/0.08 o 16497289 0.00/0.09 o 16362052 0.00/0.09 o 16234408 0.00/0.09 o 15367360 0.00/0.09 o 15046174 0.00/0.09 o 14787934 0.00/0.09 o 14721555 0.00/0.09 o 14691584 0.00/0.10 o 14654925 0.10/0.10 o 14650825 0.10/0.10 o 14648283 0.10/0.10 o 14646207 0.10/0.10 o 14645196 0.10/0.10 o 14581146 0.10/0.10 o 14507209 0.10/0.10 o 14433625 0.10/0.11 o 14416528 0.10/0.11 o 14402692 0.10/0.11 o 14391142 0.10/0.11 o 14389066 0.10/0.12 o 14388055 0.10/0.12 o 14384380 0.10/0.12 o 14357689 0.10/0.12 o 14328106 0.10/0.12 o 14313093 0.10/0.12 o 14286937 0.10/0.13 o 14060347 0.10/0.13 o 13238137 0.10/0.13 o 12653869 0.10/0.13 o 12647883 0.10/0.14 o 12640915 0.10/0.14 o 12639405 0.10/0.14 o 12638531 0.10/0.14 o 12635989 0.10/0.14 o 12635407 0.10/0.14 o 12635174 0.10/0.14 o 12632902 0.10/0.15 o 12518671 0.10/0.15 o 12315990 0.10/0.15 o 12315175 0.10/0.16 o 12312903 0.10/0.16 o 12307416 0.10/0.16 o 12303754 0.10/0.16 o 12302244 0.10/0.16 o 12301370 0.10/0.16 o 12278951 0.10/0.17 o 12271403 0.10/0.17 o 12268861 0.10/0.17 o 12268279 0.10/0.17 o 12266785 0.10/0.17 o 12265774 0.10/0.17 o 12261146 0.10/0.17 o 12254878 0.10/0.18 o 12252802 0.10/0.18 o 12251791 0.10/0.18 o 12248129 0.10/0.18 o 12246619 0.10/0.18 o 12245745 0.10/0.18 o 12233317 0.10/0.19 o 12229245 0.10/0.19 o 12227735 0.10/0.19 o 12226861 0.10/0.19 o 12225850 0.10/0.20 o 12217534 0.20/0.21 o 12211715 0.20/0.21 o 12198690 0.20/0.21 o 12195028 0.20/0.21 o 12193518 0.20/0.21 o 12192644 0.20/0.22 o 12138035 0.20/0.22 o 12086175 0.20/0.25 o 12033088 0.20/0.26 o 12020771 0.20/0.26 o 11998352 0.20/0.26 o 11984466 0.20/0.26 o 11969774 0.20/0.26 o 11965146 0.20/0.27 o 11964135 0.20/0.28 o 11912275 0.30/0.31 o 11911640 0.30/0.32 o 11911594 0.30/0.32 o 11911180 0.30/0.32 o 11910583 0.30/0.33 o 11910274 0.30/0.33 o 11909677 0.30/0.34 o 11908198 0.30/0.34 o 11907187 0.30/0.34 o 11906590 0.30/0.35 o 11905955 0.30/0.39 o 11903590 0.30/0.40 o 11896190 0.30/0.40 o 11894350 0.30/0.40 o 11893753 0.40/0.42 o 11873030 0.40/0.42 o 11863504 0.40/0.45 o 11849513 0.40/0.45 o 11810922 0.50/0.54 o 11810416 0.50/0.55 o 11807874 0.50/0.55 o 11807292 0.50/0.55 o 11805798 0.50/0.56 o 11804787 0.50/0.56 o 11802284 0.50/0.57 o 11800444 0.50/0.58 o 11794625 0.59/0.60 o 11785099 0.68/0.73 o 11736064 0.68/0.78 o 11732043 0.68/0.78 o 11728397 0.68/0.78 o 11727800 0.68/0.79 o 11725978 0.78/0.80 o 11725381 0.78/0.80 o 11725343 0.78/0.81 o 11724746 0.78/0.81 o 11723170 0.78/0.81 o 11721364 0.78/0.82 o 11720159 0.78/0.82 o 11719524 0.78/0.83 o 11718927 0.78/0.84 o 11715248 0.78/0.84 o 11714613 0.78/0.86 o 11705408 0.78/0.86 o 11704811 0.78/0.87 o 11704176 0.78/0.88 o 11703762 0.78/0.88 o 11703165 0.99/1.05 o 11696522 0.99/1.06 o 11694606 1.48/1.51 o 11690534 2.79/2.87 o 11690264 2.89/2.90 o 11686906 2.89/2.93 o 11636762 2.89/2.94 o 11632489 15.65/15.76 o 11530921 15.65/15.78 o 11525434 15.65/15.79 o 11521772 15.65/15.79 o 11520262 15.75/15.80 o 11519388 16.15/16.28 o 11516881 16.15/16.29 o 11507355 23.23/23.39 o 11403133 23.33/23.42 o 11396199 23.33/23.45 o 11339045 33.41/33.58 o 11333338 33.51/33.60 o 11328602 33.51/33.61 o 11324778 33.51/33.63 o 11321132 33.51/33.64 o 11320535 33.51/33.67 o 11200520 33.51/33.68 o 11026208 33.61/33.70 o 11007992 33.61/33.71 o 11005485 33.61/33.73 o 10995959 33.61/33.74 o 10993910 33.61/33.76 o 10992732 33.61/33.77 o 10992135 33.91/34.09 o 10991859 34.01/34.10 o 10988213 34.01/34.11 o 10987616 34.01/34.13 o 10987034 34.01/34.14 o 10986137 34.01/34.15 o 10985126 34.01/34.16 o 10984529 34.11/34.22 o 10984297 34.11/34.23 o 10983700 34.11/34.24 o 10983399 34.11/34.26 o 10982388 34.11/34.27 o 10981675 34.11/34.28 o 10981624 34.11/34.29 o 10981210 34.21/34.30 o 10980613 34.21/34.32 o 10979599 34.21/34.33 o 10957737 34.21/34.34 o 10953837 34.21/34.35 o 10953240 34.21/34.37 o 10950665 34.21/34.38 o 10950068 34.21/34.39 o 10949654 34.31/34.40 o 10949057 34.31/34.45 o 10947529 34.31/34.46 o 10946932 34.41/34.53 o 10946196 34.41/34.54 o 10945599 34.41/34.55 o 10945185 34.41/34.56 o 10944588 34.41/34.59 o 10943060 34.51/34.60 o 10942463 34.81/34.91 o 10939112 34.81/34.92 o 10938515 34.81/34.94 o 10937504 34.81/34.95 o 10937345 34.81/34.97 o 10937149 34.81/34.98 o 10937119 34.81/34.99 o 10934651 34.91/35.01 o 10932876 34.91/35.05 o 10931887 34.91/35.07 o 10922255 34.91/35.08 o 10919787 34.91/35.09 o 10918012 35.01/35.12 o 10914992 35.01/35.13 o 10914395 35.01/35.15 o 10913981 35.01/35.16 o 10913384 35.01/35.19 o 10912611 35.10/35.21 o 10908965 35.10/35.22 o 10908368 35.10/35.24 o 10907228 35.10/35.25 o 10903582 35.10/35.26 o 10902985 35.10/35.28 o 10898954 35.10/35.29 o 10898357 35.20/35.32 o 10897840 35.20/35.33 o 10897243 35.20/35.35 o 10896829 35.20/35.36 o 10896232 35.40/35.56 o 10884045 35.40/35.57 o 10881503 35.40/35.58 o 10880921 35.50/35.60 o 10880688 35.50/35.61 o 10878416 35.50/35.63 o 10875962 35.50/35.64 o 10875365 35.50/35.65 o 10874990 35.50/35.67 o 10873979 35.50/35.68 o 10873420 35.50/35.69 o 10872823 35.60/35.71 o 10871344 35.60/35.72 o 10870333 35.60/35.74 o 10869736 35.60/35.75 o 10863946 35.60/35.76 o 10859673 35.60/35.78 o 10857429 35.60/35.79 o 10855935 35.70/35.81 o 10854924 35.70/35.82 o 10846725 35.70/35.83 o 10846128 35.70/35.85 o 10845231 35.70/35.86 o 10844634 35.70/35.87 o 10844220 35.70/35.89 o 10843623 35.80/35.90 o 10843593 35.80/35.92 o 10843034 35.80/35.93 o 10842437 35.80/35.94 o 10840958 35.80/35.96 o 10839947 35.80/35.97 o 10839350 35.80/35.99 o 10805959 35.91/36.00 o 10803432 35.91/36.02 o 10802835 35.91/36.03 o 10801938 35.91/36.04 o 10800927 35.91/36.06 o 10800330 35.91/36.07 o 10776516 35.91/36.09 o 10773380 35.91/36.10 o 10771493 36.01/36.12 o 10757618 36.01/36.13 o 10753245 36.01/36.14 o 10742265 36.01/36.17 o 10739723 36.01/36.18 o 10739141 36.01/36.19 o 10737647 36.10/36.21 o 10736636 36.10/36.24 o 10736537 36.10/36.25 o 10735526 36.10/36.26 o 10730695 36.10/36.28 o 10730113 36.10/36.29 o 10728619 36.20/36.31 o 10727608 36.20/36.32 o 10722257 36.20/36.33 o 10719715 36.20/36.35 o 10719133 36.20/36.36 o 10717639 36.20/36.37 o 10716628 36.20/36.39 o 10708660 36.30/36.40 o 10704387 36.30/36.42 o 10704141 36.30/36.43 o 10701845 36.30/36.45 o 10701263 36.30/36.46 o 10699769 36.30/36.47 o 10698758 36.30/36.49 o 10697183 36.40/36.50 o 10683308 36.40/36.52 o 10681814 36.40/36.53 o 10680803 36.40/36.55 o 10661917 36.40/36.56 o 10655701 36.40/36.58 o 10651428 36.40/36.59 o 10650417 36.50/36.61 o 10649543 36.50/36.62 o 10647381 36.50/36.64 o 10646370 36.50/36.65 o 10635390 36.50/36.68 o 10634849 36.60/36.70 o 10633838 36.60/36.71 o 10611206 36.60/36.73 o 10609081 36.60/36.75 o 10608736 36.60/36.76 o 10607725 36.60/36.77 o 10606539 36.60/36.79 o 10605957 36.70/36.80 o 10605724 36.70/36.82 o 10603452 36.80/36.92 o 10602569 36.80/36.93 o 10602470 36.80/36.95 o 10601459 36.80/36.96 o 10600273 36.80/36.98 o 10599691 36.80/36.99 o 10598197 36.90/37.00 o 10597186 36.90/37.02 o 10596841 36.90/37.04 o 10595347 36.90/37.05 o 10594336 36.90/37.07 o 10592257 36.90/37.08 o 10591888 36.90/37.09 o 10587788 37.00/37.11 o 10587639 37.00/37.12 o 10586628 37.00/37.14 o 10585246 37.00/37.15 o 10584664 37.00/37.17 o 10583170 37.00/37.18 o 10582159 37.10/37.20 o 10581045 37.10/37.22 o 10580034 37.10/37.24 o 10578081 37.10/37.25 o 10577070 37.10/37.28 o 10576944 37.10/37.29 o 10572844 37.20/37.31 o 10571834 37.20/37.32 o 10571748 37.20/37.34 o 10570933 37.20/37.35 o 10568661 37.20/37.37 o 10568074 37.20/37.38 o 10563801 37.30/37.40 o 10561259 37.30/37.41 o 10560677 37.30/37.42 o 10560444 37.30/37.44 o 10558172 37.40/37.50 o 10557984 37.40/37.51 o 10556490 37.40/37.53 o 10555479 37.40/37.54 o 10553884 37.40/37.56 o 10552390 37.40/37.57 o 10551379 37.40/37.59 o 10549942 37.50/37.61 o 10548931 37.50/37.62 o 10542383 37.50/37.63 o 10539259 37.50/37.65 o 10537765 37.50/37.66 o 10536754 37.50/37.68 o 10536581 37.50/37.69 o 10535568 37.60/37.71 o 10534986 37.60/37.72 o 10533492 37.60/37.74 o 10532481 37.70/37.89 o 10522517 37.80/37.91 o 10520441 37.80/37.93 o 10519430 37.80/37.94 o 10518352 37.80/37.96 o 10516823 37.80/37.97 o 10515896 37.80/37.99 o 10514995 37.90/38.00 o 10512723 37.90/38.02 o 10512633 37.90/38.04 o 10511623 37.90/38.05 o 10510722 37.90/38.06 o 10508450 37.90/38.09 o 10506325 44.89/45.07 o 10500838 44.89/45.08 o 10497176 44.89/45.10 o 10495666 44.99/45.11 o 10494792 44.99/45.18 o 10477758 44.99/45.19 o 10476063 45.18/45.34 o 10398929 45.18/45.35 o 10392158 45.18/45.36 o 10380629 45.38/45.51 o 10345001 45.38/45.52 o 10343295 45.38/45.53 o 10334398 45.68/45.88 o 10334052 45.68/45.89 o 10329980 46.08/46.22 o 10326820 46.28/46.42 o 10274113 46.88/47.01 o 10236587 47.88/48.10 o 10226472 47.98/48.12 o 10218209 47.98/48.14 o 10214187 53.66/53.89 o 10210631 53.76/53.92 o 10206867 53.76/53.95 o 10204643 55.75/55.98 o 10165373 55.85/56.01 o 10159294 61.14/61.30 o 10158690 61.14/61.32 o 10157180 61.14/61.33 o 10156169 61.14/61.35 o 10151361 61.14/61.38 o 10150992 61.44/61.66 o 10133895 62.34/62.57 o 10111665 63.63/63.82 o 10021266 71.52/71.77 o 10020546 71.52/71.79 o 10019836 71.61/71.81 o 10019341 71.61/71.82 o 10018706 72.01/72.29 o 9999554 73.51/73.71 o 9993735 76.10/76.35 o 9930330 77.60/77.85 o 9905419 79.69/79.94 o 9905036 79.69/79.96 o 9904401 79.69/79.97 o 9899773 79.69/79.99 o 9896613 80.19/80.49 o 9888318 80.39/80.63 o 9884958 81.29/81.54 o 9878799 81.29/81.58 o 9873827 81.39/81.60 o 9865268 81.39/81.62 o 9861765 82.39/82.68 o 9861716 82.49/82.70 o 9860705 82.49/82.73 o 9860070 89.47/89.71 o 9859727 89.47/89.73 o 9859129 89.47/89.75 o 9848149 89.77/90.07 o 9828997 90.87/91.18 o 9825639 102.64/102.98 o 9825509 102.64/102.99 o 9824912 102.74/103.01 o 9823901 102.74/103.03 o 9821776 102.74/103.05 o 9817148 102.84/103.16 o 9816962 102.84/103.17 o 9811950 102.84/103.19 o 9780765 109.02/109.30 o 9755854 109.73/110.02 o 9750404 113.21/113.52 o 9745137 113.41/113.71 o 9744886 113.41/113.73 o 9744653 113.41/113.75 o 9743392 113.41/113.77 o 9742381 113.51/113.85 o 9741784 113.61/113.92 o 9732334 113.61/113.94 o 9731323 113.61/113.96 o 9728262 113.61/113.97 o 9727552 113.61/113.99 o 9726422 113.71/114.02 o 9726262 113.71/114.04 o 9725547 113.71/114.06 o 9724673 113.71/114.08 o 9724110 113.81/114.10 o 9723400 113.81/114.12 o 9722905 113.81/114.14 o 9722270 113.81/114.16 o 9721906 113.81/114.18 o 9721411 113.91/114.20 o 9720776 113.91/114.22 o 9720400 113.91/114.23 o 9719765 113.91/114.27 o 9717640 114.51/114.89 o 9717537 114.61/114.92 o 9715697 114.61/114.95 o 9704717 114.91/115.26 o 9692301 117.30/117.62 o 9691877 118.50/118.83 o 9685798 120.29/120.64 o 9684482 120.29/120.66 o 9684177 120.29/120.67 o 9679903 120.39/120.70 o 9665725 120.39/120.77 o 9658954 127.08/127.45 o 9653867 161.29/161.78 o 9653650 161.49/161.91 o 9653052 161.60/162.09 o 9646123 199.80/200.36 o 9645951 199.80/200.39 o 9645077 200.10/200.63 o 9643854 200.10/200.66 o 9642223 200.30/200.82 o 9641991 200.30/200.84 o 9640216 200.30/200.87 o 9638218 200.30/200.89 o 9637092 200.40/200.91 o 9636859 200.40/200.93 o 9634587 200.40/200.96 o 9631846 200.40/200.98 o 9629959 200.50/201.01 o 9629085 200.60/201.12 o 9628874 200.60/201.14 o 9627812 200.60/201.16 o 9626799 200.60/201.18 o 9625925 205.38/205.91 o 9625889 205.49/206.04 o 9625121 205.49/206.07 o 9624059 205.49/206.10 o 9623393 205.59/206.12 o 9623149 205.59/206.15 o 9622019 205.59/206.17 o 9621118 205.68/206.20 o 9620244 205.68/206.29 o 9620149 205.78/206.32 o 9618262 205.78/206.35 o 9617200 205.78/206.38 o 9617135 205.88/206.41 o 9616422 205.88/206.44 o 9615360 205.88/206.46 o 9614603 205.88/206.49 o 9614535 205.98/206.51 o 9613473 206.38/207.00 o 9613315 206.49/207.03 o 9606544 220.45/221.09 o 9601346 222.74/223.30 o 9576435 226.93/227.54 o 9576130 226.93/227.57 o 9571856 238.30/239.00 o 9571824 241.39/242.05 o 9566550 259.36/260.05 o 9558517 260.85/261.52 o 9558127 319.01/319.85 o 9557919 319.01/319.86 o 9557872 319.01/319.86 o 9557162 319.01/319.87 o 9556032 319.01/319.88 o 9555794 319.01/319.89 o 9555037 319.11/319.90 o 9553907 436.63/437.79 o 9546039 437.22/438.33 o 9545596 437.22/438.34 o 9544722 437.22/438.36 o 9526030 437.32/438.40 o 9519259 437.93/439.04 o 9483062 439.82/440.91 o 9482783 439.82/440.93 o 9477975 451.29/452.45 o 9471896 491.99/493.23 o 9471492 491.99/493.24 o 9470362 491.99/493.25 o 9468475 492.29/493.55 o 9466590 2081.21/2086.89 s OPTIMUM FOUND 2081.21/2086.89 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
OK 9466590
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 (49299 MiB free)
memory of node 1: 64473 MiB (48628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456473-1721722305/watcher-4456473-1721722305 -o /tmp/evaluation-result-4456473-1721722305/solver-4456473-1721722305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86441 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=168469740 HOME/instance-4456473-1721722305.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=89232, runsolver pid=89229
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.09 4.11 4.09 6/260 89233
/proc/meminfo: memFree=100270356/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=31624 memory=10864 CPUtime=0.1 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 2154 0 0 0 10 0 0 0 20 0 1 0 8754494 32382976 2716 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 7906 2716 835 746 0 6970 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31624 KiB
Current children cumulated memory: 10864 KiB
[startup+0.205684 s]*
/proc/loadavg: 4.09 4.11 4.09 5/260 89233
/proc/meminfo: memFree=100265816/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=33604 memory=14756 CPUtime=0.2 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 2650 0 0 0 20 0 0 0 20 0 1 0 8754494 34410496 3689 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 8401 3689 835 746 0 7465 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 14756 KiB
[startup+0.305708 s]*
/proc/loadavg: 4.09 4.11 4.09 5/260 89233
/proc/meminfo: memFree=100261604/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=35508 memory=18912 CPUtime=0.3 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 3141 0 0 0 30 0 0 0 20 0 1 0 8754494 36360192 4728 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 8877 4728 835 746 0 7941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35508 KiB
Current children cumulated memory: 18912 KiB
[startup+0.700231 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 89233
/proc/meminfo: memFree=100257400/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=39604 memory=24652 CPUtime=0.68 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 4079 0 0 0 68 0 0 0 20 0 1 0 8754494 40554496 6163 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 9901 6163 835 746 0 8965 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39604 KiB
Current children cumulated memory: 24652 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 89233
/proc/meminfo: memFree=100252068/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=43524 memory=29864 CPUtime=1.48 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 4866 0 0 0 148 0 0 0 20 0 1 0 8754494 44568576 7466 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 10881 7466 835 746 0 9945 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43524 KiB
Current children cumulated memory: 29864 KiB
[startup+3.10567 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 89233
/proc/meminfo: memFree=100242068/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=48936 memory=38952 CPUtime=3.09 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 6099 0 0 0 308 1 0 0 20 0 1 0 8754494 50110464 9738 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 12234 9738 835 746 0 11298 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48936 KiB
Current children cumulated memory: 38952 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 89235
/proc/meminfo: memFree=100222964/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=73368 memory=57904 CPUtime=6.27 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 9033 0 0 0 625 2 0 0 20 0 1 0 8754494 75128832 14476 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 18342 14476 835 746 0 17406 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73368 KiB
Current children cumulated memory: 57904 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 89235
/proc/meminfo: memFree=100205720/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=87000 memory=75820 CPUtime=12.66 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 12015 0 0 0 1263 3 0 0 20 0 1 0 8754494 89088000 18955 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 21750 18955 835 746 0 20814 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 87000 KiB
Current children cumulated memory: 75820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 89237
/proc/meminfo: memFree=100184760/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=121520 memory=94344 CPUtime=25.42 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 14498 0 0 0 2538 4 0 0 20 0 1 0 8754494 124436480 23586 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 30380 23586 835 746 0 29444 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 121520 KiB
Current children cumulated memory: 94344 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 89242
/proc/meminfo: memFree=100158664/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=147512 memory=115824 CPUtime=50.97 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 19926 0 0 0 5091 6 0 0 20 0 1 0 8754494 151052288 28956 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 36878 28956 835 746 0 35942 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 147512 KiB
Current children cumulated memory: 115824 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 89251
/proc/meminfo: memFree=100128092/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=162896 memory=140788 CPUtime=102.04 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 24164 0 0 0 10196 8 0 0 20 0 1 0 8754494 166805504 35197 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 40724 35197 851 746 0 39788 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 162896 KiB
Current children cumulated memory: 140788 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 89263
/proc/meminfo: memFree=100111672/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=163152 memory=141236 CPUtime=161.89 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 24254 0 0 0 16181 8 0 0 20 0 1 0 8754494 167067648 35309 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 40788 35309 851 746 0 39852 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 163152 KiB
Current children cumulated memory: 141236 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 89273
/proc/meminfo: memFree=100099680/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=163792 memory=141948 CPUtime=221.74 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 24450 0 0 0 22166 8 0 0 20 0 1 0 8754494 167723008 35487 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 40948 35487 851 746 0 40012 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 163792 KiB
Current children cumulated memory: 141948 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 89285
/proc/meminfo: memFree=100061500/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=183756 memory=156184 CPUtime=281.6 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28046 0 0 0 28151 9 0 0 20 0 1 0 8754494 188166144 39046 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 45939 39046 851 746 0 45003 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 183756 KiB
Current children cumulated memory: 156184 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 89296
/proc/meminfo: memFree=100040840/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=183756 memory=156184 CPUtime=341.45 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28060 0 0 0 34136 9 0 0 20 0 1 0 8754494 188166144 39046 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 45939 39046 851 746 0 45003 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 183756 KiB
Current children cumulated memory: 156184 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/254 89306
/proc/meminfo: memFree=100022736/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=183756 memory=156184 CPUtime=401.31 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28074 0 0 0 40122 9 0 0 20 0 1 0 8754494 188166144 39046 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 45939 39046 851 746 0 45003 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 183756 KiB
Current children cumulated memory: 156184 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 89362
/proc/meminfo: memFree=102259360/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=183756 memory=156300 CPUtime=461.17 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28086 0 0 0 46108 9 0 0 20 0 1 0 8754494 188166144 39075 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 45939 39075 851 746 0 45003 0
Current children cumulated CPU time: 461.17 s
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.09 5/254 90171
/proc/meminfo: memFree=102226364/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1538.4 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28687 0 0 0 153831 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1538.4 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1602.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 90182
/proc/meminfo: memFree=102221540/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1598.21 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28758 0 0 0 159812 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1598.21 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1662.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/254 90192
/proc/meminfo: memFree=102212684/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1658.02 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28828 0 0 0 165793 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1658.02 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1722.3 s]
/proc/loadavg: 4.44 4.20 4.12 5/256 90206
/proc/meminfo: memFree=102208156/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1717.84 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28898 0 0 0 171775 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1717.84 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1782.3 s]
/proc/loadavg: 4.37 4.23 4.13 5/256 90217
/proc/meminfo: memFree=102205020/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1777.65 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 28968 0 0 0 177756 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1777.65 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1842.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/256 90228
/proc/meminfo: memFree=102203888/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1837.47 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29037 0 0 0 183738 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1837.47 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1902.3 s]
/proc/loadavg: 4.07 4.16 4.11 5/257 90239
/proc/meminfo: memFree=102202864/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1897.28 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29107 0 0 0 189719 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1897.28 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+1962.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/257 90251
/proc/meminfo: memFree=102202324/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=1957.1 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29178 0 0 0 195701 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 1957.1 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2022.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/255 90261
/proc/meminfo: memFree=102201388/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2016.91 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29249 0 0 0 201682 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2016.91 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2082.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90271
/proc/meminfo: memFree=102200308/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2076.73 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29320 0 0 0 207664 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2076.73 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2086.9 s]
# the end of solver process 89232 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2081.22 s, system=0.096769 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2083.2 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90271
/proc/meminfo: memFree=102200228/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2077.62 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29320 0 0 0 207753 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2077.62 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2084.8 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90271
/proc/meminfo: memFree=102200300/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2079.22 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29320 0 0 0 207913 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2079.22 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2085.6 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90271
/proc/meminfo: memFree=102200228/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2080.02 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29320 0 0 0 207993 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2080.02 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2086.4 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90272
/proc/meminfo: memFree=102200204/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2080.81 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29320 0 0 0 208072 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2080.81 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
[startup+2086.8 s]
/proc/loadavg: 4.07 4.13 4.10 5/255 90272
/proc/meminfo: memFree=102200204/131524600 swapFree=131071996/131071996
[pid=89232] ppid=89229 vsize=184268 memory=174076 CPUtime=2081.21 cores=1,3
/proc/89232/stat : 89232 (Exact_nosoplex) R 89229 89232 86429 0 -1 4194304 29320 0 0 0 208112 9 0 0 20 0 1 0 8754494 188690432 43519 134679101440 4194304 7248369 140728626400800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 32395264 140728626406316 140728626406494 140728626406494 140728626413510 0
/proc/89232/statm: 46067 43519 851 746 0 45131 0
Current children cumulated CPU time: 2081.21 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 174076 KiB
Child status: 30
Real time (s): 2086.9
CPU time (s): 2081.32
CPU user time (s): 2081.22
CPU system time (s): 0.096769
CPU usage (%): 99.7328
Max. virtual memory (cumulated for all children) (KiB): 184268
Max. memory (cumulated for all children) (KiB): 174076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2081.22
system time used= 0.096769
maximum resident set size= 174076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29321
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= 27
involuntary context switches= 759
# summary of solver processes directly reported to runsolver:
# pid: 89232
# total CPU time (s): 2081.32
# total CPU user time (s): 2081.22
# total CPU system time (s): 0.096769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41981 second user time and 9.2631 second system time
The end
Begin job on nodeC030 at 2024-07-23 10:11:45 IDJOB=4456473 IDBENCH=144007 IDSOLVER=3039 FILE ID=nodeC030/4456473-1721722305 RUNJOBID= nodeC030-1721718370-86441 SLURM_JOB_ID= 7770398 Free space on /tmp= 890056 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap42_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-4456473-1721722305/watcher-4456473-1721722305 -o /tmp/evaluation-result-4456473-1721722305/solver-4456473-1721722305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86441 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=168469740 HOME/instance-4456473-1721722305.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f1281546bfdcfa9fb50b608c743ffb37 RANDOM SEED=168469740 nodeC030.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 : 3674.266 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.45 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 : 3658.732 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.46 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 : 3599.965 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.45 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 : 3653.054 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.46 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 : 3674.299 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.45 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 : 3684.940 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.46 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 : 3599.753 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.45 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 : 3637.007 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 100278424 kB MemAvailable: 125756660 kB Buffers: 142552 kB Cached: 26065080 kB SwapCached: 0 kB Active: 936260 kB Inactive: 29544932 kB Active(anon): 1544 kB Inactive(anon): 4309732 kB Active(file): 934716 kB Inactive(file): 25235200 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4556 kB Writeback: 0 kB AnonPages: 4269332 kB Mapped: 110308 kB Shmem: 37720 kB KReclaimable: 296288 kB Slab: 403804 kB SReclaimable: 296288 kB SUnreclaim: 107516 kB KernelStack: 4192 kB PageTables: 17912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5730040 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19552 kB HardwareCorrupted: 0 kB AnonHugePages: 2557952 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: 277204 kB DirectMap2M: 25710592 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 890048 MiB End job on nodeC030 at 2024-07-23 10:46:32