Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 65.2131 | 65.212 |
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.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/850 units 0 0.00/0.00 c vars 200 0.02/0.03 c 0.033994 9.94922 1 1951 0.02/0.03 o 22540 0.02/0.04 c 0.033994 10.1133 5 2081 0.02/0.04 o 22508 0.02/0.04 c 0.034994 10.1133 5 2955 0.02/0.04 o 19946 0.02/0.04 c 0.034994 10.1133 5 3837 0.02/0.04 o 16667 0.02/0.05 c 0.036994 10.1133 33 4181 0.02/0.05 o 16601 0.02/0.07 c 0.042993 10.1133 166 4826 0.02/0.07 o 16577 0.02/0.07 c 0.042993 10.2344 191 5115 0.02/0.07 o 16489 0.02/0.08 c 0.045993 10.2344 237 5447 0.02/0.08 o 16439 0.02/0.08 c 0.046992 10.2344 253 5917 0.02/0.08 o 16112 0.02/0.09 c 0.048992 10.2344 272 6203 0.02/0.09 o 16079 0.09/0.12 c 0.054991 10.2344 447 7066 0.09/0.12 o 16000 0.09/0.15 c 0.05999 10.2344 646 8207 0.09/0.15 o 15641 0.09/0.17 c 0.066989 10.2344 463 8952 0.09/0.17 o 15409 0.29/0.36 c 0.124981 10.3594 499 12934 0.29/0.36 o 15021 0.29/0.36 c 0.12598 10.3594 499 13287 0.29/0.36 o 14907 0.29/0.36 c 0.12698 10.3594 513 13733 0.29/0.36 o 14675 0.59/0.66 c 0.205968 10.3594 724 18158 0.59/0.66 o 14189 0.59/0.67 c 0.206968 10.3594 387 18722 0.59/0.67 o 13766 0.59/0.68 c 0.210967 10.3594 422 19080 0.59/0.68 o 13646 0.69/0.75 c 0.225965 10.3594 494 20539 0.69/0.75 o 13582 0.79/0.83 c 0.241963 10.3594 374 22366 0.79/0.83 o 13529 0.79/0.88 c 0.243962 10.3594 343 23654 0.79/0.88 o 13348 0.79/0.89 c 0.243962 10.3594 370 23890 0.79/0.89 o 13336 0.79/0.89 c 0.243962 10.3594 371 24684 0.79/0.89 o 12546 0.79/0.89 c 0.243962 10.3594 371 25194 0.79/0.89 o 12214 0.79/0.89 c 0.243962 10.3594 372 25920 0.79/0.89 o 11556 0.79/0.89 c 0.244962 10.3594 372 26204 0.79/0.89 o 11429 0.79/0.90 c 0.245962 10.3594 372 26724 0.79/0.90 o 10981 0.89/0.90 c 0.245962 10.3594 372 27160 0.89/0.90 o 10643 0.89/0.90 c 0.246962 10.3594 372 27435 0.89/0.90 o 10506 0.89/0.90 c 0.246962 10.3594 372 27711 0.89/0.90 o 10380 0.89/0.90 c 0.248962 10.3594 374 27951 0.89/0.90 o 10295 0.89/0.91 c 0.250961 10.3594 394 28290 0.89/0.91 o 10155 1.00/1.01 c 0.266959 10.3594 530 29949 1.00/1.01 o 9672 1.00/1.09 c 0.287956 10.4844 562 31320 1.00/1.09 o 9538 1.09/1.12 c 0.294955 10.4844 445 32183 1.09/1.12 o 9465 2.89/2.91 c 0.630904 10.4844 504 56112 2.89/2.91 o 9314 2.99/3.02 c 0.6539 10.4844 649 57553 2.99/3.02 o 9254 3.30/3.38 c 0.708892 10.4844 788 63002 3.30/3.38 o 9204 3.59/3.61 c 0.736887 10.4844 855 65391 3.59/3.61 o 9084 4.09/4.17 c 0.833873 10.6094 717 70447 4.09/4.17 o 8887 4.49/4.51 c 0.887865 10.6094 740 74735 4.49/4.51 o 8735 4.49/4.53 c 0.891864 10.6094 476 75242 4.49/4.53 o 8706 4.99/5.04 c 0.970852 10.6094 477 81194 4.99/5.04 o 8396 5.19/5.21 c 0.998848 10.6094 629 83678 5.19/5.21 o 8352 5.89/5.97 c 1.11683 10.6094 513 91031 5.89/5.97 o 8321 9.39/9.49 c 1.83772 10.6094 833 128883 9.39/9.49 o 8241 9.49/9.54 c 1.84372 10.6094 598 129458 9.49/9.54 o 8186 9.90/9.97 c 1.92671 10.6094 665 134814 9.90/9.97 o 8128 10.19/10.26 c 1.9847 10.6094 535 138711 10.19/10.26 o 8085 10.60/10.62 c 2.03369 10.6094 479 142421 10.60/10.62 o 8030 12.29/12.34 c 2.31865 10.7344 883 156943 12.29/12.34 o 7715 12.59/12.60 c 2.36364 10.7344 787 159838 12.59/12.60 o 7675 13.19/13.24 c 2.50662 10.7344 749 166764 13.19/13.24 o 7656 13.19/13.29 c 2.52562 10.7344 654 167880 13.19/13.29 o 7479 13.60/13.65 c 2.6156 10.7344 547 171364 13.60/13.65 o 7406 13.99/14.05 c 2.70159 10.7344 749 175404 13.99/14.05 o 7351 14.50/14.52 c 2.78658 10.7344 673 179795 14.50/14.52 o 7350 15.49/15.53 c 2.96355 10.7344 541 189309 15.49/15.53 o 7312 15.49/15.56 c 2.96755 10.7344 673 189883 15.49/15.56 o 7293 17.89/17.95 c 3.36349 10.7344 618 212854 17.89/17.95 o 7134 19.09/19.15 c 3.56746 10.7344 620 225523 19.09/19.15 o 7027 19.30/19.34 c 3.60045 10.7344 555 227350 19.30/19.34 o 7006 19.49/19.55 c 3.65144 10.7344 723 229703 19.49/19.55 o 7000 20.90/20.91 c 3.9364 10.7344 883 243789 20.90/20.91 o 6952 20.90/20.99 c 3.9534 10.7344 806 244831 20.90/20.99 o 6905 22.59/22.63 c 4.21736 10.7344 697 260509 22.59/22.63 o 6888 23.29/23.32 c 4.33734 10.7344 772 267688 23.29/23.32 o 6884 23.29/23.36 c 4.34934 10.7344 564 268211 23.29/23.36 o 6872 23.39/23.47 c 4.35734 10.7344 777 269857 23.39/23.47 o 6705 24.40/24.42 c 4.54631 10.8594 859 280379 24.40/24.42 o 6634 24.40/24.48 c 4.55531 10.8594 707 281187 24.40/24.48 o 6610 24.79/24.89 c 4.6193 10.8594 757 285876 24.79/24.89 o 6580 25.09/25.18 c 4.65529 10.8594 771 288725 25.09/25.18 o 6554 27.19/27.22 c 5.08423 10.8594 835 304795 27.19/27.22 o 6495 28.50/28.58 c 5.33719 10.8594 795 315124 28.50/28.58 o 6416 30.60/30.63 c 5.70713 10.8594 526 335759 30.60/30.63 o 6382 31.70/31.70 c 5.87111 10.8594 710 346244 31.70/31.70 o 6247 32.89/32.96 c 6.16906 10.8594 617 360160 32.89/32.96 o 6145 33.79/33.84 c 6.36003 10.8594 488 368812 33.79/33.84 o 6129 34.19/34.20 c 6.43802 10.8594 448 372836 34.19/34.20 o 6121 34.19/34.24 c 6.44702 10.8594 618 373462 34.19/34.24 o 6106 34.29/34.32 c 6.47202 10.8594 626 374486 34.29/34.32 o 6060 34.29/34.38 c 6.48201 10.8594 445 375077 34.29/34.38 o 6000 34.79/34.82 c 6.548 10.8594 582 379045 34.79/34.82 o 5990 35.89/35.97 c 6.74697 10.8594 758 391933 35.89/35.97 o 5885 36.49/36.58 c 6.86596 10.8594 575 397562 36.49/36.58 o 5872 37.59/37.63 c 7.04793 10.9844 567 407245 37.59/37.63 o 5869 38.89/38.94 c 7.29289 10.9844 698 420414 38.89/38.94 o 5835 39.09/39.14 c 7.33688 10.9844 608 422601 39.09/39.14 o 5573 40.29/40.34 c 7.67483 10.9844 777 432633 40.29/40.34 o 5428 40.39/40.45 c 7.70283 10.9844 765 433812 40.39/40.45 o 5331 40.60/40.68 c 7.74682 10.9844 551 435906 40.60/40.68 o 5295 40.70/40.72 c 7.75582 10.9844 711 436478 40.70/40.72 o 5263 40.79/40.83 c 7.77782 10.9844 707 437481 40.79/40.83 o 5231 41.29/41.34 c 7.85081 10.9844 944 441679 41.29/41.34 o 5189 41.39/41.44 c 7.8708 10.9844 416 442663 41.39/41.44 o 5120 41.69/41.71 c 7.9128 10.9844 546 444947 41.69/41.71 o 5076 42.00/42.01 c 7.95179 10.9844 728 447612 42.00/42.01 o 4975 42.00/42.08 c 7.96279 10.9844 602 448245 42.00/42.08 o 4950 42.19/42.22 c 7.99378 10.9844 666 449426 42.19/42.22 o 4891 42.69/42.72 c 8.09777 10.9844 520 454043 42.69/42.72 o 4888 42.90/42.92 c 8.12476 10.9844 643 455315 42.90/42.92 o 4796 44.59/44.61 c 8.41872 10.9844 562 468452 44.59/44.61 o 4762 45.00/45.05 c 8.47471 10.9844 684 471591 45.00/45.05 o 4719 45.00/45.08 c 8.47871 10.9844 452 472159 45.00/45.08 o 4707 45.10/45.16 c 8.49171 10.9844 744 473083 45.10/45.16 o 4681 45.19/45.20 c 8.49571 10.9844 526 473654 45.19/45.20 o 4573 45.40/45.45 c 8.5287 10.9844 791 476401 45.40/45.45 o 4515 45.99/46.03 c 8.66168 10.9844 569 480668 45.99/46.03 o 4509 46.29/46.35 c 8.73667 10.9844 820 483199 46.29/46.35 o 4398 46.49/46.58 c 8.79266 10.9844 761 485187 46.49/46.58 o 4348 47.69/47.71 c 8.98763 10.9844 672 494412 47.69/47.71 o 4340 48.00/48.05 c 9.03962 10.9844 666 497248 48.00/48.05 o 4291 48.69/48.76 c 9.16961 10.9844 750 503509 48.69/48.76 o 4268 49.09/49.10 c 9.2066 10.9844 752 506241 49.09/49.10 o 4261 49.19/49.24 c 9.2276 10.9844 911 507726 49.19/49.24 o 4177 49.50/49.59 c 9.27159 10.9844 629 510014 49.50/49.59 o 4016 49.59/49.60 c 9.27359 10.9844 677 510184 49.59/49.60 o 4002 49.69/49.70 c 9.29559 10.9844 594 510960 49.69/49.74 o 3963 49.69/49.74 c 9.30358 10.9844 655 511218 49.69/49.74 o 3879 49.79/49.81 c 9.31758 10.9844 549 511928 49.79/49.81 o 3866 49.79/49.85 c 9.33058 10.9844 697 512427 49.79/49.85 o 3789 50.09/50.14 c 9.37857 10.9844 908 514931 50.09/50.14 o 3754 50.19/50.23 c 9.40957 10.9844 419 516069 50.19/50.23 o 3668 50.60/50.66 c 9.51555 10.9844 501 519087 50.60/50.66 o 3617 50.60/50.69 c 9.51955 10.9844 617 519456 50.60/50.69 o 3596 50.79/50.84 c 9.54355 11.1055 612 520413 50.79/50.84 o 3573 51.99/52.09 c 9.71652 11.1055 703 530576 51.99/52.09 o 3565 52.59/52.69 c 9.8665 11.1055 822 534379 52.59/52.69 o 3497 52.90/52.90 c 9.94149 11.1055 553 535765 52.90/52.90 o 3401 53.99/54.04 c 10.1865 11.1055 481 543762 53.99/54.04 o 3391 54.09/54.18 c 10.2104 11.1055 526 544865 54.09/54.18 o 3381 54.40/54.46 c 10.2644 11.1055 594 547077 54.40/54.46 o 3347 54.50/54.57 c 10.2884 11.1055 952 548149 54.50/54.57 o 3192 54.70/54.78 c 10.3394 11.1055 773 550011 54.70/54.78 o 3145 55.00/55.06 c 10.3924 11.1055 813 552122 55.00/55.06 o 3114 55.39/55.43 c 10.4434 11.1055 677 554859 55.39/55.43 o 2909 55.50/55.53 c 10.4564 11.1055 556 555677 55.50/55.53 o 2836 55.60/55.60 c 10.4724 11.1055 434 556596 55.60/55.60 o 2595 55.60/55.68 c 10.4864 11.1055 654 557285 55.60/55.68 o 2564 55.69/55.79 c 10.5134 11.1055 586 558077 55.69/55.79 o 2561 56.30/56.35 c 10.6274 11.1055 510 561554 56.30/56.35 o 2458 58.40/58.45 c 11.0243 11.1055 536 573322 58.40/58.45 o 2440 60.40/60.45 c 11.5552 11.1055 619 584734 60.40/60.45 o 2383 60.59/60.68 c 11.6132 11.1055 524 586423 60.59/60.68 o 2278 60.69/60.79 c 11.6362 11.1055 495 587338 60.69/60.79 o 2253 60.89/60.95 c 11.6602 11.2383 510 588417 60.89/60.95 o 2229 60.99/61.01 c 11.6712 11.2383 684 588854 60.99/61.01 o 2198 61.09/61.10 c 11.6912 11.2383 565 589447 61.09/61.10 o 2150 61.09/61.15 c 11.7002 11.2383 689 589817 61.09/61.15 o 2130 61.20/61.23 c 11.7202 11.2383 543 590362 61.20/61.23 o 2112 61.39/61.42 c 11.7502 11.2383 662 591969 61.39/61.42 o 1965 61.70/61.74 c 11.7982 11.2383 775 593926 61.70/61.74 o 1901 61.79/61.85 c 11.8122 11.2383 738 594832 61.79/61.85 o 1866 61.99/62.05 c 11.8412 11.2383 887 596125 61.99/62.05 o 1809 62.29/62.37 c 11.9112 11.2383 578 598089 62.29/62.37 o 1802 62.39/62.47 c 11.9292 11.2383 428 598608 62.39/62.47 o 1783 62.70/62.77 c 12.0042 11.2383 441 600602 62.70/62.77 o 1767 62.70/62.79 c 12.0082 11.2383 512 600792 62.70/62.79 o 1732 62.79/62.89 c 12.0272 11.2383 779 601376 62.79/62.89 o 1722 62.89/62.91 c 12.0312 11.2383 457 601630 62.89/62.91 o 1680 63.20/63.22 c 12.0742 11.2383 563 603658 63.20/63.22 o 1667 63.29/63.38 c 12.0912 11.2383 614 604735 63.29/63.38 o 1648 63.49/63.56 c 12.1292 11.2383 721 605880 63.49/63.56 o 1637 63.59/63.63 c 12.1442 11.2383 499 606286 63.59/63.63 o 1632 63.59/63.70 c 12.1512 11.2383 732 606865 63.59/63.70 o 1612 64.09/64.11 c 12.2051 11.2383 804 609328 64.09/64.11 o 1561 64.09/64.17 c 12.2161 11.2383 581 609806 64.09/64.17 o 1542 64.19/64.29 c 12.2461 11.2383 932 610674 64.19/64.29 o 1391 64.29/64.36 c 12.2681 11.2383 656 611138 64.29/64.36 o 1369 64.40/64.41 c 12.2781 11.2383 784 611489 64.40/64.41 o 1324 64.40/64.45 c 12.2831 11.2383 870 611753 64.40/64.45 o 1321 64.40/64.48 c 12.2861 11.2383 515 611928 64.40/64.48 o 1292 64.50/64.50 c 12.2901 11.2383 593 612185 64.50/64.50 o 1238 64.50/64.52 c 12.2941 11.2383 650 612332 64.50/64.52 o 1209 64.50/64.53 c 12.2951 11.2383 654 612386 64.50/64.53 o 1170 64.50/64.53 c 12.2961 11.2383 664 612459 64.50/64.53 o 1148 64.50/64.59 c 12.3031 11.2383 822 612956 64.50/64.59 o 1146 64.59/64.61 c 12.3071 11.2383 453 613129 64.59/64.61 o 1131 64.59/64.62 c 12.3111 11.2383 488 613262 64.59/64.62 o 1098 64.59/64.64 c 12.3151 11.2383 540 613472 64.59/64.64 o 1011 64.59/64.66 c 12.3251 11.2383 609 613711 64.59/64.66 o 940 64.59/64.67 c 12.3281 11.2383 641 613784 64.59/64.67 o 934 64.69/64.71 c 12.3391 11.2383 727 613990 64.69/64.71 o 907 64.69/64.74 c 12.3501 11.2383 836 614220 64.69/64.74 o 894 64.69/64.80 c 12.3711 11.2383 557 614596 64.69/64.80 o 882 64.80/64.80 c 12.3721 11.2383 562 614759 64.80/64.80 o 745 64.90/64.91 c 12.4001 11.2383 905 615353 64.90/64.91 o 732 64.90/64.95 c 12.4161 11.2383 581 615626 64.90/64.95 o 713 64.90/64.96 c 12.4171 11.2383 594 615678 64.90/64.96 o 694 64.90/64.99 c 12.4241 11.2383 707 615998 64.90/64.99 o 597 64.99/65.02 c 12.4301 11.2383 832 616253 64.99/65.02 o 569 64.99/65.08 c 12.4531 11.3633 1065 616726 64.99/65.08 o 559 64.99/65.08 c 12.4551 11.3633 1086 616878 64.99/65.08 o 461 64.99/65.09 c 12.4581 11.3633 1100 616913 64.99/65.09 o 450 65.10/65.10 c 12.4611 11.3633 1160 617055 65.10/65.10 o 414 65.10/65.13 c 12.4711 11.3633 992 617408 65.10/65.13 o 281 65.10/65.14 c 12.4761 11.3633 1045 617507 65.10/65.14 o 235 65.10/65.15 c 12.4841 11.3633 1109 617627 65.10/65.15 o 219 65.10/65.15 c 12.4841 11.3633 742 617674 65.10/65.15 o 210 65.10/65.17 c 12.4941 11.3633 870 617856 65.10/65.17 o 187 65.10/65.18 c 12.4971 11.3633 925 617942 65.10/65.18 o 184 65.10/65.18 c 12.4991 11.3633 751 617981 65.10/65.18 o 145 65.10/65.18 c 12.5021 11.3633 781 618031 65.10/65.18 o 136 65.10/65.18 c 12.5051 11.3633 810 618082 65.10/65.18 o 121 65.10/65.19 c 12.5071 11.3633 888 618183 65.10/65.19 o 112 65.19/65.20 c 12.5091 11.3633 907 618223 65.19/65.20 o 95 65.19/65.20 c 12.5101 11.3633 352 618229 65.19/65.20 s OPTIMUM FOUND 65.19/65.20 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-2700027-1278533903/watcher-2700027-1278533903 -o /tmp/evaluation-result-2700027-1278533903/solver-2700027-1278533903 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700027-1278533903.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.47 0.52 0.18 4/182 19025 /proc/meminfo: memFree=29003752/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=2136 CPUtime=0 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 262 0 0 0 0 0 0 0 21 0 1 0 21603050 2187264 181 4089446400 134512640 136422188 4290289504 18446744073709551615 135160514 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/19025/statm: 534 181 144 467 0 65 0 [startup+0.031878 s] /proc/loadavg: 1.47 0.52 0.18 4/182 19025 /proc/meminfo: memFree=29003752/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=9624 CPUtime=0.02 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2123 0 0 0 2 0 0 0 21 0 1 0 21603050 9854976 2042 4089446400 134512640 136422188 4290289504 18446744073709551615 134842816 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2406 2043 199 467 0 1937 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9624 [startup+0.100863 s] /proc/loadavg: 1.47 0.52 0.18 4/182 19025 /proc/meminfo: memFree=29003752/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10476 CPUtime=0.09 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2350 0 0 0 4 5 0 0 21 0 1 0 21603050 10727424 2259 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2619 2259 238 467 0 2150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10476 [startup+0.300826 s] /proc/loadavg: 1.47 0.52 0.18 4/182 19025 /proc/meminfo: memFree=29003752/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10604 CPUtime=0.29 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2381 0 0 0 11 18 0 0 21 0 1 0 21603050 10858496 2287 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2651 2287 238 467 0 2182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10604 [startup+0.700753 s] /proc/loadavg: 1.47 0.52 0.18 4/182 19025 /proc/meminfo: memFree=29003752/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10604 CPUtime=0.69 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2405 0 0 0 21 48 0 0 22 0 1 0 21603050 10858496 2305 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2651 2305 238 467 0 2182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50062 s] /proc/loadavg: 1.47 0.52 0.18 3/183 19026 /proc/meminfo: memFree=28996284/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10732 CPUtime=1.49 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2436 0 0 0 36 113 0 0 25 0 1 0 21603050 10989568 2319 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2683 2319 238 467 0 2214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10732 [startup+3.10033 s] /proc/loadavg: 1.47 0.52 0.18 3/183 19026 /proc/meminfo: memFree=28993928/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10732 CPUtime=3.09 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2449 0 0 0 66 243 0 0 25 0 1 0 21603050 10989568 2330 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2683 2330 238 467 0 2214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.30074 s] /proc/loadavg: 1.52 0.54 0.19 3/183 19026 /proc/meminfo: memFree=28989588/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10860 CPUtime=6.29 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2485 0 0 0 118 511 0 0 25 0 1 0 21603050 11120640 2358 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2715 2358 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.55 0.56 0.20 3/183 19026 /proc/meminfo: memFree=28981648/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=10988 CPUtime=12.69 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2512 0 0 0 237 1032 0 0 25 0 1 0 21603050 11251712 2378 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2747 2378 238 467 0 2278 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10988 [startup+25.5002 s] /proc/loadavg: 1.65 0.63 0.23 3/183 19026 /proc/meminfo: memFree=28966108/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11116 CPUtime=25.49 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2573 0 0 0 470 2079 0 0 25 0 1 0 21603050 11382784 2418 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19025/statm: 2779 2418 238 467 0 2310 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11116 [startup+51.1004 s] /proc/loadavg: 1.77 0.74 0.27 3/183 19030 /proc/meminfo: memFree=28934076/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11368 CPUtime=51.09 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2690 0 0 0 958 4151 0 0 25 0 1 0 21603050 11640832 2481 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2842 2481 238 467 0 2373 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11368 Solver just ended. Dumping a history of the last processes samples [startup+57.5003 s] /proc/loadavg: 1.79 0.76 0.28 3/183 19030 /proc/meminfo: memFree=28925496/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11368 CPUtime=57.49 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2722 0 0 0 1084 4665 0 0 25 0 1 0 21603050 11640832 2498 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2842 2498 238 467 0 2373 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 11368 [startup+60.7006 s] /proc/loadavg: 1.80 0.78 0.29 3/183 19030 /proc/meminfo: memFree=28921772/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11368 CPUtime=60.69 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2736 0 0 0 1161 4908 0 0 25 0 1 0 21603050 11640832 2509 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2842 2509 238 467 0 2373 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 11368 [startup+62.3004 s] /proc/loadavg: 1.80 0.78 0.29 3/183 19030 /proc/meminfo: memFree=28919292/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11504 CPUtime=62.29 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2754 0 0 0 1189 5040 0 0 25 0 1 0 21603050 11780096 2517 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2876 2517 238 467 0 2407 0 Current children cumulated CPU time (s) 62.29 Current children cumulated vsize (KiB) 11504 [startup+63.9011 s] /proc/loadavg: 1.80 0.78 0.29 3/183 19030 /proc/meminfo: memFree=28916564/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11504 CPUtime=63.89 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2773 0 0 0 1217 5172 0 0 25 0 1 0 21603050 11780096 2525 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2876 2525 238 467 0 2407 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 11504 [startup+64.7009 s] /proc/loadavg: 1.80 0.78 0.29 3/183 19030 /proc/meminfo: memFree=28916564/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11504 CPUtime=64.69 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2798 0 0 0 1233 5236 0 0 25 0 1 0 21603050 11780096 2533 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2876 2533 238 467 0 2407 0 Current children cumulated CPU time (s) 64.69 Current children cumulated vsize (KiB) 11504 [startup+65.1009 s] /proc/loadavg: 1.82 0.80 0.30 3/183 19030 /proc/meminfo: memFree=28914456/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11632 CPUtime=65.1 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2829 0 0 0 1246 5264 0 0 25 0 1 0 21603050 11911168 2552 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2908 2552 238 467 0 2439 0 Current children cumulated CPU time (s) 65.1 Current children cumulated vsize (KiB) 11632 [startup+65.2008 s] /proc/loadavg: 1.82 0.80 0.30 3/183 19030 /proc/meminfo: memFree=28914456/32951124 swapFree=67111528/67111528 [pid=19025] ppid=19023 vsize=11632 CPUtime=65.19 /proc/19025/stat : 19025 (pbct) R 19023 19025 18570 0 -1 4202496 2845 0 0 0 1250 5269 0 0 18 0 1 0 21603050 11911168 2557 4089446400 134512640 136422188 4290289504 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19025/statm: 2908 2557 238 467 0 2439 0 Current children cumulated CPU time (s) 65.19 Current children cumulated vsize (KiB) 11632 Child status: 0 Real time (s): 65.212 CPU time (s): 65.2131 CPU user time (s): 12.5181 CPU system time (s): 52.695 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 11632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.5181 system time used= 52.695 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2851 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= 2 involuntary context switches= 393 runsolver used 0.118981 second user time and 0.249962 second system time The end
Begin job on node135 at 2010-07-07 22:18:23 IDJOB=2700027 IDBENCH=79393 IDSOLVER=1212 FILE ID=node135/2700027-1278533903 PBS_JOBID= 11239207 Free space on /tmp= 73752 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2700027-1278533903/watcher-2700027-1278533903 -o /tmp/evaluation-result-2700027-1278533903/solver-2700027-1278533903 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700027-1278533903.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79 RANDOM SEED=449897597 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: 29003784 kB Buffers: 121044 kB Cached: 3550992 kB SwapCached: 0 kB Active: 1999052 kB Inactive: 1803412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29003784 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2192 kB Writeback: 0 kB AnonPages: 131240 kB Mapped: 17304 kB Slab: 79728 kB PageTables: 5136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 276424 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:19:29