Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.14 | 1800.71 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_1.opb |
MD5SUM | 6856221d5d444d2079d321f11fb11f0b |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -61 |
Best CPU time to get the best result obtained on this benchmark | 1798.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -74 |
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) | 151172 |
Sum of products size (including duplicates) | 302344 |
Number of different products | 75586 |
Sum of products size | 151172 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702683-1278574699.opb. 0.00/0.00 c Instance file HOME/instance-2702683-1278574699.opb 0.00/0.00 c File size is 6894954 bytes. 1.39/1.48 c Highest Coefficient sum: 2000 1.39/1.48 c ============================[ Problem Statistics ]============================= 1.39/1.48 c | | 1.39/1.48 c | Parsing time: 1.44 s | 1.39/1.48 c | Number Variables: 77586 | 1.39/1.48 c | Number Clauses: 76586 | 1.39/1.48 c | Number Cardinality: 2002 | 1.39/1.48 c | Number PB Constraints: 75586 | 4.09/4.17 c ============================[ Search Statistics ]============================== 4.09/4.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.17 c =============================================================================== 4.09/4.18 c | 0 | 77586 154174 610688 | 51391 0 nan | 0.000 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c New solution: 0 4.29/4.33 o 0 4.29/4.33 c Elapsed CPU time: 4.25535 s Remaining CPU time: 175.745 s 4.29/4.33 c =============================================================================== 4.29/4.33 c | 0 | 77586 154175 611688 | 51391 0 nan | 0.000 % | 4.49/4.57 c =============================================================================== 4.49/4.57 c New solution: -1 4.49/4.57 o -1 4.49/4.57 c Elapsed CPU time: 4.49032 s Remaining CPU time: 175.51 s 4.49/4.57 c =============================================================================== 4.49/4.57 c | 1 | 77586 154176 612688 | 51392 1 1001 | 0.000 % | 4.69/4.71 c =============================================================================== 4.69/4.71 c New solution: -2 4.69/4.71 o -2 4.69/4.71 c Elapsed CPU time: 4.6243 s Remaining CPU time: 175.376 s 4.69/4.71 c =============================================================================== 4.69/4.71 c | 1 | 77586 154177 613688 | 51392 1 1001 | 0.000 % | 4.79/4.84 c =============================================================================== 4.79/4.84 c New solution: -3 4.79/4.84 o -3 4.79/4.84 c Elapsed CPU time: 4.75928 s Remaining CPU time: 175.241 s 4.79/4.84 c =============================================================================== 4.79/4.84 c | 1 | 77586 154178 614688 | 51392 1 1001 | 0.000 % | 4.89/4.98 c =============================================================================== 4.89/4.98 c New solution: -4 4.89/4.98 o -4 4.89/4.98 c Elapsed CPU time: 4.89026 s Remaining CPU time: 175.11 s 4.89/4.98 c =============================================================================== 4.89/4.98 c | 1 | 77586 154179 615688 | 51393 1 1001 | 0.000 % | 5.09/5.11 c =============================================================================== 5.09/5.11 c New solution: -5 5.09/5.11 o -5 5.09/5.11 c Elapsed CPU time: 5.02024 s Remaining CPU time: 174.98 s 5.09/5.11 c =============================================================================== 5.09/5.11 c | 1 | 77586 154180 616688 | 51393 1 1001 | 0.000 % | 5.19/5.25 c =============================================================================== 5.19/5.25 c New solution: -6 5.19/5.25 o -6 5.19/5.25 c Elapsed CPU time: 5.15622 s Remaining CPU time: 174.844 s 5.19/5.25 c =============================================================================== 5.19/5.25 c | 5 | 77586 154181 617688 | 51393 5 996 | 0.000 % | 5.29/5.39 c =============================================================================== 5.29/5.39 c New solution: -7 5.29/5.39 o -7 5.29/5.39 c Elapsed CPU time: 5.2892 s Remaining CPU time: 174.711 s 5.29/5.39 c =============================================================================== 5.29/5.39 c | 10 | 77586 154182 618688 | 51394 10 699 | 0.000 % | 5.50/5.59 c | 115 | 77586 154182 618688 | 56533 115 1876 | 0.000 % | 5.69/5.80 c | 265 | 77586 154182 618688 | 62186 265 1940 | 0.000 % | 5.99/6.08 c | 490 | 77586 154182 618688 | 68405 490 1962 | 0.000 % | 6.39/6.46 c | 827 | 77586 154182 618688 | 75245 827 1973 | 0.000 % | 6.59/6.68 c =============================================================================== 6.59/6.68 c New solution: -8 6.59/6.68 o -8 6.59/6.68 c Elapsed CPU time: 6.563 s Remaining CPU time: 173.437 s 6.59/6.68 c =============================================================================== 6.59/6.68 c | 840 | 77586 154183 619688 | 51394 840 1956 | 0.000 % | 6.79/6.85 c | 940 | 77586 154183 619688 | 56533 940 1959 | 0.000 % | 6.99/7.07 c | 1090 | 77586 154183 619688 | 62187 1090 1963 | 0.000 % | 7.29/7.39 c | 1316 | 77586 154183 619688 | 68405 1316 1967 | 0.000 % | 7.70/7.80 c | 1653 | 77586 154183 619688 | 75246 1653 1971 | 0.000 % | 7.89/7.97 c =============================================================================== 7.89/7.97 c New solution: -9 7.89/7.97 o -9 7.89/7.97 c Elapsed CPU time: 7.83181 s Remaining CPU time: 172.168 s 7.89/7.97 c =============================================================================== 7.89/7.97 c | 1657 | 77586 154184 620688 | 51394 1657 1968 | 0.000 % | 8.09/8.16 c | 1757 | 77586 154184 620688 | 56534 1757 1969 | 0.000 % | 8.39/8.42 c | 1907 | 77586 154184 620688 | 62187 1907 1971 | 0.000 % | 8.69/8.73 c | 2132 | 77586 154184 620688 | 68406 2132 1972 | 0.000 % | 9.09/9.19 c | 2469 | 77586 154184 620688 | 75246 2469 1974 | 0.000 % | 9.29/9.34 c =============================================================================== 9.29/9.34 c New solution: -10 9.29/9.34 o -10 9.29/9.34 c Elapsed CPU time: 9.16561 s Remaining CPU time: 170.834 s 9.29/9.34 c =============================================================================== 9.29/9.34 c | 2484 | 77586 154185 621688 | 51395 2484 1968 | 0.000 % | 9.49/9.59 c | 2584 | 77586 154185 621688 | 56534 2584 1969 | 0.000 % | 9.79/9.86 c | 2735 | 77586 154185 621688 | 62187 2735 1970 | 0.000 % | 10.19/10.28 c | 2960 | 77586 154185 621688 | 68406 2960 1971 | 0.000 % | 10.59/10.69 c | 3298 | 77586 154185 621688 | 75247 3298 1972 | 0.000 % | 10.78/10.86 c =============================================================================== 10.78/10.86 c New solution: -11 10.78/10.86 o -11 10.78/10.86 c Elapsed CPU time: 10.6594 s Remaining CPU time: 169.341 s 10.78/10.86 c =============================================================================== 10.78/10.86 c | 3303 | 77586 154186 622688 | 51395 3303 1971 | 0.000 % | 10.99/11.08 c | 3403 | 77586 154186 622688 | 56534 3403 1971 | 0.000 % | 11.29/11.38 c | 3553 | 77586 154186 622688 | 62188 3553 1972 | 0.000 % | 11.68/11.78 c | 3778 | 77586 154186 622688 | 68407 3778 1972 | 0.000 % | 12.19/12.21 c | 4116 | 77586 154186 622688 | 75247 4116 1973 | 0.000 % | 12.28/12.40 c =============================================================================== 12.28/12.40 c New solution: -12 12.28/12.40 o -12 12.28/12.40 c Elapsed CPU time: 12.1751 s Remaining CPU time: 167.825 s 12.28/12.40 c =============================================================================== 12.28/12.40 c | 4126 | 77586 154187 623688 | 51395 4126 1971 | 0.000 % | 12.59/12.62 c | 4226 | 77586 154187 623688 | 56535 4226 1971 | 0.000 % | 12.88/12.90 c | 4376 | 77586 154187 623688 | 62188 4376 1971 | 0.000 % | 13.19/13.25 c | 4601 | 77586 154187 623688 | 68407 4601 1972 | 0.000 % | 13.69/13.70 c | 4938 | 77586 154187 623688 | 75248 4938 1972 | 0.000 % | 13.79/13.89 c =============================================================================== 13.79/13.89 c New solution: -13 13.79/13.89 o -13 13.79/13.89 c Elapsed CPU time: 13.6419 s Remaining CPU time: 166.358 s 13.79/13.89 c =============================================================================== 13.79/13.89 c | 4941 | 77586 154188 624688 | 51396 4941 1971 | 0.000 % | 14.09/14.12 c | 5041 | 77586 154188 624688 | 56535 5041 1972 | 0.000 % | 14.49/14.53 c | 5192 | 77586 154188 624688 | 62189 5192 1972 | 0.000 % | 14.98/15.08 c | 5417 | 77586 154188 624688 | 68408 5417 1972 | 0.000 % | 15.49/15.54 c | 5754 | 77586 154188 624688 | 75248 5754 1973 | 0.000 % | 15.68/15.76 c =============================================================================== 15.68/15.76 c New solution: -14 15.68/15.76 o -14 15.68/15.76 c Elapsed CPU time: 15.4906 s Remaining CPU time: 164.509 s 15.68/15.76 c =============================================================================== 15.68/15.76 c | 5757 | 77586 154189 625688 | 51396 5757 1972 | 0.000 % | 16.09/16.12 c | 5857 | 77586 154189 625688 | 56535 5857 1972 | 0.000 % | 16.29/16.35 c | 6007 | 77586 154189 625688 | 62189 6007 1972 | 0.000 % | 16.59/16.64 c | 6232 | 77586 154189 625688 | 68408 6232 1972 | 0.000 % | 16.98/17.08 c | 6569 | 77586 154189 625688 | 75249 6569 1973 | 0.000 % | 17.59/17.63 c =============================================================================== 17.59/17.63 c New solution: -15 17.59/17.63 o -15 17.59/17.63 c Elapsed CPU time: 17.3374 s Remaining CPU time: 162.663 s 17.59/17.63 c =============================================================================== 17.59/17.63 c | 6632 | 77586 154190 626688 | 51396 6632 1962 | 0.000 % | 17.99/18.00 c | 6732 | 77586 154190 626688 | 56536 6732 1962 | 0.000 % | 18.19/18.25 c | 6883 | 77586 154190 626688 | 62189 6883 1962 | 0.000 % | 18.49/18.59 c | 7108 | 77586 154190 626688 | 68408 7108 1963 | 0.000 % | 18.99/19.02 c | 7445 | 77586 154190 626688 | 75249 7445 1964 | 0.000 % | 19.38/19.44 c =============================================================================== 19.38/19.44 c New solution: -16 19.38/19.44 o -16 19.38/19.44 c Elapsed CPU time: 19.1241 s Remaining CPU time: 160.876 s 19.38/19.45 c =============================================================================== 19.38/19.45 c | 7525 | 77586 154191 627688 | 51397 7525 1952 | 0.000 % | 19.80/19.86 c | 7630 | 77586 154191 627688 | 56536 7630 1953 | 0.000 % | 20.09/20.10 c | 7782 | 77586 154191 627688 | 62190 7782 1953 | 0.000 % | 20.38/20.47 c | 8007 | 77586 154191 627688 | 68409 8007 1954 | 0.000 % | 20.90/20.94 c | 8344 | 77586 154191 627688 | 75250 8344 1955 | 0.000 % | 21.39/21.44 c =============================================================================== 21.39/21.44 c New solution: -17 21.39/21.44 o -17 21.39/21.44 c Elapsed CPU time: 21.0928 s Remaining CPU time: 158.907 s 21.39/21.44 c =============================================================================== 21.39/21.44 c | 8383 | 77586 154192 628688 | 51397 8383 1949 | 0.000 % | 21.89/21.96 c | 8488 | 77586 154192 628688 | 56537 8488 1949 | 0.000 % | 22.29/22.37 c | 8638 | 77586 154192 628688 | 62190 8638 1950 | 0.000 % | 22.69/22.76 c | 8863 | 77586 154192 628688 | 68409 8863 1950 | 0.000 % | 23.10/23.18 c | 9200 | 77586 154192 628688 | 75250 9200 1951 | 0.000 % | 23.89/23.93 c =============================================================================== 23.89/23.93 c New solution: -18 23.89/23.93 o -18 23.89/23.93 c Elapsed CPU time: 23.5454 s Remaining CPU time: 156.455 s 23.89/23.93 c =============================================================================== 23.89/23.93 c | 9260 | 77586 154193 629688 | 51397 9260 1943 | 0.000 % | 24.38/24.44 c | 9365 | 77586 154193 629688 | 56537 9365 1944 | 0.000 % | 24.68/24.75 c | 9515 | 77586 154193 629688 | 62191 9515 1944 | 0.000 % | 24.98/25.09 c | 9740 | 77586 154193 629688 | 68410 9740 1945 | 0.000 % | 25.78/25.85 c | 10077 | 77586 154193 629688 | 75251 10077 1946 | 0.000 % | 26.79/26.89 c =============================================================================== 26.79/26.89 c New solution: -19 26.79/26.89 o -19 26.79/26.89 c Elapsed CPU time: 26.476 s Remaining CPU time: 153.524 s 26.79/26.89 c =============================================================================== 26.79/26.89 c | 10153 | 77586 154194 630688 | 51398 10153 1936 | 0.000 % | 27.38/27.44 c | 10258 | 77586 154194 630688 | 56537 10258 1936 | 0.000 % | 27.68/27.74 c | 10408 | 77586 154194 630688 | 62191 10408 1937 | 0.000 % | 28.08/28.14 c | 10633 | 77586 154194 630688 | 68410 10633 1938 | 0.000 % | 28.78/28.81 c | 10970 | 77586 154194 630688 | 75251 10970 1939 | 0.000 % | 29.48/29.60 c | 11476 | 77586 154194 630688 | 82776 11476 1940 | 0.000 % | 30.49/30.52 c | 12235 | 77586 154194 630688 | 91054 12235 1942 | 0.000 % | 31.28/31.38 c =============================================================================== 31.28/31.38 c New solution: -20 31.28/31.38 o -20 31.28/31.38 c Elapsed CPU time: 30.9053 s Remaining CPU time: 149.095 s 31.28/31.38 c =============================================================================== 31.28/31.38 c | 12376 | 77586 154195 631688 | 51398 12376 1930 | 0.000 % | 31.58/31.66 c | 12476 | 77586 154195 631688 | 56538 12476 1930 | 0.000 % | 31.98/32.01 c | 12626 | 77586 154195 631688 | 62191 12626 1930 | 0.000 % | 32.48/32.50 c | 12851 | 77586 154195 631688 | 68411 12851 1931 | 0.000 % | 33.08/33.13 c | 13188 | 77586 154195 631688 | 75252 13188 1932 | 0.000 % | 33.88/33.95 c =============================================================================== 33.88/33.95 c New solution: -21 33.88/33.95 o -21 33.88/33.95 c Elapsed CPU time: 33.4489 s Remaining CPU time: 146.551 s 33.88/33.95 c =============================================================================== 33.88/33.95 c | 13535 | 77586 154196 632688 | 51398 13535 1906 | 0.000 % | 34.27/34.35 c | 13635 | 77586 154196 632688 | 56538 13635 1907 | 0.000 % | 34.57/34.68 c | 13785 | 77586 154196 632688 | 62192 13785 1908 | 0.000 % | 34.98/35.04 c | 14010 | 77586 154196 632688 | 68411 14010 1909 | 0.000 % | 35.38/35.46 c | 14347 | 77586 154196 632688 | 75252 14347 1910 | 0.000 % | 36.38/36.43 c =============================================================================== 36.38/36.43 c New solution: -22 36.38/36.43 o -22 36.38/36.43 c Elapsed CPU time: 35.8845 s Remaining CPU time: 144.115 s 36.38/36.43 c =============================================================================== 36.38/36.43 c | 14471 | 77586 154197 633688 | 51399 14471 1901 | 0.000 % | 36.68/36.73 c | 14571 | 77586 154197 633688 | 56538 14571 1901 | 0.000 % | 36.98/37.00 c | 14721 | 77586 154197 633688 | 62192 14721 1902 | 0.000 % | 37.28/37.40 c | 14946 | 77586 154197 633688 | 68412 14946 1903 | 0.000 % | 37.78/37.81 c | 15283 | 77586 154197 633688 | 75253 15283 1904 | 0.000 % | 38.48/38.54 c =============================================================================== 38.48/38.54 c New solution: -23 38.48/38.54 o -23 38.48/38.54 c Elapsed CPU time: 37.9672 s Remaining CPU time: 142.033 s 38.48/38.54 c =============================================================================== 38.48/38.54 c | 15403 | 77586 154198 634688 | 51399 15403 1896 | 0.000 % | 38.88/38.99 c | 15504 | 77586 154198 634688 | 56539 15504 1896 | 0.000 % | 39.38/39.49 c | 15654 | 77586 154198 634688 | 62193 15654 1897 | 0.000 % | 39.78/39.84 c | 15879 | 77586 154198 634688 | 68412 15879 1898 | 0.000 % | 40.37/40.45 c | 16216 | 77586 154198 634688 | 75253 16216 1899 | 0.000 % | 41.17/41.24 c =============================================================================== 41.17/41.24 c New solution: -24 41.17/41.24 o -24 41.17/41.24 c Elapsed CPU time: 40.6318 s Remaining CPU time: 139.368 s 41.17/41.24 c =============================================================================== 41.17/41.24 c | 16304 | 77586 154199 635688 | 51399 16304 1893 | 0.000 % | 41.47/41.52 c | 16404 | 77586 154199 635688 | 56539 16404 1894 | 0.000 % | 41.88/41.90 c | 16554 | 77586 154199 635688 | 62193 16554 1894 | 0.000 % | 42.27/42.30 c | 16779 | 77586 154199 635688 | 68412 16779 1895 | 0.000 % | 42.57/42.67 c | 17116 | 77586 154199 635688 | 75254 17116 1896 | 0.000 % | 43.37/43.47 c | 17622 | 77586 154199 635688 | 82779 17622 1898 | 0.000 % | 44.48/44.51 c | 18381 | 77586 154199 635688 | 91057 18381 1898 | 0.000 % | 45.78/45.80 c | 19520 | 77586 154199 635688 | 100163 19520 1897 | 0.000 % | 47.97/48.02 c | 21228 | 77586 154199 635688 | 110179 21228 1896 | 0.000 % | 50.77/50.81 c | 23790 | 77586 154199 635688 | 121197 23790 1894 | 0.000 % | 57.18/57.21 c | 27634 | 77586 154199 635688 | 133317 27634 1891 | 0.000 % | 66.37/66.49 c | 33400 | 77586 154199 635688 | 146649 33400 1887 | 0.000 % | 80.35/80.42 c | 42050 | 77586 154199 635688 | 161314 42050 1883 | 0.000 % | 104.55/104.66 c | 55024 | 77586 154199 635688 | 177445 55024 1900 | 0.000 % | 147.54/147.65 c | 74485 | 77586 154199 635688 | 195190 74485 1918 | 0.000 % | 149.44/149.50 c =============================================================================== 149.44/149.50 c New solution: -25 149.44/149.50 o -25 149.44/149.50 c Elapsed CPU time: 148.073 s Remaining CPU time: 31.9265 s 149.44/149.50 c =============================================================================== 149.44/149.50 c | 74555 | 77586 154200 636688 | 51400 74555 1917 | 0.000 % | 150.04/150.14 c | 74655 | 77586 154200 636688 | 56540 12009 1960 | 0.000 % | 150.24/150.39 c | 74805 | 77586 154200 636688 | 62194 12159 1960 | 0.000 % | 150.65/150.77 c | 75030 | 77586 154200 636688 | 68413 12384 1960 | 0.000 % | 151.04/151.14 c | 75367 | 77586 154200 636688 | 75254 12721 1960 | 0.000 % | 152.04/152.10 c | 75873 | 77586 154200 636688 | 82780 13227 1960 | 0.000 % | 152.85/152.94 c | 76632 | 77586 154200 636688 | 91058 13986 1960 | 0.000 % | 154.84/154.90 c | 77771 | 77586 154200 636688 | 100164 15125 1960 | 0.000 % | 157.94/158.09 c =============================================================================== 157.94/158.09 c New solution: -26 157.94/158.09 o -26 157.94/158.09 c Elapsed CPU time: 156.558 s Remaining CPU time: 23.4418 s 157.94/158.09 c =============================================================================== 157.94/158.09 c | 78717 | 77586 154201 637688 | 51400 16071 1896 | 0.000 % | 158.34/158.45 c | 78818 | 77586 154201 637688 | 56540 16172 1897 | 0.000 % | 158.53/158.68 c | 78968 | 77586 154201 637688 | 62194 16322 1897 | 0.000 % | 158.93/159.05 c | 79193 | 77586 154201 637688 | 68413 16547 1898 | 0.000 % | 159.34/159.46 c | 79530 | 77586 154201 637688 | 75255 16884 1899 | 0.000 % | 160.94/161.00 c =============================================================================== 160.94/161.00 c New solution: -27 160.94/161.00 o -27 160.94/161.00 c Elapsed CPU time: 159.429 s Remaining CPU time: 20.5712 s 160.94/161.00 c =============================================================================== 160.94/161.00 c | 79638 | 77586 154202 638688 | 51400 16992 1891 | 0.000 % | 161.23/161.36 c | 79738 | 77586 154202 638688 | 56540 17092 1891 | 0.000 % | 161.54/161.61 c | 79888 | 77586 154202 638688 | 62194 17242 1892 | 0.000 % | 161.83/161.96 c | 80113 | 77586 154202 638688 | 68414 17467 1893 | 0.000 % | 162.43/162.57 c | 80450 | 77586 154202 638688 | 75255 17804 1894 | 0.000 % | 163.74/163.90 c =============================================================================== 163.74/163.90 c New solution: -28 163.74/163.90 o -28 163.74/163.90 c Elapsed CPU time: 162.271 s Remaining CPU time: 17.7287 s 163.74/163.90 c =============================================================================== 163.74/163.90 c | 80561 | 77586 154203 639688 | 51401 17915 1886 | 0.000 % | 164.03/164.18 c | 80661 | 77586 154203 639688 | 56541 18015 1887 | 0.000 % | 164.33/164.45 c | 80811 | 77586 154203 639688 | 62195 18165 1887 | 0.000 % | 164.63/164.77 c | 81036 | 77586 154203 639688 | 68414 18390 1888 | 0.000 % | 165.03/165.16 c | 81373 | 77586 154203 639688 | 75256 18727 1888 | 0.000 % | 165.73/165.84 c | 81879 | 77586 154203 639688 | 82781 19233 1890 | 0.000 % | 166.63/166.79 c | 82638 | 77586 154203 639688 | 91060 19992 1890 | 0.000 % | 168.14/168.28 c | 83777 | 77586 154203 639688 | 100166 21131 1894 | 0.000 % | 170.83/170.94 c =============================================================================== 170.83/170.94 c New solution: -29 170.83/170.94 o -29 170.83/170.94 c Elapsed CPU time: 169.174 s Remaining CPU time: 10.8257 s 170.83/170.94 c =============================================================================== 170.83/170.94 c | 83991 | 77586 154204 640688 | 51401 21345 1881 | 0.000 % | 171.13/171.23 c | 84091 | 77586 154204 640688 | 56541 21445 1882 | 0.000 % | 171.54/171.63 c | 84241 | 77586 154204 640688 | 62195 21595 1882 | 0.000 % | 171.93/172.02 c | 84466 | 77586 154204 640688 | 68415 21820 1883 | 0.000 % | 172.43/172.50 c | 84803 | 77586 154204 640688 | 75256 22157 1884 | 0.000 % | 174.83/174.93 c | 85310 | 77586 154204 640688 | 82782 22664 1860 | 0.000 % | 176.82/177.00 c | 86069 | 77586 154204 640688 | 91060 23423 1863 | 0.000 % | 178.83/178.94 c | 87208 | 77586 154204 640688 | 100166 24562 1860 | 0.000 % | 181.52/181.60 c | 88918 | 77586 154204 640688 | 110183 26272 1865 | 0.000 % | 181.83/181.92 c There are 0 assigned variables. 0 in cost function. 182.73/182.87 c core #1 182.73/182.87 c 182.73/182.87 c 182.73/182.87 c Core size: 2001 Core Weight: 1 Total Weight: -999 182.73/182.87 c 182.73/182.87 c 182.73/182.87 c ============================[ Search Statistics ]============================== 182.73/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.87 c =============================================================================== 182.73/182.87 c | 0 | 78586 155539 644690 | 51846 0 nan | 0.000 % | 184.93/185.00 c | 100 | 78586 155539 644690 | 57030 100 264 | 0.132 % | 186.53/186.64 c | 250 | 78586 155539 644690 | 62734 250 467 | 0.132 % | 190.83/190.94 c | 475 | 78586 155539 644690 | 69007 475 373 | 0.132 % | 196.52/196.61 c | 812 | 78477 155539 644690 | 75908 811 355 | 0.408 % | 200.03/200.11 c =============================================================================== 200.62/200.78 c core #2 200.62/200.78 c 200.62/200.78 c 200.62/200.78 c Core size: 757 Core Weight: 1 Total Weight: -998 200.62/200.78 c 200.62/200.78 c 200.62/200.78 c ============================[ Search Statistics ]============================== 200.62/200.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.62/200.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.62/200.78 c =============================================================================== 200.62/200.78 c | 0 | 79297 155629 646379 | 51876 0 nan | 0.000 % | 202.72/202.87 c | 100 | 79297 155629 646379 | 57063 100 745 | 0.000 % | 205.12/205.26 c | 250 | 79297 155629 646379 | 62770 250 787 | 0.000 % | 208.21/208.34 c | 475 | 79297 155629 646379 | 69047 475 586 | 0.000 % | 213.62/213.76 c | 812 | 79297 155629 646379 | 75952 812 635 | 0.000 % | 220.92/221.06 c | 1318 | 79297 155629 646379 | 83547 1318 695 | 0.000 % | 227.31/227.42 c | 2077 | 79297 155629 646379 | 91902 2077 740 | 0.000 % | 242.92/243.02 c | 3216 | 79224 155629 646379 | 101092 3202 758 | 0.092 % | 266.01/266.10 c | 4924 | 79222 155629 646379 | 111201 4910 742 | 0.171 % | 301.69/301.86 c | 7486 | 79098 155629 646379 | 122321 7356 757 | 0.442 % | 354.18/354.39 c | 11330 | 78802 155629 646379 | 134553 11136 766 | 0.624 % | 430.85/431.03 c | 17096 | 78535 155629 646379 | 148009 16596 770 | 1.291 % | 544.92/545.17 c | 25745 | 77050 155629 646379 | 162810 24424 776 | 4.912 % | 711.48/711.71 c | 38719 | 72389 155629 646379 | 179091 34718 807 | 9.992 % | 948.60/948.90 c | 58184 | 65481 155629 646379 | 197000 50223 807 | 19.474 % | 1297.29/1297.80 c | 87376 | 59823 155629 646379 | 216700 75821 865 | 32.967 % | 1339.67/1340.20 c =============================================================================== 1344.07/1344.56 c core #3 1344.07/1344.56 c 1344.07/1344.56 c 1344.07/1344.56 c Core size: 1397 Core Weight: 1 Total Weight: -997 1344.07/1344.56 c 1344.07/1344.56 c 1344.07/1344.56 c ============================[ Search Statistics ]============================== 1344.07/1344.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1344.07/1344.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1344.07/1344.56 c =============================================================================== 1344.07/1344.56 c | 0 | 80297 156089 649685 | 52029 0 nan | 0.000 % | 1346.27/1346.76 c | 100 | 80297 156089 649685 | 57232 100 1250 | 0.000 % | 1348.08/1348.50 c | 250 | 80297 156089 649685 | 62955 250 812 | 0.000 % | 1351.07/1351.57 c | 475 | 80297 156089 649685 | 69251 475 937 | 0.000 % | 1355.27/1355.78 c | 812 | 80297 156089 649685 | 76176 812 909 | 0.000 % | 1362.26/1362.70 c | 1318 | 80297 156089 649685 | 83794 1318 966 | 0.000 % | 1371.95/1372.45 c | 2077 | 80297 156089 649685 | 92173 2077 946 | 0.000 % | 1387.35/1387.80 c | 3216 | 80297 156089 649685 | 101391 3216 1001 | 0.000 % | 1411.34/1411.82 c | 4924 | 80297 156089 649685 | 111530 4924 1047 | 0.000 % | 1442.44/1442.94 c | 7486 | 80297 156089 649685 | 122683 7486 1066 | 0.000 % | 1492.91/1493.45 c | 11336 | 80297 156089 649685 | 134951 11336 1083 | 0.000 % | 1566.70/1567.29 c | 17117 | 80297 156089 649685 | 148446 17117 1095 | 0.000 % | 1684.76/1685.37 c | 25766 | 80297 156089 649685 | 163291 25766 1122 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702683-1278574699/watcher-2702683-1278574699 -o /tmp/evaluation-result-2702683-1278574699/solver-2702683-1278574699 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702683-1278574699.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.97 0.88 3/106 30328 /proc/meminfo: memFree=1831696/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=9812 CPUtime=0 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 1 0 25677746 10047488 331 1992294400 134512640 135752675 4291494800 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 2453 331 137 303 0 464 0 [startup+0.089063 s] /proc/loadavg: 1.00 0.97 0.88 3/106 30328 /proc/meminfo: memFree=1831696/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=16220 CPUtime=0.08 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 1903 0 0 0 8 0 0 0 18 0 1 0 25677746 16609280 1788 1992294400 134512640 135752675 4291494800 18446744073709551615 135096984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 4055 1788 223 303 0 2066 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16220 [startup+0.101063 s] /proc/loadavg: 1.00 0.97 0.88 3/106 30328 /proc/meminfo: memFree=1831696/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=16616 CPUtime=0.09 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 2077 0 0 0 9 0 0 0 18 0 1 0 25677746 17014784 1962 1992294400 134512640 135752675 4291494800 18446744073709551615 134559930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 4154 1963 236 303 0 2165 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16616 [startup+0.301085 s] /proc/loadavg: 1.00 0.97 0.88 3/106 30328 /proc/meminfo: memFree=1831696/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=25452 CPUtime=0.29 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 4136 0 0 0 28 1 0 0 18 0 1 0 25677746 26062848 3867 1992294400 134512640 135752675 4291494800 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 6363 3867 414 303 0 4374 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25452 [startup+0.701131 s] /proc/loadavg: 1.00 0.97 0.88 3/106 30328 /proc/meminfo: memFree=1831696/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=31192 CPUtime=0.69 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 6140 0 0 0 67 2 0 0 18 0 1 0 25677746 31940608 5871 1992294400 134512640 135752675 4291494800 18446744073709551615 134561414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 7798 5871 891 303 0 5809 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31192 [startup+1.50122 s] /proc/loadavg: 1.08 0.99 0.88 2/107 30329 /proc/meminfo: memFree=1807384/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=44176 CPUtime=1.49 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 11277 0 0 0 145 4 0 0 20 0 1 0 25677746 45236224 9099 1992294400 134512640 135752675 4291494800 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 11044 9101 142 303 0 10739 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44176 [startup+3.10139 s] /proc/loadavg: 1.08 0.99 0.88 2/107 30329 /proc/meminfo: memFree=1782460/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=56876 CPUtime=3.09 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 15124 0 0 0 302 7 0 0 24 0 1 0 25677746 58241024 12946 1992294400 134512640 135752675 4291494800 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 14219 12946 142 303 0 13914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56876 [startup+6.30174 s] /proc/loadavg: 1.08 0.99 0.88 2/107 30329 /proc/meminfo: memFree=1783700/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=52116 CPUtime=6.29 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 15458 0 0 0 618 11 0 0 25 0 1 0 25677746 53366784 11910 1992294400 134512640 135752675 4291494800 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 13029 11910 145 303 0 12724 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52116 [startup+12.7014 s] /proc/loadavg: 1.07 0.99 0.88 2/107 30329 /proc/meminfo: memFree=1766092/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=72896 CPUtime=12.68 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 20659 0 0 0 1246 22 0 0 25 0 1 0 25677746 74645504 17111 1992294400 134512640 135752675 4291494800 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 18224 17111 145 303 0 17919 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 72896 [startup+25.5009 s] /proc/loadavg: 1.06 0.99 0.88 2/107 30329 /proc/meminfo: memFree=1721452/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=116264 CPUtime=25.48 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 31495 0 0 0 2509 39 0 0 25 0 1 0 25677746 119054336 27947 1992294400 134512640 135752675 4291494800 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 29066 27947 145 303 0 28761 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 116264 [startup+51.1007 s] /proc/loadavg: 1.04 0.99 0.89 2/107 30331 /proc/meminfo: memFree=1617912/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=221124 CPUtime=51.07 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 57713 0 0 0 5038 69 0 0 25 0 1 0 25677746 226430976 54165 1992294400 134512640 135752675 4291494800 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 55281 54165 145 303 0 54976 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 221124 [startup+102.308 s] /proc/loadavg: 1.01 0.99 0.89 2/107 30331 /proc/meminfo: memFree=1385908/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=449884 CPUtime=102.26 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 114895 0 0 0 10118 108 0 0 25 0 1 0 25677746 460681216 111347 1992294400 134512640 135752675 4291494800 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 112471 111347 145 303 0 112166 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 449884 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.90 2/107 30333 /proc/meminfo: memFree=1187756/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=650864 CPUtime=162.23 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 165113 0 0 0 16070 153 0 0 25 0 1 0 25677746 666484736 161565 1992294400 134512640 135752675 4291494800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 162716 161565 145 303 0 162411 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 650864 [startup+222.3 s] /proc/loadavg: 1.00 0.99 0.90 2/107 30335 /proc/meminfo: memFree=1112116/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=222.22 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186420 0 0 0 22035 187 0 0 25 0 1 0 25677746 737587200 179460 1992294400 134512640 135752675 4291494800 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179460 146 303 0 179770 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 720300 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30337 /proc/meminfo: memFree=1111992/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=282.19 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186420 0 0 0 28030 189 0 0 25 0 1 0 25677746 737587200 179460 1992294400 134512640 135752675 4291494800 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179460 146 303 0 179770 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 720300 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30339 /proc/meminfo: memFree=1111992/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=342.17 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186420 0 0 0 34026 191 0 0 25 0 1 0 25677746 737587200 179460 1992294400 134512640 135752675 4291494800 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179460 146 303 0 179770 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 720300 [startup+402.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30339 /proc/meminfo: memFree=1111868/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=402.16 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186420 0 0 0 40022 194 0 0 25 0 1 0 25677746 737587200 179460 1992294400 134512640 135752675 4291494800 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179460 146 303 0 179770 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 720300 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30341 /proc/meminfo: memFree=1111992/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=462.14 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186420 0 0 0 46018 196 0 0 25 0 1 0 25677746 737587200 179460 1992294400 134512640 135752675 4291494800 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179460 146 303 0 179770 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 720300 [startup+522.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30343 /proc/meminfo: memFree=1111868/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=522.12 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186421 0 0 0 52012 200 0 0 25 0 1 0 25677746 737587200 179461 1992294400 134512640 135752675 4291494800 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179461 146 303 0 179770 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 720300 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30345 /proc/meminfo: memFree=1111868/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=720300 CPUtime=582.11 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186421 0 0 0 58008 203 0 0 25 0 1 0 25677746 737587200 179461 1992294400 134512640 135752675 4291494800 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180075 179461 146 303 0 179770 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 720300 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30347 /proc/meminfo: memFree=1110132/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=722436 CPUtime=642.09 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 186959 0 0 0 64004 205 0 0 25 0 1 0 25677746 739774464 179999 1992294400 134512640 135752675 4291494800 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 180609 179999 146 303 0 180304 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 722436 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30351 /proc/meminfo: memFree=1029532/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=803016 CPUtime=822.03 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 207086 0 0 0 81977 226 0 0 25 0 1 0 25677746 822288384 200126 1992294400 134512640 135752675 4291494800 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 200754 200126 146 303 0 200449 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 803016 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30353 /proc/meminfo: memFree=1005476/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=826824 CPUtime=882.01 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 213039 0 0 0 87967 234 0 0 25 0 1 0 25677746 846667776 206079 1992294400 134512640 135752675 4291494800 18446744073709551615 134611527 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 206706 206079 146 303 0 206401 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 826824 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30355 /proc/meminfo: memFree=983280/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=848944 CPUtime=942 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 218580 0 0 0 93959 241 0 0 25 0 1 0 25677746 869318656 211620 1992294400 134512640 135752675 4291494800 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 212236 211620 146 303 0 211931 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 848944 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30355 /proc/meminfo: memFree=960464/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=871632 CPUtime=1001.98 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 224249 0 0 0 99949 249 0 0 25 0 1 0 25677746 892551168 217289 1992294400 134512640 135752675 4291494800 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 217908 217289 146 303 0 217603 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 871632 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30357 /proc/meminfo: memFree=939260/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=892992 CPUtime=1061.96 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 229609 0 0 0 105939 257 0 0 25 0 1 0 25677746 914423808 222649 1992294400 134512640 135752675 4291494800 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 223248 222649 146 303 0 222943 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 892992 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30359 /proc/meminfo: memFree=916072/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=916200 CPUtime=1121.94 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 235368 0 0 0 111927 267 0 0 25 0 1 0 25677746 938188800 228408 1992294400 134512640 135752675 4291494800 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 229050 228408 146 303 0 228745 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 916200 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30361 /proc/meminfo: memFree=892884/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=939176 CPUtime=1181.92 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 241113 0 0 0 117917 275 0 0 25 0 1 0 25677746 961716224 234153 1992294400 134512640 135752675 4291494800 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 234794 234153 146 303 0 234489 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 939176 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30363 /proc/meminfo: memFree=869076/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=962876 CPUtime=1241.9 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 247061 0 0 0 123904 286 0 0 25 0 1 0 25677746 985985024 240101 1992294400 134512640 135752675 4291494800 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 240719 240101 146 303 0 240414 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 962876 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30363 /proc/meminfo: memFree=838448/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=993156 CPUtime=1301.9 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 254619 0 0 0 129893 297 0 0 25 0 1 0 25677746 1016991744 247659 1992294400 134512640 135752675 4291494800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 248289 247659 146 303 0 247984 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 993156 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30374 /proc/meminfo: memFree=802612/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1361.86 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263317 0 0 0 135879 307 0 0 25 0 1 0 25677746 1054187520 256357 1992294400 134512640 135752675 4291494800 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256357 146 303 0 257065 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1029480 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30376 /proc/meminfo: memFree=802612/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1421.85 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263318 0 0 0 141873 312 0 0 25 0 1 0 25677746 1054187520 256358 1992294400 134512640 135752675 4291494800 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256358 146 303 0 257065 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1029480 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30378 /proc/meminfo: memFree=802612/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1481.82 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263318 0 0 0 147867 315 0 0 25 0 1 0 25677746 1054187520 256358 1992294400 134512640 135752675 4291494800 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256358 146 303 0 257065 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1029480 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30380 /proc/meminfo: memFree=802860/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1541.8 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263319 0 0 0 153861 319 0 0 25 0 1 0 25677746 1054187520 256359 1992294400 134512640 135752675 4291494800 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256359 146 303 0 257065 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1029480 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30380 /proc/meminfo: memFree=802860/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1601.79 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263319 0 0 0 159856 323 0 0 25 0 1 0 25677746 1054187520 256359 1992294400 134512640 135752675 4291494800 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256359 146 303 0 257065 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1029480 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30382 /proc/meminfo: memFree=802860/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1661.77 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263319 0 0 0 165851 326 0 0 25 0 1 0 25677746 1054187520 256359 1992294400 134512640 135752675 4291494800 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256359 146 303 0 257065 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1029480 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30384 /proc/meminfo: memFree=802860/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1721.75 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263321 0 0 0 171844 331 0 0 25 0 1 0 25677746 1054187520 256361 1992294400 134512640 135752675 4291494800 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256361 146 303 0 257065 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1029480 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30386 /proc/meminfo: memFree=802612/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1781.73 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263321 0 0 0 177838 335 0 0 25 0 1 0 25677746 1054187520 256361 1992294400 134512640 135752675 4291494800 18446744073709551615 134517248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256361 146 303 0 257065 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1029480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30386 /proc/meminfo: memFree=802612/2059040 swapFree=4139756/4192956 [pid=30328] ppid=30326 vsize=1029480 CPUtime=1800.04 /proc/30328/stat : 30328 (wbo1.4b) R 30326 30328 30215 0 -1 4202496 263322 0 0 0 179668 336 0 0 25 0 1 0 25677746 1054187520 256362 1992294400 134512640 135752675 4291494800 18446744073709551615 134616119 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30328/statm: 257370 256362 146 303 0 257065 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1029480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.71 CPU time (s): 1800.14 CPU user time (s): 1796.69 CPU system time (s): 3.45847 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1029480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.69 system time used= 3.45847 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 263322 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= 7 involuntary context switches= 2913 runsolver used 3.13452 second user time and 8.36273 second system time The end
Begin job on node042 at 2010-07-08 09:38:19 IDJOB=2702683 IDBENCH=48276 IDSOLVER=1190 FILE ID=node042/2702683-1278574699 PBS_JOBID= 11240083 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_1.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-2702683-1278574699/watcher-2702683-1278574699 -o /tmp/evaluation-result-2702683-1278574699/solver-2702683-1278574699 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702683-1278574699.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6856221d5d444d2079d321f11fb11f0b RANDOM SEED=1776287250 node042.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.213 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.213 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: 1837432 kB Buffers: 16704 kB Cached: 122120 kB SwapCached: 6336 kB Active: 97212 kB Inactive: 54736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837432 kB SwapTotal: 4192956 kB SwapFree: 4139756 kB Dirty: 4728 kB Writeback: 0 kB AnonPages: 11712 kB Mapped: 12020 kB Slab: 47672 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183408 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-2702683-1278574699.opb Free space on /tmp at the end= 62492 MiB End job on node042 at 2010-07-08 10:08:26