Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 783.203 | 783.182 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo |
MD5SUM | 9767c89dfda19e08df7810305b3128ba |
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 | 463 |
Best CPU time to get the best result obtained on this benchmark | 3.79942 |
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.02/0.04 c 0.038994 10.1484 1 2038 0.02/0.04 o 29646 0.02/0.04 c 0.038994 10.3281 1 2612 0.02/0.04 o 29087 0.02/0.04 c 0.038994 10.3281 13 3233 0.02/0.04 o 28501 0.02/0.05 c 0.038994 10.3281 13 4173 0.02/0.05 o 18751 0.19/0.22 c 0.102984 10.5781 701 7718 0.19/0.22 o 18674 0.49/0.58 c 0.242963 10.7031 615 15824 0.49/0.58 o 18631 0.49/0.58 c 0.244962 10.7031 624 16265 0.49/0.58 o 18437 0.49/0.59 c 0.247962 10.7031 657 16564 0.49/0.59 o 18413 0.59/0.60 c 0.249962 10.7031 366 16878 0.59/0.60 o 18395 0.59/0.62 c 0.25796 10.7031 475 17593 0.59/0.62 o 18230 0.59/0.62 c 0.25896 10.7031 485 17957 0.59/0.62 o 18093 0.59/0.62 c 0.25896 10.7031 486 18218 0.59/0.62 o 18038 0.59/0.63 c 0.26096 10.7031 489 18452 0.59/0.63 o 17994 0.59/0.63 c 0.26296 10.7031 491 19161 0.59/0.63 o 17416 0.59/0.63 c 0.264959 10.7031 506 19510 0.59/0.63 o 17365 0.59/0.65 c 0.270958 10.7031 544 19827 0.59/0.65 o 17339 0.59/0.66 c 0.275958 10.7031 638 20544 0.59/0.66 o 17045 2.10/2.12 c 0.695894 10.8242 867 46415 2.10/2.12 o 16783 2.20/2.24 c 0.72289 10.8242 495 49502 2.20/2.24 o 16723 2.20/2.26 c 0.727889 10.8242 540 49937 2.20/2.26 o 16631 2.29/2.36 c 0.746886 10.8242 415 52521 2.29/2.36 o 16424 2.49/2.57 c 0.778881 10.8242 871 56113 2.49/2.57 o 16372 2.59/2.60 c 0.780881 10.8242 591 56806 2.59/2.60 o 16371 3.09/3.19 c 0.913861 10.8242 527 65769 3.09/3.19 o 16262 3.30/3.32 c 0.935857 10.8242 519 68721 3.30/3.32 o 16023 3.79/3.81 c 1.04184 10.8242 653 78065 3.79/3.81 o 15957 4.69/4.70 c 1.21981 10.8242 679 92092 4.69/4.70 o 15841 5.40/5.46 c 1.36279 10.8242 634 106589 5.40/5.46 o 15734 6.09/6.15 c 1.49377 10.8242 411 117486 6.09/6.15 o 15600 6.09/6.16 c 1.49477 10.8242 473 117890 6.09/6.16 o 15538 6.19/6.24 c 1.50977 10.8242 374 120068 6.19/6.24 o 15529 6.29/6.30 c 1.51777 10.8242 391 121719 6.29/6.30 o 15351 7.79/7.80 c 2.07268 10.9492 546 141268 7.79/7.80 o 14900 7.79/7.82 c 2.07668 10.9492 655 142058 7.79/7.82 o 14699 7.79/7.88 c 2.10368 10.9492 595 143542 7.79/7.88 o 14536 7.99/8.00 c 2.14867 10.9492 857 145484 7.99/8.00 o 14468 8.59/8.64 c 2.27265 10.9492 890 154476 8.59/8.64 o 14397 8.89/8.99 c 2.35064 10.9492 663 160576 8.89/8.99 o 14287 9.09/9.18 c 2.37864 10.9492 604 162739 9.09/9.18 o 14138 9.69/9.74 c 2.47662 10.9492 1047 171127 9.69/9.74 o 14122 10.19/10.28 c 2.58661 10.9492 938 178983 10.19/10.28 o 14053 11.99/12.01 c 2.91956 10.9492 392 206675 11.99/12.01 o 13728 11.99/12.02 c 2.92355 10.9492 508 207410 11.99/12.02 o 13608 12.09/12.18 c 2.95255 10.9492 818 211069 12.09/12.18 o 13452 17.09/17.13 c 4.13137 11.0742 755 284149 17.09/17.13 o 13343 19.19/19.29 c 4.53431 11.0742 515 320632 19.19/19.29 o 13226 19.70/19.79 c 4.63129 11.0742 962 326784 19.70/19.79 o 13222 20.40/20.45 c 4.88426 11.0742 430 337959 20.40/20.45 o 13142 20.49/20.51 c 4.90625 11.0742 534 340102 20.49/20.51 o 12732 21.10/21.17 c 5.12722 11.0742 623 347283 21.10/21.17 o 12520 21.79/21.89 c 5.2612 11.0742 551 359054 21.79/21.89 o 12425 27.69/27.74 c 6.54401 11.1992 1070 425826 27.69/27.74 o 12350 29.09/29.15 c 6.79997 11.1992 933 445183 29.09/29.15 o 12201 30.40/30.45 c 7.03493 11.1992 650 463507 30.40/30.45 o 12191 31.19/31.27 c 7.18791 11.1992 635 475752 31.19/31.27 o 12174 31.90/31.90 c 7.31289 11.1992 671 483900 31.90/31.90 o 12032 32.30/32.37 c 7.40687 11.1992 514 490908 32.30/32.37 o 11764 35.89/35.96 c 8.30574 11.3242 682 534320 35.89/35.96 o 11676 37.50/37.57 c 8.5417 11.3242 470 554279 37.50/37.57 o 11674 43.59/43.63 c 9.8525 11.3242 678 634210 43.59/43.63 o 11625 43.69/43.75 c 9.8785 11.3242 545 636533 43.69/43.75 o 11535 44.60/44.64 c 10.0215 11.3242 663 649626 44.60/44.64 o 11530 46.79/46.88 c 10.6124 11.3242 453 677453 46.79/46.88 o 11462 47.49/47.59 c 10.7714 11.3242 571 688201 47.49/47.59 o 11380 48.90/48.93 c 11.0233 11.3242 442 706958 48.90/48.93 o 11324 49.40/49.46 c 11.1043 11.3242 848 715519 49.40/49.46 o 11286 49.59/49.60 c 11.1373 11.3242 680 717354 49.59/49.60 o 11112 51.60/51.70 c 11.4893 11.3242 772 745281 51.60/51.70 o 11048 53.39/53.43 c 11.9952 11.3242 658 765600 53.39/53.43 o 10958 54.39/54.48 c 12.2721 11.3242 540 779336 54.39/54.48 o 10884 54.80/54.89 c 12.3291 11.3242 824 785321 54.80/54.89 o 10867 59.39/59.45 c 13.232 11.4492 731 835824 59.39/59.45 o 10824 74.30/74.32 c 16.5975 11.4492 840 1017495 74.30/74.32 o 10333 74.59/74.69 c 16.6605 11.4492 970 1021616 74.59/74.69 o 10331 76.40/76.43 c 16.9654 11.4492 722 1042896 76.40/76.43 o 10126 76.79/76.87 c 17.0294 11.4492 413 1049863 76.79/76.87 o 10049 80.20/80.24 c 17.8643 11.4492 742 1089371 80.20/80.24 o 9911 80.90/80.91 c 17.9763 11.4492 566 1095965 80.90/80.91 o 9897 88.09/88.17 c 19.495 11.4492 387 1185657 88.09/88.17 o 9878 88.90/88.97 c 19.608 11.4492 422 1196630 88.90/88.97 o 9795 92.89/92.97 c 20.4629 11.5742 774 1242450 92.89/92.97 o 9731 99.70/99.79 c 21.8837 11.5742 811 1322279 99.70/99.79 o 9574 100.99/101.08 c 22.1076 11.5742 544 1338736 100.99/101.08 o 9494 101.10/101.13 c 22.1226 11.5742 423 1339783 101.10/101.13 o 9366 115.40/115.46 c 25.1142 11.5742 744 1466732 115.40/115.46 o 9352 116.10/116.16 c 25.2282 11.5742 805 1474091 116.10/116.16 o 9234 117.49/117.53 c 25.4411 11.5742 799 1490285 117.49/117.53 o 9212 117.79/117.87 c 25.4931 11.5742 521 1492801 117.79/117.87 o 9153 122.90/122.95 c 26.627 11.5742 627 1545534 122.90/122.95 o 9035 134.10/134.18 c 29.0436 11.5742 955 1666633 134.10/134.18 o 9027 134.30/134.37 c 29.0716 11.5742 493 1668967 134.30/134.37 o 9013 134.69/134.74 c 29.1316 11.5742 909 1673810 134.69/134.74 o 8829 137.89/137.99 c 29.6745 11.5742 766 1709728 137.89/137.99 o 8653 138.60/138.64 c 29.9105 11.5742 618 1717346 138.60/138.64 o 8454 141.40/141.47 c 30.4794 11.7031 959 1747655 141.40/141.47 o 8343 173.29/173.30 c 36.9694 11.7031 1014 2044296 173.29/173.30 o 8283 179.70/179.70 c 38.2512 11.7031 992 2113500 179.70/179.70 o 8257 184.00/184.07 c 39.0681 11.7031 736 2158790 184.00/184.07 o 8164 191.30/191.35 c 40.5958 11.7031 739 2241164 191.30/191.35 o 8023 191.30/191.38 c 40.5988 11.7031 507 2241613 191.30/191.38 o 8006 196.20/196.28 c 41.4177 11.8281 785 2291996 196.20/196.28 o 7822 223.90/223.99 c 47.2348 11.8281 549 2571397 223.90/223.99 o 7735 226.99/227.00 c 47.7997 11.8281 558 2605089 226.99/227.00 o 7591 231.60/231.60 c 48.7736 11.8281 963 2644840 231.60/231.60 o 7476 233.80/233.82 c 49.1395 11.8281 841 2665382 233.80/233.82 o 7464 236.90/236.96 c 49.7774 11.8281 906 2697561 236.90/236.96 o 7429 238.30/238.37 c 50.0934 11.8281 686 2707037 238.30/238.37 o 7345 243.60/243.61 c 51.1212 11.8281 738 2766868 243.60/243.61 o 7322 250.09/250.18 c 52.487 11.8281 735 2829658 250.09/250.18 o 7267 255.99/256.05 c 53.5779 11.8281 575 2889162 255.99/256.05 o 7113 258.10/258.14 c 54.1708 11.8281 556 2908568 258.10/258.14 o 7106 274.29/274.39 c 57.3543 11.8281 900 3078577 274.29/274.39 o 7051 286.80/286.88 c 59.8319 11.8281 872 3186922 286.80/286.88 o 6996 301.10/301.13 c 62.5735 11.8281 875 3321607 301.10/301.13 o 6966 303.60/303.61 c 63.2174 11.8281 904 3346790 303.60/303.61 o 6899 306.00/306.01 c 63.6063 11.8281 768 3371456 306.00/306.01 o 6845 308.20/308.20 c 63.9393 11.8281 636 3389760 308.20/308.20 o 6793 308.40/308.47 c 63.9883 11.957 972 3392905 308.40/308.47 o 6688 329.50/329.51 c 68.2536 11.957 780 3587905 329.50/329.51 o 6612 334.00/334.05 c 68.9565 11.957 539 3631160 334.00/334.05 o 6451 339.91/339.95 c 70.1093 11.957 565 3683849 339.91/339.95 o 6347 346.50/346.53 c 71.3502 11.957 575 3743270 346.50/346.53 o 6338 347.00/347.06 c 71.4281 11.957 785 3746483 347.00/347.06 o 6308 350.90/350.91 c 72.301 11.957 586 3780662 350.90/350.91 o 6262 365.60/365.64 c 75.0546 11.957 518 3902474 365.60/365.64 o 6211 366.70/366.79 c 75.2406 11.957 762 3912570 366.70/366.79 o 6208 367.10/367.15 c 75.2836 11.957 879 3914657 367.10/367.15 o 6122 367.70/367.72 c 75.4295 11.957 778 3918152 367.70/367.72 o 6102 368.10/368.15 c 75.5775 11.957 856 3921583 368.10/368.15 o 6051 369.70/369.77 c 75.9305 11.957 557 3936846 369.70/369.77 o 6038 371.31/371.36 c 76.1754 11.957 798 3951752 371.31/371.36 o 6017 372.00/372.09 c 76.2884 11.957 819 3957369 372.00/372.09 o 6002 372.70/372.73 c 76.3734 11.957 750 3963370 372.70/372.73 o 5909 374.90/374.97 c 76.8683 11.957 610 3983006 374.90/374.97 o 5903 377.20/377.29 c 77.3022 11.957 949 4002538 377.20/377.29 o 5798 380.50/380.58 c 77.8142 11.957 516 4030507 380.50/380.58 o 5775 381.91/381.91 c 78.2881 11.957 507 4040833 381.91/381.91 o 5707 385.21/385.26 c 78.813 12.0742 583 4071624 385.21/385.26 o 5612 394.40/394.48 c 80.6767 12.0742 882 4140176 394.40/394.48 o 5576 399.10/399.19 c 81.4866 12.0742 962 4183329 399.10/399.19 o 5517 408.30/408.30 c 83.4233 12.0742 848 4262539 408.30/408.30 o 5488 414.70/414.72 c 84.6691 12.0742 918 4318372 414.70/414.72 o 5424 419.80/419.86 c 85.536 12.0742 1005 4354674 419.80/419.86 o 5289 420.40/420.47 c 85.746 12.0742 689 4360100 420.40/420.47 o 5239 420.70/420.75 c 85.822 12.0742 572 4363063 420.70/420.75 o 5161 423.90/423.98 c 86.4349 12.0742 612 4391889 423.90/423.98 o 5159 425.71/425.79 c 86.6958 12.0742 826 4407162 425.71/425.79 o 5048 430.20/430.27 c 87.6147 12.0742 917 4439036 430.20/430.27 o 5015 436.00/436.08 c 88.7415 12.0742 712 4485175 436.00/436.08 o 4992 440.70/440.73 c 89.6104 12.0742 637 4521285 440.70/440.73 o 4965 440.70/440.79 c 89.6334 12.0742 867 4521966 440.70/440.79 o 4892 450.61/450.63 c 91.3471 12.0742 758 4600183 450.61/450.63 o 4854 457.10/457.12 c 92.5189 12.0742 847 4653422 457.10/457.12 o 4804 458.61/458.65 c 92.7529 12.0742 520 4667395 458.61/458.65 o 4738 460.61/460.70 c 93.2878 12.0742 539 4682843 460.61/460.70 o 4650 461.00/461.07 c 93.3608 12.0742 905 4686054 461.00/461.07 o 4646 461.90/461.96 c 93.5298 12.0742 804 4693023 461.90/461.96 o 4596 463.20/463.21 c 93.6998 12.0742 966 4701008 463.20/463.21 o 4555 467.01/467.07 c 94.4616 12.0742 533 4730684 467.01/467.07 o 4512 476.41/476.40 c 96.1744 12.0742 935 4800979 476.41/476.40 o 4331 478.20/478.29 c 96.4463 12.0742 713 4815591 478.20/478.29 o 4321 480.20/480.21 c 97.0003 12.0742 791 4831504 480.20/480.21 o 4318 488.31/488.30 c 98.526 12.0742 933 4892635 488.31/488.30 o 4317 488.91/488.98 c 98.639 12.0742 689 4897906 488.91/488.98 o 4309 498.70/498.70 c 100.302 12.0742 594 4970430 498.70/498.70 o 4245 503.71/503.75 c 101.256 12.0742 906 5007707 503.71/503.75 o 4161 504.61/504.65 c 101.384 12.0742 1030 5014949 504.61/504.65 o 4102 506.61/506.64 c 101.92 12.0742 672 5029912 506.61/506.64 o 4092 512.90/512.99 c 103.052 12.1914 722 5071985 512.90/512.99 o 4071 528.70/528.70 c 105.927 12.1914 806 5184041 528.70/528.70 o 4042 541.11/541.18 c 108.304 12.1914 678 5272496 541.11/541.18 o 3966 545.31/545.31 c 109.066 12.1914 671 5303914 545.31/545.31 o 3908 553.11/553.11 c 110.644 12.1914 520 5357299 553.11/553.11 o 3850 554.90/554.94 c 110.916 12.1914 679 5370639 554.90/554.94 o 3818 562.81/562.85 c 112.289 12.1914 765 5427631 562.81/562.85 o 3744 564.71/564.73 c 112.686 12.1914 706 5439674 564.71/564.73 o 3728 566.30/566.39 c 113.127 12.1914 844 5450427 566.30/566.39 o 3643 566.80/566.82 c 113.184 12.1914 712 5453050 566.80/566.82 o 3610 579.90/579.95 c 115.688 12.1914 841 5544571 579.90/579.95 o 3545 582.70/582.76 c 116.112 12.1914 887 5564037 582.70/582.76 o 3525 592.41/592.43 c 118.057 12.1914 778 5629140 592.41/592.43 o 3492 601.71/601.76 c 119.725 12.1914 495 5692999 601.71/601.76 o 3478 607.91/607.90 c 120.904 12.1914 686 5731496 607.91/607.90 o 3465 610.52/610.52 c 121.337 12.1914 503 5750773 610.52/610.52 o 3412 634.71/634.73 c 126.091 12.1914 591 5907896 634.71/634.73 o 3340 637.92/637.93 c 126.807 12.1914 544 5930038 637.92/637.93 o 3313 640.11/640.16 c 127.175 12.1914 883 5946332 640.11/640.16 o 3196 645.00/645.00 c 128.151 12.1914 541 5976637 645.00/645.00 o 3166 648.01/648.00 c 128.607 12.1914 800 5998319 648.01/648.00 o 3011 653.11/653.15 c 129.643 12.1914 902 6034030 653.11/653.15 o 2947 656.01/656.06 c 130.09 12.1914 779 6052969 656.01/656.06 o 2887 659.41/659.45 c 130.882 12.1914 631 6076248 659.41/659.45 o 2829 669.11/669.11 c 132.594 12.1914 766 6140220 669.11/669.11 o 2821 671.71/671.70 c 133.282 12.1914 981 6155777 671.71/671.70 o 2671 678.41/678.49 c 134.56 12.1914 561 6199475 678.41/678.49 o 2559 687.42/687.43 c 136.187 12.3164 571 6254596 687.42/687.43 o 2440 688.01/688.06 c 136.285 12.3164 613 6258271 688.01/688.06 o 2412 689.11/689.11 c 136.465 12.3164 873 6264904 689.11/689.11 o 2374 693.81/693.84 c 137.523 12.3164 1045 6293224 693.81/693.84 o 2344 696.11/696.15 c 137.995 12.3164 703 6308644 696.11/696.15 o 2326 710.81/710.83 c 140.873 12.3164 1011 6400314 710.81/710.83 o 2278 714.01/714.00 c 141.389 12.3164 993 6419132 714.01/714.00 o 2272 714.92/714.91 c 141.525 12.3164 877 6423996 714.92/714.91 o 2237 715.11/715.10 c 141.551 12.3164 576 6425444 715.11/715.10 o 2206 716.61/716.68 c 142.079 12.3164 679 6436036 716.61/716.68 o 2108 718.32/718.31 c 142.303 12.3164 522 6446344 718.32/718.31 o 2107 719.61/719.61 c 142.502 12.3164 571 6454444 719.61/719.61 o 2086 720.21/720.27 c 142.609 12.3164 688 6458948 720.21/720.27 o 2085 725.61/725.68 c 143.824 12.3164 770 6492090 725.61/725.68 o 2070 726.71/726.76 c 144.005 12.3164 757 6498899 726.71/726.76 o 1939 729.12/729.11 c 144.505 12.3164 893 6513872 729.12/729.11 o 1933 729.21/729.20 c 144.536 12.3164 733 6514604 729.21/729.20 o 1905 732.10/732.19 c 145.16 12.3164 518 6533361 732.10/732.19 o 1888 734.51/734.54 c 145.519 12.3164 642 6548076 734.51/734.54 o 1866 735.51/735.56 c 145.836 12.3164 884 6554202 735.51/735.56 o 1819 746.81/746.89 c 148.032 12.3164 659 6620884 746.81/746.89 o 1796 751.21/751.22 c 148.944 12.3164 945 6647625 751.21/751.22 o 1722 753.21/753.29 c 149.306 12.3164 799 6658755 753.21/753.29 o 1665 755.21/755.28 c 149.81 12.3164 755 6671649 755.21/755.28 o 1637 755.81/755.81 c 149.985 12.3164 542 6675397 755.81/755.81 o 1609 758.41/758.44 c 150.493 12.3164 829 6690661 758.41/758.44 o 1584 763.51/763.50 c 151.642 12.3164 1142 6721816 763.51/763.50 o 1540 764.81/764.83 c 151.868 12.3164 752 6730089 764.81/764.83 o 1519 765.91/765.95 c 152.089 12.3164 746 6736743 765.91/765.95 o 1495 766.81/766.80 c 152.239 12.3164 1043 6742387 766.81/766.80 o 1482 767.01/767.02 c 152.273 12.3164 710 6743822 767.01/767.02 o 1474 769.51/769.56 c 152.95 12.5508 666 6759023 769.51/769.56 o 1413 770.31/770.30 c 153.079 12.5508 581 6763772 770.31/770.30 o 1345 771.12/771.10 c 153.211 12.5508 842 6768859 771.12/771.10 o 1343 771.61/771.69 c 153.304 12.5508 657 6772507 771.61/771.69 o 1203 772.31/772.33 c 153.422 12.5508 823 6776591 772.31/772.33 o 1174 773.11/773.11 c 153.568 12.5508 871 6781096 773.11/773.11 o 1172 774.61/774.63 c 153.947 12.5508 932 6789544 774.61/774.63 o 1140 775.71/775.71 c 154.371 12.5508 675 6796349 775.71/775.71 o 1033 775.71/775.74 c 154.377 12.5508 762 6796602 775.71/775.74 o 1014 776.31/776.33 c 154.506 12.5508 603 6800988 776.31/776.33 o 984 776.42/776.43 c 154.53 12.5508 469 6801854 776.42/776.43 o 878 776.91/776.94 c 154.643 12.5508 569 6805130 776.91/776.94 o 844 776.91/776.97 c 154.65 12.5508 648 6805368 776.91/776.97 o 794 777.01/777.03 c 154.665 12.6797 848 6805804 777.01/777.03 o 709 777.32/777.33 c 154.737 12.6797 773 6807784 777.32/777.33 o 687 777.72/777.77 c 154.836 12.6797 703 6811058 777.72/777.77 o 678 778.01/778.04 c 154.901 12.6797 1157 6812920 778.01/778.04 o 670 779.41/779.47 c 155.217 12.6797 974 6822477 779.41/779.47 o 610 779.82/779.85 c 155.32 12.6797 970 6825576 779.82/779.85 o 580 780.31/780.33 c 155.452 12.6797 1377 6829160 780.31/780.33 o 568 782.21/782.26 c 156.295 12.6797 741 6844242 782.21/782.26 o 541 782.21/782.28 c 156.301 12.6797 861 6844436 782.21/782.28 o 524 782.61/782.66 c 156.418 12.6797 910 6847663 782.61/782.66 o 463 783.12/783.17 c 156.588 12.6797 205 6851683 783.12/783.17 s OPTIMUM FOUND 783.12/783.17 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 463
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700432-1278535612/watcher-2700432-1278535612 -o /tmp/evaluation-result-2700432-1278535612/solver-2700432-1278535612 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700432-1278535612.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: 2.01 2.01 1.69 3/178 19006 /proc/meminfo: memFree=29328792/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=2136 CPUtime=0 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 261 0 0 0 0 0 0 0 21 0 1 0 21775083 2187264 180 4089446400 134512640 136421960 4291383728 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/19006/statm: 534 181 144 467 0 65 0 [startup+0.0241961 s] /proc/loadavg: 2.01 2.01 1.69 3/178 19006 /proc/meminfo: memFree=29328792/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=6916 CPUtime=0.02 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 1425 0 0 0 2 0 0 0 21 0 1 0 21775083 7081984 1344 4089446400 134512640 136421960 4291383728 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 1729 1346 193 467 0 1260 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6916 [startup+0.100181 s] /proc/loadavg: 2.01 2.01 1.69 3/178 19006 /proc/meminfo: memFree=29328792/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=10700 CPUtime=0.09 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2402 0 0 0 5 4 0 0 21 0 1 0 21775083 10956800 2317 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2675 2317 238 467 0 2206 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10700 [startup+0.300145 s] /proc/loadavg: 2.01 2.01 1.69 3/178 19006 /proc/meminfo: memFree=29328792/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=10828 CPUtime=0.29 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2431 0 0 0 13 16 0 0 21 0 1 0 21775083 11087872 2345 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2707 2345 238 467 0 2238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10828 [startup+0.700074 s] /proc/loadavg: 2.01 2.01 1.69 3/178 19006 /proc/meminfo: memFree=29328792/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=10956 CPUtime=0.69 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2474 0 0 0 28 41 0 0 22 0 1 0 21775083 11218944 2376 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2739 2376 238 467 0 2270 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10956 [startup+1.50093 s] /proc/loadavg: 2.01 2.01 1.69 3/179 19007 /proc/meminfo: memFree=29319368/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=10956 CPUtime=1.49 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2493 0 0 0 57 92 0 0 25 0 1 0 21775083 11218944 2395 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2739 2395 238 467 0 2270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10956 [startup+3.10071 s] /proc/loadavg: 2.01 2.01 1.69 3/179 19007 /proc/meminfo: memFree=29317264/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11080 CPUtime=3.09 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2517 0 0 0 89 220 0 0 25 0 1 0 21775083 11345920 2413 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2770 2413 238 467 0 2301 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11080 [startup+6.30008 s] /proc/loadavg: 2.01 2.01 1.69 3/179 19007 /proc/meminfo: memFree=29314660/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11080 CPUtime=6.29 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2548 0 0 0 151 478 0 0 25 0 1 0 21775083 11345920 2436 4089446400 134512640 136421960 4291383728 18446744073709551615 134868340 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2770 2436 238 467 0 2301 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11080 [startup+12.701 s] /proc/loadavg: 2.01 2.01 1.70 3/179 19008 /proc/meminfo: memFree=29306944/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11336 CPUtime=12.69 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2603 0 0 0 305 964 0 0 25 0 1 0 21775083 11608064 2478 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2834 2478 238 467 0 2365 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11336 [startup+25.5007 s] /proc/loadavg: 2.01 2.01 1.70 3/179 19008 /proc/meminfo: memFree=29289696/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11464 CPUtime=25.49 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2645 0 0 0 594 1955 0 0 25 0 1 0 21775083 11739136 2513 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2866 2513 238 467 0 2397 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11464 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 1.71 3/179 19008 /proc/meminfo: memFree=29256768/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11592 CPUtime=51.1 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2701 0 0 0 1139 3971 0 0 25 0 1 0 21775083 11870208 2553 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2898 2553 238 467 0 2429 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 11592 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.72 3/179 19010 /proc/meminfo: memFree=29188728/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11848 CPUtime=102.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2775 0 0 0 2230 8000 0 0 25 0 1 0 21775083 12132352 2610 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2962 2610 238 467 0 2493 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11848 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.74 3/179 19011 /proc/meminfo: memFree=29111892/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=11980 CPUtime=162.29 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2819 0 0 0 3470 12759 0 0 25 0 1 0 21775083 12267520 2643 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 2995 2643 238 467 0 2526 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11980 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.75 3/179 19013 /proc/meminfo: memFree=29030288/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12108 CPUtime=222.29 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2855 0 0 0 4678 17551 0 0 25 0 1 0 21775083 12398592 2673 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3027 2673 238 467 0 2558 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 12108 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.76 3/179 19014 /proc/meminfo: memFree=28952316/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12108 CPUtime=282.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2885 0 0 0 5885 22345 0 0 25 0 1 0 21775083 12398592 2692 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3027 2692 238 467 0 2558 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 12108 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.77 3/179 19016 /proc/meminfo: memFree=28871284/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12240 CPUtime=342.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2912 0 0 0 7070 27160 0 0 25 0 1 0 21775083 12533760 2710 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3060 2710 238 467 0 2591 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 12240 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.78 3/179 19018 /proc/meminfo: memFree=28792708/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12360 CPUtime=402.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2956 0 0 0 8224 32006 0 0 25 0 1 0 21775083 12656640 2735 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3090 2735 238 467 0 2621 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 12360 [startup+462.3 s] /proc/loadavg: 2.06 2.02 1.80 3/179 19019 /proc/meminfo: memFree=28709540/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12360 CPUtime=462.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 2992 0 0 0 9356 36874 0 0 25 0 1 0 21775083 12656640 2754 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3090 2754 238 467 0 2621 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 12360 [startup+522.301 s] /proc/loadavg: 2.02 2.01 1.81 3/179 19021 /proc/meminfo: memFree=28630224/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12480 CPUtime=522.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3015 0 0 0 10471 41759 0 0 25 0 1 0 21775083 12779520 2765 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3120 2765 238 467 0 2651 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 12480 [startup+582.301 s] /proc/loadavg: 2.01 2.00 1.82 3/179 19022 /proc/meminfo: memFree=28547952/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12480 CPUtime=582.3 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3037 0 0 0 11604 46626 0 0 25 0 1 0 21775083 12779520 2777 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3120 2777 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: 2.00 2.00 1.83 3/179 19024 /proc/meminfo: memFree=28467528/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12480 CPUtime=642.31 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3055 0 0 0 12747 51484 0 0 25 0 1 0 21775083 12779520 2787 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3120 2787 238 467 0 2651 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 12480 [startup+702.301 s] /proc/loadavg: 2.00 2.00 1.83 3/179 19026 /proc/meminfo: memFree=28390688/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12608 CPUtime=702.31 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3085 0 0 0 13911 56320 0 0 25 0 1 0 21775083 12910592 2804 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3152 2804 238 467 0 2683 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 12608 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28306172/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12608 CPUtime=762.32 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3123 0 0 0 15139 61093 0 0 25 0 1 0 21775083 12910592 2821 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3152 2821 238 467 0 2683 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 12608 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28299716/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12848 CPUtime=767.91 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3146 0 0 0 15247 61544 0 0 25 0 1 0 21775083 13156352 2839 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3212 2839 238 467 0 2743 0 Current children cumulated CPU time (s) 767.91 Current children cumulated vsize (KiB) 12848 [startup+774.301 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28291524/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12848 CPUtime=774.32 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3153 0 0 0 15381 62051 0 0 25 0 1 0 21775083 13156352 2840 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3212 2840 238 467 0 2743 0 Current children cumulated CPU time (s) 774.32 Current children cumulated vsize (KiB) 12848 [startup+777.5 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28287184/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12980 CPUtime=777.51 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3196 0 0 0 15477 62274 0 0 25 0 1 0 21775083 13291520 2874 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3245 2874 238 467 0 2776 0 Current children cumulated CPU time (s) 777.51 Current children cumulated vsize (KiB) 12980 [startup+780.701 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28284068/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12980 CPUtime=780.71 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3201 0 0 0 15557 62514 0 0 25 0 1 0 21775083 13291520 2874 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3245 2874 238 467 0 2776 0 Current children cumulated CPU time (s) 780.71 Current children cumulated vsize (KiB) 12980 [startup+782.3 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28280220/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12980 CPUtime=782.31 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3203 0 0 0 15630 62601 0 0 25 0 1 0 21775083 13291520 2874 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3245 2874 238 467 0 2776 0 Current children cumulated CPU time (s) 782.31 Current children cumulated vsize (KiB) 12980 [startup+782.7 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28280220/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12980 CPUtime=782.71 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3204 0 0 0 15643 62628 0 0 18 0 1 0 21775083 13291520 2874 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3245 2874 238 467 0 2776 0 Current children cumulated CPU time (s) 782.71 Current children cumulated vsize (KiB) 12980 [startup+783.1 s] /proc/loadavg: 2.00 2.00 1.84 3/179 19028 /proc/meminfo: memFree=28279476/32950928 swapFree=67111528/67111528 [pid=19006] ppid=19004 vsize=12980 CPUtime=783.12 /proc/19006/stat : 19006 (pbct) R 19004 19006 18393 0 -1 4202496 3204 0 0 0 15656 62656 0 0 18 0 1 0 21775083 13291520 2874 4089446400 134512640 136421960 4291383728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19006/statm: 3245 2874 238 467 0 2776 0 Current children cumulated CPU time (s) 783.12 Current children cumulated vsize (KiB) 12980 Child status: 0 Real time (s): 783.182 CPU time (s): 783.203 CPU user time (s): 156.597 CPU system time (s): 626.606 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 12980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 156.597 system time used= 626.606 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3209 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 9179 runsolver used 1.11683 second user time and 2.46563 second system time The end
Begin job on node123 at 2010-07-07 22:46:52 IDJOB=2700432 IDBENCH=79427 IDSOLVER=1208 FILE ID=node123/2700432-1278535612 PBS_JOBID= 11239231 Free space on /tmp= 73624 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh310_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700432-1278535612/watcher-2700432-1278535612 -o /tmp/evaluation-result-2700432-1278535612/solver-2700432-1278535612 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700432-1278535612.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9767c89dfda19e08df7810305b3128ba 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: 29329320 kB Buffers: 138260 kB Cached: 2931380 kB SwapCached: 0 kB Active: 1289780 kB Inactive: 2185352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29329320 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1972 kB Writeback: 0 kB AnonPages: 406084 kB Mapped: 17128 kB Slab: 80644 kB PageTables: 6016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 553040 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= 73624 MiB End job on node123 at 2010-07-07 22:59:55