Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | -9237 | 3600.1 | 3610.42 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z7-s2.opb |
| MD5SUM | d13cdfe545ae2728c47d5ad7db8600db |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -10280 |
| Best CPU time to get the best result obtained on this benchmark | 345.088 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2023 |
| Total number of constraints | 31798 |
| Number of constraints which are clauses | 31790 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2023 |
| Number of terms in the objective function | 1997 |
| Biggest coefficient in the objective function | 333 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 170608 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 735392 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 5003866 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.30/0.41 o -3241 0.40/0.41 o -3243 0.40/0.41 o -3245 0.40/0.41 o -3282 0.40/0.42 o -3311 0.40/0.42 o -3313 0.40/0.42 o -3320 0.40/0.42 o -3345 0.40/0.43 o -3356 0.40/0.45 o -3358 0.40/0.46 o -3434 0.40/0.46 o -3435 0.40/0.46 o -3517 0.40/0.46 o -3579 0.40/0.47 o -3581 0.40/0.47 o -3735 0.40/0.47 o -3794 0.40/0.47 o -3932 0.40/0.48 o -4073 0.40/0.48 o -4089 0.40/0.48 o -4192 0.40/0.49 o -4301 0.50/0.52 o -4327 0.50/0.53 o -4352 0.50/0.53 o -4366 0.50/0.53 o -4387 0.50/0.54 o -4471 0.50/0.55 o -4662 0.50/0.56 o -4768 0.50/0.58 o -4874 0.50/0.60 o -4946 0.59/0.62 o -4999 0.59/0.65 o -5069 0.59/0.68 o -5143 0.69/0.75 o -5265 0.79/0.87 o -5311 0.89/0.97 o -5454 0.99/1.07 o -5523 1.09/1.17 o -5554 1.18/1.23 o -5560 1.18/1.29 o -5609 1.29/1.33 o -5654 1.39/1.40 o -5655 1.39/1.46 o -5658 1.39/1.48 o -5665 1.49/1.50 o -5723 1.49/1.52 o -5732 1.49/1.54 o -5745 1.49/1.56 o -5749 1.49/1.59 o -5751 1.58/1.61 o -5791 1.99/2.04 o -5793 2.38/2.48 o -5807 2.48/2.59 o -5809 2.68/2.75 o -5814 2.78/2.86 o -5817 2.99/3.00 o -5824 3.09/3.12 o -5828 3.09/3.15 o -5834 3.09/3.19 o -5836 3.18/3.24 o -5839 3.28/3.32 o -5867 3.28/3.37 o -5871 3.38/3.41 o -5880 3.38/3.44 o -5882 3.48/3.52 o -5889 3.58/3.65 o -5891 3.68/3.74 o -5895 3.68/3.79 o -5897 3.78/3.84 o -5900 3.98/4.05 o -5906 4.18/4.23 o -5910 4.18/4.29 o -5912 4.27/4.38 o -5914 4.37/4.47 o -5917 4.47/4.53 o -5918 4.57/4.60 o -5920 4.77/4.83 o -5931 5.08/5.11 o -5933 5.17/5.29 o -5934 5.37/5.47 o -5935 5.57/5.63 o -5937 5.67/5.73 o -5938 5.78/5.85 o -5946 5.88/5.98 o -5949 5.98/6.09 o -5951 6.08/6.19 o -5952 6.28/6.30 o -5956 6.37/6.42 o -5958 6.47/6.59 o -5962 6.67/6.75 o -5966 6.77/6.88 o -5969 6.98/7.04 o -5970 7.08/7.16 o -5972 7.17/7.23 o -5975 7.27/7.32 o -5977 7.37/7.41 o -5978 7.47/7.58 o -5982 7.67/7.79 o -5984 7.87/7.92 o -5986 7.97/8.05 o -5989 8.16/8.22 o -5994 8.26/8.34 o -5996 8.36/8.41 o -5997 8.36/8.49 o -6006 8.57/8.65 o -6007 8.77/8.88 o -6009 8.97/9.07 o -6010 9.07/9.18 o -6014 9.17/9.25 o -6016 9.27/9.31 o -6017 9.37/9.41 o -6019 9.47/9.54 o -6021 9.57/9.64 o -6023 9.67/9.75 o -6026 9.77/9.84 o -6028 9.86/9.92 o -6029 10.07/10.18 o -6031 10.36/10.41 o -6038 10.46/10.53 o -6040 10.76/10.88 o -6041 11.36/11.44 o -6043 11.66/11.74 o -6044 12.16/12.23 o -6060 12.46/12.52 o -6062 12.66/12.70 o -6064 13.15/13.21 o -6066 13.55/13.60 o -6069 18.44/18.52 o -6070 19.14/19.22 o -6071 19.54/19.64 o -6080 19.64/19.76 o -6082 19.74/19.87 o -6084 20.04/20.16 o -6131 20.24/20.37 o -6133 20.33/20.48 o -6137 20.63/20.71 o -6141 20.73/20.89 o -6153 20.94/21.00 o -6155 21.04/21.11 o -6164 21.13/21.21 o -6175 21.43/21.56 o -6177 21.73/21.85 o -6182 21.83/21.97 o -6184 22.13/22.29 o -6189 22.53/22.62 o -6193 22.73/22.81 o -6194 23.04/23.15 o -6196 23.73/23.83 o -6199 24.33/24.43 o -6217 25.53/25.66 o -6227 27.92/28.00 o -6229 29.11/29.22 o -6238 29.21/29.35 o -6239 29.51/29.69 o -6241 30.61/30.77 o -6247 32.01/32.17 o -6254 32.60/32.79 o -6289 32.80/32.99 o -6292 33.10/33.22 o -6296 33.50/33.65 o -6331 33.80/33.98 o -6332 34.30/34.43 o -6333 34.60/34.77 o -6339 35.29/35.41 o -6342 36.20/36.33 o -6344 36.70/36.83 o -6346 36.90/37.07 o -6350 37.10/37.26 o -6352 37.60/37.76 o -6365 38.29/38.45 o -6431 39.00/39.18 o -6469 39.39/39.55 o -6473 39.69/39.89 o -6489 40.58/40.75 o -6490 41.28/41.43 o -6494 41.48/41.68 o -6496 41.78/41.93 o -6498 42.18/42.30 o -6502 42.48/42.65 o -6504 42.68/42.89 o -6505 42.98/43.14 o -6507 43.77/43.91 o -6509 45.68/45.82 o -6510 46.88/47.09 o -6514 47.57/47.70 o -6517 48.07/48.23 o -6520 48.37/48.58 o -6525 49.76/49.94 o -6527 51.06/51.24 o -6529 52.15/52.33 o -6531 52.96/53.12 o -6540 53.25/53.46 o -6549 55.15/55.38 o -6564 57.64/57.83 o -6577 58.64/58.82 o -6581 59.04/59.26 o -6584 59.44/59.63 o -6586 59.63/59.87 o -6587 59.94/60.15 o -6589 60.23/60.44 o -6590 60.95/61.15 o -6591 61.44/61.66 o -6592 61.74/61.91 o -6593 61.94/62.17 o -6597 62.24/62.45 o -6598 62.64/62.84 o -6605 63.03/63.28 o -6613 64.03/64.29 o -6617 64.73/64.95 o -6620 65.43/65.61 o -6621 65.93/66.15 o -6626 66.93/67.13 o -6628 67.72/67.93 o -6636 68.32/68.56 o -6644 69.21/69.41 o -6652 69.71/69.99 o -6657 70.11/70.39 o -6663 71.01/71.26 o -6667 72.20/72.47 o -6680 72.91/73.15 o -6682 74.01/74.28 o -6684 74.91/75.14 o -6686 75.40/75.63 o -6692 76.20/76.41 o -6696 77.30/77.50 o -6698 77.90/78.17 o -6706 78.99/79.20 o -6707 80.09/80.34 o -6708 80.68/80.95 o -6710 81.89/82.11 o -6716 82.78/83.08 o -6722 83.28/83.56 o -6723 84.48/84.70 o -6726 85.57/85.83 o -6727 85.97/86.25 o -6731 86.97/87.29 o -6735 87.97/88.21 o -6739 88.77/89.04 o -6741 89.46/89.77 o -6747 89.96/90.23 o -6753 90.86/91.15 o -6758 91.77/92.02 o -6768 92.16/92.43 o -6770 92.46/92.71 o -6771 93.06/93.33 o -6777 94.35/94.67 o -6784 95.65/95.97 o -6785 97.54/97.83 o -6790 98.64/98.96 o -6792 99.04/99.31 o -6803 100.94/101.22 o -6810 102.74/103.05 o -6855 104.52/104.80 o -6858 106.72/107.01 o -6860 108.22/108.57 o -6863 111.41/111.77 o -6864 114.60/114.97 o -6865 115.50/115.85 o -6872 116.49/116.85 o -6876 117.39/117.72 o -6889 118.09/118.45 o -6951 118.79/119.13 o -6970 119.39/119.77 o -6972 121.19/121.52 o -6979 122.69/123.06 o -6981 123.69/124.04 o -6992 124.58/124.96 o -7002 125.68/126.08 o -7011 126.57/126.97 o -7014 127.37/127.79 o -7016 128.17/128.56 o -7053 129.87/130.28 o -7074 131.17/131.58 o -7076 133.56/133.95 o -7083 135.66/136.06 o -7085 136.15/136.52 o -7092 163.17/163.66 o -7103 163.47/163.90 o -7108 163.77/164.27 o -7112 164.37/164.85 o -7115 165.16/165.64 o -7118 165.86/166.38 o -7178 166.26/166.72 o -7209 166.46/166.96 o -7219 168.36/168.85 o -7225 170.46/170.94 o -7238 170.76/171.22 o -7241 171.05/171.51 o -7243 171.35/171.81 o -7255 172.55/173.07 o -7258 173.94/174.45 o -7259 174.94/175.44 o -7263 175.83/176.38 o -7265 176.83/177.38 o -7267 177.53/178.05 o -7268 177.83/178.35 o -7270 178.73/179.24 o -7289 179.32/179.84 o -7299 179.53/180.03 o -7302 179.82/180.30 o -7316 180.02/180.53 o -7317 180.22/180.74 o -7319 180.72/181.20 o -7321 181.12/181.62 o -7322 181.32/181.85 o -7324 182.22/182.75 o -7328 184.01/184.55 o -7329 186.31/186.88 o -7339 187.61/188.15 o -7342 188.10/188.69 o -7344 189.40/189.96 o -7345 191.19/191.76 o -7348 192.29/192.83 o -7356 193.38/193.93 o -7364 194.38/194.92 o -7382 197.48/198.03 o -7386 200.27/200.80 o -7420 200.97/201.54 o -7422 202.57/203.16 o -7423 204.46/205.01 o -7427 205.15/205.73 o -7432 205.75/206.38 o -7438 208.15/208.74 o -7442 214.83/215.46 o -7445 220.12/220.78 o -7463 233.19/233.87 o -7465 243.56/244.27 o -7481 245.06/245.70 o -7511 245.46/246.19 o -7533 245.86/246.55 o -7547 246.36/247.04 o -7579 246.76/247.48 o -7611 247.25/247.91 o -7650 247.65/248.34 o -7679 248.05/248.77 o -7719 248.36/249.10 o -7761 248.95/249.61 o -7800 249.35/250.04 o -7830 249.76/250.47 o -7835 250.16/250.89 o -7856 250.85/251.56 o -7857 251.65/252.30 o -7858 252.36/253.06 o -7863 252.75/253.49 o -7873 253.25/253.95 o -7879 254.05/254.72 o -7893 255.04/255.70 o -7894 256.24/256.94 o -7905 258.14/258.81 o -7906 259.63/260.33 o -7908 260.44/261.17 o -7909 261.33/262.05 o -7928 263.22/263.96 o -7929 264.43/265.19 o -7936 267.32/268.07 o -7942 269.51/270.20 o -7943 271.01/271.78 o -7953 273.40/274.14 o -7955 311.91/312.76 o -7956 312.22/313.04 o -7957 313.51/314.34 o -7962 314.71/315.58 o -7984 315.21/316.10 o -7995 315.31/316.19 o -8010 317.80/318.63 o -8014 321.99/322.89 o -8030 324.48/325.38 o -8038 324.58/325.46 o -8043 324.88/325.76 o -8046 325.68/326.50 o -8052 325.78/326.60 o -8057 325.78/326.68 o -8059 326.48/327.32 o -8091 326.58/327.42 o -8100 326.68/327.53 o -8105 327.38/328.25 o -8108 332.27/333.12 o -8113 332.36/333.29 o -8125 333.36/334.20 o -8132 333.36/334.28 o -8148 333.46/334.38 o -8150 336.95/337.80 o -8155 339.14/340.02 o -8180 345.13/346.05 o -8191 345.32/346.25 o -8195 348.12/349.01 o -8202 349.01/349.94 o -8208 362.36/363.39 o -8214 378.82/379.82 o -8225 389.29/390.39 o -8232 390.28/391.38 o -8246 390.38/391.49 o -8260 390.68/391.75 o -8292 390.88/391.91 o -8299 391.68/392.73 o -8323 391.98/393.00 o -8335 392.68/393.70 o -8340 394.08/395.14 o -8341 401.45/402.53 o -8347 412.92/414.02 o -8349 420.29/421.41 o -8351 434.24/435.47 o -8357 436.63/437.84 o -8358 439.53/440.76 o -8360 444.92/446.19 o -8362 445.12/446.30 o -8366 445.52/446.72 o -8368 449.50/450.76 o -8371 454.79/456.07 o -8372 456.28/457.56 o -8387 456.38/457.67 o -8391 456.48/457.78 o -8394 461.77/463.03 o -8418 468.54/469.90 o -8422 469.94/471.23 o -8426 470.04/471.35 o -8459 470.14/471.45 o -8466 470.84/472.17 o -8469 471.84/473.19 o -8492 474.13/475.48 o -8515 474.73/476.04 o -8516 474.83/476.13 o -8521 474.92/476.23 o -8534 475.52/476.87 o -8548 489.78/491.13 o -8550 492.17/493.52 o -8562 495.46/496.89 o -8566 533.34/534.88 o -8581 535.03/536.58 o -8585 538.72/540.24 o -8591 538.82/540.36 o -8595 539.02/540.51 o -8612 539.32/540.86 o -8615 539.42/540.99 o -8619 539.92/541.40 o -8621 540.62/542.15 o -8624 542.91/544.46 o -8630 546.10/547.60 o -8633 546.20/547.75 o -8636 546.40/547.90 o -8641 550.89/552.45 o -8649 550.99/552.55 o -8656 553.38/554.99 o -8659 555.68/557.28 o -8661 560.26/561.81 o -8671 560.57/562.14 o -8684 582.49/584.14 o -8691 582.59/584.26 o -8698 582.69/584.36 o -8701 584.78/586.46 o -8703 591.66/593.32 o -8705 592.75/594.47 o -8706 593.85/595.50 o -8707 594.05/595.71 o -8710 596.35/598.10 o -8711 603.93/605.65 o -8716 615.40/617.16 o -8721 621.87/623.68 o -8723 622.07/623.81 o -8724 626.26/628.02 o -8725 629.05/630.87 o -8727 643.90/645.71 o -8730 644.00/645.85 o -8733 644.70/646.59 o -8735 646.89/648.77 o -8736 647.78/649.64 o -8740 648.29/650.13 o -8741 648.48/650.36 o -8742 648.68/650.56 o -8744 649.08/650.91 o -8751 653.37/655.25 o -8752 653.57/655.44 o -8753 654.27/656.18 o -8754 664.15/666.02 o -8756 668.92/670.84 o -8758 669.23/671.16 o -8761 669.42/671.36 o -8764 722.46/724.50 o -8771 722.66/724.72 o -8776 781.17/783.42 o -8779 781.27/783.56 o -8789 781.57/783.88 o -8794 783.46/785.72 o -8796 791.44/793.73 o -8801 806.30/808.61 o -8806 992.81/995.71 o -8807 1018.05/1021.01 o -8812 1035.88/1038.97 o -8815 1037.18/1040.22 o -8816 1050.24/1053.32 o -8817 1074.17/1077.34 o -8818 1076.06/1079.24 o -8823 1141.06/1144.43 o -8825 1146.35/1149.72 o -8826 1153.63/1157.02 o -8827 1157.21/1160.61 o -8831 1177.25/1180.72 o -8835 1178.05/1181.56 o -8845 1198.49/1202.01 o -8854 1207.66/1211.23 o -8864 1215.24/1218.89 o -8865 1242.84/1246.56 o -8868 1244.54/1248.21 o -8869 1253.32/1257.06 o -8877 1254.61/1258.38 o -8878 1266.28/1270.05 o -8879 1267.17/1270.92 o -8885 1290.80/1294.69 o -8886 1320.71/1324.60 o -8888 1320.81/1324.79 o -8895 1320.91/1324.89 o -8906 1321.01/1324.99 o -8921 1322.21/1326.18 o -8924 1334.26/1338.29 o -8937 1348.22/1352.20 o -8942 1348.32/1352.33 o -8947 1348.52/1352.50 o -8948 1387.50/1391.63 o -8950 1388.19/1392.33 o -8952 1388.49/1392.69 o -8953 1389.39/1393.59 o -8954 1389.89/1394.06 o -8955 1390.08/1394.23 o -8957 1390.58/1394.77 o -8958 1390.68/1394.89 o -8959 1390.99/1395.15 o -8960 1391.18/1395.37 o -8961 1392.18/1396.37 o -8962 1392.58/1396.71 o -8964 1393.07/1397.24 o -8968 1394.47/1398.68 o -8970 1394.67/1398.87 o -8973 1394.98/1399.12 o -8983 1396.46/1400.66 o -8986 1399.35/1403.58 o -8989 1399.55/1403.76 o -8994 1399.76/1404.00 o -8996 1400.16/1404.36 o -8999 1400.56/1404.71 o -9006 1401.25/1405.45 o -9008 1401.96/1406.12 o -9014 1418.70/1422.94 o -9028 1419.60/1423.86 o -9044 1419.70/1423.99 o -9049 1420.69/1424.95 o -9050 1421.09/1425.39 o -9054 1421.49/1425.70 o -9060 1428.37/1432.68 o -9068 1482.40/1486.87 o -9072 1485.59/1490.01 o -9074 1486.78/1491.21 o -9075 1495.06/1499.58 o -9077 1543.91/1548.51 o -9082 1587.58/1592.37 o -9088 1587.87/1592.67 o -9089 1621.46/1626.35 o -9100 1658.25/1663.27 o -9105 1659.75/1664.78 o -9110 1661.15/1666.13 o -9114 1677.20/1682.26 o -9126 1677.70/1682.76 o -9127 1678.59/1683.65 o -9128 1679.29/1684.37 o -9135 1682.98/1688.05 o -9136 1685.67/1690.79 o -9138 1685.87/1690.95 o -9142 1702.82/1708.00 o -9149 1783.46/1788.84 o -9151 1783.67/1789.07 o -9159 1783.86/1789.20 o -9161 1877.88/1883.50 o -9163 1987.05/1993.02 o -9170 2021.75/2027.80 o -9172 2021.85/2027.96 o -9177 2043.27/2049.47 o -9181 2067.91/2074.15 o -9186 2074.79/2081.06 o -9188 2087.25/2093.55 o -9190 2094.22/2100.54 o -9197 2218.44/2225.11 o -9199 2247.55/2254.30 o -9202 2539.18/2546.65 o -9203 2879.59/2887.87 o -9204 2892.85/2901.17 o -9205 2893.05/2901.35 o -9210 2937.11/2945.53 o -9211 3091.96/3100.89 o -9216 3126.95/3135.91 o -9224 3358.69/3368.38 o -9225 3420.11/3429.98 o -9226 3487.40/3497.47 o -9227 3488.91/3498.96 o -9232 3491.20/3501.26 o -9234 3491.40/3501.46 o -9236 3511.44/3521.53 o -9237 3600.06/3610.40 c Program interrupted by user. 3600.06/3610.40 s SATISFIABLE 3600.06/3610.40 v -x1 -x2 -x3 -x4 x5 x6 -x7 -x8 x9 x10 -x11 -x12 x13 -x14 x15 -x16 x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 -x57 -x58 x59 -x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 -x88 -x89 -x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 -x103 -x104 -x105 -x106 -x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 -x154 -x155 -x156 -x157 -x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 -x171 -x172 -x173 -x174 -x175 x176 x177 x178 x179 x180 x181 x182 x183 -x184 -x185 x186 -x187 -x188 -x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 -x200 -x201 x202 -x203 x204 x205 -x206 -x207 x208 x209 x210 x211 x212 x213 x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 x225 x226 x227 x228 x229 x230 x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 x244 x245 x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 x262 -x263 -x264 -x265 x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 x331 x332 x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 x347 x348 x349 x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 x393 x394 x395 x396 x397 x398 x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 x444 x445 x446 x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 x460 x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 x473 x474 x475 x476 x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 x490 x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 x658 x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 x673 x674 x675 x676 x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 x691 x692 x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 x708 x709 x710 x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 x725 x726 x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 x980 x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 x996 x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 x2014 -x2015 -x2016 x2017 x2018 x2019 -x2020 x2021 x2022 -x2023
OK -9237
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62574 MiB free)
memory of node 1: 64473 MiB (62913 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433235-1721121522/watcher-4433235-1721121522 -o /tmp/evaluation-result-4433235-1721121522/solver-4433235-1721121522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721117830-849468 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2072324089 HOME/instance-4433235-1721121522.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=852956, runsolver pid=852953
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.32 4.16 4.14 5/258 852957
/proc/meminfo: memFree=128486644/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=42308 memory=21960 CPUtime=0.09 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 4241 0 0 0 9 0 0 0 20 0 1 0 164318423 43323392 5490 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 10577 5490 1028 1005 0 9340 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 21960 KiB
[startup+0.205749 s]*
/proc/loadavg: 4.32 4.16 4.14 5/258 852957
/proc/meminfo: memFree=128476420/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=46668 memory=26580 CPUtime=0.2 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 6267 0 0 0 19 1 0 0 20 0 1 0 164318423 47788032 6645 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 11667 6645 1044 1005 0 10430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46668 KiB
Current children cumulated memory: 26580 KiB
[startup+0.305625 s]*
/proc/loadavg: 4.32 4.16 4.14 5/258 852957
/proc/meminfo: memFree=128474608/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=48516 memory=28164 CPUtime=0.3 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 6639 0 0 0 29 1 0 0 20 0 1 0 164318423 49680384 7041 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 12129 7041 1044 1005 0 10892 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48516 KiB
Current children cumulated memory: 28164 KiB
[startup+0.700211 s]
/proc/loadavg: 4.32 4.16 4.14 5/258 852957
/proc/meminfo: memFree=128466700/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=55188 memory=43148 CPUtime=0.69 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 8435 0 0 0 68 1 0 0 20 0 1 0 164318423 56512512 10787 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 13797 10787 1092 1005 0 12560 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55188 KiB
Current children cumulated memory: 43148 KiB
[startup+1.50021 s]
/proc/loadavg: 4.32 4.16 4.14 5/258 852957
/proc/meminfo: memFree=128454344/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=70816 memory=57508 CPUtime=1.49 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 9652 0 0 0 147 2 0 0 20 0 1 0 164318423 72515584 14377 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 17704 14377 1108 1005 0 16467 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70816 KiB
Current children cumulated memory: 57508 KiB
[startup+3.10548 s]
/proc/loadavg: 4.32 4.16 4.14 5/258 852959
/proc/meminfo: memFree=128427568/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=99820 memory=76900 CPUtime=3.09 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 11852 0 0 0 306 3 0 0 20 0 1 0 164318423 102215680 19225 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 24955 19225 1108 1005 0 23718 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 99820 KiB
Current children cumulated memory: 76900 KiB
[startup+6.30021 s]
/proc/loadavg: 4.30 4.16 4.14 5/258 852959
/proc/meminfo: memFree=128406980/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=106516 memory=96132 CPUtime=6.28 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 13612 0 0 0 624 4 0 0 20 0 1 0 164318423 109072384 24033 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 26629 24033 1140 1005 0 25392 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 96132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.16 4.14 5/258 852960
/proc/meminfo: memFree=128378912/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=157208 memory=123780 CPUtime=12.66 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 16968 0 0 0 1259 7 0 0 20 0 1 0 164318423 160980992 30945 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 39302 30945 1140 1005 0 38065 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 157208 KiB
Current children cumulated memory: 123780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.14 5/258 852962
/proc/meminfo: memFree=128349816/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=171352 memory=151012 CPUtime=25.43 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 20326 0 0 0 2534 9 0 0 20 0 1 0 164318423 175464448 37753 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 42838 37753 1140 1005 0 41601 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 171352 KiB
Current children cumulated memory: 151012 KiB
[startup+51.1056 s]
/proc/loadavg: 4.20 4.15 4.14 5/258 852965
/proc/meminfo: memFree=128300784/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=202536 memory=193544 CPUtime=50.96 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 28178 0 0 0 5084 12 0 0 20 0 1 0 164318423 207396864 48386 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 50634 48386 1140 1005 0 49397 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 202536 KiB
Current children cumulated memory: 193544 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/259 852979
/proc/meminfo: memFree=128214968/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=306672 memory=273152 CPUtime=102.03 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 37903 0 0 0 10183 20 0 0 20 0 1 0 164318423 314032128 68288 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 76668 68288 1140 1005 0 75431 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 306672 KiB
Current children cumulated memory: 273152 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/259 852990
/proc/meminfo: memFree=128138460/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=457228 memory=342964 CPUtime=161.88 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 44935 0 0 0 16161 27 0 0 20 0 1 0 164318423 468201472 85741 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 114307 85741 1140 1005 0 113070 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 457228 KiB
Current children cumulated memory: 342964 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/259 853000
/proc/meminfo: memFree=128131396/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=458508 memory=346344 CPUtime=221.71 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 45357 0 0 0 22140 31 0 0 20 0 1 0 164318423 469512192 86586 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 114627 86586 1140 1005 0 113390 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 458508 KiB
Current children cumulated memory: 346344 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/256 853011
/proc/meminfo: memFree=128109008/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=475164 memory=365428 CPUtime=281.58 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 49265 0 0 0 28121 37 0 0 20 0 1 0 164318423 486567936 91357 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 118791 91357 1140 1005 0 117554 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 475164 KiB
Current children cumulated memory: 365428 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/257 853115
/proc/meminfo: memFree=127123484/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=478232 memory=368920 CPUtime=341.43 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 50303 0 0 0 34099 44 0 0 20 0 1 0 164318423 489709568 92230 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 119558 92230 1140 1005 0 118321 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 478232 KiB
Current children cumulated memory: 368920 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/257 853510
/proc/meminfo: memFree=126886036/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=478232 memory=369384 CPUtime=401.25 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 50500 0 0 0 40077 48 0 0 20 0 1 0 164318423 489709568 92346 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 119558 92346 1140 1005 0 118321 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 478232 KiB
Current children cumulated memory: 369384 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 853520
/proc/meminfo: memFree=126840148/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=482184 memory=373620 CPUtime=461.07 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 51681 0 0 0 46050 57 0 0 20 0 1 0 164318423 493756416 93405 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 120546 93405 1140 1005 0 119309 0
################
# More data... #
################
Current children cumulated memory: 426232 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/256 854751
/proc/meminfo: memFree=124960992/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=533684 memory=426232 CPUtime=2854.16 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 67499 0 0 0 285101 315 0 0 20 0 1 0 164318423 546492416 106558 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 133421 106558 1140 1005 0 132184 0
Current children cumulated CPU time: 2854.16 s
Current children cumulated vsize: 533684 KiB
Current children cumulated memory: 426232 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/255 854763
/proc/meminfo: memFree=124926224/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=535068 memory=427616 CPUtime=2913.98 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 68010 0 0 0 291081 317 0 0 20 0 1 0 164318423 547909632 106904 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 133767 106904 1140 1005 0 132530 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 535068 KiB
Current children cumulated memory: 427616 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/255 854773
/proc/meminfo: memFree=124890088/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=535068 memory=427616 CPUtime=2973.81 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 68182 0 0 0 297059 322 0 0 20 0 1 0 164318423 547909632 106904 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 133767 106904 1140 1005 0 132530 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 535068 KiB
Current children cumulated memory: 427616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/255 854783
/proc/meminfo: memFree=124872292/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=535284 memory=427832 CPUtime=3033.63 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 68382 0 0 0 303032 331 0 0 20 0 1 0 164318423 548130816 106958 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 133821 106958 1140 1005 0 132584 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 535284 KiB
Current children cumulated memory: 427832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 854799
/proc/meminfo: memFree=124861352/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=535284 memory=427832 CPUtime=3093.45 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 68546 0 0 0 309011 334 0 0 20 0 1 0 164318423 548130816 106958 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 133821 106958 1140 1005 0 132584 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 535284 KiB
Current children cumulated memory: 427832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/257 854810
/proc/meminfo: memFree=124851604/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=535284 memory=427920 CPUtime=3153.28 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 68736 0 0 0 314987 341 0 0 20 0 1 0 164318423 548130816 106980 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 133821 106980 1140 1005 0 132584 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 535284 KiB
Current children cumulated memory: 427920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/257 854821
/proc/meminfo: memFree=124843784/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=536240 memory=428788 CPUtime=3213.11 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 69124 0 0 0 320963 348 0 0 20 0 1 0 164318423 549109760 107197 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134060 107197 1140 1005 0 132823 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 536240 KiB
Current children cumulated memory: 428788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/257 854833
/proc/meminfo: memFree=124840704/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=536240 memory=428788 CPUtime=3272.94 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 69263 0 0 0 326940 354 0 0 20 0 1 0 164318423 549109760 107197 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134060 107197 1140 1005 0 132823 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 536240 KiB
Current children cumulated memory: 428788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.40 4.18 4.12 5/257 854844
/proc/meminfo: memFree=124837776/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=536240 memory=428788 CPUtime=3332.76 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 69404 0 0 0 332915 361 0 0 20 0 1 0 164318423 549109760 107197 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134060 107197 1140 1005 0 132823 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 536240 KiB
Current children cumulated memory: 428788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/254 854855
/proc/meminfo: memFree=124836884/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=536240 memory=428836 CPUtime=3392.59 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 69582 0 0 0 338893 366 0 0 20 0 1 0 164318423 549109760 107209 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134060 107209 1140 1005 0 132823 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 536240 KiB
Current children cumulated memory: 428836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/254 854865
/proc/meminfo: memFree=124835504/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=536832 memory=429380 CPUtime=3452.41 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 69902 0 0 0 344870 371 0 0 20 0 1 0 164318423 549715968 107345 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134208 107345 1140 1005 0 132971 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 429380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/254 854876
/proc/meminfo: memFree=124797532/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=536832 memory=429384 CPUtime=3512.23 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 70058 0 0 0 350846 377 0 0 20 0 1 0 164318423 549715968 107346 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134208 107346 1140 1005 0 132971 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 429384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.20 4.13 5/254 854931
/proc/meminfo: memFree=124114336/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=537508 memory=430056 CPUtime=3572.05 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 70374 0 0 0 356823 382 0 0 20 0 1 0 164318423 550408192 107514 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134377 107514 1140 1005 0 133140 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 537508 KiB
Current children cumulated memory: 430056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.28 4.20 4.13 5/254 854934
/proc/meminfo: memFree=123990084/131524600 swapFree=131071996/131071996
[pid=852956] ppid=852953 vsize=537508 memory=430056 CPUtime=3600.06 cores=5,7
/proc/852956/stat : 852956 (Exact) R 852953 852956 849455 0 -1 4194304 70395 0 0 0 359618 388 0 0 20 0 1 0 164318423 550408192 107514 134679101440 4194304 8309489 140731508608784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21262336 140731508609982 140731508610152 140731508610152 140731508617167 0
/proc/852956/statm: 134377 107514 1140 1005 0 133140 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 537508 KiB
Current children cumulated memory: 430056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.42 s]
# the end of solver process 852956 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.21 s, system=3.88791 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.42
CPU time (s): 3600.1
CPU user time (s): 3596.21
CPU system time (s): 3.88791
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 537508
Max. memory (cumulated for all children) (KiB): 430056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.21
system time used= 3.88791
maximum resident set size= 480620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70401
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= 70
involuntary context switches= 1745
# summary of solver processes directly reported to runsolver:
# pid: 852956
# total CPU time (s): 3600.1
# total CPU user time (s): 3596.21
# total CPU system time (s): 3.88791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02596 second user time and 16.6113 second system time
The end
Begin job on nodeC026 at 2024-07-16 11:18:55 IDJOB=4433235 IDBENCH=155343 IDSOLVER=3060 FILE ID=nodeC026/4433235-1721121522 RUNJOBID= nodeC026-1721117830-849468 SLURM_JOB_ID= 7505664 Free space on /tmp= 890060 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433235-1721121522/watcher-4433235-1721121522 -o /tmp/evaluation-result-4433235-1721121522/solver-4433235-1721121522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721117830-849468 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2072324089 HOME/instance-4433235-1721121522.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db RANDOM SEED=2072324089 nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.279 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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 : 3663.960 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 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 : 3600.319 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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 : 3600.187 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 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 : 3657.362 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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 : 3657.407 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 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.903 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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 : 3665.208 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128499500 kB MemAvailable: 129428188 kB Buffers: 413568 kB Cached: 1348608 kB SwapCached: 0 kB Active: 715648 kB Inactive: 1708736 kB Active(anon): 1572 kB Inactive(anon): 698024 kB Active(file): 714076 kB Inactive(file): 1010712 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6756 kB Writeback: 0 kB AnonPages: 658892 kB Mapped: 118028 kB Shmem: 37720 kB KReclaimable: 87444 kB Slab: 193460 kB SReclaimable: 87444 kB SUnreclaim: 106016 kB KernelStack: 4208 kB PageTables: 10184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1064340 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62720 kB HardwareCorrupted: 0 kB AnonHugePages: 423936 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 232148 kB DirectMap2M: 20512768 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890032 MiB End job on nodeC026 at 2024-07-16 12:19:06