Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb |
MD5SUM | e05fbfdce4433b0b2590ec382b530cec |
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 | -67 |
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) | 150588 |
Sum of products size (including duplicates) | 301176 |
Number of different products | 75294 |
Sum of products size | 150588 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702581-1278578049.opb. 0.00/0.00 c Instance file HOME/instance-2702581-1278578049.opb 0.00/0.00 c File size is 6868288 bytes. 1.39/1.49 c Highest Coefficient sum: 2000 1.39/1.49 c ============================[ Problem Statistics ]============================= 1.39/1.49 c | | 1.39/1.49 c | Parsing time: 1.45 s | 1.39/1.49 c | Number Variables: 77294 | 1.39/1.49 c | Number Clauses: 76294 | 1.39/1.49 c | Number Cardinality: 2002 | 1.39/1.49 c | Number PB Constraints: 75294 | 4.09/4.13 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.14 c | 0 | 77294 153590 608352 | 51196 0 nan | 0.000 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c New solution: 0 4.19/4.29 o 0 4.19/4.29 c Elapsed CPU time: 4.20836 s Remaining CPU time: 175.792 s 4.19/4.29 c =============================================================================== 4.19/4.29 c | 0 | 77294 153591 609352 | 51197 0 nan | 0.000 % | 4.49/4.52 c =============================================================================== 4.49/4.52 c New solution: -1 4.49/4.52 o -1 4.49/4.52 c Elapsed CPU time: 4.44232 s Remaining CPU time: 175.558 s 4.49/4.52 c =============================================================================== 4.49/4.52 c | 1 | 77294 153592 610352 | 51197 1 1001 | 0.000 % | 4.59/4.66 c =============================================================================== 4.59/4.66 c New solution: -2 4.59/4.66 o -2 4.59/4.66 c Elapsed CPU time: 4.5753 s Remaining CPU time: 175.425 s 4.59/4.66 c =============================================================================== 4.59/4.66 c | 1 | 77294 153593 611352 | 51197 1 1001 | 0.000 % | 4.79/4.80 c =============================================================================== 4.79/4.80 c New solution: -3 4.79/4.80 o -3 4.79/4.80 c Elapsed CPU time: 4.71128 s Remaining CPU time: 175.289 s 4.79/4.80 c =============================================================================== 4.79/4.80 c | 6 | 77294 153594 612352 | 51198 6 1829 | 0.000 % | 4.89/4.93 c =============================================================================== 4.89/4.93 c New solution: -4 4.89/4.93 o -4 4.89/4.93 c Elapsed CPU time: 4.84626 s Remaining CPU time: 175.154 s 4.89/4.93 c =============================================================================== 4.89/4.93 c | 6 | 77294 153595 613352 | 51198 6 1829 | 0.000 % | 4.99/5.07 c =============================================================================== 4.99/5.07 c New solution: -5 4.99/5.07 o -5 4.99/5.07 c Elapsed CPU time: 4.97724 s Remaining CPU time: 175.023 s 4.99/5.07 c =============================================================================== 4.99/5.07 c | 6 | 77294 153596 614352 | 51198 6 1829 | 0.000 % | 5.19/5.24 c | 106 | 77294 153596 614352 | 56318 106 1982 | 0.000 % | 5.29/5.37 c =============================================================================== 5.29/5.37 c New solution: -6 5.29/5.37 o -6 5.29/5.37 c Elapsed CPU time: 5.2762 s Remaining CPU time: 174.724 s 5.29/5.37 c =============================================================================== 5.29/5.37 c | 108 | 77294 153597 615352 | 51199 108 1945 | 0.000 % | 5.49/5.51 c =============================================================================== 5.49/5.51 c New solution: -7 5.49/5.51 o -7 5.49/5.51 c Elapsed CPU time: 5.41018 s Remaining CPU time: 174.59 s 5.49/5.51 c =============================================================================== 5.49/5.51 c | 109 | 77294 153598 616352 | 51199 109 1928 | 0.000 % | 5.59/5.64 c =============================================================================== 5.59/5.64 c New solution: -8 5.59/5.64 o -8 5.59/5.64 c Elapsed CPU time: 5.54516 s Remaining CPU time: 174.455 s 5.59/5.64 c =============================================================================== 5.59/5.64 c | 112 | 77294 153599 617352 | 51199 112 1876 | 0.000 % | 5.69/5.78 c =============================================================================== 5.69/5.78 c New solution: -9 5.69/5.78 o -9 5.69/5.78 c Elapsed CPU time: 5.68014 s Remaining CPU time: 174.32 s 5.69/5.78 c =============================================================================== 5.69/5.78 c | 113 | 77294 153600 618352 | 51200 113 1859 | 0.000 % | 5.89/5.92 c =============================================================================== 5.89/5.92 c New solution: -10 5.89/5.92 o -10 5.89/5.92 c Elapsed CPU time: 5.81312 s Remaining CPU time: 174.187 s 5.89/5.92 c =============================================================================== 5.89/5.92 c | 113 | 77294 153601 619352 | 51200 113 1859 | 0.000 % | 5.99/6.06 c =============================================================================== 5.99/6.06 c New solution: -11 5.99/6.06 o -11 5.99/6.06 c Elapsed CPU time: 5.9511 s Remaining CPU time: 174.049 s 5.99/6.06 c =============================================================================== 5.99/6.06 c | 121 | 77294 153602 620352 | 51200 121 1769 | 0.000 % | 6.19/6.25 c | 222 | 77294 153602 620352 | 56320 222 1866 | 0.000 % | 6.39/6.45 c | 372 | 77294 153602 620352 | 61952 372 1913 | 0.000 % | 6.69/6.73 c | 597 | 77294 153602 620352 | 68148 597 1940 | 0.000 % | 7.09/7.11 c | 935 | 77294 153602 620352 | 74962 935 1956 | 0.000 % | 7.28/7.33 c =============================================================================== 7.28/7.33 c New solution: -12 7.28/7.33 o -12 7.28/7.33 c Elapsed CPU time: 7.2109 s Remaining CPU time: 172.789 s 7.28/7.33 c =============================================================================== 7.28/7.33 c | 938 | 77294 153603 621352 | 51201 938 1951 | 0.000 % | 7.49/7.50 c | 1038 | 77294 153603 621352 | 56321 1038 1953 | 0.000 % | 7.70/7.71 c | 1188 | 77294 153603 621352 | 61953 1188 1957 | 0.000 % | 7.99/8.00 c | 1413 | 77294 153603 621352 | 68148 1413 1961 | 0.000 % | 8.38/8.40 c | 1750 | 77294 153603 621352 | 74963 1750 1965 | 0.000 % | 8.59/8.65 c =============================================================================== 8.59/8.65 c New solution: -13 8.59/8.65 o -13 8.59/8.65 c Elapsed CPU time: 8.5167 s Remaining CPU time: 171.483 s 8.59/8.65 c =============================================================================== 8.59/8.65 c | 1763 | 77294 153604 622352 | 51201 1763 1956 | 0.000 % | 8.80/8.85 c | 1863 | 77294 153604 622352 | 56321 1863 1957 | 0.000 % | 9.09/9.12 c | 2013 | 77294 153604 622352 | 61953 2013 1959 | 0.000 % | 9.29/9.39 c | 2238 | 77294 153604 622352 | 68148 2238 1958 | 0.000 % | 9.80/9.81 c | 2575 | 77294 153604 622352 | 74963 2575 1958 | 0.000 % | 10.39/10.44 c | 3081 | 77294 153604 622352 | 82460 3081 1939 | 0.000 % | 11.19/11.29 c | 3840 | 77294 153604 622352 | 90706 3840 1921 | 0.000 % | 12.49/12.54 c | 4979 | 77294 153604 622352 | 99776 4979 1935 | 0.000 % | 12.78/12.88 c =============================================================================== 12.78/12.88 c New solution: -14 12.78/12.88 o -14 12.78/12.88 c Elapsed CPU time: 12.6971 s Remaining CPU time: 167.303 s 12.78/12.88 c =============================================================================== 12.78/12.88 c | 5004 | 77294 153605 623352 | 51201 5004 1929 | 0.000 % | 13.10/13.10 c | 5104 | 77294 153605 623352 | 56321 5104 1930 | 0.000 % | 13.29/13.40 c | 5254 | 77294 153605 623352 | 61954 5254 1931 | 0.000 % | 13.68/13.72 c | 5479 | 77294 153605 623352 | 68149 5479 1933 | 0.000 % | 14.09/14.13 c | 5816 | 77294 153605 623352 | 74964 5816 1936 | 0.000 % | 14.39/14.45 c =============================================================================== 14.39/14.45 c New solution: -15 14.39/14.45 o -15 14.39/14.45 c Elapsed CPU time: 14.2528 s Remaining CPU time: 165.747 s 14.39/14.45 c =============================================================================== 14.39/14.45 c | 5821 | 77294 153606 624352 | 51202 5821 1934 | 0.000 % | 14.59/14.67 c | 5921 | 77294 153606 624352 | 56322 5921 1922 | 0.000 % | 14.89/14.90 c | 6072 | 77294 153606 624352 | 61954 6072 1923 | 0.000 % | 15.19/15.22 c | 6297 | 77294 153606 624352 | 68149 6297 1925 | 0.000 % | 15.59/15.63 c | 6634 | 77294 153606 624352 | 74964 6634 1928 | 0.000 % | 16.09/16.14 c =============================================================================== 16.09/16.14 c New solution: -16 16.09/16.14 o -16 16.09/16.14 c Elapsed CPU time: 15.9136 s Remaining CPU time: 164.086 s 16.09/16.14 c =============================================================================== 16.09/16.14 c | 6692 | 77294 153607 625352 | 51202 6692 1918 | 0.000 % | 16.39/16.44 c | 6792 | 77294 153607 625352 | 56322 6792 1919 | 0.000 % | 16.59/16.69 c | 6942 | 77294 153607 625352 | 61954 6942 1920 | 0.000 % | 16.88/16.98 c | 7167 | 77294 153607 625352 | 68150 7167 1922 | 0.000 % | 17.39/17.41 c | 7504 | 77294 153607 625352 | 74965 7504 1925 | 0.000 % | 17.69/17.79 c =============================================================================== 17.69/17.79 c New solution: -17 17.69/17.79 o -17 17.69/17.79 c Elapsed CPU time: 17.5503 s Remaining CPU time: 162.45 s 17.69/17.79 c =============================================================================== 17.69/17.79 c | 7545 | 77294 153608 626352 | 51202 7545 1919 | 0.000 % | 17.99/18.02 c | 7645 | 77294 153608 626352 | 56322 7645 1919 | 0.000 % | 18.29/18.31 c | 7795 | 77294 153608 626352 | 61955 7795 1920 | 0.000 % | 18.59/18.68 c | 8020 | 77294 153608 626352 | 68150 8020 1922 | 0.000 % | 18.99/19.09 c | 8357 | 77294 153608 626352 | 74965 8357 1924 | 0.000 % | 19.59/19.65 c | 8863 | 77294 153608 626352 | 82462 8863 1927 | 0.000 % | 20.49/20.51 c | 9623 | 77294 153608 626352 | 90708 9623 1931 | 0.000 % | 21.09/21.12 c =============================================================================== 21.09/21.12 c New solution: -18 21.09/21.12 o -18 21.09/21.12 c Elapsed CPU time: 20.8328 s Remaining CPU time: 159.167 s 21.09/21.12 c =============================================================================== 21.09/21.12 c | 9651 | 77294 153609 627352 | 51203 9651 1927 | 0.000 % | 21.38/21.46 c | 9751 | 77294 153609 627352 | 56323 9751 1927 | 0.000 % | 21.69/21.70 c | 9901 | 77294 153609 627352 | 61955 9901 1928 | 0.000 % | 21.99/22.04 c | 10126 | 77294 153609 627352 | 68151 10126 1929 | 0.000 % | 22.49/22.56 c | 10463 | 77294 153609 627352 | 74966 10463 1930 | 0.000 % | 23.09/23.19 c =============================================================================== 23.09/23.19 c New solution: -19 23.09/23.19 o -19 23.09/23.19 c Elapsed CPU time: 22.8625 s Remaining CPU time: 157.137 s 23.09/23.19 c =============================================================================== 23.09/23.19 c | 10539 | 77294 153610 628352 | 51203 10539 1922 | 0.000 % | 23.38/23.44 c | 10639 | 77294 153610 628352 | 56323 10639 1923 | 0.000 % | 23.69/23.78 c | 10789 | 77294 153610 628352 | 61956 10789 1923 | 0.000 % | 23.99/24.04 c | 11014 | 77294 153610 628352 | 68151 11014 1924 | 0.000 % | 24.59/24.65 c | 11351 | 77294 153610 628352 | 74966 11351 1923 | 0.000 % | 25.08/25.17 c | 11857 | 77294 153610 628352 | 82463 11857 1925 | 0.000 % | 25.88/25.98 c | 12616 | 77294 153610 628352 | 90709 12616 1928 | 0.000 % | 27.28/27.32 c | 13755 | 77294 153610 628352 | 99780 13755 1931 | 0.000 % | 29.18/29.23 c | 15463 | 77294 153610 628352 | 109758 15463 1936 | 0.000 % | 30.27/30.33 c =============================================================================== 30.27/30.33 c New solution: -20 30.27/30.33 o -20 30.27/30.33 c Elapsed CPU time: 29.8995 s Remaining CPU time: 150.101 s 30.27/30.33 c =============================================================================== 30.27/30.33 c | 15583 | 77294 153611 629352 | 51203 15583 1927 | 0.000 % | 30.58/30.65 c | 15683 | 77294 153611 629352 | 56324 15683 1927 | 0.000 % | 30.87/30.90 c | 15833 | 77294 153611 629352 | 61956 15833 1928 | 0.000 % | 31.08/31.17 c | 16059 | 77294 153611 629352 | 68152 16059 1928 | 0.000 % | 31.58/31.61 c | 16396 | 77294 153611 629352 | 74967 16396 1929 | 0.000 % | 32.07/32.13 c | 16902 | 77294 153611 629352 | 82464 16902 1930 | 0.000 % | 32.88/32.93 c | 17661 | 77294 153611 629352 | 90710 17661 1932 | 0.000 % | 33.98/34.08 c =============================================================================== 33.98/34.08 c New solution: -21 33.98/34.08 o -21 33.98/34.08 c Elapsed CPU time: 33.5809 s Remaining CPU time: 146.419 s 33.98/34.08 c =============================================================================== 33.98/34.08 c | 17713 | 77294 153612 630352 | 51204 17713 1928 | 0.000 % | 34.37/34.43 c | 17813 | 77294 153612 630352 | 56324 17813 1928 | 0.000 % | 34.66/34.71 c | 17963 | 77294 153612 630352 | 61956 17963 1928 | 0.000 % | 35.07/35.14 c | 18188 | 77294 153612 630352 | 68152 18188 1929 | 0.000 % | 35.77/35.84 c | 18525 | 77294 153612 630352 | 74967 18525 1929 | 0.000 % | 36.97/37.06 c =============================================================================== 36.97/37.06 c New solution: -22 36.97/37.06 o -22 36.97/37.06 c Elapsed CPU time: 36.5025 s Remaining CPU time: 143.498 s 36.97/37.06 c =============================================================================== 36.97/37.06 c | 18601 | 77294 153613 631352 | 51204 18601 1924 | 0.000 % | 37.47/37.55 c | 18706 | 77294 153613 631352 | 56324 18706 1924 | 0.000 % | 37.77/37.88 c | 18856 | 77294 153613 631352 | 61957 18856 1924 | 0.000 % | 38.16/38.22 c | 19081 | 77294 153613 631352 | 68152 19081 1925 | 0.000 % | 38.57/38.63 c | 19418 | 77294 153613 631352 | 74968 19418 1925 | 0.000 % | 39.26/39.34 c | 19924 | 77294 153613 631352 | 82465 19924 1926 | 0.000 % | 40.07/40.11 c =============================================================================== 40.07/40.11 c New solution: -23 40.07/40.11 o -23 40.07/40.11 c Elapsed CPU time: 39.513 s Remaining CPU time: 140.487 s 40.07/40.11 c =============================================================================== 40.07/40.11 c | 19987 | 77294 153614 632352 | 51204 19987 1921 | 0.000 % | 40.47/40.52 c | 20088 | 77294 153614 632352 | 56325 20088 1921 | 0.000 % | 40.77/40.83 c | 20238 | 77294 153614 632352 | 61957 20238 1922 | 0.000 % | 41.27/41.31 c | 20463 | 77294 153614 632352 | 68153 20463 1922 | 0.000 % | 41.67/41.71 c | 20800 | 77294 153614 632352 | 74968 20800 1923 | 0.000 % | 43.17/43.27 c =============================================================================== 43.17/43.27 c New solution: -24 43.17/43.27 o -24 43.17/43.27 c Elapsed CPU time: 42.6285 s Remaining CPU time: 137.371 s 43.17/43.27 c =============================================================================== 43.17/43.27 c | 20911 | 77294 153615 633352 | 51205 20911 1916 | 0.000 % | 43.67/43.75 c | 21016 | 77294 153615 633352 | 56325 21016 1916 | 0.000 % | 43.97/44.01 c | 21166 | 77294 153615 633352 | 61958 21166 1917 | 0.000 % | 44.27/44.35 c | 21392 | 77294 153615 633352 | 68153 21392 1917 | 0.000 % | 45.17/45.23 c | 21729 | 77294 153615 633352 | 74969 21729 1917 | 0.000 % | 45.66/45.77 c | 22236 | 77294 153615 633352 | 82466 22236 1918 | 0.000 % | 46.66/46.74 c | 22995 | 77294 153615 633352 | 90712 22995 1917 | 0.000 % | 47.96/48.08 c | 24134 | 77294 153615 633352 | 99784 24134 1918 | 0.000 % | 50.07/50.12 c =============================================================================== 50.07/50.12 c New solution: -25 50.07/50.12 o -25 50.07/50.12 c Elapsed CPU time: 49.3825 s Remaining CPU time: 130.618 s 50.07/50.12 c =============================================================================== 50.07/50.12 c | 24407 | 77294 153616 634352 | 51205 24407 1906 | 0.000 % | 50.47/50.51 c | 24508 | 77294 153616 634352 | 56325 24508 1906 | 0.000 % | 50.87/50.92 c | 24658 | 77294 153616 634352 | 61958 24658 1906 | 0.000 % | 51.26/51.33 c | 24883 | 77294 153616 634352 | 68154 24883 1906 | 0.000 % | 51.77/51.84 c | 25220 | 77294 153616 634352 | 74969 25220 1906 | 0.000 % | 53.16/53.23 c | 25729 | 77294 153616 634352 | 82466 25729 1886 | 0.000 % | 54.67/54.70 c | 26488 | 77294 153616 634352 | 90713 26488 1888 | 0.000 % | 56.26/56.30 c | 27628 | 77294 153616 634352 | 99784 27628 1891 | 0.000 % | 58.27/58.38 c | 29337 | 77294 153616 634352 | 109763 29337 1894 | 0.000 % | 61.86/61.92 c | 31899 | 77294 153616 634352 | 120739 31899 1898 | 0.000 % | 63.96/64.02 c =============================================================================== 63.96/64.02 c New solution: -26 63.96/64.02 o -26 63.96/64.02 c Elapsed CPU time: 63.1314 s Remaining CPU time: 116.869 s 63.96/64.02 c =============================================================================== 63.96/64.02 c | 32298 | 77294 153617 635352 | 51205 32298 1885 | 0.000 % | 64.16/64.29 c | 32399 | 77294 153617 635352 | 56326 32399 1886 | 0.000 % | 64.56/64.60 c | 32549 | 77294 153617 635352 | 61958 32549 1886 | 0.000 % | 64.87/64.98 c | 32774 | 77294 153617 635352 | 68154 32774 1886 | 0.000 % | 65.37/65.43 c | 33111 | 77294 153617 635352 | 74970 33111 1887 | 0.000 % | 66.76/66.83 c | 33618 | 77294 153617 635352 | 82467 33618 1872 | 0.000 % | 68.86/68.99 c | 34377 | 77294 153617 635352 | 90713 34377 1874 | 0.000 % | 70.56/70.69 c | 35516 | 77294 153617 635352 | 99785 35516 1877 | 0.000 % | 72.76/72.89 c | 37224 | 77294 153617 635352 | 109763 37224 1880 | 0.000 % | 76.56/76.67 c | 39786 | 77294 153617 635352 | 120740 39786 1885 | 0.000 % | 82.05/82.12 c | 43630 | 77294 153617 635352 | 132814 43630 1892 | 0.000 % | 92.36/92.43 c | 49396 | 77294 153617 635352 | 146095 49396 1899 | 0.000 % | 109.45/109.57 c | 58045 | 77294 153617 635352 | 160705 58045 1908 | 0.000 % | 115.04/115.13 c =============================================================================== 115.04/115.13 c New solution: -27 115.04/115.13 o -27 115.04/115.13 c Elapsed CPU time: 113.792 s Remaining CPU time: 66.2083 s 115.04/115.13 c =============================================================================== 115.04/115.13 c | 60219 | 77294 153618 636352 | 51206 60219 1871 | 0.000 % | 115.55/115.70 c | 60324 | 77294 153618 636352 | 56326 11809 1761 | 0.000 % | 115.85/115.95 c | 60474 | 77294 153618 636352 | 61959 11959 1763 | 0.000 % | 116.15/116.24 c | 60699 | 77294 153618 636352 | 68155 12184 1767 | 0.000 % | 116.55/116.67 c | 61036 | 77294 153618 636352 | 74970 12521 1772 | 0.000 % | 117.15/117.23 c | 61543 | 77294 153618 636352 | 82467 13028 1779 | 0.000 % | 120.15/120.22 c =============================================================================== 120.15/120.22 c New solution: -28 120.15/120.22 o -28 120.15/120.22 c Elapsed CPU time: 118.784 s Remaining CPU time: 61.2161 s 120.15/120.22 c =============================================================================== 120.15/120.22 c | 61883 | 77294 153619 637352 | 51206 13368 1752 | 0.000 % | 120.45/120.51 c | 61984 | 77294 153619 637352 | 56326 13469 1754 | 0.000 % | 120.64/120.75 c | 62134 | 77294 153619 637352 | 61959 13619 1756 | 0.000 % | 120.95/121.06 c | 62359 | 77294 153619 637352 | 68155 13844 1759 | 0.000 % | 121.45/121.54 c | 62696 | 77294 153619 637352 | 74971 14181 1763 | 0.000 % | 122.06/122.18 c | 63202 | 77294 153619 637352 | 82468 14687 1769 | 0.000 % | 125.85/125.97 c =============================================================================== 125.85/125.97 c New solution: -29 125.85/125.97 o -29 125.85/125.97 c Elapsed CPU time: 124.444 s Remaining CPU time: 55.5559 s 125.85/125.97 c =============================================================================== 125.85/125.97 c | 63584 | 77294 153620 638352 | 51206 15069 1741 | 0.000 % | 126.35/126.42 c | 63689 | 77294 153620 638352 | 56327 15174 1743 | 0.000 % | 126.64/126.70 c | 63839 | 77294 153620 638352 | 61960 15324 1745 | 0.000 % | 126.94/127.06 c | 64064 | 77294 153620 638352 | 68156 15549 1748 | 0.000 % | 127.45/127.56 c | 64401 | 77294 153620 638352 | 74971 15886 1750 | 0.000 % | 129.34/129.43 c | 64908 | 77294 153620 638352 | 82468 16393 1722 | 0.000 % | 131.14/131.29 c | 65667 | 77294 153620 638352 | 90715 17152 1732 | 0.000 % | 132.64/132.72 c | 66806 | 77294 153620 638352 | 99787 18291 1746 | 0.000 % | 134.44/134.56 c | 68514 | 77294 153620 638352 | 109766 19999 1762 | 0.000 % | 137.54/137.64 c | 71076 | 77294 153620 638352 | 120742 22561 1784 | 0.000 % | 140.74/140.89 c =============================================================================== 140.74/140.89 c New solution: -30 140.74/140.89 o -30 140.74/140.89 c Elapsed CPU time: 139.162 s Remaining CPU time: 40.8382 s 140.74/140.89 c =============================================================================== 140.74/140.89 c | 71376 | 77294 153621 639352 | 51207 22861 1770 | 0.000 % | 141.34/141.40 c | 71481 | 77294 153621 639352 | 56327 22966 1770 | 0.000 % | 141.54/141.69 c | 71631 | 77294 153621 639352 | 61960 23116 1772 | 0.000 % | 141.94/142.04 c | 71856 | 77294 153621 639352 | 68156 23341 1773 | 0.000 % | 142.54/142.61 c | 72193 | 77294 153621 639352 | 74972 23678 1775 | 0.000 % | 143.14/143.24 c | 72699 | 77294 153621 639352 | 82469 24184 1779 | 0.000 % | 144.24/144.33 c | 73458 | 77294 153621 639352 | 90716 24943 1784 | 0.000 % | 145.64/145.78 c | 74597 | 77294 153621 639352 | 99787 26082 1791 | 0.000 % | 147.94/148.09 c | 76305 | 77294 153621 639352 | 109766 27790 1801 | 0.000 % | 151.24/151.39 c | 78867 | 77294 153621 639352 | 120743 30352 1814 | 0.000 % | 153.94/154.05 c =============================================================================== 153.94/154.05 c New solution: -31 153.94/154.05 o -31 153.94/154.05 c Elapsed CPU time: 152.167 s Remaining CPU time: 27.8331 s 153.94/154.05 c =============================================================================== 153.94/154.05 c | 79269 | 77294 153622 640352 | 51207 30754 1801 | 0.000 % | 156.04/156.12 c | 79372 | 77294 153622 640352 | 56328 30857 1801 | 0.000 % | 156.23/156.38 c | 79522 | 77294 153622 640352 | 61960 31007 1802 | 0.000 % | 156.53/156.69 c | 79747 | 77294 153622 640352 | 68156 31232 1803 | 0.000 % | 157.04/157.18 c | 80084 | 77294 153622 640352 | 74972 31569 1805 | 0.000 % | 157.64/157.76 c | 80590 | 77294 153622 640352 | 82469 32075 1807 | 0.000 % | 164.63/164.78 c =============================================================================== 164.63/164.78 c New solution: -32 164.63/164.78 o -32 164.63/164.78 c Elapsed CPU time: 162.733 s Remaining CPU time: 17.2667 s 164.63/164.78 c =============================================================================== 164.63/164.78 c | 81033 | 77294 153623 641352 | 51207 32518 1789 | 0.000 % | 165.24/165.35 c | 81138 | 77294 153623 641352 | 56328 32623 1789 | 0.000 % | 165.63/165.72 c | 81288 | 77294 153623 641352 | 61961 32773 1790 | 0.000 % | 166.04/166.17 c | 81513 | 77294 153623 641352 | 68157 32998 1791 | 0.000 % | 166.73/166.83 c | 81851 | 77294 153623 641352 | 74973 33336 1793 | 0.000 % | 167.43/167.52 c | 82357 | 77294 153623 641352 | 82470 33842 1795 | 0.000 % | 168.44/168.59 c | 83116 | 77294 153623 641352 | 90717 34601 1798 | 0.000 % | 172.44/172.55 c =============================================================================== 172.44/172.55 c New solution: -33 172.44/172.55 o -33 172.44/172.55 c Elapsed CPU time: 170.389 s Remaining CPU time: 9.6109 s 172.44/172.55 c =============================================================================== 172.44/172.55 c | 83806 | 77294 153624 642352 | 51208 35291 1777 | 0.000 % | 172.83/172.93 c | 83907 | 77294 153624 642352 | 56328 35392 1777 | 0.000 % | 173.13/173.21 c | 84057 | 77294 153624 642352 | 61961 35542 1778 | 0.000 % | 173.53/173.69 c | 84282 | 77294 153624 642352 | 68157 35767 1778 | 0.000 % | 174.13/174.27 c | 84619 | 77294 153624 642352 | 74973 36104 1779 | 0.000 % | 177.03/177.19 c =============================================================================== 177.03/177.19 c New solution: -34 177.03/177.19 o -34 177.03/177.19 c Elapsed CPU time: 174.947 s Remaining CPU time: 5.0526 s 177.03/177.19 c =============================================================================== 177.03/177.19 c | 84862 | 77294 153625 643352 | 51208 36347 1771 | 0.000 % | 177.43/177.51 c | 84962 | 77294 153625 643352 | 56329 36447 1771 | 0.000 % | 177.73/177.83 c | 85113 | 77294 153625 643352 | 61962 36598 1772 | 0.000 % | 178.23/178.30 c | 85338 | 77294 153625 643352 | 68158 36823 1773 | 0.000 % | 178.73/178.85 c | 85675 | 77294 153625 643352 | 74974 37160 1774 | 0.000 % | 180.52/180.61 c =============================================================================== 180.52/180.61 c New solution: -35 180.52/180.61 o -35 180.52/180.61 c Elapsed CPU time: 178.309 s Remaining CPU time: 1.69111 s 180.52/180.61 c =============================================================================== 180.52/180.61 c | 85957 | 77294 153626 644352 | 51208 37442 1766 | 0.000 % | 180.73/180.88 c | 86057 | 77294 153626 644352 | 56329 37542 1766 | 0.000 % | 181.03/181.19 c | 86207 | 77294 153626 644352 | 61962 37692 1767 | 0.000 % | 181.53/181.61 c | 86432 | 77294 153626 644352 | 68158 37917 1768 | 0.000 % | 182.13/182.20 c | 86769 | 77294 153626 644352 | 74974 38254 1769 | 0.000 % | 182.23/182.35 c There are 0 assigned variables. 0 in cost function. 183.13/183.29 c core #1 183.13/183.29 c 183.13/183.29 c 183.13/183.29 c Core size: 2001 Core Weight: 1 Total Weight: -999 183.13/183.29 c 183.13/183.29 c 183.13/183.29 c ============================[ Search Statistics ]============================== 183.13/183.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.29 c =============================================================================== 183.13/183.29 c | 0 | 78294 155568 650175 | 51856 0 nan | 0.000 % | 185.32/185.46 c | 100 | 78294 155568 650175 | 57041 100 281 | 0.126 % | 187.52/187.69 c | 250 | 78293 155568 650175 | 62745 250 490 | 0.211 % | 191.53/191.67 c | 475 | 78293 155568 650175 | 69020 475 450 | 0.211 % | 195.64/195.79 c | 812 | 78129 155568 650175 | 75922 810 501 | 0.211 % | 202.42/202.50 c | 1318 | 77899 155568 650175 | 83514 1310 470 | 3.397 % | 212.02/212.10 c | 2077 | 73499 155568 650175 | 91866 1914 517 | 8.721 % | 226.82/226.94 c | 3216 | 70778 155568 650175 | 101052 2983 523 | 18.015 % | 245.52/245.61 c | 4924 | 63939 155568 650175 | 111157 4474 578 | 21.478 % | 254.02/254.15 c =============================================================================== 254.61/254.79 c core #2 254.61/254.79 c 254.61/254.79 c 254.61/254.79 c Core size: 904 Core Weight: 1 Total Weight: -998 254.61/254.79 c 254.61/254.79 c 254.61/254.79 c ============================[ Search Statistics ]============================== 254.61/254.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 254.61/254.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 254.61/254.79 c =============================================================================== 254.61/254.79 c | 0 | 79090 155682 652104 | 51894 0 nan | 0.000 % | 256.91/257.07 c | 100 | 79090 155682 652104 | 57083 100 709 | 0.000 % | 259.31/259.42 c | 250 | 79090 155682 652104 | 62791 250 763 | 0.000 % | 263.71/263.81 c | 475 | 79090 155682 652104 | 69070 475 710 | 0.000 % | 269.31/269.45 c | 812 | 79090 155682 652104 | 75978 812 747 | 0.000 % | 277.51/277.67 c | 1318 | 79090 155682 652104 | 83575 1318 782 | 0.000 % | 287.70/287.82 c | 2077 | 79090 155682 652104 | 91933 2077 807 | 0.000 % | 303.19/303.34 c | 3216 | 79090 155682 652104 | 101126 3216 823 | 0.000 % | 325.59/325.78 c | 4924 | 79090 155682 652104 | 111239 4924 829 | 0.000 % | 359.18/359.38 c | 7486 | 79015 155682 652104 | 122363 7457 828 | 0.095 % | 416.68/416.89 c | 11330 | 78809 155682 652104 | 134599 11259 818 | 0.355 % | 497.54/497.76 c | 17096 | 78800 155682 652104 | 148059 17025 835 | 0.998 % | 624.41/624.61 c | 25749 | 78226 155682 652104 | 162865 25369 849 | 1.603 % | 806.66/806.94 c | 38733 | 77569 155682 652104 | 179152 37499 875 | 4.038 % | 1075.29/1075.67 c | 58194 | 72957 155682 652104 | 197067 54371 894 | 10.731 % | 1455.48/1455.95 c | 87386 | 67600 155682 652104 | 216774 76669 913 | 14.926 % |
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-2702581-1278578049/watcher-2702581-1278578049 -o /tmp/evaluation-result-2702581-1278578049/solver-2702581-1278578049 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702581-1278578049.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 0.99 0.91 3/106 31675 /proc/meminfo: memFree=1779520/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=9784 CPUtime=0 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 404 0 0 0 0 0 0 0 19 0 1 0 26018399 10018816 323 1992294400 134512640 135752675 4290592928 18446744073709551615 134609916 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 2446 323 136 303 0 464 0 [startup+0.065125 s] /proc/loadavg: 1.00 0.99 0.91 3/106 31675 /proc/meminfo: memFree=1779520/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=14084 CPUtime=0.05 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 1475 0 0 0 5 0 0 0 19 0 1 0 26018399 14422016 1394 1992294400 134512640 135752675 4290592928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 3521 1395 197 303 0 1539 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14084 [startup+0.10113 s] /proc/loadavg: 1.00 0.99 0.91 3/106 31675 /proc/meminfo: memFree=1779520/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=16476 CPUtime=0.09 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 2039 0 0 0 9 0 0 0 20 0 1 0 26018399 16871424 1958 1992294400 134512640 135752675 4290592928 18446744073709551615 135225894 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 4119 1958 235 303 0 2137 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16476 [startup+0.301153 s] /proc/loadavg: 1.00 0.99 0.91 3/106 31675 /proc/meminfo: memFree=1779520/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=25428 CPUtime=0.29 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 4089 0 0 0 28 1 0 0 20 0 1 0 26018399 26038272 3854 1992294400 134512640 135752675 4290592928 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 6357 3854 411 303 0 4375 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25428 [startup+0.701202 s] /proc/loadavg: 1.00 0.99 0.91 3/106 31675 /proc/meminfo: memFree=1779520/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=31004 CPUtime=0.69 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 6067 0 0 0 67 2 0 0 21 0 1 0 26018399 31748096 5832 1992294400 134512640 135752675 4290592928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 7751 5832 883 303 0 5769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31004 [startup+1.50129 s] /proc/loadavg: 1.08 1.00 0.91 2/107 31676 /proc/meminfo: memFree=1755580/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=42736 CPUtime=1.49 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 10619 0 0 0 145 4 0 0 23 0 1 0 26018399 43761664 8482 1992294400 134512640 135752675 4290592928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 10684 8484 142 303 0 10379 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42736 [startup+3.10148 s] /proc/loadavg: 1.08 1.00 0.91 2/107 31676 /proc/meminfo: memFree=1730532/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=56748 CPUtime=3.09 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 15037 0 0 0 302 7 0 0 25 0 1 0 26018399 58109952 12900 1992294400 134512640 135752675 4290592928 18446744073709551615 135204692 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 14187 12900 142 303 0 13882 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56748 [startup+6.30185 s] /proc/loadavg: 1.08 1.00 0.91 2/107 31676 /proc/meminfo: memFree=1731896/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=52028 CPUtime=6.29 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 15361 0 0 0 618 11 0 0 25 0 1 0 26018399 53276672 11863 1992294400 134512640 135752675 4290592928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 13007 11863 145 303 0 12702 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52028 [startup+12.7016 s] /proc/loadavg: 1.07 1.00 0.91 2/107 31676 /proc/meminfo: memFree=1711064/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=77388 CPUtime=12.68 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 21707 0 0 0 1251 17 0 0 25 0 1 0 26018399 79245312 18209 1992294400 134512640 135752675 4290592928 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 19347 18209 145 303 0 19042 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 77388 [startup+25.5011 s] /proc/loadavg: 1.06 1.00 0.91 2/107 31676 /proc/meminfo: memFree=1654520/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=132224 CPUtime=25.49 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 35424 0 0 0 2514 35 0 0 25 0 1 0 26018399 135397376 31926 1992294400 134512640 135752675 4290592928 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 33056 31926 145 303 0 32751 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 132224 [startup+51.1011 s] /proc/loadavg: 1.04 1.00 0.91 2/107 31678 /proc/meminfo: memFree=1558172/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=227932 CPUtime=51.07 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 59331 0 0 0 5035 72 0 0 25 0 1 0 26018399 233402368 55833 1992294400 134512640 135752675 4290592928 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 56983 55833 145 303 0 56678 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 227932 [startup+102.309 s] /proc/loadavg: 1.01 1.00 0.91 2/107 31678 /proc/meminfo: memFree=1328524/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=455548 CPUtime=102.26 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 116254 0 0 0 10109 117 0 0 25 0 1 0 26018399 466481152 112756 1992294400 134512640 135752675 4290592928 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 113887 112756 145 303 0 113582 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 455548 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31680 /proc/meminfo: memFree=1143144/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=640176 CPUtime=162.23 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 162400 0 0 0 16028 195 0 0 25 0 1 0 26018399 655540224 158902 1992294400 134512640 135752675 4290592928 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 160044 158902 145 303 0 159739 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 640176 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31682 /proc/meminfo: memFree=1094660/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=222.22 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177707 0 0 0 21990 232 0 0 25 0 1 0 26018399 702095360 170806 1992294400 134512640 135752675 4290592928 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170806 146 303 0 171105 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 685640 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31684 /proc/meminfo: memFree=1094660/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=282.2 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 27983 237 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 685640 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31686 /proc/meminfo: memFree=1094660/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=342.18 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 33977 241 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 685640 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31686 /proc/meminfo: memFree=1094536/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=402.17 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 39972 245 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 685640 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31688 /proc/meminfo: memFree=1094536/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=462.15 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 45967 248 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 685640 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31690 /proc/meminfo: memFree=1094536/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=522.14 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 51961 253 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 685640 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31692 /proc/meminfo: memFree=1094412/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=582.12 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 57956 256 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 685640 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31694 /proc/meminfo: memFree=1094412/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=685640 CPUtime=642.11 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 177721 0 0 0 63950 261 0 0 25 0 1 0 26018399 702095360 170820 1992294400 134512640 135752675 4290592928 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 171410 170820 146 303 0 171105 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 685640 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31700 /proc/meminfo: memFree=1079160/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=701280 CPUtime=882.04 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 181617 0 0 0 87927 277 0 0 25 0 1 0 26018399 718110720 174716 1992294400 134512640 135752675 4290592928 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 175320 174716 146 303 0 175015 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 701280 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31702 /proc/meminfo: memFree=1052252/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=728384 CPUtime=942.02 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 188398 0 0 0 93917 285 0 0 25 0 1 0 26018399 745865216 181497 1992294400 134512640 135752675 4290592928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 182096 181497 146 303 0 181791 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 728384 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31702 /proc/meminfo: memFree=1027700/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=752676 CPUtime=1002.01 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 194480 0 0 0 99909 292 0 0 25 0 1 0 26018399 770740224 187579 1992294400 134512640 135752675 4290592928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 188169 187579 146 303 0 187864 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 752676 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31704 /proc/meminfo: memFree=998560/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=781844 CPUtime=1061.99 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 201750 0 0 0 105901 298 0 0 25 0 1 0 26018399 800608256 194849 1992294400 134512640 135752675 4290592928 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 195461 194849 146 303 0 195156 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 781844 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31706 /proc/meminfo: memFree=975000/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=805248 CPUtime=1121.98 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 207628 0 0 0 111893 305 0 0 25 0 1 0 26018399 824573952 200727 1992294400 134512640 135752675 4290592928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 201312 200727 146 303 0 201007 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 805248 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31708 /proc/meminfo: memFree=945612/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=835112 CPUtime=1181.96 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 215069 0 0 0 117883 313 0 0 25 0 1 0 26018399 855154688 208168 1992294400 134512640 135752675 4290592928 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 208778 208168 146 303 0 208473 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 835112 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31710 /proc/meminfo: memFree=918084/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=861900 CPUtime=1241.94 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 221758 0 0 0 123874 320 0 0 25 0 1 0 26018399 882585600 214857 1992294400 134512640 135752675 4290592928 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 215475 214857 146 303 0 215170 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 861900 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31710 /proc/meminfo: memFree=891796/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=887992 CPUtime=1301.93 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 228266 0 0 0 129866 327 0 0 25 0 1 0 26018399 909303808 221365 1992294400 134512640 135752675 4290592928 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 221998 221365 146 303 0 221693 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 887992 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31712 /proc/meminfo: memFree=863276/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=916756 CPUtime=1361.91 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 235468 0 0 0 135857 334 0 0 25 0 1 0 26018399 938758144 228567 1992294400 134512640 135752675 4290592928 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 229189 228567 146 303 0 228884 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 916756 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31714 /proc/meminfo: memFree=837732/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=941812 CPUtime=1421.91 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 241757 0 0 0 141848 343 0 0 25 0 1 0 26018399 964415488 234856 1992294400 134512640 135752675 4290592928 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 235453 234856 146 303 0 235148 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 941812 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31716 /proc/meminfo: memFree=810080/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=969612 CPUtime=1481.89 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 248692 0 0 0 147836 353 0 0 25 0 1 0 26018399 992882688 241791 1992294400 134512640 135752675 4290592928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 242403 241791 146 303 0 242098 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 969612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31718 /proc/meminfo: memFree=788380/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=991060 CPUtime=1541.87 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 254065 0 0 0 153826 361 0 0 25 0 1 0 26018399 1014845440 247164 1992294400 134512640 135752675 4290592928 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 247765 247164 146 303 0 247460 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 991060 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31718 /proc/meminfo: memFree=764572/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=1015200 CPUtime=1601.85 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 260111 0 0 0 159817 368 0 0 25 0 1 0 26018399 1039564800 253210 1992294400 134512640 135752675 4290592928 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 253800 253210 146 303 0 253495 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1015200 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31729 /proc/meminfo: memFree=738656/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=1040616 CPUtime=1661.83 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 266395 0 0 0 165809 374 0 0 25 0 1 0 26018399 1065590784 259494 1992294400 134512640 135752675 4290592928 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 260154 259494 146 303 0 259849 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1040616 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31731 /proc/meminfo: memFree=718692/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=1060652 CPUtime=1721.81 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 271418 0 0 0 171800 381 0 0 25 0 1 0 26018399 1086107648 264517 1992294400 134512640 135752675 4290592928 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 265163 264517 146 303 0 264858 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1060652 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31733 /proc/meminfo: memFree=695752/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=1083376 CPUtime=1781.79 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 277115 0 0 0 177789 390 0 0 25 0 1 0 26018399 1109377024 270214 1992294400 134512640 135752675 4290592928 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 270844 270214 146 303 0 270539 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1083376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31733 /proc/meminfo: memFree=687196/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=1091812 CPUtime=1800.1 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4202496 279227 0 0 0 179617 393 0 0 25 0 1 0 26018399 1118015488 272326 1992294400 134512640 135752675 4290592928 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31675/statm: 272953 272326 146 303 0 272648 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1091812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 0.91 2/107 31733 /proc/meminfo: memFree=687196/2059040 swapFree=4138696/4192956 [pid=31675] ppid=31673 vsize=0 CPUtime=1800.2 /proc/31675/stat : 31675 (wbo1.4b) R 31673 31675 31368 0 -1 4203524 279227 0 0 0 179617 403 0 0 25 0 1 0 26018399 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31675/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.21 CPU user time (s): 1796.17 CPU system time (s): 4.03839 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1091812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.17 system time used= 4.03839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279227 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= 10 involuntary context switches= 2030 runsolver used 3.15452 second user time and 8.34073 second system time The end
Begin job on node011 at 2010-07-08 10:34:09 IDJOB=2702581 IDBENCH=48225 IDSOLVER=1190 FILE ID=node011/2702581-1278578049 PBS_JOBID= 11240105 Free space on /tmp= 62488 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_3.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-2702581-1278578049/watcher-2702581-1278578049 -o /tmp/evaluation-result-2702581-1278578049/solver-2702581-1278578049 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702581-1278578049.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec RANDOM SEED=311491258 node011.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.212 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.42 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.212 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 : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1785256 kB Buffers: 28280 kB Cached: 156100 kB SwapCached: 8476 kB Active: 81116 kB Inactive: 118336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1785256 kB SwapTotal: 4192956 kB SwapFree: 4138696 kB Dirty: 4744 kB Writeback: 0 kB AnonPages: 12512 kB Mapped: 12068 kB Slab: 52420 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182204 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-2702581-1278578049.opb Free space on /tmp at the end= 62480 MiB End job on node011 at 2010-07-08 11:04:15