Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.07 | 1802.96 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb |
MD5SUM | 26699ac56f0d58d8261ff4eb58d81611 |
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 | 1375.97 |
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 | 1659 |
Number of constraints which are clauses | 0 |
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 | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 707 |
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.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875623-1245170761.opb. 0.00/0.00 c Instance file HOME/instance-1875623-1245170761.opb 0.00/0.00 c File size is 322808 bytes. 0.05/0.05 c Highest Coefficient sum: 707 0.05/0.05 c ============================[ Problem Statistics ]============================= 0.05/0.05 c | | 0.05/0.05 c | Parsing time: 0.05 s | 0.05/0.05 c | Number Variables: 895 | 0.05/0.05 c | Number Clauses: 7 | 0.05/0.05 c | Number Cardinality: 0 | 0.05/0.05 c | Number PB Constraints: 1659 | 0.05/0.05 c core #1 0.05/0.05 c Core size: 8 Core Weight: 1 Total Weight: 1 0.05/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.05/0.07 c core #2 0.05/0.07 c Core size: 10 Core Weight: 1 Total Weight: 2 0.05/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 858 1679 41695 | 5000 0 nan | 0.000 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c core #3 0.05/0.08 c Core size: 14 Core Weight: 1 Total Weight: 3 0.05/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.05/0.10 c Learning 1 hard constraints 0.05/0.10 c core #4 0.05/0.10 c Core size: 14 Core Weight: 1 Total Weight: 4 0.05/0.10 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 880 1691 41728 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #5 0.09/0.11 c Core size: 48 Core Weight: 1 Total Weight: 5 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.13 c Learning 4 hard constraints 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 889 1700 41812 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #6 0.09/0.14 c Core size: 60 Core Weight: 3 Total Weight: 8 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.16 c Learning 26 hard constraints 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 903 1730 42608 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #7 0.09/0.17 c Core size: 61 Core Weight: 1 Total Weight: 9 0.09/0.17 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.18 c Learning 13 hard constraints 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 913 1747 42951 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #8 0.19/0.21 c Core size: 91 Core Weight: 1 Total Weight: 10 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.23 c Learning 39 hard constraints 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 887 1790 43951 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #9 0.19/0.23 c Core size: 39 Core Weight: 6 Total Weight: 16 0.19/0.23 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.25 c Learning 19 hard constraints 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 939 1812 44397 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #10 0.19/0.27 c Core size: 74 Core Weight: 1 Total Weight: 17 0.19/0.27 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.28 c Learning 26 hard constraints 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 951 1843 45069 | 5000 0 nan | 0.000 % | 0.28/0.33 c | 103 | 950 1843 45069 | 5500 103 30 | 2.165 % | 0.38/0.41 c | 254 | 950 1843 45069 | 6050 254 30 | 2.163 % | 0.48/0.52 c | 479 | 941 1843 45069 | 6655 479 32 | 6.386 % | 0.48/0.57 c =============================================================================== 0.48/0.57 c core #11 0.48/0.57 c Core size: 216 Core Weight: 1 Total Weight: 18 0.48/0.57 c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s 0.48/0.59 c Learning 118 hard constraints 0.48/0.59 c ============================[ Search Statistics ]============================== 0.48/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.59 c =============================================================================== 0.48/0.59 c | 0 | 967 1966 48862 | 5000 0 nan | 0.000 % | 0.58/0.62 c | 102 | 967 1966 48862 | 5500 102 28 | 2.027 % | 0.58/0.68 c | 252 | 967 1966 48862 | 6050 252 29 | 2.026 % | 0.68/0.75 c | 478 | 967 1966 48862 | 6655 478 32 | 2.027 % | 0.78/0.88 c =============================================================================== 0.78/0.89 c core #12 0.78/0.89 c Core size: 159 Core Weight: 1 Total Weight: 19 0.78/0.89 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.88/0.90 c Learning 34 hard constraints 0.88/0.90 c ============================[ Search Statistics ]============================== 0.88/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.90 c =============================================================================== 0.88/0.90 c | 0 | 971 2003 49774 | 5000 0 nan | 0.000 % | 0.88/0.94 c | 100 | 971 2003 49774 | 5500 100 31 | 2.019 % | 0.98/1.01 c | 250 | 971 2003 49774 | 6050 250 32 | 2.018 % | 1.08/1.11 c | 475 | 971 2003 49774 | 6655 475 33 | 2.018 % | 1.28/1.31 c | 813 | 971 2003 49774 | 7320 813 33 | 2.021 % | 1.48/1.52 c | 1319 | 971 2003 49774 | 8052 1319 32 | 2.018 % | 1.88/1.95 c | 2079 | 971 2003 49774 | 8857 2079 33 | 2.021 % | 2.57/2.68 c | 3220 | 971 2003 49774 | 9743 3220 34 | 2.018 % | 3.07/3.11 c =============================================================================== 3.07/3.12 c core #13 3.07/3.12 c Core size: 313 Core Weight: 1 Total Weight: 20 3.07/3.12 c Elapsed CPU time: 3.08153 s Remaining CPU time: 1796.92 s 3.07/3.15 c Learning 3150 hard constraints 3.07/3.15 c ============================[ Search Statistics ]============================== 3.07/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.15 c =============================================================================== 3.07/3.15 c | 0 | 981 5156 158500 | 5000 0 nan | 0.000 % | 3.07/3.19 c | 101 | 978 5156 158500 | 5500 101 17 | 2.598 % | 3.17/3.22 c =============================================================================== 3.17/3.22 c core #14 3.17/3.22 c Core size: 180 Core Weight: 1 Total Weight: 21 3.17/3.22 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.17/3.24 c Learning 71 hard constraints 3.17/3.24 c ============================[ Search Statistics ]============================== 3.17/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.24 c =============================================================================== 3.17/3.24 c | 0 | 1002 5230 160710 | 5000 0 nan | 0.000 % | 3.17/3.29 c | 101 | 1002 5230 160710 | 5500 101 20 | 1.957 % | 3.27/3.36 c | 251 | 1001 5230 160710 | 6050 251 29 | 2.348 % | 3.37/3.44 c | 477 | 999 5230 160710 | 6655 477 32 | 3.033 % | 3.57/3.61 c | 814 | 997 5230 160710 | 7320 814 34 | 3.229 % | 3.77/3.88 c | 1322 | 997 5230 160710 | 8052 1322 33 | 3.229 % | 4.27/4.35 c | 2081 | 997 5230 160710 | 8857 2081 33 | 3.230 % | 4.86/4.91 c =============================================================================== 4.86/4.92 c core #15 4.86/4.92 c Core size: 401 Core Weight: 11 Total Weight: 32 4.86/4.92 c Elapsed CPU time: 4.85426 s Remaining CPU time: 1795.15 s 4.86/4.96 c Learning 586 hard constraints 4.86/4.96 c ============================[ Search Statistics ]============================== 4.86/4.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.86/4.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.86/4.96 c =============================================================================== 4.86/4.96 c | 0 | 1014 5818 177810 | 5000 0 nan | 0.000 % | 4.96/5.00 c | 100 | 1014 5818 177810 | 5500 100 19 | 0.977 % | 5.06/5.10 c | 250 | 1014 5818 177810 | 6050 250 28 | 0.977 % | 5.16/5.20 c | 475 | 1005 5818 177810 | 6655 475 30 | 1.859 % | 5.36/5.42 c | 812 | 1005 5818 177810 | 7320 812 31 | 1.856 % | 5.55/5.60 c | 1318 | 1005 5818 177810 | 8052 1318 29 | 1.856 % | 5.95/6.04 c | 2078 | 850 5818 177810 | 8857 536 32 | 16.994 % | 5.95/6.09 c =============================================================================== 6.05/6.10 c core #16 6.05/6.10 c Core size: 619 Core Weight: 1 Total Weight: 33 6.05/6.10 c Elapsed CPU time: 6.02008 s Remaining CPU time: 1793.98 s 6.05/6.14 c Learning 464 hard constraints 6.05/6.14 c ============================[ Search Statistics ]============================== 6.05/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.14 c =============================================================================== 6.05/6.14 c | 0 | 1051 6286 192775 | 5000 0 nan | 0.000 % | 6.05/6.19 c | 100 | 1051 6286 192775 | 5500 100 25 | 0.943 % | 6.16/6.27 c | 250 | 1051 6286 192775 | 6050 250 31 | 0.943 % | 6.26/6.39 c | 476 | 1051 6286 192775 | 6655 476 34 | 0.943 % | 6.56/6.61 c | 815 | 1051 6286 192775 | 7320 815 34 | 0.943 % | 6.85/6.95 c | 1321 | 1051 6286 192775 | 8052 1321 35 | 0.943 % | 7.35/7.47 c | 2081 | 1051 6286 192775 | 8857 2081 34 | 0.943 % | 8.04/8.15 c | 3220 | 1051 6286 192775 | 9743 3220 34 | 0.943 % | 9.13/9.25 c | 4929 | 1051 6286 192775 | 10717 4929 35 | 0.943 % | 10.83/10.98 c | 7491 | 1051 6286 192775 | 11789 7491 35 | 0.943 % | 14.21/14.37 c | 11336 | 1051 6286 192775 | 12968 11336 35 | 0.943 % | 19.10/19.25 c | 17102 | 1051 6286 192775 | 14265 10578 36 | 0.943 % | 27.10/27.20 c | 25751 | 1042 6286 192775 | 15692 9854 36 | 1.888 % | 34.10/34.24 c =============================================================================== 34.40/34.50 c core #17 34.40/34.50 c Core size: 1707 Core Weight: 1 Total Weight: 34 34.40/34.50 c Elapsed CPU time: 34.2578 s Remaining CPU time: 1765.74 s 34.40/34.58 c Learning 2100 hard constraints 34.40/34.58 c ============================[ Search Statistics ]============================== 34.40/34.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.40/34.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.40/34.58 c =============================================================================== 34.40/34.58 c | 0 | 1058 8391 254877 | 5000 0 nan | 0.000 % | 34.50/34.64 c | 100 | 1058 8391 254877 | 5500 100 25 | 0.936 % | 34.60/34.74 c | 251 | 1058 8391 254877 | 6050 251 31 | 0.936 % | 34.70/34.88 c | 476 | 1058 8391 254877 | 6655 476 35 | 0.937 % | 35.01/35.12 c | 813 | 1058 8391 254877 | 7320 813 34 | 0.937 % | 35.29/35.42 c | 1321 | 1058 8391 254877 | 8052 1321 35 | 0.936 % | 35.79/35.96 c | 2080 | 1058 8391 254877 | 8857 2080 36 | 0.936 % | 36.70/36.82 c | 3219 | 1058 8391 254877 | 9743 3219 37 | 0.936 % | 37.90/38.07 c | 4928 | 1058 8391 254877 | 10717 4928 38 | 0.936 % | 39.10/39.28 c | 7492 | 1058 8391 254877 | 11789 7492 36 | 0.936 % | 42.90/43.06 c | 11340 | 1058 8391 254877 | 12968 11340 36 | 0.937 % | 47.10/47.26 c | 17106 | 1058 8391 254877 | 14265 10545 35 | 0.937 % | 53.81/53.96 c | 25756 | 1055 8391 254877 | 15692 14363 35 | 1.218 % | 54.89/55.06 c =============================================================================== 55.10/55.26 c core #18 55.10/55.26 c Core size: 2524 Core Weight: 1 Total Weight: 35 55.10/55.26 c Elapsed CPU time: 54.9516 s Remaining CPU time: 1745.05 s 55.20/55.37 c Learning 7096 hard constraints 55.20/55.37 c ============================[ Search Statistics ]============================== 55.20/55.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.20/55.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.20/55.37 c =============================================================================== 55.20/55.37 c | 0 | 1077 15491 486869 | 5163 0 nan | 0.000 % | 55.20/55.39 c | 101 | 1077 15491 486869 | 5680 101 23 | 0.920 % | 55.39/55.53 c | 252 | 1077 15491 486869 | 6248 252 29 | 0.920 % | 55.59/55.72 c | 479 | 1077 15491 486869 | 6872 479 33 | 0.920 % | 55.70/55.89 c | 817 | 1077 15491 486869 | 7560 817 33 | 0.921 % | 56.19/56.34 c | 1323 | 1077 15491 486869 | 8316 1323 35 | 0.920 % | 56.78/56.91 c | 2083 | 1077 15491 486869 | 9147 2083 34 | 0.920 % | 57.48/57.62 c | 3222 | 1077 15491 486869 | 10062 3222 34 | 0.921 % | 58.78/59.00 c | 4931 | 1077 15491 486869 | 11068 4931 35 | 0.920 % | 61.29/61.41 c | 7494 | 1077 15491 486869 | 12175 7494 36 | 0.920 % | 64.39/64.57 c | 11338 | 1077 15491 486869 | 13393 11338 36 | 0.922 % | 69.48/69.61 c | 17105 | 1077 15491 486869 | 14732 10202 36 | 0.920 % | 76.97/77.17 c | 25755 | 1077 15491 486869 | 16205 11338 37 | 0.921 % | 88.77/88.95 c | 38729 | 1077 15491 486869 | 17826 16067 38 | 0.920 % | 107.68/107.80 c | 58190 | 1077 15491 486869 | 19609 17627 37 | 0.921 % | 135.46/135.64 c | 87385 | 1077 15491 486869 | 21569 17238 37 | 0.920 % | 179.95/180.18 c | 131174 | 1077 15491 486869 | 23726 17483 36 | 0.920 % | 256.63/256.81 c | 196859 | 1077 15491 486869 | 26099 22237 38 | 0.921 % | 304.37/304.78 c =============================================================================== 306.57/307.00 c core #19 306.57/307.00 c Core size: 4799 Core Weight: 3 Total Weight: 38 306.67/307.00 c Elapsed CPU time: 305.69 s Remaining CPU time: 1494.31 s 306.96/307.34 c Learning 2737 hard constraints 306.96/307.34 c ============================[ Search Statistics ]============================== 306.96/307.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 306.96/307.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 306.96/307.34 c =============================================================================== 306.96/307.34 c | 0 | 1080 18230 574900 | 6076 0 nan | 0.000 % | 307.06/307.42 c | 101 | 1080 18230 574900 | 6684 101 23 | 0.918 % | 307.16/307.59 c | 252 | 1080 18230 574900 | 7352 252 31 | 0.918 % | 307.46/307.83 c | 477 | 1080 18230 574900 | 8088 477 35 | 0.918 % | 307.76/308.20 c | 815 | 1080 18230 574900 | 8896 815 37 | 0.918 % | 308.26/308.67 c | 1322 | 1080 18230 574900 | 9786 1322 39 | 0.918 % | 308.86/309.28 c | 2081 | 1080 18230 574900 | 10765 2081 37 | 0.918 % | 309.76/310.14 c | 3220 | 1080 18230 574900 | 11841 3220 37 | 0.918 % | 311.05/311.43 c | 4928 | 1080 18230 574900 | 13025 4928 36 | 0.918 % | 313.86/314.20 c | 7490 | 1080 18230 574900 | 14328 7490 39 | 0.918 % | 317.85/318.21 c | 11334 | 1080 18230 574900 | 15761 11334 39 | 0.918 % | 326.05/326.43 c | 17101 | 1080 18230 574900 | 17337 9204 38 | 0.918 % | 337.75/338.12 c | 25751 | 1080 18230 574900 | 19071 9049 39 | 0.918 % | 354.64/355.08 c | 38725 | 1080 18230 574900 | 20978 12288 38 | 0.918 % | 379.33/379.70 c | 58186 | 1080 18230 574900 | 23076 10625 36 | 0.918 % | 418.08/418.66 c | 87378 | 1079 18230 574900 | 25383 19524 38 | 1.009 % | 478.97/479.88 c | 131168 | 1072 18230 574900 | 27922 22206 39 | 1.751 % | 564.05/564.97 c | 196854 | 1069 18230 574900 | 30714 11946 35 | 1.927 % | 591.39/592.46 c =============================================================================== 593.97/595.09 c core #20 593.97/595.09 c Core size: 8090 Core Weight: 1 Total Weight: 39 593.97/595.09 c Elapsed CPU time: 592.377 s Remaining CPU time: 1207.62 s 594.36/595.46 c Learning 4071 hard constraints 594.36/595.46 c ============================[ Search Statistics ]============================== 594.36/595.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 594.36/595.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 594.36/595.46 c =============================================================================== 594.36/595.46 c | 0 | 1101 22304 704622 | 7434 0 nan | 0.000 % | 594.46/595.55 c | 101 | 1101 22304 704622 | 8178 101 24 | 0.900 % | 594.76/595.88 c | 251 | 1101 22304 704622 | 8995 251 29 | 0.900 % | 595.06/596.19 c | 477 | 1101 22304 704622 | 9895 477 32 | 0.900 % | 595.53/596.65 c | 814 | 1101 22304 704622 | 10885 814 35 | 0.900 % | 596.04/597.13 c | 1321 | 1101 22304 704622 | 11973 1321 35 | 0.901 % | 597.03/598.19 c | 2080 | 1101 22304 704622 | 13170 2080 37 | 0.900 % | 598.12/599.28 c | 3219 | 1101 22304 704622 | 14488 3219 37 | 0.900 % | 600.42/601.55 c | 4927 | 1101 22304 704622 | 15936 4927 37 | 0.900 % | 603.50/604.63 c | 7489 | 1101 22304 704622 | 17530 7489 37 | 0.901 % | 608.76/609.94 c | 11334 | 1101 22304 704622 | 19283 11334 37 | 0.900 % | 616.02/617.28 c | 17100 | 1101 22304 704622 | 21211 17100 37 | 0.901 % | 628.94/630.24 c | 25749 | 1101 22304 704622 | 23333 14970 38 | 0.900 % | 648.39/649.81 c | 38725 | 1101 22304 704622 | 25666 15915 39 | 0.901 % | 676.02/677.60 c | 58186 | 1101 22304 704622 | 28233 21183 38 | 0.900 % | 718.33/720.08 c | 87379 | 1101 22304 704622 | 31056 16925 39 | 0.903 % | 778.50/780.23 c | 131169 | 1068 22304 704622 | 34162 19524 39 | 3.870 % | 830.82/832.89 c =============================================================================== 832.92/834.91 c core #21 832.92/834.91 c Core size: 8496 Core Weight: 1 Total Weight: 40 832.92/834.91 c Elapsed CPU time: 830.645 s Remaining CPU time: 969.355 s 833.31/835.31 c Learning 12836 hard constraints 833.31/835.31 c ============================[ Search Statistics ]============================== 833.31/835.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 833.31/835.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 833.31/835.31 c =============================================================================== 833.31/835.31 c | 0 | 1116 35142 1179604 | 11714 0 nan | 0.000 % | 833.41/835.41 c | 100 | 1116 35142 1179604 | 12885 100 25 | 0.888 % | 833.72/835.75 c | 251 | 1116 35142 1179604 | 14173 251 29 | 0.888 % | 834.12/836.19 c | 476 | 1116 35142 1179604 | 15591 476 36 | 0.888 % | 834.52/836.58 c | 813 | 1116 35142 1179604 | 17150 813 35 | 0.889 % | 835.32/837.40 c | 1319 | 1116 35142 1179604 | 18865 1319 37 | 0.888 % | 836.13/838.20 c | 2078 | 1116 35142 1179604 | 20752 2078 36 | 0.889 % | 837.33/839.36 c | 3220 | 1116 35142 1179604 | 22827 3220 35 | 0.889 % | 839.81/841.84 c | 4930 | 1116 35142 1179604 | 25109 4930 38 | 0.888 % | 843.61/845.67 c | 7493 | 1116 35142 1179604 | 27620 7493 39 | 0.889 % | 848.22/850.24 c | 11339 | 1116 35142 1179604 | 30383 11339 38 | 0.889 % | 858.71/860.72 c | 17106 | 1116 35142 1179604 | 33421 17106 40 | 0.888 % | 874.63/876.63 c | 25755 | 1116 35142 1179604 | 36763 25755 40 | 0.889 % | 903.78/905.84 c | 38729 | 1115 35142 1179604 | 40439 20727 38 | 0.978 % | 943.89/945.99 c | 58190 | 1115 35142 1179604 | 44483 40188 39 | 0.977 % | 1003.11/1005.21 c | 87382 | 1115 35142 1179604 | 48932 37325 40 | 0.977 % | 1102.00/1104.54 c | 131173 | 1114 35142 1179604 | 53825 39436 39 | 1.066 % | 1128.79/1131.30 c =============================================================================== 1130.69/1133.26 c core #22 1130.69/1133.26 c Core size: 13489 Core Weight: 1 Total Weight: 41 1130.69/1133.26 c Elapsed CPU time: 1127.95 s Remaining CPU time: 672.046 s 1131.29/1133.84 c Learning 37361 hard constraints 1131.29/1133.84 c ============================[ Search Statistics ]============================== 1131.29/1133.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1131.29/1133.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1131.29/1133.84 c =============================================================================== 1131.29/1133.84 c | 0 | 1148 72505 2556100 | 24168 0 nan | 0.000 % | 1131.49/1134.01 c | 100 | 1148 72505 2556100 | 26585 100 29 | 0.864 % | 1131.89/1134.43 c | 252 | 1148 72505 2556100 | 29243 252 34 | 0.864 % | 1132.29/1134.88 c | 477 | 1148 72505 2556100 | 32168 477 36 | 0.864 % | 1132.78/1135.40 c | 814 | 1148 72505 2556100 | 35384 814 35 | 0.864 % | 1133.28/1135.81 c | 1320 | 1148 72505 2556100 | 38923 1320 35 | 0.864 % | 1134.90/1137.45 c | 2082 | 1148 72505 2556100 | 42815 2082 37 | 0.864 % | 1136.18/1138.78 c | 3221 | 1148 72505 2556100 | 47097 3221 36 | 0.864 % | 1140.19/1142.73 c | 4929 | 1148 72505 2556100 | 51806 4929 38 | 0.864 % | 1144.48/1147.04 c | 7491 | 1148 72505 2556100 | 56987 7491 37 | 0.865 % | 1152.78/1155.32 c | 11335 | 1148 72505 2556100 | 62686 11335 38 | 0.864 % | 1166.67/1169.29 c | 17102 | 1148 72505 2556100 | 68955 17102 40 | 0.864 % | 1189.16/1191.79 c | 25751 | 1148 72505 2556100 | 75850 25751 42 | 0.864 % | 1221.86/1224.49 c | 38725 | 1148 72505 2556100 | 83435 38725 41 | 0.864 % | 1281.24/1283.86 c | 58188 | 1144 72505 2556100 | 91779 45532 40 | 1.209 % | 1393.50/1396.17 c | 87380 | 1144 72505 2556100 | 100957 74724 41 | 1.209 % | 1540.16/1542.92 c =============================================================================== 1541.96/1544.75 c core #23 1541.96/1544.75 c Core size: 26609 Core Weight: 1 Total Weight: 42 1541.96/1544.75 c Elapsed CPU time: 1538.77 s Remaining CPU time: 261.227 s 1542.55/1545.37 c Learning 8558 hard constraints 1542.55/1545.37 c ============================[ Search Statistics ]============================== 1542.55/1545.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1542.55/1545.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1542.55/1545.37 c =============================================================================== 1542.55/1545.37 c | 0 | 1180 81065 2850416 | 27021 0 nan | 0.000 % | 1542.76/1545.52 c | 101 | 1180 81065 2850416 | 29723 101 31 | 0.840 % | 1543.25/1546.07 c | 252 | 1180 81065 2850416 | 32696 252 34 | 0.840 % | 1543.86/1546.68 c | 477 | 1180 81065 2850416 | 35965 477 37 | 0.840 % | 1544.25/1547.08 c | 815 | 1180 81065 2850416 | 39562 815 36 | 0.840 % | 1544.96/1547.75 c | 1321 | 1180 81065 2850416 | 43518 1321 38 | 0.840 % | 1546.06/1548.89 c | 2081 | 1180 81065 2850416 | 47870 2081 38 | 0.840 % | 1548.15/1551.00 c | 3221 | 1180 81065 2850416 | 52657 3221 37 | 0.842 % | 1553.16/1555.98 c | 4929 | 1180 81065 2850416 | 57923 4929 39 | 0.841 % | 1556.65/1559.48 c | 7491 | 1180 81065 2850416 | 63715 7491 39 | 0.840 % | 1563.95/1566.77 c | 11336 | 1180 81065 2850416 | 70087 11336 39 | 0.840 % | 1576.83/1579.61 c | 17104 | 1180 81065 2850416 | 77095 17104 40 | 0.840 % | 1598.31/1601.18 c | 25753 | 1180 81065 2850416 | 84805 25753 40 | 0.842 % | 1609.11/1611.92 c | 38732 | 1180 81065 2850416 | 93286 38732 42 | 0.840 % | 1678.88/1681.74 c | 58194 | 1177 81065 2850416 | 102614 58194 42 | 1.682 % | 1740.34/1743.29 c | 87386 | 1170 81065 2850416 | 112876 84420 41 | 1.681 % | 1765.24/1768.11 c =============================================================================== 1766.24/1769.10 c core #24 1766.24/1769.10 c Core size: 5375 Core Weight: 1 Total Weight: 43 1766.24/1769.10 c Elapsed CPU time: 1762.62 s Remaining CPU time: 37.382 s 1766.74/1769.69 c Learning 2 hard constraints 1766.74/1769.69 c ============================[ Search Statistics ]============================== 1766.74/1769.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1766.74/1769.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1766.74/1769.69 c =============================================================================== 1766.74/1769.69 c | 0 | 1219 81069 2850525 | 27023 0 nan | 0.000 % | 1766.94/1769.84 c | 101 | 1219 81069 2850525 | 29725 101 35 | 0.814 % | 1767.53/1770.47 c | 252 | 1219 81069 2850525 | 32697 252 36 | 0.814 % | 1768.43/1771.30 c | 478 | 1219 81069 2850525 | 35967 478 39 | 0.814 % | 1769.13/1772.07 c | 816 | 1219 81069 2850525 | 39564 816 39 | 0.814 % | 1770.23/1773.14 c | 1323 | 1219 81069 2850525 | 43520 1323 38 | 0.815 % | 1772.23/1775.18 c | 2082 | 1219 81069 2850525 | 47872 2082 39 | 0.814 % | 1774.51/1777.45 c | 3221 | 1219 81069 2850525 | 52660 3221 39 | 0.814 % | 1778.32/1781.26 c | 4931 | 1219 81069 2850525 | 57926 4931 40 | 0.814 % | 1782.71/1785.64 c | 7494 | 1219 81069 2850525 | 63718 7494 39 | 0.814 % | 1792.00/1794.98 c | 11338 | 1216 81069 2850525 | 70090 11338 39 | 1.627 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875623-1245170761/watcher-1875623-1245170761 -o /tmp/evaluation-result-1875623-1245170761/solver-1875623-1245170761 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875623-1245170761.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.08 2.08 4/73 30310 /proc/meminfo: memFree=1868056/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=2708 CPUtime=0 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 184674118 2772992 157 1992294400 134512640 135709839 4294956240 18446744073709551615 134543007 0 0 4096 3 0 0 0 17 0 0 0 /proc/30310/statm: 677 157 122 292 0 303 0 [startup+0.0569259 s] /proc/loadavg: 2.00 2.08 2.08 4/73 30310 /proc/meminfo: memFree=1868056/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=4040 CPUtime=0.05 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 590 0 0 0 5 0 0 0 18 0 1 0 184674118 4136960 574 1992294400 134512640 135709839 4294956240 18446744073709551615 135352212 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 1010 574 199 292 0 636 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4040 [startup+0.101926 s] /proc/loadavg: 2.00 2.08 2.08 4/73 30310 /proc/meminfo: memFree=1868056/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=6936 CPUtime=0.09 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 1377 0 0 0 9 0 0 0 18 0 1 0 184674118 7102464 1282 1992294400 134512640 135709839 4294956240 18446744073709551615 135168174 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 1734 1282 135 292 0 1439 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6936 [startup+0.301953 s] /proc/loadavg: 2.00 2.08 2.08 4/73 30310 /proc/meminfo: memFree=1868056/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=12744 CPUtime=0.28 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 2837 0 0 0 27 1 0 0 19 0 1 0 184674118 13049856 2742 1992294400 134512640 135709839 4294956240 18446744073709551615 134572717 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 3186 2742 135 292 0 2891 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12744 [startup+0.701991 s] /proc/loadavg: 2.00 2.08 2.08 4/73 30310 /proc/meminfo: memFree=1868056/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=13668 CPUtime=0.68 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 3094 0 0 0 67 1 0 0 23 0 1 0 184674118 13996032 2999 1992294400 134512640 135709839 4294956240 18446744073709551615 134572583 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 3417 2999 136 292 0 3122 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13668 [startup+1.50108 s] /proc/loadavg: 2.00 2.08 2.08 3/74 30311 /proc/meminfo: memFree=1855504/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=14724 CPUtime=1.48 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 3343 0 0 0 146 2 0 0 25 0 1 0 184674118 15077376 3248 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 3681 3248 136 292 0 3386 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14724 [startup+3.10125 s] /proc/loadavg: 2.00 2.08 2.08 2/74 30311 /proc/meminfo: memFree=1855376/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=15120 CPUtime=3.07 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 3449 0 0 0 305 2 0 0 25 0 1 0 184674118 15482880 3354 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 3780 3354 136 292 0 3485 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 15120 [startup+6.30259 s] /proc/loadavg: 2.08 2.10 2.08 3/74 30311 /proc/meminfo: memFree=1850576/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=20704 CPUtime=6.26 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 4825 0 0 0 621 5 0 0 25 0 1 0 184674118 21200896 4730 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 5176 4730 136 292 0 4881 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 20704 [startup+12.7013 s] /proc/loadavg: 2.07 2.09 2.08 3/74 30311 /proc/meminfo: memFree=1848400/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=21756 CPUtime=12.61 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 5090 0 0 0 1254 7 0 0 25 0 1 0 184674118 22278144 4995 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 5439 4995 136 292 0 5144 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 21756 [startup+25.5025 s] /proc/loadavg: 2.12 2.10 2.09 4/74 30311 /proc/meminfo: memFree=1844112/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=25852 CPUtime=25.4 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 6124 0 0 0 2529 11 0 0 25 0 1 0 184674118 26472448 6029 1992294400 134512640 135709839 4294956240 18446744073709551615 134518386 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 6463 6029 136 292 0 6168 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 25852 [startup+51.1062 s] /proc/loadavg: 2.07 2.09 2.08 2/74 30311 /proc/meminfo: memFree=1837456/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=32496 CPUtime=51 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 7789 0 0 0 5081 19 0 0 25 0 1 0 184674118 33275904 7694 1992294400 134512640 135709839 4294956240 18446744073709551615 134573734 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 8124 7694 136 292 0 7829 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 32496 [startup+102.316 s] /proc/loadavg: 2.16 2.11 2.09 4/74 30311 /proc/meminfo: memFree=1824144/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=45740 CPUtime=102.19 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 11095 0 0 0 10182 37 0 0 25 0 1 0 184674118 46837760 11000 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 11435 11000 136 292 0 11140 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 45740 [startup+162.303 s] /proc/loadavg: 2.12 2.09 2.08 4/74 30311 /proc/meminfo: memFree=1807504/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=62544 CPUtime=162.15 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 15278 0 0 0 16159 56 0 0 25 0 1 0 184674118 64045056 15183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 15636 15183 136 292 0 15341 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 62544 [startup+222.305 s] /proc/loadavg: 1.98 2.06 2.07 2/74 30311 /proc/meminfo: memFree=1792528/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=77228 CPUtime=222.14 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 18959 0 0 0 22143 71 0 0 25 0 1 0 184674118 79081472 18864 1992294400 134512640 135709839 4294956240 18446744073709551615 134572636 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 19307 18864 136 292 0 19012 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 77228 [startup+282.307 s] /proc/loadavg: 1.99 2.04 2.07 3/74 30311 /proc/meminfo: memFree=1777680/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=92212 CPUtime=282.12 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 22698 0 0 0 28124 88 0 0 25 0 1 0 184674118 94425088 22603 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 23053 22603 136 292 0 22758 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 92212 [startup+342.31 s] /proc/loadavg: 1.88 2.00 2.05 3/74 30311 /proc/meminfo: memFree=1761616/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=108292 CPUtime=341.95 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 26673 0 0 0 34089 106 0 0 25 0 1 0 184674118 110891008 26578 1992294400 134512640 135709839 4294956240 18446744073709551615 134573884 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 27073 26578 136 292 0 26778 0 Current children cumulated CPU time (s) 341.95 Current children cumulated vsize (KiB) 108292 [startup+402.302 s] /proc/loadavg: 1.89 1.98 2.04 3/74 30313 /proc/meminfo: memFree=1761232/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=108292 CPUtime=401.89 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 26695 0 0 0 40071 118 0 0 25 0 1 0 184674118 110891008 26600 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 27073 26600 136 292 0 26778 0 Current children cumulated CPU time (s) 401.89 Current children cumulated vsize (KiB) 108292 [startup+462.302 s] /proc/loadavg: 1.84 1.97 2.03 3/74 30313 /proc/meminfo: memFree=1757648/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=111988 CPUtime=461.48 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 27633 0 0 0 46013 135 0 0 25 0 1 0 184674118 114675712 27538 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 27997 27538 136 292 0 27702 0 Current children cumulated CPU time (s) 461.48 Current children cumulated vsize (KiB) 111988 [startup+522.307 s] /proc/loadavg: 1.93 1.96 2.02 3/74 30313 /proc/meminfo: memFree=1748624/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=121152 CPUtime=521.47 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 29924 0 0 0 51998 149 0 0 25 0 1 0 184674118 124059648 29829 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 30288 29829 136 292 0 29993 0 Current children cumulated CPU time (s) 521.47 Current children cumulated vsize (KiB) 121152 [startup+582.302 s] /proc/loadavg: 1.76 1.91 1.99 4/74 30313 /proc/meminfo: memFree=1735952/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=133720 CPUtime=581.38 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 33033 0 0 0 57975 163 0 0 25 0 1 0 184674118 136929280 32938 1992294400 134512640 135709839 4294956240 18446744073709551615 134572760 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 33430 32938 136 292 0 33135 0 Current children cumulated CPU time (s) 581.38 Current children cumulated vsize (KiB) 133720 [startup+642.301 s] /proc/loadavg: 2.05 1.97 2.01 4/74 30313 /proc/meminfo: memFree=1723280/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=146032 CPUtime=640.94 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 36185 0 0 0 63905 189 0 0 25 0 1 0 184674118 149536768 36062 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/30310/statm: 36508 36062 136 292 0 36213 0 Current children cumulated CPU time (s) 640.94 Current children cumulated vsize (KiB) 146032 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 2.01 1.97 2.00 2/74 30313 /proc/meminfo: memFree=1696592/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=172544 CPUtime=880.31 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 42805 0 0 0 87793 238 0 0 25 0 1 0 184674118 176685056 42649 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 43136 42649 136 292 0 42841 0 Current children cumulated CPU time (s) 880.31 Current children cumulated vsize (KiB) 172544 [startup+942.302 s] /proc/loadavg: 2.09 2.01 2.00 4/74 30319 /proc/meminfo: memFree=1696464/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=172544 CPUtime=940.28 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 42816 0 0 0 93782 246 0 0 25 0 1 0 184674118 176685056 42660 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 43136 42660 136 292 0 42841 0 Current children cumulated CPU time (s) 940.28 Current children cumulated vsize (KiB) 172544 [startup+1002.3 s] /proc/loadavg: 2.30 2.08 2.03 3/74 30319 /proc/meminfo: memFree=1691792/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=177200 CPUtime=1000.22 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 43976 0 0 0 99763 259 0 0 25 0 1 0 184674118 181452800 43820 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 44300 43820 136 292 0 44005 0 Current children cumulated CPU time (s) 1000.22 Current children cumulated vsize (KiB) 177200 [startup+1062.3 s] /proc/loadavg: 2.06 2.05 2.01 2/74 30319 /proc/meminfo: memFree=1686800/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=182360 CPUtime=1059.84 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 45265 0 0 0 105714 270 0 0 25 0 1 0 184674118 186736640 45109 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 45590 45109 136 292 0 45295 0 Current children cumulated CPU time (s) 1059.84 Current children cumulated vsize (KiB) 182360 [startup+1122.3 s] /proc/loadavg: 2.08 2.04 2.01 3/74 30319 /proc/meminfo: memFree=1681552/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=187636 CPUtime=1119.79 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 46543 0 0 0 111702 277 0 0 25 0 1 0 184674118 192139264 46387 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 46909 46387 136 292 0 46614 0 Current children cumulated CPU time (s) 1119.79 Current children cumulated vsize (KiB) 187636 [startup+1182.3 s] /proc/loadavg: 2.32 2.11 2.03 4/74 30319 /proc/meminfo: memFree=1664592/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=204692 CPUtime=1179.76 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 50822 0 0 0 117690 286 0 0 25 0 1 0 184674118 209604608 50601 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 51173 50601 136 292 0 50878 0 Current children cumulated CPU time (s) 1179.76 Current children cumulated vsize (KiB) 204692 [startup+1242.3 s] /proc/loadavg: 2.02 2.08 2.03 4/74 30319 /proc/meminfo: memFree=1664464/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=204692 CPUtime=1239.75 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 50833 0 0 0 123680 295 0 0 25 0 1 0 184674118 209604608 50612 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 51173 50612 136 292 0 50878 0 Current children cumulated CPU time (s) 1239.75 Current children cumulated vsize (KiB) 204692 [startup+1302.3 s] /proc/loadavg: 2.01 2.05 2.01 3/74 30319 /proc/meminfo: memFree=1664336/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=204692 CPUtime=1299.74 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 50855 0 0 0 129673 301 0 0 25 0 1 0 184674118 209604608 50634 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 51173 50634 136 292 0 50878 0 Current children cumulated CPU time (s) 1299.74 Current children cumulated vsize (KiB) 204692 [startup+1362.31 s] /proc/loadavg: 2.06 2.05 2.01 3/74 30319 /proc/meminfo: memFree=1664272/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=204692 CPUtime=1359.72 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 50861 0 0 0 135665 307 0 0 25 0 1 0 184674118 209604608 50640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 51173 50640 136 292 0 50878 0 Current children cumulated CPU time (s) 1359.72 Current children cumulated vsize (KiB) 204692 [startup+1422.31 s] /proc/loadavg: 2.14 2.08 2.02 3/74 30319 /proc/meminfo: memFree=1663248/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=205860 CPUtime=1419.7 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 51121 0 0 0 141658 312 0 0 25 0 1 0 184674118 210800640 50900 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 51465 50900 136 292 0 51170 0 Current children cumulated CPU time (s) 1419.7 Current children cumulated vsize (KiB) 205860 [startup+1482.3 s] /proc/loadavg: 1.85 2.01 2.00 3/74 30319 /proc/meminfo: memFree=1659984/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=209192 CPUtime=1479.58 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 51928 0 0 0 147641 317 0 0 25 0 1 0 184674118 214212608 51707 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 52298 51707 136 292 0 52003 0 Current children cumulated CPU time (s) 1479.58 Current children cumulated vsize (KiB) 209192 [startup+1542.31 s] /proc/loadavg: 1.83 1.97 1.99 4/74 30319 /proc/meminfo: memFree=1656080/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=213056 CPUtime=1539.56 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 52885 0 0 0 153632 324 0 0 25 0 1 0 184674118 218169344 52664 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 53264 52664 136 292 0 52969 0 Current children cumulated CPU time (s) 1539.56 Current children cumulated vsize (KiB) 213056 [startup+1602.3 s] /proc/loadavg: 2.01 1.99 1.99 3/74 30319 /proc/meminfo: memFree=1640144/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=228680 CPUtime=1599.51 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 57012 0 0 0 159617 334 0 0 25 0 1 0 184674118 234168320 56621 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 57170 56621 136 292 0 56875 0 Current children cumulated CPU time (s) 1599.51 Current children cumulated vsize (KiB) 228680 [startup+1662.3 s] /proc/loadavg: 2.06 2.00 2.00 3/74 30319 /proc/meminfo: memFree=1640144/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=228680 CPUtime=1659.49 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 57017 0 0 0 165607 342 0 0 25 0 1 0 184674118 234168320 56626 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 57170 56626 136 292 0 56875 0 Current children cumulated CPU time (s) 1659.49 Current children cumulated vsize (KiB) 228680 [startup+1722.31 s] /proc/loadavg: 1.78 1.94 1.97 4/74 30319 /proc/meminfo: memFree=1639760/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=229076 CPUtime=1719.47 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 57088 0 0 0 171598 349 0 0 25 0 1 0 184674118 234573824 56697 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 57269 56697 136 292 0 56974 0 Current children cumulated CPU time (s) 1719.47 Current children cumulated vsize (KiB) 229076 [startup+1782.3 s] /proc/loadavg: 2.03 1.98 1.99 3/74 30319 /proc/meminfo: memFree=1613264/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=255312 CPUtime=1779.41 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 63861 0 0 0 177573 368 0 0 25 0 1 0 184674118 261439488 63279 1992294400 134512640 135709839 4294956240 18446744073709551615 134573878 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 63828 63279 136 292 0 63533 0 Current children cumulated CPU time (s) 1779.41 Current children cumulated vsize (KiB) 255312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.91 s] /proc/loadavg: 2.17 2.01 2.00 3/74 30319 /proc/meminfo: memFree=1613264/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=255312 CPUtime=1800.02 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 63862 0 0 0 179631 371 0 0 25 0 1 0 184674118 261439488 63280 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 63828 63280 136 292 0 63533 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 255312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1802.91 s] /proc/loadavg: 2.17 2.01 2.00 3/74 30319 /proc/meminfo: memFree=1613264/2055920 swapFree=4179968/4192956 [pid=30310] ppid=30308 vsize=255312 CPUtime=1800.02 /proc/30310/stat : 30310 (wbo) R 30308 30310 29981 0 -1 4194304 63862 0 0 0 179631 371 0 0 25 0 1 0 184674118 261439488 63280 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/30310/statm: 63828 63280 136 292 0 63533 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 255312 Child ended because it received signal 15 (SIGTERM) Real time (s): 1802.96 CPU time (s): 1800.07 CPU user time (s): 1796.32 CPU system time (s): 3.75343 CPU usage (%): 99.8397 Max. virtual memory (cumulated for all children) (KiB): 256032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.32 system time used= 3.75343 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63862 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= 2 involuntary context switches= 10951 runsolver used 2.42463 second user time and 6.15506 second system time The end
Begin job on node82 at 2009-06-16 18:46:01 IDJOB=1875623 IDBENCH=2637 IDSOLVER=698 FILE ID=node82/1875623-1245170761 PBS_JOBID= 9363856 Free space on /tmp= 66404 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875623-1245170761/watcher-1875623-1245170761 -o /tmp/evaluation-result-1875623-1245170761/solver-1875623-1245170761 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875623-1245170761.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611 RANDOM SEED=469055136 node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1868600 kB Buffers: 25820 kB Cached: 75908 kB SwapCached: 6596 kB Active: 66316 kB Inactive: 65436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1868600 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 2752 kB Writeback: 0 kB Mapped: 37416 kB Slab: 40672 kB Committed_AS: 600884 kB PageTables: 2068 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875623-1245170761.opb Free space on /tmp at the end= 66400 MiB End job on node82 at 2009-06-16 19:16:06