Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 63.3964 | 63.3953 |
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.2 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.032994 9.78906 1 1855 0.00/0.03 o 20150 0.00/0.03 c 0.032994 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.036994 10 3 4284 0.00/0.04 o 14439 0.19/0.24 c 0.159975 10 477 8173 0.19/0.24 o 13894 0.39/0.41 c 0.253961 10.125 896 10164 0.39/0.41 o 13840 0.39/0.44 c 0.271958 10.125 576 10853 0.39/0.44 o 13735 0.39/0.46 c 0.289955 10.125 338 11403 0.39/0.46 o 13671 0.39/0.46 c 0.292955 10.125 344 11636 0.39/0.46 o 13622 0.39/0.49 c 0.306953 10.125 496 12258 0.39/0.49 o 13505 0.49/0.54 c 0.333949 10.125 688 12963 0.49/0.54 o 13496 0.49/0.56 c 0.342947 10.125 408 13278 0.49/0.56 o 13476 0.89/0.92 c 0.578911 10.125 654 18462 0.89/0.92 o 13275 0.99/1.03 c 0.637903 10.125 680 20992 0.99/1.03 o 13134 0.99/1.08 c 0.666898 10.125 343 22240 0.99/1.08 o 12953 0.99/1.08 c 0.667898 10.125 343 22677 0.99/1.08 o 12818 0.99/1.08 c 0.668898 10.125 343 23058 0.99/1.08 o 12728 0.99/1.08 c 0.668898 10.125 345 23394 0.99/1.08 o 12659 0.99/1.09 c 0.669898 10.125 346 24080 0.99/1.09 o 12157 0.99/1.09 c 0.674897 10.125 363 24450 0.99/1.09 o 11916 1.19/1.27 c 0.780881 10.125 465 27402 1.19/1.27 o 11816 1.19/1.27 c 0.78288 10.125 466 27819 1.19/1.27 o 11579 1.29/1.31 c 0.806877 10.125 629 28551 1.29/1.31 o 11406 1.39/1.47 c 0.903862 10.125 628 31220 1.39/1.47 o 11386 1.49/1.52 c 0.940856 10.125 616 32220 1.49/1.52 o 11241 1.99/2.08 c 1.28181 10.25 614 41570 1.99/2.08 o 11169 2.19/2.25 c 1.38779 10.25 430 44334 2.19/2.25 o 10979 2.39/2.42 c 1.50477 10.25 615 47060 2.39/2.42 o 10907 3.29/3.37 c 2.11568 10.25 677 60570 3.29/3.37 o 10822 3.69/3.73 c 2.34064 10.25 616 65541 3.69/3.73 o 10815 3.69/3.75 c 2.35264 10.25 387 66093 3.69/3.75 o 10732 3.69/3.79 c 2.36864 10.25 537 66605 3.69/3.79 o 10730 3.89/3.97 c 2.47562 10.25 684 69114 3.89/3.97 o 10702 3.99/4.01 c 2.49762 10.25 569 69939 3.99/4.01 o 10669 3.99/4.06 c 2.52761 10.25 414 70616 3.99/4.06 o 10656 4.09/4.20 c 2.6106 10.25 575 72048 4.09/4.20 o 10638 4.19/4.24 c 2.6456 10.25 474 72883 4.19/4.24 o 10605 4.29/4.31 c 2.69559 10.25 528 74139 4.29/4.31 o 10473 6.09/6.17 c 3.75943 10.375 502 96605 6.09/6.17 o 10154 6.89/6.92 c 4.12537 10.375 851 106184 6.89/6.92 o 10120 7.19/7.23 c 4.31734 10.375 838 110428 7.19/7.23 o 10000 7.19/7.29 c 4.35334 10.375 769 111696 7.19/7.29 o 9958 7.79/7.82 c 4.66629 10.375 456 118398 7.79/7.82 o 9796 7.89/7.99 c 4.77527 10.375 621 120801 7.89/7.99 o 9627 8.09/8.12 c 4.86626 10.375 591 122930 8.09/8.12 o 9613 8.49/8.58 c 5.15721 10.375 428 128868 8.49/8.58 o 9546 9.69/9.74 c 5.8901 10.375 748 139196 9.69/9.74 o 9528 10.99/11.04 c 6.70298 10.5 748 155022 10.99/11.04 o 9513 11.09/11.16 c 6.77097 10.5 689 157285 11.09/11.16 o 9329 11.09/11.18 c 6.78697 10.5 481 157795 11.09/11.18 o 9313 11.89/11.94 c 7.2209 10.5 666 168750 11.89/11.94 o 9252 12.00/12.01 c 7.2539 10.5 698 169698 12.00/12.01 o 9204 12.69/12.79 c 7.64384 10.5 422 179818 12.69/12.79 o 9199 14.30/14.39 c 8.49171 10.5 483 196779 14.30/14.39 o 9121 14.39/14.46 c 8.5427 10.5 525 197964 14.39/14.46 o 9113 14.69/14.72 c 8.69768 10.5 662 201388 14.69/14.72 o 9111 14.89/14.92 c 8.83566 10.5 806 203716 14.89/14.92 o 9105 14.89/14.95 c 8.85265 10.5 553 204311 14.89/14.95 o 9026 16.09/16.10 c 9.59454 10.5 777 218933 16.09/16.10 o 9023 16.19/16.20 c 9.65953 10.5 487 220361 16.19/16.20 o 9008 16.19/16.24 c 9.68053 10.5 704 221029 16.19/16.24 o 8932 16.79/16.82 c 10.0305 10.5 659 226814 16.79/16.82 o 8888 17.29/17.33 c 10.3424 10.6211 596 231862 17.29/17.33 o 8886 17.89/17.91 c 10.7144 10.6211 573 238392 17.89/17.91 o 8875 17.89/17.97 c 10.7504 10.6211 532 239366 17.89/17.97 o 8754 18.89/18.95 c 11.3553 10.6211 505 251168 18.89/18.95 o 8732 18.99/19.08 c 11.4103 10.6211 452 253345 18.99/19.08 o 8639 19.59/19.64 c 11.6132 10.6211 561 261812 19.59/19.64 o 8563 20.09/20.11 c 11.8312 10.6211 556 265934 20.09/20.11 o 8487 21.10/21.19 c 12.5041 10.6211 649 279682 21.10/21.19 o 8435 21.19/21.28 c 12.5511 10.6211 617 280588 21.19/21.28 o 8337 21.49/21.55 c 12.7191 10.6211 418 283900 21.49/21.55 o 8296 22.29/22.37 c 13.222 10.6211 516 293994 22.29/22.37 o 8222 23.29/23.32 c 13.8019 10.6211 644 302401 23.29/23.32 o 8212 24.99/25.02 c 14.8627 10.7461 879 316669 24.99/25.02 o 8192 24.99/25.08 c 14.8937 10.7461 635 317264 24.99/25.08 o 8160 25.20/25.27 c 15.0077 10.7461 542 320384 25.20/25.27 o 8075 26.40/26.50 c 15.5496 10.7461 809 333451 26.40/26.50 o 8023 26.69/26.72 c 15.6466 10.7461 756 336440 26.69/26.72 o 7965 26.69/26.77 c 15.6786 10.7461 577 337144 26.69/26.77 o 7918 26.79/26.83 c 15.7166 10.7461 453 338075 26.79/26.83 o 7814 26.79/26.88 c 15.7466 10.7461 674 338832 26.79/26.88 o 7706 26.89/26.92 c 15.7606 10.7461 453 339382 26.89/26.92 o 7690 27.00/27.05 c 15.8436 10.7461 703 341181 27.00/27.05 o 7571 27.09/27.18 c 15.9266 10.7461 446 342800 27.09/27.18 o 7519 27.40/27.47 c 16.1016 10.7461 918 345476 27.40/27.47 o 7425 27.49/27.54 c 16.1365 10.7461 810 346338 27.49/27.54 o 7422 27.89/27.90 c 16.3695 10.7461 765 350382 27.89/27.90 o 7411 28.50/28.51 c 16.7475 10.7461 645 357737 28.50/28.51 o 7314 29.69/29.74 c 17.4963 10.7461 544 368954 29.69/29.74 o 7311 29.79/29.83 c 17.5503 10.7461 997 370307 29.79/29.83 o 7084 30.39/30.48 c 17.9413 10.7461 528 377722 30.39/30.48 o 7064 30.49/30.51 c 17.9623 10.7461 715 378246 30.49/30.51 o 6983 30.70/30.72 c 18.0912 10.7461 431 380661 30.70/30.72 o 6953 30.80/30.84 c 18.1602 10.7461 811 381691 30.80/30.84 o 6912 31.19/31.22 c 18.3742 10.7461 648 385091 31.19/31.22 o 6900 31.29/31.38 c 18.4822 10.7461 585 387112 31.29/31.39 o 6874 31.59/31.68 c 18.6542 10.7461 990 390180 31.59/31.68 o 6870 31.99/32.07 c 18.8851 10.7461 627 393934 31.99/32.07 o 6833 32.19/32.25 c 18.9401 10.7461 508 395542 32.19/32.25 o 6811 32.49/32.56 c 19.0541 10.7461 576 398742 32.49/32.56 o 6808 32.59/32.61 c 19.0681 10.7461 755 399346 32.59/32.61 o 6790 33.09/33.13 c 19.3031 10.7461 649 405417 33.09/33.13 o 6736 33.79/33.88 c 19.735 10.7461 526 411251 33.79/33.88 o 6716 33.99/34.02 c 19.821 10.7461 419 413036 33.99/34.02 o 6617 34.10/34.10 c 19.872 10.7461 408 414035 34.10/34.10 o 6587 34.10/34.17 c 19.903 10.7461 685 414758 34.10/34.17 o 6561 34.19/34.23 c 19.947 10.7461 557 415448 34.19/34.23 o 6525 34.89/34.96 c 20.4019 10.7461 945 422021 34.89/34.96 o 6324 34.99/35.07 c 20.4769 10.7461 520 423330 34.99/35.07 o 6232 35.20/35.26 c 20.5919 10.7461 947 425263 35.20/35.26 o 6207 35.29/35.37 c 20.6519 10.7461 514 426614 35.29/35.37 o 6097 35.29/35.40 c 20.6619 10.7461 599 426928 35.29/35.40 o 6024 35.50/35.53 c 20.7438 10.7461 708 428608 35.50/35.53 o 5949 35.50/35.57 c 20.7738 10.7461 441 429117 35.50/35.57 o 5897 36.09/36.12 c 21.0968 10.7461 573 434379 36.09/36.12 o 5896 38.49/38.50 c 22.5686 10.8711 783 454275 38.49/38.50 o 5865 38.49/38.55 c 22.6006 10.8711 550 454730 38.49/38.55 o 5828 38.69/38.73 c 22.6866 10.8711 960 456580 38.69/38.73 o 5813 41.29/41.30 c 23.9944 10.8711 615 479945 41.29/41.30 o 5754 41.39/41.41 c 24.0693 10.8711 572 481054 41.39/41.41 o 5735 41.59/41.62 c 24.2063 10.8711 583 483151 41.59/41.62 o 5731 41.59/41.69 c 24.2503 10.8711 806 483803 41.59/41.69 o 5701 41.89/41.93 c 24.3933 10.8711 991 486494 41.89/41.93 o 5604 42.19/42.20 c 24.5483 10.8711 775 489510 42.19/42.20 o 5563 42.79/42.85 c 24.9642 10.8711 667 494555 42.79/42.85 o 5507 43.19/43.24 c 25.1982 10.8711 490 498450 43.19/43.24 o 5419 44.00/44.05 c 25.6871 10.8711 454 504631 44.00/44.05 o 5299 44.90/44.95 c 26.249 10.8711 628 512952 44.90/44.95 o 5298 44.99/45.02 c 26.291 10.8711 444 513629 44.99/45.02 o 5296 45.09/45.15 c 26.364 10.8711 493 514865 45.09/45.15 o 5278 46.29/46.30 c 26.8389 10.8711 841 522961 46.29/46.30 o 5175 46.59/46.62 c 27.0109 10.8711 668 525911 46.59/46.62 o 5099 46.90/46.96 c 27.2109 10.8711 717 529125 46.90/46.96 o 4997 47.49/47.53 c 27.5578 10.8711 721 534423 47.49/47.53 o 4929 47.49/47.59 c 27.5918 10.8711 532 535088 47.49/47.59 o 4920 47.59/47.60 c 27.5998 10.8711 561 535284 47.59/47.60 o 4838 47.79/47.80 c 27.7118 10.8711 508 537125 47.79/47.80 o 4793 47.79/47.86 c 27.7468 10.8711 695 537670 47.79/47.86 o 4710 48.29/48.32 c 28.0277 10.8711 662 541286 48.29/48.32 o 4671 48.79/48.82 c 28.3247 10.8711 688 545337 48.79/48.82 o 4624 49.19/49.23 c 28.5707 10.8711 727 547958 49.19/49.23 o 4608 49.40/49.47 c 28.7326 10.8711 682 549852 49.40/49.47 o 4421 49.79/49.81 c 28.9386 10.8711 573 552711 49.79/49.81 o 4400 49.89/49.94 c 29.0176 10.8711 649 554047 49.89/49.94 o 4345 51.20/51.27 c 29.8325 10.8711 949 565766 51.20/51.27 o 4234 51.30/51.39 c 29.9085 10.8711 471 566922 51.30/51.39 o 4153 51.39/51.44 c 29.9444 10.8711 629 567431 51.39/51.44 o 4096 51.50/51.59 c 30.0364 10.8711 680 568483 51.50/51.59 o 4080 51.69/51.77 c 30.1384 10.8711 857 569916 51.69/51.77 o 4015 51.79/51.81 c 30.1534 10.8711 520 570189 51.79/51.81 o 3954 51.79/51.86 c 30.1754 10.9922 669 570690 51.79/51.86 o 3858 51.89/51.92 c 30.1934 10.9922 440 571279 51.89/51.92 o 3839 51.89/51.97 c 30.2054 10.9922 597 571789 51.89/51.97 o 3828 52.19/52.21 c 30.2904 10.9922 732 574443 52.19/52.21 o 3810 52.19/52.28 c 30.3154 10.9922 552 575016 52.19/52.28 o 3788 52.99/53.07 c 30.7003 10.9922 776 581014 52.99/53.07 o 3755 53.19/53.21 c 30.7883 10.9922 873 582073 53.19/53.21 o 3679 53.89/53.97 c 31.2542 10.9922 509 588330 53.89/53.97 o 3597 53.89/53.99 c 31.2652 10.9922 573 588532 53.89/53.99 o 3589 54.30/54.31 c 31.4462 10.9922 672 590751 54.30/54.31 o 3533 54.69/54.73 c 31.7042 10.9922 789 593928 54.69/54.73 o 3525 55.00/55.02 c 31.8852 10.9922 533 596484 55.00/55.02 o 3511 55.59/55.61 c 32.2461 10.9922 788 601000 55.59/55.61 o 3402 55.59/55.69 c 32.2931 10.9922 662 601570 55.59/55.69 o 3383 55.80/55.89 c 32.4231 10.9922 886 603165 55.80/55.89 o 3319 56.99/57.02 c 33.127 10.9922 692 611141 56.99/57.02 o 3227 57.20/57.22 c 33.2399 10.9922 661 613015 57.20/57.22 o 3177 57.20/57.29 c 33.2809 10.9922 493 613798 57.20/57.29 o 3057 57.49/57.52 c 33.4179 10.9922 894 615659 57.49/57.52 o 3044 57.59/57.62 c 33.4759 10.9922 790 616599 57.59/57.62 o 3034 57.79/57.82 c 33.6049 10.9922 598 618025 57.79/57.82 o 3021 57.89/57.91 c 33.6599 10.9922 468 618813 57.89/57.91 o 2996 57.89/57.94 c 33.6779 10.9922 549 619106 57.89/57.94 o 2955 57.99/58.02 c 33.7279 10.9922 816 619761 57.99/58.02 o 2923 57.99/58.07 c 33.7619 10.9922 568 620361 57.99/58.07 o 2839 58.20/58.27 c 33.8778 10.9922 763 621805 58.20/58.27 o 2830 58.39/58.45 c 33.9508 10.9922 482 623154 58.39/58.45 o 2726 58.59/58.62 c 34.0068 10.9922 661 624519 58.59/58.62 o 2683 58.59/58.64 c 34.0118 10.9922 698 624694 58.59/58.64 o 2676 58.69/58.73 c 34.0398 10.9922 594 625528 58.69/58.73 o 2671 58.80/58.82 c 34.0718 10.9922 443 626222 58.80/58.82 o 2668 58.99/59.04 c 34.1538 10.9922 638 627782 58.99/59.04 o 2662 59.09/59.15 c 34.1968 10.9922 559 628669 59.09/59.15 o 2657 59.30/59.32 c 34.2838 10.9922 673 629815 59.30/59.32 o 2582 59.79/59.82 c 34.5697 11.1172 876 632593 59.79/59.82 o 2567 59.90/59.94 c 34.6437 11.1172 854 633566 59.90/59.94 o 2564 59.90/59.95 c 34.6517 11.1172 469 633717 59.90/59.95 o 2513 59.99/60.01 c 34.6957 11.1172 626 634157 59.99/60.01 o 2471 60.09/60.11 c 34.7537 11.1172 508 635049 60.09/60.11 o 2350 60.19/60.27 c 34.8517 11.1172 591 636112 60.19/60.27 o 2293 60.19/60.28 c 34.8617 11.1172 632 636295 60.19/60.28 o 2252 60.29/60.35 c 34.9077 11.1172 815 636773 60.29/60.35 o 2233 60.29/60.37 c 34.9197 11.1172 455 636924 60.29/60.37 o 2185 60.69/60.71 c 35.1417 11.1172 607 639304 60.69/60.71 o 2126 61.19/61.20 c 35.4406 11.1172 820 642562 61.19/61.20 o 2085 61.19/61.28 c 35.4936 11.1172 654 643289 61.19/61.28 o 2007 61.39/61.42 c 35.5676 11.1172 670 644449 61.39/61.42 o 1989 61.39/61.45 c 35.5856 11.1172 753 644670 61.39/61.45 o 1968 61.39/61.46 c 35.5986 11.1172 815 644832 61.39/61.46 o 1936 61.39/61.47 c 35.6016 11.1172 417 644898 61.39/61.47 o 1926 61.39/61.49 c 35.6146 11.1172 457 645009 61.39/61.49 o 1906 61.50/61.58 c 35.6766 11.1172 759 645771 61.50/61.58 o 1889 61.60/61.63 c 35.7086 11.1172 487 646254 61.60/61.63 o 1850 61.69/61.74 c 35.7786 11.1172 852 647080 61.69/61.74 o 1848 61.69/61.75 c 35.7906 11.1172 459 647175 61.69/61.75 o 1845 61.69/61.76 c 35.7976 11.1172 495 647309 61.69/61.76 o 1824 62.19/62.22 c 36.0765 11.1172 591 650443 62.19/62.22 o 1808 62.19/62.28 c 36.1095 11.1172 762 650954 62.19/62.28 o 1797 62.29/62.36 c 36.1655 11.1172 556 651561 62.29/62.36 o 1744 62.49/62.53 c 36.2695 11.1172 661 652865 62.49/62.53 o 1743 62.60/62.62 c 36.3295 11.1172 577 653661 62.60/62.62 o 1708 62.60/62.69 c 36.3685 11.1172 763 654127 62.60/62.69 o 1701 62.89/62.94 c 36.5334 11.1172 728 655772 62.89/62.94 o 1672 62.89/62.96 c 36.5434 11.1172 768 655883 62.89/62.96 o 1642 62.99/63.03 c 36.5904 11.2422 568 656370 62.99/63.03 o 1617 62.99/63.04 c 36.5964 11.2422 598 656536 62.99/63.04 o 1537 62.99/63.05 c 36.6004 11.2422 623 656678 62.99/63.05 o 1481 62.99/63.06 c 36.6084 11.2422 649 656815 62.99/63.06 o 1424 62.99/63.08 c 36.6204 11.2422 712 657012 62.99/63.08 o 1383 62.99/63.08 c 36.6214 11.2422 716 657100 62.99/63.08 o 1313 62.99/63.09 c 36.6244 11.2422 744 657212 62.99/63.09 o 1308 63.10/63.14 c 36.6644 11.2422 450 657623 63.10/63.14 o 1199 63.10/63.14 c 36.6654 11.2422 463 657696 63.10/63.14 o 1162 63.10/63.15 c 36.6704 11.2422 476 657816 63.10/63.15 o 1100 63.10/63.17 c 36.6864 11.2422 522 657932 63.10/63.17 o 1064 63.19/63.22 c 36.7194 11.2422 696 658346 63.19/63.22 o 981 63.19/63.22 c 36.7244 11.2422 722 658523 63.19/63.22 o 925 63.19/63.24 c 36.7384 11.2422 799 658725 63.19/63.24 o 885 63.19/63.27 c 36.7534 11.2422 884 658913 63.19/63.27 o 871 63.19/63.27 c 36.7584 11.2422 898 658997 63.19/63.27 o 840 63.29/63.31 c 36.7884 11.2422 543 659334 63.29/63.31 o 791 63.29/63.33 c 36.7954 11.2422 584 659480 63.29/63.33 o 745 63.29/63.33 c 36.7984 11.2422 595 659528 63.29/63.33 o 744 63.29/63.34 c 36.8044 11.2422 631 659635 63.29/63.34 o 719 63.29/63.34 c 36.8084 11.2422 632 659761 63.29/63.34 o 620 63.29/63.36 c 36.8184 11.2422 701 659957 63.29/63.36 o 520 63.29/63.36 c 36.8204 11.2422 714 660006 63.29/63.36 o 493 63.29/63.36 c 36.8214 11.2422 684 660030 63.29/63.36 o 482 63.29/63.36 c 36.8224 11.2422 684 660061 63.29/63.36 o 462 63.29/63.37 c 36.8234 11.2422 685 660089 63.29/63.37 o 456 63.29/63.37 c 36.8274 11.2422 707 660169 63.29/63.37 o 418 63.29/63.38 c 36.8294 11.2422 731 660330 63.29/63.38 o 288 63.29/63.38 c 36.8304 11.2422 738 660436 63.29/63.38 o 200 63.29/63.38 c 36.8324 11.2422 747 660495 63.29/63.38 o 145 63.29/63.38 c 36.8334 11.2422 749 660565 63.29/63.38 o 79 63.29/63.38 c 36.8344 11.2422 749 660584 63.29/63.38 o 65 63.29/63.38 c 36.8344 11.2422 750 660601 63.29/63.38 o 49 63.29/63.38 c 36.8354 11.2422 751 660646 63.29/63.38 o 0 63.29/63.38 c 36.8354 11.2422 751 660646 63.29/63.38 s OPTIMUM FOUND 63.29/63.38 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-2700099-1278533972/watcher-2700099-1278533972 -o /tmp/evaluation-result-2700099-1278533972/solver-2700099-1278533972 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700099-1278533972.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: 3.68 1.89 0.73 4/178 18736 /proc/meminfo: memFree=28977040/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=2136 CPUtime=0 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 21611077 2187264 181 4089446400 134512640 136422188 4288122848 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18736/statm: 534 181 144 467 0 65 0 [startup+0.0583751 s] /proc/loadavg: 3.68 1.89 0.73 4/178 18736 /proc/meminfo: memFree=28977040/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10236 CPUtime=0.05 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2271 0 0 0 4 1 0 0 25 0 1 0 21611077 10481664 2185 4089446400 134512640 136422188 4288122848 18446744073709551615 135682002 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18736/statm: 2559 2185 238 467 0 2090 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10236 [startup+0.100306 s] /proc/loadavg: 3.68 1.89 0.73 4/178 18736 /proc/meminfo: memFree=28977040/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10236 CPUtime=0.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2280 0 0 0 6 3 0 0 25 0 1 0 21611077 10481664 2194 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18736/statm: 2559 2194 238 467 0 2090 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10236 [startup+0.300329 s] /proc/loadavg: 3.68 1.89 0.73 4/178 18736 /proc/meminfo: memFree=28977040/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10364 CPUtime=0.29 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2311 0 0 0 19 10 0 0 25 0 1 0 21611077 10612736 2224 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18736/statm: 2591 2224 238 467 0 2122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10364 [startup+0.70026 s] /proc/loadavg: 3.68 1.89 0.73 4/178 18736 /proc/meminfo: memFree=28977040/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10364 CPUtime=0.69 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2326 0 0 0 43 26 0 0 25 0 1 0 21611077 10612736 2232 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2591 2232 238 467 0 2122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10364 [startup+1.50112 s] /proc/loadavg: 3.55 1.89 0.74 3/179 18737 /proc/meminfo: memFree=28966740/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10364 CPUtime=1.49 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2353 0 0 0 92 57 0 0 25 0 1 0 21611077 10612736 2247 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2591 2247 238 467 0 2122 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10364 [startup+3.10083 s] /proc/loadavg: 3.55 1.89 0.74 3/179 18737 /proc/meminfo: memFree=28965684/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10492 CPUtime=3.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2385 0 0 0 193 116 0 0 25 0 1 0 21611077 10743808 2275 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2623 2275 238 467 0 2154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10492 [startup+6.3002 s] /proc/loadavg: 3.55 1.89 0.74 3/179 18737 /proc/meminfo: memFree=28961840/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10620 CPUtime=6.29 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2417 0 0 0 381 248 0 0 25 0 1 0 21611077 10874880 2296 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2655 2296 238 467 0 2186 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10620 [startup+12.7001 s] /proc/loadavg: 3.31 1.90 0.75 3/179 18737 /proc/meminfo: memFree=28953304/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10748 CPUtime=12.69 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2462 0 0 0 760 509 0 0 25 0 1 0 21611077 11005952 2328 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2687 2328 238 467 0 2218 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10748 [startup+25.5008 s] /proc/loadavg: 3.11 1.90 0.76 3/179 18738 /proc/meminfo: memFree=28937024/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11000 CPUtime=25.49 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2546 0 0 0 1515 1034 0 0 25 0 1 0 21611077 11264000 2387 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2750 2387 238 467 0 2281 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11000 [startup+51.1003 s] /proc/loadavg: 2.73 1.91 0.80 3/179 18739 /proc/meminfo: memFree=28907708/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11128 CPUtime=51.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2672 0 0 0 2972 2137 0 0 25 0 1 0 21611077 11395072 2445 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2782 2445 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.5011 s] /proc/loadavg: 2.62 1.91 0.81 3/179 18739 /proc/meminfo: memFree=28896548/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11252 CPUtime=57.49 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2720 0 0 0 3340 2409 0 0 25 0 1 0 21611077 11522048 2469 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2813 2469 238 467 0 2344 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 11252 [startup+60.7005 s] /proc/loadavg: 2.62 1.91 0.81 3/179 18739 /proc/meminfo: memFree=28894188/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11380 CPUtime=60.69 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2766 0 0 0 3512 2557 0 0 25 0 1 0 21611077 11653120 2490 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2845 2490 238 467 0 2376 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 11380 [startup+62.3003 s] /proc/loadavg: 2.57 1.91 0.82 3/179 18739 /proc/meminfo: memFree=28892200/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11380 CPUtime=62.29 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2801 0 0 0 3612 2617 0 0 25 0 1 0 21611077 11653120 2510 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2845 2510 238 467 0 2376 0 Current children cumulated CPU time (s) 62.29 Current children cumulated vsize (KiB) 11380 [startup+63.1011 s] /proc/loadavg: 2.57 1.91 0.82 3/179 18739 /proc/meminfo: memFree=28890960/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11508 CPUtime=63.1 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2823 0 0 0 3663 2647 0 0 25 0 1 0 21611077 11784192 2519 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2877 2519 238 467 0 2408 0 Current children cumulated CPU time (s) 63.1 Current children cumulated vsize (KiB) 11508 [startup+63.3011 s] /proc/loadavg: 2.57 1.91 0.82 3/179 18739 /proc/meminfo: memFree=28890960/32950904 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11508 CPUtime=63.29 /proc/18736/stat : 18736 (pbct) R 18734 18736 17896 0 -1 4202496 2842 0 0 0 3677 2652 0 0 25 0 1 0 21611077 11784192 2529 4089446400 134512640 136422188 4288122848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18736/statm: 2877 2529 238 467 0 2408 0 Current children cumulated CPU time (s) 63.29 Current children cumulated vsize (KiB) 11508 Child status: 0 Real time (s): 63.3953 CPU time (s): 63.3964 CPU user time (s): 36.8434 CPU system time (s): 26.553 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 11508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.8434 system time used= 26.553 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2872 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= 3 involuntary context switches= 55 runsolver used 0.090986 second user time and 0.207968 second system time The end
Begin job on node121 at 2010-07-07 22:19:32 IDJOB=2700099 IDBENCH=79399 IDSOLVER=1212 FILE ID=node121/2700099-1278533972 PBS_JOBID= 11239236 Free space on /tmp= 73664 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2700099-1278533972/watcher-2700099-1278533972 -o /tmp/evaluation-result-2700099-1278533972/solver-2700099-1278533972 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700099-1278533972.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e9977e481ed86e7573c7f989943259e1 RANDOM SEED=2117626649 node121.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.847 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.69 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.847 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 : 5226.15 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.847 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 : 5332.75 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.847 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.82 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.847 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.67 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.847 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.76 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.847 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.82 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.847 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: 32950904 kB MemFree: 28977684 kB Buffers: 131904 kB Cached: 3500400 kB SwapCached: 0 kB Active: 1508416 kB Inactive: 2318652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 28977684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2120 kB Writeback: 0 kB AnonPages: 194284 kB Mapped: 16792 kB Slab: 82448 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 340336 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73664 MiB End job on node121 at 2010-07-07 22:20:35