Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_10.opb |
MD5SUM | dd415565c40b70127defa3137ccd18d3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 633.683 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 55 |
Optimality of the best value was proved | YES |
Number of variables | 895 |
Total number of constraints | 1660 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1659 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 45 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 108 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 144 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 741 |
Number of bits of the biggest sum of numbers | 10 |
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.01 c wbo 1.6 beta - 20110321 0.00/0.01 c Parsing opb file format. File HOME/instance-3460866-1307107420.opb. 0.00/0.01 c Instance file HOME/instance-3460866-1307107420.opb 0.00/0.01 c File size is 319495 bytes. 0.00/0.04 c Highest Coefficient sum: 741 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.02 s | 0.00/0.04 c | Number Variables: 895 | 0.00/0.04 c | Number Clauses: 1 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 1659 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 894 1660 41105 | 5000 0 -nan | 0.000 % | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 867 1666 40867 | 5000 0 -nan | 0.000 % | 0.06/0.09 c | 101 | 867 1666 40867 | 5500 101 32 | 3.129 % | 0.08/0.13 c | 251 | 867 1666 40867 | 6050 251 34 | 3.129 % | 0.08/0.17 c | 476 | 867 1666 40867 | 6655 476 31 | 3.129 % | 0.18/0.26 c | 813 | 867 1666 40867 | 7320 813 31 | 3.129 % | 0.28/0.39 c | 1319 | 862 1666 40867 | 8052 1319 30 | 3.687 % | 0.58/0.60 c | 2081 | 862 1666 40867 | 8857 2081 29 | 3.687 % | 0.78/0.87 c | 3220 | 862 1666 40867 | 9743 3220 28 | 3.688 % | 1.17/1.29 c | 4933 | 862 1666 40867 | 10717 4933 27 | 3.688 % | 1.97/2.07 c | 7495 | 862 1666 40867 | 11789 7495 28 | 3.687 % | 2.98/3.02 c | 11339 | 862 1666 40867 | 12968 11339 27 | 3.687 % | 4.58/4.64 c | 17105 | 862 1666 40867 | 14265 10581 26 | 3.687 % | 6.98/7.04 c | 25756 | 862 1666 40867 | 15692 11999 25 | 3.687 % | 10.99/11.07 c | 38732 | 862 1666 40867 | 17261 9072 26 | 3.688 % | 13.77/13.81 c =============================================================================== 13.77/13.83 c core #1 13.77/13.83 c 13.77/13.83 c 13.77/13.83 c Core size: 20 Core Weight: 1 Total Weight: 46 13.77/13.83 c Current CPU time: 13.7089 s 13.77/13.83 c 13.77/13.83 c ============================[ Search Statistics ]============================== 13.77/13.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.77/13.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.77/13.83 c =============================================================================== 13.77/13.83 c | 0 | 874 1672 40917 | 5000 0 -nan | 0.000 % | 13.77/13.87 c | 103 | 874 1672 40917 | 5500 103 27 | 2.997 % | 13.87/13.91 c | 254 | 874 1672 40917 | 6050 254 28 | 2.997 % | 13.87/13.97 c | 479 | 874 1672 40917 | 6655 479 27 | 2.997 % | 13.98/14.06 c | 816 | 874 1672 40917 | 7320 816 27 | 2.997 % | 14.19/14.21 c | 1322 | 874 1672 40917 | 8052 1322 27 | 2.997 % | 14.29/14.39 c | 2081 | 874 1672 40917 | 8857 2081 27 | 2.997 % | 14.57/14.69 c | 3220 | 874 1672 40917 | 9743 3220 27 | 2.997 % | 15.18/15.22 c | 4928 | 874 1672 40917 | 10717 4928 28 | 2.997 % | 15.88/15.95 c | 7490 | 874 1672 40917 | 11789 7490 27 | 2.997 % | 17.07/17.16 c | 11335 | 874 1672 40917 | 12968 11335 27 | 2.997 % | 18.88/18.91 c | 17101 | 874 1672 40917 | 14265 10574 26 | 2.997 % | 21.57/21.68 c | 25752 | 872 1672 40917 | 15692 12054 27 | 3.220 % | 25.88/25.93 c | 38728 | 872 1672 40917 | 17261 9213 26 | 3.220 % | 32.48/32.52 c | 58189 | 872 1672 40917 | 18987 11199 27 | 3.220 % | 42.37/42.41 c | 87381 | 872 1672 40917 | 20886 11585 27 | 3.221 % | 58.29/58.33 c | 131170 | 871 1672 40917 | 22974 13190 28 | 3.330 % | 66.87/66.91 c =============================================================================== 66.87/66.97 c core #2 66.87/66.97 c 66.87/66.97 c 66.87/66.97 c Core size: 29 Core Weight: 1 Total Weight: 47 66.87/66.97 c Current CPU time: 66.5459 s 66.87/66.97 c 66.87/66.97 c ============================[ Search Statistics ]============================== 66.87/66.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.87/66.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.87/66.97 c =============================================================================== 66.87/66.97 c | 0 | 882 1677 40926 | 5000 0 -nan | 0.000 % | 66.98/67.02 c | 100 | 882 1677 40926 | 5500 100 33 | 2.649 % | 66.98/67.06 c | 251 | 882 1677 40926 | 6050 251 32 | 2.649 % | 67.10/67.12 c | 477 | 882 1677 40926 | 6655 477 29 | 2.649 % | 67.18/67.21 c | 815 | 881 1677 40926 | 7320 815 27 | 2.760 % | 67.28/67.37 c | 1322 | 880 1677 40926 | 8052 1322 27 | 2.870 % | 67.48/67.57 c | 2085 | 880 1677 40926 | 8857 2085 27 | 2.870 % | 67.77/67.89 c | 3225 | 880 1677 40926 | 9743 3225 27 | 2.870 % | 68.38/68.43 c | 4933 | 880 1677 40926 | 10717 4933 28 | 2.870 % | 69.19/69.30 c | 7496 | 880 1677 40926 | 11789 7496 30 | 2.870 % | 70.29/70.38 c | 11340 | 880 1677 40926 | 12968 11340 31 | 2.870 % | 72.27/72.32 c | 17106 | 880 1677 40926 | 14265 10592 34 | 2.870 % | 75.07/75.13 c | 25755 | 880 1677 40926 | 15692 11979 35 | 2.870 % | 79.48/79.50 c | 38730 | 880 1677 40926 | 17261 9010 33 | 2.870 % | 86.08/86.11 c | 58192 | 880 1677 40926 | 18987 11112 34 | 2.870 % | 95.88/95.90 c | 87385 | 880 1677 40926 | 20886 11502 34 | 2.870 % | 111.68/111.78 c | 131175 | 880 1677 40926 | 22974 13262 35 | 2.870 % | 134.78/134.85 c | 196860 | 877 1677 40926 | 25272 20993 36 | 3.202 % | 149.60/149.65 c =============================================================================== 149.98/150.04 c core #3 149.98/150.04 c 149.98/150.04 c 149.98/150.04 c Core size: 39 Core Weight: 1 Total Weight: 48 149.98/150.04 c Current CPU time: 149.18 s 149.98/150.04 c 149.98/150.04 c ============================[ Search Statistics ]============================== 149.98/150.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 149.98/150.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 149.98/150.04 c =============================================================================== 149.98/150.04 c | 0 | 888 1682 40934 | 5000 0 -nan | 0.000 % | 149.98/150.09 c | 101 | 888 1682 40934 | 5500 101 24 | 2.632 % | 150.08/150.12 c | 252 | 888 1682 40934 | 6050 252 27 | 2.632 % | 150.08/150.18 c | 478 | 888 1682 40934 | 6655 478 27 | 2.632 % | 150.18/150.26 c | 816 | 888 1682 40934 | 7320 816 29 | 2.632 % | 150.28/150.38 c | 1323 | 888 1682 40934 | 8052 1323 28 | 2.632 % | 150.47/150.58 c | 2082 | 888 1682 40934 | 8857 2082 29 | 2.632 % | 150.78/150.89 c | 3221 | 888 1682 40934 | 9743 3221 29 | 2.632 % | 151.28/151.32 c | 4931 | 888 1682 40934 | 10717 4931 29 | 2.632 % | 151.98/152.05 c | 7493 | 887 1682 40934 | 11789 7493 29 | 2.741 % | 153.18/153.29 c | 11339 | 886 1682 40934 | 12968 11339 29 | 2.851 % | 155.18/155.24 c | 17107 | 885 1682 40934 | 14265 10476 28 | 2.961 % | 157.88/157.93 c | 25757 | 885 1682 40934 | 15692 11884 29 | 2.961 % | 162.08/162.20 c | 38732 | 885 1682 40934 | 17261 9073 27 | 2.961 % | 168.08/168.19 c | 58193 | 885 1682 40934 | 18987 11023 27 | 2.961 % | 177.37/177.45 c | 87385 | 885 1682 40934 | 20886 11388 27 | 2.962 % | 191.48/191.59 c | 131174 | 884 1682 40934 | 22974 12956 25 | 3.071 % | 213.18/213.24 c | 196859 | 881 1682 40934 | 25272 20026 26 | 3.399 % | 241.18/241.28 c =============================================================================== 241.28/241.39 c core #4 241.28/241.39 c 241.28/241.39 c 241.28/241.39 c Core size: 18 Core Weight: 1 Total Weight: 49 241.28/241.39 c Current CPU time: 240.075 s 241.28/241.39 c 241.28/241.39 c ============================[ Search Statistics ]============================== 241.28/241.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.28/241.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.28/241.39 c =============================================================================== 241.28/241.39 c | 0 | 898 1686 41030 | 5000 0 -nan | 0.000 % | 241.39/241.43 c | 102 | 898 1686 41030 | 5500 102 30 | 1.965 % | 241.39/241.47 c | 254 | 898 1686 41030 | 6050 254 30 | 1.965 % | 241.49/241.51 c | 481 | 898 1686 41030 | 6655 481 28 | 1.965 % | 241.49/241.59 c | 818 | 898 1686 41030 | 7320 818 30 | 1.965 % | 241.68/241.70 c | 1325 | 898 1686 41030 | 8052 1325 30 | 1.965 % | 241.89/241.91 c | 2085 | 898 1686 41030 | 8857 2085 31 | 1.965 % | 242.08/242.19 c | 3225 | 898 1686 41030 | 9743 3225 31 | 1.966 % | 242.58/242.65 c | 4934 | 898 1686 41030 | 10717 4934 30 | 1.965 % | 243.38/243.41 c | 7497 | 897 1686 41030 | 11789 7497 33 | 2.074 % | 244.58/244.64 c | 11341 | 897 1686 41030 | 12968 11341 33 | 2.074 % | 246.30/246.40 c | 17108 | 895 1686 41030 | 14265 10414 34 | 2.293 % | 249.08/249.17 c | 25757 | 895 1686 41030 | 15692 11696 34 | 2.293 % | 253.18/253.20 c | 38731 | 895 1686 41030 | 17261 8734 37 | 2.293 % | 258.78/258.85 c | 58192 | 895 1686 41030 | 18987 10732 34 | 2.293 % | 267.79/267.80 c | 87385 | 895 1686 41030 | 20886 11078 32 | 2.293 % | 282.18/282.26 c | 131175 | 895 1686 41030 | 22974 12606 35 | 2.293 % | 302.58/302.67 c | 196861 | 895 1686 41030 | 25272 20257 33 | 2.293 % | 333.79/333.82 c | 295387 | 892 1686 41030 | 27799 22235 34 | 2.621 % | 378.68/378.72 c =============================================================================== 379.50/379.53 c core #5 379.50/379.53 c 379.50/379.53 c 379.50/379.53 c Core size: 28 Core Weight: 1 Total Weight: 50 379.50/379.53 c Current CPU time: 377.397 s 379.50/379.53 c 379.50/379.53 c ============================[ Search Statistics ]============================== 379.50/379.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 379.50/379.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 379.50/379.53 c =============================================================================== 379.50/379.53 c | 0 | 907 1690 41045 | 5000 0 -nan | 0.000 % | 379.50/379.57 c | 100 | 907 1690 41045 | 5500 100 31 | 1.946 % | 379.58/379.62 c | 251 | 907 1690 41045 | 6050 251 29 | 1.946 % | 379.68/379.71 c | 476 | 907 1690 41045 | 6655 476 28 | 1.946 % | 379.68/379.79 c | 813 | 907 1690 41045 | 7320 813 27 | 1.946 % | 379.89/379.95 c | 1319 | 906 1690 41045 | 8052 1319 27 | 2.055 % | 380.09/380.17 c | 2078 | 906 1690 41045 | 8857 2078 29 | 2.054 % | 380.39/380.48 c | 3218 | 906 1690 41045 | 9743 3218 28 | 2.054 % | 380.98/381.05 c | 4926 | 905 1690 41045 | 10717 4926 29 | 2.162 % | 381.79/381.86 c | 7489 | 905 1690 41045 | 11789 7489 30 | 2.162 % | 382.99/383.04 c | 11333 | 905 1690 41045 | 12968 11333 29 | 2.162 % | 384.58/384.69 c | 17099 | 905 1690 41045 | 14265 10590 28 | 2.162 % | 387.68/387.74 c | 25748 | 905 1690 41045 | 15692 12073 28 | 2.162 % | 391.98/392.02 c | 38722 | 905 1690 41045 | 17261 9205 32 | 2.162 % | 398.21/398.25 c | 58184 | 905 1690 41045 | 18987 11311 29 | 2.162 % | 407.09/407.12 c | 87377 | 905 1690 41045 | 20886 11840 31 | 2.162 % | 420.69/420.78 c | 131169 | 902 1690 41045 | 22974 13482 35 | 2.487 % | 442.89/442.92 c | 196853 | 902 1690 41045 | 25272 20105 39 | 2.487 % | 477.69/477.73 c | 295380 | 901 1690 41045 | 27799 23964 31 | 2.595 % | 531.79/531.88 c | 443169 | 901 1690 41045 | 30579 26990 34 | 2.595 % | 609.89/609.98 c | 664852 | 898 1690 41045 | 33637 25549 36 | 2.921 % | 635.89/635.94 c =============================================================================== 637.10/637.14 c core #6 637.10/637.14 c 637.10/637.14 c 637.10/637.14 c Core size: 29 Core Weight: 1 Total Weight: 51 637.10/637.14 c Current CPU time: 633.63 s 637.10/637.14 c 637.10/637.14 c ============================[ Search Statistics ]============================== 637.10/637.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 637.10/637.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 637.10/637.14 c =============================================================================== 637.10/637.14 c | 0 | 915 1694 41058 | 5000 0 -nan | 0.000 % | 637.10/637.17 c | 100 | 915 1694 41058 | 5500 100 26 | 1.930 % | 637.20/637.21 c | 251 | 915 1694 41058 | 6050 251 28 | 1.930 % | 637.20/637.27 c | 478 | 915 1694 41058 | 6655 478 28 | 1.930 % | 637.30/637.36 c | 816 | 915 1694 41058 | 7320 816 28 | 1.929 % | 637.39/637.49 c | 1322 | 914 1694 41058 | 8052 1322 27 | 2.037 % | 637.59/637.69 c | 2081 | 914 1694 41058 | 8857 2081 27 | 2.037 % | 637.90/638.01 c | 3222 | 914 1694 41058 | 9743 3222 27 | 2.037 % | 638.50/638.58 c | 4932 | 914 1694 41058 | 10717 4932 28 | 2.037 % | 639.19/639.22 c | 7494 | 914 1694 41058 | 11789 7494 28 | 2.037 % | 640.50/640.53 c | 11340 | 914 1694 41058 | 12968 11340 30 | 2.037 % | 642.09/642.15 c | 17106 | 914 1694 41058 | 14265 10475 30 | 2.037 % | 644.70/644.76 c | 25756 | 914 1694 41058 | 15692 11911 29 | 2.037 % | 648.91/648.91 c | 38731 | 914 1694 41058 | 17261 9037 28 | 2.037 % | 653.90/653.95 c | 58194 | 914 1694 41058 | 18987 11132 26 | 2.037 % | 663.09/663.14 c | 87387 | 914 1694 41058 | 20886 11434 28 | 2.037 % | 677.50/677.61 c | 131176 | 913 1694 41058 | 22974 12983 29 | 2.144 % | 699.69/699.72 c | 196861 | 913 1694 41058 | 25272 19854 29 | 2.144 % | 732.61/732.62 c | 295387 | 913 1694 41058 | 27799 23153 28 | 2.144 % | 782.90/782.97 c | 443177 | 913 1694 41058 | 30579 13056 25 | 2.145 % | 862.60/862.61 c | 664861 | 913 1694 41058 | 33637 15409 27 | 2.145 % | 978.70/978.75 c | 997388 | 877 1694 41058 | 37001 25911 27 | 6.003 % | 982.41/982.43 c =============================================================================== 982.81/982.82 c core #7 982.81/982.82 c 982.81/982.82 c 982.81/982.82 c Core size: 15 Core Weight: 2 Total Weight: 53 982.81/982.82 c Current CPU time: 977.484 s 982.81/982.82 c 982.81/982.82 c ============================[ Search Statistics ]============================== 982.81/982.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 982.81/982.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 982.81/982.82 c =============================================================================== 982.81/982.82 c | 0 | 926 1697 41131 | 5000 0 -nan | 0.000 % | 982.81/982.85 c | 100 | 926 1697 41131 | 5500 100 30 | 1.068 % | 982.81/982.89 c | 250 | 926 1697 41131 | 6050 250 30 | 1.068 % | 982.91/982.94 c | 475 | 926 1697 41131 | 6655 475 28 | 1.068 % | 983.01/983.02 c | 813 | 925 1697 41131 | 7320 813 29 | 1.176 % | 983.11/983.13 c | 1320 | 925 1697 41131 | 8052 1320 28 | 1.175 % | 983.32/983.32 c | 2079 | 923 1697 41131 | 8857 2079 30 | 1.389 % | 983.50/983.57 c | 3218 | 923 1697 41131 | 9743 3218 30 | 1.389 % | 983.91/983.97 c | 4926 | 923 1697 41131 | 10717 4926 30 | 1.389 % | 984.52/984.54 c | 7488 | 923 1697 41131 | 11789 7488 30 | 1.389 % | 985.52/985.61 c | 11332 | 923 1697 41131 | 12968 11332 32 | 1.389 % | 987.21/987.22 c | 17098 | 923 1697 41131 | 14265 10551 34 | 1.389 % | 989.50/989.57 c | 25748 | 923 1697 41131 | 15692 11936 33 | 1.389 % | 993.50/993.54 c | 38723 | 923 1697 41131 | 17261 9014 32 | 1.389 % | 999.51/999.55 c | 58185 | 923 1697 41131 | 18987 10890 33 | 1.389 % | 1008.81/1008.89 c | 87377 | 923 1697 41131 | 20886 10998 37 | 1.389 % | 1022.51/1022.52 c | 131166 | 923 1697 41131 | 22974 12610 32 | 1.389 % | 1043.11/1043.17 c | 196850 | 923 1697 41131 | 25272 19502 36 | 1.389 % | 1073.81/1073.81 c | 295376 | 921 1697 41131 | 27799 21535 33 | 1.710 % | 1118.91/1118.99 c | 443165 | 920 1697 41131 | 30579 12566 33 | 1.711 % | 1189.81/1189.82 c | 664848 | 908 1697 41131 | 33637 29113 31 | 2.992 % | 1281.54/1281.59 c =============================================================================== 1283.12/1283.10 c core #8 1283.12/1283.10 c 1283.12/1283.10 c 1283.12/1283.10 c Core size: 33 Core Weight: 1 Total Weight: 54 1283.12/1283.10 c Current CPU time: 1276.21 s 1283.12/1283.10 c 1283.12/1283.10 c ============================[ Search Statistics ]============================== 1283.12/1283.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1283.12/1283.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1283.12/1283.10 c =============================================================================== 1283.12/1283.10 c | 0 | 941 1700 41159 | 5000 0 -nan | 0.000 % | 1283.12/1283.13 c | 100 | 941 1700 41159 | 5500 100 31 | 1.052 % | 1283.12/1283.17 c | 250 | 941 1700 41159 | 6050 250 29 | 1.052 % | 1283.22/1283.23 c | 476 | 941 1700 41159 | 6655 476 28 | 1.052 % | 1283.32/1283.33 c | 813 | 941 1700 41159 | 7320 813 27 | 1.052 % | 1283.42/1283.45 c | 1320 | 941 1700 41159 | 8052 1320 26 | 1.052 % | 1283.63/1283.63 c | 2079 | 940 1700 41159 | 8857 2079 25 | 1.157 % | 1283.91/1283.91 c | 3218 | 940 1700 41159 | 9743 3218 26 | 1.157 % | 1284.41/1284.45 c | 4928 | 940 1700 41159 | 10717 4928 26 | 1.157 % | 1285.12/1285.17 c | 7491 | 940 1700 41159 | 11789 7491 26 | 1.157 % | 1286.21/1286.26 c | 11337 | 940 1700 41159 | 12968 11337 27 | 1.157 % | 1288.03/1288.03 c | 17104 | 940 1700 41159 | 14265 10572 28 | 1.157 % | 1291.02/1291.01 c | 25753 | 940 1700 41159 | 15692 11990 30 | 1.157 % | 1295.42/1295.41 c | 38727 | 938 1700 41159 | 17261 8971 29 | 1.367 % | 1301.62/1301.69 c | 58189 | 938 1700 41159 | 18987 11072 31 | 1.367 % | 1311.02/1311.05 c | 87381 | 938 1700 41159 | 20886 11424 32 | 1.367 % | 1325.81/1325.84 c | 131171 | 938 1700 41159 | 22974 13109 33 | 1.367 % | 1346.91/1346.96 c | 196858 | 938 1700 41159 | 25272 20325 30 | 1.367 % | 1382.52/1382.53 c | 295387 | 938 1700 41159 | 27799 24557 32 | 1.367 % | 1435.44/1435.42 c | 443176 | 938 1700 41159 | 30579 15295 34 | 1.367 % | 1515.43/1515.47 c | 664860 | 938 1700 41159 | 33637 12267 35 | 1.367 % | 1636.63/1636.67 c | 997385 | 937 1700 41159 | 37001 24268 34 | 1.473 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460866-1307107420/watcher-3460866-1307107420 -o /tmp/evaluation-result-3460866-1307107420/solver-3460866-1307107420 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460866-1307107420.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 2.03 2.00 3/436 19995 /proc/meminfo: memFree=20822912/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/19995/stat : 19995 (runsolver) R 19993 19995 18464 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 822339901 12079104 51 33554432000 4194304 5432328 140734879731728 18446744073709551615 4881591 0 0 4096 24578 0 0 0 17 7 0 0 0 /proc/19995/statm: 2949 51 31 303 0 2643 0 [startup+0.084977 s] /proc/loadavg: 1.95 2.03 2.00 3/436 19995 /proc/meminfo: memFree=20822912/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=6636 CPUtime=0.06 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 1541 0 0 0 6 0 0 0 25 0 1 0 822339901 6795264 1415 33554432000 4194304 5714214 140736462131936 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 1659 1415 179 372 0 1284 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6636 [startup+0.100968 s] /proc/loadavg: 1.95 2.03 2.00 3/436 19995 /proc/meminfo: memFree=20822912/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=6636 CPUtime=0.08 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 1542 0 0 0 8 0 0 0 25 0 1 0 822339901 6795264 1416 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 1659 1416 180 372 0 1284 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6636 [startup+0.300932 s] /proc/loadavg: 1.95 2.03 2.00 3/436 19995 /proc/meminfo: memFree=20822912/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=6636 CPUtime=0.28 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 1542 0 0 0 28 0 0 0 25 0 1 0 822339901 6795264 1416 33554432000 4194304 5714214 140736462131936 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 1659 1416 180 372 0 1284 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6636 [startup+0.70086 s] /proc/loadavg: 1.95 2.03 2.00 3/436 19995 /proc/meminfo: memFree=20822912/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=6636 CPUtime=0.68 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 1543 0 0 0 68 0 0 0 25 0 1 0 822339901 6795264 1417 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 1659 1417 180 372 0 1284 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6636 [startup+1.50071 s] /proc/loadavg: 1.95 2.03 2.00 3/437 19996 /proc/meminfo: memFree=20817096/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=6636 CPUtime=1.47 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 1546 0 0 0 147 0 0 0 25 0 1 0 822339901 6795264 1420 33554432000 4194304 5714214 140736462131936 18446744073709551615 4200544 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 1659 1420 180 372 0 1284 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 6636 [startup+3.1004 s] /proc/loadavg: 1.95 2.03 2.00 3/437 19996 /proc/meminfo: memFree=20815856/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=8236 CPUtime=3.08 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 1920 0 0 0 306 2 0 0 25 0 1 0 822339901 8433664 1794 33554432000 4194304 5714214 140736462131936 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 2059 1794 180 372 0 1684 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8236 [startup+6.30082 s] /proc/loadavg: 1.95 2.03 2.00 3/437 19996 /proc/meminfo: memFree=20812864/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=9784 CPUtime=6.27 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 2327 0 0 0 623 4 0 0 25 0 1 0 822339901 10018816 2201 33554432000 4194304 5714214 140736462131936 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 2446 2201 180 372 0 2071 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 9784 [startup+12.7006 s] /proc/loadavg: 1.96 2.03 2.00 3/437 19997 /proc/meminfo: memFree=20808396/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=12676 CPUtime=12.68 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 3041 0 0 0 1260 8 0 0 20 0 1 0 822339901 12980224 2915 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 3169 2915 180 372 0 2794 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12676 [startup+25.5003 s] /proc/loadavg: 1.97 2.03 2.00 3/437 19997 /proc/meminfo: memFree=20804552/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=14512 CPUtime=25.48 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 3522 0 0 0 2532 16 0 0 25 0 1 0 822339901 14860288 3362 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 3628 3362 180 372 0 3253 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14512 [startup+51.1005 s] /proc/loadavg: 1.98 2.03 2.00 3/437 19998 /proc/meminfo: memFree=20796008/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=20708 CPUtime=51.07 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 5048 0 0 0 5078 29 0 0 25 0 1 0 822339901 21204992 4888 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 5177 4888 180 372 0 4802 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20708 [startup+102.316 s] /proc/loadavg: 1.99 2.02 2.00 3/437 19999 /proc/meminfo: memFree=20782204/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=26520 CPUtime=102.29 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 6555 0 0 0 10177 52 0 0 25 0 1 0 822339901 27156480 6349 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 6630 6349 180 372 0 6255 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 26520 [startup+162.301 s] /proc/loadavg: 1.99 2.02 2.00 3/437 20001 /proc/meminfo: memFree=20759236/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=42268 CPUtime=162.28 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 10496 0 0 0 16147 81 0 0 25 0 1 0 822339901 43282432 10290 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 10567 10290 180 372 0 10192 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 42268 [startup+222.301 s] /proc/loadavg: 1.99 2.01 2.00 3/437 20002 /proc/meminfo: memFree=20753756/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=42268 CPUtime=222.28 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 10508 0 0 0 22118 110 0 0 25 0 1 0 822339901 43282432 10302 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 10567 10302 180 372 0 10192 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 42268 [startup+282.301 s] /proc/loadavg: 1.99 2.00 2.00 3/437 20004 /proc/meminfo: memFree=20746904/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=42268 CPUtime=282.28 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 10522 0 0 0 28086 142 0 0 25 0 1 0 822339901 43282432 10316 33554432000 4194304 5714214 140736462131936 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 10567 10316 180 372 0 10192 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 42268 [startup+342.301 s] /proc/loadavg: 2.04 2.01 2.00 3/437 20005 /proc/meminfo: memFree=20735596/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=45948 CPUtime=342.28 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 11423 0 0 0 34052 176 0 0 25 0 1 0 822339901 47050752 11217 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 11487 11217 180 372 0 11112 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 45948 [startup+402.3 s] /proc/loadavg: 2.05 2.03 2.00 3/437 20007 /proc/meminfo: memFree=20709392/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=65000 CPUtime=402.29 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 16245 0 0 0 40021 208 0 0 25 0 1 0 822339901 66560000 15983 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 16250 15983 180 372 0 15875 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 65000 [startup+462.3 s] /proc/loadavg: 2.12 2.05 2.01 3/437 20009 /proc/meminfo: memFree=20703908/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=65000 CPUtime=462.29 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 16251 0 0 0 45990 239 0 0 25 0 1 0 822339901 66560000 15989 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 16250 15989 180 372 0 15875 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 65000 [startup+522.3 s] /proc/loadavg: 2.04 2.04 2.00 3/437 20010 /proc/meminfo: memFree=20696424/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=65000 CPUtime=522.29 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 16271 0 0 0 51963 266 0 0 25 0 1 0 822339901 66560000 16009 33554432000 4194304 5714214 140736462131936 18446744073709551615 4323061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 16250 16009 180 372 0 15875 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 65000 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.00 3/437 20012 /proc/meminfo: memFree=20682136/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=73344 CPUtime=582.3 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 18332 0 0 0 57934 296 0 0 25 0 1 0 822339901 75104256 18070 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 18336 18070 180 372 0 17961 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 73344 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.10 2.04 2.00 3/437 20018 /proc/meminfo: memFree=20628468/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=102264 CPUtime=822.3 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 25567 0 0 0 81809 421 0 0 25 0 1 0 822339901 104718336 25305 33554432000 4194304 5714214 140736462131936 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 25566 25305 180 372 0 25191 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 102264 [startup+882.301 s] /proc/loadavg: 2.10 2.05 2.00 3/437 20020 /proc/meminfo: memFree=20621720/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=102264 CPUtime=882.3 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 25567 0 0 0 87782 448 0 0 25 0 1 0 822339901 104718336 25305 33554432000 4194304 5714214 140736462131936 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 25566 25305 180 372 0 25191 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 102264 [startup+942.3 s] /proc/loadavg: 2.29 2.10 2.02 3/437 20021 /proc/meminfo: memFree=20613236/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=104036 CPUtime=942.31 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 26002 0 0 0 93754 477 0 0 25 0 1 0 822339901 106532864 25740 33554432000 4194304 5714214 140736462131936 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 26009 25740 180 372 0 25634 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 104036 [startup+1002.3 s] /proc/loadavg: 2.17 2.10 2.02 3/437 20023 /proc/meminfo: memFree=20592612/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=119068 CPUtime=1002.31 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 29750 0 0 0 99724 507 0 0 25 0 1 0 822339901 121925632 29488 33554432000 4194304 5714214 140736462131936 18446744073709551615 4322717 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 29767 29488 180 372 0 29392 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 119068 [startup+1062.3 s] /proc/loadavg: 2.12 2.09 2.02 3/437 20025 /proc/meminfo: memFree=20585640/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=119068 CPUtime=1062.31 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 29751 0 0 0 105690 541 0 0 25 0 1 0 822339901 121925632 29489 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 29767 29489 180 372 0 29392 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 119068 [startup+1122.3 s] /proc/loadavg: 2.04 2.07 2.01 3/437 20026 /proc/meminfo: memFree=20578880/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=119068 CPUtime=1122.31 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 29752 0 0 0 111660 571 0 0 25 0 1 0 822339901 121925632 29490 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 29767 29490 180 372 0 29392 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 119068 [startup+1182.3 s] /proc/loadavg: 2.01 2.06 2.01 3/437 20028 /proc/meminfo: memFree=20571292/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=119068 CPUtime=1182.31 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 29764 0 0 0 117628 603 0 0 25 0 1 0 822339901 121925632 29502 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 29767 29502 180 372 0 29392 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 119068 [startup+1242.3 s] /proc/loadavg: 2.00 2.04 2.00 3/437 20029 /proc/meminfo: memFree=20566908/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=119068 CPUtime=1242.32 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 29770 0 0 0 123601 631 0 0 25 0 1 0 822339901 121925632 29508 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 29767 29508 180 372 0 29392 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 119068 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/437 20031 /proc/meminfo: memFree=20549012/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1302.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32191 0 0 0 129573 660 0 0 18 0 1 0 822339901 131792896 31929 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31929 180 372 0 31801 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 128704 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/437 20033 /proc/meminfo: memFree=20542500/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1362.31 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32191 0 0 0 135543 688 0 0 25 0 1 0 822339901 131792896 31929 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31929 180 372 0 31801 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 128704 [startup+1422.32 s] /proc/loadavg: 2.11 2.06 2.01 3/437 20034 /proc/meminfo: memFree=20535868/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1422.34 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32191 0 0 0 141519 715 0 0 25 0 1 0 822339901 131792896 31929 33554432000 4194304 5714214 140736462131936 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31929 180 372 0 31801 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 128704 [startup+1482.3 s] /proc/loadavg: 2.07 2.06 2.01 3/437 20036 /proc/meminfo: memFree=20530116/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1482.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32193 0 0 0 147491 742 0 0 25 0 1 0 822339901 131792896 31931 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31931 180 372 0 31801 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 128704 [startup+1542.3 s] /proc/loadavg: 2.06 2.06 2.01 3/437 20037 /proc/meminfo: memFree=20525220/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1542.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32193 0 0 0 153464 769 0 0 25 0 1 0 822339901 131792896 31931 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31931 180 372 0 31801 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 128704 [startup+1602.3 s] /proc/loadavg: 2.06 2.06 2.01 3/437 20039 /proc/meminfo: memFree=20519240/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1602.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32193 0 0 0 159436 797 0 0 25 0 1 0 822339901 131792896 31931 33554432000 4194304 5714214 140736462131936 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31931 180 372 0 31801 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 128704 [startup+1662.3 s] /proc/loadavg: 2.02 2.05 2.00 3/437 20041 /proc/meminfo: memFree=20514236/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=128704 CPUtime=1662.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 32193 0 0 0 165411 822 0 0 25 0 1 0 822339901 131792896 31931 33554432000 4194304 5714214 140736462131936 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 32176 31931 180 372 0 31801 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 128704 [startup+1722.3 s] /proc/loadavg: 1.72 1.97 1.98 3/435 21230 /proc/meminfo: memFree=20711248/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=141200 CPUtime=1722.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 35287 0 0 0 171380 853 0 0 25 0 1 0 822339901 144588800 35025 33554432000 4194304 5714214 140736462131936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 35300 35025 180 372 0 34925 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 141200 [startup+1782.3 s] /proc/loadavg: 1.74 1.92 1.96 3/437 22988 /proc/meminfo: memFree=20556192/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=157104 CPUtime=1782.33 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 39251 0 0 0 177348 885 0 0 25 0 1 0 822339901 160874496 38989 33554432000 4194304 5714214 140736462131936 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 39276 38989 180 372 0 38901 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 157104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.81 1.92 1.96 3/437 22988 /proc/meminfo: memFree=20523560/32951124 swapFree=60787360/67111528 [pid=19995] ppid=19993 vsize=162128 CPUtime=1800.05 cores=1,3,5,7 /proc/19995/stat : 19995 (wbo1.6) R 19993 19995 18464 0 -1 4202496 40473 0 0 0 179111 894 0 0 25 0 1 0 822339901 166019072 40211 33554432000 4194304 5714214 140736462131936 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19995/statm: 40532 40211 180 372 0 40157 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 162128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.07 CPU user time (s): 1791.12 CPU system time (s): 8.94864 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 162128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.12 system time used= 8.94864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40473 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= 29 involuntary context switches= 2812 runsolver used 7.57285 second user time and 18.3472 second system time The end
Begin job on node135 at 2011-06-03 15:23:40 IDJOB=3460866 IDBENCH=2944 IDSOLVER=1953 FILE ID=node135/3460866-1307107420 RUNJOBID= node135-1307105519-19804 PBS_JOBID= 13497982 Free space on /tmp= 73952 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460866-1307107420/watcher-3460866-1307107420 -o /tmp/evaluation-result-3460866-1307107420/solver-3460866-1307107420 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460866-1307107420.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3 RANDOM SEED=139944546 node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 6640.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20823192 kB Buffers: 229580 kB Cached: 510008 kB SwapCached: 6168 kB Active: 11437664 kB Inactive: 433252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20823192 kB SwapTotal: 67111528 kB SwapFree: 60787360 kB Dirty: 4688 kB Writeback: 0 kB AnonPages: 11130860 kB Mapped: 26672 kB Slab: 125036 kB PageTables: 65932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 124425572 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node135 at 2011-06-03 15:53:42