Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 29.8095 | 29.8091 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo |
MD5SUM | 89498e96b82f9b6ac0ac75bbe7337aa5 |
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.632903 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/800 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.036994 9.67188 1 1856 0.00/0.03 o 22203 0.00/0.03 c 0.037994 9.90234 2 2712 0.00/0.03 o 20939 0.00/0.04 c 0.038994 9.90234 2 3547 0.00/0.04 o 19747 0.00/0.04 c 0.039993 9.90234 6 4393 0.00/0.04 o 18616 0.00/0.04 c 0.040993 9.90234 6 4760 0.00/0.04 o 18604 0.00/0.04 c 0.040993 9.90234 7 5607 0.00/0.04 o 17449 0.00/0.04 c 0.042993 9.90234 8 6450 0.00/0.04 o 15993 0.00/0.05 c 0.043993 9.90234 26 6880 0.00/0.05 o 15936 0.00/0.05 c 0.044993 9.90234 31 7329 0.00/0.05 o 15611 0.04/0.05 c 0.044993 9.90234 31 8181 0.04/0.05 o 10436 0.04/0.05 c 0.044993 9.90234 31 8639 0.04/0.05 o 10068 0.04/0.06 c 0.052991 9.90234 70 8856 0.04/0.06 o 10065 0.19/0.20 c 0.148977 10.0273 421 10658 0.19/0.20 o 10054 0.19/0.22 c 0.164974 10.0273 536 11316 0.19/0.22 o 9801 0.39/0.45 c 0.312952 10.1484 692 14672 0.39/0.45 o 9773 0.39/0.48 c 0.331949 10.1484 491 15318 0.39/0.48 o 9613 0.79/0.82 c 0.529919 10.1484 615 18440 0.79/0.82 o 9550 1.69/1.76 c 1.12683 10.1484 727 31844 1.69/1.76 o 9540 1.99/2.09 c 1.3238 10.2734 825 35974 1.99/2.09 o 9432 2.29/2.39 c 1.52277 10.2734 668 40309 2.29/2.39 o 9314 2.39/2.42 c 1.55176 10.2734 502 40886 2.39/2.42 o 9277 2.69/2.78 c 1.77673 10.2734 524 44537 2.69/2.78 o 9238 2.79/2.85 c 1.81672 10.2734 649 46053 2.79/2.85 o 9198 3.10/3.13 c 1.9957 10.2734 757 50151 3.10/3.13 o 9138 3.10/3.17 c 2.01769 10.2734 635 51025 3.10/3.17 o 9108 3.69/3.76 c 2.39663 10.2734 709 58172 3.69/3.76 o 9077 4.19/4.24 c 2.70959 10.2734 640 63956 4.19/4.24 o 9074 4.39/4.41 c 2.82257 10.2734 910 66079 4.39/4.41 o 9017 4.39/4.45 c 2.84557 10.2734 648 66798 4.39/4.45 o 9014 4.59/4.60 c 2.94155 10.2734 695 68905 4.59/4.60 o 8933 4.59/4.68 c 2.98854 10.2734 445 70325 4.59/4.68 o 8912 5.19/5.24 c 3.34949 10.2734 458 77387 5.19/5.24 o 8718 5.40/5.41 c 3.45647 10.2734 541 79838 5.40/5.41 o 8665 5.59/5.69 c 3.63845 10.2734 453 84208 5.59/5.69 o 8660 5.69/5.77 c 3.69644 10.2734 454 85256 5.69/5.77 o 8559 5.79/5.87 c 3.76243 10.2734 606 86614 5.79/5.87 o 8520 6.19/6.27 c 4.02439 10.2734 442 90822 6.19/6.27 o 8225 7.99/8.07 c 5.14922 10.3945 631 108731 7.99/8.07 o 8211 8.20/8.21 c 5.2422 10.3945 617 110764 8.20/8.21 o 8201 8.39/8.44 c 5.39318 10.3945 648 113908 8.39/8.44 o 8117 8.59/8.61 c 5.50116 10.3945 577 117070 8.59/8.61 o 7964 8.59/8.63 c 5.51216 10.3945 383 117779 8.59/8.63 o 7801 8.99/9.08 c 5.80612 10.3945 880 122413 8.99/9.08 o 7658 9.49/9.54 c 6.10607 10.3945 547 128178 9.49/9.54 o 7647 9.69/9.72 c 6.21105 10.3945 395 130874 9.69/9.72 o 7495 9.69/9.73 c 6.21305 10.3945 399 131099 9.69/9.73 o 7378 9.99/10.09 c 6.44202 10.3945 892 135282 9.99/10.09 o 7361 10.09/10.14 c 6.47602 10.3945 697 136062 10.09/10.14 o 7296 10.29/10.34 c 6.60999 10.3945 658 137586 10.29/10.34 o 7291 10.29/10.37 c 6.62999 10.3945 465 138017 10.29/10.37 o 7284 10.59/10.63 c 6.80097 10.3945 458 141041 10.59/10.63 o 7233 11.79/11.88 c 7.56685 10.3945 919 153477 11.79/11.88 o 7143 12.00/12.04 c 7.66583 10.3945 386 155154 12.00/12.04 o 7133 12.10/12.11 c 7.72183 10.3945 376 156218 12.10/12.11 o 7064 12.10/12.17 c 7.75882 10.3945 657 157044 12.10/12.17 o 7009 12.19/12.21 c 7.78482 10.3945 483 157705 12.19/12.21 o 6909 12.49/12.54 c 8.01078 10.3945 454 162293 12.49/12.54 o 6863 12.49/12.58 c 8.03778 10.3945 592 162773 12.49/12.58 o 6833 12.69/12.71 c 8.12276 10.3945 842 164073 12.69/12.71 o 6779 12.69/12.77 c 8.15876 10.3945 659 164957 12.69/12.77 o 6692 12.80/12.84 c 8.19375 10.3945 516 165828 12.80/12.84 o 6656 12.80/12.86 c 8.20675 10.3945 627 166307 12.80/12.86 o 6498 12.90/12.94 c 8.25774 10.3945 617 167346 12.90/12.94 o 6487 12.99/13.10 c 8.35573 10.5156 531 169070 12.99/13.10 o 6466 13.20/13.23 c 8.44172 10.5156 455 170771 13.20/13.23 o 6457 13.20/13.25 c 8.44971 10.5156 523 171079 13.20/13.25 o 6356 13.39/13.41 c 8.5547 10.5156 482 173161 13.39/13.41 o 6200 13.49/13.54 c 8.64469 10.5156 493 174287 13.49/13.54 o 6130 13.89/13.92 c 8.87865 10.5156 764 178584 13.89/13.92 o 6125 13.89/13.95 c 8.89465 10.5156 484 179003 13.89/13.95 o 6013 13.89/13.95 c 8.89765 10.5156 494 179342 13.89/13.95 o 5895 13.99/14.08 c 8.98063 10.5156 526 180488 13.99/14.08 o 5881 14.39/14.43 c 9.1946 10.5156 610 183473 14.39/14.43 o 5845 14.79/14.83 c 9.44356 10.5156 668 187373 14.79/14.83 o 5829 14.79/14.89 c 9.47756 10.5156 484 188166 14.79/14.89 o 5599 16.09/16.19 c 10.2714 10.5156 474 201390 16.09/16.19 o 5563 16.59/16.65 c 10.5604 10.5156 748 204398 16.59/16.65 o 5521 16.69/16.75 c 10.6204 10.5156 694 205269 16.69/16.75 o 5518 17.09/17.11 c 10.8284 10.5156 672 208980 17.09/17.11 o 5468 17.19/17.20 c 10.8803 10.5156 730 210360 17.19/17.20 o 5256 17.29/17.30 c 10.9453 10.5156 699 211419 17.29/17.30 o 5124 17.29/17.39 c 11.0013 10.5156 720 212445 17.29/17.39 o 5091 17.39/17.48 c 11.0533 10.5156 779 213640 17.39/17.48 o 5053 18.29/18.32 c 11.5662 10.5156 506 220714 18.29/18.32 o 4986 18.49/18.56 c 11.7152 10.5156 720 223001 18.49/18.56 o 4971 18.70/18.71 c 11.8092 10.5156 596 224740 18.70/18.71 o 4943 19.19/19.20 c 12.1062 10.5156 601 229106 19.19/19.20 o 4826 19.19/19.23 c 12.1192 10.5156 669 229482 19.19/19.23 o 4655 19.29/19.30 c 12.1542 10.5156 659 230552 19.29/19.30 o 4653 19.29/19.39 c 12.2161 10.5156 656 231532 19.29/19.39 o 4641 19.39/19.45 c 12.2501 10.5156 497 232166 19.39/19.45 o 4618 19.39/19.46 c 12.2631 10.5156 560 232509 19.39/19.46 o 4459 19.49/19.55 c 12.3231 10.5156 811 233268 19.49/19.55 o 4355 19.70/19.77 c 12.4521 10.5156 415 235500 19.70/19.77 o 4237 19.70/19.79 c 12.4661 10.5156 468 235676 19.70/19.79 o 4224 20.09/20.16 c 12.6891 10.6367 475 238421 20.09/20.16 o 4202 20.19/20.21 c 12.7221 10.6367 655 238934 20.19/20.21 o 4171 20.39/20.44 c 12.854 10.6367 712 240931 20.39/20.44 o 4072 20.39/20.45 c 12.858 10.6367 372 241067 20.39/20.45 o 4069 20.39/20.48 c 12.874 10.6367 453 241403 20.39/20.48 o 3971 20.49/20.57 c 12.934 10.6367 740 242168 20.49/20.57 o 3959 20.59/20.66 c 12.991 10.6367 660 243079 20.59/20.66 o 3703 20.69/20.71 c 13.016 10.6367 484 243626 20.69/20.71 o 3653 21.30/21.32 c 13.399 10.6367 617 247238 21.30/21.32 o 3635 21.49/21.54 c 13.5179 10.6367 770 248757 21.49/21.54 o 3509 21.69/21.79 c 13.6729 10.6367 433 250685 21.69/21.79 o 3487 21.79/21.83 c 13.6989 10.6367 560 251048 21.79/21.83 o 3403 21.90/21.92 c 13.7559 10.6367 511 251945 21.90/21.92 o 3365 21.90/21.93 c 13.7599 10.6367 519 252029 21.90/21.93 o 3350 21.90/21.94 c 13.7659 10.6367 545 252156 21.90/21.94 o 3313 22.20/22.22 c 13.9329 10.6367 679 254359 22.20/22.22 o 3304 22.39/22.44 c 14.0729 10.6367 594 256125 22.39/22.44 o 3257 22.49/22.55 c 14.1349 10.6367 487 256952 22.49/22.55 o 3176 22.49/22.56 c 14.1428 10.6367 536 257157 22.49/22.56 o 3165 22.59/22.60 c 14.1648 10.6367 668 257548 22.59/22.60 o 3123 22.59/22.64 c 14.1878 10.6367 436 258041 22.59/22.64 o 3098 22.69/22.70 c 14.2238 10.6367 649 258606 22.69/22.70 o 3073 22.79/22.82 c 14.3068 10.6367 720 259792 22.79/22.82 o 3060 22.79/22.88 c 14.3418 10.6367 522 260216 22.79/22.88 o 3054 22.99/23.01 c 14.4158 10.6367 516 261183 22.99/23.01 o 3038 23.09/23.18 c 14.5228 10.6367 628 262555 23.09/23.18 o 3027 23.19/23.20 c 14.5368 10.6367 697 262770 23.19/23.20 o 2966 24.59/24.65 c 15.4237 10.6367 512 272380 24.59/24.65 o 2842 24.69/24.70 c 15.4497 10.6367 648 272945 24.69/24.70 o 2801 24.69/24.76 c 15.4896 10.6367 506 273708 24.69/24.76 o 2774 24.79/24.81 c 15.5176 10.6367 662 274149 24.79/24.81 o 2758 24.79/24.89 c 15.5686 10.6367 547 274937 24.79/24.89 o 2656 24.89/24.92 c 15.5886 10.6367 666 275282 24.89/24.92 o 2647 24.99/25.01 c 15.6446 10.6367 536 275871 24.99/25.01 o 2637 25.09/25.10 c 15.6966 10.6367 466 276795 25.09/25.10 o 2560 25.09/25.20 c 15.7526 10.6367 408 277842 25.09/25.20 o 2511 25.20/25.24 c 15.7796 10.6367 547 278289 25.20/25.24 o 2474 25.20/25.28 c 15.8016 10.7617 688 278750 25.20/25.28 o 2418 25.40/25.49 c 15.9256 10.7617 515 280144 25.40/25.49 o 2402 25.49/25.56 c 15.9686 10.7617 725 280594 25.49/25.56 o 2394 25.79/25.85 c 16.1505 10.7617 453 283026 25.79/25.85 o 2365 26.50/26.55 c 16.5835 10.7617 554 287490 26.50/26.55 o 2357 26.50/26.56 c 16.5915 10.7617 609 287646 26.50/26.56 o 2331 26.60/26.65 c 16.6455 10.7617 500 288400 26.60/26.65 o 2311 26.60/26.66 c 16.6545 10.7617 521 288496 26.60/26.66 o 2301 26.69/26.70 c 16.6795 10.7617 635 288805 26.69/26.70 o 2279 26.69/26.72 c 16.6885 10.7617 681 288951 26.69/26.72 o 2251 26.69/26.78 c 16.7265 10.7617 478 289410 26.69/26.78 o 2230 26.79/26.85 c 16.7724 10.7617 722 290040 26.79/26.85 o 2149 27.10/27.10 c 16.9234 10.7617 588 291296 27.10/27.10 o 2126 27.10/27.13 c 16.9404 10.7617 671 291568 27.10/27.13 o 2090 27.10/27.15 c 16.9524 10.7617 721 291743 27.10/27.15 o 2059 27.19/27.27 c 17.0224 10.7617 708 292761 27.19/27.27 o 2007 27.29/27.31 c 17.0454 10.7617 437 293135 27.29/27.31 o 2004 27.29/27.37 c 17.0744 10.7617 593 293528 27.29/27.37 o 1997 27.29/27.38 c 17.0834 10.7617 639 293708 27.29/27.38 o 1967 27.40/27.44 c 17.1154 10.7617 775 294044 27.40/27.44 o 1947 27.40/27.49 c 17.1514 10.7617 553 294467 27.40/27.49 o 1943 27.50/27.54 c 17.1784 10.7617 709 294858 27.50/27.54 o 1922 27.69/27.70 c 17.2784 10.7617 428 296087 27.69/27.70 o 1913 27.69/27.71 c 17.2844 10.7617 454 296199 27.69/27.71 o 1895 27.69/27.72 c 17.2934 10.7617 492 296383 27.69/27.72 o 1809 27.69/27.79 c 17.3304 10.7617 676 296818 27.69/27.79 o 1803 27.79/27.84 c 17.3684 10.7617 493 297366 27.79/27.84 o 1699 27.99/28.05 c 17.4923 10.7617 705 298801 27.99/28.05 o 1670 27.99/28.05 c 17.4973 10.7617 724 298869 27.99/28.05 o 1668 28.39/28.43 c 17.7143 10.7617 607 301100 28.39/28.43 o 1570 28.39/28.46 c 17.7383 10.7617 702 301409 28.39/28.46 o 1516 28.39/28.47 c 17.7423 10.7617 725 301510 28.39/28.47 o 1499 28.69/28.70 c 17.8993 10.7617 603 302953 28.69/28.70 o 1486 28.79/28.83 c 17.9813 10.7617 594 304020 28.79/28.83 o 1462 28.79/28.86 c 17.9973 10.7617 669 304213 28.79/28.86 o 1428 28.90/28.99 c 18.0862 10.7617 686 305190 28.90/28.99 o 1419 29.00/29.00 c 18.0942 10.7617 718 305330 29.00/29.00 o 1392 29.00/29.03 c 18.1062 10.8828 813 305591 29.00/29.03 o 1368 29.00/29.03 c 18.1082 10.8828 409 305659 29.00/29.03 o 1315 29.00/29.04 c 18.1152 10.8828 443 305751 29.00/29.04 o 1306 29.00/29.07 c 18.1372 10.8828 534 305971 29.00/29.07 o 1292 29.09/29.10 c 18.1542 10.8828 612 306230 29.09/29.10 o 1257 29.09/29.12 c 18.1642 10.8828 664 306371 29.09/29.12 o 1238 29.09/29.13 c 18.1702 10.8828 698 306632 29.09/29.13 o 1235 29.09/29.16 c 18.2002 10.8828 423 306970 29.09/29.16 o 1181 29.09/29.18 c 18.2142 10.8828 495 307152 29.09/29.18 o 1136 29.19/29.21 c 18.2302 10.8828 593 307486 29.19/29.21 o 1011 29.19/29.22 c 18.2402 10.8828 643 307635 29.19/29.22 o 1000 29.19/29.24 c 18.2522 10.8828 712 307810 29.19/29.24 o 990 29.19/29.25 c 18.2592 10.8828 745 307982 29.19/29.25 o 973 29.19/29.29 c 18.2812 10.8828 459 308326 29.19/29.29 o 969 29.29/29.35 c 18.3232 10.8828 625 308682 29.29/29.35 o 929 29.29/29.38 c 18.3402 10.8828 717 308903 29.29/29.38 o 922 29.29/29.40 c 18.3512 10.8828 773 309065 29.29/29.40 o 909 29.39/29.40 c 18.3552 10.8828 780 309150 29.39/29.40 o 881 29.39/29.48 c 18.4042 10.8828 581 309650 29.39/29.48 o 856 29.49/29.51 c 18.4242 10.8828 681 309908 29.49/29.51 o 840 29.49/29.51 c 18.4262 10.8828 681 309967 29.49/29.51 o 789 29.49/29.52 c 18.4332 10.8828 703 310189 29.49/29.52 o 627 29.60/29.64 c 18.5092 10.8828 616 310990 29.60/29.64 o 583 29.60/29.65 c 18.5232 10.8828 702 311131 29.60/29.65 o 573 29.60/29.69 c 18.5472 10.8828 802 311406 29.60/29.69 o 559 29.60/29.69 c 18.5502 10.8828 814 311445 29.60/29.69 o 549 29.70/29.72 c 18.5692 10.8828 921 311716 29.70/29.72 o 508 29.70/29.74 c 18.5792 10.8828 1004 311856 29.70/29.74 o 499 29.70/29.74 c 18.5832 11.0156 1030 311983 29.70/29.74 o 473 29.70/29.75 c 18.5882 11.0156 1045 312119 29.70/29.75 o 396 29.70/29.75 c 18.5902 11.0156 1058 312213 29.70/29.75 o 336 29.70/29.76 c 18.5932 11.0156 1082 312304 29.70/29.76 o 283 29.70/29.76 c 18.5952 11.0156 1089 312381 29.70/29.76 o 225 29.70/29.77 c 18.6062 11.0156 1186 312571 29.70/29.77 o 152 29.70/29.77 c 18.6082 11.0156 880 312608 29.70/29.77 o 142 29.70/29.78 c 18.6112 11.0156 912 312651 29.70/29.78 o 135 29.70/29.78 c 18.6162 11.0156 944 312710 29.70/29.78 o 129 29.70/29.79 c 18.6212 11.0156 996 312807 29.70/29.79 o 93 29.70/29.79 c 18.6222 11.0156 1001 312828 29.70/29.79 o 85 29.70/29.79 c 18.6222 11.0156 1002 312870 29.70/29.79 o 39 29.70/29.79 c 18.6222 11.0156 1023 312944 29.70/29.79 o 11 29.70/29.80 c 18.6242 11.0156 1053 312986 29.70/29.80 o 0 29.70/29.80 c 18.6242 11.0156 530 312986 29.70/29.80 s OPTIMUM FOUND 29.70/29.80 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-2700228-1278534474/watcher-2700228-1278534474 -o /tmp/evaluation-result-2700228-1278534474/solver-2700228-1278534474 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700228-1278534474.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: 4.54 4.08 2.27 4/178 18561 /proc/meminfo: memFree=29677108/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=2136 CPUtime=0 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21660565 2187264 180 4089446400 134512640 136421960 4294721728 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/18561/statm: 534 180 144 467 0 65 0 [startup+0.054443 s] /proc/loadavg: 4.54 4.08 2.27 4/178 18561 /proc/meminfo: memFree=29677108/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10136 CPUtime=0.04 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2277 0 0 0 4 0 0 0 25 0 1 0 21660565 10379264 2187 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2534 2187 237 467 0 2065 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10136 [startup+0.100448 s] /proc/loadavg: 4.54 4.08 2.27 4/178 18561 /proc/meminfo: memFree=29677108/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10264 CPUtime=0.09 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2291 0 0 0 8 1 0 0 25 0 1 0 21660565 10510336 2198 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2566 2198 238 467 0 2097 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10264 [startup+0.300431 s] /proc/loadavg: 4.54 4.08 2.27 4/178 18561 /proc/meminfo: memFree=29677108/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10264 CPUtime=0.29 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2315 0 0 0 21 8 0 0 25 0 1 0 21660565 10510336 2220 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2566 2220 238 467 0 2097 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10264 [startup+0.700335 s] /proc/loadavg: 4.54 4.08 2.27 4/178 18561 /proc/meminfo: memFree=29677108/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10388 CPUtime=0.69 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2330 0 0 0 46 23 0 0 25 0 1 0 21660565 10637312 2233 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2597 2233 238 467 0 2128 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10388 [startup+1.5002 s] /proc/loadavg: 4.54 4.08 2.27 3/179 18562 /proc/meminfo: memFree=29668244/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10388 CPUtime=1.49 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2340 0 0 0 96 53 0 0 25 0 1 0 21660565 10637312 2242 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2597 2242 238 467 0 2128 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10388 [startup+3.10094 s] /proc/loadavg: 4.54 4.08 2.27 3/179 18562 /proc/meminfo: memFree=29667624/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10516 CPUtime=3.1 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2361 0 0 0 197 113 0 0 25 0 1 0 21660565 10768384 2257 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2629 2257 238 467 0 2160 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10516 [startup+6.3004 s] /proc/loadavg: 4.33 4.05 2.27 3/179 18562 /proc/meminfo: memFree=29666960/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10516 CPUtime=6.29 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2404 0 0 0 404 225 0 0 25 0 1 0 21660565 10768384 2286 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2629 2286 238 467 0 2160 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10516 [startup+12.7003 s] /proc/loadavg: 4.15 4.02 2.27 3/179 18562 /proc/meminfo: memFree=29665968/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=10640 CPUtime=12.69 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2456 0 0 0 811 458 0 0 25 0 1 0 21660565 10895360 2317 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2660 2317 238 467 0 2191 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10640 [startup+25.5002 s] /proc/loadavg: 3.67 3.92 2.27 3/179 18563 /proc/meminfo: memFree=29660756/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=11016 CPUtime=25.49 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2604 0 0 0 1592 957 0 0 25 0 1 0 21660565 11280384 2389 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2754 2389 238 467 0 2285 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11016 Solver just ended. Dumping a history of the last processes samples [startup+27.1009 s] /proc/loadavg: 3.67 3.92 2.27 3/179 18563 /proc/meminfo: memFree=29660508/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=11016 CPUtime=27.1 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2624 0 0 0 1692 1018 0 0 25 0 1 0 21660565 11280384 2399 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2754 2399 238 467 0 2285 0 Current children cumulated CPU time (s) 27.1 Current children cumulated vsize (KiB) 11016 [startup+28.7006 s] /proc/loadavg: 3.54 3.88 2.27 3/179 18563 /proc/meminfo: memFree=29659140/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=11016 CPUtime=28.69 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2664 0 0 0 1789 1080 0 0 25 0 1 0 21660565 11280384 2419 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2754 2419 238 467 0 2285 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 11016 [startup+29.5005 s] /proc/loadavg: 3.54 3.88 2.27 3/179 18563 /proc/meminfo: memFree=29659140/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=11140 CPUtime=29.49 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2708 0 0 0 1841 1108 0 0 25 0 1 0 21660565 11407360 2439 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2785 2439 238 467 0 2316 0 Current children cumulated CPU time (s) 29.49 Current children cumulated vsize (KiB) 11140 [startup+29.7064 s] /proc/loadavg: 3.54 3.88 2.27 3/179 18563 /proc/meminfo: memFree=29658768/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=11140 CPUtime=29.7 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2724 0 0 0 1856 1114 0 0 25 0 1 0 21660565 11407360 2448 4089446400 134512640 136421960 4294721728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2785 2448 238 467 0 2316 0 Current children cumulated CPU time (s) 29.7 Current children cumulated vsize (KiB) 11140 [startup+29.8004 s] /proc/loadavg: 3.54 3.88 2.27 3/179 18563 /proc/meminfo: memFree=29658768/32951124 swapFree=67111528/67111528 [pid=18561] ppid=18559 vsize=11276 CPUtime=29.79 /proc/18561/stat : 18561 (pbct) R 18559 18561 17975 0 -1 4202496 2753 0 0 0 1862 1117 0 0 25 0 1 0 21660565 11546624 2460 4089446400 134512640 136421960 4294721728 18446744073709551615 135873790 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/18561/statm: 2819 2462 240 467 0 2350 0 Current children cumulated CPU time (s) 29.79 Current children cumulated vsize (KiB) 11276 Child status: 0 Real time (s): 29.8091 CPU time (s): 29.8095 CPU user time (s): 18.6322 CPU system time (s): 11.1773 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 11276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.6322 system time used= 11.1773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2757 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= 18 runsolver used 0.043993 second user time and 0.112982 second system time The end
Begin job on node130 at 2010-07-07 22:27:54 IDJOB=2700228 IDBENCH=79410 IDSOLVER=1208 FILE ID=node130/2700228-1278534474 PBS_JOBID= 11239218 Free space on /tmp= 73392 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh212_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700228-1278534474/watcher-2700228-1278534474 -o /tmp/evaluation-result-2700228-1278534474/solver-2700228-1278534474 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700228-1278534474.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 89498e96b82f9b6ac0ac75bbe7337aa5 RANDOM SEED=900833380 node130.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.831 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.66 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.831 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.22 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.831 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.74 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.831 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.75 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.831 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.72 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.831 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.831 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.68 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29677388 kB Buffers: 135888 kB Cached: 2624796 kB SwapCached: 0 kB Active: 1565212 kB Inactive: 1557772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29677388 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1596 kB Writeback: 0 kB AnonPages: 361952 kB Mapped: 17540 kB Slab: 85940 kB PageTables: 5392 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 509028 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= 73392 MiB End job on node130 at 2010-07-07 22:28:24