Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 29.9474 | 29.9458 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/800 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.032994 9.67188 1 1856 0.00/0.03 o 22203 0.00/0.03 c 0.034994 9.90234 2 2712 0.00/0.03 o 20939 0.00/0.04 c 0.035994 9.90234 2 3547 0.00/0.04 o 19747 0.00/0.04 c 0.037994 9.90234 6 4393 0.00/0.04 o 18616 0.00/0.04 c 0.037994 9.90234 6 4760 0.00/0.04 o 18604 0.00/0.04 c 0.039993 9.90234 7 5607 0.00/0.04 o 17449 0.00/0.04 c 0.040993 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.045993 9.90234 31 7329 0.00/0.05 o 15611 0.00/0.05 c 0.046992 9.90234 31 8181 0.00/0.05 o 10436 0.00/0.05 c 0.047992 9.90234 31 8639 0.00/0.05 o 10068 0.00/0.06 c 0.053991 9.90234 70 8856 0.00/0.06 o 10065 0.19/0.20 c 0.140978 10.0273 421 10658 0.19/0.20 o 10054 0.19/0.23 c 0.155976 10.0273 536 11316 0.19/0.23 o 9801 0.39/0.45 c 0.301954 10.1484 692 14672 0.39/0.45 o 9773 0.39/0.48 c 0.320951 10.1484 491 15318 0.39/0.48 o 9613 0.79/0.82 c 0.528919 10.1484 615 18440 0.79/0.82 o 9550 1.69/1.77 c 1.12983 10.1484 727 31844 1.69/1.77 o 9540 1.99/2.10 c 1.3458 10.2734 825 35974 1.99/2.10 o 9432 2.39/2.40 c 1.53977 10.2734 668 40309 2.39/2.40 o 9314 2.39/2.44 c 1.56376 10.2734 502 40886 2.39/2.44 o 9277 2.79/2.80 c 1.78273 10.2734 524 44537 2.79/2.80 o 9238 2.79/2.86 c 1.82372 10.2734 649 46053 2.79/2.86 o 9198 3.09/3.15 c 1.9957 10.2734 757 50151 3.09/3.15 o 9138 3.09/3.19 c 2.01669 10.2734 635 51025 3.09/3.19 o 9108 3.69/3.78 c 2.39864 10.2734 709 58172 3.69/3.78 o 9077 4.19/4.26 c 2.69359 10.2734 640 63956 4.19/4.26 o 9074 4.39/4.43 c 2.80557 10.2734 910 66079 4.39/4.43 o 9017 4.39/4.47 c 2.83057 10.2734 648 66798 4.39/4.47 o 9014 4.60/4.62 c 2.91656 10.2734 695 68905 4.60/4.62 o 8933 4.69/4.70 c 2.96955 10.2734 445 70325 4.69/4.70 o 8912 5.19/5.26 c 3.32949 10.2734 458 77387 5.19/5.26 o 8718 5.39/5.44 c 3.44048 10.2734 541 79838 5.39/5.44 o 8665 5.69/5.72 c 3.61745 10.2734 453 84208 5.69/5.72 o 8660 5.79/5.80 c 3.67644 10.2734 454 85256 5.79/5.80 o 8559 5.90/5.90 c 3.74543 10.2734 606 86614 5.90/5.90 o 8520 6.29/6.30 c 3.9704 10.2734 442 90822 6.29/6.30 o 8225 8.10/8.12 c 5.09722 10.3945 631 108731 8.10/8.12 o 8211 8.19/8.26 c 5.18021 10.3945 617 110764 8.19/8.26 o 8201 8.39/8.49 c 5.32719 10.3945 648 113908 8.39/8.49 o 8117 8.59/8.65 c 5.43017 10.3945 577 117070 8.59/8.65 o 7964 8.59/8.68 c 5.44317 10.3945 383 117779 8.59/8.68 o 7801 9.09/9.13 c 5.71413 10.3945 880 122413 9.09/9.13 o 7658 9.49/9.59 c 6.01809 10.3945 547 128178 9.49/9.59 o 7647 9.70/9.77 c 6.11907 10.3945 395 130874 9.70/9.77 o 7495 9.70/9.78 c 6.12107 10.3945 399 131099 9.70/9.78 o 7378 10.09/10.14 c 6.34803 10.3945 892 135282 10.09/10.14 o 7361 10.09/10.19 c 6.37803 10.3945 697 136062 10.09/10.19 o 7296 10.29/10.39 c 6.50101 10.3945 658 137586 10.29/10.39 o 7291 10.39/10.42 c 6.52301 10.3945 465 138017 10.39/10.42 o 7284 10.59/10.69 c 6.69498 10.3945 458 141041 10.59/10.69 o 7233 11.89/11.94 c 7.49086 10.3945 919 153477 11.89/11.94 o 7143 11.99/12.10 c 7.59384 10.3945 386 155154 11.99/12.10 o 7133 12.10/12.17 c 7.64284 10.3945 376 156218 12.10/12.17 o 7064 12.19/12.23 c 7.67783 10.3945 657 157044 12.19/12.23 o 7009 12.19/12.27 c 7.70483 10.3945 483 157705 12.19/12.27 o 6909 12.59/12.61 c 7.92479 10.3945 454 162293 12.59/12.61 o 6863 12.59/12.65 c 7.95279 10.3945 592 162773 12.59/12.65 o 6833 12.69/12.77 c 8.03878 10.3945 842 164073 12.69/12.77 o 6779 12.79/12.84 c 8.07777 10.3945 659 164957 12.79/12.84 o 6692 12.89/12.91 c 8.12377 10.3945 516 165828 12.89/12.91 o 6656 12.89/12.93 c 8.13576 10.3945 627 166307 12.89/12.93 o 6498 12.99/13.00 c 8.18975 10.3945 617 167346 12.99/13.00 o 6487 13.10/13.17 c 8.29374 10.5156 531 169070 13.10/13.17 o 6466 13.20/13.30 c 8.36873 10.5156 455 170771 13.20/13.30 o 6457 13.29/13.31 c 8.37773 10.5156 523 171079 13.29/13.31 o 6356 13.39/13.48 c 8.48071 10.5156 482 173161 13.39/13.48 o 6200 13.59/13.61 c 8.5557 10.5156 493 174287 13.59/13.61 o 6130 13.89/13.99 c 8.78166 10.5156 764 178584 13.89/13.99 o 6125 13.99/14.02 c 8.79966 10.5156 484 179003 13.99/14.02 o 6013 13.99/14.02 c 8.80266 10.5156 494 179342 13.99/14.02 o 5895 14.10/14.15 c 8.88865 10.5156 526 180488 14.10/14.15 o 5881 14.50/14.50 c 9.08262 10.5156 610 183473 14.50/14.50 o 5845 14.89/14.91 c 9.32058 10.5156 668 187373 14.89/14.91 o 5829 14.89/14.97 c 9.35758 10.5156 484 188166 14.89/14.97 o 5599 16.19/16.27 c 10.1745 10.5156 474 201390 16.19/16.27 o 5563 16.69/16.74 c 10.4564 10.5156 748 204398 16.69/16.74 o 5521 16.79/16.83 c 10.5144 10.5156 694 205269 16.79/16.83 o 5518 17.09/17.19 c 10.7394 10.5156 672 208980 17.09/17.19 o 5468 17.19/17.29 c 10.7954 10.5156 730 210360 17.19/17.29 o 5256 17.30/17.39 c 10.8543 10.5156 699 211419 17.30/17.39 o 5124 17.39/17.48 c 10.9173 10.5156 720 212445 17.39/17.48 o 5091 17.49/17.56 c 10.9673 10.5156 779 213640 17.49/17.56 o 5053 18.40/18.41 c 11.5043 10.5156 506 220714 18.40/18.41 o 4986 18.60/18.65 c 11.6632 10.5156 720 223001 18.60/18.65 o 4971 18.79/18.80 c 11.7622 10.5156 596 224740 18.79/18.80 o 4943 19.29/19.30 c 12.0662 10.5156 601 229106 19.29/19.30 o 4826 19.29/19.32 c 12.0812 10.5156 669 229482 19.29/19.32 o 4655 19.29/19.39 c 12.1282 10.5156 659 230552 19.29/19.39 o 4653 19.40/19.49 c 12.1801 10.5156 656 231532 19.40/19.49 o 4641 19.49/19.54 c 12.2081 10.5156 497 232166 19.49/19.54 o 4618 19.49/19.56 c 12.2161 10.5156 560 232509 19.49/19.56 o 4459 19.59/19.65 c 12.2661 10.5156 811 233268 19.59/19.65 o 4355 19.80/19.87 c 12.4051 10.5156 415 235500 19.80/19.87 o 4237 19.80/19.89 c 12.4131 10.5156 468 235676 19.80/19.89 o 4224 20.19/20.26 c 12.6461 10.6367 475 238421 20.19/20.26 o 4202 20.30/20.31 c 12.6851 10.6367 655 238934 20.30/20.31 o 4171 20.49/20.54 c 12.837 10.6367 712 240931 20.49/20.54 o 4072 20.49/20.55 c 12.841 10.6367 372 241067 20.49/20.55 o 4069 20.49/20.58 c 12.855 10.6367 453 241403 20.49/20.58 o 3971 20.59/20.67 c 12.91 10.6367 740 242168 20.59/20.67 o 3959 20.69/20.76 c 12.971 10.6367 660 243079 20.69/20.76 o 3703 20.80/20.81 c 13.007 10.6367 484 243626 20.80/20.81 o 3653 21.39/21.43 c 13.396 10.6367 617 247238 21.39/21.43 o 3635 21.59/21.64 c 13.5259 10.6367 770 248757 21.59/21.64 o 3509 21.80/21.89 c 13.6829 10.6367 433 250685 21.80/21.89 o 3487 21.89/21.93 c 13.7099 10.6367 560 251048 21.89/21.93 o 3403 21.99/22.03 c 13.7629 10.6367 511 251945 21.99/22.03 o 3365 21.99/22.03 c 13.7659 10.6367 519 252029 21.99/22.03 o 3350 21.99/22.04 c 13.7689 10.6367 545 252156 21.99/22.04 o 3313 22.29/22.32 c 13.9389 10.6367 679 254359 22.29/22.32 o 3304 22.49/22.55 c 14.0749 10.6367 594 256125 22.49/22.55 o 3257 22.59/22.66 c 14.1438 10.6367 487 256952 22.59/22.66 o 3176 22.59/22.67 c 14.1488 10.6367 536 257157 22.59/22.67 o 3165 22.69/22.71 c 14.1678 10.6367 668 257548 22.69/22.71 o 3123 22.69/22.75 c 14.1968 10.6367 436 258041 22.69/22.75 o 3098 22.79/22.81 c 14.2358 10.6367 649 258606 22.79/22.81 o 3073 22.89/22.93 c 14.3138 10.6367 720 259792 22.89/22.93 o 3060 22.89/22.99 c 14.3448 10.6367 522 260216 22.89/22.99 o 3054 23.09/23.12 c 14.4328 10.6367 516 261183 23.09/23.12 o 3038 23.20/23.29 c 14.5408 10.6367 628 262555 23.20/23.29 o 3027 23.29/23.32 c 14.5578 10.6367 697 262770 23.29/23.32 o 2966 24.69/24.77 c 15.4906 10.6367 512 272380 24.69/24.77 o 2842 24.79/24.81 c 15.5196 10.6367 648 272945 24.79/24.81 o 2801 24.79/24.88 c 15.5686 10.6367 506 273708 24.79/24.88 o 2774 24.89/24.93 c 15.5966 10.6367 662 274149 24.89/24.93 o 2758 24.99/25.01 c 15.6486 10.6367 547 274937 24.99/25.01 o 2656 24.99/25.04 c 15.6696 10.6367 666 275282 24.99/25.04 o 2647 25.10/25.13 c 15.7246 10.6367 536 275871 25.10/25.13 o 2637 25.19/25.21 c 15.7796 10.6367 466 276795 25.19/25.21 o 2560 25.30/25.32 c 15.8486 10.6367 408 277842 25.30/25.32 o 2511 25.30/25.36 c 15.8716 10.6367 547 278289 25.30/25.36 o 2474 25.39/25.40 c 15.9036 10.7617 688 278750 25.39/25.40 o 2418 25.59/25.61 c 16.0426 10.7617 515 280144 25.59/25.61 o 2402 25.59/25.68 c 16.0906 10.7617 725 280594 25.59/25.68 o 2394 25.90/25.97 c 16.2685 10.7617 453 283026 25.90/25.97 o 2365 26.59/26.67 c 16.6755 10.7617 554 287490 26.59/26.67 o 2357 26.59/26.69 c 16.6845 10.7617 609 287646 26.59/26.69 o 2331 26.70/26.77 c 16.7365 10.7617 500 288400 26.70/26.77 o 2311 26.70/26.78 c 16.7425 10.7617 521 288496 26.70/26.78 o 2301 26.79/26.83 c 16.7655 10.7617 635 288805 26.79/26.83 o 2279 26.79/26.84 c 16.7774 10.7617 681 288951 26.79/26.84 o 2251 26.89/26.90 c 16.8224 10.7617 478 289410 26.89/26.90 o 2230 26.89/26.97 c 16.8684 10.7617 722 290040 26.89/26.97 o 2149 27.19/27.23 c 17.0274 10.7617 588 291296 27.19/27.23 o 2126 27.19/27.26 c 17.0464 10.7617 671 291568 27.19/27.26 o 2090 27.19/27.27 c 17.0554 10.7617 721 291743 27.19/27.27 o 2059 27.29/27.40 c 17.1364 10.7617 708 292761 27.29/27.40 o 2007 27.39/27.44 c 17.1634 10.7617 437 293135 27.39/27.44 o 2004 27.39/27.50 c 17.1974 10.7617 593 293528 27.39/27.50 o 1997 27.50/27.51 c 17.2054 10.7617 639 293708 27.50/27.51 o 1967 27.50/27.56 c 17.2384 10.7617 775 294044 27.50/27.56 o 1947 27.59/27.62 c 17.2684 10.7617 553 294467 27.59/27.62 o 1943 27.59/27.67 c 17.2984 10.7617 709 294858 27.59/27.67 o 1922 27.79/27.83 c 17.3944 10.7617 428 296087 27.79/27.83 o 1913 27.79/27.84 c 17.3994 10.7617 454 296199 27.79/27.84 o 1895 27.79/27.85 c 17.4074 10.7617 492 296383 27.79/27.85 o 1809 27.89/27.92 c 17.4333 10.7617 676 296818 27.89/27.92 o 1803 27.89/27.97 c 17.4693 10.7617 493 297366 27.89/27.97 o 1699 28.09/28.18 c 17.5973 10.7617 705 298801 28.09/28.18 o 1670 28.09/28.18 c 17.5993 10.7617 724 298869 28.09/28.18 o 1668 28.50/28.56 c 17.8373 10.7617 607 301100 28.50/28.56 o 1570 28.50/28.59 c 17.8593 10.7617 702 301409 28.50/28.59 o 1516 28.50/28.60 c 17.8633 10.7617 725 301510 28.50/28.60 o 1499 28.80/28.83 c 18.0133 10.7617 603 302953 28.80/28.83 o 1486 28.89/28.97 c 18.0972 10.7617 594 304020 28.89/28.97 o 1462 28.89/28.99 c 18.1162 10.7617 669 304213 28.89/28.99 o 1428 29.09/29.12 c 18.1932 10.7617 686 305190 29.09/29.12 o 1419 29.09/29.14 c 18.2002 10.7617 718 305330 29.09/29.14 o 1392 29.09/29.16 c 18.2192 10.8828 813 305591 29.09/29.16 o 1368 29.09/29.16 c 18.2222 10.8828 409 305659 29.09/29.16 o 1315 29.09/29.17 c 18.2272 10.8828 443 305751 29.09/29.17 o 1306 29.20/29.20 c 18.2442 10.8828 534 305971 29.20/29.20 o 1292 29.20/29.23 c 18.2612 10.8828 612 306230 29.20/29.23 o 1257 29.20/29.25 c 18.2752 10.8828 664 306371 29.20/29.25 o 1238 29.20/29.26 c 18.2802 10.8828 698 306632 29.20/29.26 o 1235 29.30/29.30 c 18.3022 10.8828 423 306970 29.30/29.30 o 1181 29.30/29.32 c 18.3152 10.8828 495 307152 29.30/29.32 o 1136 29.30/29.34 c 18.3292 10.8828 593 307486 29.30/29.34 o 1011 29.30/29.35 c 18.3392 10.8828 643 307635 29.30/29.35 o 1000 29.30/29.37 c 18.3532 10.8828 712 307810 29.30/29.37 o 990 29.30/29.39 c 18.3602 10.8828 745 307982 29.30/29.39 o 973 29.39/29.43 c 18.3892 10.8828 459 308326 29.39/29.43 o 969 29.39/29.49 c 18.4312 10.8828 625 308682 29.39/29.49 o 929 29.49/29.51 c 18.4442 10.8828 717 308903 29.49/29.51 o 922 29.49/29.53 c 18.4592 10.8828 773 309065 29.49/29.53 o 909 29.49/29.53 c 18.4622 10.8828 780 309150 29.49/29.53 o 881 29.59/29.61 c 18.5162 10.8828 581 309650 29.59/29.61 o 856 29.59/29.65 c 18.5442 10.8828 681 309908 29.59/29.65 o 840 29.59/29.65 c 18.5442 10.8828 681 309967 29.59/29.65 o 789 29.59/29.66 c 18.5512 10.8828 703 310189 29.59/29.66 o 627 29.70/29.77 c 18.6202 10.8828 616 310990 29.70/29.77 o 583 29.70/29.79 c 18.6322 10.8828 702 311131 29.70/29.79 o 573 29.79/29.82 c 18.6562 10.8828 802 311406 29.79/29.82 o 559 29.79/29.82 c 18.6582 10.8828 814 311445 29.79/29.82 o 549 29.79/29.85 c 18.6782 10.8828 921 311716 29.79/29.85 o 508 29.79/29.87 c 18.6932 10.8828 1004 311856 29.79/29.87 o 499 29.79/29.88 c 18.6982 11.0156 1030 311983 29.79/29.88 o 473 29.79/29.88 c 18.7002 11.0156 1045 312119 29.79/29.88 o 396 29.79/29.89 c 18.7032 11.0156 1058 312213 29.79/29.89 o 336 29.79/29.89 c 18.7042 11.0156 1082 312304 29.79/29.89 o 283 29.79/29.89 c 18.7062 11.0156 1089 312381 29.79/29.89 o 225 29.89/29.91 c 18.7172 11.0156 1186 312571 29.89/29.91 o 152 29.89/29.91 c 18.7192 11.0156 880 312608 29.89/29.91 o 142 29.89/29.91 c 18.7212 11.0156 912 312651 29.89/29.91 o 135 29.89/29.92 c 18.7242 11.0156 944 312710 29.89/29.92 o 129 29.89/29.92 c 18.7302 11.0156 996 312807 29.89/29.92 o 93 29.89/29.93 c 18.7312 11.0156 1001 312828 29.89/29.93 o 85 29.89/29.93 c 18.7312 11.0156 1002 312870 29.89/29.93 o 39 29.89/29.93 c 18.7332 11.0156 1023 312944 29.89/29.93 o 11 29.89/29.93 c 18.7362 11.0156 1053 312986 29.89/29.93 o 0 29.89/29.93 c 18.7372 11.0156 530 312986 29.89/29.93 s OPTIMUM FOUND 29.89/29.93 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-2700231-1278534477/watcher-2700231-1278534477 -o /tmp/evaluation-result-2700231-1278534477/solver-2700231-1278534477 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700231-1278534477.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.96 1.85 1.09 4/178 27209 /proc/meminfo: memFree=29232100/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=2136 CPUtime=0 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 260 0 0 0 0 0 0 0 25 0 1 0 21659636 2187264 180 4089446400 134512640 136422188 4293558528 18446744073709551615 135524355 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/27209/statm: 534 180 144 467 0 65 0 [startup+0.0968011 s] /proc/loadavg: 1.96 1.85 1.09 4/178 27209 /proc/meminfo: memFree=29232100/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10264 CPUtime=0.09 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2289 0 0 0 7 2 0 0 18 0 1 0 21659636 10510336 2197 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2566 2197 238 467 0 2097 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10264 [startup+0.100801 s] /proc/loadavg: 1.96 1.85 1.09 4/178 27209 /proc/meminfo: memFree=29232100/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10264 CPUtime=0.09 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2290 0 0 0 7 2 0 0 18 0 1 0 21659636 10510336 2198 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2566 2198 238 467 0 2097 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10264 [startup+0.300759 s] /proc/loadavg: 1.96 1.85 1.09 4/178 27209 /proc/meminfo: memFree=29232100/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10264 CPUtime=0.29 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2314 0 0 0 20 9 0 0 18 0 1 0 21659636 10510336 2220 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2566 2220 238 467 0 2097 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10264 [startup+0.700686 s] /proc/loadavg: 1.96 1.85 1.09 4/178 27209 /proc/meminfo: memFree=29232100/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10388 CPUtime=0.69 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2329 0 0 0 45 24 0 0 18 0 1 0 21659636 10637312 2233 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2597 2233 238 467 0 2128 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10388 [startup+1.50052 s] /proc/loadavg: 1.96 1.85 1.10 3/179 27210 /proc/meminfo: memFree=29223164/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10388 CPUtime=1.49 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2339 0 0 0 94 55 0 0 19 0 1 0 21659636 10637312 2242 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2597 2242 238 467 0 2128 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10388 [startup+3.1012 s] /proc/loadavg: 1.96 1.85 1.10 3/179 27210 /proc/meminfo: memFree=29221676/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10516 CPUtime=3.09 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2360 0 0 0 196 113 0 0 25 0 1 0 21659636 10768384 2257 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2629 2257 238 467 0 2160 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10516 [startup+6.30056 s] /proc/loadavg: 1.97 1.85 1.10 3/179 27211 /proc/meminfo: memFree=29220576/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10516 CPUtime=6.29 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2402 0 0 0 396 233 0 0 20 0 1 0 21659636 10768384 2286 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/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: 1.97 1.85 1.11 3/179 27211 /proc/meminfo: memFree=29217488/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=10640 CPUtime=12.69 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2454 0 0 0 798 471 0 0 25 0 1 0 21659636 10895360 2316 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2660 2316 238 467 0 2191 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10640 [startup+25.5007 s] /proc/loadavg: 1.97 1.86 1.12 3/179 27212 /proc/meminfo: memFree=29209516/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=11016 CPUtime=25.49 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2600 0 0 0 1596 953 0 0 25 0 1 0 21659636 11280384 2387 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2754 2387 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.1004 s] /proc/loadavg: 1.97 1.86 1.12 3/179 27212 /proc/meminfo: memFree=29209392/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=11016 CPUtime=27.09 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2622 0 0 0 1694 1015 0 0 25 0 1 0 21659636 11280384 2398 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2754 2398 238 467 0 2285 0 Current children cumulated CPU time (s) 27.09 Current children cumulated vsize (KiB) 11016 [startup+28.7011 s] /proc/loadavg: 1.97 1.86 1.12 3/179 27212 /proc/meminfo: memFree=29206660/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=11016 CPUtime=28.69 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2663 0 0 0 1792 1077 0 0 25 0 1 0 21659636 11280384 2419 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2754 2419 238 467 0 2285 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 11016 [startup+29.5009 s] /proc/loadavg: 1.97 1.86 1.12 3/179 27212 /proc/meminfo: memFree=29206660/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=11140 CPUtime=29.49 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2699 0 0 0 1843 1106 0 0 18 0 1 0 21659636 11407360 2435 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2785 2435 238 467 0 2316 0 Current children cumulated CPU time (s) 29.49 Current children cumulated vsize (KiB) 11140 [startup+29.9008 s] /proc/loadavg: 1.97 1.86 1.12 3/179 27212 /proc/meminfo: memFree=29205668/32950928 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=11276 CPUtime=29.89 /proc/27209/stat : 27209 (pbct) R 27207 27209 26355 0 -1 4202496 2738 0 0 0 1870 1119 0 0 18 0 1 0 21659636 11546624 2456 4089446400 134512640 136422188 4293558528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27209/statm: 2819 2457 238 467 0 2350 0 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (KiB) 11276 Child status: 0 Real time (s): 29.9458 CPU time (s): 29.9474 CPU user time (s): 18.7452 CPU system time (s): 11.2023 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 11276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.7451 system time used= 11.2023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2756 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= 11 involuntary context switches= 16 runsolver used 0.051992 second user time and 0.114982 second system time The end
Begin job on node149 at 2010-07-07 22:27:57 IDJOB=2700231 IDBENCH=79410 IDSOLVER=1212 FILE ID=node149/2700231-1278534477 PBS_JOBID= 11239180 Free space on /tmp= 73424 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2700231-1278534477/watcher-2700231-1278534477 -o /tmp/evaluation-result-2700231-1278534477/solver-2700231-1278534477 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700231-1278534477.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 89498e96b82f9b6ac0ac75bbe7337aa5 RANDOM SEED=1331396625 node149.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.827 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.65 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.827 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.75 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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.827 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.79 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.827 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.75 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.827 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: 32950928 kB MemFree: 29232744 kB Buffers: 144976 kB Cached: 2818260 kB SwapCached: 0 kB Active: 1586700 kB Inactive: 1965768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29232744 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2128 kB Writeback: 4 kB AnonPages: 589204 kB Mapped: 16456 kB Slab: 100816 kB PageTables: 5820 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 730244 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= 73424 MiB End job on node149 at 2010-07-07 22:28:27