Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_2.opb |
MD5SUM | a5ab0443a6669cc558112b6f5f13d1cd |
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.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -72 |
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) | 150572 |
Sum of products size (including duplicates) | 301144 |
Number of different products | 75286 |
Sum of products size | 150572 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702591-1278578287.opb. 0.00/0.00 c Instance file HOME/instance-2702591-1278578287.opb 0.00/0.00 c File size is 6867548 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.44 s | 1.39/1.49 c | Number Variables: 77286 | 1.39/1.49 c | Number Clauses: 76286 | 1.39/1.49 c | Number Cardinality: 2002 | 1.39/1.49 c | Number PB Constraints: 75286 | 4.09/4.14 c ============================[ Search Statistics ]============================== 4.09/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.14 c =============================================================================== 4.09/4.14 c | 0 | 77286 153574 608288 | 51191 0 nan | 0.000 % | 4.19/4.30 c =============================================================================== 4.19/4.30 c New solution: 0 4.19/4.30 o 0 4.19/4.30 c Elapsed CPU time: 4.21036 s Remaining CPU time: 175.79 s 4.19/4.30 c =============================================================================== 4.19/4.30 c | 0 | 77286 153575 609288 | 51191 0 nan | 0.000 % | 4.49/4.53 c =============================================================================== 4.49/4.53 c New solution: -1 4.49/4.53 o -1 4.49/4.53 c Elapsed CPU time: 4.44232 s Remaining CPU time: 175.558 s 4.49/4.53 c =============================================================================== 4.49/4.53 c | 1 | 77286 153576 610288 | 51192 1 1001 | 0.000 % | 4.59/4.66 c =============================================================================== 4.59/4.67 c New solution: -2 4.59/4.67 o -2 4.59/4.67 c Elapsed CPU time: 4.5743 s Remaining CPU time: 175.426 s 4.59/4.67 c =============================================================================== 4.59/4.67 c | 1 | 77286 153577 611288 | 51192 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.70828 s Remaining CPU time: 175.292 s 4.79/4.80 c =============================================================================== 4.79/4.80 c | 4 | 77286 153578 612288 | 51192 4 1746 | 0.000 % | 4.89/4.94 c =============================================================================== 4.89/4.94 c New solution: -4 4.89/4.94 o -4 4.89/4.94 c Elapsed CPU time: 4.84226 s Remaining CPU time: 175.158 s 4.89/4.94 c =============================================================================== 4.89/4.94 c | 4 | 77286 153579 613288 | 51193 4 1746 | 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.97624 s Remaining CPU time: 175.024 s 4.99/5.07 c =============================================================================== 4.99/5.07 c | 4 | 77286 153580 614288 | 51193 4 1746 | 0.000 % | 5.19/5.21 c =============================================================================== 5.19/5.21 c New solution: -6 5.19/5.21 o -6 5.19/5.21 c Elapsed CPU time: 5.11022 s Remaining CPU time: 174.89 s 5.19/5.21 c =============================================================================== 5.19/5.21 c | 4 | 77286 153581 615288 | 51193 4 1746 | 0.000 % | 5.29/5.34 c =============================================================================== 5.29/5.34 c New solution: -7 5.29/5.34 o -7 5.29/5.34 c Elapsed CPU time: 5.2452 s Remaining CPU time: 174.755 s 5.29/5.34 c =============================================================================== 5.29/5.34 c | 4 | 77286 153582 616288 | 51194 4 1746 | 0.000 % | 5.40/5.48 c =============================================================================== 5.40/5.48 c New solution: -8 5.40/5.48 o -8 5.40/5.48 c Elapsed CPU time: 5.37818 s Remaining CPU time: 174.622 s 5.40/5.48 c =============================================================================== 5.40/5.48 c | 4 | 77286 153583 617288 | 51194 4 1746 | 0.000 % | 5.59/5.65 c | 104 | 77286 153583 617288 | 56313 104 1977 | 0.000 % | 5.69/5.79 c =============================================================================== 5.69/5.79 c New solution: -9 5.69/5.79 o -9 5.69/5.79 c Elapsed CPU time: 5.68314 s Remaining CPU time: 174.317 s 5.69/5.79 c =============================================================================== 5.69/5.79 c | 104 | 77286 153584 618288 | 51194 104 1977 | 0.000 % | 5.89/5.93 c =============================================================================== 5.89/5.93 c New solution: -10 5.89/5.93 o -10 5.89/5.93 c Elapsed CPU time: 5.82012 s Remaining CPU time: 174.18 s 5.89/5.93 c =============================================================================== 5.89/5.93 c | 111 | 77286 153585 619288 | 51195 111 1897 | 0.000 % | 6.09/6.10 c | 211 | 77286 153585 619288 | 56314 211 1938 | 0.000 % | 6.29/6.31 c | 361 | 77286 153585 619288 | 61945 361 1930 | 0.000 % | 6.39/6.45 c =============================================================================== 6.39/6.45 c New solution: -11 6.39/6.45 o -11 6.39/6.45 c Elapsed CPU time: 6.33404 s Remaining CPU time: 173.666 s 6.39/6.45 c =============================================================================== 6.39/6.45 c | 363 | 77286 153586 620288 | 51195 363 1930 | 0.000 % | 6.59/6.62 c | 463 | 77286 153586 620288 | 56314 463 1942 | 0.000 % | 6.78/6.83 c | 613 | 77286 153586 620288 | 61946 613 1952 | 0.000 % | 7.09/7.10 c | 838 | 77286 153586 620288 | 68140 838 1960 | 0.000 % | 7.19/7.29 c =============================================================================== 7.19/7.29 c New solution: -12 7.19/7.29 o -12 7.19/7.29 c Elapsed CPU time: 7.16691 s Remaining CPU time: 172.833 s 7.19/7.29 c =============================================================================== 7.19/7.29 c | 841 | 77286 153587 621288 | 51195 841 1953 | 0.000 % | 7.39/7.46 c =============================================================================== 7.39/7.46 c New solution: -13 7.39/7.46 o -13 7.39/7.46 c Elapsed CPU time: 7.32589 s Remaining CPU time: 172.674 s 7.39/7.46 c =============================================================================== 7.39/7.46 c | 878 | 77286 153588 622288 | 51196 878 1905 | 0.000 % | 7.59/7.64 c | 978 | 77286 153588 622288 | 56315 978 1912 | 0.000 % | 7.79/7.85 c | 1128 | 77286 153588 622288 | 61947 1128 1921 | 0.000 % | 8.09/8.14 c | 1353 | 77286 153588 622288 | 68141 1353 1931 | 0.000 % | 8.49/8.53 c | 1690 | 77286 153588 622288 | 74956 1690 1941 | 0.000 % | 8.69/8.70 c =============================================================================== 8.69/8.70 c New solution: -14 8.69/8.70 o -14 8.69/8.70 c Elapsed CPU time: 8.5567 s Remaining CPU time: 171.443 s 8.69/8.70 c =============================================================================== 8.69/8.70 c | 1691 | 77286 153589 623288 | 51196 1691 1940 | 0.000 % | 8.80/8.85 c =============================================================================== 8.80/8.85 c New solution: -15 8.80/8.85 o -15 8.80/8.85 c Elapsed CPU time: 8.70368 s Remaining CPU time: 171.296 s 8.80/8.85 c =============================================================================== 8.80/8.85 c | 1703 | 77286 153590 624288 | 51196 1703 1930 | 0.000 % | 8.99/9.04 c | 1803 | 77286 153590 624288 | 56316 1803 1923 | 0.000 % | 9.18/9.28 c | 1953 | 77286 153590 624288 | 61947 1953 1920 | 0.000 % | 9.49/9.57 c | 2178 | 77286 153590 624288 | 68142 2178 1920 | 0.000 % | 9.89/9.98 c | 2515 | 77286 153590 624288 | 74957 2515 1927 | 0.000 % | 10.49/10.55 c | 3021 | 77286 153590 624288 | 82452 3021 1936 | 0.000 % | 10.89/10.90 c =============================================================================== 10.89/10.90 c New solution: -16 10.89/10.90 o -16 10.89/10.90 c Elapsed CPU time: 10.7194 s Remaining CPU time: 169.281 s 10.89/10.90 c =============================================================================== 10.89/10.90 c | 3051 | 77286 153591 625288 | 51197 3051 1925 | 0.000 % | 11.09/11.12 c | 3151 | 77286 153591 625288 | 56316 3151 1926 | 0.000 % | 11.29/11.36 c | 3301 | 77286 153591 625288 | 61948 3301 1929 | 0.000 % | 11.69/11.70 c | 3527 | 77286 153591 625288 | 68143 3527 1930 | 0.000 % | 12.10/12.14 c | 3864 | 77286 153591 625288 | 74957 3864 1932 | 0.000 % | 12.69/12.72 c | 4370 | 77286 153591 625288 | 82453 4370 1935 | 0.000 % | 13.29/13.38 c =============================================================================== 13.29/13.38 c New solution: -17 13.29/13.38 o -17 13.29/13.38 c Elapsed CPU time: 13.161 s Remaining CPU time: 166.839 s 13.29/13.38 c =============================================================================== 13.29/13.38 c | 4413 | 77286 153592 626288 | 51197 4413 1924 | 0.000 % | 13.59/13.61 c | 4513 | 77286 153592 626288 | 56317 4513 1925 | 0.000 % | 13.78/13.84 c | 4664 | 77286 153592 626288 | 61948 4664 1926 | 0.000 % | 14.09/14.12 c | 4889 | 77286 153592 626288 | 68143 4889 1928 | 0.000 % | 14.49/14.51 c | 5226 | 77286 153592 626288 | 74958 5226 1931 | 0.000 % | 14.98/15.09 c | 5732 | 77286 153592 626288 | 82453 5732 1935 | 0.000 % | 15.78/15.89 c | 6491 | 77286 153592 626288 | 90699 6491 1938 | 0.000 % | 17.28/17.30 c | 7630 | 77286 153592 626288 | 99769 7630 1943 | 0.000 % | 19.29/19.34 c | 9338 | 77286 153592 626288 | 109746 9338 1948 | 0.000 % | 19.69/19.70 c =============================================================================== 19.69/19.70 c New solution: -18 19.69/19.70 o -18 19.69/19.70 c Elapsed CPU time: 19.3851 s Remaining CPU time: 160.615 s 19.69/19.70 c =============================================================================== 19.69/19.70 c | 9368 | 77286 153593 627288 | 51197 9368 1945 | 0.000 % | 19.88/19.97 c | 9468 | 77286 153593 627288 | 56317 9468 1945 | 0.000 % | 20.19/20.24 c | 9618 | 77286 153593 627288 | 61949 9618 1946 | 0.000 % | 20.48/20.59 c | 9843 | 77286 153593 627288 | 68144 9843 1946 | 0.000 % | 21.19/21.25 c | 10180 | 77286 153593 627288 | 74958 10180 1947 | 0.000 % | 21.58/21.62 c =============================================================================== 21.58/21.62 c New solution: -19 21.58/21.62 o -19 21.58/21.62 c Elapsed CPU time: 21.2678 s Remaining CPU time: 158.732 s 21.58/21.62 c =============================================================================== 21.58/21.62 c | 10216 | 77286 153594 628288 | 51198 10216 1943 | 0.000 % | 21.78/21.86 c | 10316 | 77286 153594 628288 | 56317 10316 1943 | 0.000 % | 22.09/22.12 c | 10466 | 77286 153594 628288 | 61949 10466 1944 | 0.000 % | 22.39/22.44 c | 10691 | 77286 153594 628288 | 68144 10691 1944 | 0.000 % | 22.98/23.03 c | 11028 | 77286 153594 628288 | 74958 11028 1942 | 0.000 % | 23.59/23.61 c | 11534 | 77286 153594 628288 | 82454 11534 1944 | 0.000 % | 24.48/24.50 c | 12293 | 77286 153594 628288 | 90700 12293 1945 | 0.000 % | 25.79/25.88 c | 13432 | 77286 153594 628288 | 99770 13432 1947 | 0.000 % | 26.48/26.54 c =============================================================================== 26.48/26.54 c New solution: -20 26.48/26.54 o -20 26.48/26.54 c Elapsed CPU time: 26.12 s Remaining CPU time: 153.88 s 26.48/26.54 c =============================================================================== 26.48/26.54 c | 13597 | 77286 153595 629288 | 51198 13597 1941 | 0.000 % | 26.68/26.76 c | 13697 | 77286 153595 629288 | 56318 13697 1941 | 0.000 % | 27.09/27.10 c | 13847 | 77286 153595 629288 | 61949 13847 1941 | 0.000 % | 27.38/27.46 c | 14072 | 77286 153595 629288 | 68144 14072 1941 | 0.000 % | 27.89/27.90 c | 14410 | 77286 153595 629288 | 74959 14410 1941 | 0.000 % | 28.38/28.49 c | 14916 | 77286 153595 629288 | 82455 14916 1942 | 0.000 % | 29.48/29.51 c | 15675 | 77286 153595 629288 | 90700 15675 1943 | 0.000 % | 30.79/30.88 c | 16816 | 77286 153595 629288 | 99771 16816 1945 | 0.000 % | 33.18/33.25 c | 18524 | 77286 153595 629288 | 109748 18524 1947 | 0.000 % | 34.48/34.52 c =============================================================================== 34.48/34.52 c New solution: -21 34.48/34.52 o -21 34.48/34.52 c Elapsed CPU time: 34.0018 s Remaining CPU time: 145.998 s 34.48/34.52 c =============================================================================== 34.48/34.52 c | 18619 | 77286 153596 630288 | 51198 18619 1941 | 0.000 % | 34.88/34.90 c | 18719 | 77286 153596 630288 | 56318 18719 1941 | 0.000 % | 35.19/35.27 c | 18869 | 77286 153596 630288 | 61950 18869 1941 | 0.000 % | 35.68/35.70 c | 19094 | 77286 153596 630288 | 68145 19094 1941 | 0.000 % | 36.08/36.15 c | 19431 | 77286 153596 630288 | 74959 19431 1942 | 0.000 % | 36.98/37.00 c | 19938 | 77286 153596 630288 | 82455 19938 1942 | 0.000 % | 37.98/38.00 c | 20697 | 77286 153596 630288 | 90701 20697 1943 | 0.000 % | 38.79/38.83 c =============================================================================== 38.79/38.83 c New solution: -22 38.79/38.83 o -22 38.79/38.83 c Elapsed CPU time: 38.2592 s Remaining CPU time: 141.741 s 38.79/38.83 c =============================================================================== 38.79/38.83 c | 20736 | 77286 153597 631288 | 51199 20736 1940 | 0.000 % | 39.08/39.10 c | 20836 | 77286 153597 631288 | 56318 20836 1940 | 0.000 % | 39.38/39.43 c | 20986 | 77286 153597 631288 | 61950 20986 1940 | 0.000 % | 39.69/39.75 c | 21211 | 77286 153597 631288 | 68145 21211 1940 | 0.000 % | 40.18/40.25 c | 21548 | 77286 153597 631288 | 74960 21548 1940 | 0.000 % | 40.88/40.97 c | 22054 | 77286 153597 631288 | 82456 22054 1941 | 0.000 % | 41.88/41.95 c | 22814 | 77286 153597 631288 | 90702 22814 1942 | 0.000 % | 43.48/43.57 c | 23953 | 77286 153597 631288 | 99772 23953 1942 | 0.000 % | 45.98/46.06 c | 25661 | 77286 153597 631288 | 109749 25661 1941 | 0.000 % | 49.98/50.08 c | 28223 | 77286 153597 631288 | 120724 28223 1943 | 0.000 % | 56.18/56.22 c | 32067 | 77286 153597 631288 | 132797 32067 1945 | 0.000 % | 66.37/66.48 c | 37834 | 77286 153597 631288 | 146076 37834 1949 | 0.000 % | 72.67/72.79 c =============================================================================== 72.67/72.79 c New solution: -23 72.67/72.79 o -23 72.67/72.79 c Elapsed CPU time: 71.9351 s Remaining CPU time: 108.065 s 72.67/72.79 c =============================================================================== 72.67/72.79 c | 40885 | 77286 153598 632288 | 51199 40885 1934 | 0.000 % | 73.07/73.10 c | 40985 | 77286 153598 632288 | 56319 40985 1934 | 0.000 % | 73.27/73.39 c | 41135 | 77286 153598 632288 | 61951 41135 1934 | 0.000 % | 73.78/73.84 c | 41360 | 77286 153598 632288 | 68146 41360 1934 | 0.000 % | 74.47/74.51 c | 41697 | 77286 153598 632288 | 74960 41697 1935 | 0.000 % | 75.78/75.86 c =============================================================================== 75.78/75.86 c New solution: -24 75.78/75.86 o -24 75.78/75.86 c Elapsed CPU time: 74.9676 s Remaining CPU time: 105.032 s 75.78/75.86 c =============================================================================== 75.78/75.86 c | 41972 | 77286 153599 633288 | 51199 41972 1927 | 0.000 % | 76.27/76.35 c | 42072 | 77286 153599 633288 | 56319 42072 1928 | 0.000 % | 76.67/76.77 c | 42222 | 77286 153599 633288 | 61951 42222 1928 | 0.000 % | 77.07/77.15 c | 42447 | 77286 153599 633288 | 68146 42447 1928 | 0.000 % | 77.68/77.75 c | 42784 | 77286 153599 633288 | 74961 42784 1928 | 0.000 % | 78.47/78.59 c | 43290 | 77286 153599 633288 | 82457 43290 1928 | 0.000 % | 79.97/80.04 c | 44050 | 77286 153599 633288 | 90703 44050 1927 | 0.000 % | 82.48/82.53 c | 45189 | 77286 153599 633288 | 99773 45189 1925 | 0.000 % | 86.27/86.35 c | 46897 | 77286 153599 633288 | 109751 46897 1924 | 0.000 % | 91.07/91.10 c | 49459 | 77286 153599 633288 | 120726 49459 1921 | 0.000 % | 98.16/98.22 c | 53303 | 77286 153599 633288 | 132798 53303 1924 | 0.000 % | 99.76/99.89 c =============================================================================== 99.76/99.89 c New solution: -25 99.76/99.89 o -25 99.76/99.89 c Elapsed CPU time: 98.769 s Remaining CPU time: 81.231 s 99.76/99.89 c =============================================================================== 99.76/99.89 c | 53388 | 77286 153600 634288 | 51200 53388 1922 | 0.000 % | 100.17/100.28 c | 53488 | 77286 153600 634288 | 56320 11666 1883 | 0.000 % | 100.46/100.53 c | 53638 | 77286 153600 634288 | 61952 11816 1884 | 0.000 % | 100.77/100.83 c | 53863 | 77286 153600 634288 | 68147 12041 1885 | 0.000 % | 101.26/101.33 c | 54200 | 77286 153600 634288 | 74961 12378 1887 | 0.000 % | 101.97/102.02 c | 54706 | 77286 153600 634288 | 82458 12884 1890 | 0.000 % | 102.97/103.01 c | 55465 | 77286 153600 634288 | 90703 13643 1894 | 0.000 % | 104.48/104.59 c =============================================================================== 104.48/104.59 c New solution: -26 104.48/104.59 o -26 104.48/104.59 c Elapsed CPU time: 103.402 s Remaining CPU time: 76.5977 s 104.48/104.59 c =============================================================================== 104.48/104.59 c | 55928 | 77286 153601 635288 | 51200 14106 1861 | 0.000 % | 104.87/104.90 c | 56029 | 77286 153601 635288 | 56320 14207 1862 | 0.000 % | 105.06/105.14 c | 56179 | 77286 153601 635288 | 61952 14357 1863 | 0.000 % | 105.37/105.47 c | 56404 | 77286 153601 635288 | 68147 14582 1864 | 0.000 % | 105.86/105.98 c | 56741 | 77286 153601 635288 | 74962 14919 1864 | 0.000 % | 106.46/106.57 c | 57248 | 77286 153601 635288 | 82458 15426 1867 | 0.000 % | 107.57/107.66 c | 58007 | 77286 153601 635288 | 90704 16185 1870 | 0.000 % | 108.87/108.91 c | 59146 | 77286 153601 635288 | 99774 17324 1876 | 0.000 % | 110.87/110.99 c | 60854 | 77286 153601 635288 | 109752 19032 1881 | 0.000 % | 113.87/113.92 c | 63416 | 77286 153601 635288 | 120727 21594 1891 | 0.000 % | 119.06/119.15 c | 67260 | 77286 153601 635288 | 132800 25438 1900 | 0.000 % | 121.16/121.23 c =============================================================================== 121.16/121.23 c New solution: -27 121.16/121.23 o -27 121.16/121.23 c Elapsed CPU time: 119.86 s Remaining CPU time: 60.1402 s 121.16/121.23 c =============================================================================== 121.16/121.23 c | 67578 | 77286 153602 636288 | 51200 25756 1886 | 0.000 % | 121.66/121.72 c | 67683 | 77286 153602 636288 | 56320 25861 1887 | 0.000 % | 121.86/121.98 c | 67833 | 77286 153602 636288 | 61952 26011 1887 | 0.000 % | 122.36/122.40 c | 68058 | 77286 153602 636288 | 68148 26236 1887 | 0.000 % | 122.86/122.92 c | 68395 | 77286 153602 636288 | 74962 26573 1888 | 0.000 % | 123.56/123.65 c | 68901 | 77286 153602 636288 | 82459 27079 1890 | 0.000 % | 124.56/124.67 c | 69660 | 77286 153602 636288 | 90705 27838 1891 | 0.000 % | 126.06/126.12 c | 70799 | 77286 153602 636288 | 99775 28977 1894 | 0.000 % | 129.15/129.20 c =============================================================================== 129.15/129.20 c New solution: -28 129.15/129.20 o -28 129.15/129.20 c Elapsed CPU time: 127.686 s Remaining CPU time: 52.3144 s 129.15/129.20 c =============================================================================== 129.15/129.20 c | 71057 | 77286 153603 637288 | 51201 29235 1884 | 0.000 % | 129.36/129.49 c | 71157 | 77286 153603 637288 | 56321 29335 1884 | 0.000 % | 129.76/129.82 c | 71307 | 77286 153603 637288 | 61953 29485 1884 | 0.000 % | 130.05/130.17 c | 71532 | 77286 153603 637288 | 68148 29710 1885 | 0.000 % | 130.87/130.98 c | 71869 | 77286 153603 637288 | 74963 30047 1885 | 0.000 % | 131.56/131.66 c | 72375 | 77286 153603 637288 | 82459 30553 1887 | 0.000 % | 132.56/132.60 c | 73134 | 77286 153603 637288 | 90705 31312 1888 | 0.000 % | 134.06/134.11 c | 74273 | 77286 153603 637288 | 99776 32451 1891 | 0.000 % | 136.05/136.19 c =============================================================================== 136.05/136.19 c New solution: -29 136.05/136.19 o -29 136.05/136.19 c Elapsed CPU time: 134.581 s Remaining CPU time: 45.4195 s 136.05/136.19 c =============================================================================== 136.05/136.19 c | 74411 | 77286 153604 638288 | 51201 32589 1885 | 0.000 % | 136.56/136.60 c | 74512 | 77286 153604 638288 | 56321 32690 1885 | 0.000 % | 136.76/136.89 c | 74662 | 77286 153604 638288 | 61953 32840 1886 | 0.000 % | 137.16/137.24 c | 74887 | 77286 153604 638288 | 68148 33065 1886 | 0.000 % | 137.76/137.81 c | 75224 | 77286 153604 638288 | 74963 33402 1887 | 0.000 % | 138.75/138.82 c | 75731 | 77286 153604 638288 | 82460 33909 1888 | 0.000 % | 142.06/142.13 c =============================================================================== 142.06/142.13 c New solution: -30 142.06/142.13 o -30 142.06/142.13 c Elapsed CPU time: 140.449 s Remaining CPU time: 39.5514 s 142.06/142.13 c =============================================================================== 142.06/142.13 c | 76377 | 77286 153605 639288 | 51201 34555 1868 | 0.000 % | 142.36/142.48 c | 76478 | 77286 153605 639288 | 56321 34656 1868 | 0.000 % | 142.66/142.78 c | 76628 | 77286 153605 639288 | 61954 34806 1868 | 0.000 % | 143.15/143.27 c | 76853 | 77286 153605 639288 | 68149 35031 1867 | 0.000 % | 143.86/143.94 c | 77190 | 77286 153605 639288 | 74964 35368 1868 | 0.000 % | 144.56/144.69 c | 77696 | 77286 153605 639288 | 82460 35874 1869 | 0.000 % | 148.76/148.84 c | 78455 | 77286 153605 639288 | 90706 36633 1846 | 0.000 % | 152.05/152.12 c | 79595 | 77286 153605 639288 | 99777 37773 1849 | 0.000 % | 154.25/154.39 c | 81303 | 77286 153605 639288 | 109755 39481 1854 | 0.000 % | 158.05/158.10 c | 83865 | 77286 153605 639288 | 120730 42043 1859 | 0.000 % | 164.55/164.66 c | 87709 | 77286 153605 639288 | 132803 45887 1866 | 0.000 % | 174.86/174.96 c | 93475 | 77286 153605 639288 | 146084 51653 1875 | 0.000 % | 182.05/182.10 c There are 0 assigned variables. 0 in cost function. 182.95/183.06 c core #1 182.95/183.06 c 182.95/183.06 c 182.95/183.06 c Core size: 2001 Core Weight: 1 Total Weight: -999 182.95/183.06 c 182.95/183.06 c 182.95/183.06 c ============================[ Search Statistics ]============================== 182.95/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.06 c =============================================================================== 182.95/183.06 c | 0 | 78286 155235 644175 | 51745 0 nan | 0.000 % | 184.85/184.94 c | 100 | 78286 155235 644175 | 56919 100 363 | 0.132 % | 186.75/186.83 c | 270 | 78286 155235 644175 | 62611 270 559 | 0.220 % | 190.95/191.06 c | 495 | 78285 155235 644175 | 68872 495 441 | 0.220 % | 194.94/195.02 c | 832 | 78114 155235 644175 | 75759 830 467 | 0.220 % | 200.54/200.68 c | 1338 | 78112 155235 644175 | 83335 1336 480 | 0.312 % | 209.04/209.18 c | 2097 | 78042 155235 644175 | 91669 2093 500 | 0.312 % | 212.94/213.06 c =============================================================================== 213.54/213.69 c core #2 213.54/213.69 c 213.54/213.69 c 213.54/213.69 c Core size: 856 Core Weight: 1 Total Weight: -998 213.54/213.69 c 213.54/213.69 c 213.54/213.69 c ============================[ Search Statistics ]============================== 213.54/213.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.54/213.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.54/213.69 c =============================================================================== 213.54/213.69 c | 0 | 79104 155351 646156 | 51783 0 nan | 0.000 % | 215.74/215.83 c | 100 | 79104 155351 646156 | 56962 100 748 | 0.000 % | 218.24/218.35 c | 250 | 79104 155351 646156 | 62658 250 789 | 0.000 % | 221.23/221.33 c | 475 | 79104 155351 646156 | 68924 475 840 | 0.000 % | 225.45/225.56 c | 835 | 79104 155351 646156 | 75816 835 767 | 0.000 % | 231.73/231.89 c | 1341 | 79104 155351 646156 | 83398 1341 755 | 0.000 % | 242.43/242.53 c | 2162 | 79104 155351 646156 | 91737 2162 752 | 0.000 % | 259.33/259.47 c | 3301 | 79104 155351 646156 | 100911 3301 805 | 0.000 % | 282.02/282.13 c | 5009 | 79104 155351 646156 | 111002 5009 806 | 0.000 % | 316.12/316.20 c | 7573 | 79041 155351 646156 | 122103 7077 807 | 0.167 % | 365.71/365.89 c | 11417 | 78780 155351 646156 | 134313 10659 834 | 0.410 % | 443.28/443.42 c | 17183 | 78494 155351 646156 | 147744 16168 842 | 0.771 % | 576.75/576.96 c | 25878 | 77445 155351 646156 | 162519 24506 864 | 2.097 % | 744.11/744.39 c | 38898 | 76562 155351 646156 | 178771 34411 876 | 4.265 % | 1001.86/1002.16 c | 58366 | 76517 155351 646156 | 196648 53879 906 | 6.590 % | 1359.06/1359.40 c | 87619 | 73856 155351 646156 | 216313 81262 916 | 8.547 % |
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-2702591-1278578287/watcher-2702591-1278578287 -o /tmp/evaluation-result-2702591-1278578287/solver-2702591-1278578287 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702591-1278578287.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.02 0.96 3/106 1031 /proc/meminfo: memFree=1780284/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=9420 CPUtime=0 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 315 0 0 0 0 0 0 0 18 0 1 0 26036602 9646080 233 1992294400 134512640 135752675 4290504960 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 2355 234 133 303 0 373 0 [startup+0.050088 s] /proc/loadavg: 1.00 1.02 0.96 3/106 1031 /proc/meminfo: memFree=1780284/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=13876 CPUtime=0.03 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 1275 0 0 0 3 0 0 0 21 0 1 0 26036602 14209024 1193 1992294400 134512640 135752675 4290504960 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 3469 1193 184 303 0 1487 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13876 [startup+0.101092 s] /proc/loadavg: 1.00 1.02 0.96 3/106 1031 /proc/meminfo: memFree=1780284/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=16596 CPUtime=0.09 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 2093 0 0 0 8 1 0 0 21 0 1 0 26036602 16994304 1978 1992294400 134512640 135752675 4290504960 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 4149 1978 237 303 0 2167 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16596 [startup+0.301109 s] /proc/loadavg: 1.00 1.02 0.96 3/106 1031 /proc/meminfo: memFree=1780284/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=25432 CPUtime=0.29 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 4132 0 0 0 27 2 0 0 21 0 1 0 26036602 26042368 3863 1992294400 134512640 135752675 4290504960 18446744073709551615 135225904 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 6358 3863 413 303 0 4376 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25432 [startup+0.701144 s] /proc/loadavg: 1.00 1.02 0.96 3/106 1031 /proc/meminfo: memFree=1780284/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=31140 CPUtime=0.69 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 6111 0 0 0 66 3 0 0 22 0 1 0 26036602 31887360 5842 1992294400 134512640 135752675 4290504960 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 7785 5842 886 303 0 5803 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31140 [startup+1.50121 s] /proc/loadavg: 1.00 1.02 0.96 2/107 1032 /proc/meminfo: memFree=1756344/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=43132 CPUtime=1.49 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 10847 0 0 0 144 5 0 0 25 0 1 0 26036602 44167168 8676 1992294400 134512640 135752675 4290504960 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 10783 8678 142 303 0 10478 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43132 [startup+3.10135 s] /proc/loadavg: 1.00 1.02 0.96 2/107 1032 /proc/meminfo: memFree=1731420/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=56748 CPUtime=3.09 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 15068 0 0 0 301 8 0 0 25 0 1 0 26036602 58109952 12897 1992294400 134512640 135752675 4290504960 18446744073709551615 135211759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 14187 12897 142 303 0 13882 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56748 [startup+6.30164 s] /proc/loadavg: 1.00 1.02 0.96 2/107 1032 /proc/meminfo: memFree=1732660/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=52028 CPUtime=6.29 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 15393 0 0 0 618 11 0 0 25 0 1 0 26036602 53276672 11861 1992294400 134512640 135752675 4290504960 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 13007 11861 145 303 0 12702 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52028 [startup+12.7012 s] /proc/loadavg: 1.00 1.02 0.96 2/107 1032 /proc/meminfo: memFree=1716912/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=73204 CPUtime=12.69 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 20688 0 0 0 1248 21 0 0 25 0 1 0 26036602 74960896 17156 1992294400 134512640 135752675 4290504960 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 18301 17156 145 303 0 17996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73204 [startup+25.5003 s] /proc/loadavg: 1.00 1.02 0.96 2/107 1034 /proc/meminfo: memFree=1646604/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=140680 CPUtime=25.48 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 37554 0 0 0 2509 39 0 0 25 0 1 0 26036602 144056320 34022 1992294400 134512640 135752675 4290504960 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 35170 34022 145 303 0 34865 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140680 [startup+51.1006 s] /proc/loadavg: 1.00 1.02 0.96 2/107 1034 /proc/meminfo: memFree=1525704/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=262196 CPUtime=51.08 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 67918 0 0 0 5042 66 0 0 25 0 1 0 26036602 268488704 64386 1992294400 134512640 135752675 4290504960 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 65549 64386 145 303 0 65244 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 262196 [startup+102.308 s] /proc/loadavg: 1.00 1.01 0.96 2/107 1036 /proc/meminfo: memFree=1323832/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=461480 CPUtime=102.27 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 117738 0 0 0 10114 113 0 0 25 0 1 0 26036602 472555520 114206 1992294400 134512640 135752675 4290504960 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 115370 114206 145 303 0 115065 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 461480 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 1036 /proc/meminfo: memFree=1092572/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=694708 CPUtime=162.25 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 176049 0 0 0 16039 186 0 0 25 0 1 0 26036602 711380992 172517 1992294400 134512640 135752675 4290504960 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 173677 172517 145 303 0 173372 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 694708 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 1038 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=222.24 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203203 0 0 0 22018 206 0 0 25 0 1 0 26036602 806768640 196344 1992294400 134512640 135752675 4290504960 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196344 146 303 0 196660 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 787860 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 1040 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=282.23 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203216 0 0 0 28013 210 0 0 25 0 1 0 26036602 806768640 196357 1992294400 134512640 135752675 4290504960 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196357 146 303 0 196660 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 787860 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 1042 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=342.21 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203217 0 0 0 34008 213 0 0 25 0 1 0 26036602 806768640 196358 1992294400 134512640 135752675 4290504960 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196358 146 303 0 196660 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 787860 [startup+402.3 s] /proc/loadavg: 1.04 1.01 0.97 2/107 1044 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=402.19 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203217 0 0 0 40003 216 0 0 25 0 1 0 26036602 806768640 196358 1992294400 134512640 135752675 4290504960 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196358 146 303 0 196660 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 787860 [startup+462.301 s] /proc/loadavg: 1.05 1.02 0.97 2/107 1044 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=462.17 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203217 0 0 0 45997 220 0 0 25 0 1 0 26036602 806768640 196358 1992294400 134512640 135752675 4290504960 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196358 146 303 0 196660 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 787860 [startup+522.301 s] /proc/loadavg: 1.05 1.03 0.98 2/107 1046 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=522.16 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203217 0 0 0 51993 223 0 0 25 0 1 0 26036602 806768640 196358 1992294400 134512640 135752675 4290504960 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196358 146 303 0 196660 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 787860 [startup+582.301 s] /proc/loadavg: 1.12 1.05 0.99 2/107 1048 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=582.15 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203217 0 0 0 57989 226 0 0 25 0 1 0 26036602 806768640 196358 1992294400 134512640 135752675 4290504960 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196358 146 303 0 196660 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 787860 [startup+642.3 s] /proc/loadavg: 1.04 1.04 0.99 2/107 1050 /proc/meminfo: memFree=993000/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=642.14 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203217 0 0 0 63983 231 0 0 25 0 1 0 26036602 806768640 196358 1992294400 134512640 135752675 4290504960 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196358 146 303 0 196660 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 787860 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.01 0.99 2/107 1056 /proc/meminfo: memFree=992752/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=882.08 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203219 0 0 0 87963 245 0 0 25 0 1 0 26036602 806768640 196360 1992294400 134512640 135752675 4290504960 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196360 146 303 0 196660 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 787860 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1058 /proc/meminfo: memFree=992752/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=942.06 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203219 0 0 0 93959 247 0 0 25 0 1 0 26036602 806768640 196360 1992294400 134512640 135752675 4290504960 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196360 146 303 0 196660 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 787860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1060 /proc/meminfo: memFree=992752/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=1002.05 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203219 0 0 0 99955 250 0 0 25 0 1 0 26036602 806768640 196360 1992294400 134512640 135752675 4290504960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196360 146 303 0 196660 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 787860 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1060 /proc/meminfo: memFree=992752/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=787860 CPUtime=1062.03 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 203219 0 0 0 105951 252 0 0 25 0 1 0 26036602 806768640 196360 1992294400 134512640 135752675 4290504960 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 196965 196360 146 303 0 196660 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 787860 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1062 /proc/meminfo: memFree=985560/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=795256 CPUtime=1122.02 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 205070 0 0 0 111945 257 0 0 25 0 1 0 26036602 814342144 198211 1992294400 134512640 135752675 4290504960 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 198814 198211 146 303 0 198509 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 795256 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1064 /proc/meminfo: memFree=958404/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=822888 CPUtime=1182 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 211964 0 0 0 117936 264 0 0 25 0 1 0 26036602 842637312 205105 1992294400 134512640 135752675 4290504960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 205722 205105 146 303 0 205417 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 822888 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 1066 /proc/meminfo: memFree=927776/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=852996 CPUtime=1241.98 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 219488 0 0 0 123927 271 0 0 25 0 1 0 26036602 873467904 212629 1992294400 134512640 135752675 4290504960 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 213249 212629 146 303 0 212944 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 852996 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 1068 /proc/meminfo: memFree=896900/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=883324 CPUtime=1301.98 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 227082 0 0 0 129917 281 0 0 25 0 1 0 26036602 904523776 220223 1992294400 134512640 135752675 4290504960 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 220831 220223 146 303 0 220526 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 883324 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1068 /proc/meminfo: memFree=866148/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=914208 CPUtime=1361.95 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 234796 0 0 0 135906 289 0 0 25 0 1 0 26036602 936148992 227937 1992294400 134512640 135752675 4290504960 18446744073709551615 134616150 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 228552 227937 146 303 0 228247 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 914208 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1079 /proc/meminfo: memFree=839364/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=940200 CPUtime=1421.94 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 241292 0 0 0 141898 296 0 0 25 0 1 0 26036602 962764800 234433 1992294400 134512640 135752675 4290504960 18446744073709551615 134616084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 235050 234433 146 303 0 234745 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 940200 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1081 /proc/meminfo: memFree=813448/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=966648 CPUtime=1481.92 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 247905 0 0 0 147889 303 0 0 25 0 1 0 26036602 989847552 241046 1992294400 134512640 135752675 4290504960 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 241662 241046 146 303 0 241357 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 966648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1083 /proc/meminfo: memFree=787408/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=992624 CPUtime=1541.9 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 254339 0 0 0 153881 309 0 0 25 0 1 0 26036602 1016446976 247480 1992294400 134512640 135752675 4290504960 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 248156 247480 146 303 0 247851 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 992624 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1085 /proc/meminfo: memFree=761864/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=1018408 CPUtime=1601.89 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 260793 0 0 0 159872 317 0 0 25 0 1 0 26036602 1042849792 253934 1992294400 134512640 135752675 4290504960 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 254602 253934 146 303 0 254297 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1018408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1085 /proc/meminfo: memFree=737436/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=1042280 CPUtime=1661.88 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 266770 0 0 0 165864 324 0 0 25 0 1 0 26036602 1067294720 259911 1992294400 134512640 135752675 4290504960 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 260570 259911 146 303 0 260265 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1042280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1087 /proc/meminfo: memFree=709784/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=1070400 CPUtime=1721.87 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 273791 0 0 0 171854 333 0 0 25 0 1 0 26036602 1096089600 266932 1992294400 134512640 135752675 4290504960 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 267600 266932 146 303 0 267295 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1070400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1089 /proc/meminfo: memFree=689200/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=1090244 CPUtime=1781.84 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 278768 0 0 0 177846 338 0 0 25 0 1 0 26036602 1116409856 271909 1992294400 134512640 135752675 4290504960 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 272561 271909 146 303 0 272256 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1090244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1089 /proc/meminfo: memFree=682256/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=1097232 CPUtime=1800.05 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4202496 280512 0 0 0 179664 341 0 0 25 0 1 0 26036602 1123565568 273653 1992294400 134512640 135752675 4290504960 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1031/statm: 274308 273653 146 303 0 274003 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1097232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1090 /proc/meminfo: memFree=1739596/2059040 swapFree=4139712/4192956 [pid=1031] ppid=1029 vsize=0 CPUtime=1800.15 /proc/1031/stat : 1031 (wbo1.4b) R 1029 1031 754 0 -1 4203524 280512 0 0 0 179664 351 0 0 25 0 1 0 26036602 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/1031/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.16 CPU user time (s): 1796.64 CPU system time (s): 3.51946 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1097232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.64 system time used= 3.51946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280512 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= 5 involuntary context switches= 3809 runsolver used 3.04954 second user time and 8.44072 second system time The end
Begin job on node041 at 2010-07-08 10:38:07 IDJOB=2702591 IDBENCH=48230 IDSOLVER=1190 FILE ID=node041/2702591-1278578287 PBS_JOBID= 11240084 Free space on /tmp= 62188 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.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-2702591-1278578287/watcher-2702591-1278578287 -o /tmp/evaluation-result-2702591-1278578287/solver-2702591-1278578287 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702591-1278578287.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a5ab0443a6669cc558112b6f5f13d1cd RANDOM SEED=1159803550 node041.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.244 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.48 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.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1786020 kB Buffers: 37836 kB Cached: 137116 kB SwapCached: 7448 kB Active: 93108 kB Inactive: 96104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1786020 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 4756 kB Writeback: 0 kB AnonPages: 11716 kB Mapped: 12100 kB Slab: 61824 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180512 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-2702591-1278578287.opb Free space on /tmp at the end= 62180 MiB End job on node041 at 2010-07-08 11:08:13