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.16 | 3613.85 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo |
| MD5SUM | d7d01ec0794d07991a9972239b49c230 |
| 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 | 202342 |
| Best CPU time to get the best result obtained on this benchmark | 9.55977 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 444 |
| Total number of constraints | 80644 |
| Number of soft constraints | 80622 |
| Number of constraints which are clauses | 80622 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Top cost | 54058235 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 6107276475 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| 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 |
359.09/361.65 o 18290373 359.20/361.73 o 1752707 359.29/361.81 o 1752607 359.29/361.89 o 1742607 359.39/361.96 o 1742606 359.50/362.04 o 1742506 359.60/362.11 o 1742406 359.60/362.19 o 1732406 359.69/362.27 o 1722406 359.79/362.35 o 1722306 359.89/362.43 o 1722305 359.98/362.51 o 1712305 359.98/362.58 o 1712205 360.08/362.66 o 1712105 360.18/362.73 o 1712005 360.29/362.82 o 1712004 360.38/362.90 o 1711904 360.38/362.99 o 1701904 360.50/363.06 o 1691904 360.60/363.14 o 1691903 360.68/363.23 o 1681903 360.79/363.30 o 1671903 360.79/363.38 o 1671902 360.88/363.46 o 1671802 360.98/363.54 o 1671801 361.08/363.62 o 1671800 361.18/363.70 o 1661800 361.18/363.77 o 1661799 361.28/363.85 o 1661699 361.38/363.93 o 1661599 361.38/364.00 o 1661499 361.49/364.09 o 1651499 361.59/364.17 o 1641499 361.68/364.27 o 1631499 361.78/364.34 o 1621499 361.88/364.42 o 1621399 361.88/364.49 o 1621299 361.98/364.57 o 1621298 362.08/364.66 o 1621297 362.18/364.74 o 1621296 362.28/364.82 o 1611296 362.28/364.89 o 1611196 362.38/364.96 o 1601196 362.49/365.04 o 1601096 362.59/365.11 o 1591096 362.59/365.19 o 1590996 362.68/365.26 o 1590896 362.78/365.34 o 1580896 362.88/365.41 o 1580895 362.88/365.48 o 1580795 362.98/365.55 o 1580695 363.08/365.63 o 1570695 363.18/365.70 o 1560695 363.18/365.78 o 1550695 363.27/365.85 o 1550694 363.37/365.92 o 1550693 363.37/366.00 o 1540693 363.49/366.07 o 1530693 363.59/366.15 o 1520693 363.67/366.22 o 1520593 363.67/366.29 o 1520493 363.77/366.37 o 1520393 363.87/366.44 o 1510393 363.97/366.55 o 1510392 364.08/366.63 o 1510292 364.17/366.74 o 1510192 364.27/366.82 o 1500192 364.27/366.89 o 1490192 364.37/366.97 o 1490191 364.48/367.07 o 1480191 364.58/367.14 o 1470191 364.67/367.22 o 1470091 364.67/367.30 o 1460091 364.77/367.37 o 1450091 364.87/367.44 o 1440091 364.97/367.51 o 1439991 364.97/367.59 o 1429991 365.07/367.66 o 1419991 365.17/367.73 o 1419990 365.27/367.81 o 1419890 365.27/367.88 o 1419790 365.37/367.95 o 1409790 365.48/368.03 o 1409690 365.48/368.10 o 1409689 365.59/368.17 o 1409589 365.68/368.25 o 1399589 365.78/368.32 o 1399489 365.78/368.39 o 1389489 365.88/368.47 o 1389389 365.98/368.54 o 1379389 366.08/368.61 o 1369389 366.08/368.68 o 1369388 366.17/368.75 o 1369387 366.27/368.82 o 1359387 366.37/368.90 o 1359287 366.37/368.97 o 1349287 366.49/369.05 o 1339287 366.59/369.13 o 1329287 366.67/369.20 o 1319287 366.67/369.27 o 1319187 366.77/369.35 o 1309187 366.87/369.42 o 1309087 366.87/369.49 o 1308987 366.97/369.56 o 1308887 367.07/369.64 o 1298887 367.17/369.71 o 1298886 367.17/369.78 o 1288886 367.27/369.86 o 1278886 367.37/369.93 o 1278885 367.37/370.00 o 1268885 367.48/370.08 o 1258885 367.58/370.15 o 1258785 367.66/370.22 o 1258685 367.76/370.30 o 1258585 367.76/370.37 o 1258485 367.86/370.44 o 1248485 367.96/370.52 o 1238485 367.96/370.59 o 1238484 368.06/370.66 o 1238483 368.16/370.73 o 1228483 368.26/370.81 o 1228482 368.26/370.88 o 1228481 368.36/370.95 o 1218481 368.47/371.02 o 1218381 368.58/371.14 o 1208381 368.66/371.22 o 1208380 368.66/371.28 o 1208379 368.86/371.43 o 1208378 368.97/371.53 o 1208278 369.07/371.65 o 1208277 369.17/371.73 o 1198277 369.27/371.80 o 1188277 369.27/371.87 o 1188276 369.37/371.94 o 1178276 369.48/372.02 o 1178176 369.48/372.09 o 1178076 369.58/372.16 o 1168076 369.66/372.23 o 1167976 369.76/372.30 o 1167876 369.76/372.37 o 1157876 369.86/372.45 o 1157776 369.96/372.52 o 1147776 369.96/372.59 o 1147775 370.06/372.66 o 1137775 370.16/372.73 o 1127775 370.26/372.80 o 1127675 370.26/372.88 o 1127575 370.36/372.95 o 1117575 370.47/373.02 o 1117475 370.47/373.09 o 1117375 370.57/373.16 o 1107375 370.66/373.23 o 1107275 370.76/373.30 o 1097275 370.76/373.37 o 1087275 370.86/373.45 o 1077275 370.96/373.52 o 1067275 370.96/373.59 o 1067274 371.06/373.66 o 1067174 371.16/373.73 o 1067074 371.26/373.80 o 1067073 371.26/373.87 o 1066973 371.35/373.94 o 1056973 371.47/374.01 o 1056873 371.47/374.08 o 1056773 371.57/374.15 o 1056772 371.65/374.22 o 1046772 371.65/374.29 o 1036772 371.75/374.37 o 1026772 371.85/374.44 o 1016772 371.95/374.51 o 1016672 371.95/374.58 o 1006672 372.05/374.66 o 746672 372.15/374.73 o 746572 372.15/374.78 o 746571 392.51/395.13 o 746570 421.02/423.78 o 746569 466.88/469.73 o 746568 488.72/491.68 o 746567 488.82/491.74 o 746566 488.92/491.80 o 746565 488.92/491.87 o 746564 489.02/491.93 o 746563 489.02/491.99 o 746562 489.13/492.05 o 746561 489.23/492.11 o 746560 489.23/492.18 o 746559 489.32/492.24 o 746558 489.42/492.30 o 746557 489.42/492.36 o 746556 489.52/492.42 o 746555 489.52/492.48 o 746554 489.62/492.55 o 746553 489.72/492.61 o 746552 489.72/492.67 o 746551 489.82/492.73 o 746550 489.82/492.79 o 746549 489.92/492.85 o 746548 490.02/492.91 o 746547 490.02/492.97 o 746546 490.13/493.03 o 746545 490.13/493.09 o 746544 490.23/493.15 o 746543 490.32/493.21 o 746542 490.32/493.27 o 746541 490.42/493.33 o 746540 490.42/493.39 o 746539 490.52/493.45 o 746538 490.62/493.51 o 746537 490.62/493.57 o 746536 490.72/493.63 o 746535 490.72/493.69 o 746534 490.82/493.75 o 746533 490.92/493.81 o 746532 490.92/493.87 o 746531 491.02/493.93 o 746530 491.02/493.99 o 746529 491.13/494.05 o 746528 491.13/494.11 o 746527 491.23/494.16 o 746526 491.32/494.22 o 746525 491.32/494.28 o 746524 491.42/494.34 o 746523 491.52/494.40 o 746522 491.52/494.46 o 746521 491.61/494.52 o 746520 491.61/494.57 o 746519 491.71/494.63 o 746518 491.71/494.69 o 746517 491.81/494.75 o 746516 491.91/494.81 o 746515 491.91/494.86 o 746514 492.01/494.92 o 746513 492.01/494.98 o 746512 492.13/495.04 o 746511 492.13/495.10 o 746510 492.23/495.15 o 746509 492.31/495.21 o 746508 492.31/495.27 o 746507 492.41/495.32 o 746506 492.41/495.38 o 746505 492.51/495.44 o 746504 492.51/495.50 o 746503 492.61/495.55 o 746502 492.71/495.61 o 746501 492.71/495.67 o 746500 492.81/495.72 o 746499 492.81/495.78 o 746498 492.91/495.84 o 746497 492.91/495.89 o 746496 493.01/495.95 o 746495 493.01/496.00 o 746494 493.12/496.06 o 746493 493.22/496.12 o 746492 493.22/496.17 o 746491 493.31/496.23 o 746490 493.31/496.28 o 746489 493.41/496.34 o 746488 493.51/496.40 o 746487 493.51/496.45 o 746486 493.61/496.51 o 746386 493.61/496.57 o 746286 493.71/496.63 o 746186 493.71/496.69 o 746185 493.81/496.75 o 746085 493.91/496.81 o 745985 493.91/496.87 o 745885 494.01/496.92 o 745884 494.01/496.98 o 745883 494.12/497.03 o 745882 494.12/497.09 o 745782 494.22/497.15 o 745682 494.31/497.21 o 745582 494.31/497.27 o 745482 494.41/497.33 o 745481 494.41/497.39 o 745381 494.51/497.44 o 745380 494.51/497.50 o 745379 494.61/497.55 o 745279 494.71/497.61 o 745278 494.71/497.66 o 745277 494.80/497.72 o 745177 494.80/497.78 o 745176 494.90/497.83 o 745076 494.90/497.89 o 744976 495.00/497.95 o 744876 495.00/498.00 o 744875 495.12/498.06 o 744874 495.22/498.11 o 744873 495.22/498.17 o 744773 495.30/498.23 o 744772 495.30/498.28 o 744771 495.40/498.33 o 744770 495.40/498.39 o 744769 495.50/498.45 o 744669 495.60/498.50 o 744668 495.60/498.55 o 744667 495.70/498.61 o 744666 495.70/498.66 o 744665 495.80/498.72 o 744565 495.80/498.77 o 744564 495.90/498.83 o 744563 495.90/498.88 o 744562 496.00/498.94 o 744462 496.00/498.99 o 744461 496.11/499.04 o 744460 496.11/499.10 o 744360 496.21/499.16 o 744260 496.30/499.21 o 744259 496.30/499.26 o 744258 496.40/499.32 o 744158 496.40/499.38 o 744058 496.50/499.43 o 744057 496.50/499.49 o 743957 496.60/499.55 o 743857 496.70/499.61 o 743757 496.70/499.66 o 743756 496.80/499.71 o 743755 496.80/499.76 o 743754 496.90/499.82 o 743753 497.21/500.16 o 743658 497.30/500.21 o 743657 497.30/500.27 o 743656 497.40/500.33 o 743655 498.49/501.47 o 733758 498.59/501.53 o 733757 498.59/501.58 o 733756 498.69/501.63 o 733755 498.89/501.87 o 723854 499.29/502.24 o 713854 672.51/675.95 o 704110 672.51/676.01 o 704109 672.63/676.06 o 704108 672.72/676.11 o 704107 672.72/676.16 o 704106 672.81/676.21 o 704105 672.81/676.26 o 704104 672.91/676.32 o 704103 672.91/676.37 o 704102 673.01/676.42 o 704101 673.01/676.47 o 704100 673.11/676.52 o 704099 673.11/676.57 o 704098 673.21/676.63 o 704097 673.21/676.68 o 704096 673.31/676.73 o 704095 673.31/676.78 o 703995 673.41/676.82 o 703994 673.41/676.87 o 703993 673.51/676.92 o 703992 673.51/676.97 o 703991 673.62/677.01 o 703990 673.62/677.06 o 703989 673.62/677.11 o 703988 673.72/677.15 o 703987 673.81/677.20 o 703986 673.81/677.24 o 703985 673.81/677.29 o 703984 673.91/677.33 o 703983 673.91/677.38 o 703982 674.01/677.42 o 703981 674.01/677.47 o 703980 674.11/677.51 o 703979 674.11/677.56 o 703978 674.21/677.60 o 703977 674.21/677.65 o 703976 674.21/677.69 o 703975 674.31/677.74 o 703974 674.31/677.78 o 703973 674.41/677.82 o 703972 674.41/677.86 o 703971 674.51/677.91 o 703970 674.51/677.95 o 703969 674.51/677.99 o 703968 674.62/678.04 o 703967 674.62/678.08 o 703966 674.72/678.12 o 703965 674.72/678.16 o 703964 674.81/678.21 o 703963 674.81/678.25 o 703962 674.81/678.29 o 703961 674.91/678.33 o 703960 674.91/678.37 o 703959 675.01/678.42 o 703958 675.01/678.46 o 703858 675.11/678.50 o 703857 677.00/680.48 o 694058 677.40/680.89 o 693975 677.51/680.94 o 693974 677.51/680.98 o 693973 677.62/681.03 o 693972 677.62/681.07 o 693971 677.72/681.12 o 693970 677.72/681.16 o 693969 677.81/681.21 o 693968 677.81/681.25 o 693967 677.81/681.29 o 693966 677.91/681.34 o 693965 677.91/681.38 o 693964 678.01/681.42 o 693963 678.01/681.47 o 693962 678.11/681.51 o 693961 678.11/681.55 o 693960 678.21/681.60 o 693959 678.21/681.64 o 693958 729.67/733.20 o 693950 791.60/795.32 o 564487 792.00/795.76 o 564486 792.10/795.81 o 564485 792.10/795.86 o 564484 792.20/795.91 o 564384 792.20/795.95 o 564383 792.20/796.00 o 564382 792.31/796.05 o 564282 792.31/796.09 o 564281 792.41/796.14 o 564280 792.41/796.18 o 564279 792.49/796.23 o 564278 792.49/796.27 o 564277 792.59/796.35 o 564276 792.59/796.40 o 564275 792.69/796.44 o 564274 792.69/796.49 o 564273 792.79/796.54 o 564272 792.79/796.59 o 564172 792.89/796.63 o 564171 792.89/796.69 o 564071 792.99/796.73 o 564070 792.99/796.78 o 564069 793.09/796.82 o 564068 793.09/796.87 o 564067 793.19/796.92 o 563967 793.19/796.97 o 563966 793.30/797.01 o 563965 793.30/797.06 o 563964 793.30/797.11 o 563963 793.40/797.15 o 563962 793.49/797.20 o 563862 793.49/797.25 o 563861 793.49/797.29 o 563860 793.59/797.34 o 563859 899.29/903.49 o 563858 1451.35/1457.53 o 563857 1591.37/1598.05 o 556995 1638.48/1645.32 o 556994 1798.63/1806.06 o 556993 1932.94/1940.89 o 556992 1933.04/1940.96 o 556991 1933.15/1941.03 o 556990 1933.15/1941.10 o 556989 1933.25/1941.17 o 556988 1933.34/1941.24 o 556987 1933.44/1941.31 o 556986 1933.44/1941.38 o 556985 1933.54/1941.45 o 556984 1933.64/1941.52 o 556983 1933.64/1941.59 o 556982 1933.74/1941.66 o 556981 1933.84/1941.73 o 556980 1933.84/1941.80 o 556979 1933.94/1941.86 o 556978 1934.04/1941.93 o 556977 1934.04/1942.00 o 556976 1934.15/1942.07 o 556975 1934.25/1942.14 o 556974 1934.34/1942.20 o 556973 1934.34/1942.27 o 556972 1934.44/1942.34 o 556971 1934.54/1942.41 o 556970 1934.54/1942.47 o 556969 1934.64/1942.54 o 556968 1934.73/1942.61 o 556967 1934.73/1942.68 o 556966 1934.83/1942.74 o 556965 1934.93/1942.81 o 556964 1934.93/1942.87 o 556963 1935.03/1942.94 o 556962 1935.03/1943.01 o 556961 1935.15/1943.07 o 556960 1935.24/1943.14 o 556959 1935.33/1943.20 o 556958 1935.33/1943.27 o 556957 1935.43/1943.34 o 556956 1935.53/1943.40 o 556955 1935.53/1943.47 o 556954 1935.63/1943.53 o 556953 1935.73/1943.60 o 556952 1935.73/1943.66 o 556951 1935.83/1943.73 o 556950 1935.83/1943.79 o 556949 1935.93/1943.85 o 556948 1936.03/1943.92 o 556947 1936.03/1943.98 o 556946 1936.14/1944.04 o 556945 1936.24/1944.11 o 556944 1936.24/1944.17 o 556943 1936.33/1944.24 o 556942 1936.43/1944.30 o 556941 1936.43/1944.36 o 556940 1936.53/1944.43 o 556939 1936.53/1944.49 o 556938 1936.63/1944.55 o 556937 1936.73/1944.61 o 556936 1936.73/1944.68 o 556935 1936.83/1944.74 o 556934 1936.93/1944.80 o 556933 1936.93/1944.86 o 556932 1937.03/1944.93 o 556931 1937.03/1944.99 o 556930 1937.14/1945.05 o 556929 1937.24/1945.11 o 556928 1937.24/1945.17 o 556927 1937.32/1945.23 o 556926 1937.32/1945.29 o 556925 1937.42/1945.35 o 556924 1937.52/1945.41 o 556923 1937.52/1945.47 o 556922 1937.62/1945.53 o 556921 1937.62/1945.59 o 556920 1937.72/1945.65 o 556919 1937.82/1945.71 o 556918 1937.82/1945.77 o 556917 1937.92/1945.83 o 556916 1937.92/1945.89 o 556915 1938.02/1945.95 o 556914 1938.02/1946.01 o 556913 1938.13/1946.07 o 556912 1938.23/1946.13 o 556911 1938.23/1946.19 o 556910 1938.32/1946.25 o 556909 1938.42/1946.30 o 556908 1938.42/1946.36 o 556907 1938.52/1946.42 o 556906 1938.52/1946.48 o 556905 1938.62/1946.53 o 556904 1938.62/1946.59 o 556903 1938.72/1946.65 o 556902 1938.82/1946.71 o 556901 1938.82/1946.76 o 556900 1938.92/1946.82 o 556899 1938.92/1946.88 o 556898 1939.02/1946.94 o 556798 1939.02/1947.00 o 556698 1939.13/1947.06 o 556598 1939.23/1947.12 o 556498 1939.23/1947.18 o 556497 1939.31/1947.23 o 556496 1939.31/1947.30 o 556396 1939.41/1947.35 o 556296 1939.51/1947.41 o 556196 1939.51/1947.48 o 556096 1939.61/1947.54 o 555996 1939.61/1947.59 o 555896 1939.71/1947.65 o 555796 1939.81/1947.71 o 555696 1939.81/1947.77 o 555695 1939.91/1947.83 o 555694 1939.91/1947.88 o 555693 1940.01/1947.94 o 555692 1940.01/1947.99 o 555592 1940.12/1948.05 o 555492 1940.22/1948.11 o 555392 1940.22/1948.17 o 555391 1940.31/1948.22 o 555390 1940.31/1948.28 o 555389 1940.41/1948.33 o 555388 1940.41/1948.38 o 555387 1940.51/1948.44 o 555386 1940.51/1948.49 o 555385 1940.61/1948.54 o 555384 1940.61/1948.60 o 555383 1940.71/1948.65 o 555382 1940.81/1948.70 o 555381 1940.81/1948.75 o 555380 1940.91/1948.81 o 555280 1940.91/1948.86 o 555180 1941.01/1948.91 o 555080 1941.01/1948.97 o 554980 1941.12/1949.02 o 554979 1941.12/1949.07 o 554879 1941.22/1949.12 o 554878 1941.22/1949.17 o 554877 1941.31/1949.22 o 554777 1942.60/1950.52 o 554692 2491.05/2500.99 o 554691 2491.16/2501.05 o 554690 2491.16/2501.10 o 554689 2491.26/2501.16 o 554688 2491.35/2501.21 o 554687 2491.35/2501.26 o 554686 2491.45/2501.32 o 554685 2491.45/2501.37 o 554684 2491.55/2501.42 o 554683 2491.55/2501.47 o 554682 2491.65/2501.53 o 554681 2491.65/2501.58 o 554680 2491.75/2501.63 o 554679 2491.75/2501.68 o 554678 2491.85/2501.74 o 554677 2491.85/2501.79 o 554676 2491.95/2501.84 o 554675 2492.05/2501.90 o 554674 2492.05/2501.95 o 554673 2492.05/2502.00 o 554672 2492.16/2502.05 o 554671 2492.16/2502.10 o 554670 2492.26/2502.16 o 554669 2492.35/2502.21 o 554668 2492.35/2502.26 o 554667 2492.45/2502.31 o 554666 2492.45/2502.36 o 554665 2492.55/2502.42 o 554664 2492.55/2502.47 o 554663 2492.65/2502.52 o 554662 2492.65/2502.57 o 554661 2492.75/2502.62 o 554660 2492.75/2502.67 o 554659 2492.84/2502.72 o 554658 2492.84/2502.78 o 554657 2492.94/2502.83 o 554656 2492.94/2502.88 o 554655 2493.04/2502.93 o 554654 2493.04/2502.99 o 554554 2493.16/2503.04 o 554553 2493.16/2503.09 o 554552 2493.26/2503.14 o 554452 2493.34/2503.20 o 554352 2493.34/2503.25 o 554351 2493.44/2503.30 o 554350 2493.44/2503.35 o 554349 2493.54/2503.40 o 554348 2493.54/2503.45 o 554347 2493.64/2503.50 o 554346 2493.64/2503.56 o 554246 2493.74/2503.61 o 554146 2493.74/2503.66 o 554145 2493.84/2503.71 o 554144 2586.52/2596.70 o 554143 2718.24/2728.96 o 554142 2718.36/2729.03 o 554141 2718.36/2729.09 o 554140 2718.46/2729.15 o 554139 2718.54/2729.20 o 554138 2718.54/2729.26 o 554137 2718.64/2729.32 o 554136 2718.64/2729.37 o 554135 2718.74/2729.43 o 554134 2718.74/2729.49 o 554133 2718.84/2729.55 o 554132 2718.94/2729.60 o 554131 2718.94/2729.66 o 554130 2719.04/2729.72 o 554129 2719.04/2729.77 o 554128 2719.14/2729.83 o 554127 2719.14/2729.89 o 554126 2719.24/2729.94 o 554125 2719.24/2730.00 o 554124 2719.35/2730.06 o 554123 2719.45/2730.11 o 554122 2719.45/2730.17 o 554121 2719.54/2730.23 o 554120 2719.54/2730.28 o 554119 2719.64/2730.34 o 554118 2719.64/2730.39 o 554117 2719.74/2730.45 o 554116 2719.84/2730.50 o 554115 2719.84/2730.56 o 554114 2719.94/2730.62 o 554113 2719.94/2730.67 o 554112 2720.04/2730.73 o 554111 2720.04/2730.78 o 554110 2720.14/2730.84 o 554109 2720.14/2730.89 o 554108 2720.24/2730.95 o 554107 2720.24/2731.00 o 554106 2720.35/2731.06 o 554105 2720.45/2731.11 o 554104 2720.45/2731.17 o 554103 2720.54/2731.22 o 554102 2720.54/2731.28 o 554101 2720.64/2731.33 o 554100 2720.64/2731.38 o 554099 2720.74/2731.44 o 554098 2720.74/2731.49 o 554097 2720.84/2731.54 o 554096 2720.84/2731.60 o 554095 2720.93/2731.65 o 554094 2721.03/2731.70 o 554093 2721.03/2731.75 o 554092 2721.13/2731.80 o 554091 2721.13/2731.86 o 554090 2721.23/2731.91 o 554089 2721.23/2731.96 o 554088 2721.35/2732.01 o 554087 2721.35/2732.06 o 554086 2721.45/2732.11 o 554085 2721.45/2732.16 o 554084 2721.53/2732.21 o 554083 2721.53/2732.26 o 554082 2721.63/2732.31 o 554081 2721.63/2732.36 o 554080 2721.73/2732.41 o 554079 2721.73/2732.46 o 554078 2721.83/2732.51 o 554077 2721.83/2732.56 o 554076 2721.93/2732.60 o 554075 2721.93/2732.65 o 554074 2722.03/2732.70 o 554073 2722.03/2732.75 o 554072 2722.03/2732.79 o 554071 2722.13/2732.84 o 554070 2722.13/2732.89 o 554069 2722.23/2732.94 o 554068 2722.23/2732.98 o 554067 2722.34/2733.03 o 554066 2722.34/2733.08 o 554065 2722.44/2733.13 o 554064 2722.44/2733.17 o 554063 2722.53/2733.22 o 554062 2722.53/2733.27 o 554061 2722.63/2733.31 o 554060 2722.63/2733.36 o 553960 2722.73/2733.41 o 553959 2722.73/2733.46 o 553859 2725.02/2735.72 o 553811 2725.02/2735.77 o 553810 2725.12/2735.83 o 553809 2725.12/2735.89 o 553808 2725.22/2735.94 o 553807 2725.22/2736.00 o 553806 2725.33/2736.05 o 553805 2725.33/2736.11 o 553804 2725.43/2736.16 o 553803 2725.52/2736.21 o 553802 2725.52/2736.27 o 553801 2725.62/2736.32 o 553800 2725.62/2736.37 o 553799 2725.72/2736.43 o 553798 2725.72/2736.48 o 553797 2725.82/2736.53 o 553796 2725.82/2736.59 o 553795 2725.92/2736.64 o 553794 2725.92/2736.69 o 553793 2726.01/2736.74 o 553792 2726.01/2736.80 o 553791 2726.11/2736.85 o 553790 2726.21/2736.90 o 553789 2726.21/2736.95 o 553788 2726.21/2737.00 o 553787 2726.33/2737.05 o 553786 2726.33/2737.10 o 553785 2726.43/2737.15 o 553784 2726.51/2737.20 o 553783 2726.51/2737.25 o 553782 2726.51/2737.30 o 553781 2726.61/2737.34 o 553780 2726.61/2737.39 o 553779 2726.71/2737.44 o 553778 2726.71/2737.49 o 553777 2726.81/2737.54 o 553776 2726.81/2737.59 o 553775 2726.91/2737.64 o 553774 2726.91/2737.69 o 553773 2727.01/2737.73 o 553772 2727.01/2737.78 o 553771 2727.11/2737.83 o 553770 2727.11/2737.88 o 553769 2727.21/2737.93 o 553768 2727.21/2737.97 o 553767 2727.32/2738.02 o 553766 2727.32/2738.07 o 553765 2727.42/2738.12 o 553764 2727.42/2738.17 o 553763 2727.51/2738.21 o 553762 2727.51/2738.26 o 553761 2727.61/2738.31 o 553760 2727.61/2738.36 o 553759 2727.71/2738.41 o 553659 2727.71/2738.46 o 553658 2727.81/2738.51 o 553558 2727.81/2738.55 o 553557 2727.91/2738.61 o 553457 2727.91/2738.65 o 553456 2728.01/2738.71 o 553356 2728.01/2738.75 o 553355 2728.11/2738.80 o 553255 2728.11/2738.85 o 553254 2729.51/2740.21 o 543254 2729.81/2740.59 o 535184 2729.91/2740.64 o 535183 2729.91/2740.69 o 535182 2730.01/2740.74 o 535181 2730.01/2740.79 o 535180 2730.11/2740.84 o 535179 2730.11/2740.89 o 535178 2730.21/2740.94 o 535177 2730.21/2740.99 o 535176 2730.32/2741.04 o 535076 2730.32/2741.09 o 535075 2730.42/2741.14 o 535074 2730.42/2741.19 o 534974 2730.51/2741.24 o 534973 2730.51/2741.29 o 534873 2730.61/2741.34 o 534872 2730.61/2741.39 o 534871 2730.71/2741.44 o 534870 2730.71/2741.49 o 534770 2730.81/2741.54 o 534769 2730.81/2741.59 o 534768 2730.90/2741.64 o 534668 2731.00/2741.70 o 534568 2731.00/2741.75 o 534468 2731.10/2741.80 o 534467 2731.10/2741.84 o 534466 2731.20/2741.90 o 534366 2731.20/2741.95 o 534365 2731.20/2742.00 o 534265 2731.32/2742.05 o 534264 2731.32/2742.10 o 534164 2731.41/2742.15 o 534064 2731.50/2742.20 o 534063 2731.50/2742.25 o 534062 2731.60/2742.30 o 534061 2731.60/2742.35 o 533961 2731.70/2742.40 o 533960 2731.70/2742.45 o 533959 2731.80/2742.50 o 533859 2731.80/2742.55 o 533759 2731.90/2742.61 o 533659 2731.90/2742.65 o 533658 2732.00/2742.70 o 533657 2732.00/2742.75 o 533557 2732.10/2742.80 o 533556 2732.10/2742.85 o 533456 2732.20/2742.90 o 533455 2732.20/2742.95 o 533355 2732.20/2743.00 o 533255 2732.31/2743.05 o 533254 2780.83/2791.76 o 523758 2924.21/2935.69 o 523757 3017.77/3029.55 o 514412 3017.87/3029.64 o 514411 3017.97/3029.73 o 514410 3018.07/3029.81 o 514409 3018.07/3029.89 o 514408 3018.17/3029.97 o 514407 3018.28/3030.06 o 514406 3018.38/3030.14 o 514405 3018.46/3030.22 o 514404 3018.56/3030.30 o 514403 3018.56/3030.38 o 514402 3018.66/3030.47 o 514401 3018.76/3030.55 o 514400 3018.86/3030.63 o 514399 3018.96/3030.71 o 514398 3018.96/3030.79 o 514397 3019.06/3030.87 o 514396 3019.16/3030.96 o 514395 3019.27/3031.04 o 514394 3019.37/3031.12 o 514393 3019.46/3031.20 o 514392 3019.46/3031.28 o 514391 3019.56/3031.36 o 514390 3019.66/3031.44 o 514389 3019.76/3031.52 o 514388 3019.86/3031.60 o 514387 3019.86/3031.68 o 514386 3019.96/3031.77 o 514385 3020.06/3031.85 o 514384 3020.16/3031.93 o 514383 3020.16/3032.01 o 514382 3020.27/3032.09 o 514381 3020.37/3032.17 o 514380 3020.46/3032.25 o 514379 3020.56/3032.33 o 514378 3020.66/3032.41 o 514377 3020.66/3032.49 o 514376 3020.76/3032.57 o 514375 3020.85/3032.65 o 514374 3020.95/3032.73 o 514373 3021.05/3032.81 o 514372 3021.05/3032.89 o 514371 3021.15/3032.96 o 514370 3021.27/3033.04 o 514369 3021.36/3033.12 o 514368 3021.45/3033.20 o 514367 3021.45/3033.28 o 514366 3021.55/3033.36 o 514365 3021.65/3033.44 o 514364 3021.75/3033.52 o 514363 3021.85/3033.60 o 514362 3021.85/3033.68 o 514361 3021.95/3033.75 o 514360 3022.05/3033.83 o 514359 3022.15/3033.91 o 514358 3022.15/3033.99 o 514357 3022.26/3034.07 o 514356 3022.36/3034.14 o 514355 3022.45/3034.22 o 514354 3022.55/3034.30 o 514353 3022.55/3034.38 o 514352 3022.65/3034.46 o 514351 3022.75/3034.53 o 514350 3022.85/3034.61 o 514349 3022.85/3034.69 o 514348 3022.95/3034.77 o 514347 3023.05/3034.85 o 514346 3023.15/3034.92 o 514345 3023.15/3035.00 o 514344 3023.26/3035.08 o 514343 3023.36/3035.16 o 514342 3023.45/3035.23 o 514341 3023.54/3035.31 o 514340 3023.54/3035.39 o 514339 3023.64/3035.46 o 514338 3023.74/3035.54 o 514337 3023.84/3035.62 o 514336 3023.84/3035.69 o 514335 3023.94/3035.77 o 514334 3024.04/3035.85 o 514333 3024.14/3035.92 o 514332 3024.14/3036.00 o 514331 3024.25/3036.07 o 514330 3024.35/3036.15 o 514329 3024.44/3036.23 o 514328 3024.54/3036.30 o 514327 3024.54/3036.38 o 514326 3024.64/3036.45 o 514325 3024.74/3036.53 o 514324 3024.84/3036.60 o 514323 3024.84/3036.68 o 514322 3024.94/3036.75 o 514321 3025.04/3036.83 o 514320 3025.14/3036.91 o 514319 3025.14/3036.98 o 514318 3025.25/3037.06 o 514317 3025.35/3037.13 o 514316 3025.44/3037.21 o 514315 3025.44/3037.28 o 514314 3025.54/3037.36 o 514313 3025.64/3037.43 o 514312 3025.74/3037.51 o 514311 3025.74/3037.58 o 514310 3025.84/3037.65 o 514309 3025.94/3037.73 o 514308 3026.04/3037.80 o 514307 3026.04/3037.88 o 514306 3026.14/3037.95 o 514305 3026.25/3038.02 o 514304 3026.25/3038.10 o 514303 3026.35/3038.17 o 514302 3026.44/3038.25 o 514301 3026.53/3038.32 o 514300 3026.53/3038.39 o 514299 3026.63/3038.47 o 514298 3026.73/3038.54 o 514297 3026.83/3038.61 o 514296 3026.83/3038.69 o 514295 3026.93/3038.76 o 514294 3027.03/3038.83 o 514293 3027.13/3038.91 o 514292 3027.13/3038.98 o 514291 3027.24/3039.05 o 514290 3027.34/3039.13 o 514289 3027.43/3039.20 o 514288 3027.43/3039.27 o 514287 3027.53/3039.35 o 514286 3027.64/3039.42 o 514285 3027.64/3039.49 o 514284 3027.74/3039.56 o 514283 3027.84/3039.63 o 514282 3027.94/3039.71 o 514281 3027.94/3039.78 o 514280 3028.04/3039.85 o 514279 3028.14/3039.92 o 514278 3028.14/3039.99 o 514277 3028.25/3040.07 o 514276 3028.35/3040.14 o 514275 3028.44/3040.21 o 514274 3028.44/3040.28 o 514273 3028.54/3040.35 o 514272 3028.64/3040.42 o 514271 3028.64/3040.49 o 514270 3028.74/3040.56 o 514269 3028.84/3040.63 o 514268 3028.93/3040.71 o 514267 3028.93/3040.78 o 514266 3029.03/3040.85 o 514265 3029.13/3040.92 o 514264 3029.13/3040.99 o 514263 3029.25/3041.06 o 514262 3029.35/3041.13 o 514261 3029.43/3041.20 o 514260 3029.43/3041.27 o 514259 3029.53/3041.34 o 514258 3029.63/3041.41 o 514257 3029.63/3041.48 o 514256 3029.73/3041.55 o 514255 3029.83/3041.62 o 514254 3029.83/3041.69 o 514253 3029.93/3041.76 o 514252 3030.03/3041.83 o 514251 3030.13/3041.90 o 514250 3030.13/3041.97 o 514249 3030.24/3042.04 o 514248 3030.24/3042.11 o 514247 3030.34/3042.18 o 514246 3030.43/3042.24 o 514245 3030.53/3042.31 o 514244 3030.53/3042.38 o 514243 3030.63/3042.45 o 514242 3030.73/3042.52 o 514241 3030.73/3042.59 o 514240 3030.83/3042.65 o 514239 3030.93/3042.72 o 514238 3030.93/3042.79 o 514237 3031.03/3042.86 o 514236 3031.13/3042.93 o 514235 3031.13/3043.00 o 514234 3031.24/3043.06 o 514233 3031.34/3043.13 o 514232 3031.43/3043.20 o 514231 3031.43/3043.27 o 514230 3031.52/3043.34 o 514229 3031.62/3043.40 o 514228 3031.62/3043.47 o 514227 3031.72/3043.54 o 514226 3031.82/3043.61 o 514225 3031.82/3043.67 o 514224 3031.92/3043.74 o 514223 3032.02/3043.81 o 514222 3032.02/3043.88 o 514221 3032.12/3043.94 o 514220 3032.23/3044.01 o 514219 3032.23/3044.08 o 514218 3032.33/3044.14 o 514217 3032.42/3044.21 o 514216 3032.42/3044.28 o 514215 3032.52/3044.34 o 514214 3032.62/3044.41 o 514213 3032.62/3044.48 o 514212 3032.72/3044.54 o 514211 3032.82/3044.61 o 514210 3032.82/3044.68 o 514209 3032.92/3044.74 o 514208 3033.02/3044.81 o 514207 3033.02/3044.88 o 514206 3033.12/3044.94 o 514205 3033.12/3045.01 o 514204 3033.23/3045.07 o 514203 3033.33/3045.14 o 514202 3033.42/3045.21 o 514201 3033.42/3045.27 o 514200 3033.52/3045.34 o 514199 3033.62/3045.40 o 514198 3033.62/3045.47 o 514197 3033.72/3045.53 o 514196 3033.82/3045.60 o 514195 3033.82/3045.66 o 514194 3033.92/3045.73 o 514193 3033.92/3045.79 o 514192 3034.02/3045.86 o 514191 3034.12/3045.92 o 514190 3034.12/3045.99 o 514189 3034.23/3046.05 o 514188 3034.33/3046.12 o 514187 3034.33/3046.18 o 514186 3034.41/3046.25 o 514185 3034.51/3046.31 o 514184 3034.51/3046.38 o 514183 3034.61/3046.44 o 514182 3034.71/3046.50 o 514181 3034.71/3046.57 o 514180 3034.81/3046.63 o 514179 3034.81/3046.69 o 514178 3034.91/3046.75 o 514177 3035.01/3046.82 o 514176 3035.01/3046.88 o 514175 3035.11/3046.94 o 514174 3035.11/3047.01 o 514173 3035.22/3047.07 o 514172 3035.32/3047.13 o 514171 3035.32/3047.20 o 514170 3035.41/3047.26 o 514169 3035.51/3047.32 o 514168 3035.51/3047.38 o 514167 3035.61/3047.44 o 514166 3035.71/3047.51 o 514165 3035.71/3047.57 o 514164 3035.81/3047.63 o 514163 3035.81/3047.69 o 514162 3035.91/3047.75 o 514161 3036.01/3047.82 o 514160 3036.11/3047.90 o 514159 3036.11/3047.97 o 514158 3036.22/3048.03 o 514157 3036.22/3048.09 o 514156 3036.31/3048.16 o 514155 3036.40/3048.22 o 514154 3036.40/3048.28 o 514153 3036.50/3048.34 o 514152 3036.60/3048.40 o 514151 3036.60/3048.46 o 514150 3036.70/3048.52 o 514149 3036.70/3048.58 o 514148 3036.80/3048.65 o 514147 3036.90/3048.71 o 514146 3036.90/3048.77 o 514145 3037.00/3048.83 o 514144 3037.00/3048.89 o 514143 3037.10/3048.95 o 514142 3037.21/3049.09 o 514141 3037.31/3049.16 o 514140 3037.40/3049.23 o 514139 3037.50/3049.30 o 514138 3037.50/3049.37 o 514137 3037.60/3049.44 o 514136 3037.70/3049.51 o 514135 3037.70/3049.58 o 514134 3037.80/3049.65 o 514133 3037.90/3049.72 o 514132 3037.90/3049.79 o 514131 3038.00/3049.86 o 514130 3038.09/3049.93 o 514129 3038.09/3050.00 o 514128 3038.21/3050.07 o 514127 3038.31/3050.14 o 514126 3038.39/3050.20 o 514125 3038.39/3050.27 o 514124 3038.49/3050.34 o 514123 3038.59/3050.41 o 514122 3038.59/3050.48 o 514121 3038.69/3050.55 o 514120 3038.79/3050.61 o 514119 3038.79/3050.68 o 514118 3038.89/3050.75 o 514117 3038.99/3050.82 o 514116 3038.99/3050.88 o 514115 3039.09/3050.95 o 514114 3039.20/3051.02 o 514113 3039.20/3051.09 o 514112 3039.30/3051.15 o 514111 3039.40/3051.22 o 514110 3039.40/3051.29 o 514109 3039.50/3051.35 o 514108 3039.60/3051.42 o 514107 3039.60/3051.49 o 514106 3039.70/3051.55 o 514105 3039.80/3051.62 o 514104 3039.80/3051.69 o 514103 3039.90/3051.75 o 514102 3040.00/3051.82 o 514101 3040.00/3051.88 o 514100 3040.10/3051.95 o 514099 3040.21/3052.01 o 514098 3040.21/3052.08 o 514097 3040.31/3052.14 o 514096 3040.40/3052.21 o 514095 3040.40/3052.27 o 514094 3040.50/3052.34 o 514093 3040.60/3052.40 o 514092 3040.60/3052.47 o 514091 3040.70/3052.53 o 514090 3040.79/3052.60 o 514089 3040.79/3052.66 o 514088 3040.89/3052.73 o 514087 3040.89/3052.79 o 514086 3040.99/3052.85 o 514085 3041.09/3052.92 o 514084 3041.09/3052.98 o 514083 3041.21/3053.04 o 514082 3041.21/3053.11 o 514081 3041.31/3053.17 o 514080 3041.39/3053.23 o 514079 3041.39/3053.30 o 514078 3041.49/3053.36 o 514077 3041.59/3053.42 o 514076 3041.59/3053.48 o 514075 3041.69/3053.55 o 514074 3041.79/3053.61 o 514073 3041.79/3053.67 o 514072 3041.89/3053.73 o 514071 3041.89/3053.79 o 514070 3041.99/3053.86 o 514069 3042.09/3053.92 o 514068 3042.09/3053.98 o 514067 3042.20/3054.04 o 514066 3042.20/3054.10 o 514065 3042.30/3054.16 o 514064 3042.39/3054.22 o 514063 3042.39/3054.28 o 514062 3042.49/3054.35 o 514061 3042.59/3054.41 o 514060 3042.59/3054.47 o 514059 3042.69/3054.53 o 514058 3042.69/3054.59 o 514057 3042.79/3054.65 o 514056 3042.89/3054.71 o 514055 3042.89/3054.77 o 514054 3042.99/3054.83 o 514053 3042.99/3054.88 o 514052 3043.09/3054.94 o 514051 3043.09/3055.00 o 514050 3043.20/3055.06 o 514049 3043.30/3055.12 o 514048 3043.30/3055.18 o 514047 3043.38/3055.25 o 514046 3043.48/3055.31 o 514045 3043.48/3055.37 o 514044 3043.58/3055.43 o 514043 3043.58/3055.49 o 514042 3043.68/3055.55 o 514041 3043.78/3055.61 o 514040 3043.78/3055.67 o 514039 3043.88/3055.73 o 514038 3043.88/3055.79 o 514037 3043.98/3055.85 o 514036 3044.08/3055.90 o 514035 3044.08/3055.96 o 514034 3044.19/3056.02 o 514033 3044.19/3056.07 o 514032 3044.29/3056.13 o 514031 3044.29/3056.19 o 514030 3044.38/3056.25 o 514029 3044.48/3056.30 o 514028 3044.48/3056.36 o 514027 3044.58/3056.42 o 514026 3044.58/3056.47 o 514025 3044.68/3056.53 o 514024 3044.68/3056.59 o 514023 3044.78/3056.64 o 514022 3044.88/3056.70 o 514021 3044.88/3056.75 o 514020 3044.98/3056.81 o 514019 3044.98/3056.87 o 514018 3045.08/3056.92 o 514017 3045.08/3056.98 o 514016 3045.19/3057.03 o 514015 3045.19/3057.09 o 514014 3045.29/3057.14 o 514013 3045.38/3057.20 o 514012 3045.38/3057.25 o 514011 3045.48/3057.31 o 514010 3045.48/3057.36 o 514009 3045.58/3057.42 o 514008 3045.58/3057.47 o 514007 3045.68/3057.52 o 514006 3045.68/3057.58 o 514005 3045.78/3057.63 o 514004 3045.78/3057.69 o 514003 3045.88/3057.74 o 514002 3045.88/3057.79 o 514001 3045.98/3057.85 o 514000 3046.07/3057.90 o 513999 3046.07/3057.95 o 513998 3046.07/3058.01 o 513997 3046.19/3058.06 o 513996 3046.29/3058.11 o 513995 3046.29/3058.16 o 513994 3046.37/3058.22 o 513993 3046.37/3058.27 o 513992 3046.47/3058.32 o 513991 3046.47/3058.37 o 513990 3046.57/3058.43 o 513989 3046.57/3058.48 o 513988 3046.67/3058.53 o 513987 3046.67/3058.58 o 513986 3046.77/3058.63 o 513985 3046.97/3058.85 o 513984 3047.07/3058.90 o 513983 3047.07/3058.95 o 513982 3047.07/3059.00 o 513981 3047.18/3059.05 o 513980 3047.18/3059.10 o 513979 3047.28/3059.15 o 513978 3047.37/3059.21 o 513977 3047.37/3059.26 o 513976 3047.47/3059.31 o 513975 3047.47/3059.36 o 513974 3047.57/3059.41 o 513973 3047.57/3059.46 o 513972 3047.67/3059.51 o 513971 3047.67/3059.56 o 513970 3047.76/3059.61 o 513969 3047.76/3059.66 o 513968 3063.71/3075.68 o 513967 3128.08/3140.27 o 513966 3600.00/3613.70 c Program interrupted by user. 3600.00/3613.70 s SATISFIABLE 3600.00/3613.70 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
OK 483457
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: 63794 MiB (60201 MiB free)
memory of node 1: 64507 MiB (58633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525717-1751625016/watcher-4525717-1751625016 -o /tmp/evaluation-result-4525717-1751625016/solver-4525717-1751625016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=177950407 --ls=360 --inp-dombreaklim=0 HOME/instance-4525717-1751625016.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=94625, runsolver pid=94622
[startup+0.100086 s]*
/proc/loadavg: 4.08 4.09 4.09 5/250 94626
/proc/meminfo: memFree=121663136/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=48792 memory=23184 CPUtime=0.1 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 6575 0 0 0 9 1 0 0 20 0 1 0 78181373 49963008 5796 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 12198 5796 1024 1200 0 10678 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48792 KiB
Current children cumulated memory: 23184 KiB
[startup+0.213803 s]*
/proc/loadavg: 4.08 4.09 4.09 5/250 94626
/proc/meminfo: memFree=121649276/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=69264 memory=41664 CPUtime=0.21 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 12232 0 0 0 18 3 0 0 20 0 1 0 78181373 70926336 10416 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 17316 10416 1024 1200 0 15796 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69264 KiB
Current children cumulated memory: 41664 KiB
[startup+0.313298 s]*
/proc/loadavg: 4.08 4.09 4.09 5/250 94626
/proc/meminfo: memFree=121640708/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=74016 memory=51676 CPUtime=0.32 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 14664 0 0 0 28 4 0 0 20 0 1 0 78181373 75792384 12919 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 18504 12919 1024 1200 0 16984 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 74016 KiB
Current children cumulated memory: 51676 KiB
[startup+0.700297 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 94626
/proc/meminfo: memFree=121610716/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=141328 memory=116508 CPUtime=0.68 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 27854 0 0 0 59 9 0 0 20 0 1 0 78181373 144719872 29127 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 35332 29127 1024 1200 0 33812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141328 KiB
Current children cumulated memory: 116508 KiB
[startup+1.5003 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 94626
/proc/meminfo: memFree=121522380/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=1.48 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44722 0 0 0 133 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+3.11335 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 94626
/proc/meminfo: memFree=121478108/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=3.09 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44734 0 0 0 294 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+6.30029 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 94626
/proc/meminfo: memFree=121486440/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=6.25 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44746 0 0 0 610 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.09 6/250 94626
/proc/meminfo: memFree=121478860/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=12.62 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44758 0 0 0 1247 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 6/250 94626
/proc/meminfo: memFree=121481828/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=25.34 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44763 0 0 0 2519 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+51.1137 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 94627
/proc/meminfo: memFree=121479332/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=50.78 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44782 0 0 0 5063 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/250 94628
/proc/meminfo: memFree=121488848/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=101.58 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44794 0 0 0 10143 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 101.58 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/250 94633
/proc/meminfo: memFree=121487640/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=161.13 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44806 0 0 0 16098 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 161.13 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 94635
/proc/meminfo: memFree=120680676/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=220.68 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44830 0 0 0 22053 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 220.68 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/250 94637
/proc/meminfo: memFree=119809060/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=280.23 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44830 0 0 0 28008 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 280.23 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/250 94639
/proc/meminfo: memFree=117711552/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=244428 memory=211516 CPUtime=339.9 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 44842 0 0 0 33975 15 0 0 20 0 1 0 78181373 250294272 52879 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 61107 52879 1024 1200 0 59587 0
Current children cumulated CPU time: 339.9 s
Current children cumulated vsize: 244428 KiB
Current children cumulated memory: 211516 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/251 94646
/proc/meminfo: memFree=115112852/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=1592664 memory=1342592 CPUtime=399.67 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 240538 0 0 0 39900 67 0 0 20 0 1 0 78181373 1630887936 335648 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 398166 335648 1248 1200 0 396646 0
Current children cumulated CPU time: 399.67 s
Current children cumulated vsize: 1592664 KiB
Current children cumulated memory: 1342592 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/250 94648
/proc/meminfo: memFree=114856376/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=1597568 memory=1349248 CPUtime=459.51 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 242312 0 0 0 45881 70 0 0 20 0 1 0 78181373 1635909632 337312 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 399392 337312 1248 1200 0 397872 0
Current children cumulated CPU time: 459.51 s
################
# More data... #
################
/proc/94625/statm: 520825 510591 1280 1200 0 519305 0
Current children cumulated CPU time: 2851.17 s
Current children cumulated vsize: 2083300 KiB
Current children cumulated memory: 2042364 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.09 6/250 94816
/proc/meminfo: memFree=111158272/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=2083300 memory=2042492 CPUtime=2910.96 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 374344 0 0 0 290903 193 0 0 20 0 1 0 78181373 2133299200 510623 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 520825 510623 1280 1200 0 519305 0
Current children cumulated CPU time: 2910.96 s
Current children cumulated vsize: 2083300 KiB
Current children cumulated memory: 2042492 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 94818
/proc/meminfo: memFree=110933976/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=2083300 memory=2043004 CPUtime=2970.74 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 374804 0 0 0 296877 197 0 0 20 0 1 0 78181373 2133299200 510751 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 520825 510751 1280 1200 0 519305 0
Current children cumulated CPU time: 2970.74 s
Current children cumulated vsize: 2083300 KiB
Current children cumulated memory: 2043004 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.11 4.10 6/250 94820
/proc/meminfo: memFree=110777952/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=2083300 memory=2043132 CPUtime=3030.53 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 375145 0 0 0 302855 198 0 0 20 0 1 0 78181373 2133299200 510783 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 520825 510783 1280 1200 0 519305 0
Current children cumulated CPU time: 3030.53 s
Current children cumulated vsize: 2083300 KiB
Current children cumulated memory: 2043132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.75 4.29 4.16 6/250 94822
/proc/meminfo: memFree=110649068/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=2480312 memory=2150200 CPUtime=3090.32 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 381017 0 0 0 308819 213 0 0 20 0 1 0 78181373 2539839488 537550 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 620078 537550 1280 1200 0 618558 0
Current children cumulated CPU time: 3090.32 s
Current children cumulated vsize: 2480312 KiB
Current children cumulated memory: 2150200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.37 4.26 4.16 6/249 94824
/proc/meminfo: memFree=110636712/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=2480312 memory=2165284 CPUtime=3150.12 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 381384 0 0 0 314797 215 0 0 20 0 1 0 78181373 2539839488 541321 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 620078 541321 1280 1200 0 618558 0
Current children cumulated CPU time: 3150.12 s
Current children cumulated vsize: 2480312 KiB
Current children cumulated memory: 2165284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.23 4.15 6/250 94829
/proc/meminfo: memFree=110609372/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=2480312 memory=2166180 CPUtime=3209.91 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 381977 0 0 0 320774 217 0 0 20 0 1 0 78181373 2539839488 541545 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 620078 541545 1280 1200 0 618558 0
Current children cumulated CPU time: 3209.91 s
Current children cumulated vsize: 2480312 KiB
Current children cumulated memory: 2166180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.22 4.15 6/250 94831
/proc/meminfo: memFree=110012324/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3325772 memory=2750148 CPUtime=3269.7 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 520697 0 0 0 326727 243 0 0 20 0 1 0 78181373 3405590528 687537 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 831443 687537 1280 1200 0 829923 0
Current children cumulated CPU time: 3269.7 s
Current children cumulated vsize: 3325772 KiB
Current children cumulated memory: 2750148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.15 6/250 94833
/proc/meminfo: memFree=110002808/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3327020 memory=2763968 CPUtime=3329.5 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 522186 0 0 0 332702 248 0 0 20 0 1 0 78181373 3406868480 690992 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 831755 690992 1280 1200 0 830235 0
Current children cumulated CPU time: 3329.5 s
Current children cumulated vsize: 3327020 KiB
Current children cumulated memory: 2763968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.14 6/251 94836
/proc/meminfo: memFree=110003744/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3327280 memory=2764352 CPUtime=3389.28 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 522472 0 0 0 338678 250 0 0 20 0 1 0 78181373 3407134720 691088 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 831820 691088 1280 1200 0 830300 0
Current children cumulated CPU time: 3389.28 s
Current children cumulated vsize: 3327280 KiB
Current children cumulated memory: 2764352 KiB
[startup+3462.3 s]
/proc/loadavg: 3.98 4.13 4.13 4/245 94873
/proc/meminfo: memFree=114207860/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3330940 memory=2768320 CPUtime=3449.07 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 523646 0 0 0 344655 252 0 0 20 0 1 0 78181373 3410882560 692080 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 832735 692080 1280 1200 0 831215 0
Current children cumulated CPU time: 3449.07 s
Current children cumulated vsize: 3330940 KiB
Current children cumulated memory: 2768320 KiB
[startup+3522.3 s]
/proc/loadavg: 3.41 3.94 4.06 4/245 94875
/proc/meminfo: memFree=114180940/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3330940 memory=2769600 CPUtime=3508.87 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 524244 0 0 0 350632 255 0 0 20 0 1 0 78181373 3410882560 692400 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 832735 692400 1280 1200 0 831215 0
Current children cumulated CPU time: 3508.87 s
Current children cumulated vsize: 3330940 KiB
Current children cumulated memory: 2769600 KiB
[startup+3582.3 s]
/proc/loadavg: 2.70 3.64 3.95 3/239 94907
/proc/meminfo: memFree=121395804/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3330940 memory=2769856 CPUtime=3568.68 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 524746 0 0 0 356611 257 0 0 20 0 1 0 78181373 3410882560 692464 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 832735 692464 1280 1200 0 831215 0
Current children cumulated CPU time: 3568.68 s
Current children cumulated vsize: 3330940 KiB
Current children cumulated memory: 2769856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.7 s]
/proc/loadavg: 2.42 3.48 3.89 3/240 94910
/proc/meminfo: memFree=121384316/131382112 swapFree=33010160/33010684
[pid=94625] ppid=94622 vsize=3340680 memory=2780056 CPUtime=3600 cores=0,2
/proc/94625/stat : 94625 (Exact) R 94622 94625 92114 0 -1 4194304 525935 0 0 0 359741 259 0 0 20 0 1 0 78181373 3420856320 695014 18446744073709551615 4198400 9112445 140733476276256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 37888000 140733476280613 140733476280811 140733476280811 140733476286415 0
/proc/94625/statm: 835170 695014 1280 1200 0 833650 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3340680 KiB
Current children cumulated memory: 2780056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.85 s]
# the end of solver process 94625 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.48 s, system=2.68049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.8 s]*
/proc/loadavg: 2.39 3.46 3.88 3/240 94910
/proc/meminfo: memFree=122954840/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3613.85
CPU time (s): 3600.16
CPU user time (s): 3597.48
CPU system time (s): 2.68049
CPU usage (%): 99.6211
Max. virtual memory (cumulated for all children) (KiB): 3340680
Max. memory (cumulated for all children) (KiB): 2780056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.48
system time used= 2.68049
maximum resident set size= 2780056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525962
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= 9
involuntary context switches= 8209
# summary of solver processes directly reported to runsolver:
# pid: 94625
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.48
# total CPU system time (s): 2.68049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9539 second user time and 34.6436 second system time
The end
Begin job on nodeC009 at 2025-07-04 12:30:16 IDJOB=4525717 IDBENCH=143881 IDSOLVER=3376 FILE ID=nodeC009/4525717-1751625016 RUNJOBID= nodeC009-1751617714-92124 SLURM_JOB_ID= 9598931 Free space on /tmp= 431188 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4-22_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-4525717-1751625016/watcher-4525717-1751625016 -o /tmp/evaluation-result-4525717-1751625016/solver-4525717-1751625016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=177950407 --ls=360 --inp-dombreaklim=0 HOME/instance-4525717-1751625016.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d7d01ec0794d07991a9972239b49c230 RANDOM SEED=177950407 nodeC009 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 : 0xb00001f cpu MHz : 2095.127 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 pti 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 : 6983.85 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 : 3660.103 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 pti 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 : 6983.85 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.358 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 pti 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 : 6983.85 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.301 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 pti 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 : 6983.85 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 : 3576.971 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 pti 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 : 6983.85 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 : 3660.188 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 pti 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 : 6983.85 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.566 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 pti 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 : 6983.85 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.189 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 pti 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 : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 121686344 kB MemAvailable: 124373820 kB Buffers: 2144 kB Cached: 3420512 kB SwapCached: 24 kB Active: 6164612 kB Inactive: 2791960 kB Active(anon): 5547664 kB Inactive(anon): 4188 kB Active(file): 616948 kB Inactive(file): 2787772 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 9748 kB Writeback: 108 kB AnonPages: 5536964 kB Mapped: 117124 kB Shmem: 17936 kB KReclaimable: 244380 kB Slab: 331956 kB SReclaimable: 244380 kB SUnreclaim: 87576 kB KernelStack: 4032 kB PageTables: 13860 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 6349168 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4941824 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431208 MiB End job on nodeC009 at 2025-07-04 13:30:30