Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 63.3464 | 63.3461 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo |
MD5SUM | e9977e481ed86e7573c7f989943259e1 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.158974 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/800 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.034994 9.78906 1 1855 0.00/0.03 o 20150 0.00/0.03 c 0.034994 10 2 2476 0.00/0.03 o 19485 0.00/0.04 c 0.034994 10 2 3312 0.00/0.04 o 15326 0.00/0.04 c 0.034994 10 2 3594 0.00/0.04 o 15183 0.00/0.04 c 0.034994 10 3 4284 0.00/0.04 o 14439 0.19/0.23 c 0.080987 10 477 8173 0.19/0.23 o 13894 0.29/0.39 c 0.122981 10.125 896 10164 0.29/0.39 o 13840 0.39/0.42 c 0.131979 10.125 576 10853 0.39/0.42 o 13735 0.39/0.44 c 0.140978 10.125 338 11403 0.39/0.44 o 13671 0.39/0.44 c 0.143978 10.125 344 11636 0.39/0.44 o 13622 0.39/0.47 c 0.151976 10.125 496 12258 0.39/0.47 o 13505 0.49/0.51 c 0.162975 10.125 688 12963 0.49/0.51 o 13496 0.49/0.53 c 0.167974 10.125 408 13278 0.49/0.53 o 13476 0.79/0.88 c 0.25996 10.125 654 18462 0.79/0.88 o 13275 0.89/0.98 c 0.289955 10.125 680 20992 0.89/0.98 o 13134 1.00/1.04 c 0.296954 10.125 343 22240 1.00/1.04 o 12953 1.00/1.04 c 0.296954 10.125 343 22677 1.00/1.04 o 12818 1.00/1.04 c 0.297954 10.125 343 23058 1.00/1.04 o 12728 1.00/1.04 c 0.297954 10.125 345 23394 1.00/1.04 o 12659 1.00/1.04 c 0.298954 10.125 346 24080 1.00/1.04 o 12157 1.00/1.05 c 0.300954 10.125 363 24450 1.00/1.05 o 11916 1.19/1.23 c 0.350946 10.125 465 27402 1.19/1.23 o 11816 1.19/1.23 c 0.350946 10.125 466 27819 1.19/1.23 o 11579 1.19/1.27 c 0.354946 10.125 629 28551 1.19/1.27 o 11406 1.39/1.43 c 0.386941 10.125 628 31220 1.39/1.43 o 11386 1.39/1.48 c 0.396939 10.125 616 32220 1.39/1.48 o 11241 1.99/2.04 c 0.497924 10.25 614 41570 1.99/2.04 o 11169 2.20/2.21 c 0.52292 10.25 430 44334 2.20/2.21 o 10979 2.29/2.38 c 0.552915 10.25 615 47060 2.29/2.38 o 10907 3.30/3.33 c 0.764883 10.25 677 60570 3.30/3.33 o 10822 3.59/3.69 c 0.821875 10.25 616 65541 3.59/3.69 o 10815 3.69/3.71 c 0.827874 10.25 387 66093 3.69/3.71 o 10732 3.69/3.75 c 0.832873 10.25 537 66605 3.69/3.75 o 10730 3.89/3.93 c 0.872867 10.25 684 69114 3.89/3.93 o 10702 3.89/3.97 c 0.878866 10.25 569 69939 3.89/3.97 o 10669 3.99/4.02 c 0.887865 10.25 414 70616 3.99/4.02 o 10656 4.09/4.16 c 0.912861 10.25 575 72048 4.09/4.16 o 10638 4.19/4.20 c 0.926859 10.25 474 72883 4.19/4.20 o 10605 4.19/4.28 c 0.938857 10.25 528 74139 4.19/4.28 o 10473 6.09/6.14 c 1.2858 10.375 502 96605 6.09/6.14 o 10154 6.79/6.89 c 1.49377 10.375 851 106184 6.79/6.89 o 10120 7.19/7.20 c 1.57476 10.375 838 110428 7.19/7.20 o 10000 7.19/7.26 c 1.58576 10.375 769 111696 7.19/7.26 o 9958 7.69/7.78 c 1.68074 10.375 456 118398 7.69/7.78 o 9796 7.89/7.95 c 1.70574 10.375 621 120801 7.89/7.95 o 9627 7.99/8.09 c 1.73374 10.375 591 122930 7.99/8.09 o 9613 8.49/8.54 c 1.81072 10.375 428 128868 8.49/8.54 o 9546 9.69/9.70 c 2.04769 10.375 748 139196 9.69/9.70 o 9528 11.00/11.01 c 2.32265 10.5 748 155022 11.00/11.01 o 9513 11.09/11.12 c 2.34964 10.5 689 157285 11.09/11.12 o 9329 11.09/11.15 c 2.35764 10.5 481 157795 11.09/11.15 o 9313 11.89/11.90 c 2.48962 10.5 666 168750 11.89/11.90 o 9252 11.89/11.97 c 2.50362 10.5 698 169698 11.89/11.97 o 9204 12.69/12.76 c 2.6276 10.5 422 179818 12.69/12.76 o 9199 14.29/14.35 c 2.99055 10.5 483 196779 14.29/14.35 o 9121 14.39/14.43 c 3.00054 10.5 525 197964 14.39/14.43 o 9113 14.59/14.69 c 3.05154 10.5 662 201388 14.59/14.69 o 9111 14.79/14.89 c 3.10353 10.5 806 203716 14.79/14.89 o 9105 14.89/14.92 c 3.10853 10.5 553 204311 14.89/14.92 o 9026 15.99/16.07 c 3.32749 10.5 777 218933 15.99/16.07 o 9023 16.09/16.17 c 3.34349 10.5 487 220361 16.09/16.17 o 9008 16.19/16.21 c 3.35349 10.5 704 221029 16.19/16.21 o 8932 16.69/16.79 c 3.46247 10.5 659 226814 16.69/16.79 o 8888 17.19/17.29 c 3.55546 10.6211 596 231862 17.19/17.29 o 8886 17.79/17.88 c 3.64045 10.6211 573 238392 17.79/17.88 o 8875 17.89/17.94 c 3.64845 10.6211 532 239366 17.89/17.94 o 8754 18.89/18.91 c 3.83742 10.6211 505 251168 18.89/18.91 o 8732 18.99/19.04 c 3.85441 10.6211 452 253345 18.99/19.04 o 8639 19.59/19.61 c 3.98039 10.6211 561 261812 19.59/19.61 o 8563 19.99/20.08 c 4.10138 10.6211 556 265934 19.99/20.08 o 8487 21.09/21.16 c 4.33434 10.6211 649 279682 21.09/21.16 o 8435 21.19/21.25 c 4.35334 10.6211 617 280588 21.19/21.25 o 8337 21.49/21.52 c 4.42533 10.6211 418 283900 21.49/21.52 o 8296 22.29/22.34 c 4.56031 10.6211 516 293994 22.29/22.34 o 8222 23.20/23.29 c 4.74628 10.6211 644 302401 23.20/23.29 o 8212 24.89/24.99 c 5.04823 10.7461 879 316669 24.89/24.99 o 8192 24.99/25.05 c 5.05723 10.7461 635 317264 24.99/25.05 o 8160 25.19/25.24 c 5.08923 10.7461 542 320384 25.19/25.24 o 8075 26.39/26.47 c 5.39118 10.7461 809 333451 26.39/26.47 o 8023 26.69/26.70 c 5.45517 10.7461 756 336440 26.69/26.70 o 7965 26.69/26.75 c 5.47017 10.7461 577 337144 26.69/26.75 o 7918 26.79/26.81 c 5.48916 10.7461 453 338075 26.79/26.81 o 7814 26.79/26.86 c 5.50116 10.7461 674 338832 26.79/26.86 o 7706 26.79/26.89 c 5.50916 10.7461 453 339382 26.79/26.89 o 7690 26.99/27.03 c 5.54016 10.7461 703 341181 26.99/27.03 o 7571 27.09/27.15 c 5.56615 10.7461 446 342800 27.09/27.15 o 7519 27.40/27.44 c 5.62214 10.7461 918 345476 27.40/27.44 o 7425 27.50/27.51 c 5.65014 10.7461 810 346338 27.50/27.51 o 7422 27.80/27.88 c 5.71313 10.7461 765 350382 27.80/27.88 o 7411 28.39/28.49 c 5.81012 10.7461 645 357737 28.39/28.49 o 7314 29.70/29.72 c 6.07708 10.7461 544 368954 29.70/29.72 o 7311 29.79/29.81 c 6.09007 10.7461 997 370307 29.79/29.81 o 7084 30.39/30.45 c 6.17406 10.7461 528 377722 30.39/30.45 o 7064 30.39/30.49 c 6.18106 10.7461 715 378246 30.39/30.49 o 6983 30.59/30.70 c 6.20106 10.7461 431 380661 30.59/30.70 o 6953 30.80/30.82 c 6.22005 10.7461 811 381691 30.80/30.82 o 6912 31.09/31.19 c 6.29004 10.7461 648 385091 31.09/31.19 o 6900 31.29/31.36 c 6.31404 10.7461 585 387112 31.29/31.36 o 6874 31.59/31.66 c 6.38903 10.7461 990 390180 31.59/31.66 o 6870 31.99/32.04 c 6.44402 10.7461 627 393934 31.99/32.04 o 6833 32.19/32.23 c 6.47401 10.7461 508 395542 32.19/32.23 o 6811 32.49/32.53 c 6.52801 10.7461 576 398742 32.49/32.53 o 6808 32.49/32.59 c 6.543 10.7461 755 399346 32.49/32.59 o 6790 33.09/33.10 c 6.66299 10.7461 649 405417 33.09/33.10 o 6736 33.79/33.86 c 6.84196 10.7461 526 411251 33.79/33.86 o 6716 33.89/34.00 c 6.86396 10.7461 419 413036 33.89/34.00 o 6617 34.00/34.08 c 6.88695 10.7461 408 414035 34.00/34.08 o 6587 34.10/34.14 c 6.90495 10.7461 685 414758 34.10/34.14 o 6561 34.20/34.21 c 6.91195 10.7461 557 415448 34.20/34.21 o 6525 34.89/34.94 c 7.03593 10.7461 945 422021 34.89/34.94 o 6324 34.99/35.05 c 7.05893 10.7461 520 423330 34.99/35.05 o 6232 35.20/35.24 c 7.09192 10.7461 947 425263 35.20/35.24 o 6207 35.29/35.35 c 7.10892 10.7461 514 426614 35.29/35.35 o 6097 35.29/35.37 c 7.11292 10.7461 599 426928 35.29/35.37 o 6024 35.49/35.50 c 7.15191 10.7461 708 428608 35.49/35.50 o 5949 35.49/35.55 c 7.15691 10.7461 441 429117 35.49/35.55 o 5897 35.99/36.09 c 7.2269 10.7461 573 434379 35.99/36.09 o 5896 38.40/38.48 c 7.67983 10.8711 783 454275 38.40/38.48 o 5865 38.50/38.52 c 7.68483 10.8711 550 454730 38.50/38.52 o 5828 38.69/38.70 c 7.71383 10.8711 960 456580 38.69/38.70 o 5813 41.19/41.27 c 8.28074 10.8711 615 479945 41.19/41.27 o 5754 41.29/41.38 c 8.29574 10.8711 572 481054 41.29/41.38 o 5735 41.49/41.59 c 8.34073 10.8711 583 483151 41.49/41.59 o 5731 41.59/41.66 c 8.35473 10.8711 806 483803 41.59/41.66 o 5701 41.89/41.91 c 8.39872 10.8711 991 486494 41.89/41.91 o 5604 42.09/42.17 c 8.44772 10.8711 775 489510 42.09/42.17 o 5563 42.80/42.82 c 8.5517 10.8711 667 494555 42.80/42.82 o 5507 43.19/43.21 c 8.64768 10.8711 490 498450 43.19/43.21 o 5419 44.00/44.02 c 8.82566 10.8711 454 504631 44.00/44.02 o 5299 44.90/44.92 c 8.96764 10.8711 628 512952 44.90/44.92 o 5298 44.90/44.99 c 8.98763 10.8711 444 513629 44.90/44.99 o 5296 45.10/45.12 c 9.00163 10.8711 493 514865 45.10/45.12 o 5278 46.19/46.27 c 9.26559 10.8711 841 522961 46.19/46.27 o 5175 46.49/46.59 c 9.34758 10.8711 668 525911 46.49/46.59 o 5099 46.89/46.93 c 9.41357 10.8711 717 529125 46.89/46.93 o 4997 47.49/47.50 c 9.52255 10.8711 721 534423 47.49/47.50 o 4929 47.49/47.56 c 9.53755 10.8711 532 535088 47.49/47.56 o 4920 47.49/47.57 c 9.53955 10.8711 561 535284 47.49/47.57 o 4838 47.70/47.77 c 9.59354 10.8711 508 537125 47.70/47.77 o 4793 47.79/47.83 c 9.60254 10.8711 695 537670 47.79/47.83 o 4710 48.19/48.29 c 9.67153 10.8711 662 541286 48.19/48.29 o 4671 48.70/48.78 c 9.74252 10.8711 688 545337 48.70/48.78 o 4624 49.19/49.20 c 9.83051 10.8711 727 547958 49.19/49.20 o 4608 49.39/49.44 c 9.8745 10.8711 682 549852 49.39/49.44 o 4421 49.69/49.78 c 9.94649 10.8711 573 552711 49.69/49.78 o 4400 49.89/49.91 c 9.96548 10.8711 649 554047 49.89/49.91 o 4345 51.19/51.24 c 10.1755 10.8711 949 565766 51.19/51.24 o 4234 51.29/51.36 c 10.1895 10.8711 471 566922 51.29/51.36 o 4153 51.39/51.41 c 10.1994 10.8711 629 567431 51.39/51.41 o 4096 51.49/51.55 c 10.2124 10.8711 680 568483 51.49/51.55 o 4080 51.70/51.74 c 10.2594 10.8711 857 569916 51.70/51.74 o 4015 51.70/51.78 c 10.2714 10.8711 520 570189 51.70/51.78 o 3954 51.79/51.83 c 10.2854 10.9922 669 570690 51.79/51.83 o 3858 51.79/51.88 c 10.2964 10.9922 440 571279 51.79/51.88 o 3839 51.89/51.93 c 10.3054 10.9922 597 571789 51.89/51.93 o 3828 52.09/52.17 c 10.3484 10.9922 732 574443 52.09/52.17 o 3810 52.19/52.24 c 10.3674 10.9922 552 575016 52.19/52.24 o 3788 52.99/53.04 c 10.5804 10.9922 776 581014 52.99/53.04 o 3755 53.09/53.17 c 10.6094 10.9922 873 582073 53.09/53.17 o 3679 53.90/53.94 c 10.7734 10.9922 509 588330 53.90/53.94 o 3597 53.90/53.96 c 10.7774 10.9922 573 588532 53.90/53.96 o 3589 54.19/54.27 c 10.8464 10.9922 672 590751 54.19/54.27 o 3533 54.59/54.69 c 10.8903 10.9922 789 593928 54.59/54.69 o 3525 54.90/54.99 c 10.9463 10.9922 533 596484 54.90/54.99 o 3511 55.49/55.57 c 11.0323 10.9922 788 601000 55.49/55.57 o 3402 55.59/55.65 c 11.0463 10.9922 662 601570 55.59/55.65 o 3383 55.79/55.86 c 11.0973 10.9922 886 603165 55.79/55.86 o 3319 56.89/56.98 c 11.2663 10.9922 692 611141 56.89/56.98 o 3227 57.10/57.18 c 11.3093 10.9922 661 613015 57.10/57.18 o 3177 57.20/57.25 c 11.3183 10.9922 493 613798 57.20/57.25 o 3057 57.39/57.48 c 11.3503 10.9922 894 615659 57.39/57.48 o 3044 57.49/57.58 c 11.3643 10.9922 790 616599 57.49/57.58 o 3034 57.70/57.78 c 11.4043 10.9922 598 618025 57.70/57.78 o 3021 57.79/57.87 c 11.4233 10.9922 468 618813 57.79/57.87 o 2996 57.89/57.90 c 11.4383 10.9922 549 619106 57.89/57.90 o 2955 57.89/57.98 c 11.4553 10.9922 816 619761 57.89/57.98 o 2923 57.99/58.03 c 11.4633 10.9922 568 620361 57.99/58.03 o 2839 58.20/58.23 c 11.4863 10.9922 763 621805 58.20/58.23 o 2830 58.39/58.41 c 11.5122 10.9922 482 623154 58.39/58.41 o 2726 58.49/58.58 c 11.5322 10.9922 661 624519 58.49/58.58 o 2683 58.59/58.60 c 11.5362 10.9922 698 624694 58.59/58.60 o 2676 58.59/58.69 c 11.5522 10.9922 594 625528 58.59/58.69 o 2671 58.69/58.78 c 11.5822 10.9922 443 626222 58.69/58.78 o 2668 58.89/59.00 c 11.6352 10.9922 638 627782 58.89/59.00 o 2662 59.09/59.11 c 11.6682 10.9922 559 628669 59.09/59.11 o 2657 59.20/59.28 c 11.7212 10.9922 673 629815 59.20/59.28 o 2582 59.69/59.78 c 11.8642 11.1172 876 632593 59.69/59.78 o 2567 59.89/59.90 c 11.8972 11.1172 854 633566 59.89/59.90 o 2564 59.89/59.91 c 11.9032 11.1172 469 633717 59.89/59.91 o 2513 59.89/59.97 c 11.9212 11.1172 626 634157 59.89/59.97 o 2471 59.99/60.07 c 11.9372 11.1172 508 635049 59.99/60.07 o 2350 60.19/60.23 c 11.9662 11.1172 591 636112 60.19/60.23 o 2293 60.19/60.24 c 11.9682 11.1172 632 636295 60.19/60.24 o 2252 60.29/60.31 c 11.9762 11.1172 815 636773 60.29/60.31 o 2233 60.29/60.33 c 11.9802 11.1172 455 636924 60.29/60.33 o 2185 60.59/60.67 c 12.0422 11.1172 607 639304 60.59/60.67 o 2126 61.09/61.15 c 12.1302 11.1172 820 642562 61.09/61.15 o 2085 61.19/61.24 c 12.1412 11.1172 654 643289 61.19/61.24 o 2007 61.30/61.37 c 12.1652 11.1172 670 644449 61.30/61.37 o 1989 61.39/61.40 c 12.1731 11.1172 753 644670 61.39/61.40 o 1968 61.39/61.42 c 12.1781 11.1172 815 644832 61.39/61.42 o 1936 61.39/61.42 c 12.1781 11.1172 417 644898 61.39/61.42 o 1926 61.39/61.44 c 12.1791 11.1172 457 645009 61.39/61.44 o 1906 61.50/61.53 c 12.1981 11.1172 759 645771 61.50/61.53 o 1889 61.50/61.58 c 12.2031 11.1172 487 646254 61.50/61.58 o 1850 61.60/61.69 c 12.2211 11.1172 852 647080 61.60/61.69 o 1848 61.69/61.71 c 12.2241 11.1172 459 647175 61.69/61.71 o 1845 61.69/61.72 c 12.2261 11.1172 495 647309 61.69/61.72 o 1824 62.10/62.17 c 12.3291 11.1172 591 650443 62.10/62.17 o 1808 62.20/62.23 c 12.3351 11.1172 762 650954 62.20/62.23 o 1797 62.29/62.31 c 12.3461 11.1172 556 651561 62.29/62.31 o 1744 62.39/62.48 c 12.3801 11.1172 661 652865 62.39/62.48 o 1743 62.49/62.58 c 12.3911 11.1172 577 653661 62.49/62.58 o 1708 62.60/62.64 c 12.4031 11.1172 763 654127 62.60/62.64 o 1701 62.79/62.90 c 12.4481 11.1172 728 655772 62.79/62.90 o 1672 62.89/62.91 c 12.4491 11.1172 768 655883 62.89/62.91 o 1642 62.89/62.98 c 12.4701 11.2422 568 656370 62.89/62.98 o 1617 62.89/62.99 c 12.4731 11.2422 598 656536 62.89/62.99 o 1537 62.99/63.00 c 12.4731 11.2422 623 656678 62.99/63.00 o 1481 62.99/63.01 c 12.4771 11.2422 649 656815 62.99/63.01 o 1424 62.99/63.03 c 12.4841 11.2422 712 657012 62.99/63.03 o 1383 62.99/63.03 c 12.4851 11.2422 716 657100 62.99/63.03 o 1313 62.99/63.04 c 12.4901 11.2422 744 657212 62.99/63.04 o 1308 62.99/63.09 c 12.5071 11.2422 450 657623 62.99/63.09 o 1199 62.99/63.10 c 12.5091 11.2422 463 657696 62.99/63.10 o 1162 63.09/63.10 c 12.5121 11.2422 476 657816 63.09/63.10 o 1100 63.09/63.12 c 12.5171 11.2422 522 657932 63.09/63.12 o 1064 63.09/63.17 c 12.5271 11.2422 696 658346 63.09/63.17 o 981 63.09/63.17 c 12.5281 11.2422 722 658523 63.09/63.17 o 925 63.09/63.19 c 12.5351 11.2422 799 658725 63.09/63.19 o 885 63.19/63.22 c 12.5421 11.2422 884 658913 63.19/63.22 o 871 63.19/63.22 c 12.5421 11.2422 898 658997 63.19/63.22 o 840 63.19/63.26 c 12.5501 11.2422 543 659334 63.19/63.26 o 791 63.19/63.28 c 12.5531 11.2422 584 659480 63.19/63.28 o 745 63.19/63.28 c 12.5561 11.2422 595 659528 63.19/63.28 o 744 63.19/63.29 c 12.5591 11.2422 631 659635 63.19/63.29 o 719 63.19/63.30 c 12.5591 11.2422 632 659761 63.19/63.30 o 620 63.30/63.31 c 12.5631 11.2422 701 659957 63.30/63.31 o 520 63.30/63.31 c 12.5641 11.2422 714 660006 63.30/63.31 o 493 63.30/63.31 c 12.5641 11.2422 684 660030 63.30/63.31 o 482 63.30/63.32 c 12.5641 11.2422 684 660061 63.30/63.32 o 462 63.30/63.32 c 12.5651 11.2422 685 660089 63.30/63.32 o 456 63.30/63.32 c 12.5671 11.2422 707 660169 63.30/63.32 o 418 63.30/63.33 c 12.5691 11.2422 731 660330 63.30/63.33 o 288 63.30/63.33 c 12.5701 11.2422 738 660436 63.30/63.33 o 200 63.30/63.33 c 12.5711 11.2422 747 660495 63.30/63.33 o 145 63.30/63.33 c 12.5721 11.2422 749 660565 63.30/63.33 o 79 63.30/63.33 c 12.5731 11.2422 749 660584 63.30/63.33 o 65 63.30/63.33 c 12.5731 11.2422 750 660601 63.30/63.33 o 49 63.30/63.33 c 12.5741 11.2422 751 660646 63.30/63.33 o 0 63.30/63.33 c 12.5741 11.2422 751 660646 63.30/63.33 s OPTIMUM FOUND 63.30/63.33 v -x1 x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 -x39 x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60 x61 -x62 x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 -x75 x76 -x77 x78 -x79 x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 -x95 x96 -x97 x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 x111 -x112 -x113 x114 -x115 x116 x117 -x118 -x119 x120 -x121 x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 x151 -x152 -x153 x154 -x155 x156 -x157 x158 x159 -x160 x161 -x162 -x163 x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700096-1278533969/watcher-2700096-1278533969 -o /tmp/evaluation-result-2700096-1278533969/solver-2700096-1278533969 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700096-1278533969.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.82 0.80 0.30 4/182 19056 /proc/meminfo: memFree=28921640/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=2136 CPUtime=0 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 262 0 0 0 0 0 0 0 19 0 1 0 21609615 2187264 181 4089446400 134512640 136421960 4291954400 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/19056/statm: 534 181 144 467 0 65 0 [startup+0.0804069 s] /proc/loadavg: 1.82 0.80 0.30 4/182 19056 /proc/meminfo: memFree=28921640/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10236 CPUtime=0.07 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2275 0 0 0 4 3 0 0 19 0 1 0 21609615 10481664 2189 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2559 2189 238 467 0 2090 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10236 [startup+0.100402 s] /proc/loadavg: 1.82 0.80 0.30 4/182 19056 /proc/meminfo: memFree=28921640/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10236 CPUtime=0.09 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2280 0 0 0 4 5 0 0 19 0 1 0 21609615 10481664 2194 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2559 2194 238 467 0 2090 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10236 [startup+0.300376 s] /proc/loadavg: 1.82 0.80 0.30 4/182 19056 /proc/meminfo: memFree=28921640/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10364 CPUtime=0.29 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2315 0 0 0 9 20 0 0 19 0 1 0 21609615 10612736 2228 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2591 2228 238 467 0 2122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10364 [startup+0.700301 s] /proc/loadavg: 1.82 0.80 0.30 4/182 19056 /proc/meminfo: memFree=28921640/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10364 CPUtime=0.69 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2327 0 0 0 21 48 0 0 19 0 1 0 21609615 10612736 2233 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2591 2233 238 467 0 2122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10364 [startup+1.50018 s] /proc/loadavg: 1.82 0.80 0.30 3/183 19057 /proc/meminfo: memFree=28911960/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10364 CPUtime=1.49 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2354 0 0 0 39 110 0 0 21 0 1 0 21609615 10612736 2247 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2591 2247 238 467 0 2122 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10364 [startup+3.10086 s] /proc/loadavg: 1.82 0.80 0.30 3/183 19058 /proc/meminfo: memFree=28910968/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10492 CPUtime=3.09 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2385 0 0 0 70 239 0 0 25 0 1 0 21609615 10743808 2275 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2623 2275 238 467 0 2154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10492 [startup+6.30027 s] /proc/loadavg: 1.83 0.82 0.31 3/183 19058 /proc/meminfo: memFree=28908024/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10620 CPUtime=6.29 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2419 0 0 0 131 498 0 0 25 0 1 0 21609615 10874880 2298 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2655 2298 238 467 0 2186 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10620 [startup+12.7011 s] /proc/loadavg: 1.85 0.84 0.32 3/183 19058 /proc/meminfo: memFree=28899068/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=10748 CPUtime=12.69 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2462 0 0 0 261 1008 0 0 25 0 1 0 21609615 11005952 2328 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2687 2328 238 467 0 2218 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10748 [startup+25.5007 s] /proc/loadavg: 1.88 0.90 0.35 3/183 19058 /proc/meminfo: memFree=28877020/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11000 CPUtime=25.49 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2546 0 0 0 515 2034 0 0 25 0 1 0 21609615 11264000 2387 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19056/statm: 2750 2387 238 467 0 2281 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11000 [startup+51.101 s] /proc/loadavg: 1.92 0.99 0.39 3/183 19059 /proc/meminfo: memFree=28835684/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11128 CPUtime=51.09 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2671 0 0 0 1015 4094 0 0 25 0 1 0 21609615 11395072 2444 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19056/statm: 2782 2444 238 467 0 2313 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11128 Solver just ended. Dumping a history of the last processes samples [startup+57.5008 s] /proc/loadavg: 1.93 1.00 0.40 3/183 19059 /proc/meminfo: memFree=28824272/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11252 CPUtime=57.49 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2720 0 0 0 1135 4614 0 0 25 0 1 0 21609615 11522048 2468 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19056/statm: 2813 2468 238 467 0 2344 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 11252 [startup+60.7002 s] /proc/loadavg: 1.93 1.02 0.40 3/183 19059 /proc/meminfo: memFree=28818692/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11380 CPUtime=60.69 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2767 0 0 0 1204 4865 0 0 25 0 1 0 21609615 11653120 2490 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19056/statm: 2845 2490 238 467 0 2376 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 11380 [startup+62.3009 s] /proc/loadavg: 1.93 1.02 0.40 3/183 19059 /proc/meminfo: memFree=28817328/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11380 CPUtime=62.29 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2800 0 0 0 1234 4995 0 0 25 0 1 0 21609615 11653120 2509 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19056/statm: 2845 2509 238 467 0 2376 0 Current children cumulated CPU time (s) 62.29 Current children cumulated vsize (KiB) 11380 [startup+63.1008 s] /proc/loadavg: 1.93 1.02 0.40 3/183 19059 /proc/meminfo: memFree=28815460/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11508 CPUtime=63.09 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2825 0 0 0 1250 5059 0 0 25 0 1 0 21609615 11784192 2519 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19056/statm: 2877 2519 238 467 0 2408 0 Current children cumulated CPU time (s) 63.09 Current children cumulated vsize (KiB) 11508 [startup+63.3007 s] /proc/loadavg: 1.93 1.02 0.40 3/183 19059 /proc/meminfo: memFree=28815460/32951124 swapFree=67111528/67111528 [pid=19056] ppid=19054 vsize=11508 CPUtime=63.3 /proc/19056/stat : 19056 (pbct) R 19054 19056 18570 0 -1 4202496 2848 0 0 0 1256 5074 0 0 25 0 1 0 21609615 11784192 2530 4089446400 134512640 136421960 4291954400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19056/statm: 2877 2530 238 467 0 2408 0 Current children cumulated CPU time (s) 63.3 Current children cumulated vsize (KiB) 11508 Child status: 0 Real time (s): 63.3461 CPU time (s): 63.3464 CPU user time (s): 12.5821 CPU system time (s): 50.7643 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 11508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.5821 system time used= 50.7643 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2871 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= 1 involuntary context switches= 524 runsolver used 0.107983 second user time and 0.249962 second system time The end
Begin job on node135 at 2010-07-07 22:19:29 IDJOB=2700096 IDBENCH=79399 IDSOLVER=1208 FILE ID=node135/2700096-1278533969 PBS_JOBID= 11239207 Free space on /tmp= 73752 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh218_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700096-1278533969/watcher-2700096-1278533969 -o /tmp/evaluation-result-2700096-1278533969/solver-2700096-1278533969 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700096-1278533969.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e9977e481ed86e7573c7f989943259e1 RANDOM SEED=1689275231 node135.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7358.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28921548 kB Buffers: 121188 kB Cached: 3550676 kB SwapCached: 0 kB Active: 2081908 kB Inactive: 1803532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28921548 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2156 kB Writeback: 0 kB AnonPages: 214040 kB Mapped: 17516 kB Slab: 79724 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 359948 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73748 MiB End job on node135 at 2010-07-07 22:20:32