Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | ? (TO) | 2987.66 | 3740.9 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb |
| MD5SUM | f5b507fec305347e12cc700790213fb8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2807154740 |
| Best CPU time to get the best result obtained on this benchmark | 87.1436 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10894 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 624 |
| Number of constraints which are nor clauses,nor cardinality constraints | 181 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5038 |
| Number of terms in the objective function | 10894 |
| Biggest coefficient in the objective function | 1079902210 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 3040671454286 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1079902210 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 3040671454286 |
| Number of bits of the biggest sum of numbers | 42 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.27/1.64 o 163042991269 33.16/38.67 o 162930981729 33.26/38.77 o 162864550391 33.36/38.87 o 162724574523 33.46/38.97 o 162492994655 33.57/39.07 o 162247142345 33.67/39.16 o 162135784724 33.76/39.26 o 161964041748 33.86/39.36 o 161770745308 33.96/39.45 o 161629389464 34.06/39.55 o 161336260573 34.16/39.65 o 161066696997 34.26/39.75 o 160982867813 34.36/39.84 o 160851182209 34.46/39.94 o 160809809455 34.57/40.04 o 160618209190 34.67/40.13 o 160529377345 34.76/40.23 o 160408433536 34.86/40.33 o 160219551366 34.96/40.42 o 159942147536 35.06/40.52 o 159749585071 35.16/40.61 o 159670383467 35.26/40.71 o 159514688737 35.36/40.81 o 159142721773 35.45/40.90 o 159039763353 35.45/41.00 o 158828974464 35.56/41.09 o 158725959723 35.66/41.19 o 158354701358 35.75/41.28 o 158182782359 35.85/41.38 o 157858784881 35.95/41.47 o 157699703091 36.05/41.57 o 157441490891 36.15/41.67 o 157314396151 36.25/41.76 o 157195849691 36.35/41.86 o 157141604861 36.45/41.95 o 156755028937 36.56/42.05 o 156603967138 36.66/42.14 o 156498032389 36.75/42.24 o 156336059179 36.85/42.33 o 155821407999 36.95/42.42 o 155579350127 37.05/42.52 o 155299456847 37.15/42.61 o 155218827641 37.25/42.71 o 155152045821 37.35/42.80 o 154958829726 37.35/42.89 o 154910015254 37.45/42.99 o 154823098306 37.55/43.09 o 154647006790 37.74/74.68 o 154575625050 37.76/74.77 o 154433345798 37.86/74.87 o 154386831286 37.95/74.96 o 154129882698 38.07/75.05 o 153543277984 38.17/75.14 o 153238835449 38.26/75.23 o 152528526397 38.36/75.33 o 152344927366 38.46/75.42 o 151762142111 38.56/75.51 o 151525181793 38.66/75.60 o 151023289623 38.66/75.69 o 150807557736 38.76/75.78 o 150580992732 38.86/75.87 o 150526442193 38.96/75.96 o 150389769681 39.07/76.05 o 150075878556 39.17/76.14 o 149981929548 39.26/76.23 o 149547068718 39.36/76.33 o 149381821380 39.46/76.42 o 149162799755 39.56/76.51 o 148963860785 39.66/76.60 o 148783350301 39.66/76.69 o 148633658706 39.76/76.78 o 148440507705 39.86/76.87 o 148176082612 39.96/76.95 o 147979932400 40.06/77.04 o 147433941024 40.16/77.13 o 147331252168 40.26/77.22 o 147227643328 40.35/77.31 o 146794645138 40.45/77.40 o 146419538218 40.45/77.49 o 146281237060 40.55/77.58 o 146042581285 40.65/77.67 o 145550585773 40.75/77.76 o 145408742277 40.85/77.85 o 145038588400 40.95/77.94 o 144745459150 41.06/78.03 o 144392443984 41.16/78.11 o 144034238288 41.25/78.20 o 143842795283 41.25/78.29 o 143569677819 41.35/78.38 o 143260274031 41.45/78.47 o 143119470009 41.55/78.55 o 142856692107 41.65/78.64 o 142539533981 41.75/78.73 o 142395373626 41.85/78.82 o 142258323900 41.95/78.90 o 142000529688 41.95/78.99 o 141734824296 42.05/79.08 o 141305030652 42.15/79.17 o 141195414256 42.24/79.25 o 141092773450 42.34/79.34 o 140773937272 42.44/79.43 o 140018233472 42.54/79.51 o 139875365684 42.65/79.60 o 139665411083 42.65/79.69 o 139254764573 42.75/79.77 o 138721144148 42.85/79.86 o 138386968808 42.95/79.95 o 138186166839 43.05/80.03 o 138042859953 43.15/80.12 o 137907643133 43.25/80.20 o 137712726524 43.25/80.29 o 137281936764 43.35/80.38 o 136991070909 43.45/80.46 o 136295161008 43.55/80.55 o 136147584932 43.65/80.63 o 135885112892 43.75/80.72 o 135725789700 43.85/80.80 o 135559293573 43.85/80.88 o 135393631734 43.95/80.97 o 135126123300 44.05/81.05 o 134832835224 44.15/81.14 o 134532261972 44.24/81.22 o 134271350982 44.34/81.31 o 134125827550 44.34/81.39 o 133944634630 44.44/81.48 o 133570897700 44.54/81.56 o 133496570215 44.64/81.65 o 133282186792 44.74/81.73 o 132985299612 44.84/81.81 o 132817505777 44.94/81.90 o 132609613357 44.94/81.98 o 132136869793 45.04/82.06 o 131752065693 45.14/82.15 o 131500661121 45.24/82.23 o 130990219086 45.34/82.31 o 130588718822 45.44/82.40 o 130341164856 45.44/82.48 o 130088902602 45.54/82.56 o 129995311350 45.64/82.64 o 129891462321 45.73/82.73 o 129672158083 45.83/82.81 o 129594336455 45.83/82.89 o 129315920964 45.93/82.97 o 129148024748 46.04/83.05 o 128905323581 46.14/83.14 o 128672843204 46.23/83.22 o 128474495692 46.33/83.30 o 128405873904 46.33/83.38 o 128091405514 46.43/83.46 o 127873278348 46.53/83.54 o 127728420516 46.63/83.62 o 127171523924 46.73/83.71 o 126892069532 46.73/83.79 o 126549339994 46.83/83.87 o 126198745036 46.93/83.95 o 125999303226 47.03/84.03 o 125642097141 47.13/84.11 o 125413964863 47.13/84.19 o 125264623179 47.23/84.27 o 125131760503 47.34/84.35 o 125025017839 47.43/84.43 o 124908985579 47.53/84.51 o 124635866912 47.53/84.59 o 124537317984 47.63/84.67 o 124213464228 47.73/84.75 o 123944579960 47.83/84.83 o 123548661184 47.93/84.91 o 123415365754 47.93/84.99 o 123222803289 48.04/85.07 o 123053454093 48.14/85.15 o 122867470611 48.23/85.23 o 122614047827 48.33/85.31 o 122352818587 48.33/85.39 o 122148851217 48.43/85.47 o 121845872221 48.53/85.55 o 121638953545 48.63/85.63 o 121577984077 48.73/85.71 o 121489577072 48.73/85.79 o 121363860956 48.83/85.86 o 120864151538 48.93/85.94 o 120809906708 49.03/86.02 o 120545119012 49.03/86.10 o 120395895676 49.13/86.18 o 120178945582 49.23/86.26 o 119737823830 49.33/86.34 o 119508653426 49.43/86.42 o 118955085442 49.43/86.49 o 118648876222 49.53/86.57 o 118518083656 49.63/86.65 o 118415854792 49.73/86.73 o 117995510384 49.83/86.81 o 117689771436 49.83/86.88 o 117579262716 49.92/86.96 o 117361975968 50.03/87.04 o 117273807588 50.13/87.12 o 117135671688 50.13/87.19 o 117038042744 50.22/87.27 o 116772838412 50.32/87.35 o 116635713035 50.42/87.43 o 116274354989 50.52/87.50 o 115969089563 50.52/87.58 o 115630608617 50.62/87.66 o 115439058325 50.72/87.73 o 115329394301 50.82/87.81 o 115128946811 50.82/87.89 o 114969623619 50.92/87.96 o 114925409067 51.02/88.04 o 114726961242 51.12/88.12 o 114403309970 51.12/88.19 o 113908103354 51.22/88.27 o 113690604146 51.32/88.35 o 113501572897 51.42/88.42 o 113089231285 51.51/88.50 o 112767785857 51.51/88.57 o 112498041268 51.61/88.65 o 112187587180 51.71/88.72 o 112005800516 51.81/88.80 o 111858004784 51.81/88.87 o 111730662008 51.91/88.95 o 111518782232 52.02/89.03 o 110980361960 52.02/89.10 o 110492188970 52.12/89.18 o 110094927352 52.21/89.25 o 110021605547 52.31/89.33 o 109859316071 52.41/89.40 o 109726218196 52.41/89.47 o 109580996264 52.51/89.55 o 109008486760 52.61/89.62 o 108641976676 52.71/89.70 o 108380977284 52.71/89.77 o 108327261033 52.82/89.85 o 108001233732 52.92/89.92 o 107806317123 52.92/89.99 o 107641540328 53.02/90.07 o 107291609624 53.12/90.14 o 107081962508 53.22/90.21 o 106977433684 53.22/90.29 o 106570422904 53.32/90.36 o 106448807506 53.41/90.43 o 106085716061 53.51/90.51 o 105832760543 53.51/90.58 o 105591980831 53.61/90.65 o 105219027731 53.71/90.72 o 105111729756 53.81/90.80 o 105028567104 53.81/90.87 o 104737627164 53.91/90.94 o 104392995356 54.02/91.02 o 104179337788 54.02/91.09 o 103940771074 54.12/91.16 o 103366222554 54.21/91.23 o 103224591224 54.31/91.30 o 103045330096 54.31/91.37 o 102618772932 54.41/91.45 o 102337105626 54.51/91.52 o 102217448395 54.51/91.59 o 101781656245 54.61/91.66 o 101696407873 54.71/91.73 o 101262680509 54.81/91.80 o 101129604521 54.81/91.87 o 100841322173 54.91/91.95 o 100500234208 55.02/92.02 o 100254158902 55.02/92.09 o 99738740182 55.11/92.16 o 99425277472 55.21/92.23 o 99104726652 55.31/92.30 o 98924392762 55.31/92.37 o 98767829522 55.40/92.44 o 98243625673 55.50/92.51 o 98129604773 55.50/92.58 o 97856820472 55.60/92.65 o 97668803680 55.70/92.72 o 97424754049 55.70/92.79 o 96992877122 55.80/92.86 o 96742693526 55.90/92.93 o 96343809906 55.90/93.00 o 96183988083 56.01/93.07 o 95815593531 56.11/93.13 o 95744774376 56.21/93.20 o 95534819775 56.21/93.27 o 95205341183 56.31/93.34 o 95013392063 56.41/93.41 o 94482261159 56.41/93.48 o 94273975134 56.51/93.55 o 93945418088 56.61/93.62 o 93787681053 56.61/93.68 o 93592764444 56.71/93.75 o 93342597684 56.80/93.82 o 92917846572 56.80/93.89 o 92788722582 56.90/93.96 o 92565865174 57.01/94.02 o 92470076198 57.01/94.09 o 92237856824 57.11/94.16 o 92016056849 57.20/94.23 o 91383415658 57.20/94.29 o 91177803022 57.30/94.36 o 90917753560 57.40/94.43 o 90657530000 57.50/94.50 o 90209068256 57.50/94.56 o 90075072284 57.60/94.63 o 89969135824 57.70/94.70 o 89811399721 57.70/94.76 o 89652076529 142.75/243.31 o 89499193225 142.85/243.44 o 89267135977 142.94/243.56 o 89180865811 143.04/243.68 o 89094276675 143.24/243.80 o 89047898193 143.34/243.92 o 89008194015 143.45/244.04 o 88785916011 143.55/244.17 o 88610498727 143.64/244.29 o 88101256803 143.84/244.41 o 87779423259 143.94/244.53 o 87272291075 144.04/244.65 o 87105406673 144.14/244.77 o 86801167323 144.24/244.89 o 86674594673 144.45/245.01 o 86519169719 144.55/245.13 o 86408668699 144.64/245.25 o 86283530209 144.74/245.37 o 86207694204 144.84/245.48 o 85968926574 145.04/245.60 o 85903947435 145.14/245.72 o 85622132700 145.24/245.84 o 85187554636 145.34/245.96 o 85011385120 145.44/246.08 o 84762224040 145.64/246.20 o 84695576325 145.74/246.32 o 84629254497 145.84/246.43 o 84593721759 145.94/246.55 o 84557354733 146.04/246.67 o 84489061328 146.13/246.79 o 84215716304 146.33/246.90 o 84164569220 146.44/247.02 o 84068320252 146.54/247.14 o 83978404727 146.63/247.26 o 83895026122 146.73/247.37 o 83803377074 146.83/247.49 o 83759162522 147.03/247.61 o 83675620796 147.13/247.73 o 83365109096 147.23/247.84 o 83062708866 147.33/247.96 o 82919051351 147.43/248.08 o 82824642351 147.53/248.19 o 82500644873 147.73/248.31 o 82295199928 147.83/248.42 o 82035515500 147.93/248.54 o 81660408580 148.03/248.65 o 81500169613 148.13/248.77 o 81171796074 148.23/248.88 o 80929208628 148.33/249.00 o 80449143978 148.53/249.11 o 80223773214 148.62/249.23 o 80003291904 148.72/249.34 o 79893796564 148.82/249.46 o 79570594882 148.92/249.57 o 79204364917 149.02/249.68 o 79060223743 149.22/249.80 o 78613523398 149.32/249.91 o 78487148593 149.43/250.02 o 78270731073 149.53/250.14 o 78191322717 149.62/250.25 o 77836588765 149.72/250.36 o 77201827911 149.82/250.47 o 77034397821 149.92/250.58 o 76718058373 150.12/250.70 o 76562835538 150.22/250.81 o 76387220128 150.32/250.92 o 76003594666 150.42/251.03 o 75756444946 150.52/251.14 o 75569494574 150.62/251.25 o 75168703098 150.72/251.36 o 74813106774 150.82/251.47 o 74665929379 150.92/251.58 o 73805900560 151.02/251.69 o 73516891421 151.21/251.80 o 73327506411 151.31/251.91 o 73005207751 151.42/252.02 o 72572153752 151.52/252.13 o 72059720623 151.61/252.24 o 71871492931 151.71/252.35 o 71598147907 151.81/252.45 o 71508506012 151.91/252.56 o 71319611792 152.01/252.67 o 71259638381 152.11/252.78 o 71049991265 152.21/252.88 o 70652308661 152.31/252.99 o 70231082329 152.42/253.10 o 69899742304 152.61/253.21 o 69644243509 152.71/253.31 o 69527345092 152.81/253.42 o 69224340273 152.91/253.52 o 68680883703 153.01/253.63 o 68485424475 153.11/253.73 o 68256703661 153.21/253.84 o 68013576661 153.31/253.95 o 67665787152 153.41/254.05 o 67482641263 153.51/254.16 o 67399478611 153.61/254.27 o 67163676971 153.71/254.37 o 66938952779 153.81/254.48 o 66756602327 153.90/254.58 o 66319517977 154.00/254.69 o 66007629244 154.20/254.80 o 65665420375 154.30/254.90 o 65458501699 154.41/255.01 o 65149900687 154.51/255.11 o 64822054463 154.60/255.22 o 64548542615 154.70/255.32 o 64058142971 154.80/255.43 o 63879966812 154.90/255.53 o 63532411566 155.00/255.63 o 63317307570 155.10/255.74 o 62914887322 155.20/255.84 o 62752145491 155.30/255.94 o 62288960241 155.41/256.05 o 61958123411 155.51/256.15 o 61622917315 155.60/256.25 o 61129089770 155.70/256.35 o 60948581570 155.80/256.45 o 60742290850 155.90/256.56 o 60550316921 156.00/256.66 o 60301547666 156.10/256.76 o 59866105782 156.20/256.86 o 59503898537 156.30/256.96 o 58951444960 156.40/257.06 o 58779701984 156.50/257.16 o 58677606866 156.60/257.26 o 58448563870 156.70/257.36 o 58099488768 156.80/257.46 o 57632280798 156.90/257.56 o 57500679179 157.00/257.66 o 57146153419 157.10/257.75 o 56807989942 157.20/257.85 o 56451361838 157.30/257.95 o 56341255649 157.40/258.05 o 56205879701 157.50/258.14 o 55930989861 157.59/258.24 o 55831558593 157.69/258.34 o 55510432857 157.79/258.43 o 55175416673 157.89/258.53 o 54765607449 157.99/258.63 o 54109056230 158.09/258.72 o 53888023245 158.19/258.82 o 53573043681 158.29/258.92 o 53207057457 158.40/259.01 o 52979140137 158.50/259.11 o 52521455182 158.59/259.20 o 52245580768 158.69/259.30 o 51933634908 158.69/259.39 o 51375977628 158.79/259.49 o 50980248917 158.89/259.59 o 50436034844 158.99/259.68 o 50233444744 159.09/259.77 o 49950346912 159.19/259.86 o 49662310885 159.29/259.96 o 49199361613 159.39/260.05 o 48878093713 159.49/260.14 o 48535884844 159.59/260.23 o 48121916024 159.69/260.32 o 47841643874 159.79/260.42 o 47472667069 159.89/260.51 o 47080394305 159.99/260.60 o 46465437209 159.99/260.69 o 46084198241 160.09/260.78 o 45740689745 160.19/260.87 o 45406574303 160.29/260.96 o 45191564419 160.40/261.05 o 45018811132 160.50/261.14 o 44458118051 160.59/261.23 o 44160217067 160.69/261.31 o 43942703962 160.79/261.40 o 43817163445 160.79/261.49 o 43547647495 160.89/261.58 o 43409337919 160.99/261.67 o 43011459979 161.09/261.76 o 42550693459 161.19/261.84 o 42438181079 161.29/261.93 o 42144118794 161.40/262.02 o 41723386548 161.50/262.11 o 41448851038 161.50/262.19 o 40914658886 161.59/262.28 o 40313099168 161.69/262.37 o 39806268266 161.79/262.45 o 39636017843 161.89/262.54 o 39315254920 161.99/262.63 o 38890483120 162.09/262.71 o 38612291496 162.19/262.80 o 38108816935 162.19/262.88 o 37743018070 162.29/262.97 o 37309392283 162.39/263.05 o 37173593989 162.49/263.14 o 36754769437 162.59/263.22 o 36568092332 162.69/263.30 o 36304250657 162.69/263.39 o 36060930017 162.79/263.47 o 35499059864 162.89/263.55 o 35211227797 162.99/263.64 o 35057222029 163.09/263.72 o 34825272853 163.18/263.80 o 34577774215 163.18/263.88 o 34351643523 163.28/263.97 o 34073816568 163.39/264.05 o 33904749414 163.49/264.13 o 33813243882 163.58/264.21 o 33306412980 163.58/264.29 o 33117332180 163.68/264.37 o 32912475620 163.78/264.45 o 32697515291 163.88/264.53 o 32442377021 164.00/266.89 o 32220045969 164.01/266.97 o 32109544949 164.11/267.05 o 31946480363 164.21/267.13 o 31880666936 164.31/267.21 o 31787734371 164.31/267.28 o 31692187509 164.41/267.36 o 31603277664 164.51/267.44 o 31179640241 164.61/267.52 o 30928235669 164.71/267.60 o 30677462903 164.71/267.68 o 30393162052 164.81/267.76 o 30107266204 164.91/267.84 o 29607242932 165.00/267.92 o 29041037372 165.00/267.99 o 29026582416 165.11/268.08 o 28582843149 165.21/268.17 o 28517063944 165.30/268.26 o 27920212514 165.40/268.35 o 27531910931 165.50/268.44 o 27156972691 165.60/268.53 o 26792327107 165.70/268.60 o 26708330167 165.70/268.68 o 26301401107 165.80/268.76 o 26182716337 165.90/268.83 o 26154557297 166.00/268.91 o 26120426846 166.00/268.99 o 26086296395 166.11/269.06 o 26084632746 166.21/269.14 o 26066414083 166.30/269.22 o 26048195420 166.30/269.29 o 26029976757 166.40/269.37 o 26011758094 166.50/269.44 o 26011298102 166.60/269.52 o 25993122287 166.70/269.60 o 25982750938 166.70/269.67 o 25968681614 166.80/269.75 o 25940486645 166.90/269.84 o 25727749061 167.00/269.93 o 25579565986 167.10/270.02 o 25279795510 167.21/270.11 o 24613562282 167.30/270.20 o 24392026457 167.30/270.29 o 24180196589 167.40/270.39 o 23999669987 167.60/270.50 o 23742894653 167.60/270.57 o 23352944496 167.80/270.70 o 23227403979 167.90/270.81 o 23021032851 167.99/270.90 o 22836850551 167.99/271.00 o 22484528355 168.10/271.09 o 21762189219 168.20/271.18 o 21249806059 168.30/271.27 o 21162444517 168.40/271.35 o 21074037512 168.50/271.42 o 20917506208 168.50/271.49 o 20493846472 168.60/271.56 o 20362788186 168.70/271.64 o 20355689252 168.80/271.78 o 19784642294 168.90/271.85 o 19635123084 169.00/271.93 o 19323490066 169.00/272.00 o 19248490268 169.10/272.07 o 19221122884 169.20/272.14 o 19206115684 169.30/272.21 o 19199273838 169.30/272.28 o 19192431992 169.39/272.35 o 19185590146 169.49/272.44 o 19126257742 169.59/272.54 o 18762821084 169.69/272.63 o 18608101089 169.79/272.70 o 18583598454 169.79/272.77 o 18553910361 169.89/272.84 o 18524222268 169.99/272.91 o 18505033644 169.99/272.98 o 18503017229 170.10/273.05 o 18488005249 170.20/273.12 o 18472993269 170.20/273.20 o 18457981289 170.29/273.27 o 18442969309 170.39/273.34 o 18427957329 170.49/273.41 o 18427123041 170.59/273.57 o 18118045501 170.79/273.73 o 17937595608 170.90/273.89 o 17434006541 170.99/273.96 o 17416730534 171.10/274.03 o 17401444143 171.10/274.10 o 17391652702 171.20/274.17 o 17381861261 171.29/274.24 o 17372069820 171.39/274.31 o 17362278379 171.39/274.38 o 17352486938 171.49/274.45 o 17342695497 171.59/274.52 o 17332904056 171.59/274.59 o 17332005390 171.69/274.66 o 17325549176 171.79/274.73 o 17319092962 171.89/274.80 o 17312636748 171.99/274.93 o 17115954531 172.19/275.13 o 16867462183 172.29/275.24 o 16523203890 172.39/275.34 o 16078157502 172.58/275.53 o 15742535740 172.68/275.64 o 15500268830 172.78/275.76 o 15212984519 172.89/275.83 o 15198529563 172.99/275.90 o 15152015051 172.99/275.97 o 15144787573 173.10/276.04 o 15137560095 173.20/276.10 o 15130332617 173.39/276.30 o 15122348066 173.39/276.37 o 15111913905 173.59/276.50 o 15093906201 173.59/276.57 o 15066788988 173.69/276.64 o 15039671775 173.79/276.70 o 15011958475 173.79/276.77 o 14997246431 173.89/276.84 o 14982534387 173.99/276.94 o 14978714571 174.19/277.11 o 14977685289 174.28/277.24 o 14974765281 174.48/277.45 o 14970679900 174.58/277.53 o 14950661621 174.68/277.60 o 14930643342 175.68/278.68 o 14899689479 175.79/278.76 o 14861831252 175.89/278.83 o 14823973025 175.98/278.90 o 14798711474 175.98/278.98 o 14773429808 176.09/279.05 o 14748148142 176.19/279.12 o 14738703268 176.19/279.19 o 14723734136 176.28/279.27 o 14708765004 176.38/279.34 o 14693795872 176.48/279.41 o 14678826740 176.48/279.48 o 14671082949 176.58/279.56 o 14660648788 176.68/279.63 o 14650214627 176.78/279.70 o 14649491774 176.78/279.77 o 14642221448 176.98/279.94 o 14634951122 178.18/281.15 o 14634533978 178.68/281.67 o 14278360813 179.28/282.29 o 14273942544 179.37/282.37 o 14236084317 179.48/282.44 o 14198226090 179.57/282.52 o 14160367863 179.57/282.59 o 14122509636 179.67/282.66 o 14097248085 179.77/282.74 o 14071966419 179.87/282.81 o 14046684753 179.87/282.88 o 14037239879 179.97/282.96 o 14022270747 180.08/283.03 o 14007301615 180.18/283.11 o 13992332483 180.18/283.18 o 13977363351 180.27/283.25 o 13969619560 180.37/283.32 o 13959185399 180.37/283.39 o 13948751238 180.47/283.46 o 13948028385 180.57/283.54 o 13940758059 180.87/283.86 o 13939991214 180.97/283.98 o 13933487733 184.76/287.71 o 13608730327 186.86/289.89 o 13372358545 187.55/290.59 o 13140695051 190.06/293.10 o 12581026411 192.04/295.03 o 12313062127 192.74/359.53 o 12161412361 194.24/361.04 o 11715375691 196.63/363.41 o 11503034710 222.63/398.73 o 11356360155 233.40/409.53 o 11349425486 239.19/415.31 o 11349008342 244.80/426.01 o 11095321702 303.10/523.68 o 10999774840 303.20/523.79 o 10724108752 305.29/525.86 o 10525332034 305.49/526.04 o 10523149282 306.49/527.01 o 10515490467 306.49/527.07 o 10489058822 306.59/527.13 o 10478023582 306.59/527.19 o 10463654322 306.68/527.24 o 10449285062 306.78/527.30 o 10434915802 306.85/551.22 o 10420546542 306.85/551.28 o 10406177282 306.93/551.34 o 10397609968 307.03/551.40 o 10387390047 307.03/551.46 o 10377170126 316.41/566.71 o 10261137866 339.04/595.64 o 10047718988 342.03/598.66 o 9872216516 344.43/601.05 o 9640151996 347.72/604.30 o 9615510701 347.72/604.38 o 9597034950 347.82/604.47 o 9578559199 347.92/604.55 o 9560083448 348.02/604.63 o 9550548098 350.31/606.92 o 9548985608 351.00/607.67 o 9546247545 351.11/607.74 o 9535813384 351.21/607.82 o 9525379223 351.21/607.89 o 9524153530 351.31/607.96 o 9516926052 351.42/608.03 o 9509698574 351.90/608.52 o 9502845392 351.90/608.59 o 9488304740 352.70/609.37 o 9485403768 354.60/611.20 o 9088531084 355.60/612.24 o 9077951268 362.28/618.91 o 9077308548 392.15/659.78 o 8778180456 441.55/711.37 o 8592315326 481.03/784.24 o 8397341682 901.64/1305.70 o 8290360542 940.73/1352.61 o 7690556662 1090.78/1551.22 o 7676358794 1102.24/1562.72 o 7467277754 1279.55/1761.20 o 7201553899 1354.36/1847.59 o 7198216747 1492.07/2000.39 o 6902425807 1553.97/2070.35 o 6604072313 1554.16/2070.53 o 6603914180 1554.16/2070.57 o 6602245604 1557.36/2073.70 o 6595258317 1557.46/2073.84 o 6584010044 1749.70/2321.19 o 6560172310 1851.63/2440.20 o 6553847707 1998.66/2599.68 o 6544253395 2008.68/2625.26 o 6536983069 2009.37/2625.92 o 6535843072 2009.37/2625.96 o 6521302420 2088.52/2718.67 o 6517465917 2089.13/2719.25 o 6507245996 2090.03/2720.19 o 6506411708 2115.73/2748.98 o 6495741779 2158.56/2795.19 o 6489170855 2158.75/2795.34 o 6481900529
ERROR: no interpretation found !
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 (60456 MiB free)
memory of node 1: 64473 MiB (62613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440636-1723986219/watcher-4440636-1723986219 -o /tmp/evaluation-result-4440636-1723986219/solver-4440636-1723986219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1723986219-891762 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440636-1723986219 --seed=827070195 HOME/instance-4440636-1723986219.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 419430400 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=891822, runsolver pid=891803
[startup+0.10008 s]*
/proc/loadavg: 0.06 0.08 0.09 4/258 891823
/proc/meminfo: memFree=126022052/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 1078198272 122 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.205437 s]*
/proc/loadavg: 0.06 0.08 0.09 2/258 891823
/proc/meminfo: memFree=126021252/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 1078198272 122 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.305144 s]*
/proc/loadavg: 0.06 0.08 0.09 4/258 891823
/proc/meminfo: memFree=126020804/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 1078198272 122 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700224 s]
/proc/loadavg: 0.06 0.08 0.09 4/258 891823
/proc/meminfo: memFree=126020236/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 1078198272 122 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+1.50046 s]
/proc/loadavg: 0.06 0.08 0.09 6/258 891823
/proc/meminfo: memFree=125985552/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=58956 memory=38052 CPUtime=0.16 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 9334 0 0 0 15 1 0 0 20 0 1 0 165222151 60370944 9513 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 14739 9513 802 747 0 13802 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 58956 KiB
Current children cumulated memory: 38052 KiB
[startup+3.10563 s]
/proc/loadavg: 0.06 0.08 0.09 8/258 891825
/proc/meminfo: memFree=125463096/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=70048 memory=53396 CPUtime=1.76 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 12420 0 0 0 171 5 0 0 20 0 1 0 165222151 71729152 13349 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 17512 13349 850 747 0 16575 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 70048 KiB
Current children cumulated memory: 53396 KiB
heavy processes:
[startup+6.30016 s]
/proc/loadavg: 0.37 0.15 0.11 9/258 891825
/proc/meminfo: memFree=124873572/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=112260 memory=102848 CPUtime=4.94 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 21249 0 0 0 483 11 0 0 20 0 1 0 165222151 114954240 25712 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 28065 25712 850 747 0 27128 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 112260 KiB
Current children cumulated memory: 102848 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 0.66 0.21 0.13 4/261 891829
/proc/meminfo: memFree=123883020/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=169624 memory=157764 CPUtime=9.89 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 4194304 30784 0 0 0 969 20 0 0 20 0 1 0 165222151 173694976 39441 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 42406 39441 850 747 0 41469 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 169624 KiB
Current children cumulated memory: 157764 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 1.55 0.43 0.20 8/261 891832
/proc/meminfo: memFree=122641560/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=278476 memory=261588 CPUtime=20.09 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 49073 0 0 0 1972 37 0 0 20 0 1 0 165222151 285159424 65397 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 402 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 69619 65397 850 747 0 68682 0
Current children cumulated CPU time: 20.09 s
Current children cumulated vsize: 278476 KiB
Current children cumulated memory: 261588 KiB
heavy processes:
[startup+51.1051 s]
/proc/loadavg: 2.39 0.72 0.30 4/261 891835
/proc/meminfo: memFree=119584652/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=390840 memory=344272 CPUtime=37.74 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 4194304 60266 0 0 0 3722 52 0 0 20 0 1 0 165222151 400220160 86068 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 402 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 97710 86068 850 747 0 96773 0
Current children cumulated CPU time: 37.74 s
Current children cumulated vsize: 390840 KiB
Current children cumulated memory: 344272 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.35 1.24 0.51 8/259 891845
/proc/meminfo: memFree=118256980/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=666756 memory=522488 CPUtime=65.27 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 94272 0 0 0 6458 69 0 0 20 0 1 0 165222151 682758144 130622 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3551 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 166689 130622 850 747 0 165752 0
Current children cumulated CPU time: 65.27 s
Current children cumulated vsize: 666756 KiB
Current children cumulated memory: 522488 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.88 1.78 0.74 7/259 891855
/proc/meminfo: memFree=113910984/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=1161992 memory=960900 CPUtime=107.62 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 163936 0 0 0 10640 122 0 0 20 0 1 0 165222151 1189879808 240225 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5305 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 290498 240225 850 747 0 289561 0
Current children cumulated CPU time: 107.62 s
Current children cumulated vsize: 1161992 KiB
Current children cumulated memory: 960900 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.01 2.20 0.95 5/259 891866
/proc/meminfo: memFree=108162940/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=1236752 memory=1100760 CPUtime=142.36 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 4194304 183542 0 0 0 14078 158 0 0 20 0 1 0 165222151 1266434048 275190 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5917 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 309188 275190 850 747 0 308251 0
Current children cumulated CPU time: 142.36 s
Current children cumulated vsize: 1236752 KiB
Current children cumulated memory: 1100760 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 7/260 891878
/proc/meminfo: memFree=106272960/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=1242188 memory=1105888 CPUtime=179.37 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 184981 0 0 0 17769 168 0 0 20 0 1 0 165222151 1272000512 276472 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10111 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 310547 276472 850 747 0 309610 0
Current children cumulated CPU time: 179.37 s
Current children cumulated vsize: 1242188 KiB
Current children cumulated memory: 1105888 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.13 2.85 1.35 4/260 891893
/proc/meminfo: memFree=104986044/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=1245216 memory=1109204 CPUtime=192.42 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) D 891803 891822 891749 0 -1 4194304 185831 0 0 0 19061 181 0 0 20 0 1 0 165222151 1275101184 277301 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10111 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 311304 277301 850 747 0 310367 0
Current children cumulated CPU time: 192.42 s
Current children cumulated vsize: 1245216 KiB
Current children cumulated memory: 1109204 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.10 3.08 1.52 9/260 891906
/proc/meminfo: memFree=102695712/131524600 swapFree=131071996/131071996
[pid=891822] ppid=891803 vsize=1297260 memory=1239076 CPUtime=226.23 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 200460 0 0 0 22407 216 0 0 20 0 1 0 165222151 1328394240 309769 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 17414 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 324315 309769 850 747 0 323378 0
################
# More data... #
################
Current children cumulated memory: 2383112 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 4.22 4.15 4.05 8/261 893414
/proc/meminfo: memFree=663176/131524600 swapFree=131071984/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2383112 CPUtime=2497.53 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 368611 0 0 0 247155 2598 0 0 20 0 1 0 165222151 3004207104 595778 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 65708 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 595778 850 747 0 732512 0
Current children cumulated CPU time: 2497.53 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2383112 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 4.35 4.19 4.07 6/261 893424
/proc/meminfo: memFree=609616/131524600 swapFree=131071984/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2383112 CPUtime=2539.75 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 368989 0 0 0 251339 2636 0 0 20 0 1 0 165222151 3004207104 595778 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 67477 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 595778 850 747 0 732512 0
Current children cumulated CPU time: 2539.75 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2383112 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 4.38 4.22 4.09 7/262 893605
/proc/meminfo: memFree=551888/131524600 swapFree=131071984/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2383124 CPUtime=2594.39 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 369531 0 0 0 256757 2682 0 0 20 0 1 0 165222151 3004207104 595781 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 68000 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 595781 850 747 0 732512 0
Current children cumulated CPU time: 2594.39 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2383124 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 4.26 4.21 4.09 6/261 893616
/proc/meminfo: memFree=575796/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2383156 CPUtime=2650.57 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 370127 0 0 0 262337 2720 0 0 20 0 1 0 165222151 3004207104 595789 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 68369 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 595789 850 747 0 732512 0
Current children cumulated CPU time: 2650.57 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2383156 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 4.27 4.23 4.10 6/264 893631
/proc/meminfo: memFree=568944/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2383156 CPUtime=2705.77 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 370681 0 0 0 267824 2753 0 0 20 0 1 0 165222151 3004207104 595789 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 68834 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 595789 850 747 0 732512 0
Current children cumulated CPU time: 2705.77 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2383156 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 4.19 4.21 4.10 8/263 893653
/proc/meminfo: memFree=675728/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2387740 CPUtime=2763.41 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 371398 0 0 0 273559 2782 0 0 20 0 1 0 165222151 3004207104 596935 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 69058 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 596935 850 747 0 732512 0
Current children cumulated CPU time: 2763.41 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2387740 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.10 9/265 893666
/proc/meminfo: memFree=574268/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2403028 CPUtime=2817.6 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 371943 0 0 0 278888 2872 0 0 20 0 1 0 165222151 3004207104 600757 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 69625 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 600757 850 747 0 732512 0
Current children cumulated CPU time: 2817.6 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2403028 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.10 8/266 893678
/proc/meminfo: memFree=616600/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2408300 CPUtime=2872.92 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 372465 0 0 0 284370 2922 0 0 20 0 1 0 165222151 3004207104 602075 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70078 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 602075 850 747 0 732512 0
Current children cumulated CPU time: 2872.92 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2408300 KiB
[startup+3642.3 s]
/proc/loadavg: 4.19 4.19 4.10 9/265 893688
/proc/meminfo: memFree=536344/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2411096 CPUtime=2930.36 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 373130 0 0 0 290073 2963 0 0 20 0 1 0 165222151 3004207104 602774 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70319 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 602774 850 747 0 732512 0
Current children cumulated CPU time: 2930.36 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2411096 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.21 4.20 4.11 9/264 893698
/proc/meminfo: memFree=500644/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2411096 CPUtime=2985.59 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 373961 0 0 0 295565 2994 0 0 20 0 1 0 165222151 3004207104 602774 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70553 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 602774 850 747 0 732512 0
Current children cumulated CPU time: 2985.59 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2411096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3740.9 s]
# the end of solver process 891822 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=2957.55 s, system=30.1107 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.21 4.20 4.11 9/264 893698
/proc/meminfo: memFree=500644/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2411096 CPUtime=2986.39 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 373961 0 0 0 295640 2999 0 0 20 0 1 0 165222151 3004207104 602774 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70553 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 602774 850 747 0 732512 0
Current children cumulated CPU time: 2986.39 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2411096 KiB
[startup+3701.6 s]
/proc/loadavg: 4.21 4.20 4.11 4/259 893706
/proc/meminfo: memFree=3779740/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2411096 CPUtime=2987.19 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 373961 0 0 0 295716 3003 0 0 20 0 1 0 165222151 3004207104 602774 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70553 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 602774 850 747 0 732512 0
Current children cumulated CPU time: 2987.19 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2411096 KiB
[startup+3702 s]*
/proc/loadavg: 4.21 4.20 4.11 4/258 893725
/proc/meminfo: memFree=3654012/131524600 swapFree=131071728/131071996
[pid=891822] ppid=891803 vsize=2933796 memory=2411096 CPUtime=2987.59 cores=5,7
/proc/891822/stat : 891822 (Exact_veripb2_n) R 891803 891822 891749 0 -1 4194304 373961 0 0 0 295754 3005 0 0 20 0 1 0 165222151 3004207104 602774 134679101440 4194304 7250417 140730062477952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70553 0 0 7950792 8015128 25026560 140730062484277 140730062484565 140730062484565 140730062491582 0
/proc/891822/statm: 733449 602774 850 747 0 732512 0
Current children cumulated CPU time: 2987.59 s
Current children cumulated vsize: 2933796 KiB
Current children cumulated memory: 2411096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3740.9
CPU time (s): 2987.66
CPU user time (s): 2957.55
CPU system time (s): 30.1107
CPU usage (%): 79.8647
Max. virtual memory (cumulated for all children) (KiB): 3020468
Max. memory (cumulated for all children) (KiB): 2432856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2957.55
system time used= 30.1107
maximum resident set size= 2504020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 123620568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6237
involuntary context switches= 4158
# summary of solver processes directly reported to runsolver:
# pid: 891822
# total CPU time (s): 2987.66
# total CPU user time (s): 2957.55
# total CPU system time (s): 30.1107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48695 second user time and 17.0096 second system time
The end
Begin job on nodeC026 at 2024-08-18 15:03:39 IDJOB=4440636 IDBENCH=146793 IDSOLVER=3080 FILE ID=nodeC026/4440636-1723986219 RUNJOBID= nodeC026-1723986219-891762 SLURM_JOB_ID= 8268150 Free space on /tmp= 890076 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440636-1723986219/watcher-4440636-1723986219 -o /tmp/evaluation-result-4440636-1723986219/solver-4440636-1723986219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1723986219-891762 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440636-1723986219 --seed=827070195 HOME/instance-4440636-1723986219.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f5b507fec305347e12cc700790213fb8 RANDOM SEED=827070195 nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3455.593 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 : 7000.59 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 : 3279.296 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 : 7006.70 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 : 3175.007 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 : 7000.59 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 : 3625.900 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 : 7006.70 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 : 3300.429 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 : 7000.59 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 : 3535.686 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 : 7006.70 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 : 3107.762 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 : 7000.59 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 : 3341.628 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 : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126025568 kB MemAvailable: 129748548 kB Buffers: 396424 kB Cached: 4169908 kB SwapCached: 0 kB Active: 852000 kB Inactive: 4047680 kB Active(anon): 1428 kB Inactive(anon): 377968 kB Active(file): 850572 kB Inactive(file): 3669712 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 31388 kB Writeback: 0 kB AnonPages: 331208 kB Mapped: 109468 kB Shmem: 45912 kB KReclaimable: 85036 kB Slab: 194964 kB SReclaimable: 85036 kB SUnreclaim: 109928 kB KernelStack: 3888 kB PageTables: 9928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 701756 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61568 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 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: 303828 kB DirectMap2M: 36169728 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890064 MiB End job on nodeC026 at 2024-08-18 16:06:00