Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 28.8696 | 28.8727 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo |
MD5SUM | 21c59077deccfec4231c8e158229757c |
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.324949 |
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.02/0.03 c 0.031995 9.67578 1 1853 0.02/0.03 o 26630 0.02/0.03 c 0.032994 9.90234 1 2594 0.02/0.03 o 25795 0.02/0.04 c 0.033994 9.90234 2 3453 0.02/0.04 o 24389 0.02/0.04 c 0.033994 9.90234 2 4301 0.02/0.04 o 12646 0.02/0.04 c 0.034994 9.90234 2 5148 0.02/0.04 o 11053 0.19/0.30 c 0.200969 10.0273 737 9295 0.19/0.30 o 10996 0.29/0.31 c 0.210967 10.0273 499 9963 0.29/0.31 o 10865 0.29/0.34 c 0.229965 10.0273 623 10598 0.29/0.34 o 10675 0.89/0.92 c 0.58591 10.1523 459 18097 0.89/0.92 o 10659 1.19/1.24 c 0.780881 10.1523 564 21949 1.19/1.24 o 10637 1.19/1.24 c 0.78388 10.1523 579 22390 1.19/1.24 o 10497 1.19/1.24 c 0.78588 10.1523 583 22570 1.19/1.24 o 10452 1.59/1.68 c 1.06684 10.1523 536 28425 1.59/1.68 o 10447 1.69/1.75 c 1.10883 10.1523 508 29471 1.69/1.75 o 10420 2.99/3.01 c 1.89671 10.2773 784 43922 2.99/3.01 o 10345 4.59/4.69 c 2.93455 10.2773 667 66569 4.59/4.69 o 10140 5.59/5.62 c 3.49847 10.2773 477 79241 5.59/5.62 o 9951 5.59/5.68 c 3.53446 10.2773 765 80092 5.59/5.68 o 9947 6.09/6.11 c 3.79942 10.2773 696 86561 6.09/6.11 o 9912 6.29/6.35 c 3.9704 10.2773 888 89856 6.29/6.35 o 9864 6.29/6.37 c 3.98439 10.2773 561 90366 6.29/6.37 o 9747 6.29/6.38 c 3.99039 10.2773 612 90854 6.29/6.38 o 9506 6.39/6.45 c 4.02939 10.2773 555 91858 6.39/6.45 o 9482 6.50/6.59 c 4.11937 10.2773 587 93632 6.50/6.59 o 9481 6.60/6.65 c 4.15537 10.2773 465 94502 6.60/6.65 o 9429 6.69/6.77 c 4.24535 10.2773 453 96649 6.69/6.77 o 9409 7.00/7.04 c 4.40533 10.2773 623 100115 7.00/7.04 o 9352 7.00/7.07 c 4.42533 10.2773 428 100777 7.00/7.07 o 9315 7.09/7.17 c 4.48932 10.2773 541 102495 7.09/7.17 o 9230 7.19/7.21 c 4.51031 10.2773 368 103125 7.19/7.21 o 9179 7.19/7.27 c 4.54331 10.2773 623 103852 7.19/7.27 o 9141 7.30/7.31 c 4.5663 10.2773 407 104481 7.30/7.31 o 9128 7.40/7.41 c 4.63129 10.2773 830 105583 7.40/7.41 o 9069 7.49/7.58 c 4.72728 10.3984 591 107091 7.49/7.58 o 9002 7.49/7.59 c 4.73528 10.3984 633 107308 7.49/7.59 o 8969 7.49/7.60 c 4.73828 10.3984 645 107557 7.49/7.60 o 8873 7.59/7.61 c 4.74728 10.3984 398 107960 7.59/7.61 o 8770 7.70/7.72 c 4.81327 10.3984 578 109668 7.70/7.72 o 8686 7.89/7.90 c 4.93125 10.3984 622 112565 7.89/7.90 o 8655 7.89/7.91 c 4.93325 10.3984 641 112779 7.89/7.91 o 8646 8.29/8.36 c 5.22021 10.3984 511 119188 8.29/8.36 o 8514 8.39/8.46 c 5.2792 10.3984 609 120541 8.39/8.46 o 8509 8.79/8.87 c 5.54016 10.3984 599 125293 8.79/8.87 o 8473 9.20/9.22 c 5.75612 10.3984 784 129694 9.20/9.22 o 8461 9.20/9.29 c 5.79812 10.3984 719 130695 9.20/9.29 o 8450 9.70/9.79 c 6.11907 10.3984 844 135886 9.70/9.79 o 8398 9.99/10.03 c 6.27405 10.3984 811 137802 9.99/10.03 o 8315 10.09/10.10 c 6.31504 10.3984 467 139188 10.09/10.10 o 8289 10.59/10.68 c 6.67499 10.3984 572 145314 10.59/10.68 o 8220 10.90/10.90 c 6.82596 10.3984 587 148101 10.90/10.90 o 8185 11.00/11.05 c 6.92395 10.3984 555 150332 11.00/11.05 o 8084 11.69/11.72 c 7.33289 10.3984 560 158278 11.69/11.72 o 7979 11.79/11.84 c 7.40687 10.3984 691 159545 11.79/11.84 o 7926 12.29/12.38 c 7.73182 10.3984 608 165474 12.29/12.38 o 7913 12.99/13.02 c 8.13676 10.5234 822 172644 12.99/13.02 o 7791 13.10/13.14 c 8.21275 10.5234 389 174680 13.10/13.14 o 7744 13.10/13.17 c 8.23475 10.5234 527 175184 13.10/13.17 o 7731 13.20/13.21 c 8.25375 10.5234 696 175791 13.20/13.21 o 7594 13.20/13.24 c 8.27874 10.5234 536 176468 13.20/13.24 o 7466 13.29/13.30 c 8.31274 10.5234 772 177188 13.29/13.30 o 7431 13.49/13.59 c 8.48471 10.5234 607 179972 13.49/13.59 o 7346 13.58/13.69 c 8.5407 10.5234 753 181320 13.58/13.69 o 7280 13.89/13.96 c 8.70368 10.5234 816 184489 13.89/13.96 o 7195 14.39/14.42 c 8.99263 10.5234 430 188624 14.39/14.42 o 7090 14.59/14.61 c 9.11061 10.5234 519 190828 14.59/14.61 o 7023 14.59/14.66 c 9.13961 10.5234 683 191341 14.59/14.66 o 6995 14.59/14.67 c 9.14461 10.5234 362 191525 14.59/14.67 o 6945 14.79/14.84 c 9.25159 10.5234 646 193261 14.79/14.84 o 6909 14.89/14.93 c 9.30858 10.5234 695 194619 14.89/14.93 o 6870 15.59/15.67 c 9.76652 10.5234 737 201770 15.59/15.67 o 6866 15.69/15.74 c 9.81951 10.5234 666 202552 15.69/15.74 o 6814 15.79/15.83 c 9.8625 10.5234 586 203501 15.79/15.83 o 6781 15.99/16.00 c 9.96049 10.5234 853 205087 15.99/16.00 o 6734 16.09/16.19 c 10.0765 10.5234 670 206862 16.09/16.19 o 6696 16.19/16.29 c 10.1375 10.5234 646 207994 16.19/16.29 o 6499 16.40/16.41 c 10.2084 10.5234 703 209443 16.40/16.41 o 6426 16.69/16.71 c 10.4124 10.5234 611 212288 16.69/16.71 o 6412 16.69/16.76 c 10.4364 10.5234 393 212926 16.69/16.76 o 6186 16.79/16.84 c 10.4874 10.5234 716 213682 16.79/16.84 o 6182 16.79/16.89 c 10.5234 10.5234 588 214601 16.79/16.89 o 5978 16.98/17.03 c 10.6064 10.5234 391 216131 16.98/17.03 o 5862 17.09/17.19 c 10.7004 10.5234 853 217356 17.09/17.19 o 5856 17.29/17.33 c 10.7864 10.5234 503 218599 17.29/17.33 o 5818 17.39/17.42 c 10.8394 10.5234 796 219411 17.39/17.42 o 5768 17.59/17.67 c 10.9843 10.5234 738 221542 17.59/17.67 o 5746 18.79/18.84 c 11.7252 10.5234 449 230454 18.79/18.84 o 5649 18.79/18.88 c 11.7502 10.5234 581 231007 18.79/18.88 o 5562 18.98/19.08 c 11.8892 10.5234 519 233197 18.98/19.08 o 5485 19.29/19.35 c 12.0632 10.5234 620 235498 19.29/19.35 o 5463 19.39/19.41 c 12.1022 10.5234 451 236141 19.39/19.41 o 5366 19.59/19.68 c 12.2711 10.5234 604 238578 19.59/19.68 o 5359 19.69/19.78 c 12.3361 10.5234 596 239635 19.69/19.78 o 5251 20.09/20.11 c 12.5401 10.6484 560 242207 20.09/20.11 o 5243 20.18/20.27 c 12.6421 10.6484 776 243677 20.18/20.27 o 5227 20.28/20.36 c 12.6991 10.6484 740 244763 20.28/20.36 o 5147 20.48/20.50 c 12.7941 10.6484 454 245984 20.48/20.50 o 5076 20.69/20.73 c 12.929 10.6484 582 248245 20.69/20.73 o 4916 21.29/21.35 c 13.332 10.6484 687 253824 21.29/21.35 o 4850 21.39/21.41 c 13.379 10.6484 537 254513 21.39/21.41 o 4824 21.39/21.47 c 13.407 10.6484 719 255054 21.39/21.47 o 4799 21.48/21.51 c 13.439 10.6484 531 255606 21.48/21.51 o 4726 21.59/21.68 c 13.5489 10.6484 744 257094 21.59/21.68 o 4648 21.69/21.73 c 13.5719 10.6484 541 257575 21.69/21.73 o 4641 21.69/21.75 c 13.5839 10.6484 608 257828 21.69/21.75 o 4640 22.18/22.25 c 13.8899 10.6484 499 261259 22.18/22.25 o 4566 22.39/22.42 c 13.9939 10.6484 663 263104 22.39/22.42 o 4483 22.39/22.43 c 14.0059 10.6484 718 263367 22.39/22.43 o 4417 22.39/22.49 c 14.0369 10.6484 532 263926 22.39/22.49 o 4319 22.69/22.74 c 14.1848 10.6484 671 266193 22.69/22.74 o 4308 22.99/23.08 c 14.4128 10.6484 669 268975 22.99/23.08 o 4282 23.19/23.29 c 14.5358 10.6484 575 270742 23.19/23.29 o 4273 23.39/23.45 c 14.6368 10.6484 634 271960 23.39/23.45 o 4227 23.58/23.68 c 14.7748 10.6484 564 273769 23.58/23.68 o 4113 23.79/23.80 c 14.8607 10.6484 581 275059 23.79/23.80 o 4072 23.79/23.83 c 14.8807 10.6484 675 275350 23.79/23.83 o 4009 23.89/23.90 c 14.9187 10.6484 468 275908 23.89/23.90 o 3971 23.89/23.99 c 14.9697 10.6484 758 276644 23.89/23.99 o 3961 24.69/24.74 c 15.4427 10.7734 754 280499 24.69/24.74 o 3919 24.89/24.90 c 15.5446 10.7734 457 281715 24.89/24.90 o 3904 25.49/25.51 c 15.9136 10.7734 713 285998 25.49/25.51 o 3877 25.49/25.58 c 15.9566 10.7734 527 286746 25.49/25.58 o 3813 25.59/25.64 c 15.9926 10.7734 679 287143 25.59/25.64 o 3792 25.59/25.68 c 16.0146 10.7734 404 287624 25.59/25.68 o 3701 25.59/25.69 c 16.0216 10.7734 443 287764 25.59/25.69 o 3680 25.78/25.89 c 16.1435 10.7734 688 289723 25.78/25.89 o 3679 25.89/25.92 c 16.1645 10.7734 782 290019 25.89/25.92 o 3631 25.99/26.01 c 16.2215 10.7734 662 290797 25.99/26.01 o 3554 26.39/26.44 c 16.4985 10.7734 690 293559 26.39/26.44 o 3543 26.39/26.46 c 16.5115 10.7734 766 293876 26.39/26.46 o 3523 26.39/26.49 c 16.5295 10.7734 460 294108 26.39/26.49 o 3467 26.49/26.55 c 16.5625 10.7734 635 294619 26.49/26.55 o 3445 26.58/26.60 c 16.6015 10.7734 409 295137 26.58/26.60 o 3437 26.58/26.62 c 16.6155 10.7734 462 295353 26.58/26.62 o 3360 26.58/26.63 c 16.6235 10.7734 502 295538 26.58/26.63 o 3313 26.58/26.67 c 16.6435 10.7734 640 296003 26.58/26.67 o 3199 26.69/26.72 c 16.6685 10.7734 432 296497 26.69/26.72 o 3116 26.69/26.76 c 16.6935 10.7734 588 296978 26.69/26.76 o 3099 26.79/26.82 c 16.7365 10.7734 777 297655 26.79/26.82 o 2959 26.79/26.86 c 16.7585 10.7734 473 297907 26.79/26.86 o 2942 26.79/26.86 c 16.7605 10.7734 476 297971 26.79/26.86 o 2937 26.79/26.86 c 16.7625 10.7734 488 298065 26.79/26.86 o 2916 26.79/26.89 c 16.7774 10.7734 553 298228 26.79/26.89 o 2905 26.89/26.90 c 16.7824 10.7734 584 298447 26.89/26.90 o 2809 26.99/27.06 c 16.8854 10.7734 592 299557 26.99/27.06 o 2750 26.99/27.07 c 16.8934 10.7734 635 299714 26.99/27.07 o 2723 27.19/27.20 c 16.9754 10.7734 579 300743 27.19/27.20 o 2692 27.29/27.32 c 17.0554 10.7734 508 301669 27.29/27.32 o 2473 27.29/27.35 c 17.0754 10.7734 616 302065 27.29/27.35 o 2458 27.29/27.36 c 17.0834 10.7734 642 302179 27.29/27.36 o 2409 27.39/27.44 c 17.1264 10.7734 829 302720 27.39/27.44 o 2342 27.39/27.45 c 17.1364 10.7734 457 302852 27.39/27.45 o 2340 27.39/27.47 c 17.1474 10.7734 520 303141 27.39/27.47 o 2324 27.39/27.49 c 17.1534 10.7734 550 303324 27.39/27.49 o 2254 27.50/27.51 c 17.1664 10.7734 634 303574 27.50/27.51 o 2210 27.69/27.70 c 17.2834 10.7734 714 304779 27.69/27.70 o 2148 27.69/27.72 c 17.2964 10.7734 772 304962 27.69/27.72 o 2104 27.69/27.73 c 17.3054 10.7734 424 305193 27.69/27.73 o 2050 27.69/27.76 c 17.3194 10.7734 491 305476 27.69/27.76 o 1888 27.88/27.91 c 17.4094 10.7734 536 306662 27.88/27.91 o 1851 27.88/27.94 c 17.4244 10.7734 628 306856 27.88/27.94 o 1849 27.88/27.98 c 17.4493 10.7734 724 307074 27.88/27.98 o 1840 27.99/28.02 c 17.4763 10.7734 429 307417 27.99/28.02 o 1771 27.99/28.04 c 17.4873 10.7734 471 307567 27.99/28.04 o 1719 27.99/28.04 c 17.4893 10.7734 492 307713 27.99/28.04 o 1690 27.99/28.09 c 17.5173 10.7734 630 308079 27.99/28.09 o 1682 28.09/28.14 c 17.5543 10.7734 788 308483 28.09/28.14 o 1662 28.09/28.15 c 17.5563 10.7734 396 308536 28.09/28.15 o 1634 28.09/28.15 c 17.5593 10.7734 409 308590 28.09/28.15 o 1618 28.09/28.16 c 17.5653 10.7734 430 308677 28.09/28.16 o 1589 28.18/28.21 c 17.5913 10.7734 557 309045 28.18/28.21 o 1546 28.18/28.25 c 17.6133 10.7734 665 309285 28.18/28.25 o 1539 28.18/28.25 c 17.6183 10.7734 679 309392 28.18/28.25 o 1482 28.18/28.29 c 17.6413 10.7734 408 309777 28.18/28.29 o 1453 28.29/28.30 c 17.6463 10.8906 433 309941 28.29/28.30 o 1450 28.29/28.31 c 17.6513 10.8906 449 310177 28.29/28.31 o 1243 28.29/28.32 c 17.6583 10.8906 478 310253 28.29/28.32 o 1225 28.39/28.40 c 17.7093 10.8906 711 310960 28.39/28.40 o 1207 28.39/28.44 c 17.7403 10.8906 807 311175 28.39/28.44 o 1185 28.39/28.45 c 17.7433 10.8906 418 311230 28.39/28.45 o 1175 28.39/28.46 c 17.7483 10.8906 444 311404 28.39/28.46 o 1098 28.39/28.46 c 17.7523 10.8906 455 311463 28.39/28.46 o 1097 28.39/28.47 c 17.7583 10.8906 474 311582 28.39/28.47 o 1071 28.39/28.49 c 17.7703 10.8906 530 311749 28.39/28.49 o 1034 28.49/28.54 c 17.8083 10.8906 653 312086 28.49/28.54 o 983 28.49/28.54 c 17.8133 10.8906 680 312202 28.49/28.54 o 946 28.49/28.55 c 17.8173 10.8906 695 312276 28.49/28.55 o 909 28.49/28.58 c 17.8373 10.8906 810 312577 28.49/28.58 o 888 28.59/28.62 c 17.8633 10.8906 465 312887 28.59/28.62 o 869 28.59/28.63 c 17.8653 10.8906 468 312959 28.59/28.63 o 852 28.59/28.69 c 17.9073 10.8906 666 313383 28.59/28.69 o 819 28.59/28.69 c 17.9103 10.8906 681 313426 28.59/28.69 o 816 28.69/28.70 c 17.9183 10.8906 736 313579 28.69/28.71 o 804 28.69/28.71 c 17.9243 10.8906 770 313672 28.69/28.71 o 781 28.69/28.72 c 17.9273 10.8906 788 313723 28.69/28.72 o 778 28.69/28.76 c 17.9523 10.8906 922 314065 28.69/28.76 o 751 28.69/28.77 c 17.9543 10.8906 933 314175 28.69/28.77 o 667 28.69/28.78 c 17.9613 10.8906 981 314315 28.69/28.78 o 620 28.69/28.78 c 17.9653 11.0195 978 314370 28.69/28.78 o 596 28.69/28.80 c 17.9733 11.0195 1023 314476 28.69/28.80 o 571 28.79/28.80 c 17.9743 11.0195 1024 314500 28.79/28.80 o 568 28.79/28.80 c 17.9753 11.0195 1025 314521 28.79/28.80 o 566 28.79/28.80 c 17.9763 11.0195 1027 314544 28.79/28.80 o 565 28.79/28.80 c 17.9773 11.0195 1037 314632 28.79/28.80 o 492 28.79/28.81 c 17.9793 11.0195 1047 314695 28.79/28.81 o 471 28.79/28.81 c 17.9813 11.0195 1055 314731 28.79/28.81 o 448 28.79/28.81 c 17.9843 11.0195 1067 314798 28.79/28.81 o 413 28.79/28.81 c 17.9853 11.0195 857 314853 28.79/28.81 o 369 28.79/28.81 c 17.9863 11.0195 858 314915 28.79/28.81 o 321 28.79/28.82 c 17.9883 11.0195 863 314982 28.79/28.82 o 278 28.79/28.82 c 17.9933 11.0195 899 315093 28.79/28.82 o 216 28.79/28.82 c 17.9933 11.0195 900 315137 28.79/28.82 o 180 28.79/28.83 c 17.9973 11.0195 931 315197 28.79/28.83 o 175 28.79/28.83 c 17.9983 11.0195 935 315231 28.79/28.83 o 154 28.79/28.83 c 17.9993 11.0195 937 315284 28.79/28.83 o 94 28.79/28.83 c 18.0013 11.0195 948 315342 28.79/28.83 o 55 28.79/28.83 c 18.0043 11.0195 974 315399 28.79/28.83 o 23 28.79/28.84 c 18.0093 11.0195 1036 315516 28.79/28.84 o 11 28.79/28.84 c 18.0113 11.0195 550 315547 28.79/28.84 o 9 28.79/28.85 c 18.0173 11.0195 625 315660 28.79/28.85 o 5 28.79/28.85 c 18.0223 11.0195 678 315744 28.79/28.85 o 1 28.79/28.86 c 18.0263 11.0195 711 315820 28.79/28.86 o 0 28.79/28.86 c 18.0263 11.0195 711 315820 28.79/28.86 s OPTIMUM FOUND 28.79/28.86 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-2700459-1278535662/watcher-2700459-1278535662 -o /tmp/evaluation-result-2700459-1278535662/solver-2700459-1278535662 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700459-1278535662.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.94 1.98 1.68 4/178 18782 /proc/meminfo: memFree=28400980/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=2136 CPUtime=0 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21779732 2187264 180 4089446400 134512640 136422188 4290501536 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18782/statm: 534 180 144 467 0 65 0 [startup+0.021929 s] /proc/loadavg: 1.94 1.98 1.68 4/178 18782 /proc/meminfo: memFree=28400980/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=6644 CPUtime=0.02 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 1368 0 0 0 2 0 0 0 25 0 1 0 21779732 6803456 1287 4089446400 134512640 136422188 4290501536 18446744073709551615 135830093 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 1661 1287 193 467 0 1192 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6644 [startup+0.100905 s] /proc/loadavg: 1.94 1.98 1.68 4/178 18782 /proc/meminfo: memFree=28400980/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10136 CPUtime=0.09 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2280 0 0 0 6 3 0 0 25 0 1 0 21779732 10379264 2194 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2534 2194 238 467 0 2065 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10136 [startup+0.300883 s] /proc/loadavg: 1.94 1.98 1.68 4/178 18782 /proc/meminfo: memFree=28400980/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10264 CPUtime=0.29 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2304 0 0 0 20 9 0 0 25 0 1 0 21779732 10510336 2217 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2566 2217 238 467 0 2097 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10264 [startup+0.700803 s] /proc/loadavg: 1.94 1.98 1.68 4/178 18782 /proc/meminfo: memFree=28400980/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10392 CPUtime=0.69 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2318 0 0 0 44 25 0 0 25 0 1 0 21779732 10641408 2229 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2598 2229 238 467 0 2129 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10392 [startup+1.50067 s] /proc/loadavg: 1.94 1.98 1.68 3/179 18783 /proc/meminfo: memFree=28392084/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10392 CPUtime=1.49 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2339 0 0 0 94 55 0 0 25 0 1 0 21779732 10641408 2246 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2598 2246 238 467 0 2129 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10392 [startup+3.1004 s] /proc/loadavg: 1.94 1.98 1.68 3/179 18783 /proc/meminfo: memFree=28389604/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10520 CPUtime=3.09 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2359 0 0 0 195 114 0 0 25 0 1 0 21779732 10772480 2263 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2630 2263 238 467 0 2161 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10520 [startup+6.30086 s] /proc/loadavg: 1.94 1.98 1.68 3/179 18783 /proc/meminfo: memFree=28385264/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10520 CPUtime=6.29 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2384 0 0 0 393 236 0 0 25 0 1 0 21779732 10772480 2284 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2630 2284 238 467 0 2161 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10520 [startup+12.7008 s] /proc/loadavg: 1.95 1.98 1.69 3/179 18783 /proc/meminfo: memFree=28376228/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=10644 CPUtime=12.69 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2459 0 0 0 791 478 0 0 25 0 1 0 21779732 10899456 2324 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18782/statm: 2661 2324 238 467 0 2192 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10644 [startup+25.5006 s] /proc/loadavg: 1.96 1.98 1.69 3/179 18784 /proc/meminfo: memFree=28358304/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=11028 CPUtime=25.49 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2596 0 0 0 1590 959 0 0 25 0 1 0 21779732 11292672 2396 4089446400 134512640 136422188 4290501536 18446744073709551615 134974301 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18782/statm: 2757 2396 238 467 0 2288 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11028 Solver just ended. Dumping a history of the last processes samples [startup+27.1004 s] /proc/loadavg: 1.96 1.98 1.69 3/179 18784 /proc/meminfo: memFree=28357436/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=11028 CPUtime=27.09 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2633 0 0 0 1691 1018 0 0 25 0 1 0 21779732 11292672 2407 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18782/statm: 2757 2407 238 467 0 2288 0 Current children cumulated CPU time (s) 27.09 Current children cumulated vsize (KiB) 11028 [startup+27.9002 s] /proc/loadavg: 1.96 1.98 1.69 3/179 18784 /proc/meminfo: memFree=28356072/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=11028 CPUtime=27.88 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2656 0 0 0 1739 1049 0 0 25 0 1 0 21779732 11292672 2417 4089446400 134512640 136422188 4290501536 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18782/statm: 2757 2417 238 467 0 2288 0 Current children cumulated CPU time (s) 27.88 Current children cumulated vsize (KiB) 11028 [startup+28.3002 s] /proc/loadavg: 1.96 1.98 1.69 3/179 18784 /proc/meminfo: memFree=28356072/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=11028 CPUtime=28.29 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2680 0 0 0 1764 1065 0 0 25 0 1 0 21779732 11292672 2426 4089446400 134512640 136422188 4290501536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18782/statm: 2757 2426 238 467 0 2288 0 Current children cumulated CPU time (s) 28.29 Current children cumulated vsize (KiB) 11028 [startup+28.7011 s] /proc/loadavg: 1.96 1.98 1.69 3/179 18784 /proc/meminfo: memFree=28353220/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=11148 CPUtime=28.69 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2717 0 0 0 1791 1078 0 0 25 0 1 0 21779732 11415552 2445 4089446400 134512640 136422188 4290501536 18446744073709551615 135006320 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18782/statm: 2787 2445 238 467 0 2318 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 11148 [startup+28.8011 s] /proc/loadavg: 1.96 1.98 1.69 3/179 18784 /proc/meminfo: memFree=28353220/32951124 swapFree=67111528/67111528 [pid=18782] ppid=18780 vsize=11280 CPUtime=28.79 /proc/18782/stat : 18782 (pbct) R 18780 18782 17937 0 -1 4202496 2738 0 0 0 1797 1082 0 0 25 0 1 0 21779732 11550720 2458 4089446400 134512640 136422188 4290501536 18446744073709551615 135873918 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18782/statm: 2820 2458 238 467 0 2351 0 Current children cumulated CPU time (s) 28.79 Current children cumulated vsize (KiB) 11280 Child status: 0 Real time (s): 28.8727 CPU time (s): 28.8696 CPU user time (s): 18.0353 CPU system time (s): 10.8344 CPU usage (%): 99.9892 Max. virtual memory (cumulated for all children) (KiB): 11280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.0353 system time used= 10.8344 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2772 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= 68 runsolver used 0.046992 second user time and 0.095985 second system time The end
Begin job on node118 at 2010-07-07 22:47:42 IDJOB=2700459 IDBENCH=79429 IDSOLVER=1212 FILE ID=node118/2700459-1278535662 PBS_JOBID= 11239241 Free space on /tmp= 73556 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh217_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700459-1278535662/watcher-2700459-1278535662 -o /tmp/evaluation-result-2700459-1278535662/solver-2700459-1278535662 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700459-1278535662.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 21c59077deccfec4231c8e158229757c RANDOM SEED=515424507 node118.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.818 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.63 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.818 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.818 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.818 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.83 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.818 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.818 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.818 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.76 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.818 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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28401508 kB Buffers: 137152 kB Cached: 3568192 kB SwapCached: 0 kB Active: 1849976 kB Inactive: 2548028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28401508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1952 kB Writeback: 0 kB AnonPages: 692708 kB Mapped: 17056 kB Slab: 85832 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 837404 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= 73552 MiB End job on node118 at 2010-07-07 22:48:11