Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_dombreaking 2025-06-16 | MSAT (TO) | 3600.3 | 3610.83 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo |
| MD5SUM | daf2f1ed087a94b78160429ad112bf14 |
| 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 | 142640 |
| Best CPU time to get the best result obtained on this benchmark | 27.4485 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 249748 |
| Number of soft constraints | 249734 |
| Number of constraints which are clauses | 249734 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 39275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 19104596930 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
360.80/363.14 o 9603355 361.10/363.42 o 1076887 361.29/363.68 o 1066887 361.59/363.94 o 1066787 387.52/389.96 o 1066741 388.12/390.51 o 1066740 388.62/391.05 o 1066739 389.11/391.58 o 1066738 389.71/392.13 o 1066737 390.31/392.72 o 1066736 390.81/393.25 o 1066735 391.31/393.78 o 1066734 391.90/394.30 o 1066733 392.40/394.83 o 1066732 392.90/395.35 o 1066731 393.60/396.01 o 1066730 394.10/396.56 o 1066729 394.70/397.10 o 1066728 395.19/397.62 o 1066727 395.69/398.15 o 1066726 396.19/398.67 o 1066725 396.70/399.19 o 1066724 397.29/399.71 o 1066723 397.79/400.23 o 1066722 398.29/400.75 o 1066721 398.79/401.26 o 1066720 399.29/401.78 o 1066719 399.88/402.30 o 1066718 400.38/402.81 o 1066717 400.87/403.32 o 1066716 401.37/403.84 o 1066715 401.87/404.35 o 1066714 402.47/404.90 o 1066713 402.97/405.45 o 1066712 403.47/405.96 o 1066711 403.97/406.47 o 1066710 404.47/406.98 o 1066709 404.97/407.50 o 1066708 405.57/408.00 o 1066707 406.06/408.51 o 1066706 406.67/409.11 o 1066705 407.16/409.62 o 1066704 407.66/410.12 o 1066703 408.15/410.63 o 1066702 408.66/411.13 o 1066701 409.15/411.63 o 1066700 409.65/412.14 o 1066699 410.15/412.64 o 1066698 410.66/413.14 o 1066697 411.15/413.64 o 1066696 411.65/414.14 o 1066695 412.15/414.65 o 1066694 412.65/415.14 o 1066693 413.14/415.64 o 1066692 413.64/416.14 o 1066691 414.14/416.63 o 1066690 414.64/417.13 o 1066689 415.13/417.62 o 1066688 415.64/418.12 o 1066588 416.13/418.62 o 1066488 416.63/419.12 o 1066388 417.13/419.62 o 1066288 417.64/420.12 o 1066188 418.13/420.61 o 1066187 418.63/421.18 o 1066186 419.22/421.73 o 1066185 419.72/422.23 o 1066085 420.21/422.72 o 1066084 420.72/423.22 o 1056084 421.22/423.70 o 1056083 421.62/424.19 o 1056082 422.11/424.69 o 1055982 422.62/425.18 o 1055882 423.11/425.67 o 1055782 423.61/426.18 o 1045782 424.10/426.66 o 1045781 424.61/427.15 o 1045681 425.10/427.65 o 1045581 425.60/428.13 o 1045580 426.30/428.82 o 1045579 426.79/429.30 o 1045578 427.19/429.79 o 1045478 427.70/430.27 o 1045477 428.20/430.77 o 1035477 428.69/431.26 o 1035476 429.19/431.75 o 1035475 429.69/432.24 o 1035375 430.18/432.73 o 1035275 430.69/433.22 o 1035175 431.19/433.71 o 1035075 431.59/434.19 o 1035074 432.08/434.67 o 1034974 432.59/435.16 o 1034874 433.08/435.65 o 1034774 433.58/436.14 o 1034674 434.17/436.78 o 1034574 434.68/437.26 o 1034474 435.18/437.74 o 1034473 435.67/438.22 o 1034373 436.17/438.71 o 1034273 436.57/439.19 o 1034272 437.07/439.67 o 1034172 437.57/440.15 o 1034171 438.06/440.64 o 1024171 438.56/441.13 o 1024071 439.06/441.61 o 1023971 439.46/442.09 o 1023970 439.95/442.57 o 1023870 440.46/443.05 o 1023770 440.96/443.53 o 1023670 441.36/444.00 o 1023669 441.85/444.48 o 1023569 442.35/444.96 o 1023469 442.85/445.42 o 1023468 443.25/445.89 o 1023467 443.75/446.38 o 1013467 444.24/446.86 o 1013367 444.74/447.34 o 1013267 445.24/447.80 o 1013266 445.64/448.28 o 1013166 446.13/448.75 o 1013066 446.63/449.22 o 1013065 447.03/449.69 o 1012965 447.53/450.16 o 1012865 448.03/450.64 o 1012765 448.54/451.11 o 1012665 448.93/451.57 o 1012664 449.54/452.10 o 1012564 450.23/452.84 o 1012464 450.73/453.31 o 1012463 451.13/453.78 o 1012363 451.62/454.25 o 1012263 452.12/454.72 o 1012163 452.62/455.20 o 1002163 453.02/455.67 o 1002063 453.52/456.14 o 992063 480.44/483.19 o 992062 480.73/483.49 o 992061 481.03/483.80 o 992060 481.43/484.13 o 991990 481.73/484.45 o 991989 482.03/484.78 o 991988 482.33/485.10 o 991987 482.72/485.42 o 991986 483.02/485.74 o 991985 483.33/486.05 o 991984 483.62/486.37 o 991983 483.92/486.69 o 991982 484.32/487.00 o 991981 484.62/487.32 o 991980 484.92/487.63 o 991979 485.22/487.94 o 991978 485.51/488.25 o 991977 485.81/488.56 o 991976 486.11/488.87 o 991975 486.42/489.18 o 991974 486.71/489.49 o 991973 487.01/489.79 o 991972 487.31/490.09 o 991971 487.61/490.39 o 991970 487.91/490.69 o 991969 488.21/490.99 o 991968 488.51/491.28 o 991967 488.80/491.57 o 991966 489.10/491.87 o 991965 489.41/492.16 o 991964 489.70/492.46 o 991864 490.00/492.75 o 991863 490.30/493.05 o 991763 490.60/493.34 o 991663 490.90/493.63 o 991662 491.20/493.91 o 991661 491.40/494.19 o 991660 491.70/494.48 o 991659 491.99/494.76 o 991658 492.30/495.04 o 991657 492.59/495.32 o 991656 492.89/495.61 o 991655 493.19/495.90 o 991555 493.40/496.18 o 991554 493.69/496.46 o 991553 493.99/496.74 o 991552 494.29/497.02 o 991551 494.59/497.30 o 991550 494.79/497.58 o 991549 495.08/497.88 o 991449 495.39/498.15 o 991448 495.68/498.43 o 991447 495.98/498.71 o 991446 496.18/498.99 o 991445 496.48/499.27 o 991444 496.78/499.55 o 991443 497.08/499.82 o 991442 497.38/500.10 o 991441 497.58/500.38 o 991440 497.88/500.65 o 991439 498.18/500.92 o 991438 498.47/501.20 o 991437 498.67/501.47 o 991436 498.97/501.76 o 991336 499.28/502.05 o 991236 499.57/502.32 o 991235 499.77/502.60 o 991234 500.07/502.87 o 991233 500.37/503.14 o 991232 500.67/503.41 o 991231 500.87/503.69 o 991230 501.17/503.96 o 991229 501.47/504.23 o 991228 501.76/504.50 o 991227 501.96/504.77 o 991226 502.27/505.04 o 991225 502.56/505.32 o 991125 502.76/505.59 o 991124 503.06/505.86 o 991123 503.36/506.13 o 991122 503.66/506.40 o 991121 503.86/506.67 o 991120 504.16/506.93 o 991119 504.46/507.20 o 991118 504.66/507.47 o 991117 504.96/507.73 o 991116 505.15/507.99 o 991115 505.45/508.26 o 991114 505.75/508.54 o 991014 506.05/508.81 o 991013 506.26/509.09 o 990913 506.55/509.37 o 990813 506.85/509.65 o 990713 507.16/509.93 o 990613 507.45/510.21 o 990513 507.65/510.47 o 990512 507.95/510.73 o 990511 508.15/511.00 o 990510 508.45/511.26 o 990509 508.75/511.53 o 990409 508.95/511.79 o 990408 509.25/512.07 o 990308 509.55/512.33 o 990307 509.75/512.59 o 990306 510.05/512.86 o 990206 510.35/513.14 o 990106 510.55/513.40 o 990105 510.84/513.67 o 990005 511.14/513.93 o 990004 511.44/514.20 o 989904 511.64/514.46 o 989903 511.94/514.73 o 989803 512.24/515.01 o 989703 512.44/515.26 o 989702 512.74/515.53 o 989602 513.04/515.80 o 989502 513.24/516.06 o 989501 513.54/516.33 o 989401 513.74/516.59 o 989400 514.03/516.86 o 989300 514.34/517.13 o 989200 514.53/517.38 o 989199 514.83/517.64 o 989198 515.03/517.89 o 989197 515.34/518.15 o 989196 515.63/518.40 o 989195 515.83/518.65 o 989194 516.13/518.90 o 989193 516.33/519.16 o 989192 516.63/519.42 o 989092 516.83/519.69 o 988992 517.12/519.94 o 988991 517.33/520.19 o 988990 532.77/535.68 o 628281 533.07/535.90 o 628187 533.27/536.13 o 628186 533.47/536.35 o 628185 533.67/536.57 o 628184 533.87/536.79 o 628183 534.17/537.00 o 628182 534.36/537.22 o 628082 534.56/537.44 o 628081 534.76/537.66 o 628080 534.96/537.88 o 627980 535.17/538.09 o 627880 535.46/538.31 o 627879 535.66/538.52 o 627878 535.86/538.74 o 627778 536.06/538.95 o 627777 536.26/539.17 o 627677 536.46/539.38 o 627577 536.66/539.59 o 627576 536.97/539.81 o 627476 537.17/540.02 o 627475 537.36/540.23 o 627474 537.56/540.45 o 627374 537.76/540.66 o 627274 537.96/540.87 o 627273 538.17/541.08 o 627173 538.36/541.29 o 627172 538.66/541.50 o 627072 538.86/541.71 o 627071 539.06/541.91 o 627070 539.26/542.12 o 626970 539.46/542.33 o 626969 539.66/542.53 o 626869 539.86/542.74 o 626769 540.06/542.95 o 626669 540.26/543.16 o 626569 540.46/543.37 o 626469 540.65/543.57 o 626369 540.85/543.78 o 626269 541.05/543.99 o 626169 541.35/544.20 o 626069 541.55/544.40 o 625969 541.75/544.60 o 625968 541.95/544.81 o 625868 542.15/545.01 o 625768 542.35/545.21 o 625767 542.55/545.41 o 625766 542.75/545.61 o 625666 542.95/545.81 o 625665 543.15/546.01 o 625664 543.35/546.20 o 625663 543.55/546.40 o 625563 543.74/546.60 o 625463 543.94/546.80 o 625363 544.04/546.99 o 625362 544.25/547.18 o 625361 544.44/547.38 o 625261 544.64/547.57 o 625260 544.84/547.76 o 625259 545.04/547.95 o 625258 545.24/548.15 o 625257 545.44/548.34 o 625157 545.64/548.54 o 625057 545.84/548.73 o 624957 546.04/548.92 o 624956 546.24/549.11 o 624955 546.43/549.30 o 624855 546.53/549.49 o 624755 546.73/549.68 o 624655 546.93/549.88 o 624555 547.14/550.06 o 624554 547.33/550.25 o 624454 547.53/550.43 o 624453 547.73/550.62 o 624353 547.93/550.81 o 624253 548.03/550.99 o 624252 548.23/551.17 o 624152 548.43/551.36 o 624052 548.63/551.54 o 623952 548.83/551.72 o 623951 549.03/551.91 o 623851 549.13/552.10 o 623751 549.33/552.29 o 623651 549.53/552.47 o 623551 549.73/552.66 o 623451 549.92/552.85 o 623351 550.13/553.03 o 623251 550.32/553.22 o 623151 550.52/553.40 o 623051 550.62/553.59 o 622951 550.82/553.77 o 622851 551.02/553.94 o 622850 551.22/554.12 o 622849 551.32/554.29 o 622848 551.52/554.47 o 622748 551.72/554.67 o 612748 551.92/554.84 o 612747 552.12/555.04 o 602747 552.32/555.21 o 602746 552.42/555.38 o 602745 552.61/555.54 o 602744 552.81/555.71 o 602743 552.91/555.87 o 602742 553.12/556.05 o 602642 553.31/556.21 o 602641 553.41/556.38 o 602541 553.61/556.55 o 602441 553.81/556.74 o 592441 553.91/556.89 o 592440 554.11/557.09 o 582440 554.31/557.28 o 572440 554.51/557.47 o 562440 554.71/557.66 o 552440 555.31/558.26 o 542549 555.51/558.41 o 542548 555.61/558.56 o 542547 555.80/558.71 o 542546 555.90/558.86 o 542545 556.11/559.01 o 542544 556.21/559.16 o 542543 556.40/559.31 o 542542 658.74/661.92 o 542541 814.55/818.12 o 493352 818.74/822.31 o 493351 818.84/822.47 o 493350 819.04/822.63 o 493349 819.14/822.79 o 493348 819.34/822.95 o 493347 819.54/823.10 o 493346 819.63/823.27 o 493246 819.83/823.42 o 493245 819.93/823.58 o 493244 820.13/823.74 o 493144 820.33/823.91 o 493044 820.44/824.08 o 492944 820.63/824.23 o 492943 823.03/826.61 o 492942 823.13/826.78 o 492842 823.33/826.94 o 492742 868.82/872.57 o 483820 869.12/872.83 o 483819 869.32/873.08 o 483818 869.62/873.33 o 483817 869.82/873.58 o 483816 870.12/873.83 o 483815 870.32/874.08 o 483814 870.61/874.32 o 483813 870.81/874.57 o 483812 871.11/874.82 o 483811 871.32/875.07 o 483810 871.61/875.31 o 483809 871.81/875.56 o 483808 872.11/875.81 o 483807 872.31/876.06 o 483806 872.61/876.30 o 483805 872.81/876.55 o 483804 873.01/876.79 o 483803 873.31/877.04 o 483802 873.51/877.29 o 483801 873.81/877.53 o 483800 874.00/877.77 o 483799 874.31/878.02 o 483798 874.50/878.26 o 483797 874.80/878.50 o 483796 875.00/878.75 o 483795 875.20/878.99 o 483794 875.50/879.23 o 483793 875.70/879.47 o 483792 876.00/879.70 o 483791 876.20/879.94 o 483790 876.40/880.18 o 483789 876.70/880.42 o 483788 876.90/880.66 o 483787 877.10/880.89 o 483786 877.40/881.13 o 483785 877.59/881.36 o 483784 877.89/881.60 o 483783 878.09/881.83 o 483782 878.30/882.07 o 483781 878.59/882.30 o 483780 878.79/882.53 o 483779 878.99/882.77 o 483778 879.19/883.00 o 483777 879.49/883.23 o 483776 879.69/883.47 o 483775 879.99/883.70 o 483774 880.19/883.94 o 483773 880.39/884.17 o 483772 880.69/884.40 o 483771 880.88/884.63 o 483770 881.08/884.86 o 483769 881.29/885.09 o 483768 881.58/885.32 o 483767 881.78/885.55 o 483766 881.98/885.78 o 483765 882.29/886.01 o 483764 882.48/886.24 o 483763 882.68/886.47 o 483762 882.98/886.70 o 483761 883.18/886.93 o 483760 883.38/887.16 o 483759 883.58/887.38 o 483758 883.88/887.61 o 483757 884.08/887.84 o 483756 884.28/888.06 o 483755 884.48/888.29 o 483754 884.78/888.52 o 483753 884.97/888.74 o 483752 885.17/888.97 o 483751 885.38/889.19 o 483750 885.67/889.41 o 483749 885.87/889.64 o 483748 886.07/889.86 o 483747 886.28/890.08 o 483746 886.57/890.31 o 483745 886.77/890.53 o 483744 886.97/890.74 o 483743 887.17/890.95 o 483742 887.37/891.17 o 483741 887.57/891.38 o 483740 887.87/891.60 o 483739 888.07/891.81 o 483738 888.27/892.03 o 483737 888.46/892.25 o 483736 888.66/892.46 o 483735 888.86/892.68 o 483734 889.16/892.90 o 483733 889.37/893.11 o 483732 889.56/893.33 o 483731 889.76/893.54 o 483730 889.96/893.76 o 483729 890.16/893.97 o 483728 890.36/894.19 o 483727 890.66/894.40 o 483726 890.86/894.62 o 483725 891.06/894.83 o 483724 891.26/895.05 o 483723 891.46/895.26 o 483722 891.66/895.48 o 483721 891.86/895.69 o 483720 892.16/895.90 o 483719 892.36/896.11 o 483718 892.55/896.33 o 483717 892.75/896.54 o 483716 892.95/896.74 o 483715 893.15/896.95 o 483714 893.36/897.16 o 483713 893.55/897.36 o 483712 893.75/897.57 o 483711 893.95/897.78 o 483710 894.15/897.98 o 483709 894.35/898.19 o 483708 894.65/898.40 o 483707 894.85/898.61 o 483706 895.05/898.81 o 483705 895.25/899.02 o 483704 895.45/899.23 o 483703 895.65/899.43 o 483702 895.85/899.64 o 483701 896.05/899.84 o 483700 896.25/900.05 o 483699 896.44/900.25 o 483698 896.64/900.45 o 483697 896.84/900.65 o 483696 897.04/900.86 o 483695 897.24/901.06 o 483694 897.44/901.26 o 483693 897.64/901.46 o 483692 897.84/901.66 o 483691 898.04/901.86 o 483690 898.24/902.06 o 483689 898.44/902.26 o 483688 898.64/902.46 o 483687 898.84/902.66 o 483686 899.04/902.86 o 483685 899.24/903.06 o 483684 899.43/903.26 o 483683 899.63/903.45 o 483682 899.83/903.65 o 483681 900.03/903.84 o 483680 900.24/904.04 o 483679 900.43/904.24 o 483678 900.63/904.43 o 483677 900.83/904.63 o 483676 901.03/904.82 o 483675 901.24/905.02 o 483674 901.44/905.21 o 483673 901.64/905.41 o 483672 901.84/905.60 o 483671 901.94/905.79 o 483670 902.14/905.98 o 483669 902.34/906.18 o 483668 902.53/906.37 o 483667 902.73/906.56 o 483666 902.93/906.74 o 483665 903.13/906.93 o 483664 903.33/907.12 o 483663 903.52/907.31 o 483662 903.73/907.50 o 483661 903.83/907.69 o 483660 904.03/907.88 o 483659 904.23/908.07 o 483658 904.73/908.52 o 483657 904.93/908.71 o 483656 905.03/908.89 o 483655 905.23/909.08 o 483654 905.43/909.27 o 483653 905.63/909.45 o 483652 905.83/909.64 o 483651 906.02/909.82 o 483650 906.22/910.01 o 483649 906.32/910.19 o 483648 906.52/910.38 o 483647 906.72/910.56 o 483646 906.92/910.74 o 483645 907.12/910.93 o 483644 907.33/911.11 o 483643 907.42/911.29 o 483642 907.62/911.48 o 483641 907.82/911.66 o 483640 908.02/911.84 o 483639 908.22/912.02 o 483638 908.41/912.20 o 483637 908.51/912.38 o 483636 908.71/912.56 o 483635 908.92/912.74 o 483634 909.12/912.92 o 483633 909.22/913.10 o 483632 909.42/913.27 o 483631 909.62/913.45 o 483630 909.81/913.64 o 483629 910.01/913.81 o 483628 910.11/913.99 o 483627 910.32/914.17 o 483626 910.51/914.34 o 483625 910.71/914.52 o 483624 910.91/914.70 o 483623 911.01/914.87 o 483622 911.21/915.04 o 483621 911.41/915.22 o 483620 911.51/915.39 o 483619 911.70/915.56 o 483618 911.90/915.74 o 483617 912.11/915.91 o 483616 912.22/916.08 o 483615 912.41/916.26 o 483614 912.61/916.43 o 483613 912.81/916.60 o 483612 913.70/917.54 o 483611 914.70/918.52 o 483610 915.80/919.61 o 483609 916.90/920.76 o 483608 918.79/922.65 o 483607 1050.46/1054.66 o 483606 1082.78/1087.07 o 483605 1155.89/1160.36 o 483604 1156.09/1160.54 o 483603 1156.29/1160.73 o 483602 1156.49/1160.91 o 483601 1156.59/1161.09 o 483600 1156.79/1161.27 o 483599 1156.99/1161.44 o 483598 1157.19/1161.63 o 483597 1157.39/1161.80 o 483596 1157.49/1161.98 o 483595 1157.69/1162.15 o 483594 1157.89/1162.33 o 483593 1158.09/1162.50 o 483592 1158.19/1162.67 o 483591 1158.39/1162.85 o 483590 1158.59/1163.02 o 483589 1158.69/1163.19 o 483588 1158.88/1163.36 o 483587 1159.08/1163.53 o 483586 1159.28/1163.71 o 483585 1159.38/1163.88 o 483584 1159.59/1164.05 o 483583 1159.78/1164.22 o 483582 1159.88/1164.39 o 483581 1160.08/1164.56 o 483580 1160.28/1164.73 o 483579 1160.48/1164.90 o 483578 1160.58/1165.07 o 483577 1160.78/1165.24 o 483576 1160.98/1165.41 o 483575 1161.08/1165.57 o 483574 1161.28/1165.74 o 483573 1161.48/1165.91 o 483572 1161.58/1166.08 o 483571 1161.78/1166.24 o 483570 1161.98/1166.41 o 483569 1162.08/1166.58 o 483568 1162.28/1166.74 o 483567 1162.47/1166.91 o 483566 1162.59/1167.08 o 483565 1162.78/1167.24 o 483564 1162.98/1167.41 o 483563 1163.08/1167.57 o 483562 1163.28/1167.74 o 483561 1163.48/1167.90 o 483560 1163.58/1168.06 o 483559 1163.78/1168.23 o 483558 1163.88/1168.39 o 483557 1164.08/1168.55 o 483556 1164.28/1168.71 o 483555 1164.38/1168.87 o 483554 1164.58/1169.03 o 483553 1164.68/1169.20 o 483552 1164.88/1169.36 o 483551 1165.08/1169.51 o 483550 1165.18/1169.67 o 483549 1165.37/1169.83 o 483548 1165.47/1169.99 o 483547 1165.68/1170.15 o 483546 1165.87/1170.31 o 483545 1165.97/1170.47 o 483544 1166.17/1170.63 o 483543 1166.27/1170.78 o 483542 1166.47/1170.94 o 483541 1166.68/1171.11 o 483441 1166.77/1171.27 o 483440 1166.97/1171.42 o 483439 1167.07/1171.59 o 483339 1167.27/1171.76 o 483239 1167.47/1171.93 o 483139 1167.57/1172.08 o 483138 1167.77/1172.25 o 483038 1167.97/1172.41 o 482938 1202.68/1207.24 o 482937 1250.66/1255.38 o 482934 1250.85/1255.54 o 482933 1250.95/1255.69 o 482932 1347.32/1352.20 o 473470 1400.18/1405.23 o 473469 1400.38/1405.42 o 473468 1400.49/1405.59 o 473467 1400.69/1405.77 o 473466 1400.89/1405.95 o 473465 1401.09/1406.13 o 473464 1401.29/1406.30 o 473463 1401.39/1406.48 o 473462 1401.59/1406.66 o 473461 1401.78/1406.83 o 473460 1401.99/1407.00 o 473459 1402.09/1407.18 o 473458 1402.28/1407.35 o 473457 1402.48/1407.52 o 473456 1402.58/1407.69 o 473455 1402.78/1407.86 o 473454 1402.99/1408.03 o 473453 1403.18/1408.20 o 473452 1403.28/1408.37 o 473451 1403.48/1408.54 o 473450 1403.68/1408.71 o 473449 1403.78/1408.87 o 473448 1403.98/1409.03 o 473447 1404.08/1409.20 o 473446 1404.28/1409.35 o 473445 1404.48/1409.51 o 473444 1404.58/1409.67 o 473443 1404.78/1409.82 o 473442 1404.88/1409.99 o 473342 1405.08/1410.15 o 473341 1405.27/1410.32 o 473241 1405.37/1410.47 o 473240 1405.57/1410.64 o 473140 1405.77/1410.81 o 473040 1405.87/1410.97 o 472940 1406.08/1411.12 o 472939 1406.17/1411.29 o 472839 1406.37/1411.45 o 472739 1406.47/1411.60 o 472738 1406.67/1411.76 o 472638 1406.87/1411.92 o 472538 1406.98/1412.08 o 472537 1407.17/1412.22 o 472536 1407.27/1412.39 o 472436 1407.47/1412.54 o 472435 2352.70/2360.11 o 472434 2352.89/2360.31 o 472334 2353.09/2360.50 o 472333 2353.19/2360.69 o 472332 2353.39/2360.89 o 472232 2353.60/2361.09 o 472132 2353.79/2361.28 o 472131 2353.99/2361.48 o 472031 2354.19/2361.68 o 471931 2354.39/2361.86 o 471930 2354.59/2362.06 o 471830 2354.79/2362.26 o 471730 2354.99/2362.45 o 471729 2355.19/2362.65 o 471629 2355.39/2362.84 o 471529 2355.59/2363.04 o 471429 2355.79/2363.24 o 471329 2355.99/2363.43 o 471328 2356.19/2363.61 o 471327 2356.38/2363.80 o 471227 2356.59/2364.00 o 471127 2356.78/2364.20 o 471027 2356.88/2364.38 o 471026 2357.08/2364.58 o 470926 2357.28/2364.77 o 470826 2357.48/2364.95 o 470825 2357.69/2365.15 o 470725 2357.88/2365.34 o 470625 2358.08/2365.52 o 470624 2358.28/2365.72 o 470524 2358.48/2365.91 o 470424 2358.58/2366.09 o 470423 2358.78/2366.28 o 470323 2358.98/2366.48 o 470223 2359.18/2366.66 o 470222 2359.38/2366.85 o 470122 2359.58/2367.03 o 470121 2359.78/2367.23 o 470021 2359.98/2367.41 o 470020 2360.08/2367.59 o 470019 2360.27/2367.78 o 469919 2360.47/2367.96 o 469918 2360.68/2368.15 o 469818 2360.87/2368.33 o 469817 2361.07/2368.52 o 469717 2361.27/2368.71 o 469617 2361.37/2368.88 o 469616 2361.58/2369.07 o 469516 2361.77/2369.25 o 469515 2361.97/2369.43 o 469514 2362.17/2369.61 o 469513 2362.37/2369.80 o 469413 2362.47/2369.99 o 469313 2362.67/2370.18 o 469213 2362.87/2370.35 o 469212 2363.07/2370.53 o 469211 2363.27/2370.71 o 469210 2363.47/2370.90 o 469110 2363.57/2371.07 o 469109 2363.77/2371.26 o 469009 2363.97/2371.44 o 469008 2364.16/2371.61 o 469007 2364.36/2371.80 o 468907 2364.46/2371.97 o 468906 2364.67/2372.16 o 468806 2364.86/2372.34 o 468706 2365.06/2372.52 o 468606 2365.16/2372.69 o 468605 2365.36/2372.87 o 468505 2365.57/2373.04 o 468504 2365.76/2373.21 o 468503 2365.86/2373.40 o 468403 2366.06/2373.58 o 468303 2366.26/2373.76 o 468203 2366.46/2373.94 o 468103 2366.66/2374.11 o 468102 2366.76/2374.28 o 468101 2366.96/2374.46 o 468001 2367.16/2374.64 o 467901 2367.36/2374.83 o 467801 2367.56/2375.01 o 467701 2367.66/2375.18 o 467700 2367.86/2375.36 o 467600 2368.05/2375.54 o 467500 2368.25/2375.72 o 467400 2368.45/2375.91 o 467300 2368.56/2376.07 o 467299 2368.75/2376.26 o 467199 2368.95/2376.44 o 467099 2369.15/2376.60 o 467098 2369.25/2376.77 o 467097 2369.45/2376.95 o 466997 2369.66/2377.13 o 466897 2369.85/2377.31 o 466797 2369.95/2377.49 o 466697 2370.15/2377.66 o 466696 2370.35/2377.84 o 466596 2370.55/2378.02 o 466496 2370.65/2378.19 o 466495 2370.85/2378.35 o 466494 2371.05/2378.53 o 466394 2371.15/2378.69 o 466393 2371.35/2378.86 o 466392 2371.55/2379.02 o 466391 2371.65/2379.19 o 466390 2371.85/2379.35 o 466389 2372.04/2379.51 o 466388 2372.14/2379.69 o 466288 2372.34/2379.85 o 466287 2372.55/2380.03 o 466187 2372.74/2380.21 o 466087 2372.84/2380.37 o 466086 2373.04/2380.53 o 466085 2373.24/2380.71 o 465985 2373.34/2380.87 o 465984 2373.54/2381.03 o 465983 2373.74/2381.20 o 465982 2373.84/2381.36 o 465981 2374.04/2381.52 o 465980 2374.14/2381.68 o 465979 2374.34/2381.83 o 465978 2374.54/2382.01 o 465878 2374.64/2382.17 o 465877 2374.83/2382.34 o 465777 2375.03/2382.52 o 465677 2375.13/2382.68 o 465676 2375.33/2382.83 o 465675 2375.43/2382.99 o 465674 2375.64/2383.15 o 465673 2375.83/2383.31 o 465672 2375.93/2383.48 o 465572 2376.13/2383.63 o 465571 2376.23/2383.79 o 465570 2376.43/2383.96 o 465470 2376.64/2384.12 o 465469 2376.73/2384.29 o 465369 2376.93/2384.45 o 465368 2377.13/2384.60 o 465367 2377.23/2384.77 o 465267 2377.43/2384.95 o 465167 2377.53/2385.10 o 465166 2377.73/2385.27 o 465066 2377.93/2385.44 o 464966 2378.13/2385.61 o 464866 2378.22/2385.77 o 464865 2378.42/2385.94 o 464765 2378.53/2386.09 o 464764 2378.72/2386.25 o 464763 2378.92/2386.42 o 464663 2379.02/2386.59 o 464563 2379.22/2386.74 o 464562 2379.42/2386.91 o 464462 2379.53/2387.08 o 464362 2379.72/2387.25 o 464262 2379.92/2387.41 o 464162 2380.02/2387.58 o 464062 2380.22/2387.75 o 463962 2380.42/2387.90 o 463961 2380.52/2388.05 o 463960 2380.72/2388.22 o 463860 2380.82/2388.39 o 463760 2381.02/2388.54 o 463759 2381.22/2388.70 o 463659 2381.32/2388.87 o 463559 2381.52/2389.02 o 463558 2381.62/2389.16 o 463557 2381.81/2389.33 o 463457 2381.91/2389.48 o 463456 2382.11/2389.63 o 463455 2382.21/2389.80 o 463355 2382.41/2389.94 o 463354 2382.62/2390.11 o 463254 2382.71/2390.26 o 463253 2382.91/2390.42 o 463153 2383.01/2390.57 o 463152 2383.21/2390.72 o 463151 2383.32/2390.87 o 463150 2383.52/2391.03 o 463050 2383.62/2391.18 o 463049 2383.82/2391.34 o 462949 2383.92/2391.49 o 462948 2387.71/2395.20 o 462861 2387.80/2395.36 o 462860 2388.00/2395.52 o 462859 2388.10/2395.67 o 462858 2388.30/2395.83 o 462857 2388.40/2395.99 o 462856 2388.61/2396.15 o 462855 2388.80/2396.30 o 462854 2388.90/2396.45 o 462853 2389.10/2396.61 o 462852 2389.20/2396.76 o 462851 2389.40/2396.91 o 462850 2389.51/2397.07 o 462849 2394.29/2401.82 o 452849 2690.64/2698.98 o 452848 3039.87/3049.02 o 452847 3176.21/3185.70 o 443947 3178.31/3187.88 o 443874 3178.51/3188.06 o 443873 3178.70/3188.24 o 443872 3178.90/3188.43 o 443871 3179.10/3188.60 o 443870 3179.20/3188.79 o 443869 3179.40/3188.96 o 443868 3179.61/3189.14 o 443867 3179.80/3189.31 o 443866 3179.90/3189.48 o 443865 3180.10/3189.65 o 443864 3180.30/3189.82 o 443863 3180.40/3190.00 o 443862 3180.60/3190.16 o 443861 3180.80/3190.33 o 443860 3181.00/3190.50 o 443859 3181.10/3190.66 o 443858 3181.29/3190.83 o 443857 3181.39/3190.99 o 443856 3181.60/3191.15 o 443855 3181.79/3191.33 o 443755 3181.99/3191.50 o 443655 3182.09/3191.65 o 443654 3182.29/3191.82 o 443554 3182.39/3192.00 o 443454 3182.60/3192.17 o 443354 3182.79/3192.34 o 443254 3182.99/3192.50 o 443253 3183.09/3192.65 o 443252 3183.29/3192.80 o 443251 3183.39/3192.95 o 443250 3183.59/3193.11 o 443249 3183.69/3193.26 o 443248 3183.89/3193.42 o 443247 3183.99/3193.57 o 443246 3184.19/3193.72 o 443245 3184.29/3193.87 o 443244 3184.49/3194.04 o 443144 3184.69/3194.21 o 443044 3184.79/3194.36 o 443043 3184.98/3194.51 o 443042 3185.08/3194.66 o 443041 3275.16/3285.00 o 434668 3275.46/3285.26 o 434667 3275.76/3285.51 o 434666 3275.96/3285.75 o 434665 3276.16/3285.99 o 434664 3276.46/3286.24 o 434663 3276.66/3286.48 o 434662 3276.96/3286.71 o 434661 3277.16/3286.95 o 434660 3277.36/3287.19 o 434659 3277.66/3287.43 o 434658 3277.85/3287.66 o 434657 3278.05/3287.89 o 434656 3278.36/3288.12 o 434655 3278.55/3288.35 o 434654 3278.75/3288.58 o 434653 3279.05/3288.81 o 434652 3279.26/3289.04 o 434651 3279.45/3289.26 o 434650 3280.95/3290.79 o 434649 3282.35/3292.17 o 434648 3286.93/3296.71 o 434647 3291.52/3301.34 o 434602 3317.36/3327.22 o 434601 3517.86/3528.21 o 434600 3600.06/3610.61 c Program interrupted by user. 3600.06/3610.61 s SATISFIABLE 3600.06/3610.61 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
OK 383440
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: 63708 MiB (62045 MiB free)
memory of node 1: 64465 MiB (61622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525744-1751625803/watcher-4525744-1751625803 -o /tmp/evaluation-result-4525744-1751625803/solver-4525744-1751625803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89264 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=47145597 --ls=360 --inp-dombreaklim=0 HOME/instance-4525744-1751625803.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89317, runsolver pid=89313
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126505728/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=73256 memory=46588 CPUtime=0.09 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 13469 0 0 0 6 3 0 0 20 0 1 0 78258774 75014144 11647 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 18314 11647 1024 1200 0 16794 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73256 KiB
Current children cumulated memory: 46588 KiB
[startup+0.205801 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126366988/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=115904 memory=87284 CPUtime=0.2 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 22545 0 0 0 15 5 0 0 20 0 1 0 78258774 118685696 21821 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 28976 21821 1024 1200 0 27456 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115904 KiB
Current children cumulated memory: 87284 KiB
[startup+0.305839 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126230900/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=137832 memory=116384 CPUtime=0.29 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 28928 0 0 0 23 6 0 0 20 0 1 0 78258774 141139968 29096 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 34458 29096 1024 1200 0 32938 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137832 KiB
Current children cumulated memory: 116384 KiB
[startup+0.700186 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126042124/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=294644 memory=262760 CPUtime=0.68 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 47594 0 0 0 57 11 0 0 20 0 1 0 78258774 301715456 65690 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 73661 65690 1024 1200 0 72141 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 294644 KiB
Current children cumulated memory: 262760 KiB
[startup+1.5002 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=125570244/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=513684 memory=494440 CPUtime=1.48 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 75828 0 0 0 128 20 0 0 20 0 1 0 78258774 526012416 123610 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 128421 123610 1024 1200 0 126901 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 513684 KiB
Current children cumulated memory: 494440 KiB
[startup+3.10589 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=124855088/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=3.08 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 98705 0 0 0 285 23 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+6.30019 s]
/proc/loadavg: 1.74 2.09 2.67 5/263 89322
/proc/meminfo: memFree=124855868/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=6.25 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 99677 0 0 0 602 23 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+12.7002 s]
/proc/loadavg: 1.92 2.12 2.68 5/263 89322
/proc/meminfo: memFree=124856140/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=12.62 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 99760 0 0 0 1239 23 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+25.5002 s]
/proc/loadavg: 2.45 2.23 2.71 5/263 89322
/proc/meminfo: memFree=124856716/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=25.37 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 99843 0 0 0 2513 24 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+51.1061 s]
/proc/loadavg: 2.98 2.37 2.74 5/263 89322
/proc/meminfo: memFree=124856540/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=50.85 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 99946 0 0 0 5061 24 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.64 2.82 5/264 89327
/proc/meminfo: memFree=124853528/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=101.76 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 100044 0 0 0 10152 24 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.90 2.90 5/265 89335
/proc/meminfo: memFree=124841964/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=161.41 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 100129 0 0 0 16117 24 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.12 2.98 5/265 89337
/proc/meminfo: memFree=124818920/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=220.99 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 100184 0 0 0 22074 25 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 220.99 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.31 3.05 5/265 89339
/proc/meminfo: memFree=124820688/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=280.57 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 100221 0 0 0 28032 25 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 280.57 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.46 3.12 5/265 89341
/proc/meminfo: memFree=124822824/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=616220 memory=593956 CPUtime=340.14 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 100236 0 0 0 33989 25 0 0 20 0 1 0 78258774 631009280 148489 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 154055 148489 1024 1200 0 152535 0
Current children cumulated CPU time: 340.14 s
Current children cumulated vsize: 616220 KiB
Current children cumulated memory: 593956 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.58 3.18 5/264 89343
/proc/meminfo: memFree=120483384/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=1772084 memory=1696140 CPUtime=399.88 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 247012 0 0 0 39924 64 0 0 20 0 1 0 78258774 1814614016 424035 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 443021 424035 1248 1200 0 441501 0
Current children cumulated CPU time: 399.88 s
Current children cumulated vsize: 1772084 KiB
Current children cumulated memory: 1696140 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.67 3.24 5/262 89345
/proc/meminfo: memFree=117160720/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=3543664 memory=3300704 CPUtime=459.69 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 531727 0 0 0 45834 135 0 0 20 0 1 0 78258774 3628711936 825176 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 885916 825176 1248 1200 0 884396 0
Current children cumulated CPU time: 459.69 s
################
# More data... #
################
Current children cumulated memory: 6200352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/263 89469
/proc/meminfo: memFree=100333228/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6227408 memory=6202272 CPUtime=2913.48 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1045445 0 0 0 291031 317 0 0 20 0 1 0 78258774 6376865792 1550568 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1556852 1550568 1248 1200 0 1555332 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 6227408 KiB
Current children cumulated memory: 6202272 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.14 4.07 5/263 89471
/proc/meminfo: memFree=100346164/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6205256 CPUtime=2973.33 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1047878 0 0 0 297014 319 0 0 20 0 1 0 78258774 6377943040 1551314 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1551314 1248 1200 0 1555595 0
Current children cumulated CPU time: 2973.33 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6205256 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/263 89473
/proc/meminfo: memFree=100327008/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6206152 CPUtime=3033.18 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1050629 0 0 0 302998 320 0 0 20 0 1 0 78258774 6377943040 1551538 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1551538 1248 1200 0 1555595 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6206152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/262 89477
/proc/meminfo: memFree=100333924/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6206280 CPUtime=3093.02 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1052795 0 0 0 308982 320 0 0 20 0 1 0 78258774 6377943040 1551570 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1551570 1248 1200 0 1555595 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6206280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/264 89485
/proc/meminfo: memFree=100342960/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6206664 CPUtime=3152.87 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1055004 0 0 0 314966 321 0 0 20 0 1 0 78258774 6377943040 1551666 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1551666 1248 1200 0 1555595 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6206664 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/264 89487
/proc/meminfo: memFree=100326552/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6208712 CPUtime=3212.72 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1057574 0 0 0 320949 323 0 0 20 0 1 0 78258774 6377943040 1552178 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1552178 1248 1200 0 1555595 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6208712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/264 89489
/proc/meminfo: memFree=100324332/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6212680 CPUtime=3272.57 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1060189 0 0 0 326933 324 0 0 20 0 1 0 78258774 6377943040 1553170 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553170 1248 1200 0 1555595 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6212680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/264 89491
/proc/meminfo: memFree=100316600/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6212680 CPUtime=3332.43 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1062788 0 0 0 332918 325 0 0 20 0 1 0 78258774 6377943040 1553170 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553170 1248 1200 0 1555595 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6212680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 89493
/proc/meminfo: memFree=100316672/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6212680 CPUtime=3392.27 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1065051 0 0 0 338901 326 0 0 20 0 1 0 78258774 6377943040 1553170 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553170 1248 1200 0 1555595 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6212680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 89496
/proc/meminfo: memFree=100152600/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6212680 CPUtime=3452.12 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1067595 0 0 0 344885 327 0 0 20 0 1 0 78258774 6377943040 1553170 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553170 1248 1200 0 1555595 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6212680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 89498
/proc/meminfo: memFree=100090884/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6212680 CPUtime=3511.97 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1070194 0 0 0 350869 328 0 0 20 0 1 0 78258774 6377943040 1553170 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553170 1248 1200 0 1555595 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6212680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 89500
/proc/meminfo: memFree=100094180/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6214816 CPUtime=3571.83 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1072556 0 0 0 356854 329 0 0 20 0 1 0 78258774 6377943040 1553704 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553704 1248 1200 0 1555595 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6214816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89501
/proc/meminfo: memFree=100089836/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=6228460 memory=6214816 CPUtime=3600.06 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1073617 0 0 0 359677 329 0 0 20 0 1 0 78258774 6377943040 1553704 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1557115 1553704 1248 1200 0 1555595 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 6228460 KiB
Current children cumulated memory: 6214816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.83 s]
# the end of solver process 89317 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.98 s, system=3.3131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89501
/proc/meminfo: memFree=100089836/131249996 swapFree=33010160/33010684
[pid=89317] ppid=89313 vsize=4486888 memory=4477604 CPUtime=3600.26 cores=4,6
/proc/89317/stat : 89317 (Exact) R 89313 89317 89253 0 -1 4194304 1074000 0 0 0 359696 330 0 0 20 0 1 0 78258774 4594573312 1119401 18446744073709551615 4198400 9112445 140731551222544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 33734656 140731551226150 140731551226347 140731551226347 140731551231951 0
/proc/89317/statm: 1121722 1119401 1280 1200 0 1120202 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 4486888 KiB
Current children cumulated memory: 4477604 KiB
Child status: 10
Real time (s): 3610.83
CPU time (s): 3600.3
CPU user time (s): 3596.98
CPU system time (s): 3.3131
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 6228460
Max. memory (cumulated for all children) (KiB): 6214816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.98
system time used= 3.3131
maximum resident set size= 6214944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1074016
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= 91
involuntary context switches= 3561
# summary of solver processes directly reported to runsolver:
# pid: 89317
# total CPU time (s): 3600.3
# total CPU user time (s): 3596.98
# total CPU system time (s): 3.3131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17021 second user time and 16.9147 second system time
The end
Begin job on nodeC029 at 2025-07-04 12:43:23 IDJOB=4525744 IDBENCH=143884 IDSOLVER=3376 FILE ID=nodeC029/4525744-1751625803 RUNJOBID= nodeC029-1751625803-89264 SLURM_JOB_ID= 9598951 Free space on /tmp= 432184 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525744-1751625803/watcher-4525744-1751625803 -o /tmp/evaluation-result-4525744-1751625803/solver-4525744-1751625803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89264 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=47145597 --ls=360 --inp-dombreaklim=0 HOME/instance-4525744-1751625803.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14 RANDOM SEED=47145597 nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.373 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 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 : 3599.768 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.724 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 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 : 3599.917 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3519.393 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 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 : 3601.062 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.731 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.064 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126650636 kB MemAvailable: 129727184 kB Buffers: 2128 kB Cached: 3868500 kB SwapCached: 40 kB Active: 505468 kB Inactive: 3428660 kB Active(anon): 77076 kB Inactive(anon): 4768 kB Active(file): 428392 kB Inactive(file): 3423892 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 49476 kB Writeback: 4 kB AnonPages: 67584 kB Mapped: 104140 kB Shmem: 18020 kB KReclaimable: 127008 kB Slab: 216660 kB SReclaimable: 127008 kB SUnreclaim: 89652 kB KernelStack: 4176 kB PageTables: 2908 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 334332 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432160 MiB End job on nodeC029 at 2025-07-04 13:43:34