Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 1412.95 | 1412.9 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 100/0 clauses 0/900 units 0 0.00/0.01 c vars 200 0.00/0.04 c 0.037994 10.1523 1 2036 0.00/0.04 o 31094 0.00/0.04 c 0.038994 10.3359 1 2974 0.00/0.04 o 29949 0.00/0.04 c 0.040993 10.3359 3 3702 0.00/0.04 o 29227 0.00/0.04 c 0.042993 10.3359 3 4633 0.00/0.04 o 18387 0.00/0.04 c 0.044993 10.3359 3 5364 0.00/0.04 o 17783 0.00/0.05 c 0.045993 10.3359 8 6117 0.00/0.05 o 17156 0.69/0.79 c 0.52492 10.7148 1074 21008 0.69/0.79 o 17075 0.79/0.85 c 0.565913 10.7148 603 22736 0.79/0.85 o 17074 0.79/0.88 c 0.577912 10.7148 386 23443 0.79/0.88 o 17066 0.89/0.97 c 0.634903 10.7148 578 25440 0.89/0.97 o 16837 1.00/1.01 c 0.659899 10.7148 431 26366 1.00/1.01 o 16713 1.00/1.07 c 0.705892 10.7148 467 27908 1.00/1.07 o 16354 1.10/1.19 c 0.772882 10.7148 377 30989 1.10/1.19 o 16208 2.89/2.91 c 1.90071 10.8359 392 61109 2.89/2.91 o 16183 2.89/2.93 c 1.91171 10.8359 470 61913 2.89/2.93 o 15613 4.59/4.64 c 3.03254 10.8359 671 92633 4.59/4.64 o 15579 5.29/5.33 c 3.48047 10.8359 647 105976 5.29/5.33 o 15417 5.29/5.35 c 3.49447 10.8359 392 106842 5.29/5.35 o 15211 5.99/6.05 c 3.9394 10.8359 643 117354 5.99/6.05 o 15083 8.89/8.94 c 5.84311 10.957 712 166680 8.89/8.94 o 15054 8.89/8.99 c 5.87711 10.957 567 167391 8.89/8.99 o 15042 8.99/9.07 c 5.9311 10.957 470 169626 8.99/9.07 o 14677 9.29/9.31 c 6.08507 10.957 637 174770 9.29/9.31 o 14192 9.29/9.38 c 6.13307 10.957 681 176198 9.29/9.38 o 14162 11.49/11.53 c 7.47286 10.957 621 203225 11.49/11.53 o 14134 12.69/12.72 c 8.26574 10.957 503 223260 12.69/12.72 o 14130 13.69/13.78 c 8.94764 11.082 635 240310 13.69/13.78 o 14054 13.89/13.97 c 9.07462 11.082 671 243848 13.89/13.97 o 14004 14.29/14.39 c 9.33858 11.082 700 251767 14.29/14.39 o 13996 14.49/14.51 c 9.42357 11.082 619 254190 14.49/14.51 o 13932 14.49/14.52 c 9.43257 11.082 361 254772 14.49/14.52 o 13819 15.79/15.81 c 10.2584 11.082 651 272618 15.79/15.81 o 13635 15.79/15.87 c 10.3044 11.082 600 273646 15.79/15.87 o 13612 15.99/16.05 c 10.4334 11.082 785 275843 15.99/16.05 o 13591 17.69/17.75 c 11.5092 11.082 899 303809 17.69/17.75 o 13501 19.99/20.06 c 13.033 11.082 816 338504 19.99/20.06 o 13279 20.69/20.79 c 13.5099 11.082 641 350097 20.69/20.79 o 13264 21.59/21.61 c 14.0169 11.082 914 360976 21.59/21.61 o 13206 25.99/26.09 c 16.9334 11.207 666 417316 25.99/26.09 o 13108 26.29/26.32 c 17.0774 11.207 562 421080 26.29/26.32 o 13011 27.40/27.46 c 17.8233 11.207 635 438127 27.40/27.46 o 12994 30.59/30.60 c 19.824 11.207 814 483454 30.59/30.60 o 12870 34.19/34.23 c 22.1186 11.207 622 529401 34.19/34.23 o 12591 40.59/40.64 c 26.149 11.207 625 616122 40.59/40.64 o 12426 40.89/40.99 c 26.368 11.207 536 623090 40.89/40.99 o 12239 41.09/41.11 c 26.44 11.207 537 625655 41.09/41.11 o 11918 45.69/45.75 c 29.3385 11.3281 788 687375 45.69/45.75 o 11840 49.29/49.30 c 31.6322 11.3281 865 736060 49.29/49.30 o 11652 49.29/49.34 c 31.6572 11.3281 615 736701 49.29/49.34 o 11609 51.89/51.97 c 33.3039 11.3281 445 771324 51.89/51.97 o 11577 52.89/52.95 c 33.9638 11.3281 570 785819 52.89/52.95 o 11524 54.00/54.05 c 34.6607 11.3281 654 799854 54.00/54.05 o 11461 56.19/56.24 c 36.0735 11.3281 818 816304 56.19/56.24 o 11372 58.70/58.76 c 37.6743 11.4492 607 837040 58.70/58.76 o 11347 70.20/70.23 c 45.0012 11.4492 631 993802 70.20/70.23 o 11116 70.30/70.40 c 45.1021 11.4492 607 997132 70.30/70.40 o 11099 79.30/79.39 c 50.8033 11.4492 731 1104186 79.30/79.39 o 11087 79.49/79.51 c 50.8683 11.4492 873 1105562 79.49/79.51 o 10982 79.99/80.01 c 51.1932 11.4492 768 1112454 79.99/80.01 o 10922 83.29/83.34 c 53.2959 11.4492 731 1153043 83.29/83.34 o 10894 84.80/84.88 c 54.2827 11.4492 473 1173242 84.80/84.88 o 10857 89.59/89.62 c 57.2383 11.4492 716 1239756 89.59/89.62 o 10698 102.20/102.23 c 65.1961 11.5781 806 1372343 102.20/102.24 o 10645 102.69/102.72 c 65.52 11.5781 1002 1380609 102.69/102.72 o 10624 114.09/114.10 c 72.7489 11.5781 874 1516766 114.09/114.10 o 10505 114.49/114.51 c 73.0179 11.5781 465 1523601 114.49/114.51 o 10460 117.60/117.62 c 74.9816 11.5781 542 1563234 117.60/117.62 o 10424 122.69/122.71 c 78.2061 11.5781 737 1621551 122.69/122.71 o 10252 125.10/125.19 c 79.7719 11.5781 681 1654665 125.10/125.19 o 10194 132.59/132.64 c 84.4572 11.5781 769 1743533 132.59/132.64 o 10173 149.30/149.39 c 95.1025 11.6914 995 1915617 149.30/149.39 o 10155 151.20/151.26 c 96.3034 11.6914 816 1941294 151.20/151.26 o 10068 155.39/155.42 c 98.933 11.6914 958 1993319 155.39/155.42 o 9804 156.50/156.55 c 99.6339 11.6914 542 2005713 156.50/156.55 o 9739 158.69/158.73 c 100.996 11.6914 1053 2031662 158.69/158.73 o 9709 171.60/171.65 c 109.266 11.6914 802 2186468 171.60/171.65 o 9660 171.89/171.97 c 109.474 11.6914 631 2191274 171.89/171.97 o 9624 173.10/173.10 c 110.194 11.6914 747 2205918 173.10/173.10 o 9548 178.11/178.18 c 113.341 11.6914 710 2260178 178.11/178.18 o 9455 179.40/179.44 c 114.133 11.6914 451 2274069 179.40/179.44 o 9454 181.50/181.52 c 115.418 11.6914 565 2301423 181.50/181.52 o 9419 182.90/182.93 c 116.301 11.6914 936 2318322 182.90/182.93 o 9385 183.40/183.42 c 116.627 11.6914 812 2326035 183.40/183.42 o 9359 190.40/190.49 c 121.018 11.6914 920 2402873 190.40/190.49 o 9255 195.30/195.30 c 124.053 11.6914 579 2456914 195.30/195.30 o 9160 222.89/222.94 c 141.492 11.8125 875 2760944 222.89/222.94 o 8883 226.60/226.62 c 143.823 11.8125 591 2806143 226.60/226.62 o 8850 230.90/230.91 c 146.534 11.8125 899 2849736 230.90/230.91 o 8846 238.20/238.25 c 151.111 11.8125 764 2936000 238.20/238.25 o 8763 241.80/241.85 c 153.368 11.8125 460 2968051 241.80/241.85 o 8627 242.60/242.60 c 153.821 11.8125 627 2976465 242.60/242.60 o 8613 249.40/249.40 c 158.067 11.8125 1025 3048393 249.40/249.40 o 8522 253.01/253.01 c 160.318 11.8125 767 3090545 253.01/253.01 o 8466 272.60/272.65 c 172.611 11.8125 436 3259729 272.60/272.65 o 8303 279.20/279.22 c 176.691 11.8125 1010 3334028 279.20/279.22 o 8294 287.00/287.09 c 181.58 11.8125 764 3418296 287.00/287.09 o 8224 291.50/291.58 c 184.349 11.8125 783 3468095 291.50/291.58 o 8151 294.40/294.49 c 186.208 11.9453 964 3498876 294.40/294.49 o 7991 306.70/306.77 c 193.806 11.9453 656 3622536 306.70/306.77 o 7954 307.01/307.07 c 194.002 11.9453 714 3626025 307.01/307.07 o 7931 309.00/309.03 c 195.208 11.9453 740 3641714 309.00/309.03 o 7846 319.80/319.82 c 201.854 11.9453 648 3759552 319.80/319.82 o 7818 333.71/333.70 c 210.485 11.9453 885 3907364 333.71/333.70 o 7816 336.20/336.22 c 212.037 11.9453 830 3936551 336.20/336.22 o 7804 337.10/337.19 c 212.677 11.9453 882 3947127 337.10/337.19 o 7762 338.81/338.85 c 213.721 11.9453 1003 3965764 338.81/338.85 o 7758 356.31/356.35 c 224.711 11.9453 518 4134396 356.31/356.35 o 7749 363.40/363.49 c 229.041 11.9453 882 4211995 363.40/363.49 o 7728 379.51/379.53 c 238.947 11.9453 574 4372041 379.51/379.53 o 7576 384.91/384.96 c 242.329 11.9453 760 4427842 384.91/384.96 o 7522 393.11/393.14 c 247.406 11.9453 881 4514164 393.11/393.14 o 7518 393.41/393.46 c 247.609 11.9453 600 4516835 393.41/393.46 o 7336 404.90/404.97 c 254.724 12.0664 752 4599919 404.90/404.97 o 7326 406.51/406.53 c 255.7 12.0664 963 4617772 406.51/406.53 o 7277 414.10/414.13 c 260.451 12.0664 592 4699001 414.10/414.13 o 7265 452.40/452.41 c 284.261 12.0664 731 5071268 452.40/452.41 o 7226 454.51/454.56 c 285.58 12.0664 715 5093716 454.51/454.56 o 7222 459.51/459.51 c 288.599 12.0664 915 5144412 459.51/459.51 o 7007 471.60/471.68 c 296.214 12.0664 555 5257168 471.60/471.68 o 6993 511.71/511.73 c 321.063 12.0664 644 5647824 511.71/511.73 o 6875 520.50/520.51 c 326.416 12.0664 680 5731475 520.50/520.51 o 6796 546.81/546.81 c 342.868 12.0664 765 5978326 546.81/546.81 o 6785 557.21/557.21 c 349.237 12.0664 739 6067986 557.21/557.21 o 6740 561.31/561.33 c 351.815 12.0664 835 6107658 561.31/561.33 o 6738 565.71/565.76 c 354.609 12.0664 588 6149007 565.71/565.76 o 6699 566.52/566.52 c 355.074 12.0664 770 6156793 566.52/566.52 o 6665 573.31/573.36 c 359.417 12.0664 619 6225759 573.31/573.36 o 6643 574.11/574.10 c 359.888 12.1914 809 6231810 574.11/574.10 o 6562 581.42/581.47 c 364.559 12.1914 983 6303858 581.42/581.47 o 6560 582.61/582.63 c 365.266 12.1914 672 6314772 582.61/582.63 o 6495 585.82/585.90 c 367.268 12.1914 757 6349164 585.82/585.90 o 6391 591.31/591.31 c 370.649 12.1914 960 6402239 591.31/591.31 o 6271 596.12/596.16 c 373.763 12.1914 849 6455180 596.12/596.16 o 6152 608.41/608.40 c 381.412 12.1914 748 6566826 608.41/608.40 o 6150 608.51/608.58 c 381.525 12.1914 663 6569020 608.51/608.58 o 6126 616.21/616.21 c 386.258 12.1914 876 6639189 616.21/616.21 o 6105 622.41/622.43 c 390.084 12.1914 588 6697509 622.41/622.43 o 5924 623.21/623.23 c 390.574 12.1914 474 6705202 623.21/623.23 o 5916 639.31/639.39 c 400.684 12.1914 542 6841859 639.31/639.39 o 5906 649.71/649.78 c 407.062 12.1914 833 6934148 649.71/649.78 o 5901 654.31/654.31 c 409.797 12.1914 607 6975692 654.31/654.31 o 5896 658.01/658.08 c 412.164 12.1914 873 7008414 658.01/658.08 o 5844 667.31/667.38 c 417.882 12.1914 859 7083918 667.31/667.38 o 5839 674.22/674.28 c 422.14 12.1914 505 7151014 674.22/674.28 o 5734 676.31/676.38 c 423.404 12.1914 540 7169395 676.31/676.38 o 5726 696.11/696.20 c 435.732 12.1914 845 7331638 696.11/696.20 o 5685 698.21/698.25 c 437.018 12.1914 687 7344618 698.21/698.25 o 5634 700.12/700.12 c 438.156 12.3555 953 7362861 700.12/700.12 o 5626 704.71/704.74 c 441.05 12.3555 842 7403853 704.71/704.74 o 5543 717.51/717.52 c 448.903 12.3555 647 7520214 717.51/717.52 o 5445 718.32/718.39 c 449.431 12.3555 603 7526584 718.32/718.39 o 5400 725.92/725.95 c 454.087 12.3555 774 7591794 725.92/725.95 o 5390 728.81/728.89 c 455.919 12.3555 687 7613679 728.81/728.89 o 5380 731.91/731.90 c 457.759 12.3555 496 7640460 731.91/731.90 o 5242 736.52/736.55 c 460.605 12.3555 513 7681505 736.52/736.55 o 5235 737.61/737.67 c 461.302 12.3555 723 7691213 737.61/737.67 o 5198 738.52/738.57 c 461.853 12.3555 879 7698604 738.52/738.57 o 5158 739.12/739.18 c 462.22 12.3555 1004 7702309 739.12/739.18 o 5125 741.81/741.85 c 463.878 12.3555 665 7727208 741.81/741.85 o 5053 746.51/746.52 c 466.713 12.3555 692 7767341 746.51/746.52 o 4920 748.02/748.01 c 467.633 12.3555 646 7779888 748.02/748.01 o 4567 756.82/756.89 c 473.109 12.3555 557 7852316 756.82/756.89 o 4555 764.62/764.66 c 477.907 12.3555 467 7905628 764.62/764.66 o 4483 770.03/770.05 c 481.212 12.3555 504 7950484 770.03/770.05 o 4400 789.22/789.21 c 492.862 12.3555 701 8096310 789.22/789.21 o 4385 789.51/789.54 c 493.073 12.3555 981 8098743 789.51/789.54 o 4342 799.12/799.17 c 499.008 12.3555 813 8173298 799.12/799.17 o 4338 819.81/819.89 c 511.739 12.3555 576 8329471 819.81/819.89 o 4335 849.82/849.83 c 530.346 12.3555 574 8546261 849.82/849.83 o 4278 863.72/863.76 c 538.994 12.3555 504 8655630 863.72/863.76 o 4270 867.72/867.79 c 541.503 12.3555 700 8685584 867.72/867.79 o 4255 874.52/874.55 c 545.675 12.3555 741 8739294 874.52/874.55 o 4239 882.42/882.45 c 550.487 12.3555 892 8803611 882.42/882.45 o 4177 883.52/883.56 c 551.142 12.3555 729 8811973 883.52/883.56 o 4120 900.02/900.09 c 561.442 12.3555 708 8937430 900.02/900.09 o 3975 914.83/914.86 c 570.693 12.3555 654 9036230 914.83/914.86 o 3912 917.13/917.17 c 572.137 12.3555 524 9055828 917.13/917.17 o 3858 919.12/919.19 c 573.389 12.3555 588 9071691 919.12/919.19 o 3774 919.52/919.55 c 573.617 12.3555 832 9074378 919.52/919.55 o 3761 944.22/944.25 c 588.854 12.3555 602 9248218 944.22/944.25 o 3709 944.83/944.82 c 589.228 12.3555 588 9252308 944.83/944.82 o 3671 955.12/955.16 c 595.54 12.3555 717 9325801 955.12/955.16 o 3613 960.33/960.39 c 598.754 12.3555 936 9364031 960.33/960.39 o 3609 962.43/962.47 c 600.029 12.3555 668 9379541 962.43/962.47 o 3599 964.23/964.22 c 601.116 12.3555 765 9393984 964.23/964.22 o 3574 968.33/968.35 c 603.658 12.3555 693 9418769 968.33/968.35 o 3561 983.23/983.28 c 612.855 12.3555 801 9523868 983.23/983.28 o 3513 985.23/985.25 c 614.037 12.3555 914 9537902 985.23/985.25 o 3512 986.93/986.91 c 615.049 12.3555 514 9549543 986.93/986.91 o 3497 987.53/987.55 c 615.435 12.3555 709 9553952 987.53/987.55 o 3460 997.83/997.87 c 621.792 12.4766 747 9620060 997.83/997.87 o 3419 1010.63/1010.68 c 629.696 12.4766 615 9706349 1010.63/1010.68 o 3406 1029.12/1029.17 c 641.184 12.4766 853 9825754 1029.12/1029.17 o 3284 1041.12/1041.11 c 648.625 12.4766 621 9910779 1041.12/1041.11 o 3279 1045.82/1045.87 c 651.585 12.4766 842 9943449 1045.82/1045.87 o 3229 1052.32/1052.34 c 655.532 12.4766 623 9989249 1052.32/1052.34 o 3228 1057.62/1057.65 c 658.819 12.4766 604 10027609 1057.62/1057.65 o 3168 1057.72/1057.77 c 658.891 12.4766 929 10028435 1057.72/1057.77 o 3137 1069.42/1069.49 c 666.024 12.4766 548 10107417 1069.42/1069.49 o 3136 1103.72/1103.73 c 687.281 12.4766 872 10338388 1103.72/1103.73 o 3126 1128.23/1128.27 c 702.432 12.4766 696 10499537 1128.23/1128.27 o 3119 1146.23/1146.23 c 713.418 12.4766 745 10624009 1146.23/1146.23 o 3087 1146.33/1146.36 c 713.5 12.4766 719 10624889 1146.33/1146.36 o 3018 1153.63/1153.69 c 718.028 12.4766 716 10666730 1153.63/1153.69 o 2966 1191.24/1191.30 c 741.604 12.4766 989 10883617 1191.24/1191.30 o 2939 1192.13/1192.15 c 742.132 12.4766 970 10889927 1192.13/1192.15 o 2899 1193.63/1193.67 c 743.089 12.4766 909 10899659 1193.63/1193.67 o 2846 1203.34/1203.33 c 749.012 12.4766 963 10965687 1203.34/1203.33 o 2767 1209.63/1209.65 c 752.946 12.4766 681 11007393 1209.63/1209.65 o 2729 1221.13/1221.12 c 760.123 12.6016 867 11076476 1221.13/1221.12 o 2636 1234.44/1234.49 c 768.401 12.5664 572 11162729 1234.44/1234.49 o 2525 1237.24/1237.23 c 770.102 12.5664 760 11179790 1237.24/1237.23 o 2492 1247.23/1247.29 c 776.339 12.5664 996 11244270 1247.23/1247.29 o 2467 1248.44/1248.47 c 777.057 12.5664 754 11252707 1248.44/1248.47 o 2445 1255.63/1255.63 c 781.468 12.5664 683 11298337 1255.63/1255.63 o 2384 1261.24/1261.29 c 784.998 12.5664 497 11335151 1261.24/1261.29 o 2376 1265.14/1265.15 c 787.345 12.5664 731 11361409 1265.14/1265.15 o 2342 1271.84/1271.87 c 791.643 12.7031 831 11404203 1271.84/1271.87 o 2272 1273.84/1273.86 c 792.914 12.7031 909 11415724 1273.84/1273.86 o 2246 1274.03/1274.04 c 793.029 12.7031 951 11416984 1274.03/1274.04 o 2103 1279.13/1279.19 c 796.282 12.7031 961 11449150 1279.13/1279.19 o 2057 1281.13/1281.17 c 797.489 12.7031 826 11461791 1281.13/1281.17 o 2015 1286.63/1286.60 c 800.91 12.7031 848 11494985 1286.63/1286.60 o 1989 1289.54/1289.51 c 802.73 12.7031 801 11513428 1289.54/1289.51 o 1947 1289.84/1289.80 c 802.904 12.7031 734 11515397 1289.84/1289.80 o 1919 1289.93/1289.98 c 803.032 12.7031 777 11516614 1289.93/1289.98 o 1878 1292.33/1292.32 c 804.461 12.7031 892 11531090 1292.33/1292.32 o 1839 1300.14/1300.19 c 809.342 12.7031 624 11576353 1300.14/1300.19 o 1816 1304.54/1304.52 c 812.089 12.7031 608 11600254 1304.54/1304.52 o 1770 1305.84/1305.83 c 812.904 12.7031 657 11608442 1305.84/1305.83 o 1752 1308.33/1308.33 c 814.431 12.832 592 11623539 1308.33/1308.33 o 1685 1310.24/1310.20 c 815.613 12.832 729 11634750 1310.24/1310.20 o 1566 1312.24/1312.26 c 816.861 12.832 709 11647406 1312.24/1312.26 o 1431 1315.74/1315.73 c 819.034 12.832 761 11668000 1315.74/1315.73 o 1335 1320.24/1320.29 c 821.839 12.832 983 11696031 1320.24/1320.29 o 1257 1320.83/1320.83 c 822.167 12.832 687 11699006 1320.83/1320.83 o 1191 1322.03/1322.00 c 822.927 12.832 543 11705816 1322.03/1322.00 o 1180 1323.24/1323.29 c 823.758 12.832 1135 11713468 1323.24/1323.29 o 1145 1325.33/1325.33 c 825.084 12.832 794 11725774 1325.33/1325.33 o 1133 1326.93/1326.96 c 826.137 12.832 570 11734751 1326.93/1326.96 o 1117 1327.23/1327.26 c 826.343 12.832 996 11736767 1327.23/1327.26 o 1081 1333.94/1333.95 c 830.624 12.832 633 11776341 1333.94/1333.95 o 1043 1335.14/1335.14 c 831.372 12.832 560 11783499 1335.14/1335.14 o 938 1362.84/1362.82 c 849.248 12.957 979 11946967 1362.84/1362.82 o 854 1389.43/1389.41 c 866.464 12.957 776 12105596 1389.43/1389.41 o 831 1396.95/1396.95 c 871.386 12.957 755 12150852 1396.95/1396.95 o 742 1412.84/1412.88 c 882.099 12.957 92 12251084 1412.84/1412.88 s OPTIMUM FOUND 1412.84/1412.88 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-2700051-1278533936/watcher-2700051-1278533936 -o /tmp/evaluation-result-2700051-1278533936/solver-2700051-1278533936 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700051-1278533936.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.54 0.49 0.17 3/178 19877 /proc/meminfo: memFree=28968652/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=2136 CPUtime=0 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 21607755 2187264 173 4089446400 134512640 136422188 4293176400 18446744073709551615 135523966 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19877/statm: 534 173 144 467 0 65 0 [startup+0.05511 s] /proc/loadavg: 1.54 0.49 0.17 3/178 19877 /proc/meminfo: memFree=28968652/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=10580 CPUtime=0.04 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2392 0 0 0 4 0 0 0 25 0 1 0 21607755 10833920 2306 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2645 2306 237 467 0 2176 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10580 [startup+0.101104 s] /proc/loadavg: 1.54 0.49 0.17 3/178 19877 /proc/meminfo: memFree=28968652/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=10708 CPUtime=0.09 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2405 0 0 0 7 2 0 0 25 0 1 0 21607755 10964992 2319 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2677 2319 238 467 0 2208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10708 [startup+0.301065 s] /proc/loadavg: 1.54 0.49 0.17 3/178 19877 /proc/meminfo: memFree=28968652/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=10836 CPUtime=0.29 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2452 0 0 0 20 9 0 0 25 0 1 0 21607755 11096064 2366 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2709 2366 238 467 0 2240 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10836 [startup+0.700991 s] /proc/loadavg: 1.54 0.49 0.17 3/178 19877 /proc/meminfo: memFree=28968652/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=10836 CPUtime=0.69 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2458 0 0 0 45 24 0 0 25 0 1 0 21607755 11096064 2372 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2709 2372 238 467 0 2240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10836 [startup+1.50084 s] /proc/loadavg: 1.54 0.49 0.17 3/179 19878 /proc/meminfo: memFree=28960092/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=10968 CPUtime=1.49 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2481 0 0 0 98 51 0 0 25 0 1 0 21607755 11231232 2388 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2742 2388 238 467 0 2273 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10968 [startup+3.10054 s] /proc/loadavg: 1.54 0.49 0.17 3/179 19878 /proc/meminfo: memFree=28959968/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11092 CPUtime=3.09 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2505 0 0 0 201 108 0 0 25 0 1 0 21607755 11358208 2410 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2773 2410 238 467 0 2304 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11092 [startup+6.30095 s] /proc/loadavg: 1.58 0.52 0.18 3/179 19878 /proc/meminfo: memFree=28959452/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11092 CPUtime=6.3 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2532 0 0 0 410 220 0 0 25 0 1 0 21607755 11358208 2433 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2773 2433 238 467 0 2304 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 11092 [startup+12.7008 s] /proc/loadavg: 1.61 0.54 0.19 3/179 19878 /proc/meminfo: memFree=28954556/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11216 CPUtime=12.69 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2569 0 0 0 824 445 0 0 25 0 1 0 21607755 11485184 2464 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2804 2464 238 467 0 2335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11216 [startup+25.5004 s] /proc/loadavg: 1.70 0.61 0.22 3/179 19879 /proc/meminfo: memFree=28944672/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11472 CPUtime=25.49 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2625 0 0 0 1654 895 0 0 25 0 1 0 21607755 11747328 2507 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2868 2507 238 467 0 2399 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11472 [startup+51.1006 s] /proc/loadavg: 1.80 0.72 0.26 3/179 19879 /proc/meminfo: memFree=28921680/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11596 CPUtime=51.09 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2676 0 0 0 3276 1833 0 0 25 0 1 0 21607755 11874304 2547 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2899 2547 238 467 0 2430 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11596 [startup+102.306 s] /proc/loadavg: 1.91 0.92 0.35 3/179 19881 /proc/meminfo: memFree=28870304/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11852 CPUtime=102.3 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2743 0 0 0 6523 3707 0 0 25 0 1 0 21607755 12136448 2600 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2963 2600 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.97 1.11 0.45 3/179 19882 /proc/meminfo: memFree=28812236/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=11968 CPUtime=162.3 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2793 0 0 0 10327 5903 0 0 25 0 1 0 21607755 12255232 2638 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 2992 2638 238 467 0 2523 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 11968 [startup+222.301 s] /proc/loadavg: 1.98 1.27 0.55 3/179 19884 /proc/meminfo: memFree=28754136/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12092 CPUtime=222.3 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2831 0 0 0 14105 8125 0 0 25 0 1 0 21607755 12382208 2666 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3023 2666 238 467 0 2554 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 12092 [startup+282.301 s] /proc/loadavg: 1.99 1.40 0.63 3/179 19885 /proc/meminfo: memFree=28700612/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12092 CPUtime=282.3 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2860 0 0 0 17861 10369 0 0 25 0 1 0 21607755 12382208 2685 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3023 2685 238 467 0 2554 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 12092 [startup+342.3 s] /proc/loadavg: 1.99 1.51 0.72 3/179 19887 /proc/meminfo: memFree=28646884/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12228 CPUtime=342.31 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2893 0 0 0 21588 12643 0 0 25 0 1 0 21607755 12521472 2707 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3057 2707 238 467 0 2588 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 12228 [startup+402.3 s] /proc/loadavg: 1.99 1.59 0.79 3/179 19889 /proc/meminfo: memFree=28587932/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12352 CPUtime=402.31 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2930 0 0 0 25310 14921 0 0 25 0 1 0 21607755 12648448 2738 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3088 2738 238 467 0 2619 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 12352 [startup+462.301 s] /proc/loadavg: 1.99 1.67 0.87 3/179 19890 /proc/meminfo: memFree=28521916/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12352 CPUtime=462.31 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2937 0 0 0 29032 17199 0 0 25 0 1 0 21607755 12648448 2739 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3088 2739 238 467 0 2619 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 12352 [startup+522.301 s] /proc/loadavg: 1.99 1.72 0.93 3/179 19892 /proc/meminfo: memFree=28467316/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12352 CPUtime=522.31 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2954 0 0 0 32752 19479 0 0 25 0 1 0 21607755 12648448 2753 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3088 2753 238 467 0 2619 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 12352 [startup+582.301 s] /proc/loadavg: 1.99 1.77 1.00 3/179 19893 /proc/meminfo: memFree=28408860/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12480 CPUtime=582.31 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2972 0 0 0 36508 21723 0 0 25 0 1 0 21607755 12779520 2763 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3120 2763 238 467 0 2651 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 12480 [startup+642.3 s] /proc/loadavg: 1.99 1.81 1.06 3/179 19895 /proc/meminfo: memFree=28349304/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12480 CPUtime=642.31 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 2993 0 0 0 40248 23983 0 0 25 0 1 0 21607755 12779520 2774 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3120 2774 238 467 0 2651 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 12480 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28178392/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12648 CPUtime=822.32 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3054 0 0 0 51321 30911 0 0 25 0 1 0 21607755 12951552 2806 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3162 2806 238 467 0 2693 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 12648 [startup+882.301 s] /proc/loadavg: 1.99 1.91 1.26 3/179 19901 /proc/meminfo: memFree=28127884/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12648 CPUtime=882.32 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3064 0 0 0 55038 33194 0 0 25 0 1 0 21607755 12951552 2812 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3162 2812 238 467 0 2693 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 12648 [startup+942.301 s] /proc/loadavg: 2.03 1.94 1.31 3/179 19903 /proc/meminfo: memFree=28074396/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12648 CPUtime=942.32 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3086 0 0 0 58764 35468 0 0 25 0 1 0 21607755 12951552 2827 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3162 2827 238 467 0 2693 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 12648 [startup+1002.3 s] /proc/loadavg: 2.01 1.94 1.35 3/179 19905 /proc/meminfo: memFree=28013468/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12772 CPUtime=1002.32 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3105 0 0 0 62450 37782 0 0 25 0 1 0 21607755 13078528 2834 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3193 2834 238 467 0 2724 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 12772 [startup+1062.3 s] /proc/loadavg: 2.03 1.97 1.39 3/179 19906 /proc/meminfo: memFree=27959972/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12772 CPUtime=1062.32 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3120 0 0 0 66161 40071 0 0 25 0 1 0 21607755 13078528 2842 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/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: 2.01 1.97 1.43 3/179 19908 /proc/meminfo: memFree=27908348/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12772 CPUtime=1122.33 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3126 0 0 0 69869 42364 0 0 25 0 1 0 21607755 13078528 2846 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3193 2846 238 467 0 2724 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 12772 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.46 3/179 19909 /proc/meminfo: memFree=27853120/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12772 CPUtime=1182.33 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3143 0 0 0 73592 44641 0 0 25 0 1 0 21607755 13078528 2859 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3193 2859 238 467 0 2724 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 12772 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.49 3/179 19911 /proc/meminfo: memFree=27848976/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=12864 CPUtime=1242.33 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3155 0 0 0 77326 46907 0 0 25 0 1 0 21607755 13172736 2863 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3216 2863 238 467 0 2747 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 12864 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.52 3/179 19913 /proc/meminfo: memFree=27803780/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13004 CPUtime=1302.34 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3183 0 0 0 81066 49168 0 0 25 0 1 0 21607755 13316096 2875 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3251 2875 238 467 0 2782 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 13004 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.55 3/179 19914 /proc/meminfo: memFree=27754856/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1362.34 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3235 0 0 0 84892 51342 0 0 25 0 1 0 21607755 13582336 2912 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2912 238 467 0 2847 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 13264 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 2.00 1.97 1.56 3/179 19915 /proc/meminfo: memFree=27741192/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1382.33 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3236 0 0 0 86190 52043 0 0 25 0 1 0 21607755 13582336 2912 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2912 238 467 0 2847 0 Current children cumulated CPU time (s) 1382.33 Current children cumulated vsize (KiB) 13264 [startup+1395.1 s] /proc/loadavg: 2.00 1.97 1.56 3/179 19915 /proc/meminfo: memFree=27731148/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1395.14 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3238 0 0 0 87019 52495 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1395.14 Current children cumulated vsize (KiB) 13264 [startup+1401.5 s] /proc/loadavg: 2.00 1.97 1.56 3/179 19915 /proc/meminfo: memFree=27726428/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1401.54 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 87438 52716 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1401.54 Current children cumulated vsize (KiB) 13264 [startup+1407.9 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27720956/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1407.95 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 87876 52919 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1407.95 Current children cumulated vsize (KiB) 13264 [startup+1411.1 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27719220/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1411.14 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 88087 53027 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1411.14 Current children cumulated vsize (KiB) 13264 [startup+1411.9 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27718352/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1411.94 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 88141 53053 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1411.94 Current children cumulated vsize (KiB) 13264 [startup+1412.3 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27717608/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1412.35 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 88169 53066 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1412.35 Current children cumulated vsize (KiB) 13264 [startup+1412.7 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27717608/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1412.74 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 88196 53078 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1412.74 Current children cumulated vsize (KiB) 13264 [startup+1412.8 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27717608/32951124 swapFree=67111528/67111528 [pid=19877] ppid=19875 vsize=13264 CPUtime=1412.84 /proc/19877/stat : 19877 (pbct) R 19875 19877 19080 0 -1 4202496 3239 0 0 0 88203 53081 0 0 25 0 1 0 21607755 13582336 2913 4089446400 134512640 136422188 4293176400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19877/statm: 3316 2913 238 467 0 2847 0 Current children cumulated CPU time (s) 1412.84 Current children cumulated vsize (KiB) 13264 Child status: 0 Real time (s): 1412.9 CPU time (s): 1412.95 CPU user time (s): 882.109 CPU system time (s): 530.836 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 13264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 882.109 system time used= 530.836 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3244 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= 2176 runsolver used 1.93571 second user time and 4.49832 second system time The end
Begin job on node111 at 2010-07-07 22:18:56 IDJOB=2700051 IDBENCH=79395 IDSOLVER=1212 FILE ID=node111/2700051-1278533936 PBS_JOBID= 11239255 Free space on /tmp= 73620 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2700051-1278533936/watcher-2700051-1278533936 -o /tmp/evaluation-result-2700051-1278533936/solver-2700051-1278533936 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700051-1278533936.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8285b15ee2c0064deae9a0e09e679565 RANDOM SEED=1935473279 node111.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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.98 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.825 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.67 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.825 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.86 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.825 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 : 5233.30 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.825 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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: 32951124 kB MemFree: 28969048 kB Buffers: 138116 kB Cached: 3543068 kB SwapCached: 0 kB Active: 2114664 kB Inactive: 1721744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28969048 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3764 kB Writeback: 0 kB AnonPages: 155108 kB Mapped: 15260 kB Slab: 83560 kB PageTables: 4596 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 301960 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= 73616 MiB End job on node111 at 2010-07-07 22:42:29