Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 1408.91 | 1408.88 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo |
MD5SUM | 8285b15ee2c0064deae9a0e09e679565 |
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 | 742 |
Best CPU time to get the best result obtained on this benchmark | 6.06408 |
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 | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/900 units 0 0.00/0.00 c vars 200 0.00/0.04 c 0.039993 10.1523 1 2036 0.00/0.04 o 31094 0.00/0.04 c 0.039993 10.3359 1 2974 0.00/0.04 o 29949 0.00/0.04 c 0.039993 10.3359 3 3702 0.00/0.04 o 29227 0.00/0.04 c 0.039993 10.3359 3 4633 0.00/0.04 o 18387 0.00/0.04 c 0.040993 10.3359 3 5364 0.00/0.04 o 17783 0.00/0.05 c 0.040993 10.3359 8 6117 0.00/0.05 o 17156 0.69/0.79 c 0.206968 10.7148 1074 21008 0.69/0.79 o 17075 0.79/0.85 c 0.221966 10.7148 603 22736 0.79/0.85 o 17074 0.79/0.87 c 0.225965 10.7148 386 23443 0.79/0.87 o 17066 0.89/0.97 c 0.249962 10.7148 578 25440 0.89/0.97 o 16837 0.99/1.00 c 0.25796 10.7148 431 26366 0.99/1.00 o 16713 0.99/1.07 c 0.272958 10.7148 467 27908 0.99/1.07 o 16354 1.10/1.19 c 0.302953 10.7148 377 30989 1.10/1.19 o 16208 2.89/2.90 c 0.695894 10.8359 392 61109 2.89/2.90 o 16183 2.89/2.92 c 0.705892 10.8359 470 61913 2.89/2.92 o 15613 4.59/4.63 c 1.34279 10.8359 671 92633 4.59/4.63 o 15579 5.29/5.32 c 1.49277 10.8359 647 105976 5.29/5.32 o 15417 5.29/5.33 c 1.49777 10.8359 392 106842 5.29/5.33 o 15211 5.99/6.03 c 1.63575 10.8359 643 117354 5.99/6.03 o 15083 8.90/8.92 c 2.21766 10.957 712 166680 8.90/8.92 o 15054 8.90/8.96 c 2.22766 10.957 567 167391 8.90/8.96 o 15042 8.99/9.05 c 2.25166 10.957 470 169626 8.99/9.05 o 14677 9.19/9.28 c 2.29565 10.957 637 174770 9.19/9.28 o 14192 9.29/9.35 c 2.30865 10.957 681 176198 9.29/9.35 o 14162 11.49/11.50 c 2.91456 10.957 621 203225 11.49/11.50 o 14134 12.59/12.69 c 3.11453 10.957 503 223260 12.59/12.69 o 14130 13.69/13.74 c 3.35849 11.082 635 240310 13.69/13.74 o 14054 13.89/13.93 c 3.39548 11.082 671 243848 13.89/13.93 o 14004 14.30/14.35 c 3.48347 11.082 700 251767 14.30/14.35 o 13996 14.40/14.47 c 3.50447 11.082 619 254190 14.40/14.47 o 13932 14.40/14.48 c 3.50747 11.082 361 254772 14.40/14.48 o 13819 15.70/15.77 c 3.74943 11.082 651 272618 15.70/15.77 o 13635 15.79/15.83 c 3.76743 11.082 600 273646 15.79/15.83 o 13612 15.99/16.01 c 3.80442 11.082 785 275843 15.99/16.01 o 13591 17.69/17.71 c 4.41033 11.082 899 303809 17.69/17.71 o 13501 19.99/20.01 c 4.86326 11.082 816 338504 19.99/20.01 o 13279 20.69/20.74 c 4.99924 11.082 641 350097 20.69/20.74 o 13264 21.50/21.56 c 5.16221 11.082 914 360976 21.50/21.56 o 13206 26.00/26.03 c 6.31804 11.207 666 417316 26.00/26.03 o 13108 26.19/26.26 c 6.36903 11.207 562 421080 26.19/26.26 o 13011 27.29/27.39 c 6.582 11.207 635 438127 27.29/27.39 o 12994 30.49/30.54 c 7.42387 11.207 814 483454 30.49/30.54 o 12870 34.10/34.16 c 8.14476 11.207 622 529401 34.10/34.16 o 12591 40.49/40.56 c 9.65453 11.207 625 616122 40.49/40.56 o 12426 40.89/40.91 c 9.72852 11.207 536 623090 40.89/40.91 o 12239 40.99/41.02 c 9.74552 11.207 537 625655 40.99/41.02 o 11918 45.59/45.65 c 10.8613 11.3281 788 687375 45.59/45.65 o 11840 49.19/49.20 c 11.5982 11.3281 865 736060 49.19/49.20 o 11652 49.19/49.23 c 11.6162 11.3281 615 736701 49.19/49.23 o 11609 51.80/51.86 c 12.2691 11.3281 445 771324 51.80/51.86 o 11577 52.79/52.85 c 12.4771 11.3281 570 785819 52.79/52.85 o 11524 53.90/53.94 c 12.6851 11.3281 654 799854 53.90/53.94 o 11461 56.09/56.13 c 13.18 11.3281 818 816304 56.09/56.13 o 11372 58.59/58.65 c 13.7729 11.4492 607 837040 58.59/58.65 o 11347 69.99/70.08 c 16.3785 11.4492 631 993802 69.99/70.08 o 11116 70.20/70.25 c 16.4115 11.4492 607 997132 70.20/70.25 o 11099 79.20/79.22 c 18.3132 11.4492 731 1104186 79.20/79.22 o 11087 79.30/79.34 c 18.3272 11.4492 873 1105562 79.30/79.34 o 10982 79.79/79.84 c 18.4032 11.4492 768 1112454 79.79/79.84 o 10922 83.09/83.17 c 19.2421 11.4492 731 1153043 83.09/83.17 o 10894 84.69/84.70 c 19.5 11.4492 473 1173242 84.69/84.70 o 10857 89.39/89.43 c 20.5339 11.4492 716 1239756 89.39/89.43 o 10698 101.99/102.04 c 23.1925 11.5781 806 1372343 101.99/102.04 o 10645 102.50/102.52 c 23.4014 11.5781 1002 1380609 102.50/102.52 o 10624 113.79/113.88 c 25.7111 11.5781 874 1516766 113.79/113.88 o 10505 114.20/114.29 c 25.7901 11.5781 465 1523601 114.20/114.29 o 10460 117.29/117.39 c 26.595 11.5781 542 1563234 117.29/117.39 o 10424 122.39/122.47 c 27.6598 11.5781 737 1621551 122.39/122.47 o 10252 124.89/124.95 c 28.1087 11.5781 681 1654665 124.89/124.95 o 10194 132.30/132.38 c 29.6505 11.5781 769 1743533 132.30/132.38 o 10173 148.99/149.09 c 33.3309 11.6914 995 1915617 148.99/149.09 o 10155 150.89/150.95 c 33.6679 11.6914 816 1941294 150.89/150.95 o 10068 155.10/155.11 c 34.6597 11.6914 958 1993319 155.10/155.11 o 9804 156.20/156.24 c 34.8667 11.6914 542 2005713 156.20/156.24 o 9739 158.40/158.42 c 35.2336 11.6914 1053 2031662 158.40/158.42 o 9709 171.29/171.30 c 37.9272 11.6914 802 2186468 171.29/171.30 o 9660 171.61/171.62 c 37.9922 11.6914 631 2191274 171.61/171.62 o 9624 172.70/172.75 c 38.1832 11.6914 747 2205918 172.70/172.75 o 9548 177.79/177.82 c 39.32 11.6914 710 2260178 177.79/177.82 o 9455 179.00/179.08 c 39.53 11.6914 451 2274069 179.00/179.08 o 9454 181.10/181.15 c 40.0729 11.6914 565 2301423 181.10/181.15 o 9419 182.49/182.56 c 40.4778 11.6914 936 2318322 182.49/182.56 o 9385 183.00/183.05 c 40.5798 11.6914 812 2326035 183.00/183.05 o 9359 190.09/190.11 c 41.9716 11.6914 920 2402873 190.09/190.11 o 9255 194.90/194.90 c 43.0015 11.6914 579 2456914 194.90/194.90 o 9160 222.40/222.47 c 48.5146 11.8125 875 2760944 222.40/222.47 o 8883 226.10/226.15 c 49.1865 11.8125 591 2806143 226.10/226.15 o 8850 230.40/230.43 c 50.1384 11.8125 899 2849736 230.40/230.43 o 8846 237.70/237.76 c 51.6162 11.8125 764 2936000 237.70/237.76 o 8763 241.30/241.35 c 52.483 11.8125 460 2968051 241.30/241.35 o 8627 242.11/242.10 c 52.62 11.8125 627 2976465 242.11/242.10 o 8613 248.80/248.89 c 53.9268 11.8125 1025 3048393 248.80/248.89 o 8522 252.50/252.50 c 54.5477 11.8125 767 3090545 252.50/252.50 o 8466 272.10/272.13 c 58.4971 11.8125 436 3259729 272.10/272.13 o 8303 278.60/278.69 c 59.8769 11.8125 1010 3334028 278.60/278.69 o 8294 286.50/286.54 c 61.6586 11.8125 764 3418296 286.50/286.54 o 8224 291.00/291.02 c 62.4505 11.8125 783 3468095 291.00/291.02 o 8151 293.90/293.92 c 63.2024 11.9453 964 3498876 293.90/293.92 o 7991 306.10/306.16 c 65.614 11.9453 656 3622536 306.10/306.16 o 7954 306.40/306.46 c 65.668 11.9453 714 3626025 306.40/306.46 o 7931 308.40/308.41 c 65.974 11.9453 740 3641714 308.40/308.41 o 7846 319.11/319.16 c 68.2676 11.9453 648 3759552 319.11/319.16 o 7818 333.00/333.00 c 71.0952 11.9453 885 3907364 333.00/333.00 o 7816 335.51/335.51 c 71.5441 11.9453 830 3936551 335.51/335.51 o 7804 336.40/336.48 c 71.7061 11.9453 882 3947127 336.40/336.48 o 7762 338.10/338.12 c 72.097 11.9453 1003 3965764 338.10/338.12 o 7758 355.50/355.57 c 75.5895 11.9453 518 4134396 355.50/355.57 o 7749 362.60/362.68 c 77.0743 11.9453 882 4211995 362.60/362.68 o 7728 378.60/378.67 c 80.5608 11.9453 574 4372041 378.60/378.67 o 7576 384.01/384.08 c 81.5296 11.9453 760 4427842 384.01/384.08 o 7522 392.21/392.23 c 83.2343 11.9453 881 4514164 392.21/392.23 o 7518 392.50/392.55 c 83.2923 11.9453 600 4516835 392.50/392.55 o 7336 404.00/404.02 c 85.5 12.0664 752 4599919 404.00/404.02 o 7326 405.51/405.57 c 85.8429 12.0664 963 4617772 405.51/405.57 o 7277 413.10/413.14 c 87.2407 12.0664 592 4699001 413.10/413.14 o 7265 451.20/451.29 c 94.7356 12.0664 731 5071268 451.20/451.29 o 7226 453.40/453.44 c 95.0555 12.0664 715 5093716 453.40/453.44 o 7222 458.30/458.37 c 96.0724 12.0664 915 5144412 458.30/458.37 o 7007 470.41/470.49 c 98.527 12.0664 555 5257168 470.41/470.49 o 6993 510.31/510.38 c 106.596 12.0664 644 5647824 510.31/510.38 o 6875 519.10/519.14 c 108.136 12.0664 680 5731475 519.10/519.14 o 6796 545.30/545.33 c 113.276 12.0664 765 5978326 545.30/545.33 o 6785 555.61/555.69 c 115.449 12.0664 739 6067986 555.61/555.69 o 6740 559.71/559.79 c 116.043 12.0664 835 6107658 559.71/559.79 o 6738 564.21/564.21 c 117.017 12.0664 588 6149007 564.21/564.21 o 6699 564.91/564.96 c 117.147 12.0664 770 6156793 564.91/564.96 o 6665 571.70/571.77 c 118.492 12.0664 619 6225759 571.70/571.77 o 6643 572.51/572.51 c 118.596 12.1914 809 6231810 572.51/572.51 o 6562 579.81/579.85 c 119.988 12.1914 983 6303858 579.81/579.85 o 6560 581.01/581.00 c 120.306 12.1914 672 6314772 581.01/581.00 o 6495 584.21/584.25 c 120.975 12.1914 757 6349164 584.21/584.25 o 6391 589.61/589.65 c 122.13 12.1914 960 6402239 589.61/589.65 o 6271 594.41/594.48 c 123.232 12.1914 849 6455180 594.41/594.48 o 6152 606.61/606.67 c 125.464 12.1914 748 6566826 606.61/606.67 o 6150 606.81/606.85 c 125.532 12.1914 663 6569020 606.81/606.85 o 6126 614.40/614.46 c 127.193 12.1914 876 6639189 614.40/614.46 o 6105 620.60/620.67 c 128.382 12.1914 588 6697509 620.60/620.67 o 5924 621.41/621.46 c 128.587 12.1914 474 6705202 621.41/621.46 o 5916 637.51/637.57 c 131.603 12.1914 542 6841859 637.51/637.57 o 5906 647.91/647.93 c 133.718 12.1914 833 6934148 647.91/647.93 o 5901 652.42/652.44 c 134.347 12.1914 607 6975692 652.42/652.44 o 5896 656.20/656.21 c 135.22 12.1914 873 7008414 656.20/656.21 o 5844 665.41/665.48 c 136.959 12.1914 859 7083918 665.41/665.48 o 5839 672.30/672.35 c 138.345 12.1914 505 7151014 672.30/672.35 o 5734 674.41/674.45 c 138.885 12.1914 540 7169395 674.41/674.45 o 5726 694.22/694.20 c 142.921 12.1914 845 7331638 694.22/694.20 o 5685 696.21/696.25 c 143.23 12.1914 687 7344618 696.21/696.25 o 5634 698.11/698.12 c 143.489 12.3555 953 7362861 698.11/698.12 o 5626 702.71/702.72 c 144.474 12.3555 842 7403853 702.71/702.72 o 5543 715.40/715.46 c 146.879 12.3555 647 7520214 715.40/715.46 o 5445 716.31/716.33 c 147.018 12.3555 603 7526584 716.31/716.33 o 5400 723.81/723.87 c 148.442 12.3555 774 7591794 723.81/723.87 o 5390 726.81/726.80 c 149.155 12.3555 687 7613679 726.81/726.80 o 5380 729.81/729.80 c 149.63 12.3555 496 7640460 729.81/729.80 o 5242 734.41/734.43 c 150.581 12.3555 513 7681505 734.41/734.43 o 5235 735.51/735.55 c 150.759 12.3555 723 7691213 735.51/735.55 o 5198 736.41/736.45 c 150.885 12.3555 879 7698604 736.41/736.45 o 5158 737.02/737.05 c 150.995 12.3555 1004 7702309 737.02/737.05 o 5125 739.71/739.72 c 151.654 12.3555 665 7727208 739.71/739.72 o 5053 744.31/744.38 c 152.337 12.3555 692 7767341 744.31/744.38 o 4920 745.82/745.86 c 152.823 12.3555 646 7779888 745.82/745.86 o 4567 754.71/754.72 c 154.388 12.3555 557 7852316 754.71/754.72 o 4555 762.42/762.47 c 155.896 12.3555 467 7905628 762.42/762.47 o 4483 767.82/767.84 c 156.945 12.3555 504 7950484 767.82/767.84 o 4400 786.91/786.95 c 160.53 12.3555 701 8096310 786.91/786.95 o 4385 787.21/787.28 c 160.583 12.3555 981 8098743 787.21/787.28 o 4342 796.82/796.88 c 162.246 12.3555 813 8173298 796.82/796.88 o 4338 817.51/817.54 c 166.184 12.3555 576 8329471 817.51/817.54 o 4335 847.31/847.38 c 171.779 12.3555 574 8546261 847.31/847.38 o 4278 861.22/861.28 c 174.355 12.3555 504 8655630 861.22/861.28 o 4270 865.21/865.30 c 175.205 12.3555 700 8685584 865.21/865.30 o 4255 872.01/872.04 c 176.452 12.3555 741 8739294 872.01/872.04 o 4239 879.91/879.92 c 177.856 12.3555 892 8803611 879.91/879.92 o 4177 881.01/881.02 c 178.022 12.3555 729 8811973 881.01/881.02 o 4120 897.51/897.51 c 181.218 12.3555 708 8937430 897.51/897.51 o 3975 912.22/912.25 c 183.908 12.3555 654 9036230 912.22/912.25 o 3912 914.51/914.55 c 184.247 12.3555 524 9055828 914.51/914.55 o 3858 916.52/916.57 c 184.823 12.3555 588 9071691 916.52/916.57 o 3774 916.92/916.92 c 184.867 12.3555 832 9074378 916.92/916.92 o 3761 941.52/941.57 c 189.509 12.3555 602 9248218 941.52/941.57 o 3709 942.11/942.14 c 189.691 12.3555 588 9252308 942.11/942.14 o 3671 952.42/952.45 c 191.593 12.3555 717 9325801 952.42/952.45 o 3613 957.61/957.67 c 192.579 12.3555 936 9364031 957.61/957.67 o 3609 959.71/959.74 c 192.896 12.3555 668 9379541 959.71/959.74 o 3599 961.42/961.49 c 193.297 12.3555 765 9393984 961.42/961.49 o 3574 965.61/965.62 c 194.008 12.3555 693 9418769 965.61/965.62 o 3561 980.52/980.50 c 196.704 12.3555 801 9523868 980.52/980.50 o 3513 982.42/982.47 c 197.226 12.3555 914 9537902 982.42/982.47 o 3512 984.12/984.12 c 197.44 12.3555 514 9549543 984.12/984.12 o 3497 984.72/984.76 c 197.536 12.3555 709 9553952 984.72/984.76 o 3460 995.02/995.05 c 199.498 12.4766 747 9620060 995.02/995.05 o 3419 1007.81/1007.83 c 201.806 12.4766 615 9706349 1007.81/1007.83 o 3406 1026.22/1026.27 c 205.067 12.4766 853 9825754 1026.22/1026.27 o 3284 1038.12/1038.18 c 207.367 12.4766 621 9910779 1038.12/1038.18 o 3279 1042.93/1042.94 c 208.319 12.4766 842 9943449 1042.93/1042.94 o 3229 1049.32/1049.39 c 209.509 12.4766 623 9989249 1049.32/1049.39 o 3228 1054.62/1054.69 c 210.507 12.4766 604 10027609 1054.62/1054.69 o 3168 1054.82/1054.81 c 210.526 12.4766 929 10028435 1054.82/1054.81 o 3137 1066.52/1066.50 c 212.784 12.4766 548 10107417 1066.52/1066.50 o 3136 1100.62/1100.64 c 219.483 12.4766 872 10338388 1100.62/1100.64 o 3126 1125.11/1125.10 c 223.884 12.4766 696 10499537 1125.11/1125.10 o 3119 1143.02/1143.03 c 227.26 12.4766 745 10624009 1143.02/1143.03 o 3087 1143.12/1143.16 c 227.283 12.4766 719 10624889 1143.12/1143.16 o 3018 1150.42/1150.47 c 228.592 12.4766 716 10666730 1150.42/1150.47 o 2966 1187.92/1187.96 c 236.439 12.4766 989 10883617 1187.92/1187.96 o 2939 1188.82/1188.81 c 236.54 12.4766 970 10889927 1188.82/1188.81 o 2899 1190.33/1190.33 c 236.748 12.4766 909 10899659 1190.33/1190.33 o 2846 1199.92/1199.96 c 238.69 12.4766 963 10965687 1199.92/1199.96 o 2767 1206.23/1206.27 c 239.941 12.4766 681 11007393 1206.23/1206.27 o 2729 1217.73/1217.72 c 242.241 12.6016 867 11076476 1217.73/1217.72 o 2636 1231.03/1231.06 c 244.891 12.5664 572 11162729 1231.03/1231.06 o 2525 1233.72/1233.79 c 245.334 12.5664 760 11179790 1233.72/1233.79 o 2492 1243.82/1243.83 c 247.276 12.5664 996 11244270 1243.82/1243.83 o 2467 1245.02/1245.00 c 247.579 12.5664 754 11252707 1245.02/1245.00 o 2445 1252.12/1252.15 c 248.923 12.5664 683 11298337 1252.12/1252.15 o 2384 1257.72/1257.79 c 250.1 12.5664 497 11335151 1257.72/1257.79 o 2376 1261.63/1261.64 c 250.656 12.5664 731 11361409 1261.63/1261.64 o 2342 1268.33/1268.34 c 251.916 12.7031 831 11404203 1268.33/1268.34 o 2272 1270.32/1270.33 c 252.435 12.7031 909 11415724 1270.32/1270.33 o 2246 1270.53/1270.50 c 252.483 12.7031 951 11416984 1270.53/1270.50 o 2103 1275.63/1275.65 c 253.299 12.7031 961 11449150 1275.63/1275.65 o 2057 1277.63/1277.63 c 253.813 12.7031 826 11461791 1277.63/1277.63 o 2015 1283.03/1283.04 c 254.78 12.7031 848 11494985 1283.03/1283.04 o 1989 1285.93/1285.94 c 255.358 12.7031 801 11513428 1285.93/1285.94 o 1947 1286.22/1286.23 c 255.391 12.7031 734 11515397 1286.22/1286.23 o 1919 1286.42/1286.41 c 255.411 12.7031 777 11516614 1286.42/1286.41 o 1878 1288.72/1288.74 c 255.785 12.7031 892 11531090 1288.72/1288.74 o 1839 1296.52/1296.59 c 257.524 12.7031 624 11576353 1296.52/1296.59 o 1816 1300.93/1300.91 c 258.316 12.7031 608 11600254 1300.93/1300.91 o 1770 1302.22/1302.21 c 258.565 12.7031 657 11608442 1302.22/1302.21 o 1752 1304.73/1304.72 c 259.105 12.832 592 11623539 1304.73/1304.72 o 1685 1306.53/1306.57 c 259.444 12.832 729 11634750 1306.53/1306.57 o 1566 1308.62/1308.63 c 259.772 12.832 709 11647406 1308.62/1308.63 o 1431 1312.03/1312.09 c 260.626 12.832 761 11668000 1312.03/1312.09 o 1335 1316.62/1316.64 c 261.687 12.832 983 11696031 1316.62/1316.64 o 1257 1317.13/1317.17 c 261.796 12.832 687 11699006 1317.13/1317.17 o 1191 1318.33/1318.34 c 261.986 12.832 543 11705816 1318.33/1318.34 o 1180 1319.62/1319.62 c 262.203 12.832 1135 11713468 1319.62/1319.62 o 1145 1321.62/1321.66 c 262.597 12.832 794 11725774 1321.62/1321.66 o 1133 1323.23/1323.28 c 263.176 12.832 570 11734751 1323.23/1323.28 o 1117 1323.53/1323.59 c 263.217 12.832 996 11736767 1323.53/1323.59 o 1081 1330.23/1330.25 c 264.7 12.832 633 11776341 1330.23/1330.25 o 1043 1331.43/1331.43 c 264.928 12.832 560 11783499 1331.43/1331.43 o 938 1359.02/1359.01 c 271.412 12.957 979 11946967 1359.02/1359.01 o 854 1385.43/1385.49 c 277.808 12.957 776 12105596 1385.43/1385.49 o 831 1393.03/1393.00 c 279.646 12.957 755 12150852 1393.03/1393.00 o 742 1408.82/1408.86 c 284.302 12.957 92 12251084 1408.82/1408.86 s OPTIMUM FOUND 1408.82/1408.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 742
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700048-1278533929/watcher-2700048-1278533929 -o /tmp/evaluation-result-2700048-1278533929/solver-2700048-1278533929 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700048-1278533929.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.84 0.71 0.26 3/178 18602 /proc/meminfo: memFree=29619788/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=2136 CPUtime=0 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 256 0 0 0 0 0 0 0 22 0 1 0 21606821 2187264 175 4089446400 134512640 136421960 4293243168 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18602/statm: 534 175 144 467 0 65 0 [startup+0.102445 s] /proc/loadavg: 1.84 0.71 0.26 3/178 18602 /proc/meminfo: memFree=29619788/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=10708 CPUtime=0.09 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2407 0 0 0 4 5 0 0 22 0 1 0 21606821 10964992 2320 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2677 2320 238 467 0 2208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10708 [startup+0.200427 s] /proc/loadavg: 1.84 0.71 0.26 3/178 18602 /proc/meminfo: memFree=29619788/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=10836 CPUtime=0.19 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2435 0 0 0 7 12 0 0 22 0 1 0 21606821 11096064 2348 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2709 2348 238 467 0 2240 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10836 [startup+0.300409 s] /proc/loadavg: 1.84 0.71 0.26 3/178 18602 /proc/meminfo: memFree=29619788/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=10836 CPUtime=0.29 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2452 0 0 0 9 20 0 0 22 0 1 0 21606821 11096064 2365 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2709 2365 238 467 0 2240 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10836 [startup+0.700338 s] /proc/loadavg: 1.84 0.71 0.26 3/178 18602 /proc/meminfo: memFree=29619788/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=10836 CPUtime=0.69 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2458 0 0 0 18 51 0 0 23 0 1 0 21606821 11096064 2371 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2709 2371 238 467 0 2240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10836 [startup+1.5002 s] /proc/loadavg: 1.84 0.71 0.26 3/179 18603 /proc/meminfo: memFree=29610728/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=10968 CPUtime=1.49 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2481 0 0 0 38 111 0 0 25 0 1 0 21606821 11231232 2387 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2742 2387 238 467 0 2273 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10968 [startup+3.10091 s] /proc/loadavg: 1.84 0.71 0.26 3/179 18603 /proc/meminfo: memFree=29610480/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11092 CPUtime=3.09 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2505 0 0 0 76 233 0 0 25 0 1 0 21606821 11358208 2409 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2773 2409 238 467 0 2304 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11092 [startup+6.30034 s] /proc/loadavg: 1.85 0.73 0.27 3/179 18603 /proc/meminfo: memFree=29610356/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11092 CPUtime=6.29 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2532 0 0 0 168 461 0 0 25 0 1 0 21606821 11358208 2432 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2773 2432 238 467 0 2304 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11092 [startup+12.7002 s] /proc/loadavg: 1.86 0.75 0.27 3/179 18603 /proc/meminfo: memFree=29607900/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11216 CPUtime=12.69 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2571 0 0 0 311 958 0 0 25 0 1 0 21606821 11485184 2464 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2804 2464 238 467 0 2335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11216 [startup+25.5009 s] /proc/loadavg: 1.89 0.81 0.30 3/179 18604 /proc/meminfo: memFree=29605608/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11472 CPUtime=25.49 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2625 0 0 0 622 1927 0 0 25 0 1 0 21606821 11747328 2506 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2868 2506 238 467 0 2399 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11472 [startup+51.1004 s] /proc/loadavg: 1.93 0.90 0.34 3/179 18605 /proc/meminfo: memFree=29593284/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11596 CPUtime=51.09 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2676 0 0 0 1213 3896 0 0 25 0 1 0 21606821 11874304 2546 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2899 2546 238 467 0 2430 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11596 [startup+102.3 s] /proc/loadavg: 1.97 1.07 0.43 3/179 18606 /proc/meminfo: memFree=29569652/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11852 CPUtime=102.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2743 0 0 0 2329 7901 0 0 25 0 1 0 21606821 12136448 2599 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2963 2599 238 467 0 2494 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11852 [startup+162.301 s] /proc/loadavg: 1.99 1.24 0.52 3/179 18607 /proc/meminfo: memFree=29549384/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=11968 CPUtime=162.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2793 0 0 0 3616 12614 0 0 25 0 1 0 21606821 12255232 2637 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 2992 2637 238 467 0 2523 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 11968 [startup+222.306 s] /proc/loadavg: 1.99 1.37 0.61 3/179 18609 /proc/meminfo: memFree=29524772/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12092 CPUtime=222.31 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2832 0 0 0 4849 17382 0 0 25 0 1 0 21606821 12382208 2666 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3023 2666 238 467 0 2554 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 12092 [startup+282.3 s] /proc/loadavg: 1.99 1.49 0.70 3/179 18611 /proc/meminfo: memFree=29501376/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12092 CPUtime=282.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2861 0 0 0 6067 22163 0 0 25 0 1 0 21606821 12382208 2685 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3023 2685 238 467 0 2554 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 12092 [startup+342.301 s] /proc/loadavg: 1.99 1.58 0.78 3/179 18612 /proc/meminfo: memFree=29482364/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12228 CPUtime=342.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2894 0 0 0 7294 26936 0 0 25 0 1 0 21606821 12521472 2707 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3057 2707 238 467 0 2588 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 12228 [startup+402.3 s] /proc/loadavg: 1.99 1.65 0.85 3/179 18614 /proc/meminfo: memFree=29464220/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12352 CPUtime=402.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2931 0 0 0 8503 31727 0 0 25 0 1 0 21606821 12648448 2738 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3088 2738 238 467 0 2619 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 12352 [startup+462.3 s] /proc/loadavg: 1.99 1.71 0.92 3/179 18615 /proc/meminfo: memFree=29441856/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12352 CPUtime=462.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2938 0 0 0 9669 36561 0 0 25 0 1 0 21606821 12648448 2739 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3088 2739 238 467 0 2619 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 12352 [startup+522.301 s] /proc/loadavg: 1.99 1.76 0.98 3/179 18617 /proc/meminfo: memFree=29424196/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12352 CPUtime=522.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2955 0 0 0 10879 41351 0 0 25 0 1 0 21606821 12648448 2753 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3088 2753 238 467 0 2619 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 12352 [startup+582.3 s] /proc/loadavg: 1.99 1.80 1.04 3/179 18619 /proc/meminfo: memFree=29398948/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12480 CPUtime=582.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2974 0 0 0 12064 46166 0 0 25 0 1 0 21606821 12779520 2763 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3120 2763 238 467 0 2651 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 12480 [startup+642.3 s] /proc/loadavg: 1.99 1.83 1.10 3/179 18620 /proc/meminfo: memFree=29371992/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12480 CPUtime=642.3 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 2994 0 0 0 13261 50969 0 0 25 0 1 0 21606821 12779520 2774 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3120 2774 238 467 0 2651 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 12480 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29330312/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12648 CPUtime=762.31 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3048 0 0 0 15587 60644 0 0 25 0 1 0 21606821 12951552 2805 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3162 2805 238 467 0 2693 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 12648 [startup+822.301 s] /proc/loadavg: 1.99 1.90 1.25 3/179 18625 /proc/meminfo: memFree=29312524/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12648 CPUtime=822.31 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3055 0 0 0 16696 65535 0 0 25 0 1 0 21606821 12951552 2806 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3162 2806 238 467 0 2693 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 12648 [startup+882.306 s] /proc/loadavg: 1.99 1.92 1.30 3/179 18627 /proc/meminfo: memFree=29293108/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12648 CPUtime=882.31 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3067 0 0 0 17824 70407 0 0 25 0 1 0 21606821 12951552 2812 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3162 2812 238 467 0 2693 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 12648 [startup+942.3 s] /proc/loadavg: 1.99 1.93 1.34 3/179 18628 /proc/meminfo: memFree=29274820/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12648 CPUtime=942.31 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3089 0 0 0 18974 75257 0 0 25 0 1 0 21606821 12951552 2827 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3162 2827 238 467 0 2693 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 12648 [startup+1002.3 s] /proc/loadavg: 1.99 1.94 1.38 3/179 18630 /proc/meminfo: memFree=29255512/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12772 CPUtime=1002.31 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3106 0 0 0 20080 80151 0 0 25 0 1 0 21606821 13078528 2834 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3193 2834 238 467 0 2724 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 12772 [startup+1062.3 s] /proc/loadavg: 1.99 1.95 1.41 3/179 18631 /proc/meminfo: memFree=29232612/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12772 CPUtime=1062.32 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3121 0 0 0 21191 85041 0 0 25 0 1 0 21606821 13078528 2842 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3193 2842 238 467 0 2724 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 12772 [startup+1122.3 s] /proc/loadavg: 1.99 1.95 1.45 3/179 18633 /proc/meminfo: memFree=29209624/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12772 CPUtime=1122.32 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3127 0 0 0 22345 89887 0 0 25 0 1 0 21606821 13078528 2846 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3193 2846 238 467 0 2724 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 12772 [startup+1182.3 s] /proc/loadavg: 1.99 1.96 1.48 3/179 18635 /proc/meminfo: memFree=29187816/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12772 CPUtime=1182.32 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3144 0 0 0 23518 94714 0 0 25 0 1 0 21606821 13078528 2859 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3193 2859 238 467 0 2724 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 12772 [startup+1242.3 s] /proc/loadavg: 1.99 1.96 1.51 3/179 18636 /proc/meminfo: memFree=29166184/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=12864 CPUtime=1242.32 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3156 0 0 0 24685 99547 0 0 25 0 1 0 21606821 13172736 2863 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3216 2863 238 467 0 2747 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 12864 [startup+1302.3 s] /proc/loadavg: 1.99 1.97 1.54 3/179 18638 /proc/meminfo: memFree=29140944/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13136 CPUtime=1302.32 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3220 0 0 0 25859 104373 0 0 25 0 1 0 21606821 13451264 2909 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3284 2909 238 467 0 2815 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 13136 [startup+1362.3 s] /proc/loadavg: 1.99 1.97 1.56 3/179 18639 /proc/meminfo: memFree=29123392/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1362.32 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3237 0 0 0 27233 108999 0 0 25 0 1 0 21606821 13582336 2912 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2912 238 467 0 2847 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 13264 Solver just ended. Dumping a history of the last processes samples [startup+1382.4 s] /proc/loadavg: 1.99 1.97 1.57 3/179 18640 /proc/meminfo: memFree=29112336/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1382.43 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3238 0 0 0 27716 110527 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1382.43 Current children cumulated vsize (KiB) 13264 [startup+1395.2 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29108468/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1395.23 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28042 111481 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1395.23 Current children cumulated vsize (KiB) 13264 [startup+1401.6 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29107096/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1401.63 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28231 111932 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1401.63 Current children cumulated vsize (KiB) 13264 [startup+1404.81 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29106096/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1404.83 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28311 112172 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1404.83 Current children cumulated vsize (KiB) 13264 [startup+1406.4 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29106096/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1406.42 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28349 112293 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1406.42 Current children cumulated vsize (KiB) 13264 [startup+1408 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29103616/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1408.04 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28407 112397 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1408.04 Current children cumulated vsize (KiB) 13264 [startup+1408.4 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29103616/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1408.43 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28418 112425 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1408.43 Current children cumulated vsize (KiB) 13264 [startup+1408.8 s] /proc/loadavg: 1.99 1.97 1.58 3/179 18641 /proc/meminfo: memFree=29103616/32950928 swapFree=67111528/67111528 [pid=18602] ppid=18600 vsize=13264 CPUtime=1408.82 /proc/18602/stat : 18602 (pbct) R 18600 18602 18410 0 -1 4202496 3240 0 0 0 28427 112455 0 0 25 0 1 0 21606821 13582336 2913 4089446400 134512640 136421960 4293243168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/18602/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1408.82 Current children cumulated vsize (KiB) 13264 Child status: 0 Real time (s): 1408.88 CPU time (s): 1408.91 CPU user time (s): 284.312 CPU system time (s): 1124.6 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 13264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.312 system time used= 1124.6 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3245 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= 2530 runsolver used 1.9907 second user time and 4.42633 second system time The end
Begin job on node123 at 2010-07-07 22:18:49 IDJOB=2700048 IDBENCH=79395 IDSOLVER=1208 FILE ID=node123/2700048-1278533929 PBS_JOBID= 11239232 Free space on /tmp= 73624 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh305_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700048-1278533929/watcher-2700048-1278533929 -o /tmp/evaluation-result-2700048-1278533929/solver-2700048-1278533929 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700048-1278533929.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8285b15ee2c0064deae9a0e09e679565 RANDOM SEED=1318784925 node123.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.848 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.848 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.848 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.80 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.848 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.79 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.848 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 : 5354.69 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.848 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.75 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.848 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.74 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.848 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29620564 kB Buffers: 136044 kB Cached: 2910984 kB SwapCached: 0 kB Active: 1018556 kB Inactive: 2166256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29620564 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3760 kB Writeback: 0 kB AnonPages: 137808 kB Mapped: 17368 kB Slab: 80428 kB PageTables: 4812 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 283968 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= 73620 MiB End job on node123 at 2010-07-07 22:42:18