Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 65.735 | 65.8399 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo |
MD5SUM | f6fb73f0a02abbaaed6c5aa05fa83af7 |
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 | 88 |
Best CPU time to get the best result obtained on this benchmark | 0.164974 |
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.02 c constraints 100/0 clauses 0/800 units 0 0.00/0.02 c vars 200 0.03/0.11 c 0.033994 9.74219 1 1856 0.03/0.11 o 24869 0.03/0.11 c 0.035994 9.89453 1 2386 0.03/0.11 o 24313 0.03/0.12 c 0.036994 9.89453 1 2665 0.03/0.12 o 24082 0.03/0.12 c 0.036994 9.89453 1 3167 0.03/0.12 o 23668 0.03/0.13 c 0.037994 9.89453 2 3517 0.03/0.13 o 23370 0.03/0.14 c 0.039993 9.89453 2 4355 0.03/0.14 o 11933 0.03/0.14 c 0.040993 9.89453 4 4875 0.03/0.14 o 11664 0.03/0.15 c 0.041993 9.89453 4 5622 0.03/0.15 o 10966 0.03/0.15 c 0.041993 9.89453 11 5882 0.03/0.15 o 10950 0.03/0.16 c 0.044993 9.89453 70 6238 0.03/0.16 o 10943 0.09/0.28 c 0.090986 10.0195 791 8292 0.09/0.28 o 10919 1.28/1.44 c 0.469928 10.1445 739 25349 1.28/1.44 o 10843 1.49/1.63 c 0.527919 10.1445 472 27604 1.49/1.63 o 10781 1.49/1.69 c 0.540917 10.1445 370 28655 1.49/1.69 o 10676 1.68/1.83 c 0.584911 10.1445 415 30935 1.68/1.83 o 10619 2.09/2.21 c 0.708892 10.1445 722 36241 2.09/2.21 o 10580 2.59/2.74 c 0.85487 10.1445 465 43267 2.59/2.74 o 10351 2.89/3.07 c 0.955854 10.1445 422 47897 2.89/3.07 o 10247 2.99/3.10 c 0.964853 10.1445 519 48196 2.99/3.10 o 10204 3.39/3.50 c 1.08683 10.2695 532 52299 3.39/3.50 o 10008 3.59/3.76 c 1.16082 10.2695 632 56604 3.59/3.76 o 9980 3.79/3.94 c 1.21382 10.2695 740 58430 3.79/3.94 o 9876 4.19/4.34 c 1.3418 10.2695 485 63657 4.19/4.34 o 9875 4.38/4.58 c 1.40979 10.2695 659 66212 4.38/4.58 o 9744 4.79/4.97 c 1.55176 10.2695 890 71772 4.79/4.97 o 9715 5.18/5.35 c 1.66775 10.2695 709 77228 5.18/5.35 o 9486 5.40/5.52 c 1.72574 10.2695 629 79952 5.40/5.52 o 9450 5.49/5.60 c 1.74573 10.2695 631 80951 5.49/5.60 o 9353 5.89/6.08 c 1.89871 10.2695 870 87001 5.89/6.08 o 9276 6.79/6.94 c 2.17067 10.2695 569 97933 6.79/6.94 o 9187 7.28/7.41 c 2.31265 10.3945 724 103323 7.28/7.41 o 9157 7.60/7.73 c 2.41763 10.3945 574 107808 7.60/7.73 o 9134 7.69/7.80 c 2.44663 10.3945 516 108571 7.69/7.80 o 9128 7.99/8.13 c 2.55661 10.3945 520 112758 7.99/8.13 o 9101 7.99/8.16 c 2.56961 10.3945 678 113405 7.99/8.16 o 9056 8.18/8.36 c 2.6246 10.3945 569 115823 8.18/8.36 o 9035 8.98/9.12 c 2.86656 10.3945 647 123145 8.98/9.12 o 8961 9.19/9.31 c 2.93155 10.3945 431 125418 9.19/9.31 o 8926 9.19/9.34 c 2.94055 10.3945 556 125958 9.19/9.34 o 8810 9.19/9.38 c 2.94755 10.3945 375 126487 9.19/9.38 o 8808 10.18/10.34 c 3.2575 10.3945 555 137518 10.18/10.34 o 8751 11.19/11.33 c 3.55346 10.3945 869 145278 11.19/11.33 o 8699 11.38/11.50 c 3.59945 10.3945 812 147448 11.38/11.50 o 8668 11.38/11.59 c 3.62745 10.3945 462 148798 11.38/11.59 o 8605 11.59/11.73 c 3.67344 10.3945 859 150640 11.59/11.73 o 8601 11.99/12.19 c 3.79342 10.3945 525 157167 11.99/12.19 o 8430 12.09/12.28 c 3.80942 10.3945 568 158504 12.09/12.28 o 8419 12.38/12.50 c 3.88741 10.3945 407 161025 12.38/12.50 o 8381 13.09/13.20 c 4.17736 10.3945 675 169003 13.09/13.20 o 8321 13.39/13.52 c 4.25635 10.3945 775 171858 13.39/13.52 o 8274 14.39/14.50 c 4.6053 10.5195 745 184103 14.39/14.50 o 8054 14.39/14.56 c 4.6253 10.5195 401 185214 14.39/14.56 o 8027 15.48/15.64 c 5.12722 10.5195 504 196154 15.48/15.64 o 7874 16.29/16.45 c 5.41518 10.5195 459 206006 16.29/16.45 o 7768 16.48/16.68 c 5.57115 10.5195 537 208091 16.48/16.68 o 7551 18.28/18.49 c 6.69898 10.5195 869 221008 18.28/18.49 o 7455 18.38/18.52 c 6.71998 10.5195 603 221643 18.38/18.52 o 7391 20.80/20.96 c 8.22275 10.5195 610 244849 20.80/20.96 o 7361 20.88/21.00 c 8.25174 10.5195 422 245391 20.88/21.00 o 7337 21.08/21.21 c 8.37473 10.5195 609 247905 21.08/21.21 o 7194 21.08/21.27 c 8.41072 10.5195 491 248535 21.08/21.27 o 7147 21.58/21.79 c 8.71567 10.5195 601 252812 21.58/21.79 o 7018 22.19/22.35 c 9.02863 10.5195 709 258896 22.19/22.35 o 7012 22.78/22.93 c 9.38057 10.5195 757 265334 22.78/22.93 o 6998 23.59/23.79 c 9.93249 10.5195 469 274385 23.59/23.79 o 6953 23.99/24.11 c 10.1385 10.5195 428 277852 23.99/24.11 o 6882 23.99/24.16 c 10.1775 10.5195 645 278566 23.99/24.16 o 6840 24.09/24.29 c 10.2564 10.5195 412 279905 24.09/24.29 o 6816 24.29/24.42 c 10.3274 10.5195 496 281052 24.29/24.42 o 6800 24.99/25.15 c 10.7444 10.6406 876 286222 24.99/25.15 o 6791 25.69/25.83 c 11.1503 10.6406 611 290294 25.69/25.83 o 6782 25.69/25.89 c 11.1813 10.6406 450 290916 25.69/25.89 o 6781 26.49/26.60 c 11.6452 10.6406 762 298570 26.49/26.60 o 6640 26.88/27.06 c 11.9382 10.6406 470 303626 26.88/27.06 o 6637 30.18/30.38 c 13.9709 10.6406 558 333484 30.18/30.38 o 6525 32.19/32.31 c 15.1877 10.6406 788 350900 32.19/32.31 o 6505 33.19/33.32 c 15.8166 10.6406 902 360343 33.19/33.32 o 6451 34.49/34.66 c 16.6295 10.6406 925 369865 34.49/34.66 o 6412 34.68/34.83 c 16.7355 10.6406 713 371609 34.68/34.83 o 6336 35.69/35.86 c 17.3674 10.6406 550 381081 35.69/35.86 o 6309 35.89/36.04 c 17.4713 10.6406 875 383101 35.89/36.04 o 6053 35.99/36.17 c 17.5643 10.6406 707 384938 35.99/36.17 o 6030 36.10/36.25 c 17.6093 10.6406 597 385533 36.10/36.25 o 6002 36.39/36.56 c 17.8003 10.6406 625 388424 36.39/36.56 o 5895 36.39/36.57 c 17.8063 10.6406 641 388610 36.39/36.57 o 5843 36.69/36.89 c 18.0063 10.6406 557 391386 36.69/36.89 o 5718 37.39/37.58 c 18.4382 10.6406 774 396650 37.39/37.58 o 5666 37.79/37.94 c 18.6442 10.6406 715 399497 37.79/37.94 o 5597 39.28/39.49 c 19.576 10.6406 662 412021 39.28/39.49 o 5574 39.69/39.86 c 19.822 10.6406 720 415843 39.69/39.86 o 5528 40.08/40.26 c 20.0799 10.7656 567 419997 40.08/40.26 o 5441 40.89/41.00 c 20.5019 10.7656 551 426487 40.89/41.00 o 5379 40.98/41.11 c 20.5739 10.7656 605 427825 40.98/41.11 o 5339 41.09/41.23 c 20.6519 10.7656 697 429071 41.09/41.23 o 5310 42.08/42.24 c 21.2568 10.7656 637 437831 42.08/42.24 o 5265 42.69/42.90 c 21.6607 10.7656 751 442695 42.69/42.90 o 5232 42.88/43.03 c 21.7427 10.7656 541 444362 42.88/43.03 o 5086 42.98/43.12 c 21.7947 10.7656 827 445039 42.98/43.12 o 5046 43.18/43.32 c 21.9107 10.7656 638 446661 43.18/43.32 o 5045 44.08/44.30 c 22.5386 10.7656 437 454514 44.08/44.30 o 5036 44.29/44.43 c 22.6246 10.7656 844 455340 44.29/44.43 o 5007 44.48/44.69 c 22.7855 10.7656 543 457586 44.48/44.69 o 4926 44.58/44.72 c 22.7975 10.7656 636 458114 44.58/44.72 o 4764 44.69/44.87 c 22.8775 10.7656 759 459320 44.69/44.87 o 4759 45.08/45.26 c 23.1145 10.7656 473 462221 45.08/45.26 o 4755 45.39/45.56 c 23.2975 10.7656 736 464664 45.39/45.56 o 4663 45.99/46.11 c 23.6534 10.7656 674 469016 45.99/46.11 o 4662 46.19/46.31 c 23.7744 10.7656 534 470755 46.19/46.31 o 4644 46.48/46.67 c 24.0064 10.7656 703 474251 46.48/46.67 o 4506 46.88/47.03 c 24.2153 10.7656 564 478040 46.88/47.03 o 4472 46.88/47.07 c 24.2413 10.7656 693 478550 46.88/47.07 o 4314 46.98/47.13 c 24.2813 10.7656 515 479160 46.98/47.13 o 4236 47.10/47.22 c 24.3353 10.7656 779 479738 47.10/47.22 o 4210 47.19/47.36 c 24.4133 10.7656 844 480910 47.19/47.36 o 4165 47.29/47.41 c 24.4393 10.7656 585 481341 47.29/47.41 o 4136 47.29/47.46 c 24.4673 10.7656 704 481713 47.29/47.46 o 4088 47.79/47.91 c 24.7522 10.7656 442 484610 47.79/47.91 o 4034 47.79/47.98 c 24.8032 10.7656 668 485375 47.79/47.98 o 3876 48.89/49.07 c 25.4751 10.7656 667 492989 48.89/49.07 o 3869 48.99/49.13 c 25.5151 10.7656 450 493550 48.99/49.13 o 3839 49.29/49.50 c 25.7341 10.7656 456 496481 49.29/49.50 o 3810 50.29/50.49 c 26.341 10.7656 686 503276 50.29/50.49 o 3786 50.59/50.72 c 26.479 10.7656 579 505024 50.59/50.72 o 3775 50.68/50.80 c 26.527 10.7656 780 505539 50.68/50.80 o 3748 50.89/51.05 c 26.6839 10.7656 751 507445 50.89/51.05 o 3713 51.28/51.43 c 26.9059 10.7656 585 509896 51.28/51.43 o 3673 51.59/51.76 c 27.1069 10.7656 770 512554 51.59/51.76 o 3645 52.19/52.32 c 27.4558 10.7656 891 515979 52.19/52.32 o 3621 52.19/52.38 c 27.4988 10.7656 694 516696 52.19/52.38 o 3523 52.29/52.43 c 27.5288 10.7656 491 517205 52.29/52.43 o 3508 52.29/52.48 c 27.5578 10.7656 668 517669 52.29/52.48 o 3463 52.69/52.82 c 27.7668 10.7656 683 520420 52.69/52.82 o 3353 53.38/53.53 c 28.2137 10.7656 598 525725 53.38/53.53 o 3317 53.38/53.59 c 28.2457 10.7656 800 526278 53.38/53.59 o 3247 53.48/53.68 c 28.3027 10.7656 662 526934 53.48/53.68 o 3212 53.69/53.88 c 28.4247 10.8867 837 528076 53.69/53.88 o 3206 53.79/53.91 c 28.4477 10.8867 531 528524 53.79/53.91 o 3200 53.88/54.04 c 28.5267 10.8867 443 529241 53.88/54.04 o 3179 54.08/54.26 c 28.6626 10.8867 697 530619 54.08/54.26 o 3143 54.29/54.48 c 28.7886 10.8867 592 532266 54.29/54.48 o 3127 54.38/54.55 c 28.8296 10.8867 804 532929 54.38/54.55 o 3046 54.49/54.66 c 28.9036 10.8867 680 533671 54.49/54.66 o 3040 54.58/54.71 c 28.9316 10.8867 402 533985 54.58/54.71 o 3021 54.58/54.72 c 28.9406 10.8867 427 534123 54.58/54.72 o 2980 54.89/55.09 c 29.1786 10.8867 725 536721 54.89/55.09 o 2863 54.98/55.10 c 29.1926 10.8867 775 536882 54.98/55.10 o 2831 54.98/55.18 c 29.2436 10.8867 616 537450 54.98/55.18 o 2829 55.08/55.24 c 29.2825 10.8867 426 538125 55.08/55.24 o 2788 55.28/55.46 c 29.4195 10.8867 640 539422 55.28/55.46 o 2749 55.69/55.85 c 29.6785 10.8867 916 542119 55.69/55.85 o 2729 55.89/56.07 c 29.8105 10.8867 740 543811 55.89/56.07 o 2728 56.99/57.11 c 30.4494 10.8867 539 550381 56.99/57.11 o 2725 57.29/57.41 c 30.6393 10.8867 532 552382 57.29/57.41 o 2701 57.39/57.52 c 30.7053 10.8867 455 553375 57.39/57.52 o 2689 57.89/58.09 c 31.0473 10.8867 713 556534 57.89/58.09 o 2613 58.28/58.49 c 31.2842 10.8867 625 559047 58.28/58.49 o 2588 58.98/59.11 c 31.6722 10.8867 802 563213 58.98/59.11 o 2569 59.09/59.24 c 31.7592 10.8867 837 564358 59.09/59.24 o 2526 59.39/59.55 c 31.9561 10.8867 572 566785 59.39/59.55 o 2487 59.58/59.74 c 32.0761 10.8867 823 568391 59.58/59.74 o 2321 59.79/59.95 c 32.2151 10.8867 621 569896 59.79/59.95 o 2287 59.88/60.05 c 32.2811 10.8867 487 570528 59.88/60.05 o 2262 59.99/60.10 c 32.3151 10.8867 651 571026 59.99/60.10 o 2187 60.58/60.71 c 32.698 10.8867 769 575144 60.58/60.71 o 2175 60.58/60.75 c 32.73 10.8867 504 575497 60.58/60.75 o 2116 60.69/60.80 c 32.751 10.8867 620 575813 60.69/60.80 o 2105 60.88/61.02 c 32.886 10.8867 754 577221 60.88/61.02 o 1951 61.19/61.32 c 33.08 10.8867 754 579238 61.19/61.32 o 1931 61.28/61.48 c 33.173 10.8867 766 580412 61.28/61.48 o 1856 61.39/61.60 c 33.2429 10.8867 704 581325 61.39/61.60 o 1848 62.29/62.43 c 33.7689 11.0078 494 586117 62.29/62.43 o 1847 62.29/62.48 c 33.8019 11.0078 604 586468 62.29/62.48 o 1784 62.29/62.49 c 33.8069 11.0078 610 586536 62.29/62.49 o 1756 62.39/62.52 c 33.8259 11.0078 675 586765 62.39/62.52 o 1701 62.39/62.58 c 33.8699 11.0078 484 587232 62.39/62.58 o 1663 62.49/62.70 c 33.9408 11.0078 417 588012 62.49/62.70 o 1660 62.59/62.76 c 33.9768 11.0078 560 588402 62.59/62.76 o 1656 62.59/62.77 c 33.9848 11.0078 586 588508 62.59/62.77 o 1628 62.98/63.15 c 34.2218 11.0078 422 590873 62.98/63.15 o 1562 63.09/63.29 c 34.3158 11.0078 774 591628 63.09/63.29 o 1506 63.19/63.35 c 34.3628 11.0078 515 592146 63.19/63.35 o 1376 63.28/63.48 c 34.4498 11.0078 570 593176 63.28/63.48 o 1363 63.38/63.56 c 34.4988 11.0078 777 593741 63.38/63.56 o 1357 63.49/63.66 c 34.5617 11.0078 601 594371 63.49/63.66 o 1323 63.49/63.67 c 34.5657 11.0078 623 594443 63.49/63.67 o 1312 63.49/63.67 c 34.5697 11.0078 635 594489 63.49/63.67 o 1297 63.60/63.74 c 34.6157 11.0078 846 595000 63.60/63.74 o 1267 63.88/64.09 c 34.8277 11.0078 590 597015 63.88/64.09 o 1257 63.98/64.15 c 34.8717 11.0078 787 597496 63.98/64.15 o 1254 64.09/64.24 c 34.9277 11.0078 589 598112 64.09/64.24 o 1246 64.28/64.45 c 35.0617 11.0078 717 599322 64.28/64.45 o 1165 64.39/64.58 c 35.1467 11.0078 719 600285 64.39/64.58 o 1113 64.48/64.66 c 35.1986 11.0078 542 600787 64.48/64.66 o 1107 64.59/64.75 c 35.2516 11.0078 790 601474 64.59/64.75 o 1097 64.59/64.80 c 35.2856 11.0078 494 601869 64.59/64.80 o 1092 64.69/64.87 c 35.3326 11.0078 693 602463 64.69/64.87 o 928 64.79/64.95 c 35.3806 11.0078 515 603052 64.79/64.95 o 893 64.88/65.08 c 35.4576 11.1484 886 603840 64.88/65.08 o 870 65.19/65.32 c 35.6106 11.1484 739 605435 65.19/65.32 o 836 65.19/65.36 c 35.6316 11.1484 879 605887 65.19/65.36 o 835 65.29/65.42 c 35.6696 11.1484 554 606282 65.29/65.42 o 823 65.29/65.44 c 35.6806 11.1484 615 606509 65.29/65.44 o 776 65.39/65.54 c 35.7486 11.1484 964 607214 65.39/65.54 o 699 65.39/65.55 c 35.7546 11.1484 502 607312 65.39/65.55 o 654 65.39/65.58 c 35.7736 11.1484 601 607514 65.39/65.58 o 631 65.49/65.63 c 35.8126 11.1484 843 608061 65.49/65.63 o 612 65.49/65.66 c 35.8296 11.1484 965 608306 65.49/65.66 o 592 65.49/65.68 c 35.8396 11.1484 1062 608565 65.49/65.68 o 554 65.59/65.70 c 35.8505 11.1484 1143 608768 65.59/65.70 o 543 65.59/65.71 c 35.8585 11.1484 1189 608879 65.59/65.71 o 535 65.59/65.74 c 35.8795 11.1484 748 609152 65.59/65.74 o 521 65.59/65.78 c 35.9055 11.1484 975 609674 65.59/65.78 o 321 65.68/65.80 c 35.9225 11.1484 1091 609927 65.68/65.80 o 240 65.68/65.81 c 35.9245 11.1484 1116 610012 65.68/65.81 o 185 65.68/65.81 c 35.9325 11.1484 1171 610102 65.68/65.81 o 177 65.68/65.82 c 35.9365 11.1484 987 610204 65.68/65.82 o 147 65.68/65.82 c 35.9375 11.1484 1003 610262 65.68/65.82 o 109 65.68/65.83 c 35.9375 11.1484 1004 610285 65.68/65.83 o 93 65.68/65.83 c 35.9385 11.1484 1004 610298 65.68/65.83 o 88 65.68/65.83 c 35.9385 11.1484 1005 610299 65.68/65.83 s OPTIMUM FOUND 65.68/65.83 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 88
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700072-1278533949/watcher-2700072-1278533949 -o /tmp/evaluation-result-2700072-1278533949/solver-2700072-1278533949 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700072-1278533949.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.32 1.64 0.59 4/186 17343 /proc/meminfo: memFree=30105168/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=2136 CPUtime=0 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 250 0 0 0 0 0 0 0 25 0 1 0 21608322 2187264 170 4089446400 134512640 136421960 4289338816 18446744073709551615 135810351 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/17343/statm: 534 170 144 467 0 65 0 [startup+0.0591581 s] /proc/loadavg: 4.32 1.64 0.59 4/186 17343 /proc/meminfo: memFree=30105168/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=6356 CPUtime=0.01 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 1303 0 0 0 1 0 0 0 25 0 1 0 21608322 6508544 1223 4089446400 134512640 136421960 4289338816 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/17343/statm: 1589 1224 193 467 0 1120 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6356 [startup+0.100149 s] /proc/loadavg: 4.32 1.64 0.59 4/186 17343 /proc/meminfo: memFree=30105168/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=9560 CPUtime=0.03 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2101 0 0 0 3 0 0 0 25 0 1 0 21608322 9789440 2021 4089446400 134512640 136421960 4289338816 18446744073709551615 134887911 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2390 2021 203 467 0 1921 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9560 [startup+0.300114 s] /proc/loadavg: 4.32 1.64 0.59 4/186 17343 /proc/meminfo: memFree=30105168/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10256 CPUtime=0.19 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2311 0 0 0 9 10 0 0 25 0 1 0 21608322 10502144 2220 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2564 2220 238 467 0 2095 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10256 [startup+0.701042 s] /proc/loadavg: 4.32 1.64 0.59 4/186 17343 /proc/meminfo: memFree=30105168/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10384 CPUtime=0.59 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2319 0 0 0 23 36 0 0 25 0 1 0 21608322 10633216 2228 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2596 2228 238 467 0 2127 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 10384 [startup+1.50167 s] /proc/loadavg: 4.32 1.64 0.59 6/187 17344 /proc/meminfo: memFree=30097224/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10384 CPUtime=1.38 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2341 0 0 0 48 90 0 0 25 0 1 0 21608322 10633216 2249 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2596 2249 238 467 0 2127 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 10384 [startup+3.10088 s] /proc/loadavg: 4.32 1.64 0.59 9/187 17344 /proc/meminfo: memFree=30097732/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10384 CPUtime=2.99 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2353 0 0 0 96 203 0 0 25 0 1 0 21608322 10633216 2255 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2596 2255 238 467 0 2127 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 10384 [startup+6.30105 s] /proc/loadavg: 4.29 1.68 0.61 8/187 17344 /proc/meminfo: memFree=30097872/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10512 CPUtime=6.19 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2394 0 0 0 196 423 0 0 25 0 1 0 21608322 10764288 2285 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2628 2285 238 467 0 2159 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 10512 [startup+12.701 s] /proc/loadavg: 4.19 1.70 0.63 3/187 17344 /proc/meminfo: memFree=30097844/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10640 CPUtime=12.58 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2444 0 0 0 395 863 0 0 25 0 1 0 21608322 10895360 2316 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17343/statm: 2660 2316 238 467 0 2191 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 10640 [startup+25.5006 s] /proc/loadavg: 3.64 1.70 0.64 3/179 17418 /proc/meminfo: memFree=30130204/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=10892 CPUtime=25.38 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2513 0 0 0 1095 1443 0 0 25 0 1 0 21608322 11153408 2363 4089446400 134512640 136421960 4289338816 18446744073709551615 134640935 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2723 2363 238 467 0 2254 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 10892 [startup+51.1002 s] /proc/loadavg: 3.08 1.72 0.68 3/179 17419 /proc/meminfo: memFree=30131096/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11020 CPUtime=50.98 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2620 0 0 0 2670 2428 0 0 25 0 1 0 21608322 11284480 2415 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2755 2415 238 467 0 2286 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 11020 Solver just ended. Dumping a history of the last processes samples [startup+57.501 s] /proc/loadavg: 2.99 1.72 0.68 3/179 17419 /proc/meminfo: memFree=30131088/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11144 CPUtime=57.39 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2678 0 0 0 3069 2670 0 0 18 0 1 0 21608322 11411456 2445 4089446400 134512640 136421960 4289338816 18446744073709551615 135032294 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2786 2445 238 467 0 2317 0 Current children cumulated CPU time (s) 57.39 Current children cumulated vsize (KiB) 11144 [startup+60.7005 s] /proc/loadavg: 2.91 1.73 0.69 3/179 17419 /proc/meminfo: memFree=30131088/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11144 CPUtime=60.58 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2696 0 0 0 3268 2790 0 0 25 0 1 0 21608322 11411456 2453 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2786 2453 238 467 0 2317 0 Current children cumulated CPU time (s) 60.58 Current children cumulated vsize (KiB) 11144 [startup+63.9009 s] /proc/loadavg: 2.84 1.73 0.70 3/179 17419 /proc/meminfo: memFree=30130960/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11268 CPUtime=63.79 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2738 0 0 0 3470 2909 0 0 18 0 1 0 21608322 11538432 2471 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2817 2471 238 467 0 2348 0 Current children cumulated CPU time (s) 63.79 Current children cumulated vsize (KiB) 11268 [startup+64.7008 s] /proc/loadavg: 2.84 1.73 0.70 3/179 17419 /proc/meminfo: memFree=30130960/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11268 CPUtime=64.59 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2752 0 0 0 3522 2937 0 0 19 0 1 0 21608322 11538432 2479 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2817 2479 238 467 0 2348 0 Current children cumulated CPU time (s) 64.59 Current children cumulated vsize (KiB) 11268 [startup+65.5006 s] /proc/loadavg: 2.84 1.73 0.70 3/179 17419 /proc/meminfo: memFree=30130960/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11412 CPUtime=65.39 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2774 0 0 0 3571 2968 0 0 18 0 1 0 21608322 11685888 2492 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2853 2492 238 467 0 2384 0 Current children cumulated CPU time (s) 65.39 Current children cumulated vsize (KiB) 11412 [startup+65.7005 s] /proc/loadavg: 2.84 1.73 0.70 3/179 17419 /proc/meminfo: memFree=30130960/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11412 CPUtime=65.59 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2786 0 0 0 3585 2974 0 0 18 0 1 0 21608322 11685888 2498 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2853 2498 238 467 0 2384 0 Current children cumulated CPU time (s) 65.59 Current children cumulated vsize (KiB) 11412 [startup+65.8005 s] /proc/loadavg: 2.84 1.73 0.70 3/179 17419 /proc/meminfo: memFree=30130960/32950928 swapFree=4192956/4192956 [pid=17343] ppid=17341 vsize=11412 CPUtime=65.68 /proc/17343/stat : 17343 (pbct) R 17341 17343 16719 0 -1 4202496 2792 0 0 0 3591 2977 0 0 18 0 1 0 21608322 11685888 2500 4089446400 134512640 136421960 4289338816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17343/statm: 2853 2500 238 467 0 2384 0 Current children cumulated CPU time (s) 65.68 Current children cumulated vsize (KiB) 11412 Child status: 0 Real time (s): 65.8399 CPU time (s): 65.735 CPU user time (s): 35.9465 CPU system time (s): 29.7885 CPU usage (%): 99.8408 Max. virtual memory (cumulated for all children) (KiB): 11412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.9465 system time used= 29.7885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2807 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= 5 involuntary context switches= 1043 runsolver used 0.096985 second user time and 0.218966 second system time The end
Begin job on node124 at 2010-07-07 22:19:09 IDJOB=2700072 IDBENCH=79397 IDSOLVER=1208 FILE ID=node124/2700072-1278533949 PBS_JOBID= 11239230 Free space on /tmp= 130188 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh215_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700072-1278533949/watcher-2700072-1278533949 -o /tmp/evaluation-result-2700072-1278533949/solver-2700072-1278533949 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700072-1278533949.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6fb73f0a02abbaaed6c5aa05fa83af7 RANDOM SEED=1488927910 node124.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.846 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.69 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.846 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.14 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.846 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.846 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.82 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.846 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.846 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.82 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.846 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30105696 kB Buffers: 130212 kB Cached: 2515304 kB SwapCached: 0 kB Active: 1008100 kB Inactive: 1727592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30105696 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5400 kB Writeback: 0 kB AnonPages: 90032 kB Mapped: 19056 kB Slab: 76812 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 307192 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130204 MiB End job on node124 at 2010-07-07 22:20:15