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 | 1141.37 | 1144.22 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo |
| MD5SUM | 5a30a67be6312dd77591c1a6d070d2d2 |
| 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 | 10065681 |
| Best CPU time to get the best result obtained on this benchmark | 0.586616 |
| 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 | 58368026 |
| Min constraint cost | 1 |
| Max constraint cost | 58368026 |
| Sum of constraints costs | 47051030826 |
| 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.09/0.18 o 38616968 0.09/0.19 o 27293144 0.09/0.19 o 26892560 0.09/0.19 o 26345033 0.09/0.19 o 26323798 0.09/0.19 o 26298887 0.09/0.19 o 26040647 0.09/0.19 o 26000035 0.09/0.20 o 25985022 0.09/0.20 o 25948974 0.09/0.20 o 25947963 0.09/0.22 o 25373558 0.20/0.22 o 25353273 0.20/0.22 o 25339398 0.20/0.22 o 25298786 0.20/0.22 o 25283773 0.20/0.23 o 25272793 0.20/0.23 o 25267951 0.20/0.24 o 24688525 0.20/0.25 o 24610239 0.20/0.25 o 24607697 0.20/0.25 o 24607115 0.20/0.25 o 24605621 0.20/0.26 o 24592862 0.20/0.26 o 24564928 0.20/0.26 o 24560300 0.20/0.26 o 24559289 0.20/0.27 o 24506219 0.20/0.27 o 24495239 0.20/0.28 o 24386926 0.20/0.30 o 24382050 0.20/0.30 o 24379508 0.20/0.30 o 24378926 0.20/0.31 o 24378693 0.20/0.31 o 24376421 0.20/0.31 o 24322729 0.30/0.32 o 24307702 0.30/0.32 o 24114807 0.30/0.32 o 23875265 0.30/0.33 o 23660097 0.30/0.33 o 23596009 0.30/0.35 o 23551155 0.30/0.36 o 23543085 0.30/0.36 o 23521068 0.30/0.36 o 23516968 0.30/0.36 o 23284845 0.30/0.36 o 23258728 0.40/0.49 o 23255885 0.40/0.49 o 23253343 0.40/0.50 o 23252761 0.40/0.50 o 23251267 0.40/0.51 o 23246798 0.40/0.51 o 23245787 0.50/0.52 o 23242122 0.50/0.52 o 23227095 0.50/0.54 o 23220161 0.50/0.55 o 23163007 0.50/0.56 o 23156236 0.50/0.57 o 23144707 0.50/0.59 o 23132235 0.50/0.59 o 23130529 0.50/0.60 o 23121632 0.58/0.65 o 23103650 0.67/0.75 o 23091856 0.67/0.76 o 23087228 0.67/0.76 o 23065366 0.67/0.77 o 22957715 0.67/0.77 o 22955621 0.67/0.78 o 22913315 0.67/0.78 o 22887624 0.77/0.82 o 22872200 0.77/0.85 o 22872018 0.77/0.85 o 22871436 0.77/0.86 o 22869942 0.77/0.86 o 22866782 0.77/0.87 o 22865771 0.77/0.87 o 22850744 0.77/0.88 o 22812038 0.77/0.88 o 22693750 0.77/0.89 o 22607531 0.77/0.89 o 22592504 0.87/0.95 o 22464191 0.87/0.99 o 22448280 0.87/0.99 o 22438928 0.87/1.00 o 22426179 0.87/1.01 o 22416917 0.87/1.01 o 22386680 0.98/1.01 o 22380861 0.98/1.01 o 22380567 0.98/1.02 o 22377418 0.98/1.02 o 22345138 0.98/1.03 o 22064302 0.98/1.03 o 22056232 0.98/1.04 o 21797992 0.98/1.04 o 21792173 0.98/1.05 o 21765323 0.98/1.06 o 21763617 0.98/1.06 o 21754720 0.98/1.07 o 21751571 0.98/1.07 o 21749029 0.98/1.08 o 21748447 0.98/1.09 o 21739130 0.98/1.09 o 21545844 0.98/1.10 o 21544350 0.98/1.10 o 21543339 1.08/1.11 o 21346198 1.08/1.11 o 21338128 1.08/1.12 o 21079888 1.08/1.12 o 21060576 1.08/1.13 o 21059565 1.08/1.13 o 21054078 1.08/1.14 o 21050416 1.08/1.14 o 21048906 1.08/1.15 o 21048032 1.08/1.16 o 21044547 1.08/1.16 o 21027564 1.08/1.16 o 21006407 1.08/1.17 o 21000841 1.08/1.17 o 20991259 1.08/1.18 o 20985440 1.08/1.18 o 20985213 1.08/1.19 o 20979394 1.08/1.19 o 20966128 1.17/1.20 o 20965117 1.17/1.20 o 20961455 1.17/1.23 o 20961341 1.17/1.24 o 20960330 1.17/1.25 o 20899604 1.17/1.25 o 20892670 1.17/1.25 o 20835516 1.27/1.30 o 20833472 1.27/1.31 o 20796350 1.27/1.31 o 20792526 1.27/1.31 o 20520250 1.27/1.32 o 20512180 1.27/1.32 o 20253940 1.27/1.32 o 20249204 1.27/1.33 o 20245380 1.57/1.69 o 18992114 1.67/1.70 o 18845766 1.67/1.70 o 18844071 1.67/1.71 o 18834865 1.67/1.72 o 18826374 1.67/1.72 o 18821566 1.67/1.73 o 18821144 1.67/1.73 o 18818602 1.67/1.74 o 18818020 1.67/1.74 o 18816526 1.67/1.74 o 18815515 1.67/1.75 o 18803043 1.67/1.76 o 18801337 1.67/1.76 o 18792440 1.67/1.77 o 18786621 1.67/1.78 o 18772630 1.67/1.78 o 18734039 1.77/1.80 o 18491344 1.77/1.80 o 18360857 1.87/1.98 o 18294517 2.27/2.37 o 18249679 2.57/2.64 o 18249290 2.57/2.65 o 18240393 2.57/2.66 o 18239795 2.57/2.67 o 18233976 2.66/2.71 o 18195385 2.66/2.77 o 18154057 2.76/2.83 o 18152392 2.76/2.84 o 18151794 2.76/2.85 o 18147521 2.76/2.86 o 18144979 2.76/2.87 o 18144397 2.76/2.87 o 18142903 2.76/2.88 o 18141892 2.76/2.89 o 17875582 2.86/2.93 o 17870384 2.86/2.98 o 17870127 2.86/2.99 o 17868633 2.86/3.00 o 17867622 2.97/3.01 o 17867024 3.16/3.23 o 17866969 5.35/5.45 o 17865012 5.35/5.47 o 17864001 5.35/5.49 o 17860641 5.45/5.52 o 17854036 5.45/5.53 o 17849152 5.45/5.55 o 17840744 5.45/5.56 o 17830255 5.55/5.62 o 17804989 5.55/5.64 o 17783127 5.55/5.66 o 17690556 5.65/5.78 o 17690187 5.65/5.79 o 17686087 5.75/5.83 o 17435283 5.75/5.85 o 17424532 5.75/5.86 o 17379852 5.75/5.88 o 17344602 5.75/5.89 o 17295605 6.15/6.26 o 17251535 6.15/6.27 o 17249840 6.75/6.84 o 17167737 6.75/6.86 o 17161357 6.75/6.88 o 17153746 6.85/6.90 o 17115155 8.95/9.03 o 17114939 8.95/9.06 o 17113429 8.95/9.09 o 17112555 9.05/9.12 o 17110331 9.05/9.14 o 17109157 9.05/9.17 o 17107979 9.14/9.20 o 17107382 9.14/9.23 o 17102754 9.14/9.27 o 17091774 9.24/9.30 o 17089232 9.24/9.33 o 17087156 9.24/9.35 o 17086145 9.24/9.38 o 17050097 9.34/9.42 o 17011177 9.34/9.45 o 17006165 9.34/9.47 o 16974980 9.34/9.49 o 16930678 9.44/9.57 o 16927518 9.54/9.64 o 16881124 9.54/9.66 o 16875590 9.54/9.68 o 16866008 9.64/9.71 o 16860189 9.74/9.81 o 16712724 9.74/9.83 o 16711029 9.84/10.00 o 16686583 9.95/10.02 o 16678972 9.95/10.04 o 16640381 10.14/10.22 o 16559240 10.14/10.26 o 16522118 10.14/10.29 o 16233212 10.24/10.31 o 16207099 10.24/10.35 o 16202826 10.24/10.37 o 15944586 10.43/10.57 o 15826298 10.53/10.62 o 15591940 10.53/10.64 o 15523614 10.53/10.67 o 15505721 10.53/10.69 o 15437395 10.63/10.71 o 15383176 10.63/10.73 o 15368149 10.63/10.75 o 15246373 10.63/10.77 o 15238303 10.63/10.78 o 14980063 10.73/10.81 o 14875222 10.73/10.84 o 14821003 12.13/12.22 o 14644805 12.13/12.26 o 14554009 12.33/12.42 o 14468997 12.33/12.45 o 14463510 12.33/12.47 o 14459848 12.43/12.50 o 14458338 12.43/12.52 o 14457464 12.43/12.57 o 14457306 12.43/12.59 o 14455796 12.52/12.62 o 14454922 12.52/12.64 o 14454219 12.52/12.67 o 14453720 12.52/12.69 o 14452709 12.62/12.72 o 14451835 12.62/12.75 o 14371245 12.62/12.77 o 14356218 12.72/12.80 o 14355478 12.72/12.83 o 14353968 12.72/12.85 o 14353094 12.72/12.88 o 14352973 12.82/12.90 o 14352474 12.82/12.93 o 14351600 12.82/12.96 o 14351463 12.82/12.98 o 14350589 12.93/13.11 o 14348471 13.03/13.14 o 14341173 13.03/13.16 o 14336545 13.03/13.19 o 14335963 13.12/13.22 o 14334469 13.12/13.24 o 14333458 13.22/13.30 o 14309807 13.22/13.33 o 14308313 13.22/13.35 o 14307302 15.51/15.62 o 14303568 15.51/15.66 o 14300444 15.51/15.69 o 14298950 15.61/15.72 o 14297939 15.61/15.75 o 14293311 15.71/15.80 o 14291616 15.71/15.84 o 14287343 15.71/15.89 o 14272316 15.93/16.03 o 14234628 15.93/16.06 o 14203128 16.32/16.40 o 14173545 22.69/22.81 o 14173032 22.69/22.86 o 14172397 22.79/22.99 o 14136349 23.09/23.21 o 14117197 23.19/23.37 o 14015314 23.19/23.39 o 14004722 23.29/23.41 o 13967196 23.68/23.84 o 13920981 23.68/23.86 o 13866768 23.68/23.89 o 13720420 23.89/24.03 o 13702204 29.26/29.44 o 13649134 29.26/29.44 o 13638154 29.26/29.44 o 13637572 29.26/29.44 o 13636078 29.26/29.45 o 13635067 29.26/29.45 o 13616375 29.26/29.46 o 13464324 29.26/29.46 o 13438633 29.26/29.48 o 13381479 29.36/29.51 o 13377407 29.87/30.10 o 12867326 29.87/30.10 o 12865441 29.97/30.12 o 12751210 32.35/32.55 o 12684870 32.35/32.57 o 12640032 35.85/36.10 o 12230651 36.53/36.76 o 12230514 36.53/36.77 o 12229640 36.53/36.78 o 12227800 36.63/36.81 o 12225706 36.63/36.82 o 12157709 36.63/36.88 o 12100555 36.73/36.94 o 12096086 41.61/41.89 o 12095740 41.71/41.91 o 12091668 41.71/41.98 o 12091209 41.71/41.99 o 12027425 41.71/42.01 o 12001269 42.01/42.25 o 11963851 42.01/42.26 o 11927803 43.50/43.79 o 11917688 43.60/43.80 o 11914446 43.60/43.82 o 11909425 47.69/48.00 o 11903891 47.80/48.03 o 11894309 47.80/48.06 o 11888490 48.80/49.03 o 11774259 51.28/51.51 o 11772564 52.67/52.96 o 11772048 52.67/52.99 o 11771174 52.78/53.03 o 11769325 52.78/53.06 o 11768315 52.78/53.09 o 11767647 52.88/53.12 o 11767414 52.88/53.15 o 11766153 52.88/53.19 o 11757335 52.97/53.22 o 11756667 52.97/53.26 o 11756434 52.97/53.29 o 11755173 53.57/53.87 o 11746878 55.26/55.59 o 11746494 55.36/55.64 o 11743334 55.36/55.69 o 11738706 55.46/55.74 o 11727726 57.45/57.73 o 11727673 57.45/57.74 o 11727075 57.45/57.75 o 11726015 57.45/57.77 o 11725977 57.45/57.78 o 11725380 57.45/57.79 o 11722969 57.55/57.81 o 11722181 57.55/57.82 o 11721307 57.55/57.83 o 11721164 57.55/57.84 o 11720699 57.55/57.86 o 11720102 57.55/57.87 o 11719467 57.65/57.90 o 11718353 57.65/57.91 o 11717342 57.65/57.92 o 11716973 57.65/57.94 o 11713470 57.65/57.95 o 11712873 57.95/58.23 o 11712318 57.95/58.24 o 11711683 57.95/58.25 o 11707611 57.95/58.27 o 11705069 57.95/58.28 o 11704487 58.05/58.30 o 11702993 58.05/58.31 o 11701982 58.05/58.33 o 11698317 58.05/58.35 o 11683290 58.76/59.02 o 11675234 59.34/59.63 o 11674616 59.34/59.66 o 11659834 59.94/60.22 o 11512313 59.94/60.25 o 11430822 59.94/60.26 o 11413725 71.50/71.85 o 11063286 71.50/71.87 o 11013252 75.70/76.01 o 10999549 75.70/76.04 o 10935842 77.98/78.36 o 10871599 92.82/93.26 o 10871582 92.82/93.28 o 10871326 92.82/93.29 o 10871190 92.92/93.31 o 10870289 92.92/93.31 o 10868017 92.92/93.33 o 10867143 92.92/93.34 o 10866774 93.32/93.79 o 10864589 93.42/93.80 o 10863527 93.42/93.82 o 10862817 93.42/93.83 o 10862749 93.42/93.84 o 10861687 94.51/94.93 o 10860854 94.62/95.06 o 10859751 94.62/95.08 o 10857976 94.62/95.10 o 10856136 97.30/97.71 o 10855767 98.10/98.56 o 10803907 106.27/106.74 o 10671039 113.35/113.84 o 10596896 144.86/145.48 o 10596821 144.86/145.48 o 10596108 144.86/145.49 o 10587658 144.96/145.50 o 10571227 144.96/145.51 o 10566139 145.47/146.05 o 10560322 146.65/147.20 o 10555246 170.28/170.96 o 10555001 170.28/170.96 o 10554127 170.28/170.97 o 10552496 170.28/170.98 o 10551622 170.28/170.99 o 10551253 170.68/171.36 o 10551102 170.68/171.37 o 10548668 170.68/171.38 o 10547958 170.68/171.39 o 10546828 170.78/171.40 o 10543209 170.78/171.41 o 10542931 170.78/171.42 o 10541869 170.78/171.42 o 10541804 170.78/171.43 o 10541091 170.78/171.44 o 10540029 170.78/171.45 o 10539796 170.78/171.46 o 10537524 170.78/171.47 o 10534735 170.78/171.48 o 10532848 170.78/171.49 o 10531410 170.78/171.49 o 10530280 170.88/171.50 o 10529635 170.88/171.51 o 10528505 170.88/171.53 o 10528136 170.98/171.64 o 10528084 170.98/171.65 o 10527652 170.98/171.66 o 10526942 170.98/171.67 o 10525812 171.78/172.49 o 10523470 171.88/172.50 o 10522825 171.88/172.51 o 10521695 172.39/173.06 o 10521436 172.39/173.07 o 10517253 172.49/173.12 o 10510482 172.68/173.38 o 10504663 172.88/173.58 o 10499465 175.77/176.43 o 10497580 184.65/185.35 o 10472669 199.01/199.70 o 10466590 228.14/228.95 o 10465121 228.14/228.96 o 10464411 228.54/229.32 o 10437720 229.54/230.39 o 10431901 236.52/237.30 o 10430016 237.62/238.45 o 10424940 523.16/524.66 o 10424428 523.16/524.68 o 10424059 523.76/525.24 o 10422599 523.76/525.26 o 10422597 523.76/525.27 o 10420094 523.76/525.29 o 10419725 523.86/525.30 o 10415146 523.86/525.32 o 10413998 523.86/525.33 o 10412290 523.86/525.35 o 10409787 523.86/525.36 o 10409418 524.16/525.69 o 10402655 524.26/525.70 o 10402286 532.84/534.31 o 10377375 606.18/607.83 o 10323162 674.33/676.18 o 10302439 674.33/676.18 o 10292913 705.95/707.90 o 10289435 706.05/707.92 o 10289202 706.05/707.95 o 10289137 706.05/707.97 o 10287964 706.05/707.98 o 10287731 706.05/708.00 o 10287595 706.16/708.01 o 10287362 706.45/708.35 o 10284942 706.45/708.37 o 10283545 706.45/708.39 o 10278186 706.55/708.41 o 10277953 707.44/709.33 o 10277819 707.44/709.35 o 10277747 707.44/709.37 o 10277514 707.44/709.39 o 10274986 707.54/709.41 o 10273308 707.54/709.43 o 10273075 707.54/709.45 o 10272939 707.54/709.47 o 10272706 710.73/712.68 o 10271359 710.83/712.71 o 10271126 710.83/712.74 o 10271054 710.83/712.76 o 10270821 784.08/786.14 o 10269350 784.08/786.16 o 10263860 784.37/786.49 o 10199617 926.24/928.60 o 10199192 926.24/928.62 o 10198876 926.24/928.64 o 10197698 926.75/929.14 o 10197304 926.75/929.16 o 10197277 926.75/929.18 o 10196099 926.94/929.38 o 10196069 926.94/929.39 o 10194891 927.04/929.42 o 10193923 927.04/929.44 o 10193591 927.04/929.45 o 10192413 927.04/929.47 o 10192386 927.04/929.49 o 10191208 927.14/929.51 o 10190892 927.14/929.53 o 10189714 930.23/932.65 o 10182582 931.13/933.52 o 10172216 943.90/946.39 o 10160433 967.44/969.94 o 10065681 1141.34/1144.22 s OPTIMUM FOUND 1141.34/1144.22 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 10065681
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: 64096 MiB (63169 MiB free)
memory of node 1: 64473 MiB (63694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425573-1720890790/watcher-4425573-1720890790 -o /tmp/evaluation-result-4425573-1720890790/solver-4425573-1720890790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720890801-708232 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1187577518 HOME/instance-4425573-1720890790.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
Current StackSize limit: 8192 KiB
solver pid=708429, runsolver pid=708426
[startup+0.10023 s]*
/proc/loadavg: 0.09 0.09 0.09 6/231 708446
/proc/meminfo: memFree=130012248/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=29768 memory=7840 CPUtime=0.09 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 1427 0 0 0 9 0 0 0 20 0 1 0 141234918 30482432 1960 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 7442 1960 803 746 0 6506 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 7840 KiB
[startup+0.21239 s]*
/proc/loadavg: 0.09 0.09 0.09 5/230 708468
/proc/meminfo: memFree=130010372/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=30584 memory=9016 CPUtime=0.2 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 1681 0 0 0 20 0 0 0 20 0 1 0 141234918 31318016 2254 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 7646 2254 835 746 0 6710 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30584 KiB
Current children cumulated memory: 9016 KiB
[startup+0.311686 s]*
/proc/loadavg: 0.09 0.09 0.09 5/238 708485
/proc/meminfo: memFree=129994388/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=31376 memory=10336 CPUtime=0.3 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 2027 0 0 0 30 0 0 0 20 0 1 0 141234918 32129024 2584 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 7844 2584 835 746 0 6908 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31376 KiB
Current children cumulated memory: 10336 KiB
[startup+0.700263 s]
/proc/loadavg: 0.09 0.09 0.09 4/236 708498
/proc/meminfo: memFree=129995548/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=33640 memory=15548 CPUtime=0.67 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 2801 0 0 0 67 0 0 0 20 0 1 0 141234918 34447360 3887 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 8410 3887 835 746 0 7474 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 33640 KiB
Current children cumulated memory: 15548 KiB
[startup+1.50026 s]
/proc/loadavg: 0.09 0.09 0.09 4/241 708569
/proc/meminfo: memFree=129972848/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=38684 memory=24388 CPUtime=1.47 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 4001 0 0 0 146 1 0 0 20 0 1 0 141234918 39612416 6097 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 9671 6097 835 746 0 8735 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38684 KiB
Current children cumulated memory: 24388 KiB
[startup+3.11251 s]
/proc/loadavg: 0.09 0.09 0.09 5/243 708615
/proc/meminfo: memFree=129721272/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=47216 memory=35588 CPUtime=3.07 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 5769 0 0 0 306 1 0 0 20 0 1 0 141234918 48349184 8897 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 11804 8897 835 746 0 10868 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 47216 KiB
Current children cumulated memory: 35588 KiB
[startup+6.30032 s]
/proc/loadavg: 0.41 0.15 0.11 5/243 708615
/proc/meminfo: memFree=128777884/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=70528 memory=52072 CPUtime=6.25 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 8614 0 0 0 623 2 0 0 20 0 1 0 141234918 72220672 13018 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 17632 13018 835 746 0 16696 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 70528 KiB
Current children cumulated memory: 52072 KiB
[startup+12.7003 s]
/proc/loadavg: 0.69 0.22 0.13 5/237 708653
/proc/meminfo: memFree=127206088/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=83136 memory=72772 CPUtime=12.62 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 11255 0 0 0 1259 3 0 0 20 0 1 0 141234918 85131264 18193 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 20784 18193 835 746 0 19848 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83136 KiB
Current children cumulated memory: 72772 KiB
[startup+25.5004 s]
/proc/loadavg: 1.50 0.42 0.20 5/243 708664
/proc/meminfo: memFree=126408268/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=123476 memory=104780 CPUtime=25.38 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 15573 0 0 0 2533 5 0 0 20 0 1 0 141234918 126439424 26195 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 30869 26195 835 746 0 29933 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 123476 KiB
Current children cumulated memory: 104780 KiB
[startup+51.1128 s]
/proc/loadavg: 2.35 0.71 0.30 5/243 708669
/proc/meminfo: memFree=125944296/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=145964 memory=123276 CPUtime=50.89 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 20263 0 0 0 5082 7 0 0 20 0 1 0 141234918 149467136 30819 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 36491 30819 835 746 0 35555 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 145964 KiB
Current children cumulated memory: 123276 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.25 0.51 5/243 708724
/proc/meminfo: memFree=123575104/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=156740 memory=132904 CPUtime=101.89 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 22703 0 0 0 10181 8 0 0 20 0 1 0 141234918 160501760 33226 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 39185 33226 835 746 0 38249 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 156740 KiB
Current children cumulated memory: 132904 KiB
[startup+162.3 s]
/proc/loadavg: 3.55 1.70 0.71 4/234 709639
/proc/meminfo: memFree=125268120/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=161068 memory=144464 CPUtime=161.71 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 24146 0 0 0 16163 8 0 0 20 0 1 0 141234918 164933632 36116 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 40267 36116 851 746 0 39331 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 161068 KiB
Current children cumulated memory: 144464 KiB
[startup+222.3 s]
/proc/loadavg: 3.25 1.96 0.87 4/234 709649
/proc/meminfo: memFree=123979544/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=161768 memory=149996 CPUtime=221.56 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 24362 0 0 0 22148 8 0 0 20 0 1 0 141234918 165650432 37499 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 40442 37499 851 746 0 39506 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 161768 KiB
Current children cumulated memory: 149996 KiB
[startup+282.3 s]
/proc/loadavg: 3.13 2.16 1.01 4/234 709659
/proc/meminfo: memFree=122714408/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=162024 memory=150124 CPUtime=281.43 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 24501 0 0 0 28134 9 0 0 20 0 1 0 141234918 165912576 37531 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 40506 37531 851 746 0 39570 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 162024 KiB
Current children cumulated memory: 150124 KiB
[startup+342.3 s]
/proc/loadavg: 3.10 2.33 1.14 4/234 709670
/proc/meminfo: memFree=120689128/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=163364 memory=151136 CPUtime=341.29 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 24829 0 0 0 34120 9 0 0 20 0 1 0 141234918 167284736 37784 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 40841 37784 851 746 0 39905 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 163364 KiB
Current children cumulated memory: 151136 KiB
[startup+402.3 s]
/proc/loadavg: 3.08 2.47 1.26 4/234 709680
/proc/meminfo: memFree=119108488/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=163620 memory=151624 CPUtime=401.15 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 24951 0 0 0 40106 9 0 0 20 0 1 0 141234918 167546880 37906 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 40905 37906 851 746 0 39969 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 163620 KiB
Current children cumulated memory: 151624 KiB
[startup+462.3 s]
/proc/loadavg: 3.13 2.60 1.39 4/236 709694
/proc/meminfo: memFree=117960828/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=163620 memory=151692 CPUtime=461.01 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 25026 0 0 0 46092 9 0 0 20 0 1 0 141234918 167546880 37923 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 40905 37923 851 746 0 39969 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
/proc/loadavg: 3.13 2.90 1.79 4/238 710121
/proc/meminfo: memFree=116408888/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=166696 memory=154472 CPUtime=700.46 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 26015 0 0 0 70036 10 0 0 20 0 1 0 141234918 170696704 38618 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 41674 38618 851 746 0 40738 0
Current children cumulated CPU time: 700.46 s
Current children cumulated vsize: 166696 KiB
Current children cumulated memory: 154472 KiB
[startup+762.3 s]
/proc/loadavg: 3.11 2.94 1.88 4/236 710133
/proc/meminfo: memFree=116059412/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=168488 memory=156076 CPUtime=760.33 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 26429 0 0 0 76022 11 0 0 20 0 1 0 141234918 172531712 39019 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 42122 39019 851 746 0 41186 0
Current children cumulated CPU time: 760.33 s
Current children cumulated vsize: 168488 KiB
Current children cumulated memory: 156076 KiB
[startup+822.3 s]
/proc/loadavg: 3.09 2.97 1.95 4/236 710143
/proc/meminfo: memFree=113701212/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=169828 memory=157092 CPUtime=820.19 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 26745 0 0 0 82008 11 0 0 20 0 1 0 141234918 173903872 39273 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 42457 39273 851 746 0 41521 0
Current children cumulated CPU time: 820.19 s
Current children cumulated vsize: 169828 KiB
Current children cumulated memory: 157092 KiB
[startup+882.3 s]
/proc/loadavg: 3.15 3.01 2.03 4/238 710323
/proc/meminfo: memFree=112921684/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=170316 memory=157168 CPUtime=880.05 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 26876 0 0 0 87994 11 0 0 20 0 1 0 141234918 174403584 39292 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 42579 39292 851 746 0 41643 0
Current children cumulated CPU time: 880.05 s
Current children cumulated vsize: 170316 KiB
Current children cumulated memory: 157168 KiB
[startup+942.3 s]
/proc/loadavg: 3.05 3.00 2.10 4/238 710334
/proc/meminfo: memFree=112269780/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=171048 memory=157972 CPUtime=939.91 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27123 0 0 0 93980 11 0 0 20 0 1 0 141234918 175153152 39493 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 42762 39493 851 746 0 41826 0
Current children cumulated CPU time: 939.91 s
Current children cumulated vsize: 171048 KiB
Current children cumulated memory: 157972 KiB
[startup+1002.3 s]
/proc/loadavg: 3.06 3.01 2.16 4/238 710344
/proc/meminfo: memFree=111690416/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=171740 memory=158828 CPUtime=999.77 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27352 0 0 0 99966 11 0 0 20 0 1 0 141234918 175861760 39707 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 42935 39707 851 746 0 41999 0
Current children cumulated CPU time: 999.77 s
Current children cumulated vsize: 171740 KiB
Current children cumulated memory: 158828 KiB
[startup+1062.3 s]
/proc/loadavg: 3.12 3.04 2.23 4/238 710412
/proc/meminfo: memFree=110243664/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173180 memory=160148 CPUtime=1059.63 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27772 0 0 0 105951 12 0 0 20 0 1 0 141234918 177336320 40037 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43295 40037 851 746 0 42359 0
Current children cumulated CPU time: 1059.63 s
Current children cumulated vsize: 173180 KiB
Current children cumulated memory: 160148 KiB
[startup+1122.3 s]
/proc/loadavg: 3.10 3.05 2.28 4/238 710422
/proc/meminfo: memFree=108594100/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160412 CPUtime=1119.49 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27868 0 0 0 111937 12 0 0 20 0 1 0 141234918 177500160 40103 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40103 851 746 0 42399 0
Current children cumulated CPU time: 1119.49 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160412 KiB
[startup+1144.22 s]
# the end of solver process 708429 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1141.25 s, system=0.126963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 3.09 3.04 2.29 4/238 710422
/proc/meminfo: memFree=108505812/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160412 CPUtime=1123.58 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27868 0 0 0 112346 12 0 0 20 0 1 0 141234918 177500160 40103 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40103 851 746 0 42399 0
Current children cumulated CPU time: 1123.58 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160412 KiB
[startup+1132.8 s]
/proc/loadavg: 3.08 3.04 2.29 4/238 710423
/proc/meminfo: memFree=108349908/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160452 CPUtime=1129.97 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27876 0 0 0 112985 12 0 0 20 0 1 0 141234918 177500160 40113 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40113 851 746 0 42399 0
Current children cumulated CPU time: 1129.97 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160452 KiB
[startup+1139.2 s]
/proc/loadavg: 3.07 3.04 2.30 4/238 710426
/proc/meminfo: memFree=108150472/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160452 CPUtime=1136.35 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27877 0 0 0 113623 12 0 0 20 0 1 0 141234918 177500160 40113 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40113 851 746 0 42399 0
Current children cumulated CPU time: 1136.35 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160452 KiB
[startup+1142.4 s]
/proc/loadavg: 3.07 3.04 2.30 4/238 710426
/proc/meminfo: memFree=108076136/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160452 CPUtime=1139.54 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27877 0 0 0 113942 12 0 0 20 0 1 0 141234918 177500160 40113 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40113 851 746 0 42399 0
Current children cumulated CPU time: 1139.54 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160452 KiB
[startup+1143.2 s]
/proc/loadavg: 3.07 3.04 2.30 4/238 710426
/proc/meminfo: memFree=107884596/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160452 CPUtime=1140.34 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27877 0 0 0 114022 12 0 0 20 0 1 0 141234918 177500160 40113 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40113 851 746 0 42399 0
Current children cumulated CPU time: 1140.34 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160452 KiB
[startup+1144 s]*
/proc/loadavg: 3.06 3.04 2.30 4/238 710426
/proc/meminfo: memFree=107673640/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160452 CPUtime=1141.15 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27877 0 0 0 114103 12 0 0 20 0 1 0 141234918 177500160 40113 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40113 851 746 0 42399 0
Current children cumulated CPU time: 1141.15 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160452 KiB
[startup+1144.2 s]
/proc/loadavg: 3.06 3.04 2.30 4/238 710426
/proc/meminfo: memFree=107673640/131655788 swapFree=131071996/131071996
[pid=708429] ppid=708426 vsize=173340 memory=160452 CPUtime=1141.34 cores=1,3
/proc/708429/stat : 708429 (Exact_nosoplex) R 708426 708429 708218 0 -1 4194304 27877 0 0 0 114122 12 0 0 20 0 1 0 141234918 177500160 40113 134679101440 4194304 7248369 140728956447376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 40476672 140728956449738 140728956449917 140728956449917 140728956456902 0
/proc/708429/statm: 43335 40113 851 746 0 42399 0
Current children cumulated CPU time: 1141.34 s
Current children cumulated vsize: 173340 KiB
Current children cumulated memory: 160452 KiB
Child status: 30
Real time (s): 1144.22
CPU time (s): 1141.37
CPU user time (s): 1141.25
CPU system time (s): 0.126963
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 173340
Max. memory (cumulated for all children) (KiB): 160452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1141.25
system time used= 0.126963
maximum resident set size= 160452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27878
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= 34
involuntary context switches= 700
# summary of solver processes directly reported to runsolver:
# pid: 708429
# total CPU time (s): 1141.37
# total CPU user time (s): 1141.25
# total CPU system time (s): 0.126963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77853 second user time and 9.88537 second system time
The end
Begin job on nodeC004 at 2024-07-13 19:13:23 IDJOB=4425573 IDBENCH=143995 IDSOLVER=3039 FILE ID=nodeC004/4425573-1720890790 RUNJOBID= nodeC004-1720890801-708232 SLURM_JOB_ID= 7485808 Free space on /tmp= 723772 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap44_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-4425573-1720890790/watcher-4425573-1720890790 -o /tmp/evaluation-result-4425573-1720890790/solver-4425573-1720890790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720890801-708232 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1187577518 HOME/instance-4425573-1720890790.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5a30a67be6312dd77591c1a6d070d2d2 RANDOM SEED=1187577518 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.458 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1201.498 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.452 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.344 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1597.470 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.308 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.328 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.313 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129908900 kB MemAvailable: 129871644 kB Buffers: 327540 kB Cached: 484408 kB SwapCached: 0 kB Active: 492352 kB Inactive: 757504 kB Active(anon): 3312 kB Inactive(anon): 472288 kB Active(file): 489040 kB Inactive(file): 285216 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16164 kB Writeback: 0 kB AnonPages: 437956 kB Mapped: 105136 kB Shmem: 37700 kB KReclaimable: 57376 kB Slab: 146408 kB SReclaimable: 57376 kB SUnreclaim: 89032 kB KernelStack: 3760 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 809040 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46144 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 166728 kB DirectMap2M: 7077888 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723732 MiB End job on nodeC004 at 2024-07-13 19:32:28