Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.14 | 1801.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
MD5SUM | fe9b3ae0ed0deb400897e8cf071ce6eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 101 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | NO |
Number of variables | 1812 |
Total number of constraints | 3443 |
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 | 3443 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1307 |
Number of bits of the biggest sum of numbers | 11 |
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-1875786-1245170672.opb. 0.00/0.00 c Instance file HOME/instance-1875786-1245170672.opb 0.00/0.00 c File size is 799598 bytes. 0.09/0.12 c Highest Coefficient sum: 1307 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 1812 | 0.09/0.12 c | Number Clauses: 8 | 0.09/0.12 c | Number Cardinality: 0 | 0.09/0.12 c | Number PB Constraints: 3443 | 0.09/0.12 c core #1 0.09/0.12 c Core size: 9 Core Weight: 1 Total Weight: 1 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.15 c core #2 0.09/0.15 c Core size: 11 Core Weight: 1 Total Weight: 2 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1755 3466 100781 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #3 0.09/0.19 c Core size: 15 Core Weight: 1 Total Weight: 3 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.19/0.23 c Learning 1 hard constraints 0.19/0.23 c core #4 0.19/0.23 c Core size: 15 Core Weight: 1 Total Weight: 4 0.19/0.23 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1781 3480 100818 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #5 0.19/0.27 c Core size: 53 Core Weight: 1 Total Weight: 5 0.19/0.27 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.29/0.30 c Learning 4 hard constraints 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1791 3490 100915 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #6 0.29/0.34 c Core size: 66 Core Weight: 3 Total Weight: 8 0.29/0.34 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.29/0.38 c Learning 17 hard constraints 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 1808 3512 101533 | 5000 0 nan | 0.000 % | 0.40/0.41 c =============================================================================== 0.40/0.41 c core #7 0.40/0.41 c Core size: 77 Core Weight: 1 Total Weight: 9 0.40/0.41 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.40/0.45 c Learning 11 hard constraints 0.40/0.45 c ============================[ Search Statistics ]============================== 0.40/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.40/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.40/0.45 c =============================================================================== 0.40/0.45 c | 0 | 1819 3528 102052 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #8 0.49/0.51 c Core size: 91 Core Weight: 1 Total Weight: 10 0.49/0.51 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.54 c Learning 21 hard constraints 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1833 3554 102888 | 5000 0 nan | 0.000 % | 0.69/0.73 c | 101 | 1833 3554 102888 | 5500 101 41 | 2.552 % | 1.00/1.02 c | 251 | 1829 3554 102888 | 6050 251 40 | 8.294 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c core #9 1.00/1.03 c Core size: 180 Core Weight: 6 Total Weight: 16 1.00/1.03 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 1.00/1.06 c Learning 250 hard constraints 1.00/1.06 c ============================[ Search Statistics ]============================== 1.00/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.06 c =============================================================================== 1.00/1.06 c | 0 | 1849 3808 112778 | 5000 0 nan | 0.000 % | 1.09/1.15 c =============================================================================== 1.09/1.15 c core #10 1.09/1.15 c Core size: 127 Core Weight: 1 Total Weight: 17 1.09/1.15 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.09/1.18 c Learning 48 hard constraints 1.09/1.18 c ============================[ Search Statistics ]============================== 1.09/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.18 c =============================================================================== 1.09/1.18 c | 0 | 1862 3862 114501 | 5000 0 nan | 0.000 % | 1.29/1.33 c | 102 | 1861 3862 114501 | 5500 102 37 | 1.949 % | 1.39/1.49 c | 254 | 1861 3862 114501 | 6050 254 37 | 1.949 % | 1.79/1.81 c | 479 | 1857 3862 114501 | 6655 479 40 | 2.213 % | 2.10/2.17 c =============================================================================== 2.10/2.17 c core #11 2.10/2.17 c Core size: 338 Core Weight: 1 Total Weight: 18 2.10/2.17 c Elapsed CPU time: 2.14367 s Remaining CPU time: 1797.86 s 2.20/2.21 c Learning 69 hard constraints 2.20/2.21 c ============================[ Search Statistics ]============================== 2.20/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.21 c =============================================================================== 2.20/2.21 c | 0 | 1879 3937 116510 | 5000 0 nan | 0.000 % | 2.29/2.36 c | 100 | 1879 3937 116510 | 5500 100 42 | 1.880 % | 2.49/2.59 c | 252 | 1879 3937 116510 | 6050 252 41 | 1.880 % | 2.79/2.89 c | 478 | 1879 3937 116510 | 6655 478 44 | 1.880 % | 3.39/3.44 c | 815 | 1878 3937 116510 | 7320 815 44 | 1.932 % | 3.99/4.02 c =============================================================================== 3.99/4.03 c core #12 3.99/4.03 c Core size: 276 Core Weight: 1 Total Weight: 19 3.99/4.03 c Elapsed CPU time: 3.99739 s Remaining CPU time: 1796 s 3.99/4.07 c Learning 1043 hard constraints 3.99/4.07 c ============================[ Search Statistics ]============================== 3.99/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.07 c =============================================================================== 3.99/4.07 c | 0 | 1884 4984 161912 | 5000 0 nan | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c core #13 4.09/4.14 c Core size: 138 Core Weight: 1 Total Weight: 20 4.09/4.14 c Elapsed CPU time: 4.10438 s Remaining CPU time: 1795.9 s 4.09/4.19 c Learning 34 hard constraints 4.09/4.19 c ============================[ Search Statistics ]============================== 4.09/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.19 c =============================================================================== 4.09/4.19 c | 0 | 1902 5022 163717 | 5000 0 nan | 0.000 % | 4.09/4.19 c | 101 | 1902 5022 163717 | 5500 101 17 | 2.110 % | 4.19/4.20 c =============================================================================== 4.19/4.20 c core #14 4.19/4.20 c Core size: 60 Core Weight: 1 Total Weight: 21 4.19/4.20 c Elapsed CPU time: 4.15937 s Remaining CPU time: 1795.84 s 4.19/4.24 c Learning 1 hard constraints 4.19/4.24 c ============================[ Search Statistics ]============================== 4.19/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.24 c =============================================================================== 4.19/4.24 c | 0 | 1926 5027 163801 | 5000 0 nan | 0.000 % | 4.19/4.25 c | 101 | 1926 5027 163801 | 5500 101 26 | 2.084 % | 4.19/4.26 c | 251 | 1926 5027 163801 | 6050 251 21 | 2.084 % | 4.69/4.73 c | 476 | 1926 5027 163801 | 6655 476 35 | 2.084 % | 5.29/5.30 c | 814 | 1925 5027 163801 | 7320 814 38 | 2.135 % | 5.99/6.04 c | 1320 | 1925 5027 163801 | 8052 1320 40 | 2.135 % | 6.89/6.98 c | 2080 | 1925 5027 163801 | 8857 1743 36 | 2.135 % | 8.39/8.40 c | 3219 | 1925 5027 163801 | 9743 2882 38 | 2.138 % | 9.19/9.29 c =============================================================================== 9.29/9.31 c core #15 9.29/9.31 c Core size: 432 Core Weight: 11 Total Weight: 32 9.29/9.31 c Elapsed CPU time: 9.24959 s Remaining CPU time: 1790.75 s 9.29/9.36 c Learning 2369 hard constraints 9.29/9.36 c ============================[ Search Statistics ]============================== 9.29/9.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.36 c =============================================================================== 9.29/9.36 c | 0 | 1946 7399 259930 | 5000 0 nan | 0.000 % | 9.29/9.38 c | 103 | 1946 7399 259930 | 5500 103 28 | 1.218 % | 9.69/9.79 c | 256 | 1946 7399 259930 | 6050 256 31 | 1.218 % | 10.09/10.19 c | 482 | 1946 7399 259930 | 6655 482 38 | 1.219 % | 10.49/10.59 c | 820 | 1946 7399 259930 | 7320 820 38 | 1.218 % | 11.19/11.21 c | 1326 | 1930 7399 259930 | 8052 1326 39 | 3.554 % | 12.48/12.54 c | 2086 | 1873 7399 259930 | 8857 1132 40 | 4.924 % | 12.58/12.69 c =============================================================================== 12.68/12.70 c core #16 12.68/12.70 c Core size: 883 Core Weight: 1 Total Weight: 33 12.68/12.70 c Elapsed CPU time: 12.6271 s Remaining CPU time: 1787.37 s 12.68/12.76 c Learning 945 hard constraints 12.68/12.76 c ============================[ Search Statistics ]============================== 12.68/12.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.68/12.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.68/12.76 c =============================================================================== 12.68/12.76 c | 0 | 1963 8349 297058 | 5000 0 nan | 0.000 % | 12.68/12.77 c | 103 | 1963 8349 297058 | 5500 103 28 | 1.208 % | 13.09/13.16 c | 253 | 1963 8349 297058 | 6050 253 32 | 1.208 % | 13.49/13.57 c | 478 | 1963 8349 297058 | 6655 478 38 | 1.209 % | 14.29/14.35 c | 817 | 1963 8349 297058 | 7320 817 40 | 1.208 % | 15.18/15.29 c | 1324 | 1963 8349 297058 | 8052 1324 42 | 1.208 % | 16.28/16.39 c | 2083 | 1963 8349 297058 | 8857 2083 43 | 1.208 % | 17.29/17.34 c | 3223 | 1963 8349 297058 | 9743 3223 41 | 1.209 % | 19.59/19.68 c | 4931 | 1958 8349 297058 | 10717 4930 41 | 1.461 % | 23.98/24.04 c | 7493 | 1951 8349 297058 | 11789 7492 42 | 3.373 % | 25.28/25.32 c =============================================================================== 25.28/25.35 c core #17 25.28/25.35 c Core size: 1168 Core Weight: 1 Total Weight: 34 25.28/25.35 c Elapsed CPU time: 25.2592 s Remaining CPU time: 1774.74 s 25.38/25.44 c Learning 4002 hard constraints 25.38/25.44 c ============================[ Search Statistics ]============================== 25.38/25.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.38/25.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.38/25.44 c =============================================================================== 25.38/25.44 c | 0 | 1970 12357 445576 | 5000 0 nan | 0.000 % | 25.38/25.46 c | 103 | 1970 12357 445576 | 5500 103 28 | 1.204 % | 25.78/25.86 c | 253 | 1970 12357 445576 | 6050 253 36 | 1.204 % | 26.08/26.15 c | 478 | 1970 12357 445576 | 6655 478 37 | 1.204 % | 26.58/26.69 c | 817 | 1970 12357 445576 | 7320 817 41 | 1.204 % | 26.98/27.09 c | 1324 | 1970 12357 445576 | 8052 1324 40 | 1.204 % | 28.27/28.32 c | 2084 | 1970 12357 445576 | 8857 2084 43 | 1.204 % | 29.87/29.96 c | 3223 | 1970 12357 445576 | 9743 3223 42 | 1.204 % | 32.37/32.46 c | 4931 | 1970 12357 445576 | 10717 4931 43 | 1.204 % | 35.87/35.94 c | 7495 | 1970 12357 445576 | 11789 7495 43 | 1.205 % | 41.17/41.21 c | 11339 | 1970 12357 445576 | 12968 11339 43 | 1.204 % | 50.77/50.88 c | 17110 | 1969 12357 445576 | 14265 9176 43 | 1.254 % | 63.56/63.65 c | 25760 | 1969 12357 445576 | 15692 10571 45 | 1.254 % | 66.86/66.95 c =============================================================================== 66.96/67.04 c core #18 66.96/67.04 c Core size: 2039 Core Weight: 1 Total Weight: 35 66.96/67.04 c Elapsed CPU time: 66.8408 s Remaining CPU time: 1733.16 s 67.06/67.19 c Learning 7254 hard constraints 67.06/67.19 c ============================[ Search Statistics ]============================== 67.06/67.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.06/67.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.06/67.19 c =============================================================================== 67.06/67.19 c | 0 | 1987 19617 742441 | 6539 0 nan | 0.000 % | 67.16/67.21 c | 103 | 1987 19617 742441 | 7192 103 29 | 1.193 % | 67.46/67.60 c | 253 | 1987 19617 742441 | 7912 253 37 | 1.193 % | 67.95/68.08 c | 479 | 1985 19617 742441 | 8703 479 41 | 2.189 % | 68.45/68.59 c | 816 | 1985 19617 742441 | 9573 816 41 | 2.188 % | 69.46/69.50 c | 1322 | 1985 19617 742441 | 10531 1322 43 | 2.188 % | 70.46/70.58 c | 2081 | 1985 19617 742441 | 11584 2081 45 | 2.188 % | 71.96/72.03 c | 3221 | 1985 19617 742441 | 12742 3221 44 | 2.190 % | 74.45/74.58 c | 4929 | 1985 19617 742441 | 14016 4929 44 | 2.188 % | 78.76/78.88 c | 7491 | 1985 19617 742441 | 15418 7491 45 | 2.190 % | 84.75/84.86 c | 11337 | 1966 19617 742441 | 16960 11123 46 | 2.238 % | 94.95/95.00 c | 17103 | 1966 19617 742441 | 18656 16889 46 | 2.239 % | 109.54/109.66 c | 25753 | 1966 19617 742441 | 20522 14340 46 | 2.238 % | 133.43/133.57 c | 38727 | 1961 19617 742441 | 22574 10351 47 | 3.038 % | 135.03/135.10 c =============================================================================== 135.33/135.44 c core #19 135.33/135.44 c Core size: 3606 Core Weight: 3 Total Weight: 38 135.33/135.44 c Elapsed CPU time: 135.071 s Remaining CPU time: 1664.93 s 135.52/135.68 c Learning 10828 hard constraints 135.52/135.68 c ============================[ Search Statistics ]============================== 135.52/135.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.52/135.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.52/135.68 c =============================================================================== 135.52/135.68 c | 0 | 1991 30448 1255596 | 10149 0 nan | 0.000 % | 135.62/135.71 c | 103 | 1991 30448 1255596 | 11164 103 29 | 1.191 % | 135.92/136.06 c | 254 | 1991 30448 1255596 | 12280 254 37 | 1.191 % | 136.43/136.53 c | 480 | 1991 30448 1255596 | 13508 480 41 | 1.191 % | 137.03/137.14 c | 819 | 1991 30448 1255596 | 14859 819 43 | 1.191 % | 138.02/138.19 c | 1326 | 1991 30448 1255596 | 16345 1326 43 | 1.191 % | 139.63/139.72 c | 2085 | 1991 30448 1255596 | 17980 2085 45 | 1.191 % | 141.83/141.93 c | 3225 | 1991 30448 1255596 | 19778 3225 46 | 1.191 % | 145.82/145.93 c | 4934 | 1991 30448 1255596 | 21755 4934 48 | 1.191 % | 150.62/150.76 c | 7496 | 1980 30448 1255596 | 23931 7496 47 | 3.129 % | 154.12/154.27 c =============================================================================== 154.22/154.34 c core #20 154.22/154.34 c Core size: 2824 Core Weight: 1 Total Weight: 39 154.22/154.34 c Elapsed CPU time: 153.92 s Remaining CPU time: 1646.08 s 154.42/154.59 c Learning 7929 hard constraints 154.42/154.59 c ============================[ Search Statistics ]============================== 154.42/154.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 154.42/154.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 154.42/154.59 c =============================================================================== 154.42/154.59 c | 0 | 1998 38380 1626074 | 12793 0 nan | 0.000 % | 154.52/154.61 c | 100 | 1998 38380 1626074 | 14072 100 18 | 1.187 % | 155.12/155.22 c | 251 | 1998 38380 1626074 | 15479 251 35 | 1.187 % | 155.52/155.68 c | 477 | 1998 38380 1626074 | 17027 477 39 | 1.187 % | 156.12/156.23 c | 814 | 1998 38380 1626074 | 18730 814 42 | 1.189 % | 156.91/157.04 c | 1320 | 1998 38380 1626074 | 20603 1320 41 | 1.187 % | 158.62/158.70 c | 2079 | 1998 38380 1626074 | 22664 2079 41 | 1.187 % | 161.52/161.69 c | 3218 | 1998 38380 1626074 | 24930 3218 44 | 1.187 % | 163.92/164.04 c | 4926 | 1998 38380 1626074 | 27423 4926 43 | 1.187 % | 168.41/168.51 c | 7488 | 1998 38380 1626074 | 30166 7488 45 | 1.189 % | 176.41/176.54 c | 11332 | 1998 38380 1626074 | 33182 11332 44 | 1.187 % | 188.01/188.11 c | 17098 | 1998 38380 1626074 | 36500 17098 44 | 1.188 % | 194.00/194.14 c =============================================================================== 194.00/194.19 c core #21 194.00/194.19 c Core size: 3954 Core Weight: 1 Total Weight: 40 194.00/194.19 c Elapsed CPU time: 193.715 s Remaining CPU time: 1606.29 s 194.40/194.53 c Learning 13758 hard constraints 194.40/194.53 c ============================[ Search Statistics ]============================== 194.40/194.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.40/194.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.40/194.53 c =============================================================================== 194.40/194.53 c | 0 | 2010 52141 2231388 | 17380 0 nan | 0.000 % | 194.51/194.61 c | 102 | 2010 52141 2231388 | 19118 102 10 | 1.180 % | 194.51/194.63 c =============================================================================== 194.51/194.63 c core #22 194.51/194.63 c Core size: 79 Core Weight: 1 Total Weight: 41 194.51/194.63 c Elapsed CPU time: 194.152 s Remaining CPU time: 1605.85 s 194.80/194.92 c Learning 5 hard constraints 194.80/194.92 c ============================[ Search Statistics ]============================== 194.80/194.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.80/194.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.80/194.92 c =============================================================================== 194.80/194.92 c | 0 | 2039 52149 2231554 | 17383 0 nan | 0.000 % | 194.80/194.95 c | 100 | 2039 52149 2231554 | 19121 100 20 | 1.355 % | 194.80/194.95 c | 251 | 2039 52149 2231554 | 21033 251 17 | 1.355 % | 194.80/194.97 c | 476 | 2039 52149 2231554 | 23136 476 18 | 1.355 % | 194.80/195.00 c | 814 | 2037 52149 2231554 | 25450 814 20 | 1.451 % | 194.91/195.04 c | 1320 | 2037 52149 2231554 | 27995 1320 20 | 1.451 % | 194.91/195.08 c =============================================================================== 194.91/195.09 c core #23 194.91/195.09 c Core size: 81 Core Weight: 1 Total Weight: 42 194.91/195.09 c Elapsed CPU time: 194.608 s Remaining CPU time: 1605.39 s 195.21/195.38 c ============================[ Search Statistics ]============================== 195.21/195.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.21/195.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.21/195.38 c =============================================================================== 195.21/195.38 c | 0 | 2077 52152 2231628 | 17384 0 nan | 0.000 % | 195.31/195.41 c | 100 | 2077 52152 2231628 | 19122 100 28 | 1.330 % | 195.31/195.42 c | 250 | 2077 52152 2231628 | 21034 250 24 | 1.330 % | 195.31/195.44 c | 475 | 2077 52152 2231628 | 23138 475 27 | 1.330 % | 195.31/195.46 c | 813 | 2077 52152 2231628 | 25451 813 25 | 1.330 % | 195.41/195.50 c | 1319 | 2077 52152 2231628 | 27997 1319 27 | 1.330 % | 195.41/195.57 c | 2080 | 2077 52152 2231628 | 30796 2080 26 | 1.330 % | 195.61/195.71 c | 3219 | 2077 52152 2231628 | 33876 3219 28 | 1.330 % | 195.80/195.99 c | 4929 | 2075 52152 2231628 | 37264 4929 29 | 1.425 % | 196.41/196.56 c | 7492 | 2075 52152 2231628 | 40990 7492 30 | 1.425 % | 197.60/197.76 c | 11339 | 2075 52152 2231628 | 45089 11339 31 | 1.425 % | 200.01/200.14 c =============================================================================== 200.20/200.32 c core #24 200.20/200.32 c Core size: 82 Core Weight: 1 Total Weight: 43 200.20/200.32 c Elapsed CPU time: 199.801 s Remaining CPU time: 1600.2 s 200.50/200.64 c ============================[ Search Statistics ]============================== 200.50/200.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.50/200.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.50/200.64 c =============================================================================== 200.50/200.64 c | 0 | 2115 52155 2231702 | 17385 0 nan | 0.000 % | 200.50/200.66 c | 100 | 2115 52155 2231702 | 19123 100 36 | 1.307 % | 200.50/200.67 c | 250 | 2115 52155 2231702 | 21035 250 29 | 1.307 % | 200.60/200.70 c | 480 | 2115 52155 2231702 | 23139 480 29 | 1.307 % | 200.60/200.73 c | 817 | 2115 52155 2231702 | 25453 817 31 | 1.307 % | 201.40/201.56 c | 1323 | 2115 52155 2231702 | 27998 1323 33 | 1.307 % | 203.30/203.41 c | 2084 | 2115 52155 2231702 | 30798 2084 39 | 1.307 % | 204.70/204.82 c | 3224 | 2115 52155 2231702 | 33878 3224 40 | 1.307 % | 206.89/207.09 c | 4933 | 2115 52155 2231702 | 37266 4933 40 | 1.307 % | 212.79/212.94 c | 7495 | 2115 52155 2231702 | 40992 7495 43 | 1.307 % | 219.99/220.14 c | 11339 | 2115 52155 2231702 | 45092 11339 44 | 1.307 % | 230.49/230.66 c | 17105 | 2115 52155 2231702 | 49601 17105 44 | 1.307 % | 257.48/257.67 c | 25756 | 2115 52155 2231702 | 54561 25756 46 | 1.307 % | 287.97/288.12 c | 38731 | 2098 52155 2231702 | 60017 37966 46 | 2.100 % | 341.34/341.55 c | 58192 | 2098 52155 2231702 | 66019 57427 47 | 2.100 % | 406.01/406.26 c | 87384 | 2098 52155 2231702 | 72621 33831 47 | 2.100 % | 525.24/525.54 c | 131175 | 2098 52155 2231702 | 79883 18604 48 | 2.101 % | 722.15/722.59 c | 196860 | 2098 52155 2231702 | 87871 17513 48 | 2.100 % | 1003.39/1003.95 c | 295386 | 2098 52155 2231702 | 96659 42221 49 | 2.101 % | 1435.47/1436.28 c | 443178 | 2055 52155 2231702 | 106325 46308 46 | 4.106 % |
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-1875786-1245170672/watcher-1875786-1245170672 -o /tmp/evaluation-result-1875786-1245170672/solver-1875786-1245170672 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875786-1245170672.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: 1.00 1.00 0.99 3/64 4954 /proc/meminfo: memFree=1849176/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=3308 CPUtime=0 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 184667980 3387392 186 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 827 186 128 292 0 336 0 [startup+0.055729 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4954 /proc/meminfo: memFree=1849176/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=4628 CPUtime=0.05 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 618 0 0 0 5 0 0 0 18 0 1 0 184667980 4739072 602 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 1157 603 207 292 0 666 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4628 [startup+0.101738 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4954 /proc/meminfo: memFree=1849176/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=5856 CPUtime=0.09 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 988 0 0 0 9 0 0 0 18 0 1 0 184667980 5996544 972 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 1464 972 279 292 0 973 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5856 [startup+0.301775 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4954 /proc/meminfo: memFree=1849176/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=17128 CPUtime=0.29 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 4067 0 0 0 28 1 0 0 19 0 1 0 184667980 17539072 3855 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 4282 3856 135 292 0 3987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17128 [startup+0.701854 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4954 /proc/meminfo: memFree=1849176/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=23204 CPUtime=0.69 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 5577 0 0 0 67 2 0 0 23 0 1 0 184667980 23760896 5365 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 5801 5365 135 292 0 5506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23204 [startup+1.50201 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1828240/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=27296 CPUtime=1.49 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 6612 0 0 0 147 2 0 0 25 0 1 0 184667980 27951104 6400 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 6824 6400 136 292 0 6529 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27296 [startup+3.10132 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1823888/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=29540 CPUtime=3.09 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 7174 0 0 0 306 3 0 0 25 0 1 0 184667980 30248960 6962 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 7385 6962 136 292 0 7090 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29540 [startup+6.30195 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1815056/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=36012 CPUtime=6.29 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 8781 0 0 0 624 5 0 0 25 0 1 0 184667980 36876288 8569 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 9003 8569 136 292 0 8708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36012 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1811152/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=39720 CPUtime=12.68 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 9720 0 0 0 1262 6 0 0 25 0 1 0 184667980 40673280 9508 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 9930 9508 136 292 0 9635 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39720 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1808848/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=47588 CPUtime=25.48 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 11647 0 0 0 2539 9 0 0 25 0 1 0 184667980 48730112 11435 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 11897 11435 136 292 0 11602 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47588 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1802768/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=48644 CPUtime=51.07 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 11915 0 0 0 5094 13 0 0 25 0 1 0 184667980 49811456 11703 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 12161 11703 136 292 0 11866 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48644 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1792144/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=58936 CPUtime=102.25 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 14489 0 0 0 10201 24 0 0 25 0 1 0 184667980 60350464 14277 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 14734 14277 136 292 0 14439 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 58936 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1775248/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=75648 CPUtime=162.22 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 18727 0 0 0 16186 36 0 0 25 0 1 0 184667980 77463552 18452 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 18912 18452 136 292 0 18617 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 75648 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1755408/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=95564 CPUtime=222.19 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 23787 0 0 0 22171 48 0 0 25 0 1 0 184667980 97857536 23410 1992294400 134512640 135709839 4294956240 18446744073709551615 134572717 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 23891 23410 136 292 0 23596 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 95564 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1755152/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=95848 CPUtime=282.16 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 23853 0 0 0 28162 54 0 0 25 0 1 0 184667980 98148352 23476 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 23962 23476 136 292 0 23667 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 95848 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1753680/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=97256 CPUtime=342.14 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 24212 0 0 0 34151 63 0 0 25 0 1 0 184667980 99590144 23835 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 24314 23835 136 292 0 24019 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 97256 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4955 /proc/meminfo: memFree=1745168/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=105988 CPUtime=402.1 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 26353 0 0 0 40136 74 0 0 25 0 1 0 184667980 108531712 25976 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 26497 25976 136 292 0 26202 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 105988 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4957 /proc/meminfo: memFree=1737296/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=113540 CPUtime=462.07 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 28254 0 0 0 46121 86 0 0 25 0 1 0 184667980 116264960 27877 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 28385 27877 136 292 0 28090 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 113540 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4957 /proc/meminfo: memFree=1730832/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=120088 CPUtime=522.05 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 29897 0 0 0 52112 93 0 0 25 0 1 0 184667980 122970112 29520 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 30022 29520 136 292 0 29727 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 120088 [startup+582.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4957 /proc/meminfo: memFree=1723536/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=127352 CPUtime=582.03 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 31713 0 0 0 58101 102 0 0 25 0 1 0 184667980 130408448 31336 1992294400 134512640 135709839 4294956240 18446744073709551615 134572768 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 31838 31336 136 292 0 31543 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 127352 [startup+642.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4957 /proc/meminfo: memFree=1717264/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=133556 CPUtime=642 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 33259 0 0 0 64089 111 0 0 25 0 1 0 184667980 136761344 32882 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 33389 32882 136 292 0 33094 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 133556 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4957 /proc/meminfo: memFree=1697360/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=153404 CPUtime=821.91 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 38220 0 0 0 82054 137 0 0 25 0 1 0 184667980 157085696 37843 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 38351 37843 136 292 0 38056 0 Current children cumulated CPU time (s) 821.91 Current children cumulated vsize (KiB) 153404 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4957 /proc/meminfo: memFree=1691344/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=159412 CPUtime=881.88 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 39728 0 0 0 88044 144 0 0 25 0 1 0 184667980 163237888 39351 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 39853 39351 136 292 0 39558 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 159412 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4957 /proc/meminfo: memFree=1685200/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=165728 CPUtime=941.85 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 41287 0 0 0 94033 152 0 0 25 0 1 0 184667980 169705472 40910 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 41432 40910 136 292 0 41137 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 165728 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1676944/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=173800 CPUtime=1001.79 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 43307 0 0 0 100017 162 0 0 25 0 1 0 184667980 177971200 42930 1992294400 134512640 135709839 4294956240 18446744073709551615 134573778 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 43450 42930 136 292 0 43155 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 173800 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1669392/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=181420 CPUtime=1061.76 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 45193 0 0 0 106005 171 0 0 25 0 1 0 184667980 185774080 44816 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 45355 44816 136 292 0 45060 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 181420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1663184/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=187500 CPUtime=1121.72 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 46731 0 0 0 111994 178 0 0 25 0 1 0 184667980 192000000 46354 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 46875 46354 136 292 0 46580 0 Current children cumulated CPU time (s) 1121.72 Current children cumulated vsize (KiB) 187500 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1658256/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=192660 CPUtime=1181.7 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 47971 0 0 0 117984 186 0 0 25 0 1 0 184667980 197283840 47594 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 48165 47594 136 292 0 47870 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 192660 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1650960/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=200008 CPUtime=1241.65 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 49785 0 0 0 123970 195 0 0 25 0 1 0 184667980 204808192 49408 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 50002 49408 136 292 0 49707 0 Current children cumulated CPU time (s) 1241.65 Current children cumulated vsize (KiB) 200008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1643856/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=206752 CPUtime=1301.63 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 51492 0 0 0 129958 205 0 0 25 0 1 0 184667980 211714048 51115 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 51688 51115 136 292 0 51393 0 Current children cumulated CPU time (s) 1301.63 Current children cumulated vsize (KiB) 206752 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1637584/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=213188 CPUtime=1361.59 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 53072 0 0 0 135947 212 0 0 25 0 1 0 184667980 218304512 52695 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 53297 52695 136 292 0 53002 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 213188 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1630800/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=219788 CPUtime=1421.57 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 54745 0 0 0 141938 219 0 0 25 0 1 0 184667980 225062912 54368 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 54947 54368 136 292 0 54652 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 219788 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1624336/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=226388 CPUtime=1481.54 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 56379 0 0 0 147925 229 0 0 25 0 1 0 184667980 231821312 56002 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 56597 56002 136 292 0 56302 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 226388 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1618320/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=232296 CPUtime=1541.5 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 57861 0 0 0 153912 238 0 0 25 0 1 0 184667980 237871104 57484 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 58074 57484 136 292 0 57779 0 Current children cumulated CPU time (s) 1541.5 Current children cumulated vsize (KiB) 232296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1613008/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=237548 CPUtime=1601.48 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 59180 0 0 0 159903 245 0 0 25 0 1 0 184667980 243249152 58803 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 59387 58803 136 292 0 59092 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 237548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1607120/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=243356 CPUtime=1661.45 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 60626 0 0 0 165894 251 0 0 25 0 1 0 184667980 249196544 60249 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 60839 60249 136 292 0 60544 0 Current children cumulated CPU time (s) 1661.45 Current children cumulated vsize (KiB) 243356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1600464/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=250116 CPUtime=1721.42 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 62316 0 0 0 171881 261 0 0 25 0 1 0 184667980 256118784 61939 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 62529 61939 136 292 0 62234 0 Current children cumulated CPU time (s) 1721.42 Current children cumulated vsize (KiB) 250116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1593680/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=256848 CPUtime=1781.39 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 63986 0 0 0 177869 270 0 0 25 0 1 0 184667980 263012352 63609 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 64212 63609 136 292 0 63917 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (KiB) 256848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4963 /proc/meminfo: memFree=1591952/2055924 swapFree=4191900/4192956 [pid=4954] ppid=4952 vsize=258436 CPUtime=1800.09 /proc/4954/stat : 4954 (wbo) R 4952 4954 4633 0 -1 4194304 64406 0 0 0 179736 273 0 0 25 0 1 0 184667980 264638464 64029 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4954/statm: 64609 64029 136 292 0 64314 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 258436 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): 1801.05 CPU time (s): 1800.14 CPU user time (s): 1797.37 CPU system time (s): 2.77358 CPU usage (%): 99.9498 Max. virtual memory (cumulated for all children) (KiB): 258436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.37 system time used= 2.77358 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64406 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= 3 involuntary context switches= 7273 runsolver used 1.77073 second user time and 4.79927 second system time The end
Begin job on node6 at 2009-06-16 18:44:32 IDJOB=1875786 IDBENCH=2636 IDSOLVER=698 FILE ID=node6/1875786-1245170672 PBS_JOBID= 9363858 Free space on /tmp= 66240 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.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-1875786-1245170672/watcher-1875786-1245170672 -o /tmp/evaluation-result-1875786-1245170672/solver-1875786-1245170672 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875786-1245170672.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED=330439583 node6.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.265 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.265 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1849656 kB Buffers: 38656 kB Cached: 96472 kB SwapCached: 260 kB Active: 41932 kB Inactive: 106528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1849656 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3160 kB Writeback: 0 kB Mapped: 21808 kB Slab: 43780 kB Committed_AS: 161148 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875786-1245170672.opb Free space on /tmp at the end= 66240 MiB End job on node6 at 2009-06-16 19:14:35