Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | SAT (TO) | -9218 | 3600.07 | 3611.32 |
| 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.00/0.09 o -2626 0.00/0.10 o -2707 0.09/0.10 o -2763 0.09/0.11 o -2782 0.09/0.12 o -2805 0.09/0.12 o -2845 0.09/0.12 o -2871 0.09/0.15 o -2885 0.19/0.22 o -2886 0.19/0.27 o -3055 0.29/0.33 o -3060 0.29/0.35 o -3074 0.29/0.37 o -3087 0.29/0.40 o -3174 0.39/0.41 o -3218 0.39/0.43 o -3226 0.39/0.44 o -3267 0.39/0.46 o -3281 0.39/0.48 o -3328 0.49/0.51 o -3467 0.49/0.54 o -3493 0.49/0.56 o -3563 0.49/0.59 o -3650 0.58/0.63 o -3757 0.58/0.68 o -3785 0.99/1.06 o -3886 1.38/1.43 o -3895 1.38/1.45 o -3896 1.38/1.48 o -3898 1.48/1.51 o -3908 1.48/1.58 o -3910 1.58/1.65 o -3920 1.58/1.68 o -3921 1.68/1.71 o -3923 1.78/1.81 o -3928 2.09/2.13 o -3998 2.28/2.39 o -4008 2.37/2.48 o -4011 2.57/2.61 o -4014 2.67/2.75 o -4018 2.87/2.90 o -4020 3.17/3.27 o -4022 3.48/3.50 o -4023 3.48/3.53 o -4025 3.48/3.58 o -4027 3.58/3.64 o -4035 3.68/3.70 o -4038 3.68/3.79 o -4045 3.88/3.96 o -4048 4.08/4.14 o -4079 4.18/4.24 o -4082 4.18/4.28 o -4083 4.27/4.32 o -4085 4.27/4.36 o -4087 4.47/4.52 o -4125 4.77/4.80 o -4174 4.98/5.09 o -4179 5.17/5.26 o -4192 5.47/5.52 o -4223 5.77/5.88 o -4227 6.16/6.29 o -4229 6.46/6.52 o -4235 6.46/6.57 o -4241 6.56/6.63 o -4259 6.66/6.80 o -4260 6.97/7.02 o -4266 7.57/7.62 o -4269 7.86/7.97 o -4270 8.07/8.12 o -4274 8.16/8.29 o -4283 8.26/8.39 o -4287 8.36/8.47 o -4296 8.46/8.55 o -4305 8.56/8.63 o -4306 8.66/8.75 o -4308 8.76/8.86 o -4315 11.95/12.08 o -4322 12.45/12.56 o -4324 12.65/12.70 o -4325 13.05/13.18 o -4327 13.45/13.54 o -4331 13.54/13.65 o -4332 13.95/14.08 o -4337 14.44/14.56 o -4341 15.53/15.65 o -4344 16.33/16.42 o -4350 16.43/16.58 o -4351 16.53/16.68 o -4360 17.03/17.15 o -4381 17.33/17.49 o -4384 17.53/17.60 o -4392 17.63/17.71 o -4394 17.73/17.83 o -4413 18.13/18.20 o -4454 18.33/18.48 o -4457 18.53/18.60 o -4493 18.62/18.71 o -4508 18.72/18.84 o -4531 18.82/18.95 o -4535 18.93/19.06 o -4544 19.12/19.22 o -4572 19.22/19.36 o -4575 19.32/19.47 o -4579 19.72/19.88 o -4585 20.72/20.86 o -4588 21.41/21.53 o -4590 21.71/21.87 o -4592 21.92/22.09 o -4595 22.11/22.22 o -4601 22.21/22.39 o -4694 22.41/22.56 o -4713 27.40/27.51 o -4714 30.69/30.81 o -4790 31.19/31.33 o -4801 31.49/31.67 o -4807 31.68/31.83 o -4810 31.89/32.01 o -4818 32.28/32.41 o -4881 32.58/32.74 o -4882 32.78/32.91 o -4884 32.88/33.10 o -4886 33.18/33.37 o -4900 35.08/35.26 o -4902 36.57/36.74 o -4911 36.77/37.00 o -4914 37.87/38.03 o -4919 38.87/39.10 o -4927 39.76/39.93 o -4931 40.16/40.32 o -4935 40.36/40.52 o -4944 40.56/40.78 o -4952 42.16/42.36 o -4955 43.45/43.61 o -5023 44.15/44.37 o -5026 44.85/45.03 o -5060 45.24/45.48 o -5062 45.64/45.81 o -5063 47.63/47.83 o -5116 49.03/49.21 o -5118 50.23/50.48 o -5121 51.23/51.40 o -5127 51.63/51.82 o -5129 52.03/52.24 o -5131 52.42/52.69 o -5148 52.93/53.12 o -5154 53.32/53.50 o -5160 53.92/54.13 o -5163 54.32/54.56 o -5165 65.38/65.66 o -5168 65.88/66.13 o -5171 66.47/66.70 o -5175 66.97/67.24 o -5176 67.27/67.57 o -5178 67.57/67.81 o -5183 67.67/67.96 o -5184 68.07/68.30 o -5193 68.37/68.62 o -5194 68.47/68.74 o -5217 68.67/68.93 o -5227 70.26/70.59 o -5233 71.57/71.83 o -5234 71.77/72.01 o -5242 71.87/72.15 o -5244 71.97/72.28 o -5251 72.07/72.39 o -5259 72.26/72.54 o -5276 72.36/72.69 o -5286 72.66/72.92 o -5294 72.87/73.14 o -5301 73.16/73.45 o -5307 73.76/74.09 o -5319 74.46/74.74 o -5337 74.76/75.06 o -5370 75.06/75.37 o -5378 75.35/75.65 o -5380 75.65/75.96 o -5389 75.95/76.24 o -5390 76.15/76.41 o -5477 76.25/76.55 o -5488 76.45/76.72 o -5504 76.55/76.88 o -5513 76.76/77.04 o -5523 76.95/77.22 o -5530 77.15/77.40 o -5544 77.25/77.58 o -5554 77.55/77.86 o -5555 78.05/78.34 o -5561 78.54/78.84 o -5567 79.04/79.30 o -5575 79.34/79.60 o -5588 79.44/79.79 o -5610 79.64/80.00 o -5629 80.14/80.47 o -5639 80.94/81.22 o -5640 81.14/81.42 o -5647 81.34/81.60 o -5653 81.74/82.06 o -5656 82.13/82.44 o -5725 82.33/82.64 o -5764 82.53/82.84 o -5766 82.84/83.14 o -5780 83.23/83.53 o -5781 83.43/83.78 o -5782 83.63/83.98 o -5788 84.23/84.53 o -5803 85.12/85.44 o -5821 97.39/97.76 o -5825 105.56/105.91 o -5829 105.86/106.26 o -5830 107.15/107.58 o -5836 108.55/108.93 o -5848 109.15/109.56 o -5849 109.65/110.02 o -5891 110.04/110.41 o -5893 110.34/110.70 o -5899 110.54/111.00 o -5902 112.04/112.49 o -5903 114.83/115.24 o -5904 116.63/117.01 o -5907 117.22/117.61 o -5910 131.48/131.92 o -5916 132.28/132.76 o -5922 132.98/133.49 o -5930 133.18/133.66 o -5940 133.97/134.42 o -5944 134.58/135.04 o -5960 135.07/135.55 o -5962 135.47/135.92 o -5963 135.57/136.09 o -5967 135.77/136.24 o -6047 136.17/136.65 o -6071 139.76/140.20 o -6082 144.04/144.55 o -6093 144.34/144.80 o -6094 144.74/145.28 o -6095 145.14/145.69 o -6097 145.44/145.92 o -6098 145.54/146.08 o -6099 145.74/146.27 o -6104 146.73/147.29 o -6174 147.64/148.12 o -6175 149.13/149.62 o -6186 150.72/151.22 o -6189 152.32/152.87 o -6194 153.62/154.13 o -6196 153.91/154.48 o -6197 154.31/154.81 o -6201 154.51/155.02 o -6218 156.80/157.30 o -6224 159.39/159.91 o -6239 160.29/160.86 o -6240 160.79/161.31 o -6287 163.68/164.28 o -6289 167.57/168.16 o -6299 170.56/171.12 o -6300 173.55/174.15 o -6305 176.14/176.74 o -6312 178.43/179.05 o -6323 196.08/196.74 o -6338 196.28/196.97 o -6343 196.48/197.15 o -6354 196.78/197.47 o -6357 197.08/197.72 o -6358 199.57/200.29 o -6359 201.86/202.55 o -6421 202.06/202.77 o -6432 202.26/202.94 o -6443 202.46/203.15 o -6456 202.66/203.37 o -6502 203.75/204.42 o -6503 204.75/205.46 o -6524 207.14/207.84 o -6533 217.61/218.34 o -6539 275.33/276.28 o -6552 275.93/276.80 o -6585 275.93/276.88 o -6588 276.03/276.97 o -6597 276.63/277.53 o -6639 276.72/277.64 o -6676 276.82/277.76 o -6679 277.42/278.33 o -6727 277.52/278.42 o -6735 277.62/278.55 o -6757 278.23/279.13 o -6774 278.32/279.23 o -6784 279.12/280.05 o -6799 280.71/281.64 o -6867 280.81/281.72 o -6889 280.91/281.84 o -6895 281.01/281.92 o -6912 281.31/282.26 o -6915 281.91/282.89 o -6920 282.11/283.03 o -6931 282.61/283.54 o -6941 284.90/285.84 o -6943 287.99/288.91 o -6978 288.59/289.53 o -6985 289.09/290.07 o -6993 289.48/290.40 o -6996 290.09/291.04 o -6998 291.68/292.66 o -7000 294.07/295.04 o -7025 294.77/295.73 o -7043 295.86/296.84 o -7057 296.66/297.64 o -7094 296.76/297.75 o -7118 313.11/314.15 o -7144 314.11/315.17 o -7153 314.31/315.35 o -7166 315.01/316.09 o -7168 315.20/316.21 o -7189 316.01/317.05 o -7193 317.50/318.54 o -7234 318.69/319.78 o -7262 321.18/322.22 o -7263 373.83/375.02 o -7272 374.03/375.28 o -7281 376.12/377.38 o -7316 381.10/382.39 o -7322 386.39/387.61 o -7330 401.44/402.77 o -7377 401.54/402.89 o -7423 401.64/403.00 o -7433 401.94/403.28 o -7439 412.71/414.06 o -7447 432.24/433.62 o -7449 443.81/445.29 o -7461 447.79/449.29 o -7478 447.99/449.43 o -7486 448.09/449.57 o -7488 448.19/449.68 o -7497 448.39/449.81 o -7522 448.60/450.04 o -7565 448.70/450.15 o -7587 448.99/450.46 o -7588 449.19/450.66 o -7594 449.49/450.99 o -7597 449.69/451.10 o -7602 450.88/452.37 o -7644 456.37/457.81 o -7674 456.57/458.00 o -7689 457.16/458.67 o -7697 457.46/458.98 o -7703 459.26/460.72 o -7726 459.95/461.46 o -7728 509.00/510.65 o -7733 509.10/510.76 o -7739 509.20/510.88 o -7771 509.50/511.12 o -7776 543.29/545.02 o -7780 543.59/545.35 o -7781 543.69/545.45 o -7787 543.99/545.71 o -7791 544.09/545.84 o -7793 544.19/545.96 o -7799 546.18/547.91 o -7808 546.88/548.68 o -7816 554.65/556.48 o -7821 554.95/556.70 o -7828 555.26/557.05 o -7831 555.75/557.51 o -7832 555.85/557.67 o -7837 556.35/558.13 o -7838 557.44/559.26 o -7839 558.25/560.03 o -7843 558.34/560.15 o -7852 558.54/560.35 o -7855 559.63/561.49 o -7861 559.83/561.60 o -7875 562.62/564.44 o -7879 585.04/586.96 o -7909 585.14/587.08 o -7918 587.33/589.22 o -7924 587.62/589.56 o -7929 588.02/589.98 o -7930 588.52/590.43 o -7943 644.92/647.08 o -7969 660.67/662.82 o -7971 660.76/662.93 o -7985 660.87/663.06 o -7987 660.97/663.16 o -8022 661.16/663.33 o -8027 661.46/663.67 o -8032 661.97/664.11 o -8034 765.05/767.58 o -8060 775.41/777.98 o -8061 796.75/799.37 o -8086 819.88/822.56 o -8089 820.08/822.75 o -8091 820.18/822.86 o -8095 820.48/823.17 o -8097 821.48/824.12 o -8103 821.67/824.30 o -8105 821.87/824.57 o -8109 822.07/824.79 o -8115 833.03/835.74 o -8118 833.13/835.88 o -8119 839.71/842.49 o -8120 839.81/842.59 o -8126 840.01/842.74 o -8128 841.51/844.29 o -8129 842.11/844.85 o -8134 845.80/848.54 o -8138 859.55/862.34 o -8150 859.65/862.45 o -8159 859.75/862.57 o -8167 859.85/862.67 o -8185 860.05/862.83 o -8189 860.65/863.42 o -8192 877.61/880.43 o -8213 942.80/945.80 o -8215 942.90/945.90 o -8223 943.00/946.02 o -8226 943.70/946.73 o -8271 943.80/946.85 o -8279 944.00/947.02 o -8280 944.30/947.38 o -8288 945.00/948.01 o -8290 947.88/950.97 o -8292 948.68/951.76 o -8293 948.99/952.02 o -8300 953.67/956.75 o -8305 976.00/979.13 o -8313 976.10/979.23 o -8324 976.20/979.36 o -8340 980.68/983.87 o -8342 984.17/987.38 o -8344 985.57/988.70 o -8356 986.47/989.66 o -8361 989.76/992.98 o -8366 1019.77/1023.06 o -8370 1020.26/1023.57 o -8371 1022.55/1025.89 o -8376 1022.76/1026.04 o -8383 1027.24/1030.59 o -8385 1027.44/1030.70 o -8394 1027.54/1030.82 o -8397 1108.09/1111.65 o -8407 1151.06/1154.79 o -8410 1151.36/1155.08 o -8411 1151.56/1155.22 o -8412 1153.95/1157.63 o -8420 1157.54/1161.29 o -8424 1157.74/1161.48 o -8425 1158.63/1162.31 o -8426 1164.22/1167.94 o -8432 1217.35/1221.27 o -8467 1217.75/1221.67 o -8476 1220.84/1224.73 o -8478 1236.79/1240.78 o -8482 1241.38/1245.34 o -8486 1252.94/1256.99 o -8490 1276.77/1280.89 o -8494 1306.88/1311.02 o -8495 1307.28/1311.48 o -8496 1307.47/1311.62 o -8505 1315.95/1320.18 o -8507 1319.24/1323.48 o -8512 1322.63/1326.82 o -8517 1336.59/1340.82 o -8525 1446.14/1450.73 o -8528 1446.34/1450.97 o -8536 1446.74/1451.30 o -8541 1487.52/1492.29 o -8543 1488.21/1493.00 o -8544 1506.66/1511.45 o -8545 1532.38/1537.23 o -8547 1532.48/1537.34 o -8550 1532.68/1537.56 o -8559 1543.25/1548.17 o -8565 1543.54/1548.48 o -8568 1543.74/1548.61 o -8576 1545.44/1550.33 o -8582 1545.54/1550.48 o -8592 1545.74/1550.68 o -8595 1546.14/1551.08 o -8598 1619.51/1624.63 o -8602 1619.71/1624.83 o -8605 1619.81/1624.93 o -8612 1619.91/1625.04 o -8615 1739.64/1745.17 o -8639 1739.93/1745.43 o -8640 1740.03/1745.55 o -8641 1740.13/1745.67 o -8652 1740.93/1746.41 o -8653 1743.82/1749.32 o -8655 1754.69/1760.22 o -8670 1754.89/1760.43 o -8672 1756.28/1761.81 o -8674 1756.78/1762.30 o -8675 1757.88/1763.48 o -8681 1758.08/1763.63 o -8682 1759.07/1764.67 o -8683 1812.31/1818.02 o -8696 1823.18/1828.93 o -8700 1872.72/1878.61 o -8741 1873.42/1879.36 o -8748 1874.12/1880.05 o -8749 1875.12/1881.08 o -8750 1875.61/1881.58 o -8757 1877.21/1883.18 o -8758 1878.01/1883.98 o -8759 1879.00/1884.94 o -8768 1883.79/1889.77 o -8769 1884.49/1890.41 o -8771 1892.46/1898.49 o -8772 1892.66/1898.67 o -8775 1897.25/1903.26 o -8776 1954.07/1960.29 o -8780 1955.77/1961.93 o -8781 1960.25/1966.50 o -8782 1960.65/1966.84 o -8785 2017.08/2023.49 o -8786 2017.28/2023.65 o -8787 2025.05/2031.40 o -8789 2028.34/2034.77 o -8792 2028.54/2034.98 o -8793 2028.75/2035.16 o -8795 2032.03/2038.44 o -8796 2059.76/2066.25 o -8800 2061.75/2068.23 o -8804 2195.54/2202.47 o -8827 2195.74/2202.65 o -8836 2195.84/2202.77 o -8837 2197.03/2203.95 o -8839 2197.73/2204.62 o -8844 2198.93/2205.83 o -8852 2242.19/2249.23 o -8859 2312.97/2320.26 o -8870 2313.17/2320.42 o -8874 2313.57/2320.81 o -8877 2324.34/2331.61 o -8880 2333.71/2341.08 o -8881 2333.91/2341.27 o -8890 2343.18/2350.52 o -8898 2343.38/2350.70 o -8903 2344.27/2351.65 o -8910 2376.87/2384.31 o -8914 2377.77/2385.20 o -8919 2377.87/2385.34 o -8924 2379.17/2386.67 o -8932 2396.41/2403.97 o -8937 2443.87/2451.50 o -8942 2444.07/2451.79 o -8944 2444.27/2451.99 o -8952 2468.10/2475.86 o -8958 2503.89/2511.71 o -8968 2507.78/2515.67 o -8969 2507.98/2515.83 o -8973 2508.08/2515.97 o -8980 2510.87/2518.71 o -8981 2510.97/2518.88 o -8982 2520.14/2528.09 o -8994 2534.99/2542.91 o -8995 2543.67/2551.64 o -9001 2564.11/2572.17 o -9008 2633.10/2641.38 o -9019 2633.30/2641.51 o -9026 2634.09/2642.34 o -9029 2641.47/2649.79 o -9054 2641.67/2649.97 o -9070 2641.78/2650.09 o -9082 2642.37/2650.60 o -9124 2643.57/2651.88 o -9131 2643.77/2652.02 o -9133 2789.82/2798.57 o -9145 2790.33/2799.03 o -9146 2890.03/2899.08 o -9151 2892.81/2901.84 o -9156 3175.21/3185.17 o -9161 3340.11/3350.59 o -9162 3341.40/3351.80 o -9170 3341.61/3352.03 o -9171 3378.89/3389.41 o -9184 3556.39/3567.51 o -9190 3556.69/3567.81 o -9194 3563.76/3574.93 o -9205 3564.06/3575.29 o -9207 3579.81/3591.08 o -9210 3583.59/3594.88 o -9218 3600.03/3611.30 c Program interrupted by user. 3600.03/3611.30 s SATISFIABLE 3600.03/3611.30 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 -9218
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: 63931 MiB (61795 MiB free)
memory of node 1: 64510 MiB (62744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433638-1721120532/watcher-4433638-1721120532 -o /tmp/evaluation-result-4433638-1721120532/solver-4433638-1721120532 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721112899-846376 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=614841051 HOME/instance-4433638-1721120532.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=853078, runsolver pid=853075
[startup+0.100865 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 853079
/proc/meminfo: memFree=127520420/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=30500 memory=11592 CPUtime=0.09 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 1893 0 0 0 9 0 0 0 20 0 1 0 164221500 31232000 2898 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 7625 2898 835 746 0 6689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30500 KiB
Current children cumulated memory: 11592 KiB
[startup+0.205417 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 853079
/proc/meminfo: memFree=127512688/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=35884 memory=18920 CPUtime=0.19 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 3351 0 0 0 19 0 0 0 20 0 1 0 164221500 36745216 4730 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 8971 4730 835 746 0 8035 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35884 KiB
Current children cumulated memory: 18920 KiB
[startup+0.305423 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 853079
/proc/meminfo: memFree=127510024/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=36804 memory=21756 CPUtime=0.29 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 3539 0 0 0 29 0 0 0 20 0 1 0 164221500 37687296 5439 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 9201 5439 835 746 0 8265 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36804 KiB
Current children cumulated memory: 21756 KiB
[startup+0.700189 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 853079
/proc/meminfo: memFree=127504500/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=38660 memory=32048 CPUtime=0.69 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 4044 0 0 0 68 1 0 0 20 0 1 0 164221500 39587840 8012 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 9665 8012 835 746 0 8729 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38660 KiB
Current children cumulated memory: 32048 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 853079
/proc/meminfo: memFree=127497884/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=54300 memory=42352 CPUtime=1.48 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 5298 0 0 0 147 1 0 0 20 0 1 0 164221500 55603200 10588 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 13575 10588 851 746 0 12639 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54300 KiB
Current children cumulated memory: 42352 KiB
[startup+3.10542 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 853079
/proc/meminfo: memFree=127471268/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=83820 memory=62552 CPUtime=3.08 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 7482 0 0 0 306 2 0 0 20 0 1 0 164221500 85831680 15638 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 20955 15638 851 746 0 20019 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83820 KiB
Current children cumulated memory: 62552 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 853081
/proc/meminfo: memFree=127451864/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=89480 memory=81536 CPUtime=6.26 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 8732 0 0 0 623 3 0 0 20 0 1 0 164221500 91627520 20384 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 22370 20384 851 746 0 21434 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 81536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 853082
/proc/meminfo: memFree=127425564/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=139492 memory=106264 CPUtime=12.65 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 11758 0 0 0 1260 5 0 0 20 0 1 0 164221500 142839808 26566 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 34873 26566 851 746 0 33937 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 106264 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 853085
/proc/meminfo: memFree=127414420/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=150868 memory=118360 CPUtime=25.41 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 14334 0 0 0 2535 6 0 0 20 0 1 0 164221500 154488832 29590 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 37717 29590 851 746 0 36781 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 150868 KiB
Current children cumulated memory: 118360 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 853089
/proc/meminfo: memFree=127347804/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=244484 memory=181784 CPUtime=50.93 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 20264 0 0 0 5083 10 0 0 20 0 1 0 164221500 250351616 45446 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 61121 45446 851 746 0 60185 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 244484 KiB
Current children cumulated memory: 181784 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 853099
/proc/meminfo: memFree=127319272/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=258024 memory=208932 CPUtime=101.97 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 23590 0 0 0 10186 11 0 0 20 0 1 0 164221500 264216576 52233 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 64506 52233 851 746 0 63570 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 258024 KiB
Current children cumulated memory: 208932 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 853110
/proc/meminfo: memFree=127301244/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=268952 memory=224664 CPUtime=161.79 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 26107 0 0 0 16167 12 0 0 20 0 1 0 164221500 275406848 56166 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 67238 56166 851 746 0 66302 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 268952 KiB
Current children cumulated memory: 224664 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 853120
/proc/meminfo: memFree=127280108/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=287972 memory=241260 CPUtime=221.6 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 29811 0 0 0 22147 13 0 0 20 0 1 0 164221500 294883328 60315 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 71993 60315 851 746 0 71057 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 287972 KiB
Current children cumulated memory: 241260 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 853130
/proc/meminfo: memFree=127271456/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=294404 memory=247968 CPUtime=281.41 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 31515 0 0 0 28128 13 0 0 20 0 1 0 164221500 301469696 61992 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 73601 61992 851 746 0 72665 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 294404 KiB
Current children cumulated memory: 247968 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 853142
/proc/meminfo: memFree=127264636/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=297744 memory=251352 CPUtime=341.22 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 32380 0 0 0 34109 13 0 0 20 0 1 0 164221500 304889856 62838 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 74436 62838 851 746 0 73500 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 297744 KiB
Current children cumulated memory: 251352 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 853152
/proc/meminfo: memFree=127255180/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=304848 memory=258824 CPUtime=401.04 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 34308 0 0 0 40090 14 0 0 20 0 1 0 164221500 312164352 64706 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 76212 64706 851 746 0 75276 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 304848 KiB
Current children cumulated memory: 258824 KiB
[startup+462.3 s]
/proc/loadavg: 4.54 4.23 4.14 5/256 853163
/proc/meminfo: memFree=127250916/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=307112 memory=261456 CPUtime=460.85 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 34971 0 0 0 46071 14 0 0 20 0 1 0 164221500 314482688 65364 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 76778 65364 851 746 0 75842 0
################
# More data... #
################
Current children cumulated memory: 322940 KiB
[startup+2922.3 s]
/proc/loadavg: 3.39 3.35 3.68 4/251 854322
/proc/meminfo: memFree=125204440/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=361096 memory=323684 CPUtime=2913.25 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 50765 0 0 0 291308 17 0 0 20 0 1 0 164221500 369762304 80921 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90274 80921 851 746 0 89338 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 361096 KiB
Current children cumulated memory: 323684 KiB
[startup+2982.3 s]
/proc/loadavg: 3.58 3.43 3.69 4/251 854332
/proc/meminfo: memFree=125200916/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=361604 memory=326236 CPUtime=2973.06 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 51031 0 0 0 297289 17 0 0 20 0 1 0 164221500 370282496 81559 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90401 81559 851 746 0 89465 0
Current children cumulated CPU time: 2973.06 s
Current children cumulated vsize: 361604 KiB
Current children cumulated memory: 326236 KiB
[startup+3042.3 s]
/proc/loadavg: 3.48 3.43 3.68 4/250 854343
/proc/meminfo: memFree=125200108/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=361604 memory=326456 CPUtime=3032.84 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 51132 0 0 0 303267 17 0 0 20 0 1 0 164221500 370282496 81614 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90401 81614 851 746 0 89465 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 361604 KiB
Current children cumulated memory: 326456 KiB
[startup+3102.3 s]
/proc/loadavg: 3.26 3.38 3.64 4/251 854356
/proc/meminfo: memFree=125196708/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=361604 memory=328968 CPUtime=3092.65 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 51262 0 0 0 309248 17 0 0 20 0 1 0 164221500 370282496 82242 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90401 82242 851 746 0 89465 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 361604 KiB
Current children cumulated memory: 328968 KiB
[startup+3162.3 s]
/proc/loadavg: 3.50 3.42 3.64 4/251 854366
/proc/meminfo: memFree=125195496/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=362180 memory=329544 CPUtime=3152.47 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 51546 0 0 0 315229 18 0 0 20 0 1 0 164221500 370872320 82386 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90545 82386 851 746 0 89609 0
Current children cumulated CPU time: 3152.47 s
Current children cumulated vsize: 362180 KiB
Current children cumulated memory: 329544 KiB
[startup+3222.3 s]
/proc/loadavg: 3.24 3.36 3.60 4/251 854760
/proc/meminfo: memFree=125193852/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=362180 memory=329612 CPUtime=3212.29 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 51729 0 0 0 321211 18 0 0 20 0 1 0 164221500 370872320 82403 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90545 82403 851 746 0 89609 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 362180 KiB
Current children cumulated memory: 329612 KiB
[startup+3282.3 s]
/proc/loadavg: 3.18 3.32 3.57 4/251 854770
/proc/meminfo: memFree=125192220/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=363844 memory=330716 CPUtime=3272.11 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 52199 0 0 0 327193 18 0 0 20 0 1 0 164221500 372576256 82679 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 90961 82679 851 746 0 90025 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 363844 KiB
Current children cumulated memory: 330716 KiB
[startup+3342.3 s]
/proc/loadavg: 3.17 3.29 3.54 4/251 854781
/proc/meminfo: memFree=125174792/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=368948 memory=347792 CPUtime=3331.93 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 53494 0 0 0 333174 19 0 0 20 0 1 0 164221500 377802752 86948 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92237 86948 851 746 0 91301 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 368948 KiB
Current children cumulated memory: 347792 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.27 3.52 4/250 854960
/proc/meminfo: memFree=125173700/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=369084 memory=347928 CPUtime=3391.75 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 53688 0 0 0 339156 19 0 0 20 0 1 0 164221500 377942016 86982 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92271 86982 851 746 0 91335 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 347928 KiB
[startup+3462.3 s]
/proc/loadavg: 2.83 3.17 3.47 3/243 855000
/proc/meminfo: memFree=125203812/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=369084 memory=347996 CPUtime=3451.56 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 53833 0 0 0 345137 19 0 0 20 0 1 0 164221500 377942016 86999 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92271 86999 851 746 0 91335 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 347996 KiB
[startup+3522.3 s]
/proc/loadavg: 2.36 2.97 3.38 3/246 855027
/proc/meminfo: memFree=125188576/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=369084 memory=347996 CPUtime=3511.35 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 53956 0 0 0 351116 19 0 0 20 0 1 0 164221500 377942016 86999 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92271 86999 851 746 0 91335 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 347996 KiB
[startup+3582.3 s]
/proc/loadavg: 2.24 2.82 3.30 3/245 855037
/proc/meminfo: memFree=125185336/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=369084 memory=348032 CPUtime=3571.14 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 54121 0 0 0 357095 19 0 0 20 0 1 0 164221500 377942016 87008 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92271 87008 851 746 0 91335 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 348032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 2.14 2.74 3.26 3/245 855042
/proc/meminfo: memFree=125184352/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=369408 memory=348084 CPUtime=3600.03 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 54206 0 0 0 359984 19 0 0 20 0 1 0 164221500 378273792 87021 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92352 87021 851 746 0 91416 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 369408 KiB
Current children cumulated memory: 348084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.32 s]
# the end of solver process 853078 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.87 s, system=0.201134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 2.14 2.74 3.26 3/245 855042
/proc/meminfo: memFree=125184352/131524600 swapFree=131071996/131071996
[pid=853078] ppid=853075 vsize=369408 memory=348084 CPUtime=3600.03 cores=0,2
/proc/853078/stat : 853078 (Exact_nosoplex) R 853075 853078 846366 0 -1 4194304 54206 0 0 0 359984 19 0 0 20 0 1 0 164221500 378273792 87021 134679101440 4194304 7248369 140722363771136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 38707200 140722363777965 140722363778143 140722363778143 140722363785158 0
/proc/853078/statm: 92352 87021 851 746 0 91416 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 369408 KiB
Current children cumulated memory: 348084 KiB
Child status: 10
Real time (s): 3611.32
CPU time (s): 3600.07
CPU user time (s): 3599.87
CPU system time (s): 0.201134
CPU usage (%): 99.6884
Max. virtual memory (cumulated for all children) (KiB): 369408
Max. memory (cumulated for all children) (KiB): 348084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.201134
maximum resident set size= 348096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54208
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= 71
involuntary context switches= 25207
# summary of solver processes directly reported to runsolver:
# pid: 853078
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.87
# total CPU system time (s): 0.201134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56752 second user time and 16.2493 second system time
The end
Begin job on nodeC031 at 2024-07-16 11:02:25 IDJOB=4433638 IDBENCH=155343 IDSOLVER=3061 FILE ID=nodeC031/4433638-1721120532 RUNJOBID= nodeC031-1721112899-846376 SLURM_JOB_ID= 7505645 Free space on /tmp= 890060 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433638-1721120532/watcher-4433638-1721120532 -o /tmp/evaluation-result-4433638-1721120532/solver-4433638-1721120532 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721112899-846376 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=614841051 HOME/instance-4433638-1721120532.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db RANDOM SEED=614841051 nodeC031.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 : 3653.703 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.55 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 : 3680.325 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 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 : 3629.087 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.55 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.822 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 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 : 3678.568 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.55 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 : 3680.367 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 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 : 3617.694 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.55 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 : 3600.117 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127529284 kB MemAvailable: 129149492 kB Buffers: 381476 kB Cached: 2062228 kB SwapCached: 0 kB Active: 712540 kB Inactive: 2658224 kB Active(anon): 1536 kB Inactive(anon): 963240 kB Active(file): 711004 kB Inactive(file): 1694984 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5196 kB Writeback: 0 kB AnonPages: 925328 kB Mapped: 113980 kB Shmem: 37720 kB KReclaimable: 107732 kB Slab: 215816 kB SReclaimable: 107732 kB SUnreclaim: 108084 kB KernelStack: 4160 kB PageTables: 11168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1363112 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63200 kB HardwareCorrupted: 0 kB AnonHugePages: 770048 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: 185044 kB DirectMap2M: 16365568 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 890072 MiB End job on nodeC031 at 2024-07-16 12:02:36