Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 111.131 | 111.129 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo |
MD5SUM | 6d863641d8b2b772fe5ea25b86285712 |
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 | 99 |
Best CPU time to get the best result obtained on this benchmark | 1.02084 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/850 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.036994 9.94531 1 1945 0.00/0.03 o 26800 0.03/0.04 c 0.040993 10.1133 8 2089 0.03/0.04 o 26762 0.03/0.04 c 0.041993 10.1133 8 2979 0.03/0.04 o 22189 0.03/0.04 c 0.043993 10.1133 8 3870 0.03/0.04 o 20936 0.03/0.04 c 0.044993 10.1133 11 4179 0.03/0.04 o 20885 0.03/0.05 c 0.045993 10.1133 14 4518 0.03/0.05 o 20834 0.03/0.05 c 0.045993 10.1133 14 4972 0.03/0.05 o 20720 0.03/0.05 c 0.047992 10.1133 22 5920 0.03/0.05 o 19214 0.03/0.05 c 0.049992 10.1133 26 6825 0.03/0.05 o 17882 0.03/0.05 c 0.050992 10.1133 27 7422 0.03/0.05 o 17636 0.03/0.06 c 0.050992 10.1133 27 8000 0.03/0.06 o 17160 0.03/0.06 c 0.052991 10.1133 27 8523 0.03/0.06 o 16777 0.03/0.06 c 0.053991 10.1133 27 8889 0.03/0.06 o 16639 0.03/0.06 c 0.055991 10.1133 27 9320 0.03/0.06 o 16381 0.03/0.07 c 0.06399 10.2383 90 9857 0.03/0.07 o 16127 0.03/0.09 c 0.074988 10.2383 210 10690 0.03/0.09 o 15794 0.03/0.09 c 0.075988 10.2383 211 10921 0.03/0.09 o 15750 0.03/0.09 c 0.077988 10.2383 213 11253 0.03/0.09 o 15547 0.09/0.10 c 0.078987 10.2383 215 11873 0.09/0.10 o 15057 0.09/0.11 c 0.089986 10.2383 281 12404 0.09/0.11 o 14816 0.09/0.11 c 0.092985 10.2383 286 12617 0.09/0.11 o 14782 0.09/0.12 c 0.095985 10.2383 296 12908 0.09/0.12 o 14618 0.09/0.18 c 0.12798 10.3633 534 13898 0.09/0.18 o 14598 0.19/0.29 c 0.198969 10.3633 740 15579 0.19/0.29 o 14565 0.29/0.32 c 0.217966 10.3633 531 16338 0.29/0.32 o 14404 0.29/0.34 c 0.231964 10.3633 685 16978 0.29/0.34 o 14343 0.29/0.36 c 0.243962 10.3633 443 17618 0.29/0.36 o 14270 0.29/0.37 c 0.245962 10.3633 443 18324 0.29/0.37 o 13640 0.29/0.38 c 0.254961 10.3633 492 18690 0.29/0.38 o 13483 0.39/0.46 c 0.307953 10.3633 565 20172 0.39/0.46 o 13477 0.49/0.59 c 0.383941 10.3633 576 22924 0.49/0.59 o 13359 0.69/0.70 c 0.45793 10.3633 548 25126 0.69/0.70 o 13191 0.69/0.77 c 0.501923 10.3633 566 26378 0.69/0.77 o 13173 1.39/1.43 c 0.895863 10.4883 673 34496 1.39/1.43 o 13085 1.49/1.54 c 0.970852 10.4883 422 36030 1.49/1.54 o 13011 2.19/2.29 c 1.44378 10.4883 575 45515 2.19/2.29 o 12893 2.29/2.34 c 1.47378 10.4883 460 46717 2.29/2.34 o 12849 2.29/2.35 c 1.48377 10.4883 505 47022 2.29/2.35 o 12811 2.29/2.36 c 1.49377 10.4883 606 47526 2.29/2.36 o 12805 2.79/2.85 c 1.79873 10.6133 648 56493 2.79/2.85 o 12703 3.59/3.67 c 2.30965 10.6133 566 70984 3.59/3.67 o 12651 4.99/5.02 c 3.16852 10.6133 600 84866 4.99/5.02 o 12650 5.09/5.14 c 3.2505 10.6133 658 87145 5.09/5.14 o 12643 5.79/5.82 c 3.67244 10.6133 586 97409 5.79/5.82 o 12594 5.79/5.86 c 3.69344 10.6133 409 98001 5.79/5.86 o 12542 5.99/6.02 c 3.79142 10.6133 762 100443 5.99/6.02 o 12263 5.99/6.04 c 3.80642 10.6133 477 100833 5.99/6.04 o 12130 6.60/6.68 c 4.18336 10.6133 590 108518 6.60/6.68 o 12093 7.09/7.14 c 4.49132 10.6133 408 113965 7.09/7.14 o 12072 8.19/8.23 c 5.16621 10.6133 600 129482 8.19/8.23 o 11939 8.29/8.31 c 5.21921 10.6133 388 131211 8.29/8.31 o 11857 8.49/8.52 c 5.35419 10.6133 537 134582 8.49/8.52 o 11856 8.59/8.62 c 5.41218 10.7383 926 135777 8.59/8.62 o 11708 8.59/8.65 c 5.44017 10.7383 611 136456 8.59/8.65 o 11686 8.80/8.85 c 5.55616 10.7383 620 139876 8.80/8.85 o 11608 10.39/10.41 c 6.53801 10.7383 674 156611 10.39/10.41 o 11580 10.90/10.97 c 6.88895 10.7383 654 164229 10.90/10.97 o 11506 11.19/11.21 c 7.03093 10.7383 504 168063 11.19/11.21 o 11431 11.19/11.25 c 7.06393 10.7383 390 168871 11.19/11.25 o 11421 11.39/11.42 c 7.17691 10.7383 852 169912 11.39/11.42 o 11415 12.19/12.25 c 7.71483 10.8633 763 181164 12.19/12.25 o 11410 12.59/12.62 c 7.94379 10.8633 798 187178 12.59/12.62 o 11233 12.59/12.69 c 8.00278 10.8633 743 188189 12.59/12.69 o 11067 13.59/13.67 c 8.59569 10.8633 505 194974 13.59/13.67 o 11029 13.79/13.89 c 8.74767 10.8633 617 198784 13.79/13.89 o 10966 14.09/14.19 c 8.92964 10.8633 579 203353 14.09/14.19 o 10712 14.39/14.45 c 9.07362 10.8633 709 206294 14.39/14.45 o 10695 14.79/14.83 c 9.33058 10.8633 484 211574 14.79/14.83 o 10641 15.30/15.31 c 9.62254 10.8633 692 217472 15.30/15.31 o 10604 15.30/15.33 c 9.63453 10.8633 478 218010 15.30/15.33 o 10558 17.39/17.49 c 11.0073 10.8633 739 245866 17.39/17.49 o 10510 18.39/18.44 c 11.5982 10.8633 490 256406 18.39/18.44 o 10425 19.19/19.21 c 12.0762 10.8633 551 263800 19.19/19.21 o 10418 19.59/19.64 c 12.3501 10.8633 559 270802 19.59/19.64 o 10335 19.70/19.78 c 12.4311 10.8633 762 272538 19.70/19.78 o 10257 19.99/20.06 c 12.6011 10.8633 726 276230 19.99/20.06 o 9973 21.19/21.29 c 13.365 10.8633 601 286119 21.19/21.29 o 9928 21.49/21.52 c 13.5079 10.8633 447 290260 21.49/21.52 o 9801 21.99/22.03 c 13.8059 10.8633 616 295775 21.99/22.03 o 9761 21.99/22.05 c 13.8179 10.8633 417 296447 21.99/22.05 o 9646 22.89/22.93 c 14.3698 10.8633 668 307319 22.89/22.93 o 9556 23.49/23.58 c 14.7588 10.8633 633 314931 23.49/23.58 o 9446 24.69/24.75 c 15.4706 10.9883 968 327881 24.69/24.75 o 9371 25.49/25.58 c 15.9956 10.9883 773 334696 25.49/25.58 o 9363 25.59/25.67 c 16.0586 10.9883 747 335835 25.59/25.67 o 9315 25.69/25.76 c 16.1155 10.9883 728 336945 25.69/25.76 o 9207 26.89/26.91 c 16.8474 10.9883 793 351347 26.89/26.91 o 9204 27.79/27.87 c 17.4653 10.9883 697 361689 27.79/27.87 o 9107 27.89/27.93 c 17.4993 10.9883 549 362551 27.89/27.93 o 9101 27.99/28.06 c 17.5783 10.9883 741 364219 27.99/28.06 o 9001 28.09/28.13 c 17.6263 10.9883 687 365201 28.09/28.13 o 8899 28.19/28.21 c 17.6723 10.9883 683 366348 28.19/28.21 o 8836 29.09/29.13 c 18.2462 10.9883 666 376948 29.09/29.13 o 8819 29.19/29.24 c 18.3122 10.9883 911 378682 29.19/29.24 o 8812 29.29/29.32 c 18.3562 10.9883 824 379572 29.29/29.32 o 8775 30.49/30.54 c 19.1071 10.9883 796 394014 30.49/30.54 o 8716 30.89/30.92 c 19.3511 10.9883 706 396399 30.89/30.92 o 8644 31.09/31.12 c 19.475 10.9883 653 398489 31.09/31.12 o 8623 31.49/31.51 c 19.728 10.9883 954 402830 31.49/31.51 o 8471 32.39/32.49 c 20.3319 10.9883 795 413192 32.39/32.49 o 8411 32.59/32.61 c 20.4049 10.9883 579 414915 32.59/32.61 o 8264 32.79/32.85 c 20.5559 10.9883 492 417896 32.79/32.85 o 8250 33.10/33.15 c 20.7478 10.9883 804 421094 33.10/33.15 o 8210 33.10/33.18 c 20.7708 10.9883 575 421773 33.10/33.18 o 8170 33.19/33.23 c 20.8078 10.9883 829 422539 33.19/33.23 o 8165 34.10/34.19 c 21.4087 10.9883 953 430935 34.10/34.19 o 8067 34.59/34.62 c 21.6957 10.9883 547 435316 34.59/34.62 o 8035 34.69/34.72 c 21.7607 10.9883 905 436139 34.69/34.72 o 8018 34.99/35.05 c 21.9657 10.9883 898 439264 34.99/35.05 o 7959 34.99/35.07 c 21.9787 11.1094 577 439773 34.99/35.07 o 7932 35.40/35.40 c 22.1706 11.1094 958 442778 35.40/35.40 o 7861 36.59/36.63 c 22.9485 11.1094 697 457382 36.59/36.63 o 7753 37.29/37.34 c 23.4154 11.1094 896 464316 37.29/37.34 o 7674 37.59/37.66 c 23.6164 11.1094 653 468271 37.59/37.66 o 7652 39.69/39.72 c 24.8762 11.1094 659 486829 39.69/39.72 o 7631 40.70/40.78 c 25.5011 11.1094 681 497004 40.70/40.78 o 7465 41.09/41.16 c 25.7461 11.1094 726 501149 41.09/41.16 o 7353 42.39/42.43 c 26.513 11.1094 833 513693 42.39/42.43 o 7289 42.39/42.47 c 26.541 11.1094 557 514231 42.39/42.47 o 7245 42.80/42.87 c 26.7979 11.1094 552 518306 42.80/42.87 o 7237 42.99/43.02 c 26.8949 11.1094 668 519749 42.99/43.02 o 7231 43.29/43.35 c 27.1019 11.1094 675 522980 43.29/43.35 o 7197 43.39/43.43 c 27.1449 11.1094 535 523637 43.39/43.43 o 7167 43.90/43.91 c 27.4398 11.1094 511 527678 43.90/43.91 o 7129 44.00/44.02 c 27.5088 11.1094 891 528683 44.00/44.02 o 7055 44.19/44.22 c 27.6258 11.1094 707 530643 44.19/44.22 o 6866 44.39/44.48 c 27.7958 11.1094 534 533608 44.39/44.48 o 6764 44.59/44.64 c 27.8918 11.1094 732 535190 44.59/44.64 o 6748 45.39/45.45 c 28.3977 11.1094 588 541551 45.39/45.45 o 6691 46.20/46.22 c 28.8806 11.1094 614 547676 46.20/46.22 o 6687 47.30/47.38 c 29.5935 11.1094 638 556743 47.30/47.38 o 6628 47.39/47.44 c 29.6355 11.1094 810 557324 47.39/47.44 o 6528 47.99/48.06 c 30.0034 11.1094 595 562990 47.99/48.06 o 6449 48.69/48.74 c 30.4434 11.1094 865 569711 48.69/48.74 o 6354 48.89/48.99 c 30.6253 11.1094 584 572573 48.89/48.99 o 6343 49.19/49.20 c 30.7573 11.1094 662 574978 49.19/49.20 o 6300 50.09/50.13 c 31.3122 11.1094 627 582631 50.09/50.13 o 6288 51.00/51.07 c 31.8912 11.2305 786 590516 51.00/51.07 o 6261 51.19/51.25 c 32.0061 11.2305 548 592055 51.19/51.25 o 6226 51.29/51.32 c 32.0411 11.2305 791 592800 51.29/51.32 o 6212 52.29/52.34 c 32.684 11.2305 816 602317 52.29/52.34 o 6211 52.40/52.45 c 32.759 11.2305 779 603360 52.40/52.45 o 6167 54.59/54.63 c 34.0818 11.2305 567 619329 54.59/54.63 o 6150 54.69/54.74 c 34.1478 11.2305 542 620437 54.69/54.74 o 6036 55.39/55.44 c 34.5757 11.2305 1000 625359 55.39/55.44 o 5974 56.49/56.57 c 35.2756 11.2305 678 635678 56.49/56.57 o 5767 56.79/56.88 c 35.4516 11.2305 625 638570 56.79/56.88 o 5726 57.49/57.59 c 35.8545 11.2305 668 643168 57.49/57.59 o 5704 58.99/59.04 c 36.7844 11.2305 983 654897 58.99/59.04 o 5597 63.99/64.03 c 39.8759 11.2305 681 688885 63.99/64.03 o 5573 64.09/64.17 c 39.9599 11.2305 735 690129 64.09/64.17 o 5469 67.49/67.55 c 42.0596 11.3555 846 711187 67.49/67.55 o 5464 68.10/68.14 c 42.4226 11.3555 732 716087 68.10/68.14 o 5414 68.49/68.54 c 42.6865 11.3555 655 720242 68.49/68.54 o 5395 68.49/68.59 c 42.7125 11.3555 824 720737 68.49/68.59 o 5392 69.30/69.31 c 43.1454 11.3555 700 726494 69.30/69.31 o 5347 69.89/69.90 c 43.5074 11.3555 623 731390 69.89/69.90 o 5343 69.99/70.01 c 43.5844 11.3555 611 732467 69.99/70.01 o 5301 71.69/71.72 c 44.6272 11.3555 879 743659 71.69/71.72 o 5261 76.69/76.75 c 47.7447 11.3555 579 779033 76.69/76.75 o 5226 77.09/77.11 c 47.9677 11.3555 835 781589 77.09/77.11 o 5221 77.29/77.39 c 48.1507 11.3555 559 784338 77.29/77.39 o 5058 77.49/77.56 c 48.2547 11.3555 607 785752 77.49/77.56 o 5047 78.09/78.12 c 48.6126 11.3555 609 789960 78.09/78.12 o 5021 78.89/78.95 c 49.1145 11.3555 733 796422 78.89/78.95 o 5020 79.49/79.57 c 49.4975 11.3555 600 800855 79.49/79.57 o 5019 79.59/79.63 c 49.5415 11.3555 794 801336 79.59/79.63 o 5004 81.00/81.08 c 50.4123 11.3555 622 811391 81.00/81.08 o 4952 81.20/81.29 c 50.5463 11.3555 675 813652 81.20/81.29 o 4932 81.40/81.48 c 50.6713 11.3555 504 815571 81.40/81.48 o 4906 82.10/82.11 c 51.0622 11.3555 769 821202 82.10/82.11 o 4897 82.40/82.49 c 51.2912 11.3555 877 824689 82.40/82.49 o 4884 82.50/82.52 c 51.3092 11.3555 512 824989 82.50/82.52 o 4861 82.69/82.79 c 51.4762 11.3555 811 826550 82.69/82.79 o 4842 82.99/83.05 c 51.6332 11.3555 461 828702 82.99/83.05 o 4814 84.79/84.81 c 52.707 11.3555 851 841059 84.79/84.81 o 4768 85.19/85.28 c 52.9839 11.3555 670 844871 85.19/85.28 o 4761 86.29/86.37 c 53.6628 11.3555 740 854047 86.29/86.37 o 4673 86.59/86.68 c 53.8558 11.3555 779 856176 86.59/86.68 o 4591 87.79/87.85 c 54.5877 11.3555 474 864855 87.79/87.85 o 4494 87.90/87.92 c 54.6367 11.3555 757 865631 87.90/87.92 o 4483 89.69/89.79 c 55.7505 11.3555 662 879377 89.69/89.79 o 4457 89.89/89.90 c 55.8165 11.3555 581 880159 89.89/89.90 o 4397 90.29/90.37 c 56.1005 11.3555 608 883612 90.29/90.37 o 4367 90.49/90.54 c 56.2115 11.3555 587 884778 90.49/90.54 o 4233 90.59/90.62 c 56.2514 11.3555 795 885486 90.59/90.62 o 4134 91.09/91.19 c 56.6114 11.4766 920 888647 91.09/91.19 o 4130 92.79/92.88 c 57.6332 11.4766 901 899638 92.79/92.88 o 4039 93.09/93.19 c 57.8122 11.4766 621 902030 93.09/93.19 o 3990 93.69/93.76 c 58.1772 11.4766 637 906147 93.69/93.76 o 3960 94.09/94.12 c 58.3911 11.4766 912 908776 94.09/94.12 o 3821 94.60/94.63 c 58.7001 11.4766 578 912837 94.60/94.63 o 3804 94.79/94.88 c 58.875 11.4766 648 915320 94.79/94.88 o 3788 95.49/95.57 c 59.292 11.4766 733 920658 95.49/95.57 o 3733 95.89/95.96 c 59.5469 11.4766 578 923526 95.89/95.96 o 3684 96.00/96.07 c 59.6189 11.4766 901 924367 96.00/96.07 o 3663 96.39/96.48 c 59.8659 11.4766 657 926783 96.39/96.48 o 3635 96.99/97.08 c 60.2338 11.4766 718 930893 96.99/97.08 o 3628 97.99/98.03 c 60.7968 11.4766 791 937026 97.99/98.03 o 3614 99.29/99.32 c 61.6076 11.4766 779 946146 99.29/99.32 o 3587 99.39/99.47 c 61.6896 11.4766 766 947423 99.39/99.47 o 3522 100.19/100.23 c 62.1446 11.4766 570 952254 100.19/100.23 o 3500 100.19/100.29 c 62.1815 11.4766 724 952743 100.19/100.29 o 3463 101.10/101.10 c 62.6725 11.4766 830 958079 101.10/101.10 o 3398 101.20/101.23 c 62.7455 11.4766 838 959005 101.20/101.23 o 3356 101.40/101.49 c 62.9144 11.4766 736 961037 101.40/101.49 o 3300 101.80/101.86 c 63.1534 11.4766 578 963786 101.80/101.86 o 3249 102.09/102.12 c 63.3074 11.4766 553 965837 102.09/102.12 o 3190 102.20/102.25 c 63.3904 11.4766 521 966943 102.20/102.25 o 3007 103.40/103.48 c 64.1442 11.4766 481 974018 103.40/103.48 o 2905 103.60/103.63 c 64.2452 11.4766 829 974913 103.60/103.63 o 2849 103.79/103.84 c 64.3792 11.4766 604 976702 103.79/103.84 o 2688 103.79/103.89 c 64.4162 11.4766 747 977143 103.79/103.89 o 2684 103.89/103.91 c 64.4302 11.4766 815 977355 103.89/103.91 o 2656 103.89/103.91 c 64.4342 11.4766 833 977459 103.89/103.91 o 2653 103.89/103.96 c 64.4652 11.4766 546 977858 103.89/103.96 o 2617 103.99/104.01 c 64.4962 11.4766 699 978254 103.99/104.01 o 2602 104.09/104.19 c 64.6052 11.4766 706 979640 104.09/104.19 o 2595 104.29/104.34 c 64.6912 11.4766 724 980878 104.29/104.34 o 2517 104.50/104.58 c 64.8491 11.4766 899 982198 104.50/104.58 o 2459 104.50/104.58 c 64.8521 11.4766 459 982252 104.50/104.58 o 2444 104.89/104.92 c 65.0501 11.4766 545 984505 104.89/104.92 o 2430 105.09/105.10 c 65.1661 11.4766 620 985894 105.09/105.10 o 2390 105.70/105.75 c 65.555 11.4766 493 989526 105.70/105.75 o 2362 105.79/105.82 c 65.604 11.4766 653 989971 105.79/105.82 o 2348 106.29/106.36 c 65.938 11.6016 761 993359 106.29/106.36 o 2344 106.49/106.58 c 66.074 11.6016 923 994782 106.49/106.58 o 2315 106.49/106.60 c 66.084 11.6016 498 994939 106.49/106.60 o 2273 106.79/106.80 c 66.2249 11.6016 524 996381 106.79/106.80 o 2229 107.09/107.10 c 66.4159 11.6016 830 998110 107.09/107.10 o 2225 107.09/107.15 c 66.4419 11.6016 514 998515 107.09/107.15 o 2222 107.20/107.25 c 66.5069 11.6016 864 999440 107.20/107.25 o 2185 107.30/107.36 c 66.5779 11.6016 770 1000246 107.30/107.36 o 2172 107.40/107.47 c 66.6449 11.6016 661 1001076 107.40/107.47 o 2110 107.59/107.60 c 66.7269 11.6016 628 1001990 107.59/107.60 o 2056 107.59/107.70 c 66.7908 11.6016 903 1002716 107.59/107.70 o 2030 107.80/107.86 c 66.8748 11.6016 976 1003842 107.80/107.86 o 2011 107.90/107.90 c 66.9048 11.6016 621 1004270 107.90/107.90 o 1994 107.90/107.95 c 66.9368 11.6016 775 1004674 107.90/107.95 o 1985 107.90/107.96 c 66.9408 11.6016 805 1004775 107.90/107.96 o 1963 108.10/108.11 c 67.0348 11.6016 780 1005977 108.10/108.11 o 1902 108.10/108.19 c 67.0878 11.6016 552 1006501 108.10/108.19 o 1854 108.20/108.28 c 67.1398 11.6016 803 1007111 108.20/108.28 o 1805 108.29/108.39 c 67.2028 11.6016 675 1007725 108.29/108.39 o 1790 108.39/108.42 c 67.2188 11.6016 755 1007960 108.39/108.42 o 1751 108.59/108.61 c 67.3368 11.6016 843 1009307 108.59/108.61 o 1718 108.99/109.05 c 67.5867 11.6016 689 1012085 108.99/109.05 o 1698 109.09/109.14 c 67.6377 11.6016 923 1012590 109.09/109.14 o 1669 109.09/109.19 c 67.6667 11.6016 653 1013096 109.09/109.19 o 1632 109.20/109.25 c 67.7027 11.6016 818 1013490 109.20/109.25 o 1557 109.39/109.46 c 67.8507 11.6016 499 1014681 109.39/109.46 o 1523 109.39/109.48 c 67.8677 11.6016 552 1014909 109.39/109.48 o 1462 109.49/109.53 c 67.9017 11.6016 703 1015344 109.49/109.53 o 1412 109.49/109.56 c 67.9167 11.6016 789 1015617 109.49/109.56 o 1361 109.59/109.64 c 67.9737 11.6016 605 1016194 109.59/109.65 o 1350 109.79/109.84 c 68.0986 11.6016 725 1017477 109.79/109.84 o 1260 109.90/109.91 c 68.1436 11.6016 894 1017859 109.90/109.91 o 1259 109.90/109.98 c 68.1866 11.6016 635 1018332 109.90/109.98 o 1209 109.99/110.04 c 68.2246 11.6016 834 1018750 109.99/110.04 o 1181 109.99/110.08 c 68.2516 11.6016 909 1018920 109.99/110.08 o 1179 110.09/110.13 c 68.2846 11.6016 604 1019313 110.09/110.13 o 1161 110.09/110.18 c 68.3116 11.6016 717 1019671 110.09/110.18 o 1151 110.20/110.24 c 68.3476 11.6016 892 1020019 110.20/110.24 o 1136 110.29/110.32 c 68.3946 11.7266 683 1020458 110.29/110.32 o 1120 110.29/110.37 c 68.4306 11.7266 813 1020898 110.29/110.37 o 1037 110.40/110.42 c 68.4576 11.7266 503 1021277 110.40/110.42 o 1001 110.60/110.69 c 68.6396 11.7266 671 1022786 110.60/110.69 o 848 110.70/110.74 c 68.6706 11.7266 808 1023147 110.70/110.74 o 814 110.79/110.81 c 68.7196 11.7266 916 1023541 110.79/110.81 o 745 110.89/110.92 c 68.7935 11.7266 710 1024367 110.89/110.92 o 689 110.89/110.93 c 68.7985 11.7266 743 1024442 110.89/110.93 o 669 110.89/110.95 c 68.8105 11.7266 816 1024615 110.89/110.95 o 664 110.89/110.99 c 68.8345 11.7266 905 1024933 110.89/110.99 o 576 110.99/111.04 c 68.8645 11.7266 1132 1025352 110.99/111.04 o 554 110.99/111.07 c 68.8785 11.7266 1235 1025556 110.99/111.07 o 551 110.99/111.07 c 68.8795 11.7266 1236 1025626 110.99/111.07 o 512 110.99/111.07 c 68.8805 11.7266 1236 1025666 110.99/111.07 o 508 110.99/111.07 c 68.8805 11.7266 1236 1025783 110.99/111.07 o 397 110.99/111.07 c 68.8805 11.7266 1237 1025809 110.99/111.07 o 393 110.99/111.08 c 68.8835 11.7266 981 1025866 110.99/111.08 o 367 110.99/111.08 c 68.8845 11.7266 985 1025906 110.99/111.08 o 360 110.99/111.08 c 68.8875 11.7266 994 1025952 110.99/111.08 o 335 110.99/111.09 c 68.8935 11.7266 1040 1026102 110.99/111.09 o 271 111.10/111.11 c 68.9095 11.7266 849 1026291 111.10/111.11 o 256 111.10/111.11 c 68.9105 11.7266 852 1026324 111.10/111.11 o 246 111.10/111.11 c 68.9115 11.7266 855 1026395 111.10/111.11 o 177 111.10/111.11 c 68.9115 11.7266 857 1026419 111.10/111.11 o 162 111.10/111.11 c 68.9115 11.7266 858 1026472 111.10/111.11 o 110 111.10/111.11 c 68.9125 11.7266 860 1026491 111.10/111.11 o 99 111.10/111.11 c 68.9135 11.7266 875 1026509 111.10/111.11 s OPTIMUM FOUND 111.10/111.11 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 99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700207-1278534426/watcher-2700207-1278534426 -o /tmp/evaluation-result-2700207-1278534426/solver-2700207-1278534426 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700207-1278534426.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.91 1.97 1.20 4/178 18954 /proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=2136 CPUtime=0 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21656082 2187264 180 4089446400 134512640 136422188 4290276256 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18954/statm: 534 180 144 467 0 65 0 [startup+0.0415809 s] /proc/loadavg: 1.91 1.97 1.20 4/178 18954 /proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10352 CPUtime=0.03 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2326 0 0 0 3 0 0 0 25 0 1 0 21656082 10600448 2244 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2588 2244 237 467 0 2119 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10352 [startup+0.100569 s] /proc/loadavg: 1.91 1.97 1.20 4/178 18954 /proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10480 CPUtime=0.09 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2360 0 0 0 7 2 0 0 25 0 1 0 21656082 10731520 2261 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2620 2261 238 467 0 2151 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10480 [startup+0.300533 s] /proc/loadavg: 1.91 1.97 1.20 4/178 18954 /proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10608 CPUtime=0.29 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2400 0 0 0 20 9 0 0 25 0 1 0 21656082 10862592 2295 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2652 2295 238 467 0 2183 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10608 [startup+0.700463 s] /proc/loadavg: 1.91 1.97 1.20 4/178 18954 /proc/meminfo: memFree=29639768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10608 CPUtime=0.69 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2425 0 0 0 45 24 0 0 25 0 1 0 21656082 10862592 2313 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2652 2313 238 467 0 2183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10608 [startup+1.50032 s] /proc/loadavg: 1.91 1.97 1.20 3/179 18955 /proc/meminfo: memFree=29630708/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10736 CPUtime=1.49 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2445 0 0 0 94 55 0 0 25 0 1 0 21656082 10993664 2330 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2684 2330 238 467 0 2215 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10736 [startup+3.10104 s] /proc/loadavg: 1.92 1.97 1.20 3/179 18956 /proc/meminfo: memFree=29630088/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10864 CPUtime=3.09 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2470 0 0 0 194 115 0 0 25 0 1 0 21656082 11124736 2349 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2716 2349 238 467 0 2247 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10864 [startup+6.30047 s] /proc/loadavg: 1.92 1.97 1.20 3/179 18956 /proc/meminfo: memFree=29629732/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=10864 CPUtime=6.29 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2501 0 0 0 395 234 0 0 25 0 1 0 21656082 11124736 2373 4089446400 134512640 136422188 4290276256 18446744073709551615 134869745 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2716 2373 238 467 0 2247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10864 [startup+12.7003 s] /proc/loadavg: 1.93 1.97 1.21 3/179 18956 /proc/meminfo: memFree=29628376/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11120 CPUtime=12.69 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2555 0 0 0 800 469 0 0 25 0 1 0 21656082 11386880 2411 4089446400 134512640 136422188 4290276256 18446744073709551615 134594111 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2780 2411 238 467 0 2311 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11120 [startup+25.5001 s] /proc/loadavg: 1.94 1.97 1.22 3/179 18956 /proc/meminfo: memFree=29620676/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11248 CPUtime=25.49 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2614 0 0 0 1594 955 0 0 25 0 1 0 21656082 11517952 2450 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2812 2450 238 467 0 2343 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11248 [startup+51.1006 s] /proc/loadavg: 1.96 1.97 1.24 3/179 18957 /proc/meminfo: memFree=29606988/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11496 CPUtime=51.1 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2730 0 0 0 3191 1919 0 0 25 0 1 0 21656082 11771904 2511 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2874 2511 238 467 0 2405 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 11496 [startup+102.307 s] /proc/loadavg: 2.04 1.99 1.28 3/179 18959 /proc/meminfo: memFree=29583500/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11748 CPUtime=102.3 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2886 0 0 0 6342 3888 0 0 25 0 1 0 21656082 12029952 2596 4089446400 134512640 136422188 4290276256 18446744073709551615 134903705 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2937 2596 238 467 0 2468 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11748 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 2.04 1.99 1.28 3/179 18959 /proc/meminfo: memFree=29581876/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11748 CPUtime=105.5 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2912 0 0 0 6540 4010 0 0 25 0 1 0 21656082 12029952 2608 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2937 2608 238 467 0 2468 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 11748 [startup+108.7 s] /proc/loadavg: 2.04 1.99 1.29 3/179 18959 /proc/meminfo: memFree=29580760/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11876 CPUtime=108.7 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2953 0 0 0 6737 4133 0 0 25 0 1 0 21656082 12161024 2626 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2969 2626 238 467 0 2500 0 Current children cumulated CPU time (s) 108.7 Current children cumulated vsize (KiB) 11876 [startup+110.301 s] /proc/loadavg: 2.04 1.99 1.29 3/179 18959 /proc/meminfo: memFree=29579768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=11876 CPUtime=110.29 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2985 0 0 0 6837 4192 0 0 25 0 1 0 21656082 12161024 2641 4089446400 134512640 136422188 4290276256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 2969 2641 238 467 0 2500 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 11876 [startup+110.701 s] /proc/loadavg: 2.04 1.99 1.29 3/179 18959 /proc/meminfo: memFree=29579768/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=12004 CPUtime=110.7 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 2994 0 0 0 6864 4206 0 0 25 0 1 0 21656082 12292096 2646 4089446400 134512640 136422188 4290276256 18446744073709551615 135020362 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 3001 2646 238 467 0 2532 0 Current children cumulated CPU time (s) 110.7 Current children cumulated vsize (KiB) 12004 [startup+111.106 s] /proc/loadavg: 2.03 1.99 1.29 3/179 18959 /proc/meminfo: memFree=29579272/32950928 swapFree=67111528/67111528 [pid=18954] ppid=18952 vsize=12004 CPUtime=111.1 /proc/18954/stat : 18954 (pbct) R 18952 18954 17905 0 -1 4202496 3017 0 0 0 6890 4220 0 0 18 0 1 0 21656082 12292096 2653 4089446400 134512640 136422188 4290276256 18446744073709551615 134872961 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18954/statm: 3001 2653 238 467 0 2532 0 Current children cumulated CPU time (s) 111.1 Current children cumulated vsize (KiB) 12004 Child status: 0 Real time (s): 111.129 CPU time (s): 111.131 CPU user time (s): 68.9235 CPU system time (s): 42.2076 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 12004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.9235 system time used= 42.2076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3029 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1364 runsolver used 0.147977 second user time and 0.374943 second system time The end
Begin job on node120 at 2010-07-07 22:27:06 IDJOB=2700207 IDBENCH=79408 IDSOLVER=1212 FILE ID=node120/2700207-1278534426 PBS_JOBID= 11239237 Free space on /tmp= 73460 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh06_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700207-1278534426/watcher-2700207-1278534426 -o /tmp/evaluation-result-2700207-1278534426/solver-2700207-1278534426 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700207-1278534426.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712 RANDOM SEED=441929184 node120.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.813 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.62 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.813 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.82 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.813 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.813 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.813 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.78 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.813 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 : 5363.42 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.813 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.813 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: 29640296 kB Buffers: 135988 kB Cached: 2709060 kB SwapCached: 0 kB Active: 1812664 kB Inactive: 1346280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29640296 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2084 kB Writeback: 0 kB AnonPages: 314472 kB Mapped: 15548 kB Slab: 86084 kB PageTables: 4988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 459960 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= 73460 MiB End job on node120 at 2010-07-07 22:28:57