Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb |
MD5SUM | 49512b8058c62182b32b06ac219e7167 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -61 |
Best CPU time to get the best result obtained on this benchmark | 1798.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150968 |
Sum of products size (including duplicates) | 301936 |
Number of different products | 75484 |
Sum of products size | 150968 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702589-1278578274.opb. 0.00/0.00 c Instance file HOME/instance-2702589-1278578274.opb 0.00/0.00 c File size is 6885710 bytes. 1.39/1.40 c Highest Coefficient sum: 2000 1.39/1.40 c ============================[ Problem Statistics ]============================= 1.39/1.40 c | | 1.39/1.40 c | Parsing time: 1.37 s | 1.39/1.40 c | Number Variables: 77484 | 1.39/1.40 c | Number Clauses: 76484 | 1.39/1.40 c | Number Cardinality: 2002 | 1.39/1.40 c | Number PB Constraints: 75484 | 3.89/3.97 c ============================[ Search Statistics ]============================== 3.89/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.97 c =============================================================================== 3.89/3.97 c | 0 | 77484 153970 609872 | 51323 0 nan | 0.000 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 0 4.09/4.12 o 0 4.09/4.12 c Elapsed CPU time: 4.04938 s Remaining CPU time: 175.951 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 0 | 77484 153971 610872 | 51323 0 nan | 0.000 % | 4.30/4.35 c =============================================================================== 4.30/4.35 c New solution: -1 4.30/4.35 o -1 4.30/4.35 c Elapsed CPU time: 4.27435 s Remaining CPU time: 175.726 s 4.30/4.35 c =============================================================================== 4.30/4.35 c | 1 | 77484 153972 611872 | 51324 1 1001 | 0.000 % | 4.40/4.48 c =============================================================================== 4.40/4.48 c New solution: -2 4.40/4.48 o -2 4.40/4.48 c Elapsed CPU time: 4.40633 s Remaining CPU time: 175.594 s 4.40/4.48 c =============================================================================== 4.40/4.48 c | 1 | 77484 153973 612872 | 51324 1 1001 | 0.000 % | 4.59/4.61 c =============================================================================== 4.59/4.61 c New solution: -3 4.59/4.61 o -3 4.59/4.61 c Elapsed CPU time: 4.53731 s Remaining CPU time: 175.463 s 4.59/4.61 c =============================================================================== 4.59/4.61 c | 1 | 77484 153974 613872 | 51324 1 1001 | 0.000 % | 4.69/4.77 c =============================================================================== 4.69/4.77 c New solution: -4 4.69/4.77 o -4 4.69/4.77 c Elapsed CPU time: 4.69629 s Remaining CPU time: 175.304 s 4.69/4.77 c =============================================================================== 4.69/4.77 c | 48 | 77484 153975 614872 | 51325 48 1973 | 0.000 % | 4.89/4.90 c =============================================================================== 4.89/4.90 c New solution: -5 4.89/4.90 o -5 4.89/4.90 c Elapsed CPU time: 4.82627 s Remaining CPU time: 175.174 s 4.89/4.90 c =============================================================================== 4.89/4.90 c | 49 | 77484 153976 615872 | 51325 49 1933 | 0.000 % | 4.99/5.07 c =============================================================================== 4.99/5.07 c New solution: -6 4.99/5.07 o -6 4.99/5.07 c Elapsed CPU time: 4.98924 s Remaining CPU time: 175.011 s 4.99/5.07 c =============================================================================== 4.99/5.07 c | 105 | 77484 153977 616872 | 51325 105 1964 | 0.000 % | 5.19/5.20 c =============================================================================== 5.19/5.20 c New solution: -7 5.19/5.20 o -7 5.19/5.20 c Elapsed CPU time: 5.12322 s Remaining CPU time: 174.877 s 5.19/5.20 c =============================================================================== 5.19/5.20 c | 115 | 77484 153978 617872 | 51326 115 1863 | 0.000 % | 5.29/5.36 c | 216 | 77484 153978 617872 | 56458 216 1921 | 0.000 % | 5.50/5.55 c | 366 | 77484 153978 617872 | 62104 366 1949 | 0.000 % | 5.79/5.81 c | 591 | 77484 153978 617872 | 68314 591 1964 | 0.000 % | 6.09/6.17 c | 928 | 77484 153978 617872 | 75146 928 1973 | 0.000 % | 6.29/6.38 c =============================================================================== 6.29/6.38 c New solution: -8 6.29/6.38 o -8 6.29/6.38 c Elapsed CPU time: 6.29304 s Remaining CPU time: 173.707 s 6.29/6.38 c =============================================================================== 6.29/6.38 c | 933 | 77484 153979 618872 | 51326 933 1966 | 0.000 % | 6.50/6.55 c | 1033 | 77484 153979 618872 | 56458 1033 1968 | 0.000 % | 6.69/6.76 c | 1183 | 77484 153979 618872 | 62104 1183 1970 | 0.000 % | 6.99/7.03 c | 1409 | 77484 153979 618872 | 68315 1409 1973 | 0.000 % | 7.29/7.38 c | 1746 | 77484 153979 618872 | 75146 1746 1976 | 0.000 % | 7.49/7.55 c =============================================================================== 7.49/7.55 c New solution: -9 7.49/7.55 o -9 7.49/7.55 c Elapsed CPU time: 7.44387 s Remaining CPU time: 172.556 s 7.49/7.55 c =============================================================================== 7.49/7.55 c | 1747 | 77484 153980 619872 | 51326 1747 1975 | 0.000 % | 7.59/7.68 c =============================================================================== 7.59/7.68 c New solution: -10 7.59/7.68 o -10 7.59/7.68 c Elapsed CPU time: 7.57985 s Remaining CPU time: 172.42 s 7.59/7.68 c =============================================================================== 7.59/7.68 c | 1747 | 77484 153981 620872 | 51327 1747 1975 | 0.000 % | 7.79/7.87 c | 1847 | 77484 153981 620872 | 56459 1847 1968 | 0.000 % | 7.98/8.02 c =============================================================================== 7.98/8.02 c New solution: -11 7.98/8.02 o -11 7.98/8.02 c Elapsed CPU time: 7.9138 s Remaining CPU time: 172.086 s 7.98/8.02 c =============================================================================== 7.98/8.02 c | 1868 | 77484 153982 621872 | 51327 1868 1962 | 0.000 % | 8.19/8.20 c | 1968 | 77484 153982 621872 | 56460 1968 1959 | 0.000 % | 8.39/8.41 c | 2118 | 77484 153982 621872 | 62106 2118 1957 | 0.000 % | 8.69/8.70 c | 2343 | 77484 153982 621872 | 68316 2343 1944 | 0.000 % | 8.99/9.08 c | 2680 | 77484 153982 621872 | 75148 2680 1928 | 0.000 % | 9.49/9.59 c | 3187 | 77484 153982 621872 | 82663 3187 1931 | 0.000 % | 10.29/10.35 c | 3947 | 77484 153982 621872 | 90929 3947 1920 | 0.000 % | 11.49/11.59 c | 5086 | 77484 153982 621872 | 100022 5086 1927 | 0.000 % | 11.69/11.76 c =============================================================================== 11.69/11.76 c New solution: -12 11.69/11.76 o -12 11.69/11.76 c Elapsed CPU time: 11.6082 s Remaining CPU time: 168.392 s 11.69/11.76 c =============================================================================== 11.69/11.76 c | 5116 | 77484 153983 622872 | 51327 5116 1925 | 0.000 % | 11.88/11.96 c | 5217 | 77484 153983 622872 | 56460 5217 1922 | 0.000 % | 12.19/12.24 c | 5367 | 77484 153983 622872 | 62106 5367 1919 | 0.000 % | 12.29/12.38 c =============================================================================== 12.29/12.38 c New solution: -13 12.29/12.38 o -13 12.29/12.38 c Elapsed CPU time: 12.2191 s Remaining CPU time: 167.781 s 12.29/12.38 c =============================================================================== 12.29/12.38 c | 5374 | 77484 153984 623872 | 51328 5374 1918 | 0.000 % | 12.59/12.63 c | 5474 | 77484 153984 623872 | 56460 5474 1919 | 0.000 % | 12.88/12.95 c | 5625 | 77484 153984 623872 | 62106 5625 1920 | 0.000 % | 13.20/13.29 c | 5850 | 77484 153984 623872 | 68317 5850 1922 | 0.000 % | 13.69/13.76 c | 6187 | 77484 153984 623872 | 75149 6187 1925 | 0.000 % | 14.30/14.32 c | 6693 | 77484 153984 623872 | 82664 6693 1918 | 0.000 % | 15.09/15.18 c | 7453 | 77484 153984 623872 | 90930 7453 1918 | 0.000 % | 16.59/16.67 c | 8592 | 77484 153984 623872 | 100023 8592 1925 | 0.000 % | 17.18/17.22 c =============================================================================== 17.18/17.22 c New solution: -14 17.18/17.22 o -14 17.18/17.22 c Elapsed CPU time: 17.0004 s Remaining CPU time: 163 s 17.18/17.22 c =============================================================================== 17.18/17.22 c | 8829 | 77484 153985 624872 | 51328 8829 1921 | 0.000 % | 17.39/17.47 c | 8929 | 77484 153985 624872 | 56461 8929 1921 | 0.000 % | 17.69/17.71 c | 9079 | 77484 153985 624872 | 62107 9079 1922 | 0.000 % | 17.99/18.09 c | 9304 | 77484 153985 624872 | 68318 9304 1924 | 0.000 % | 18.49/18.56 c | 9641 | 77484 153985 624872 | 75149 9641 1926 | 0.000 % | 18.78/18.82 c =============================================================================== 18.78/18.82 c New solution: -15 18.78/18.82 o -15 18.78/18.82 c Elapsed CPU time: 18.5712 s Remaining CPU time: 161.429 s 18.78/18.82 c =============================================================================== 18.78/18.82 c | 9664 | 77484 153986 625872 | 51328 9664 1923 | 0.000 % | 18.99/19.05 c | 9764 | 77484 153986 625872 | 56461 9764 1924 | 0.000 % | 19.19/19.28 c | 9914 | 77484 153986 625872 | 62107 9914 1925 | 0.000 % | 19.48/19.59 c | 10139 | 77484 153986 625872 | 68318 10139 1925 | 0.000 % | 20.08/20.12 c | 10476 | 77484 153986 625872 | 75150 10476 1926 | 0.000 % | 20.79/20.85 c | 10982 | 77484 153986 625872 | 82665 10982 1928 | 0.000 % | 21.69/21.72 c | 11741 | 77484 153986 625872 | 90931 11741 1931 | 0.000 % | 23.29/23.30 c | 12880 | 77484 153986 625872 | 100025 12880 1934 | 0.000 % | 25.39/25.46 c | 14588 | 77484 153986 625872 | 110027 14588 1928 | 0.000 % | 28.69/28.77 c | 17150 | 77484 153986 625872 | 121030 17150 1934 | 0.000 % | 33.68/33.79 c | 20995 | 77484 153986 625872 | 133133 20995 1931 | 0.000 % | 34.28/34.32 c =============================================================================== 34.28/34.32 c New solution: -16 34.28/34.32 o -16 34.28/34.32 c Elapsed CPU time: 33.9168 s Remaining CPU time: 146.083 s 34.28/34.32 c =============================================================================== 34.28/34.32 c | 21025 | 77484 153987 626872 | 51329 21025 1929 | 0.000 % | 34.58/34.69 c | 21125 | 77484 153987 626872 | 56461 21125 1929 | 0.000 % | 35.09/35.20 c | 21275 | 77484 153987 626872 | 62108 21275 1930 | 0.000 % | 35.58/35.61 c | 21500 | 77484 153987 626872 | 68318 21500 1930 | 0.000 % | 36.29/36.32 c | 21837 | 77484 153987 626872 | 75150 21837 1931 | 0.000 % | 37.29/37.38 c | 22344 | 77484 153987 626872 | 82665 22344 1932 | 0.000 % | 38.38/38.41 c | 23104 | 77484 153987 626872 | 90932 23104 1933 | 0.000 % | 39.08/39.13 c =============================================================================== 39.08/39.13 c New solution: -17 39.08/39.13 o -17 39.08/39.13 c Elapsed CPU time: 38.6761 s Remaining CPU time: 141.324 s 39.08/39.13 c =============================================================================== 39.08/39.13 c | 23164 | 77484 153988 627872 | 51329 23164 1930 | 0.000 % | 39.49/39.50 c | 23264 | 77484 153988 627872 | 56462 23264 1930 | 0.000 % | 39.78/39.82 c | 23414 | 77484 153988 627872 | 62108 23414 1930 | 0.000 % | 40.28/40.39 c | 23639 | 77484 153988 627872 | 68319 23639 1931 | 0.000 % | 41.48/41.59 c | 23976 | 77484 153988 627872 | 75151 23976 1931 | 0.000 % | 42.18/42.22 c =============================================================================== 42.18/42.22 c New solution: -18 42.18/42.22 o -18 42.18/42.22 c Elapsed CPU time: 41.7317 s Remaining CPU time: 138.268 s 42.18/42.22 c =============================================================================== 42.18/42.22 c | 24011 | 77484 153989 628872 | 51329 24011 1930 | 0.000 % | 42.79/42.81 c | 24111 | 77484 153989 628872 | 56462 24111 1930 | 0.000 % | 43.28/43.33 c | 24261 | 77484 153989 628872 | 62108 24261 1930 | 0.000 % | 43.78/43.83 c | 24486 | 77484 153989 628872 | 68319 24486 1930 | 0.000 % | 44.78/44.88 c | 24823 | 77484 153989 628872 | 75151 24823 1930 | 0.000 % | 45.68/45.76 c | 25329 | 77484 153989 628872 | 82666 25329 1931 | 0.000 % | 46.97/47.07 c | 26088 | 77484 153989 628872 | 90933 26088 1932 | 0.000 % | 48.77/48.81 c | 27228 | 77484 153989 628872 | 100026 27228 1933 | 0.000 % | 50.88/50.99 c | 28936 | 77484 153989 628872 | 110029 28936 1936 | 0.000 % | 51.98/52.01 c =============================================================================== 51.98/52.01 c New solution: -19 51.98/52.01 o -19 51.98/52.01 c Elapsed CPU time: 51.4252 s Remaining CPU time: 128.575 s 51.98/52.01 c =============================================================================== 51.98/52.01 c | 29002 | 77484 153990 629872 | 51330 29002 1933 | 0.000 % | 52.38/52.42 c | 29102 | 77484 153990 629872 | 56463 29102 1933 | 0.000 % | 52.68/52.74 c | 29252 | 77484 153990 629872 | 62109 29252 1933 | 0.000 % | 53.18/53.20 c | 29477 | 77484 153990 629872 | 68320 29477 1933 | 0.000 % | 53.58/53.66 c | 29814 | 77484 153990 629872 | 75152 29814 1933 | 0.000 % | 54.48/54.54 c | 30320 | 77484 153990 629872 | 82667 30320 1934 | 0.000 % | 56.17/56.25 c | 31079 | 77484 153990 629872 | 90934 31079 1935 | 0.000 % | 58.38/58.43 c | 32218 | 77484 153990 629872 | 100027 32218 1936 | 0.000 % | 59.08/59.18 c =============================================================================== 59.08/59.18 c New solution: -20 59.08/59.18 o -20 59.08/59.18 c Elapsed CPU time: 58.5451 s Remaining CPU time: 121.455 s 59.08/59.18 c =============================================================================== 59.08/59.18 c | 32252 | 77484 153991 630872 | 51330 32252 1935 | 0.000 % | 59.48/59.54 c | 32352 | 77484 153991 630872 | 56463 32352 1935 | 0.000 % | 59.87/59.97 c | 32502 | 77484 153991 630872 | 62109 32502 1935 | 0.000 % | 60.58/60.69 c | 32727 | 77484 153991 630872 | 68320 32727 1935 | 0.000 % | 61.17/61.29 c | 33064 | 77484 153991 630872 | 75152 33064 1936 | 0.000 % | 61.87/61.91 c =============================================================================== 61.87/61.91 c New solution: -21 61.87/61.91 o -21 61.87/61.91 c Elapsed CPU time: 61.2347 s Remaining CPU time: 118.765 s 61.87/61.91 c =============================================================================== 61.87/61.91 c | 33099 | 77484 153992 631872 | 51330 33099 1934 | 0.000 % | 62.27/62.38 c | 33199 | 77484 153992 631872 | 56463 33199 1934 | 0.000 % | 62.69/62.76 c | 33349 | 77484 153992 631872 | 62110 33349 1934 | 0.000 % | 63.17/63.28 c | 33574 | 77484 153992 631872 | 68321 33574 1934 | 0.000 % | 64.37/64.42 c | 33911 | 77484 153992 631872 | 75153 33911 1934 | 0.000 % | 65.37/65.42 c | 34417 | 77484 153992 631872 | 82668 34417 1935 | 0.000 % | 66.98/67.04 c | 35176 | 77484 153992 631872 | 90935 35176 1935 | 0.000 % | 68.37/68.47 c =============================================================================== 68.37/68.47 c New solution: -22 68.37/68.47 o -22 68.37/68.47 c Elapsed CPU time: 67.7347 s Remaining CPU time: 112.265 s 68.37/68.47 c =============================================================================== 68.37/68.47 c | 35252 | 77484 153993 632872 | 51331 35252 1932 | 0.000 % | 68.68/68.79 c | 35352 | 77484 153993 632872 | 56464 35352 1932 | 0.000 % | 69.07/69.14 c | 35502 | 77484 153993 632872 | 62110 35502 1933 | 0.000 % | 69.48/69.50 c | 35727 | 77484 153993 632872 | 68321 35727 1933 | 0.000 % | 70.07/70.16 c | 36064 | 77484 153993 632872 | 75153 36064 1933 | 0.000 % | 71.48/71.57 c =============================================================================== 71.48/71.57 c New solution: -23 71.48/71.57 o -23 71.48/71.57 c Elapsed CPU time: 70.7802 s Remaining CPU time: 109.22 s 71.48/71.57 c =============================================================================== 71.48/71.57 c | 36184 | 77484 153994 633872 | 51331 36184 1929 | 0.000 % | 71.87/71.95 c | 36284 | 77484 153994 633872 | 56464 36284 1929 | 0.000 % | 72.27/72.35 c | 36434 | 77484 153994 633872 | 62110 36434 1929 | 0.000 % | 72.67/72.74 c | 36659 | 77484 153994 633872 | 68322 36659 1929 | 0.000 % | 73.27/73.31 c | 36996 | 77484 153994 633872 | 75154 36996 1930 | 0.000 % | 74.87/74.98 c =============================================================================== 74.87/74.98 c New solution: -24 74.87/74.98 o -24 74.87/74.98 c Elapsed CPU time: 74.1397 s Remaining CPU time: 105.86 s 74.87/74.98 c =============================================================================== 74.87/74.98 c | 37150 | 77484 153995 634872 | 51331 37150 1925 | 0.000 % | 75.37/75.41 c | 37250 | 77484 153995 634872 | 56464 37250 1925 | 0.000 % | 75.78/75.89 c | 37400 | 77484 153995 634872 | 62111 37400 1925 | 0.000 % | 76.28/76.34 c | 37625 | 77484 153995 634872 | 68322 37625 1925 | 0.000 % | 76.88/76.90 c | 37962 | 77484 153995 634872 | 75154 37962 1925 | 0.000 % | 77.67/77.78 c | 38469 | 77484 153995 634872 | 82670 38469 1926 | 0.000 % | 79.18/79.27 c | 39228 | 77484 153995 634872 | 90937 39228 1926 | 0.000 % | 81.17/81.21 c | 40367 | 77484 153995 634872 | 100030 40367 1925 | 0.000 % | 83.27/83.32 c | 42075 | 77484 153995 634872 | 110033 42075 1927 | 0.000 % | 85.68/85.72 c =============================================================================== 85.68/85.72 c New solution: -25 85.68/85.72 o -25 85.68/85.72 c Elapsed CPU time: 84.7721 s Remaining CPU time: 95.2279 s 85.68/85.72 c =============================================================================== 85.68/85.72 c | 42442 | 77484 153996 635872 | 51332 42442 1917 | 0.000 % | 86.47/86.53 c | 42547 | 77484 153996 635872 | 56465 42547 1917 | 0.000 % | 86.77/86.89 c | 42697 | 77484 153996 635872 | 62111 42697 1917 | 0.000 % | 87.27/87.33 c | 42922 | 77484 153996 635872 | 68322 42922 1917 | 0.000 % | 87.77/87.88 c | 43259 | 77484 153996 635872 | 75155 43259 1918 | 0.000 % | 88.57/88.60 c | 43767 | 77484 153996 635872 | 82670 43767 1918 | 0.000 % | 89.67/89.74 c | 44526 | 77484 153996 635872 | 90937 44526 1919 | 0.000 % | 92.17/92.26 c | 45665 | 77484 153996 635872 | 100031 45665 1920 | 0.000 % | 93.48/93.56 c =============================================================================== 93.48/93.56 c New solution: -26 93.48/93.56 o -26 93.48/93.56 c Elapsed CPU time: 92.5319 s Remaining CPU time: 87.4681 s 93.48/93.56 c =============================================================================== 93.48/93.56 c | 45771 | 77484 153997 636872 | 51332 45771 1917 | 0.000 % | 93.77/93.89 c | 45871 | 77484 153997 636872 | 56465 45871 1917 | 0.000 % | 94.17/94.23 c | 46021 | 77484 153997 636872 | 62112 46021 1917 | 0.000 % | 94.58/94.65 c | 46246 | 77484 153997 636872 | 68323 46246 1917 | 0.000 % | 95.16/95.25 c | 46583 | 77484 153997 636872 | 75155 46583 1917 | 0.000 % | 96.06/96.11 c | 47090 | 77484 153997 636872 | 82671 47090 1918 | 0.000 % | 97.06/97.13 c | 47849 | 77484 153997 636872 | 90938 47849 1918 | 0.000 % | 98.97/99.02 c | 48988 | 77484 153997 636872 | 100032 48988 1917 | 0.000 % | 101.66/101.71 c | 50696 | 77484 153997 636872 | 110035 50696 1916 | 0.000 % | 107.46/107.59 c | 53258 | 77484 153997 636872 | 121038 53258 1914 | 0.000 % | 114.26/114.34 c | 57102 | 77484 153997 636872 | 133142 57102 1910 | 0.000 % | 129.67/129.72 c | 62868 | 77484 153997 636872 | 146457 62868 1906 | 0.000 % | 144.06/144.13 c | 71517 | 77484 153997 636872 | 161102 71517 1900 | 0.000 % | 181.45/181.56 c There are 0 assigned variables. 0 in cost function. 182.34/182.43 c core #1 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 2001 Core Weight: 1 Total Weight: -999 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c ============================[ Search Statistics ]============================== 182.34/182.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.43 c =============================================================================== 182.34/182.43 c | 0 | 78484 155419 641135 | 51806 0 nan | 0.000 % | 184.45/184.51 c | 100 | 78484 155419 641135 | 56986 100 191 | 0.121 % | 187.14/187.27 c | 250 | 78484 155419 641135 | 62685 250 230 | 0.208 % | 188.94/189.06 c | 475 | 78482 155419 641135 | 68954 475 427 | 0.208 % | 193.74/193.81 c | 812 | 78321 155419 641135 | 75849 810 419 | 0.208 % | 196.84/196.98 c =============================================================================== 197.44/197.54 c core #2 197.44/197.54 c 197.44/197.54 c 197.44/197.54 c Core size: 784 Core Weight: 1 Total Weight: -998 197.44/197.54 c 197.44/197.54 c 197.44/197.54 c ============================[ Search Statistics ]============================== 197.44/197.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.54 c =============================================================================== 197.44/197.54 c | 0 | 79252 155471 642822 | 51823 0 nan | 0.000 % | 199.33/199.41 c | 100 | 79252 155471 642822 | 57006 100 718 | 0.000 % | 200.94/201.01 c | 250 | 79252 155471 642822 | 62706 250 625 | 0.000 % | 203.94/204.03 c | 475 | 79252 155471 642822 | 68977 475 610 | 0.000 % | 209.13/209.23 c | 812 | 79252 155471 642822 | 75875 812 653 | 0.000 % | 216.04/216.17 c | 1318 | 79252 155471 642822 | 83462 1318 688 | 0.000 % | 223.83/223.90 c | 2077 | 79252 155471 642822 | 91808 2077 733 | 0.000 % | 234.14/234.25 c | 3216 | 79252 155471 642822 | 100989 3216 790 | 0.000 % | 251.23/251.32 c | 4924 | 79251 155471 642822 | 111088 4923 801 | 0.001 % | 283.72/283.87 c | 7486 | 79186 155471 642822 | 122197 7465 808 | 0.083 % | 331.71/331.89 c | 11331 | 79186 155471 642822 | 134417 11310 816 | 0.085 % | 401.49/401.65 c | 17111 | 79171 155471 642822 | 147858 17088 857 | 0.773 % | 518.55/518.72 c | 25855 | 77965 155471 642822 | 162644 24725 866 | 3.534 % | 679.21/679.48 c | 38829 | 76356 155471 642822 | 178909 35624 877 | 4.883 % | 901.95/902.25 c | 58290 | 75136 155471 642822 | 196800 53637 867 | 7.604 % | 1228.67/1229.00 c =============================================================================== 1232.67/1233.07 c core #3 1232.67/1233.07 c 1232.67/1233.07 c 1232.67/1233.07 c Core size: 1069 Core Weight: 1 Total Weight: -997 1232.67/1233.07 c 1232.67/1233.07 c 1232.67/1233.07 c ============================[ Search Statistics ]============================== 1232.67/1233.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1232.67/1233.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1232.67/1233.07 c =============================================================================== 1232.67/1233.07 c | 0 | 80252 156039 646433 | 52013 0 nan | 0.000 % | 1234.56/1234.98 c | 100 | 80252 156039 646433 | 57214 100 1268 | 0.000 % | 1236.16/1236.56 c | 250 | 80252 156039 646433 | 62935 250 697 | 0.000 % | 1238.66/1239.05 c | 475 | 80252 156039 646433 | 69229 475 632 | 0.000 % | 1242.46/1242.82 c | 812 | 80252 156039 646433 | 76152 812 734 | 0.000 % | 1250.56/1250.98 c | 1318 | 80252 156039 646433 | 83767 1318 832 | 0.000 % | 1261.26/1261.67 c | 2077 | 80252 156039 646433 | 92144 2077 897 | 0.000 % | 1278.25/1278.60 c | 3216 | 80252 156039 646433 | 101358 3216 972 | 0.000 % | 1297.84/1298.20 c | 4924 | 80252 156039 646433 | 111494 4924 994 | 0.000 % | 1331.54/1331.98 c | 7486 | 80252 156039 646433 | 122643 7486 1054 | 0.000 % | 1378.02/1378.40 c | 11330 | 80252 156039 646433 | 134908 11330 1099 | 0.000 % | 1447.70/1448.14 c | 17145 | 80252 156039 646433 | 148399 17145 1123 | 0.000 % | 1574.26/1574.77 c | 25829 | 80252 156039 646433 | 163239 25829 1146 | 0.000 % | 1743.21/1743.72 c | 38803 | 80252 156039 646433 | 179562 38803 1171 | 0.000 % |
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-2702589-1278578274/watcher-2702589-1278578274 -o /tmp/evaluation-result-2702589-1278578274/solver-2702589-1278578274 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702589-1278578274.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: 0.99 0.97 0.91 2/105 32412 /proc/meminfo: memFree=1819376/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=9944 CPUtime=0 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 435 0 0 0 0 0 0 0 21 0 1 0 26036110 10182656 353 1992294400 134512640 135752675 4291144192 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 2486 353 138 303 0 499 0 [startup+0.0471501 s] /proc/loadavg: 0.99 0.97 0.91 2/105 32412 /proc/meminfo: memFree=1819376/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=13896 CPUtime=0.04 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 1271 0 0 0 4 0 0 0 21 0 1 0 26036110 14229504 1189 1992294400 134512640 135752675 4291144192 18446744073709551615 134598454 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 3474 1191 183 303 0 1487 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13896 [startup+0.101155 s] /proc/loadavg: 0.99 0.97 0.91 2/105 32412 /proc/meminfo: memFree=1819376/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=16904 CPUtime=0.09 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 2211 0 0 0 8 1 0 0 24 0 1 0 26036110 17309696 2056 1992294400 134512640 135752675 4291144192 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 4226 2056 242 303 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16904 [startup+0.301177 s] /proc/loadavg: 0.99 0.97 0.91 2/105 32412 /proc/meminfo: memFree=1819376/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=25716 CPUtime=0.29 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 4216 0 0 0 28 1 0 0 25 0 1 0 26036110 26333184 3947 1992294400 134512640 135752675 4291144192 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 6429 3949 426 303 0 4442 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25716 [startup+0.701223 s] /proc/loadavg: 0.99 0.97 0.91 2/105 32412 /proc/meminfo: memFree=1819376/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=31704 CPUtime=0.69 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 6307 0 0 0 67 2 0 0 25 0 1 0 26036110 32464896 6038 1992294400 134512640 135752675 4291144192 18446744073709551615 135225906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 7926 6038 935 303 0 5939 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31704 [startup+1.50131 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32413 /proc/meminfo: memFree=1794940/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=48400 CPUtime=1.49 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 13004 0 0 0 144 5 0 0 25 0 1 0 26036110 49561600 10828 1992294400 134512640 135752675 4291144192 18446744073709551615 135221593 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 12100 10828 142 303 0 11795 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48400 [startup+3.1005 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32413 /proc/meminfo: memFree=1769892/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=57112 CPUtime=3.09 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 15171 0 0 0 302 7 0 0 25 0 1 0 26036110 58482688 12995 1992294400 134512640 135752675 4291144192 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 14278 12995 142 303 0 13973 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57112 [startup+6.30086 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32413 /proc/meminfo: memFree=1771628/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=52088 CPUtime=6.29 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 15440 0 0 0 620 9 0 0 25 0 1 0 26036110 53338112 11894 1992294400 134512640 135752675 4291144192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 13022 11894 145 303 0 12717 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52088 [startup+12.7006 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32413 /proc/meminfo: memFree=1745464/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=80912 CPUtime=12.69 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 22641 0 0 0 1253 16 0 0 25 0 1 0 26036110 82853888 19095 1992294400 134512640 135752675 4291144192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 20228 19095 145 303 0 19923 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80912 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32413 /proc/meminfo: memFree=1674412/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=150992 CPUtime=25.49 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 40152 0 0 0 2517 32 0 0 25 0 1 0 26036110 154615808 36606 1992294400 134512640 135752675 4291144192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 37748 36606 145 303 0 37443 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 150992 [startup+51.1009 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32413 /proc/meminfo: memFree=1563928/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=263116 CPUtime=51.08 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 68169 0 0 0 5053 55 0 0 25 0 1 0 26036110 269430784 64623 1992294400 134512640 135752675 4291144192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 65779 64623 145 303 0 65474 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 263116 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32415 /proc/meminfo: memFree=1392932/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=431296 CPUtime=102.28 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 110194 0 0 0 10120 108 0 0 25 0 1 0 26036110 441647104 106648 1992294400 134512640 135752675 4291144192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 107824 106648 145 303 0 107519 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 431296 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32417 /proc/meminfo: memFree=1194656/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=630164 CPUtime=162.25 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 159921 0 0 0 16086 139 0 0 25 0 1 0 26036110 645287936 156375 1992294400 134512640 135752675 4291144192 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 157541 156375 145 303 0 157236 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 630164 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32419 /proc/meminfo: memFree=1144312/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=222.23 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175471 0 0 0 22070 153 0 0 25 0 1 0 26036110 692326400 168428 1992294400 134512640 135752675 4291144192 18446744073709551615 134605067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168428 146 303 0 168720 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 676100 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32420 /proc/meminfo: memFree=1144188/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=282.21 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175474 0 0 0 28065 156 0 0 25 0 1 0 26036110 692326400 168431 1992294400 134512640 135752675 4291144192 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168431 146 303 0 168720 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 676100 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32421 /proc/meminfo: memFree=1144064/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=342.2 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175481 0 0 0 34060 160 0 0 25 0 1 0 26036110 692326400 168438 1992294400 134512640 135752675 4291144192 18446744073709551615 134637858 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168438 146 303 0 168720 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 676100 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32423 /proc/meminfo: memFree=1144064/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=402.19 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175484 0 0 0 40056 163 0 0 25 0 1 0 26036110 692326400 168441 1992294400 134512640 135752675 4291144192 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168441 146 303 0 168720 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 676100 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32425 /proc/meminfo: memFree=1144064/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=462.17 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175484 0 0 0 46051 166 0 0 25 0 1 0 26036110 692326400 168441 1992294400 134512640 135752675 4291144192 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168441 146 303 0 168720 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 676100 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32427 /proc/meminfo: memFree=1144064/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=522.15 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175484 0 0 0 52046 169 0 0 25 0 1 0 26036110 692326400 168441 1992294400 134512640 135752675 4291144192 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168441 146 303 0 168720 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 676100 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32428 /proc/meminfo: memFree=1143940/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=582.14 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175484 0 0 0 58041 173 0 0 25 0 1 0 26036110 692326400 168441 1992294400 134512640 135752675 4291144192 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168441 146 303 0 168720 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 676100 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32429 /proc/meminfo: memFree=1143940/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=642.13 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175487 0 0 0 64037 176 0 0 25 0 1 0 26036110 692326400 168444 1992294400 134512640 135752675 4291144192 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168444 146 303 0 168720 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 676100 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32435 /proc/meminfo: memFree=1143692/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=822.08 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175487 0 0 0 82022 186 0 0 25 0 1 0 26036110 692326400 168444 1992294400 134512640 135752675 4291144192 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168444 146 303 0 168720 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 676100 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32436 /proc/meminfo: memFree=1143816/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=882.06 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175487 0 0 0 88017 189 0 0 25 0 1 0 26036110 692326400 168444 1992294400 134512640 135752675 4291144192 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168444 146 303 0 168720 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 676100 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32437 /proc/meminfo: memFree=1143692/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=942.05 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175489 0 0 0 94014 191 0 0 25 0 1 0 26036110 692326400 168446 1992294400 134512640 135752675 4291144192 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168446 146 303 0 168720 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 676100 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32439 /proc/meminfo: memFree=1143692/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1002.03 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175489 0 0 0 100010 193 0 0 25 0 1 0 26036110 692326400 168446 1992294400 134512640 135752675 4291144192 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168446 146 303 0 168720 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 676100 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32441 /proc/meminfo: memFree=1143568/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1062.01 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175489 0 0 0 106003 198 0 0 25 0 1 0 26036110 692326400 168446 1992294400 134512640 135752675 4291144192 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168446 146 303 0 168720 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 676100 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32443 /proc/meminfo: memFree=1143692/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1122 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175489 0 0 0 111999 201 0 0 25 0 1 0 26036110 692326400 168446 1992294400 134512640 135752675 4291144192 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168446 146 303 0 168720 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 676100 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32444 /proc/meminfo: memFree=1143568/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1181.98 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175489 0 0 0 117992 206 0 0 25 0 1 0 26036110 692326400 168446 1992294400 134512640 135752675 4291144192 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168446 146 303 0 168720 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 676100 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32445 /proc/meminfo: memFree=1143320/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1241.96 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 123985 211 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 676100 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32447 /proc/meminfo: memFree=1143320/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1301.95 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 129977 218 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134643616 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 676100 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32449 /proc/meminfo: memFree=1143320/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1361.93 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 135968 225 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134643616 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 676100 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32460 /proc/meminfo: memFree=1142948/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1421.9 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 141961 229 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134637949 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 676100 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32461 /proc/meminfo: memFree=1142948/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1481.88 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 147954 234 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 676100 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32462 /proc/meminfo: memFree=1142948/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1541.87 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 153949 238 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 676100 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32464 /proc/meminfo: memFree=1143072/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1601.85 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 159944 241 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 676100 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32466 /proc/meminfo: memFree=1143072/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1661.84 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 165940 244 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 676100 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32468 /proc/meminfo: memFree=1142948/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1721.82 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 171932 250 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134638982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 676100 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32469 /proc/meminfo: memFree=1142824/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1781.8 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 177926 254 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 676100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32470 /proc/meminfo: memFree=1142824/2059040 swapFree=4135732/4192956 [pid=32412] ppid=32410 vsize=676100 CPUtime=1800.11 /proc/32412/stat : 32412 (wbo1.4b) R 32410 32412 32085 0 -1 4202496 175490 0 0 0 179756 255 0 0 25 0 1 0 26036110 692326400 168447 1992294400 134512640 135752675 4291144192 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32412/statm: 169025 168447 146 303 0 168720 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 676100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.68 CPU time (s): 1800.19 CPU user time (s): 1797.56 CPU system time (s): 2.6216 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 691328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.56 system time used= 2.6216 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175490 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= 8 involuntary context switches= 2532 runsolver used 2.89156 second user time and 8.59669 second system time The end
Begin job on node088 at 2010-07-08 10:37:54 IDJOB=2702589 IDBENCH=48229 IDSOLVER=1190 FILE ID=node088/2702589-1278578274 PBS_JOBID= 11240060 Free space on /tmp= 62508 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702589-1278578274/watcher-2702589-1278578274 -o /tmp/evaluation-result-2702589-1278578274/solver-2702589-1278578274 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702589-1278578274.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 49512b8058c62182b32b06ac219e7167 RANDOM SEED=2095860234 node088.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.245 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1825360 kB Buffers: 30724 kB Cached: 112088 kB SwapCached: 10828 kB Active: 97780 kB Inactive: 58688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1825360 kB SwapTotal: 4192956 kB SwapFree: 4135732 kB Dirty: 4768 kB Writeback: 12 kB AnonPages: 11624 kB Mapped: 8436 kB Slab: 55508 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179040 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702589-1278578274.opb Free space on /tmp at the end= 62500 MiB End job on node088 at 2010-07-08 11:08:00