Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 65.0131 | 65.0107 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo |
MD5SUM | 54ef51abb9454409d6f66c5b853cdf79 |
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 | 95 |
Best CPU time to get the best result obtained on this benchmark | 0.977851 |
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 | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
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 | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
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/850 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.036994 9.94922 1 1951 0.00/0.03 o 22540 0.00/0.04 c 0.038994 10.1133 5 2081 0.00/0.04 o 22508 0.00/0.04 c 0.038994 10.1133 5 2955 0.00/0.04 o 19946 0.00/0.04 c 0.038994 10.1133 5 3837 0.00/0.04 o 16667 0.00/0.05 c 0.039993 10.1133 33 4181 0.00/0.05 o 16601 0.00/0.07 c 0.044993 10.1133 166 4826 0.00/0.07 o 16577 0.00/0.07 c 0.046992 10.2344 191 5115 0.00/0.07 o 16489 0.06/0.08 c 0.050992 10.2344 237 5447 0.06/0.08 o 16439 0.06/0.08 c 0.053991 10.2344 253 5917 0.06/0.08 o 16112 0.06/0.09 c 0.054991 10.2344 272 6203 0.06/0.09 o 16079 0.09/0.12 c 0.06399 10.2344 447 7066 0.09/0.12 o 16000 0.09/0.15 c 0.072988 10.2344 646 8207 0.09/0.15 o 15641 0.09/0.17 c 0.079987 10.2344 463 8952 0.09/0.17 o 15409 0.29/0.36 c 0.133979 10.3594 499 12934 0.29/0.36 o 15021 0.29/0.36 c 0.133979 10.3594 499 13287 0.29/0.36 o 14907 0.29/0.36 c 0.134979 10.3594 513 13733 0.29/0.36 o 14675 0.59/0.66 c 0.203968 10.3594 724 18158 0.59/0.66 o 14189 0.59/0.67 c 0.203968 10.3594 387 18722 0.59/0.67 o 13766 0.59/0.68 c 0.206968 10.3594 422 19080 0.59/0.68 o 13646 0.69/0.75 c 0.217966 10.3594 494 20539 0.69/0.75 o 13582 0.79/0.83 c 0.239963 10.3594 374 22366 0.79/0.83 o 13529 0.79/0.88 c 0.253961 10.3594 343 23654 0.79/0.88 o 13348 0.79/0.88 c 0.25796 10.3594 370 23890 0.79/0.88 o 13336 0.79/0.89 c 0.25796 10.3594 371 24684 0.79/0.89 o 12546 0.79/0.89 c 0.25896 10.3594 371 25194 0.79/0.89 o 12214 0.79/0.89 c 0.25996 10.3594 372 25920 0.79/0.89 o 11556 0.79/0.89 c 0.25996 10.3594 372 26204 0.79/0.89 o 11429 0.79/0.89 c 0.26196 10.3594 372 26724 0.79/0.89 o 10981 0.79/0.90 c 0.26296 10.3594 372 27160 0.79/0.90 o 10643 0.89/0.90 c 0.264959 10.3594 372 27435 0.89/0.90 o 10506 0.89/0.90 c 0.264959 10.3594 372 27711 0.89/0.90 o 10380 0.89/0.90 c 0.264959 10.3594 374 27951 0.89/0.90 o 10295 0.89/0.91 c 0.266959 10.3594 394 28290 0.89/0.91 o 10155 0.99/1.01 c 0.289955 10.3594 530 29949 0.99/1.01 o 9672 0.99/1.09 c 0.313952 10.4844 562 31320 0.99/1.09 o 9538 1.09/1.12 c 0.321951 10.4844 445 32183 1.09/1.12 o 9465 2.89/2.90 c 0.771882 10.4844 504 56112 2.89/2.90 o 9314 2.99/3.01 c 0.791879 10.4844 649 57553 2.99/3.01 o 9254 3.30/3.37 c 0.902862 10.4844 788 63002 3.30/3.37 o 9204 3.59/3.60 c 0.973851 10.4844 855 65391 3.59/3.60 o 9084 4.09/4.16 c 1.12483 10.6094 717 70447 4.09/4.16 o 8887 4.49/4.50 c 1.20382 10.6094 740 74735 4.49/4.50 o 8735 4.49/4.52 c 1.21081 10.6094 476 75242 4.49/4.52 o 8706 4.99/5.02 c 1.35079 10.6094 477 81194 4.99/5.02 o 8396 5.19/5.20 c 1.39479 10.6094 629 83678 5.19/5.20 o 8352 5.89/5.95 c 1.58776 10.6094 513 91031 5.89/5.95 o 8321 9.39/9.47 c 2.51662 10.6094 833 128883 9.39/9.47 o 8241 9.49/9.51 c 2.53161 10.6094 598 129458 9.49/9.51 o 8186 9.90/9.94 c 2.6576 10.6094 665 134814 9.90/9.94 o 8128 10.20/10.23 c 2.73058 10.6094 535 138711 10.20/10.23 o 8085 10.49/10.58 c 2.82357 10.6094 479 142421 10.49/10.58 o 8030 12.29/12.30 c 3.2965 10.7344 883 156943 12.29/12.30 o 7715 12.49/12.56 c 3.37749 10.7344 787 159838 12.49/12.56 o 7675 13.09/13.20 c 3.54346 10.7344 749 166764 13.09/13.20 o 7656 13.20/13.25 c 3.56146 10.7344 654 167880 13.20/13.25 o 7479 13.60/13.61 c 3.66444 10.7344 547 171364 13.60/13.61 o 7406 13.99/14.01 c 3.76643 10.7344 749 175404 13.99/14.01 o 7351 14.39/14.47 c 3.89741 10.7344 673 179795 14.39/14.47 o 7350 15.39/15.49 c 4.18436 10.7344 541 189309 15.39/15.49 o 7312 15.49/15.51 c 4.19236 10.7344 673 189883 15.49/15.51 o 7293 17.79/17.89 c 4.79627 10.7344 618 212854 17.79/17.89 o 7134 18.99/19.09 c 5.12622 10.7344 620 225523 18.99/19.09 o 7027 19.20/19.28 c 5.17921 10.7344 555 227350 19.20/19.28 o 7006 19.49/19.50 c 5.2362 10.7344 723 229703 19.49/19.50 o 7000 20.80/20.84 c 5.60915 10.7344 883 243789 20.80/20.84 o 6952 20.90/20.93 c 5.63314 10.7344 806 244831 20.90/20.93 o 6905 22.50/22.56 c 6.08607 10.7344 697 260509 22.50/22.56 o 6888 23.19/23.25 c 6.27305 10.7344 772 267688 23.19/23.25 o 6884 23.19/23.29 c 6.27904 10.7344 564 268211 23.19/23.29 o 6872 23.39/23.40 c 6.30804 10.7344 777 269857 23.39/23.40 o 6705 24.29/24.35 c 6.563 10.8594 859 280379 24.29/24.35 o 6634 24.39/24.41 c 6.578 10.8594 707 281187 24.39/24.41 o 6610 24.79/24.81 c 6.68398 10.8594 757 285876 24.79/24.81 o 6580 25.09/25.10 c 6.75697 10.8594 771 288725 25.09/25.10 o 6554 27.09/27.14 c 7.28789 10.8594 835 304795 27.09/27.14 o 6495 28.49/28.50 c 7.64884 10.8594 795 315124 28.49/28.50 o 6416 30.49/30.54 c 8.14576 10.8594 526 335759 30.49/30.54 o 6382 31.59/31.61 c 8.44372 10.8594 710 346244 31.59/31.61 o 6247 32.79/32.86 c 8.75367 10.8594 617 360160 32.79/32.86 o 6145 33.69/33.74 c 8.97164 10.8594 488 368812 33.69/33.74 o 6129 34.00/34.09 c 9.06862 10.8594 448 372836 34.00/34.09 o 6121 34.09/34.14 c 9.08162 10.8594 618 373462 34.09/34.14 o 6106 34.19/34.22 c 9.10462 10.8594 626 374486 34.19/34.22 o 6060 34.19/34.28 c 9.11761 10.8594 445 375077 34.19/34.28 o 6000 34.69/34.72 c 9.23959 10.8594 582 379045 34.69/34.72 o 5990 35.79/35.86 c 9.55055 10.8594 758 391933 35.79/35.86 o 5885 36.39/36.48 c 9.71252 10.8594 575 397562 36.39/36.48 o 5872 37.50/37.52 c 9.95949 10.9844 567 407245 37.50/37.52 o 5869 38.79/38.83 c 10.3034 10.9844 698 420414 38.79/38.83 o 5835 38.99/39.02 c 10.3624 10.9844 608 422601 38.99/39.02 o 5573 40.20/40.22 c 10.6874 10.9844 777 432633 40.20/40.22 o 5428 40.29/40.33 c 10.7194 10.9844 765 433812 40.29/40.33 o 5331 40.49/40.56 c 10.7764 10.9844 551 435906 40.49/40.56 o 5295 40.60/40.60 c 10.7914 10.9844 711 436478 40.60/40.60 o 5263 40.69/40.71 c 10.8234 10.9844 707 437481 40.69/40.71 o 5231 41.19/41.22 c 10.9703 10.9844 944 441679 41.19/41.22 o 5189 41.29/41.31 c 10.9903 10.9844 416 442663 41.29/41.31 o 5120 41.50/41.59 c 11.0543 10.9844 546 444947 41.50/41.59 o 5076 41.80/41.89 c 11.1343 10.9844 728 447612 41.80/41.89 o 4975 41.89/41.95 c 11.1483 10.9844 602 448245 41.89/41.95 o 4950 42.09/42.10 c 11.1833 10.9844 666 449426 42.09/42.10 o 4891 42.49/42.59 c 11.3203 10.9844 520 454043 42.49/42.59 o 4888 42.69/42.79 c 11.3693 10.9844 643 455315 42.69/42.79 o 4796 44.39/44.48 c 11.7962 10.9844 562 468452 44.39/44.48 o 4762 44.89/44.91 c 11.9102 10.9844 684 471591 44.89/44.91 o 4719 44.89/44.95 c 11.9242 10.9844 452 472159 44.89/44.95 o 4707 45.00/45.03 c 11.9472 10.9844 744 473083 45.00/45.03 o 4681 45.00/45.07 c 11.9612 10.9844 526 473654 45.00/45.07 o 4573 45.29/45.32 c 12.0262 10.9844 791 476401 45.29/45.32 o 4515 45.79/45.89 c 12.1811 10.9844 569 480668 45.79/45.89 o 4509 46.20/46.21 c 12.2551 10.9844 820 483199 46.20/46.21 o 4398 46.40/46.44 c 12.3211 10.9844 761 485187 46.40/46.44 o 4348 47.49/47.57 c 12.6231 10.9844 672 494412 47.49/47.57 o 4340 47.89/47.91 c 12.6981 10.9844 666 497248 47.89/47.91 o 4291 48.59/48.62 c 12.882 10.9844 750 503509 48.59/48.62 o 4268 48.89/48.95 c 12.966 10.9844 752 506241 48.89/48.95 o 4261 49.00/49.09 c 13.001 10.9844 911 507726 49.00/49.09 o 4177 49.40/49.44 c 13.094 10.9844 629 510014 49.40/49.44 o 4016 49.40/49.45 c 13.097 10.9844 677 510184 49.40/49.45 o 4002 49.50/49.55 c 13.124 10.9844 594 510960 49.50/49.55 o 3963 49.50/49.57 c 13.131 10.9844 655 511218 49.50/49.57 o 3879 49.59/49.66 c 13.143 10.9844 549 511928 49.59/49.66 o 3866 49.70/49.70 c 13.152 10.9844 697 512427 49.70/49.70 o 3789 49.89/49.99 c 13.228 10.9844 908 514931 49.89/49.99 o 3754 50.00/50.08 c 13.252 10.9844 419 516069 50.00/50.08 o 3668 50.49/50.51 c 13.359 10.9844 501 519087 50.49/50.51 o 3617 50.49/50.54 c 13.367 10.9844 617 519456 50.49/50.54 o 3596 50.60/50.68 c 13.404 11.1055 612 520413 50.60/50.68 o 3573 51.89/51.93 c 13.7259 11.1055 703 530576 51.89/51.93 o 3565 52.49/52.53 c 13.8749 11.1055 822 534379 52.49/52.53 o 3497 52.70/52.74 c 13.9299 11.1055 553 535765 52.70/52.74 o 3401 53.80/53.87 c 14.2428 11.1055 481 543762 53.80/53.87 o 3391 53.99/54.01 c 14.2858 11.1055 526 544865 53.99/54.01 o 3381 54.19/54.30 c 14.3598 11.1055 594 547077 54.19/54.30 o 3347 54.39/54.41 c 14.3898 11.1055 952 548149 54.39/54.41 o 3192 54.59/54.62 c 14.4508 11.1055 773 550011 54.59/54.62 o 3145 54.79/54.89 c 14.5288 11.1055 813 552122 54.79/54.89 o 3114 55.19/55.26 c 14.6338 11.1055 677 554859 55.19/55.26 o 2909 55.30/55.35 c 14.6578 11.1055 556 555677 55.30/55.35 o 2836 55.39/55.43 c 14.6808 11.1055 434 556596 55.39/55.43 o 2595 55.49/55.51 c 14.6958 11.1055 654 557285 55.49/55.51 o 2564 55.59/55.62 c 14.7248 11.1055 586 558077 55.59/55.62 o 2561 56.10/56.17 c 14.8717 11.1055 510 561554 56.10/56.17 o 2458 58.20/58.27 c 15.4706 11.1055 536 573322 58.20/58.27 o 2440 60.20/60.26 c 15.8606 11.1055 619 584734 60.20/60.26 o 2383 60.40/60.49 c 15.8986 11.1055 524 586423 60.40/60.49 o 2278 60.60/60.60 c 15.9136 11.1055 495 587338 60.60/60.60 o 2253 60.69/60.76 c 15.9426 11.2383 510 588417 60.69/60.76 o 2229 60.79/60.82 c 15.9516 11.2383 684 588854 60.79/60.82 o 2198 60.90/60.91 c 15.9696 11.2383 565 589447 60.90/60.91 o 2150 60.90/60.96 c 15.9736 11.2383 689 589817 60.90/60.96 o 2130 60.99/61.03 c 15.9846 11.2383 543 590362 60.99/61.03 o 2112 61.19/61.23 c 16.0086 11.2383 662 591969 61.19/61.23 o 1965 61.50/61.54 c 16.0496 11.2383 775 593926 61.50/61.54 o 1901 61.60/61.66 c 16.0686 11.2383 738 594832 61.60/61.66 o 1866 61.79/61.86 c 16.0956 11.2383 887 596125 61.79/61.86 o 1809 62.09/62.18 c 16.1525 11.2383 578 598089 62.09/62.18 o 1802 62.19/62.27 c 16.1665 11.2383 428 598608 62.19/62.27 o 1783 62.49/62.58 c 16.2125 11.2383 441 600602 62.49/62.58 o 1767 62.49/62.60 c 16.2195 11.2383 512 600792 62.49/62.60 o 1732 62.60/62.69 c 16.2415 11.2383 779 601376 62.60/62.69 o 1722 62.70/62.72 c 16.2505 11.2383 457 601630 62.70/62.72 o 1680 63.00/63.02 c 16.2965 11.2383 563 603658 63.00/63.02 o 1667 63.10/63.19 c 16.3295 11.2383 614 604735 63.10/63.19 o 1648 63.30/63.36 c 16.3645 11.2383 721 605880 63.30/63.36 o 1637 63.39/63.43 c 16.3765 11.2383 499 606286 63.39/63.43 o 1632 63.49/63.50 c 16.3885 11.2383 732 606865 63.49/63.50 o 1612 63.89/63.91 c 16.4745 11.2383 804 609328 63.89/63.91 o 1561 63.89/63.97 c 16.4915 11.2383 581 609806 63.89/63.97 o 1542 63.99/64.09 c 16.5225 11.2383 932 610674 63.99/64.09 o 1391 64.09/64.16 c 16.5465 11.2383 656 611138 64.09/64.16 o 1369 64.19/64.21 c 16.5645 11.2383 784 611489 64.19/64.21 o 1324 64.19/64.25 c 16.5755 11.2383 870 611753 64.19/64.25 o 1321 64.19/64.28 c 16.5845 11.2383 515 611928 64.19/64.28 o 1292 64.30/64.30 c 16.5935 11.2383 593 612185 64.30/64.30 o 1238 64.30/64.32 c 16.5965 11.2383 650 612332 64.30/64.32 o 1209 64.30/64.33 c 16.5985 11.2383 654 612386 64.30/64.33 o 1170 64.30/64.33 c 16.5995 11.2383 664 612459 64.30/64.33 o 1148 64.30/64.39 c 16.6145 11.2383 822 612956 64.30/64.39 o 1146 64.39/64.41 c 16.6205 11.2383 453 613129 64.39/64.41 o 1131 64.39/64.42 c 16.6235 11.2383 488 613262 64.39/64.42 o 1098 64.39/64.44 c 16.6325 11.2383 540 613472 64.39/64.44 o 1011 64.39/64.46 c 16.6355 11.2383 609 613711 64.39/64.46 o 940 64.39/64.47 c 16.6375 11.2383 641 613784 64.39/64.47 o 934 64.49/64.51 c 16.6495 11.2383 727 613990 64.49/64.51 o 907 64.49/64.54 c 16.6625 11.2383 836 614220 64.49/64.54 o 894 64.59/64.60 c 16.6905 11.2383 557 614596 64.59/64.60 o 882 64.59/64.60 c 16.6915 11.2383 562 614759 64.59/64.60 o 745 64.70/64.71 c 16.7265 11.2383 905 615353 64.70/64.71 o 732 64.70/64.75 c 16.7405 11.2383 581 615626 64.70/64.75 o 713 64.70/64.76 c 16.7415 11.2383 594 615678 64.70/64.76 o 694 64.70/64.79 c 16.7565 11.2383 707 615998 64.70/64.79 o 597 64.80/64.82 c 16.7685 11.2383 832 616253 64.80/64.82 o 569 64.80/64.88 c 16.7864 11.3633 1065 616726 64.80/64.88 o 559 64.80/64.88 c 16.7874 11.3633 1086 616878 64.80/64.88 o 461 64.80/64.89 c 16.7894 11.3633 1100 616913 64.80/64.89 o 450 64.80/64.90 c 16.7944 11.3633 1160 617055 64.80/64.90 o 414 64.90/64.93 c 16.8084 11.3633 992 617408 64.90/64.93 o 281 64.90/64.94 c 16.8114 11.3633 1045 617507 64.90/64.94 o 235 64.90/64.95 c 16.8154 11.3633 1109 617627 64.90/64.95 o 219 64.90/64.95 c 16.8154 11.3633 742 617674 64.90/64.95 o 210 64.90/64.97 c 16.8214 11.3633 870 617856 64.90/64.97 o 187 64.90/64.97 c 16.8274 11.3633 925 617942 64.90/64.97 o 184 64.90/64.98 c 16.8284 11.3633 751 617981 64.90/64.98 o 145 64.90/64.98 c 16.8304 11.3633 781 618031 64.90/64.98 o 136 64.90/64.98 c 16.8314 11.3633 810 618082 64.90/64.98 o 121 64.90/64.99 c 16.8374 11.3633 888 618183 64.90/64.99 o 112 64.90/65.00 c 16.8384 11.3633 907 618223 64.90/65.00 o 95 64.99/65.00 c 16.8394 11.3633 352 618229 64.99/65.00 s OPTIMUM FOUND 64.99/65.00 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 95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700024-1278533896/watcher-2700024-1278533896 -o /tmp/evaluation-result-2700024-1278533896/solver-2700024-1278533896 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700024-1278533896.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: 0.97 0.25 0.08 3/178 20002 /proc/meminfo: memFree=29939468/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=2136 CPUtime=0 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 21601869 2187264 175 4089446400 134512640 136421960 4288958208 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20002/statm: 534 175 144 467 0 65 0 [startup+0.074949 s] /proc/loadavg: 0.97 0.25 0.08 3/178 20002 /proc/meminfo: memFree=29939468/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10476 CPUtime=0.06 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2335 0 0 0 4 2 0 0 21 0 1 0 21601869 10727424 2248 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2619 2248 238 467 0 2150 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10476 [startup+0.100954 s] /proc/loadavg: 0.97 0.25 0.08 3/178 20002 /proc/meminfo: memFree=29939468/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10476 CPUtime=0.09 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2348 0 0 0 5 4 0 0 21 0 1 0 21601869 10727424 2258 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2619 2258 238 467 0 2150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10476 [startup+0.300907 s] /proc/loadavg: 0.97 0.25 0.08 3/178 20002 /proc/meminfo: memFree=29939468/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10604 CPUtime=0.29 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2379 0 0 0 11 18 0 0 21 0 1 0 21601869 10858496 2286 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2651 2286 238 467 0 2182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10604 [startup+0.700839 s] /proc/loadavg: 0.97 0.25 0.08 3/178 20002 /proc/meminfo: memFree=29939468/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10604 CPUtime=0.69 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2403 0 0 0 21 48 0 0 22 0 1 0 21601869 10858496 2304 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2651 2304 238 467 0 2182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50068 s] /proc/loadavg: 1.06 0.27 0.09 3/179 20003 /proc/meminfo: memFree=29930780/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10732 CPUtime=1.49 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2435 0 0 0 41 108 0 0 25 0 1 0 21601869 10989568 2319 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2683 2319 238 467 0 2214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10732 [startup+3.10037 s] /proc/loadavg: 1.06 0.27 0.09 3/179 20003 /proc/meminfo: memFree=29930780/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10732 CPUtime=3.09 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2447 0 0 0 81 228 0 0 25 0 1 0 21601869 10989568 2329 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2683 2329 238 467 0 2214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.30077 s] /proc/loadavg: 1.06 0.27 0.09 3/179 20003 /proc/meminfo: memFree=29931276/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10860 CPUtime=6.29 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2483 0 0 0 168 461 0 0 25 0 1 0 21601869 11120640 2357 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2715 2357 238 467 0 2246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10860 [startup+12.7006 s] /proc/loadavg: 1.20 0.33 0.11 3/179 20004 /proc/meminfo: memFree=29932064/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=10988 CPUtime=12.69 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2510 0 0 0 341 928 0 0 25 0 1 0 21601869 11251712 2377 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2747 2377 238 467 0 2278 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10988 [startup+25.5001 s] /proc/loadavg: 1.32 0.39 0.13 3/179 20004 /proc/meminfo: memFree=29933148/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11116 CPUtime=25.49 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2571 0 0 0 685 1864 0 0 25 0 1 0 21601869 11382784 2417 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2779 2417 238 467 0 2310 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11116 [startup+51.1003 s] /proc/loadavg: 1.59 0.54 0.19 3/179 20007 /proc/meminfo: memFree=29931840/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11368 CPUtime=51.1 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2688 0 0 0 1349 3761 0 0 25 0 1 0 21601869 11640832 2480 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2842 2480 238 467 0 2373 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 11368 Solver just ended. Dumping a history of the last processes samples [startup+57.5011 s] /proc/loadavg: 1.62 0.56 0.19 4/179 20007 /proc/meminfo: memFree=29931576/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11368 CPUtime=57.49 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2720 0 0 0 1523 4226 0 0 25 0 1 0 21601869 11640832 2497 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2842 2497 238 467 0 2373 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 11368 [startup+60.7005 s] /proc/loadavg: 1.62 0.56 0.19 3/179 20007 /proc/meminfo: memFree=29931452/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11504 CPUtime=60.69 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2743 0 0 0 1593 4476 0 0 25 0 1 0 21601869 11780096 2516 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2876 2516 238 467 0 2407 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 11504 [startup+62.3002 s] /proc/loadavg: 1.73 0.60 0.21 3/179 20007 /proc/meminfo: memFree=29931700/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11504 CPUtime=62.3 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2754 0 0 0 1617 4613 0 0 25 0 1 0 21601869 11780096 2516 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2876 2516 238 467 0 2407 0 Current children cumulated CPU time (s) 62.3 Current children cumulated vsize (KiB) 11504 [startup+63.9008 s] /proc/loadavg: 1.73 0.60 0.21 3/179 20007 /proc/meminfo: memFree=29931572/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11504 CPUtime=63.89 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2771 0 0 0 1646 4743 0 0 25 0 1 0 21601869 11780096 2524 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2876 2524 238 467 0 2407 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 11504 [startup+64.7007 s] /proc/loadavg: 1.73 0.60 0.21 3/179 20007 /proc/meminfo: memFree=29931572/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11504 CPUtime=64.7 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2805 0 0 0 1672 4798 0 0 25 0 1 0 21601869 11780096 2537 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2876 2537 238 467 0 2407 0 Current children cumulated CPU time (s) 64.7 Current children cumulated vsize (KiB) 11504 [startup+64.9057 s] /proc/loadavg: 1.73 0.60 0.21 3/179 20007 /proc/meminfo: memFree=29931448/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11632 CPUtime=64.9 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2829 0 0 0 1679 4811 0 0 25 0 1 0 21601869 11911168 2552 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2908 2552 238 467 0 2439 0 Current children cumulated CPU time (s) 64.9 Current children cumulated vsize (KiB) 11632 [startup+65.0006 s] /proc/loadavg: 1.73 0.60 0.21 3/179 20007 /proc/meminfo: memFree=29931448/32951124 swapFree=67111528/67111528 [pid=20002] ppid=20000 vsize=11632 CPUtime=64.99 /proc/20002/stat : 20002 (pbct) R 20000 20002 19312 0 -1 4202496 2844 0 0 0 1683 4816 0 0 25 0 1 0 21601869 11911168 2556 4089446400 134512640 136421960 4288958208 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20002/statm: 2908 2556 238 467 0 2439 0 Current children cumulated CPU time (s) 64.99 Current children cumulated vsize (KiB) 11632 Child status: 0 Real time (s): 65.0107 CPU time (s): 65.0131 CPU user time (s): 16.8474 CPU system time (s): 48.1657 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 11632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.8474 system time used= 48.1657 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2849 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= 61 runsolver used 0.095985 second user time and 0.213967 second system time The end
Begin job on node141 at 2010-07-07 22:18:16 IDJOB=2700024 IDBENCH=79393 IDSOLVER=1208 FILE ID=node141/2700024-1278533896 PBS_JOBID= 11239196 Free space on /tmp= 73644 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh04_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700024-1278533896/watcher-2700024-1278533896 -o /tmp/evaluation-result-2700024-1278533896/solver-2700024-1278533896 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700024-1278533896.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79 RANDOM SEED=345539729 node141.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 : 5265.34 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 : 5332.82 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.74 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.76 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.75 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.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.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: 29940112 kB Buffers: 141948 kB Cached: 2644216 kB SwapCached: 0 kB Active: 1238572 kB Inactive: 1619604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29940112 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3936 kB Writeback: 0 kB AnonPages: 71612 kB Mapped: 15688 kB Slab: 88468 kB PageTables: 5392 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 211968 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= 73644 MiB End job on node141 at 2010-07-07 22:19:22